20.568 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (- y x) z))
0.023 * * [simplify]: iteration  0 :  10  enodes  (cost  3 )
0.024 * * [simplify]: iteration  1 :  17  enodes  (cost  3 )
0.025 * * [simplify]: iteration  2 :  31  enodes  (cost  3 )
0.026 * * [simplify]: iteration  3 :  46  enodes  (cost  3 )
0.027 * * [simplify]: iteration  4 :  53  enodes  (cost  3 )
0.028 * * [simplify]: iteration  5 :  62  enodes  (cost  3 )
0.030 * * [simplify]: iteration  6 :  80  enodes  (cost  3 )
0.031 * * [simplify]: iteration  7 :  118  enodes  (cost  3 )
0.033 * * [simplify]: iteration  8 :  235  enodes  (cost  3 )
0.037 * * [simplify]: iteration  9 :  467  enodes  (cost  3 )
0.043 * * [simplify]: iteration  10 :  750  enodes  (cost  3 )
0.052 * * [simplify]: iteration  11 :  1136  enodes  (cost  3 )
0.065 * * [simplify]: iteration  12 :  1818  enodes  (cost  3 )
0.095 * * [simplify]: iteration  13 :  5002  enodes  (cost  3 )
0.095 * [simplify]: Simplified to:
   (+ x (* (- y x) z))
0.095 * * [progress]: iteration 1 / 4
0.095 * * * [progress]: picking best candidate
0.098 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (- y x) z)))>
0.098 * * * [progress]: localizing error
0.103 * * * [progress]: generating rewritten candidates
0.103 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.109 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.112 * * * [progress]: generating series expansions
0.112 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.112 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
0.112 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
0.112 * [taylor]: Taking taylor expansion of (- y x) in z
0.112 * [taylor]: Taking taylor expansion of y in z
0.112 * [taylor]: Taking taylor expansion of x in z
0.112 * [taylor]: Taking taylor expansion of z in z
0.112 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
0.112 * [taylor]: Taking taylor expansion of (- y x) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of z in x
0.112 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
0.112 * [taylor]: Taking taylor expansion of (- y x) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [taylor]: Taking taylor expansion of x in y
0.112 * [taylor]: Taking taylor expansion of z in y
0.112 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
0.112 * [taylor]: Taking taylor expansion of (- y x) in y
0.112 * [taylor]: Taking taylor expansion of y in y
0.112 * [taylor]: Taking taylor expansion of x in y
0.112 * [taylor]: Taking taylor expansion of z in y
0.112 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
0.112 * [taylor]: Taking taylor expansion of -1 in x
0.112 * [taylor]: Taking taylor expansion of (* x z) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of z in x
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of z in x
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [taylor]: Taking taylor expansion of (neg z) in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [taylor]: Taking taylor expansion of 0 in x
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
0.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
0.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.113 * [taylor]: Taking taylor expansion of y in z
0.113 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.113 * [taylor]: Taking taylor expansion of x in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
0.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.113 * [taylor]: Taking taylor expansion of y in x
0.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of z in x
0.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
0.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.114 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.114 * [taylor]: Taking taylor expansion of x in y
0.114 * [taylor]: Taking taylor expansion of z in y
0.114 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
0.114 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.114 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.114 * [taylor]: Taking taylor expansion of x in y
0.114 * [taylor]: Taking taylor expansion of z in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.114 * [taylor]: Taking taylor expansion of z in x
0.114 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.114 * [taylor]: Taking taylor expansion of (* x z) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of z in x
0.114 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.114 * [taylor]: Taking taylor expansion of z in z
0.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.114 * [taylor]: Taking taylor expansion of z in z
0.114 * [taylor]: Taking taylor expansion of 0 in x
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [taylor]: Taking taylor expansion of 0 in x
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.115 * [taylor]: Taking taylor expansion of 0 in z
0.116 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
0.116 * [taylor]: Taking taylor expansion of -1 in z
0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.116 * [taylor]: Taking taylor expansion of x in z
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.116 * [taylor]: Taking taylor expansion of y in z
0.116 * [taylor]: Taking taylor expansion of z in z
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
0.116 * [taylor]: Taking taylor expansion of -1 in y
0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of z in y
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
0.116 * [taylor]: Taking taylor expansion of -1 in y
0.116 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of z in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.116 * [taylor]: Taking taylor expansion of z in x
0.117 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.117 * [taylor]: Taking taylor expansion of (* x z) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of z in x
0.117 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.117 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.117 * [taylor]: Taking taylor expansion of z in z
0.117 * [taylor]: Taking taylor expansion of 0 in x
0.117 * [taylor]: Taking taylor expansion of 0 in z
0.117 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in x
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.118 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.118 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in (x y z) around 0
0.118 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in z
0.118 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.118 * [taylor]: Taking taylor expansion of (* z y) in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [taylor]: Taking taylor expansion of y in z
0.118 * [taylor]: Taking taylor expansion of x in z
0.118 * [taylor]: Taking taylor expansion of (* x z) in z
0.118 * [taylor]: Taking taylor expansion of x in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in y
0.118 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.118 * [taylor]: Taking taylor expansion of (* z y) in y
0.118 * [taylor]: Taking taylor expansion of z in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [taylor]: Taking taylor expansion of x in y
0.119 * [taylor]: Taking taylor expansion of (* x z) in y
0.119 * [taylor]: Taking taylor expansion of x in y
0.119 * [taylor]: Taking taylor expansion of z in y
0.119 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x
0.119 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.119 * [taylor]: Taking taylor expansion of (* z y) in x
0.119 * [taylor]: Taking taylor expansion of z in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (* x z) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of z in x
0.119 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x
0.119 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.119 * [taylor]: Taking taylor expansion of (* z y) in x
0.119 * [taylor]: Taking taylor expansion of z in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (* x z) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of z in x
0.119 * [taylor]: Taking taylor expansion of (* z y) in y
0.119 * [taylor]: Taking taylor expansion of z in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of (- 1 z) in y
0.119 * [taylor]: Taking taylor expansion of 1 in y
0.119 * [taylor]: Taking taylor expansion of z in y
0.119 * [taylor]: Taking taylor expansion of (- 1 z) in z
0.119 * [taylor]: Taking taylor expansion of 1 in z
0.119 * [taylor]: Taking taylor expansion of z in z
0.119 * [taylor]: Taking taylor expansion of z in z
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.120 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in (x y z) around 0
0.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in z
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.120 * [taylor]: Taking taylor expansion of (* z y) in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.120 * [taylor]: Taking taylor expansion of x in z
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.120 * [taylor]: Taking taylor expansion of (* x z) in z
0.120 * [taylor]: Taking taylor expansion of x in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in y
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.120 * [taylor]: Taking taylor expansion of (* z y) in y
0.120 * [taylor]: Taking taylor expansion of z in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.120 * [taylor]: Taking taylor expansion of x in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.120 * [taylor]: Taking taylor expansion of (* x z) in y
0.120 * [taylor]: Taking taylor expansion of x in y
0.120 * [taylor]: Taking taylor expansion of z in y
0.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x
0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.120 * [taylor]: Taking taylor expansion of (* z y) in x
0.120 * [taylor]: Taking taylor expansion of z in x
0.120 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.121 * [taylor]: Taking taylor expansion of (* x z) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.121 * [taylor]: Taking taylor expansion of (* z y) in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.121 * [taylor]: Taking taylor expansion of (* x z) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of z in x
0.121 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
0.121 * [taylor]: Taking taylor expansion of 1 in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.121 * [taylor]: Taking taylor expansion of z in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.121 * [taylor]: Taking taylor expansion of (* z y) in y
0.121 * [taylor]: Taking taylor expansion of z in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.121 * [taylor]: Taking taylor expansion of z in z
0.121 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
0.121 * [taylor]: Taking taylor expansion of 1 in z
0.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.121 * [taylor]: Taking taylor expansion of z in z
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [taylor]: Taking taylor expansion of 0 in z
0.122 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in (x y z) around 0
0.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.122 * [taylor]: Taking taylor expansion of (* z y) in z
0.122 * [taylor]: Taking taylor expansion of z in z
0.122 * [taylor]: Taking taylor expansion of y in z
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
0.122 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.123 * [taylor]: Taking taylor expansion of (* x z) in z
0.123 * [taylor]: Taking taylor expansion of x in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.123 * [taylor]: Taking taylor expansion of x in z
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.123 * [taylor]: Taking taylor expansion of (* z y) in y
0.123 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.123 * [taylor]: Taking taylor expansion of (* x z) in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.123 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.123 * [taylor]: Taking taylor expansion of x in y
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.123 * [taylor]: Taking taylor expansion of (* z y) in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.123 * [taylor]: Taking taylor expansion of (* x z) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.123 * [taylor]: Taking taylor expansion of (* z y) in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.123 * [taylor]: Taking taylor expansion of (* x z) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) 1)) in y
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.124 * [taylor]: Taking taylor expansion of z in y
0.124 * [taylor]: Taking taylor expansion of 1 in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.124 * [taylor]: Taking taylor expansion of (* z y) in y
0.124 * [taylor]: Taking taylor expansion of z in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.124 * [taylor]: Taking taylor expansion of z in z
0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) 1)) in z
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
0.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.124 * [taylor]: Taking taylor expansion of z in z
0.124 * [taylor]: Taking taylor expansion of 1 in z
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.124 * [taylor]: Taking taylor expansion of 0 in z
0.125 * [taylor]: Taking taylor expansion of 0 in z
0.125 * * * [progress]: simplifying candidates
0.126 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (* (exp x) (exp (* (- y x) z)))
  (log (+ x (* (- y x) z)))
  (exp (+ x (* (- y x) z)))
  (* (cbrt (+ x (* (- y x) z))) (cbrt (+ x (* (- y x) z))))
  (cbrt (+ x (* (- y x) z)))
  (* (* (+ x (* (- y x) z)) (+ x (* (- y x) z))) (+ x (* (- y x) z)))
  (sqrt (+ x (* (- y x) z)))
  (sqrt (+ x (* (- y x) z)))
  (+ (pow x 3) (pow (* (- y x) z) 3))
  (+ (* x x) (- (* (* (- y x) z) (* (- y x) z)) (* x (* (- y x) z))))
  (- (* x x) (* (* (- y x) z) (* (- y x) z)))
  (- x (* (- y x) z))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  (- (+ (* z y) x) (* x z))
  (- (+ (* z y) x) (* x z))
  (- (+ (* z y) x) (* x z))
0.129 * * [simplify]: iteration  0 :  163  enodes  (cost  162 )
0.132 * * [simplify]: iteration  1 :  556  enodes  (cost  145 )
0.143 * * [simplify]: iteration  2 :  2758  enodes  (cost  145 )
0.186 * * [simplify]: iteration  3 :  5001  enodes  (cost  145 )
0.187 * [simplify]: Simplified to:
   (* (- y x) z)
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (exp (+ x (* (- y x) z)))
  (log (+ x (* (- y x) z)))
  (exp (+ x (* (- y x) z)))
  (* (cbrt (+ x (* (- y x) z))) (cbrt (+ x (* (- y x) z))))
  (cbrt (+ x (* (- y x) z)))
  (pow (+ x (* (- y x) z)) 3)
  (sqrt (+ x (* (- y x) z)))
  (sqrt (+ x (* (- y x) z)))
  (+ (pow x 3) (pow (* (- y x) z) 3))
  (+ (* (* (- y x) z) (- (* (- y x) z) x)) (* x x))
  (- (* x x) (* (* (- y x) z) (* (- y x) z)))
  (- x (* (- y x) z))
  0
  (* (- y x) z)
  (* (- y x) z)
  (+ x (* (- y x) z))
  (+ x (* (- y x) z))
  (+ x (* (- y x) z))
0.187 * * * [progress]: adding candidates to table
0.222 * * [progress]: iteration 2 / 4
0.222 * * * [progress]: picking best candidate
0.229 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>
0.229 * * * [progress]: localizing error
0.236 * * * [progress]: generating rewritten candidates
0.236 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.244 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.251 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.255 * * * [progress]: generating series expansions
0.255 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.256 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
0.256 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
0.256 * [taylor]: Taking taylor expansion of (- y x) in z
0.256 * [taylor]: Taking taylor expansion of y in z
0.256 * [taylor]: Taking taylor expansion of x in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
0.256 * [taylor]: Taking taylor expansion of (- y x) in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
0.256 * [taylor]: Taking taylor expansion of (- y x) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of x in y
0.256 * [taylor]: Taking taylor expansion of z in y
0.256 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
0.256 * [taylor]: Taking taylor expansion of (- y x) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of x in y
0.256 * [taylor]: Taking taylor expansion of z in y
0.256 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
0.256 * [taylor]: Taking taylor expansion of -1 in x
0.256 * [taylor]: Taking taylor expansion of (* x z) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of (neg z) in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of 0 in x
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.257 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.257 * [taylor]: Taking taylor expansion of y in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.257 * [taylor]: Taking taylor expansion of x in z
0.257 * [taylor]: Taking taylor expansion of z in z
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.257 * [taylor]: Taking taylor expansion of y in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of z in x
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.257 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.257 * [taylor]: Taking taylor expansion of x in y
0.257 * [taylor]: Taking taylor expansion of z in y
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.257 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.257 * [taylor]: Taking taylor expansion of x in y
0.257 * [taylor]: Taking taylor expansion of z in y
0.257 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.257 * [taylor]: Taking taylor expansion of z in x
0.258 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.258 * [taylor]: Taking taylor expansion of (* x z) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of z in x
0.258 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.258 * [taylor]: Taking taylor expansion of z in z
0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.258 * [taylor]: Taking taylor expansion of z in z
0.258 * [taylor]: Taking taylor expansion of 0 in x
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in x
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in (y x z) around 0
0.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in z
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.259 * [taylor]: Taking taylor expansion of x in z
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.259 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.259 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.259 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.259 * [taylor]: Taking taylor expansion of -1 in z
0.259 * [taylor]: Taking taylor expansion of z in z
0.259 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in x
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.259 * [taylor]: Taking taylor expansion of y in x
0.259 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.259 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.259 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.259 * [taylor]: Taking taylor expansion of -1 in x
0.259 * [taylor]: Taking taylor expansion of z in x
0.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.260 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.260 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.260 * [taylor]: Taking taylor expansion of -1 in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.260 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.260 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.260 * [taylor]: Taking taylor expansion of -1 in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in x
0.260 * [taylor]: Taking taylor expansion of -1 in x
0.260 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.260 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.260 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.260 * [taylor]: Taking taylor expansion of -1 in x
0.260 * [taylor]: Taking taylor expansion of z in x
0.261 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x
0.261 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.261 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.261 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.261 * [taylor]: Taking taylor expansion of -1 in x
0.261 * [taylor]: Taking taylor expansion of z in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.261 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.261 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.261 * [taylor]: Taking taylor expansion of -1 in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.261 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in z
0.262 * [taylor]: Taking taylor expansion of -1 in z
0.262 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.262 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.262 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.262 * [taylor]: Taking taylor expansion of -1 in z
0.262 * [taylor]: Taking taylor expansion of z in z
0.262 * [taylor]: Taking taylor expansion of 0 in x
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.263 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.263 * [approximate]: Taking taylor expansion of (* (- y x) (sqrt z)) in (y x z) around 0
0.263 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in z
0.263 * [taylor]: Taking taylor expansion of (- y x) in z
0.263 * [taylor]: Taking taylor expansion of y in z
0.263 * [taylor]: Taking taylor expansion of x in z
0.263 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.263 * [taylor]: Taking taylor expansion of z in z
0.263 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in x
0.263 * [taylor]: Taking taylor expansion of (- y x) in x
0.263 * [taylor]: Taking taylor expansion of y in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.263 * [taylor]: Taking taylor expansion of z in x
0.263 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y
0.263 * [taylor]: Taking taylor expansion of (- y x) in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of x in y
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y
0.264 * [taylor]: Taking taylor expansion of (- y x) in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of x in y
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt z))) in x
0.264 * [taylor]: Taking taylor expansion of -1 in x
0.264 * [taylor]: Taking taylor expansion of (* x (sqrt z)) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of 0 in z
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of (neg (sqrt z)) in z
0.264 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of 0 in x
0.264 * [taylor]: Taking taylor expansion of 0 in z
0.264 * [taylor]: Taking taylor expansion of 0 in z
0.265 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in (y x z) around 0
0.265 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z
0.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.265 * [taylor]: Taking taylor expansion of z in z
0.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.265 * [taylor]: Taking taylor expansion of y in z
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.265 * [taylor]: Taking taylor expansion of x in z
0.265 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x
0.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.265 * [taylor]: Taking taylor expansion of z in x
0.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.265 * [taylor]: Taking taylor expansion of y in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
0.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.265 * [taylor]: Taking taylor expansion of z in y
0.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.265 * [taylor]: Taking taylor expansion of y in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.265 * [taylor]: Taking taylor expansion of x in y
0.265 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y
0.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.265 * [taylor]: Taking taylor expansion of z in y
0.266 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.266 * [taylor]: Taking taylor expansion of z in x
0.266 * [taylor]: Taking taylor expansion of (neg (* (/ 1 x) (sqrt (/ 1 z)))) in x
0.266 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 z))) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.266 * [taylor]: Taking taylor expansion of z in x
0.266 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 z))) in z
0.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.266 * [taylor]: Taking taylor expansion of z in z
0.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.266 * [taylor]: Taking taylor expansion of z in z
0.267 * [taylor]: Taking taylor expansion of 0 in x
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in x
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.268 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in (y x z) around 0
0.268 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in z
0.268 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.268 * [taylor]: Taking taylor expansion of x in z
0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.268 * [taylor]: Taking taylor expansion of y in z
0.268 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.268 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.268 * [taylor]: Taking taylor expansion of -1 in z
0.268 * [taylor]: Taking taylor expansion of z in z
0.269 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in x
0.269 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.269 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.269 * [taylor]: Taking taylor expansion of -1 in x
0.269 * [taylor]: Taking taylor expansion of z in x
0.269 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y
0.269 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.269 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.269 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.269 * [taylor]: Taking taylor expansion of -1 in y
0.269 * [taylor]: Taking taylor expansion of z in y
0.269 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y
0.269 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.269 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.269 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.269 * [taylor]: Taking taylor expansion of -1 in y
0.269 * [taylor]: Taking taylor expansion of z in y
0.269 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in x
0.269 * [taylor]: Taking taylor expansion of -1 in x
0.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.270 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.270 * [taylor]: Taking taylor expansion of -1 in x
0.270 * [taylor]: Taking taylor expansion of z in x
0.270 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) x) in x
0.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.270 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.270 * [taylor]: Taking taylor expansion of -1 in x
0.270 * [taylor]: Taking taylor expansion of z in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.270 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.270 * [taylor]: Taking taylor expansion of -1 in z
0.270 * [taylor]: Taking taylor expansion of z in z
0.270 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z
0.270 * [taylor]: Taking taylor expansion of -1 in z
0.270 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.270 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.270 * [taylor]: Taking taylor expansion of -1 in z
0.270 * [taylor]: Taking taylor expansion of z in z
0.271 * [taylor]: Taking taylor expansion of 0 in x
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in x
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.272 * [taylor]: Taking taylor expansion of 0 in z
0.272 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.272 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in (x y z) around 0
0.272 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in z
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.272 * [taylor]: Taking taylor expansion of (* z y) in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of y in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of (* x z) in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in y
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.272 * [taylor]: Taking taylor expansion of (* z y) in y
0.272 * [taylor]: Taking taylor expansion of z in y
0.272 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of (* x z) in y
0.272 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of z in y
0.272 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x
0.272 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.272 * [taylor]: Taking taylor expansion of (* z y) in x
0.272 * [taylor]: Taking taylor expansion of z in x
0.272 * [taylor]: Taking taylor expansion of y in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (* x z) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of z in x
0.273 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x z)) in x
0.273 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.273 * [taylor]: Taking taylor expansion of (* z y) in x
0.273 * [taylor]: Taking taylor expansion of z in x
0.273 * [taylor]: Taking taylor expansion of y in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (* x z) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of z in x
0.273 * [taylor]: Taking taylor expansion of (* z y) in y
0.273 * [taylor]: Taking taylor expansion of z in y
0.273 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of (- 1 z) in y
0.273 * [taylor]: Taking taylor expansion of 1 in y
0.273 * [taylor]: Taking taylor expansion of z in y
0.273 * [taylor]: Taking taylor expansion of (- 1 z) in z
0.273 * [taylor]: Taking taylor expansion of 1 in z
0.273 * [taylor]: Taking taylor expansion of z in z
0.273 * [taylor]: Taking taylor expansion of z in z
0.273 * [taylor]: Taking taylor expansion of 0 in y
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.274 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in (x y z) around 0
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in z
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.274 * [taylor]: Taking taylor expansion of (* z y) in z
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of y in z
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.274 * [taylor]: Taking taylor expansion of x in z
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.274 * [taylor]: Taking taylor expansion of (* x z) in z
0.274 * [taylor]: Taking taylor expansion of x in z
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in y
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.274 * [taylor]: Taking taylor expansion of (* z y) in y
0.274 * [taylor]: Taking taylor expansion of z in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.274 * [taylor]: Taking taylor expansion of (* x z) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of z in y
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.274 * [taylor]: Taking taylor expansion of (* z y) in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.274 * [taylor]: Taking taylor expansion of (* x z) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x z))) in x
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.275 * [taylor]: Taking taylor expansion of (* z y) in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.275 * [taylor]: Taking taylor expansion of (* x z) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
0.275 * [taylor]: Taking taylor expansion of 1 in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.275 * [taylor]: Taking taylor expansion of (* z y) in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
0.275 * [taylor]: Taking taylor expansion of 1 in z
0.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.276 * [taylor]: Taking taylor expansion of 0 in y
0.276 * [taylor]: Taking taylor expansion of 0 in z
0.276 * [taylor]: Taking taylor expansion of 0 in z
0.276 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in (x y z) around 0
0.276 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in z
0.276 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in z
0.276 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.276 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.276 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.276 * [taylor]: Taking taylor expansion of -1 in z
0.276 * [taylor]: Taking taylor expansion of z in z
0.276 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in z
0.277 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in z
0.277 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.277 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.277 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.277 * [taylor]: Taking taylor expansion of -1 in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [taylor]: Taking taylor expansion of y in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in y
0.277 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in y
0.277 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.277 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.277 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.277 * [taylor]: Taking taylor expansion of -1 in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of x in y
0.277 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in y
0.277 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y
0.277 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.277 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.277 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.277 * [taylor]: Taking taylor expansion of -1 in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.278 * [taylor]: Taking taylor expansion of x in y
0.278 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in x
0.278 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x
0.278 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.278 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x
0.278 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.278 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) x) (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x))) in x
0.278 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x
0.278 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.278 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of z in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.281 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 x)) in x
0.281 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x
0.281 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
0.281 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
0.281 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.281 * [taylor]: Taking taylor expansion of -1 in x
0.281 * [taylor]: Taking taylor expansion of z in x
0.281 * [taylor]: Taking taylor expansion of y in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.281 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2) 1) in y
0.281 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.281 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.281 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.281 * [taylor]: Taking taylor expansion of -1 in y
0.281 * [taylor]: Taking taylor expansion of z in y
0.281 * [taylor]: Taking taylor expansion of 1 in y
0.282 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt (/ -1 z)) 2) y)) in y
0.282 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y
0.282 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
0.282 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.282 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.282 * [taylor]: Taking taylor expansion of -1 in y
0.282 * [taylor]: Taking taylor expansion of z in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.282 * [taylor]: Taking taylor expansion of (neg (pow (sqrt (/ -1 z)) 2)) in z
0.282 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.282 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.282 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.282 * [taylor]: Taking taylor expansion of -1 in z
0.282 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2) 1) in z
0.283 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
0.283 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.283 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.283 * [taylor]: Taking taylor expansion of -1 in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of 1 in z
0.283 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [taylor]: Taking taylor expansion of 0 in z
0.284 * [taylor]: Taking taylor expansion of 0 in z
0.285 * * * [progress]: simplifying candidates
0.285 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- y x) (sqrt z)) (sqrt z))
  (* (* (- y x) (sqrt z)) (sqrt z))
  (+ (+ (log (- y x)) (log (sqrt z))) (log (sqrt z)))
  (+ (log (* (- y x) (sqrt z))) (log (sqrt z)))
  (log (* (* (- y x) (sqrt z)) (sqrt z)))
  (exp (* (* (- y x) (sqrt z)) (sqrt z)))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (* (* (* (- y x) (sqrt z)) (* (- y x) (sqrt z))) (* (- y x) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z))))
  (cbrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (* (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z))) (* (* (- y x) (sqrt z)) (sqrt z)))
  (sqrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (sqrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (* (* (- y x) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (* (- y x) (sqrt z)) (sqrt (* (cbrt z) (cbrt z))))
  (* (* (- y x) (sqrt z)) (sqrt (sqrt z)))
  (* (* (- y x) (sqrt z)) (sqrt 1))
  (* (* (- y x) (sqrt z)) (sqrt (sqrt z)))
  (* (* (- y x) (sqrt z)) 1)
  (* (sqrt z) (sqrt z))
  (* (* (- (pow y 3) (pow x 3)) (sqrt z)) (sqrt z))
  (* (* (- (* y y) (* x x)) (sqrt z)) (sqrt z))
  (* (- y x) (sqrt z))
  (+ (log (- y x)) (log (sqrt z)))
  (log (* (- y x) (sqrt z)))
  (exp (* (- y x) (sqrt z)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (cbrt (* (- y x) (sqrt z))) (cbrt (* (- y x) (sqrt z))))
  (cbrt (* (- y x) (sqrt z)))
  (* (* (* (- y x) (sqrt z)) (* (- y x) (sqrt z))) (* (- y x) (sqrt z)))
  (sqrt (* (- y x) (sqrt z)))
  (sqrt (* (- y x) (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (- y x) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (- y x) (sqrt (* (cbrt z) (cbrt z))))
  (* (- y x) (sqrt (sqrt z)))
  (* (- y x) (sqrt 1))
  (* (- y x) (sqrt (sqrt z)))
  (* (- y x) 1)
  (* (cbrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (sqrt z))
  (* (- (sqrt y) (sqrt x)) (sqrt z))
  (* (- y x) (sqrt z))
  (* (- (pow y 3) (pow x 3)) (sqrt z))
  (* (- (* y y) (* x x)) (sqrt z))
  (* (exp x) (exp (* (* (- y x) (sqrt z)) (sqrt z))))
  (log (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (exp (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (* (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))))
  (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (* (* (+ x (* (* (- y x) (sqrt z)) (sqrt z))) (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (+ (pow x 3) (pow (* (* (- y x) (sqrt z)) (sqrt z)) 3))
  (+ (* x x) (- (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z))) (* x (* (* (- y x) (sqrt z)) (sqrt z)))))
  (- (* x x) (* (* (* (- y x) (sqrt z)) (sqrt z)) (* (* (- y x) (sqrt z)) (sqrt z))))
  (- x (* (* (- y x) (sqrt z)) (sqrt z)))
  0
  (- (* z y) (* x z))
  (- (+ (* 2 (/ (* x (pow NAN 4)) z)) (* (pow NAN 2) y)) (* x (pow NAN 2)))
  0
  (- (* NAN y) (+ (/ (* x (pow NAN 3)) z) (* x NAN)))
  (- (+ (/ (* x (pow NAN 3)) z) (* NAN y)) (* x NAN))
  (- (+ (* z y) x) (* x z))
  (- (+ (* z y) x) (* x z))
  (- (+ x (* (pow NAN 2) y)) (+ (* x (pow NAN 2)) (* 2 (/ (* (pow NAN 4) y) z))))
0.290 * * [simplify]: iteration  0 :  316  enodes  (cost  411 )
0.296 * * [simplify]: iteration  1 :  1323  enodes  (cost  347 )
0.321 * * [simplify]: iteration  2 :  5001  enodes  (cost  337 )
0.323 * [simplify]: Simplified to:
   (* (- y x) z)
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (+ (log (- y x)) (log z))
  (+ (log (- y x)) (log z))
  (pow (exp (- y x)) z)
  (pow (* (- y x) z) 3)
  (pow (* (- y x) z) 3)
  (* (cbrt (* (* (- y x) (sqrt z)) (sqrt z))) (cbrt (* (* (- y x) (sqrt z)) (sqrt z))))
  (cbrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (pow (* (- y x) z) 3)
  (sqrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (sqrt (* (* (- y x) (sqrt z)) (sqrt z)))
  (* (* (- y x) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (- y x) (* (sqrt z) (fabs (cbrt z))))
  (* (* (- y x) (sqrt z)) (sqrt (sqrt z)))
  (* (- y x) (sqrt z))
  (* (* (- y x) (sqrt z)) (sqrt (sqrt z)))
  (* (- y x) (sqrt z))
  z
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (* (- y x) (sqrt z))
  (log (* (- y x) (sqrt z)))
  (log (* (- y x) (sqrt z)))
  (exp (* (- y x) (sqrt z)))
  (pow (* (- y x) (sqrt z)) 3)
  (* (cbrt (* (- y x) (sqrt z))) (cbrt (* (- y x) (sqrt z))))
  (cbrt (* (- y x) (sqrt z)))
  (pow (* (- y x) (sqrt z)) 3)
  (sqrt (* (- y x) (sqrt z)))
  (sqrt (* (- y x) (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (sqrt (- y x)) (sqrt (sqrt z)))
  (* (- y x) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (fabs (cbrt z)) (- y x))
  (* (- y x) (sqrt (sqrt z)))
  (- y x)
  (* (- y x) (sqrt (sqrt z)))
  (- y x)
  (* (cbrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (sqrt z))
  (* (- (sqrt y) (sqrt x)) (sqrt z))
  (* (- y x) (sqrt z))
  (* (- (pow y 3) (pow x 3)) (sqrt z))
  (* (- (* y y) (* x x)) (sqrt z))
  (exp (+ x (* z (- y x))))
  (log (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (exp (+ x (* z (- y x))))
  (* (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z)))))
  (cbrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (pow (+ (* (- y x) z) x) 3)
  (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (sqrt (+ x (* (* (- y x) (sqrt z)) (sqrt z))))
  (+ (pow x 3) (pow (* (* (- y x) (sqrt z)) (sqrt z)) 3))
  (- (* (* (* (- y x) (- y x)) z) z) (- (* (* (- y x) z) x) (* x x)))
  (+ (* x x) (neg (* (* (* (- y x) (- y x)) z) z)))
  (+ x (neg (* (- y x) z)))
  0
  (* (- y x) z)
  (+ (* (pow NAN 2) (- y x)) (* 2 (/ (* x (pow NAN 4)) z)))
  0
  (- (* NAN (- y x)) (/ (* x (pow NAN 3)) z))
  (+ (* NAN (- y x)) (/ (* x (pow NAN 3)) z))
  (+ x (* z (- y x)))
  (+ x (* z (- y x)))
  (+ (- (* (pow NAN 2) (- y x)) (* 2 (/ (* (pow NAN 4) y) z))) x)
0.323 * * * [progress]: adding candidates to table
0.389 * * [progress]: iteration 3 / 4
0.389 * * * [progress]: picking best candidate
0.395 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))>
0.395 * * * [progress]: localizing error
0.421 * * * [progress]: generating rewritten candidates
0.421 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.454 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.465 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
0.474 * * * [progress]: generating series expansions
0.474 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.475 * [approximate]: Taking taylor expansion of (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow x 2) (+ (pow y 2) (* x y)))) in (y x z) around 0
0.475 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow x 2) (+ (pow y 2) (* x y)))) in z
0.475 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in z
0.475 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in z
0.475 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.475 * [taylor]: Taking taylor expansion of x in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.475 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in z
0.475 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.475 * [taylor]: Taking taylor expansion of x in z
0.475 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z
0.475 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of (* x y) in z
0.475 * [taylor]: Taking taylor expansion of x in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.476 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow x 2) (+ (pow y 2) (* x y)))) in x
0.476 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in x
0.476 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in x
0.476 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of z in x
0.476 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in x
0.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
0.476 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of (* x y) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.477 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow x 2) (+ (pow y 2) (* x y)))) in y
0.477 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in y
0.477 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.477 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.477 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.477 * [taylor]: Taking taylor expansion of x in y
0.477 * [taylor]: Taking taylor expansion of z in y
0.477 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in y
0.477 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.477 * [taylor]: Taking taylor expansion of x in y
0.477 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
0.477 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.477 * [taylor]: Taking taylor expansion of (* x y) in y
0.477 * [taylor]: Taking taylor expansion of x in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.477 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow x 2) (+ (pow y 2) (* x y)))) in y
0.477 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in y
0.478 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.478 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.478 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.478 * [taylor]: Taking taylor expansion of x in y
0.478 * [taylor]: Taking taylor expansion of z in y
0.478 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in y
0.478 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.478 * [taylor]: Taking taylor expansion of x in y
0.478 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
0.478 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.478 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of (* x y) in y
0.478 * [taylor]: Taking taylor expansion of x in y
0.478 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
0.478 * [taylor]: Taking taylor expansion of -1 in x
0.478 * [taylor]: Taking taylor expansion of (* x z) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of z in x
0.478 * [taylor]: Taking taylor expansion of 0 in z
0.479 * [taylor]: Taking taylor expansion of z in x
0.479 * [taylor]: Taking taylor expansion of z in z
0.479 * [taylor]: Taking taylor expansion of (neg z) in z
0.479 * [taylor]: Taking taylor expansion of z in z
0.479 * [taylor]: Taking taylor expansion of 0 in x
0.479 * [taylor]: Taking taylor expansion of 0 in z
0.479 * [taylor]: Taking taylor expansion of 0 in z
0.479 * [taylor]: Taking taylor expansion of 0 in z
0.480 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in (y x z) around 0
0.480 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in z
0.480 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z
0.480 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.480 * [taylor]: Taking taylor expansion of y in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.480 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.480 * [taylor]: Taking taylor expansion of x in z
0.480 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in z
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.480 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.480 * [taylor]: Taking taylor expansion of x in z
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.480 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.480 * [taylor]: Taking taylor expansion of y in z
0.481 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.481 * [taylor]: Taking taylor expansion of (* x y) in z
0.481 * [taylor]: Taking taylor expansion of x in z
0.481 * [taylor]: Taking taylor expansion of y in z
0.481 * [taylor]: Taking taylor expansion of z in z
0.482 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in x
0.482 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.482 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in x
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.482 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.483 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.483 * [taylor]: Taking taylor expansion of (* x y) in x
0.483 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of y in x
0.483 * [taylor]: Taking taylor expansion of z in x
0.483 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.483 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.483 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.483 * [taylor]: Taking taylor expansion of x in y
0.483 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.483 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.483 * [taylor]: Taking taylor expansion of x in y
0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.483 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.483 * [taylor]: Taking taylor expansion of (* x y) in y
0.483 * [taylor]: Taking taylor expansion of x in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.483 * [taylor]: Taking taylor expansion of z in y
0.483 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.483 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.483 * [taylor]: Taking taylor expansion of y in y
0.484 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.484 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.484 * [taylor]: Taking taylor expansion of x in y
0.484 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.484 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.484 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.484 * [taylor]: Taking taylor expansion of x in y
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.484 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.484 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.484 * [taylor]: Taking taylor expansion of y in y
0.484 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.484 * [taylor]: Taking taylor expansion of (* x y) in y
0.484 * [taylor]: Taking taylor expansion of x in y
0.484 * [taylor]: Taking taylor expansion of y in y
0.484 * [taylor]: Taking taylor expansion of z in y
0.484 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.484 * [taylor]: Taking taylor expansion of z in x
0.484 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x
0.484 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.484 * [taylor]: Taking taylor expansion of (* x z) in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of z in x
0.485 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.485 * [taylor]: Taking taylor expansion of z in z
0.485 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.485 * [taylor]: Taking taylor expansion of z in z
0.485 * [taylor]: Taking taylor expansion of 0 in x
0.485 * [taylor]: Taking taylor expansion of 0 in z
0.485 * [taylor]: Taking taylor expansion of 0 in z
0.486 * [taylor]: Taking taylor expansion of 0 in x
0.486 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in (y x z) around 0
0.487 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in z
0.487 * [taylor]: Taking taylor expansion of -1 in z
0.487 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in z
0.487 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in z
0.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.487 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.487 * [taylor]: Taking taylor expansion of x in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z
0.488 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.488 * [taylor]: Taking taylor expansion of y in z
0.488 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in z
0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.488 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.488 * [taylor]: Taking taylor expansion of x in z
0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.488 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.488 * [taylor]: Taking taylor expansion of y in z
0.488 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.488 * [taylor]: Taking taylor expansion of (* x y) in z
0.488 * [taylor]: Taking taylor expansion of x in z
0.488 * [taylor]: Taking taylor expansion of y in z
0.488 * [taylor]: Taking taylor expansion of z in z
0.489 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in x
0.489 * [taylor]: Taking taylor expansion of -1 in x
0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in x
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.490 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.490 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.490 * [taylor]: Taking taylor expansion of y in x
0.490 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in x
0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.490 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.490 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.490 * [taylor]: Taking taylor expansion of y in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.490 * [taylor]: Taking taylor expansion of (* x y) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of y in x
0.490 * [taylor]: Taking taylor expansion of z in x
0.490 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in y
0.490 * [taylor]: Taking taylor expansion of -1 in y
0.490 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.490 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.490 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.490 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.490 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.490 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.491 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.491 * [taylor]: Taking taylor expansion of (* x y) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of z in y
0.491 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in y
0.491 * [taylor]: Taking taylor expansion of -1 in y
0.491 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.491 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.491 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.491 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.491 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.492 * [taylor]: Taking taylor expansion of (* x y) in y
0.492 * [taylor]: Taking taylor expansion of x in y
0.492 * [taylor]: Taking taylor expansion of y in y
0.492 * [taylor]: Taking taylor expansion of z in y
0.492 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.492 * [taylor]: Taking taylor expansion of z in x
0.492 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.492 * [taylor]: Taking taylor expansion of (* x z) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of z in x
0.492 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.492 * [taylor]: Taking taylor expansion of z in z
0.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.492 * [taylor]: Taking taylor expansion of z in z
0.493 * [taylor]: Taking taylor expansion of 0 in x
0.493 * [taylor]: Taking taylor expansion of 0 in z
0.493 * [taylor]: Taking taylor expansion of 0 in z
0.494 * [taylor]: Taking taylor expansion of 0 in x
0.494 * [taylor]: Taking taylor expansion of 0 in z
0.494 * [taylor]: Taking taylor expansion of 0 in z
0.494 * [taylor]: Taking taylor expansion of 0 in z
0.495 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.495 * [approximate]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in (y x z) around 0
0.495 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in z
0.495 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in z
0.495 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.495 * [taylor]: Taking taylor expansion of y in z
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.495 * [taylor]: Taking taylor expansion of x in z
0.495 * [taylor]: Taking taylor expansion of z in z
0.495 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in x
0.495 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in x
0.495 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.495 * [taylor]: Taking taylor expansion of y in x
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of z in x
0.495 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in y
0.495 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.495 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.495 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.495 * [taylor]: Taking taylor expansion of x in y
0.495 * [taylor]: Taking taylor expansion of z in y
0.495 * [taylor]: Taking taylor expansion of (* (- (pow y 3) (pow x 3)) z) in y
0.495 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.495 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.495 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.495 * [taylor]: Taking taylor expansion of x in y
0.495 * [taylor]: Taking taylor expansion of z in y
0.496 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 3) z)) in x
0.496 * [taylor]: Taking taylor expansion of -1 in x
0.496 * [taylor]: Taking taylor expansion of (* (pow x 3) z) in x
0.496 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of z in x
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [taylor]: Taking taylor expansion of 0 in z
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [taylor]: Taking taylor expansion of 0 in z
0.496 * [taylor]: Taking taylor expansion of 0 in z
0.497 * [taylor]: Taking taylor expansion of z in x
0.497 * [taylor]: Taking taylor expansion of z in z
0.497 * [taylor]: Taking taylor expansion of 0 in z
0.497 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) z) in (y x z) around 0
0.497 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) z) in z
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in z
0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z
0.497 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.497 * [taylor]: Taking taylor expansion of y in z
0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.497 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.497 * [taylor]: Taking taylor expansion of x in z
0.497 * [taylor]: Taking taylor expansion of z in z
0.497 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) z) in x
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.498 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.498 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of z in x
0.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) z) in y
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.498 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.498 * [taylor]: Taking taylor expansion of y in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.498 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.498 * [taylor]: Taking taylor expansion of x in y
0.498 * [taylor]: Taking taylor expansion of z in y
0.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) z) in y
0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.498 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.498 * [taylor]: Taking taylor expansion of y in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.498 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.498 * [taylor]: Taking taylor expansion of x in y
0.498 * [taylor]: Taking taylor expansion of z in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.498 * [taylor]: Taking taylor expansion of z in x
0.499 * [taylor]: Taking taylor expansion of 0 in x
0.499 * [taylor]: Taking taylor expansion of 0 in x
0.499 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow x 3) z))) in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) z)) in x
0.499 * [taylor]: Taking taylor expansion of (* (pow x 3) z) in x
0.499 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of z in x
0.499 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.499 * [taylor]: Taking taylor expansion of z in z
0.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.499 * [taylor]: Taking taylor expansion of z in z
0.500 * [taylor]: Taking taylor expansion of 0 in x
0.500 * [taylor]: Taking taylor expansion of 0 in z
0.500 * [taylor]: Taking taylor expansion of 0 in z
0.500 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of 0 in x
0.501 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of 0 in z
0.501 * [taylor]: Taking taylor expansion of 0 in z
0.502 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z)) in (y x z) around 0
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z)) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z) in z
0.502 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.502 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.502 * [taylor]: Taking taylor expansion of x in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z
0.502 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.502 * [taylor]: Taking taylor expansion of y in z
0.502 * [taylor]: Taking taylor expansion of z in z
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z)) in x
0.503 * [taylor]: Taking taylor expansion of -1 in x
0.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z) in x
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.503 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.503 * [taylor]: Taking taylor expansion of y in x
0.503 * [taylor]: Taking taylor expansion of z in x
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z)) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z) in y
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.503 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of z in y
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z)) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) z) in y
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.504 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of z in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.504 * [taylor]: Taking taylor expansion of z in x
0.504 * [taylor]: Taking taylor expansion of 0 in x
0.504 * [taylor]: Taking taylor expansion of 0 in x
0.505 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow x 3) z))) in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) z)) in x
0.505 * [taylor]: Taking taylor expansion of (* (pow x 3) z) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of z in x
0.505 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.505 * [taylor]: Taking taylor expansion of z in z
0.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.505 * [taylor]: Taking taylor expansion of z in z
0.506 * [taylor]: Taking taylor expansion of 0 in x
0.506 * [taylor]: Taking taylor expansion of 0 in z
0.506 * [taylor]: Taking taylor expansion of 0 in z
0.506 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in x
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.508 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.508 * [approximate]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in (y x) around 0
0.508 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in x
0.508 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.508 * [taylor]: Taking taylor expansion of y in x
0.508 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.508 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.508 * [taylor]: Taking taylor expansion of y in y
0.508 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.508 * [taylor]: Taking taylor expansion of x in y
0.508 * [taylor]: Taking taylor expansion of (- (pow y 3) (pow x 3)) in y
0.508 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.508 * [taylor]: Taking taylor expansion of y in y
0.508 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.508 * [taylor]: Taking taylor expansion of x in y
0.508 * [taylor]: Taking taylor expansion of (neg (pow x 3)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of 0 in x
0.508 * [taylor]: Taking taylor expansion of 0 in x
0.509 * [taylor]: Taking taylor expansion of 1 in x
0.509 * [taylor]: Taking taylor expansion of 0 in x
0.509 * [taylor]: Taking taylor expansion of 0 in x
0.510 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in (y x) around 0
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.510 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.510 * [taylor]: Taking taylor expansion of y in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.510 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.510 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.510 * [taylor]: Taking taylor expansion of y in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.510 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.510 * [taylor]: Taking taylor expansion of x in y
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) (/ 1 (pow x 3))) in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.510 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.510 * [taylor]: Taking taylor expansion of y in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.510 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.510 * [taylor]: Taking taylor expansion of x in y
0.510 * [taylor]: Taking taylor expansion of 1 in x
0.510 * [taylor]: Taking taylor expansion of 0 in x
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.511 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 3))) in x
0.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.511 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.511 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.512 * [taylor]: Taking taylor expansion of 0 in x
0.512 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in (y x) around 0
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in x
0.512 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.512 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.512 * [taylor]: Taking taylor expansion of x in x
0.512 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in x
0.512 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.512 * [taylor]: Taking taylor expansion of y in x
0.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.513 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.513 * [taylor]: Taking taylor expansion of x in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.513 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.513 * [taylor]: Taking taylor expansion of y in y
0.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow y 3))) in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.513 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.513 * [taylor]: Taking taylor expansion of x in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.513 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.513 * [taylor]: Taking taylor expansion of y in y
0.513 * [taylor]: Taking taylor expansion of (neg 1) in x
0.513 * [taylor]: Taking taylor expansion of 1 in x
0.513 * [taylor]: Taking taylor expansion of 0 in x
0.513 * [taylor]: Taking taylor expansion of 0 in x
0.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.514 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.514 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.515 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
0.515 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* x y)) in (x y) around 0
0.515 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in y
0.515 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.515 * [taylor]: Taking taylor expansion of x in y
0.515 * [taylor]: Taking taylor expansion of (* x y) in y
0.515 * [taylor]: Taking taylor expansion of x in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
0.515 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of (* x y) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of y in x
0.515 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
0.515 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of (* x y) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of y in x
0.515 * [taylor]: Taking taylor expansion of 0 in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.516 * [taylor]: Taking taylor expansion of 1 in y
0.516 * [taylor]: Taking taylor expansion of 0 in y
0.516 * [taylor]: Taking taylor expansion of 0 in y
0.516 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
0.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.516 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.516 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.516 * [taylor]: Taking taylor expansion of (* x y) in y
0.516 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of y in y
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
0.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.516 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.516 * [taylor]: Taking taylor expansion of x in x
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.516 * [taylor]: Taking taylor expansion of (* x y) in x
0.516 * [taylor]: Taking taylor expansion of x in x
0.516 * [taylor]: Taking taylor expansion of y in x
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.517 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.517 * [taylor]: Taking taylor expansion of (* x y) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of 1 in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.518 * [taylor]: Taking taylor expansion of 0 in y
0.518 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.518 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.518 * [taylor]: Taking taylor expansion of x in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.518 * [taylor]: Taking taylor expansion of (* x y) in y
0.518 * [taylor]: Taking taylor expansion of x in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.518 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.518 * [taylor]: Taking taylor expansion of (* x y) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of y in x
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.518 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.518 * [taylor]: Taking taylor expansion of (* x y) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of y in x
0.519 * [taylor]: Taking taylor expansion of 1 in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of 0 in y
0.519 * [taylor]: Taking taylor expansion of 0 in y
0.519 * [taylor]: Taking taylor expansion of 0 in y
0.520 * * * [progress]: simplifying candidates
0.521 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log (- (pow y 3) (pow x 3))) (log z)) (log (+ (* y y) (+ (* x x) (* y x)))))
  (- (log (* (- (pow y 3) (pow x 3)) z)) (log (+ (* y y) (+ (* x x) (* y x)))))
  (log (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (exp (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (* (* (- (pow y 3) (pow x 3)) (- (pow y 3) (pow x 3))) (- (pow y 3) (pow x 3))) (* (* z z) z)) (* (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (* (* (- (pow y 3) (pow x 3)) z) (* (- (pow y 3) (pow x 3)) z)) (* (- (pow y 3) (pow x 3)) z)) (* (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* y y) (+ (* x x) (* y x)))))
  (* (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))) (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))
  (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (* (* (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))) (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))) (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (neg (* (- (pow y 3) (pow x 3)) z))
  (neg (+ (* y y) (+ (* x x) (* y x))))
  (/ (- (pow y 3) (pow x 3)) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ z (cbrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (- (pow y 3) (pow x 3)) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ z (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (- (pow y 3) (pow x 3)) 1)
  (/ z (+ (* y y) (+ (* x x) (* y x))))
  (/ 1 (+ (* y y) (+ (* x x) (* y x))))
  (/ (+ (* y y) (+ (* x x) (* y x))) (* (- (pow y 3) (pow x 3)) z))
  (/ (* (- (pow y 3) (pow x 3)) z) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (* (- (pow y 3) (pow x 3)) z) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (- (pow y 3) (pow x 3)) z) 1)
  (/ (+ (* y y) (+ (* x x) (* y x))) z)
  (/ (* (- (pow y 3) (pow x 3)) z) (+ (pow (* y y) 3) (pow (+ (* x x) (* y x)) 3)))
  (/ (* (- (pow y 3) (pow x 3)) z) (- (* (* y y) (* y y)) (* (+ (* x x) (* y x)) (+ (* x x) (* y x)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (* (pow y 3) (pow y 3)) (+ (* (pow x 3) (pow x 3)) (* (pow y 3) (pow x 3)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (pow y 3) (pow x 3)))
  (* (- (pow y 3) (pow x 3)) z)
  (+ (log (- (pow y 3) (pow x 3))) (log z))
  (log (* (- (pow y 3) (pow x 3)) z))
  (exp (* (- (pow y 3) (pow x 3)) z))
  (* (* (* (- (pow y 3) (pow x 3)) (- (pow y 3) (pow x 3))) (- (pow y 3) (pow x 3))) (* (* z z) z))
  (* (cbrt (* (- (pow y 3) (pow x 3)) z)) (cbrt (* (- (pow y 3) (pow x 3)) z)))
  (cbrt (* (- (pow y 3) (pow x 3)) z))
  (* (* (* (- (pow y 3) (pow x 3)) z) (* (- (pow y 3) (pow x 3)) z)) (* (- (pow y 3) (pow x 3)) z))
  (sqrt (* (- (pow y 3) (pow x 3)) z))
  (sqrt (* (- (pow y 3) (pow x 3)) z))
  (* (sqrt (- (pow y 3) (pow x 3))) (sqrt z))
  (* (sqrt (- (pow y 3) (pow x 3))) (sqrt z))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (- (pow y 3) (pow x 3)) (sqrt z))
  (* (- (pow y 3) (pow x 3)) 1)
  (* (cbrt (- (pow y 3) (pow x 3))) z)
  (* (sqrt (- (pow y 3) (pow x 3))) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3) (pow x (/ 3 2))) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3) (pow x (/ 3 2))) z)
  (* (- (sqrt (pow y 3)) (pow (sqrt x) 3)) z)
  (* (- (sqrt (pow y 3)) (pow (sqrt x) 3)) z)
  (* (- (sqrt (pow y 3)) (sqrt (pow x 3))) z)
  (* (- (sqrt (pow y 3)) (pow x (/ 3 2))) z)
  (* (- (pow y (/ 3 2)) (pow (sqrt x) 3)) z)
  (* (- (pow y (/ 3 2)) (pow (sqrt x) 3)) z)
  (* (- (pow y (/ 3 2)) (sqrt (pow x 3))) z)
  (* (- (pow y (/ 3 2)) (pow x (/ 3 2))) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow (pow y 3) 3) (pow (pow x 3) 3)) z)
  (* (- (* (pow y 3) (pow y 3)) (* (pow x 3) (pow x 3))) z)
  (/ (exp (pow y 3)) (exp (pow x 3)))
  (log (- (pow y 3) (pow x 3)))
  (exp (- (pow y 3) (pow x 3)))
  (* (cbrt (- (pow y 3) (pow x 3))) (cbrt (- (pow y 3) (pow x 3))))
  (cbrt (- (pow y 3) (pow x 3)))
  (* (* (- (pow y 3) (pow x 3)) (- (pow y 3) (pow x 3))) (- (pow y 3) (pow x 3)))
  (sqrt (- (pow y 3) (pow x 3)))
  (sqrt (- (pow y 3) (pow x 3)))
  (+ (* y y) (+ (* x x) (* y x)))
  (- y x)
  (- (pow (pow y 3) 3) (pow (pow x 3) 3))
  (+ (* (pow y 3) (pow y 3)) (+ (* (pow x 3) (pow x 3)) (* (pow y 3) (pow x 3))))
  (neg (pow x 3))
  (- (* (pow y 3) (pow y 3)) (* (pow x 3) (pow x 3)))
  (+ (pow y 3) (pow x 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (sqrt (pow x 3)))
  (- (pow (sqrt y) 3) (sqrt (pow x 3)))
  (+ (pow (sqrt y) 3) (pow x (/ 3 2)))
  (- (pow (sqrt y) 3) (pow x (/ 3 2)))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (sqrt (pow x 3)))
  (- (pow (sqrt y) 3) (sqrt (pow x 3)))
  (+ (pow (sqrt y) 3) (pow x (/ 3 2)))
  (- (pow (sqrt y) 3) (pow x (/ 3 2)))
  (+ (sqrt (pow y 3)) (pow (sqrt x) 3))
  (- (sqrt (pow y 3)) (pow (sqrt x) 3))
  (+ (sqrt (pow y 3)) (pow (sqrt x) 3))
  (- (sqrt (pow y 3)) (pow (sqrt x) 3))
  (+ (sqrt (pow y 3)) (sqrt (pow x 3)))
  (- (sqrt (pow y 3)) (sqrt (pow x 3)))
  (+ (sqrt (pow y 3)) (pow x (/ 3 2)))
  (- (sqrt (pow y 3)) (pow x (/ 3 2)))
  (+ (pow y (/ 3 2)) (pow (sqrt x) 3))
  (- (pow y (/ 3 2)) (pow (sqrt x) 3))
  (+ (pow y (/ 3 2)) (pow (sqrt x) 3))
  (- (pow y (/ 3 2)) (pow (sqrt x) 3))
  (+ (pow y (/ 3 2)) (sqrt (pow x 3)))
  (- (pow y (/ 3 2)) (sqrt (pow x 3)))
  (+ (pow y (/ 3 2)) (pow x (/ 3 2)))
  (- (pow y (/ 3 2)) (pow x (/ 3 2)))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (neg (pow x 3))
  (* (exp (* x x)) (exp (* y x)))
  (log (+ (* x x) (* y x)))
  (exp (+ (* x x) (* y x)))
  (* (cbrt (+ (* x x) (* y x))) (cbrt (+ (* x x) (* y x))))
  (cbrt (+ (* x x) (* y x)))
  (* (* (+ (* x x) (* y x)) (+ (* x x) (* y x))) (+ (* x x) (* y x)))
  (sqrt (+ (* x x) (* y x)))
  (sqrt (+ (* x x) (* y x)))
  (+ (pow (* x x) 3) (pow (* y x) 3))
  (+ (* (* x x) (* x x)) (- (* (* y x) (* y x)) (* (* x x) (* y x))))
  (- (* (* x x) (* x x)) (* (* y x) (* y x)))
  (- (* x x) (* y x))
  (+ x y)
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  0
  (- (* z (pow y 3)) (* (pow x 3) z))
  (- (* z (pow y 3)) (* (pow x 3) z))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
0.528 * * [simplify]: iteration  0 :  448  enodes  (cost  918 )
0.537 * * [simplify]: iteration  1 :  2105  enodes  (cost  815 )
0.577 * * [simplify]: iteration  2 :  5003  enodes  (cost  809 )
0.582 * [simplify]: Simplified to:
   (log (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (log (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (log (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (pow (exp (/ (- (pow y 3) (pow x 3)) (+ (* x (+ x y)) (* y y)))) z)
  (pow (/ z (/ (+ (* x (+ x y)) (* y y)) (- (pow y 3) (pow x 3)))) 3)
  (pow (/ z (/ (+ (* x (+ x y)) (* y y)) (- (pow y 3) (pow x 3)))) 3)
  (* (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))) (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))
  (cbrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (pow (/ z (/ (+ (* x (+ x y)) (* y y)) (- (pow y 3) (pow x 3)))) 3)
  (sqrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x)))))
  (neg (* (- (pow y 3) (pow x 3)) z))
  (- (neg (* y y)) (* x (+ x y)))
  (/ (- (pow y 3) (pow x 3)) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ z (cbrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (- (pow y 3) (pow x 3)) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ z (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (- (pow y 3) (pow x 3))
  (/ (* z 1) (+ (* x (+ x y)) (* y y)))
  (/ 1 (+ (* y y) (+ (* x x) (* y x))))
  (/ (/ (+ (* x (+ x y)) (* y y)) (- (pow y 3) (pow x 3))) z)
  (/ (* (- (pow y 3) (pow x 3)) z) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (* (- (pow y 3) (pow x 3)) z) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (* (- (pow y 3) (pow x 3)) z)
  (/ (+ (* y y) (+ (* x x) (* y x))) z)
  (/ z (/ (+ (pow (+ (* x x) (* y x)) 3) (pow y 6)) (- (pow y 3) (pow x 3))))
  (* (/ z (+ (* (* (neg x) (+ x y)) (* x (+ x y))) (pow y 4))) (- (pow y 3) (pow x 3)))
  (* (+ (+ (pow y 6) (pow x 6)) (pow (* y x) 3)) (+ (* x (+ x y)) (* y y)))
  (* (+ (pow y 3) (pow x 3)) (+ (* x (+ x y)) (* y y)))
  (* (- (pow y 3) (pow x 3)) z)
  (log (* (- (pow y 3) (pow x 3)) z))
  (log (* (- (pow y 3) (pow x 3)) z))
  (exp (* (- (pow y 3) (pow x 3)) z))
  (pow (* (- (pow y 3) (pow x 3)) z) 3)
  (* (cbrt (* (- (pow y 3) (pow x 3)) z)) (cbrt (* (- (pow y 3) (pow x 3)) z)))
  (cbrt (* (- (pow y 3) (pow x 3)) z))
  (pow (* (- (pow y 3) (pow x 3)) z) 3)
  (sqrt (* (- (pow y 3) (pow x 3)) z))
  (sqrt (* (- (pow y 3) (pow x 3)) z))
  (* (sqrt (- (pow y 3) (pow x 3))) (sqrt z))
  (* (sqrt (- (pow y 3) (pow x 3))) (sqrt z))
  (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z)))
  (* (- (pow y 3) (pow x 3)) (sqrt z))
  (- (pow y 3) (pow x 3))
  (* (cbrt (- (pow y 3) (pow x 3))) z)
  (* (sqrt (- (pow y 3) (pow x 3))) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3) (pow x 3/2)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (pow (sqrt x) 3)) z)
  (* (- (pow (sqrt y) 3) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3) (pow x 3/2)) z)
  (* (- (sqrt (pow y 3)) (pow (sqrt x) 3)) z)
  (* (- (sqrt (pow y 3)) (pow (sqrt x) 3)) z)
  (* (- (sqrt (pow y 3)) (sqrt (pow x 3))) z)
  (* (- (sqrt (pow y 3)) (pow x 3/2)) z)
  (* (- (pow y 3/2) (pow (sqrt x) 3)) z)
  (* (- (pow y 3/2) (pow (sqrt x) 3)) z)
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (* (- (pow y 3/2) (pow x 3/2)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow (pow y 3) 3) (pow (pow x 3) 3)) z)
  (* z (+ (pow y 6) (neg (pow x 6))))
  (exp (- (pow y 3) (pow x 3)))
  (log (- (pow y 3) (pow x 3)))
  (exp (- (pow y 3) (pow x 3)))
  (* (cbrt (- (pow y 3) (pow x 3))) (cbrt (- (pow y 3) (pow x 3))))
  (cbrt (- (pow y 3) (pow x 3)))
  (pow (- (pow y 3) (pow x 3)) 3)
  (sqrt (- (pow y 3) (pow x 3)))
  (sqrt (- (pow y 3) (pow x 3)))
  (+ (* x (+ x y)) (* y y))
  (- y x)
  (- (pow (pow y 3) 3) (pow (pow x 3) 3))
  (+ (+ (pow y 6) (pow x 6)) (pow (* y x) 3))
  (neg (pow x 3))
  (- (pow y 6) (pow x 6))
  (+ (pow y 3) (pow x 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (sqrt (pow x 3)))
  (- (pow (sqrt y) 3) (sqrt (pow x 3)))
  (+ (pow (sqrt y) 3) (pow x 3/2))
  (- (pow (sqrt y) 3) (pow x 3/2))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (pow (sqrt x) 3))
  (- (pow (sqrt y) 3) (pow (sqrt x) 3))
  (+ (pow (sqrt y) 3) (sqrt (pow x 3)))
  (- (pow (sqrt y) 3) (sqrt (pow x 3)))
  (+ (pow (sqrt y) 3) (pow x 3/2))
  (- (pow (sqrt y) 3) (pow x 3/2))
  (+ (sqrt (pow y 3)) (pow (sqrt x) 3))
  (- (sqrt (pow y 3)) (pow (sqrt x) 3))
  (+ (sqrt (pow y 3)) (pow (sqrt x) 3))
  (- (sqrt (pow y 3)) (pow (sqrt x) 3))
  (+ (sqrt (pow y 3)) (sqrt (pow x 3)))
  (- (sqrt (pow y 3)) (sqrt (pow x 3)))
  (+ (sqrt (pow y 3)) (pow x 3/2))
  (- (sqrt (pow y 3)) (pow x 3/2))
  (+ (pow y 3/2) (pow (sqrt x) 3))
  (- (pow y 3/2) (pow (sqrt x) 3))
  (+ (pow y 3/2) (pow (sqrt x) 3))
  (- (pow y 3/2) (pow (sqrt x) 3))
  (+ (pow y 3/2) (sqrt (pow x 3)))
  (- (pow y 3/2) (sqrt (pow x 3)))
  (+ (pow y 3/2) (pow x 3/2))
  (- (pow y 3/2) (pow x 3/2))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (neg (pow x 3))
  (pow (exp x) (+ x y))
  (log (+ (* x x) (* y x)))
  (pow (exp x) (+ x y))
  (* (cbrt (+ (* x x) (* y x))) (cbrt (+ (* x x) (* y x))))
  (cbrt (+ (* x x) (* y x)))
  (pow (* x (+ x y)) 3)
  (sqrt (+ (* x x) (* y x)))
  (sqrt (+ (* x x) (* y x)))
  (+ (pow (* y x) 3) (pow x 6))
  (+ (* (* y x) (- (* y x) (pow x 2))) (* (* x x) (* x x)))
  (* (pow x 2) (- (pow x 2) (* y y)))
  (* x (- x y))
  (+ x y)
  (* (- y x) z)
  (* (- y x) z)
  (* (- y x) z)
  0
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (pow y 3) (pow x 3)) z)
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (- (pow y 3) (pow x 3))
  (* x (+ x y))
  (* x (+ x y))
  (* x (+ x y))
0.583 * * * [progress]: adding candidates to table
0.743 * * [progress]: iteration 4 / 4
0.743 * * * [progress]: picking best candidate
0.747 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))>
0.747 * * * [progress]: localizing error
0.772 * * * [progress]: generating rewritten candidates
0.772 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2)
0.775 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
0.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.825 * * * [progress]: generating series expansions
0.825 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2)
0.825 * [approximate]: Taking taylor expansion of (sqrt (pow x 3)) in (x) around 0
0.825 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.825 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.825 * [taylor]: Taking taylor expansion of x in x
0.825 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.825 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.825 * [taylor]: Taking taylor expansion of x in x
0.826 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in (x) around 0
0.826 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.826 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.826 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.827 * [approximate]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in (x) around 0
0.827 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.827 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.827 * [taylor]: Taking taylor expansion of -1 in x
0.827 * [taylor]: Taking taylor expansion of x in x
0.827 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.827 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.827 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.827 * [taylor]: Taking taylor expansion of -1 in x
0.827 * [taylor]: Taking taylor expansion of x in x
0.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
0.828 * [approximate]: Taking taylor expansion of (sqrt (pow x 3)) in (x) around 0
0.828 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.828 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.829 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in (x) around 0
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.829 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.829 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.830 * [approximate]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in (x) around 0
0.830 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.830 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.830 * [taylor]: Taking taylor expansion of -1 in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.830 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.830 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.830 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.830 * [taylor]: Taking taylor expansion of -1 in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.831 * [approximate]: Taking taylor expansion of (/ (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) (+ (pow x 2) (+ (pow y 2) (* x y)))) in (y x z) around 0
0.831 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) (+ (pow x 2) (+ (pow y 2) (* x y)))) in z
0.831 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) in z
0.831 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in z
0.831 * [taylor]: Taking taylor expansion of (pow y 3/2) in z
0.831 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in z
0.831 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in z
0.831 * [taylor]: Taking taylor expansion of 3/2 in z
0.831 * [taylor]: Taking taylor expansion of (log y) in z
0.831 * [taylor]: Taking taylor expansion of y in z
0.831 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in z
0.832 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.832 * [taylor]: Taking taylor expansion of x in z
0.832 * [taylor]: Taking taylor expansion of (* z (+ (pow y 3/2) (sqrt (pow x 3)))) in z
0.832 * [taylor]: Taking taylor expansion of z in z
0.832 * [taylor]: Taking taylor expansion of (+ (pow y 3/2) (sqrt (pow x 3))) in z
0.832 * [taylor]: Taking taylor expansion of (pow y 3/2) in z
0.832 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in z
0.832 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in z
0.832 * [taylor]: Taking taylor expansion of 3/2 in z
0.832 * [taylor]: Taking taylor expansion of (log y) in z
0.832 * [taylor]: Taking taylor expansion of y in z
0.832 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in z
0.832 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.832 * [taylor]: Taking taylor expansion of x in z
0.832 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in z
0.832 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.832 * [taylor]: Taking taylor expansion of x in z
0.832 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z
0.832 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.832 * [taylor]: Taking taylor expansion of y in z
0.832 * [taylor]: Taking taylor expansion of (* x y) in z
0.832 * [taylor]: Taking taylor expansion of x in z
0.832 * [taylor]: Taking taylor expansion of y in z
0.834 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) (+ (pow x 2) (+ (pow y 2) (* x y)))) in x
0.834 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) in x
0.834 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in x
0.834 * [taylor]: Taking taylor expansion of (pow y 3/2) in x
0.834 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in x
0.834 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in x
0.834 * [taylor]: Taking taylor expansion of 3/2 in x
0.834 * [taylor]: Taking taylor expansion of (log y) in x
0.834 * [taylor]: Taking taylor expansion of y in x
0.834 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.834 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (* z (+ (pow y 3/2) (sqrt (pow x 3)))) in x
0.834 * [taylor]: Taking taylor expansion of z in x
0.834 * [taylor]: Taking taylor expansion of (+ (pow y 3/2) (sqrt (pow x 3))) in x
0.834 * [taylor]: Taking taylor expansion of (pow y 3/2) in x
0.834 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in x
0.834 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in x
0.834 * [taylor]: Taking taylor expansion of 3/2 in x
0.834 * [taylor]: Taking taylor expansion of (log y) in x
0.834 * [taylor]: Taking taylor expansion of y in x
0.834 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.834 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in x
0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
0.835 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.835 * [taylor]: Taking taylor expansion of y in x
0.835 * [taylor]: Taking taylor expansion of (* x y) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of y in x
0.835 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) (+ (pow x 2) (+ (pow y 2) (* x y)))) in y
0.835 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) in y
0.835 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in y
0.835 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.835 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.835 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.835 * [taylor]: Taking taylor expansion of 3/2 in y
0.835 * [taylor]: Taking taylor expansion of (log y) in y
0.835 * [taylor]: Taking taylor expansion of y in y
0.835 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.835 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.835 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of (* z (+ (pow y 3/2) (sqrt (pow x 3)))) in y
0.836 * [taylor]: Taking taylor expansion of z in y
0.836 * [taylor]: Taking taylor expansion of (+ (pow y 3/2) (sqrt (pow x 3))) in y
0.836 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.836 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.836 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.836 * [taylor]: Taking taylor expansion of 3/2 in y
0.836 * [taylor]: Taking taylor expansion of (log y) in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.836 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in y
0.836 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
0.836 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [taylor]: Taking taylor expansion of (* x y) in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.837 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) (+ (pow x 2) (+ (pow y 2) (* x y)))) in y
0.837 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) (* z (+ (pow y 3/2) (sqrt (pow x 3))))) in y
0.837 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in y
0.837 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.837 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.837 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.837 * [taylor]: Taking taylor expansion of 3/2 in y
0.837 * [taylor]: Taking taylor expansion of (log y) in y
0.837 * [taylor]: Taking taylor expansion of y in y
0.837 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.838 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.838 * [taylor]: Taking taylor expansion of x in y
0.838 * [taylor]: Taking taylor expansion of (* z (+ (pow y 3/2) (sqrt (pow x 3)))) in y
0.838 * [taylor]: Taking taylor expansion of z in y
0.838 * [taylor]: Taking taylor expansion of (+ (pow y 3/2) (sqrt (pow x 3))) in y
0.838 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.838 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.838 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.838 * [taylor]: Taking taylor expansion of 3/2 in y
0.838 * [taylor]: Taking taylor expansion of (log y) in y
0.838 * [taylor]: Taking taylor expansion of y in y
0.838 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.838 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.838 * [taylor]: Taking taylor expansion of x in y
0.839 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (pow y 2) (* x y))) in y
0.839 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.839 * [taylor]: Taking taylor expansion of x in y
0.839 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
0.839 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.839 * [taylor]: Taking taylor expansion of y in y
0.839 * [taylor]: Taking taylor expansion of (* x y) in y
0.839 * [taylor]: Taking taylor expansion of x in y
0.839 * [taylor]: Taking taylor expansion of y in y
0.840 * [taylor]: Taking taylor expansion of (/ (* z (* (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3))) (+ (sqrt (pow x 3)) (exp (* 3/2 (+ (log 1) (log y))))))) (pow x 2)) in x
0.840 * [taylor]: Taking taylor expansion of (* z (* (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3))) (+ (sqrt (pow x 3)) (exp (* 3/2 (+ (log 1) (log y))))))) in x
0.840 * [taylor]: Taking taylor expansion of z in x
0.840 * [taylor]: Taking taylor expansion of (* (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3))) (+ (sqrt (pow x 3)) (exp (* 3/2 (+ (log 1) (log y)))))) in x
0.840 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3))) in x
0.840 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in x
0.840 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in x
0.840 * [taylor]: Taking taylor expansion of 3/2 in x
0.840 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in x
0.840 * [taylor]: Taking taylor expansion of (log 1) in x
0.840 * [taylor]: Taking taylor expansion of 1 in x
0.840 * [taylor]: Taking taylor expansion of (log y) in x
0.840 * [taylor]: Taking taylor expansion of y in x
0.840 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.840 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (+ (sqrt (pow x 3)) (exp (* 3/2 (+ (log 1) (log y))))) in x
0.840 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.840 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in x
0.840 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in x
0.840 * [taylor]: Taking taylor expansion of 3/2 in x
0.840 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in x
0.840 * [taylor]: Taking taylor expansion of (log 1) in x
0.840 * [taylor]: Taking taylor expansion of 1 in x
0.840 * [taylor]: Taking taylor expansion of (log y) in x
0.840 * [taylor]: Taking taylor expansion of y in x
0.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of 0 in z
0.845 * [taylor]: Taking taylor expansion of (- z (/ (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) (pow x 3))) in x
0.845 * [taylor]: Taking taylor expansion of z in x
0.845 * [taylor]: Taking taylor expansion of (/ (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) (pow x 3)) in x
0.845 * [taylor]: Taking taylor expansion of (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) in x
0.845 * [taylor]: Taking taylor expansion of z in x
0.845 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (+ (log 1) (log y)))) 2) in x
0.845 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in x
0.845 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in x
0.845 * [taylor]: Taking taylor expansion of 3/2 in x
0.845 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in x
0.845 * [taylor]: Taking taylor expansion of (log 1) in x
0.845 * [taylor]: Taking taylor expansion of 1 in x
0.845 * [taylor]: Taking taylor expansion of (log y) in x
0.845 * [taylor]: Taking taylor expansion of y in x
0.845 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of z in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.853 * [taylor]: Taking taylor expansion of 0 in x
0.853 * [taylor]: Taking taylor expansion of 0 in z
0.857 * [taylor]: Taking taylor expansion of 0 in z
0.861 * [taylor]: Taking taylor expansion of (neg (* (pow NAN 2) z)) in z
0.862 * [taylor]: Taking taylor expansion of (* (pow NAN 2) z) in z
0.862 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
0.862 * [taylor]: Taking taylor expansion of NAN in z
0.862 * [taylor]: Taking taylor expansion of z in z
0.865 * [taylor]: Taking taylor expansion of (- (/ (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) (pow x 5)) (/ z (pow x 2))) in x
0.865 * [taylor]: Taking taylor expansion of (/ (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) (pow x 5)) in x
0.865 * [taylor]: Taking taylor expansion of (* z (pow (exp (* 3/2 (+ (log 1) (log y)))) 2)) in x
0.865 * [taylor]: Taking taylor expansion of z in x
0.865 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (+ (log 1) (log y)))) 2) in x
0.865 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in x
0.865 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in x
0.865 * [taylor]: Taking taylor expansion of 3/2 in x
0.865 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in x
0.865 * [taylor]: Taking taylor expansion of (log 1) in x
0.865 * [taylor]: Taking taylor expansion of 1 in x
0.865 * [taylor]: Taking taylor expansion of (log y) in x
0.865 * [taylor]: Taking taylor expansion of y in x
0.865 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.865 * [taylor]: Taking taylor expansion of x in x
0.865 * [taylor]: Taking taylor expansion of (/ z (pow x 2)) in x
0.865 * [taylor]: Taking taylor expansion of z in x
0.865 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.865 * [taylor]: Taking taylor expansion of x in x
0.873 * [taylor]: Taking taylor expansion of 0 in z
0.873 * [taylor]: Taking taylor expansion of 0 in z
0.875 * [taylor]: Taking taylor expansion of 0 in z
0.876 * [approximate]: Taking taylor expansion of (/ (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in (y x z) around 0
0.876 * [taylor]: Taking taylor expansion of (/ (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in z
0.876 * [taylor]: Taking taylor expansion of (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) in z
0.876 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in z
0.876 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in z
0.876 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in z
0.876 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in z
0.876 * [taylor]: Taking taylor expansion of 3/2 in z
0.876 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.876 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.876 * [taylor]: Taking taylor expansion of y in z
0.876 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in z
0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.876 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.876 * [taylor]: Taking taylor expansion of x in z
0.877 * [taylor]: Taking taylor expansion of (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in z
0.877 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in z
0.877 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in z
0.877 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in z
0.877 * [taylor]: Taking taylor expansion of 3/2 in z
0.877 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.877 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.877 * [taylor]: Taking taylor expansion of y in z
0.877 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in z
0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.877 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.877 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in z
0.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.878 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.878 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.878 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.878 * [taylor]: Taking taylor expansion of y in z
0.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.878 * [taylor]: Taking taylor expansion of (* x y) in z
0.878 * [taylor]: Taking taylor expansion of x in z
0.878 * [taylor]: Taking taylor expansion of y in z
0.878 * [taylor]: Taking taylor expansion of z in z
0.880 * [taylor]: Taking taylor expansion of (/ (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in x
0.880 * [taylor]: Taking taylor expansion of (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) in x
0.880 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in x
0.880 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in x
0.880 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in x
0.880 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in x
0.880 * [taylor]: Taking taylor expansion of 3/2 in x
0.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.880 * [taylor]: Taking taylor expansion of y in x
0.880 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.880 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in x
0.880 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in x
0.880 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in x
0.880 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in x
0.880 * [taylor]: Taking taylor expansion of 3/2 in x
0.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.880 * [taylor]: Taking taylor expansion of y in x
0.880 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.880 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in x
0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.880 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.881 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.881 * [taylor]: Taking taylor expansion of y in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.881 * [taylor]: Taking taylor expansion of (* x y) in x
0.881 * [taylor]: Taking taylor expansion of x in x
0.881 * [taylor]: Taking taylor expansion of y in x
0.881 * [taylor]: Taking taylor expansion of z in x
0.882 * [taylor]: Taking taylor expansion of (/ (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.882 * [taylor]: Taking taylor expansion of (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) in y
0.882 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.882 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.882 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.882 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.882 * [taylor]: Taking taylor expansion of 3/2 in y
0.882 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.882 * [taylor]: Taking taylor expansion of y in y
0.882 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.882 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.882 * [taylor]: Taking taylor expansion of x in y
0.882 * [taylor]: Taking taylor expansion of (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.882 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.882 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.883 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.883 * [taylor]: Taking taylor expansion of 3/2 in y
0.883 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.883 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.883 * [taylor]: Taking taylor expansion of x in y
0.883 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.883 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.883 * [taylor]: Taking taylor expansion of x in y
0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.883 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.883 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.883 * [taylor]: Taking taylor expansion of (* x y) in y
0.883 * [taylor]: Taking taylor expansion of x in y
0.884 * [taylor]: Taking taylor expansion of y in y
0.884 * [taylor]: Taking taylor expansion of z in y
0.884 * [taylor]: Taking taylor expansion of (/ (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.884 * [taylor]: Taking taylor expansion of (* (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3))))) in y
0.884 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.884 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.884 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.884 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.884 * [taylor]: Taking taylor expansion of 3/2 in y
0.884 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.884 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.885 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.885 * [taylor]: Taking taylor expansion of x in y
0.885 * [taylor]: Taking taylor expansion of (+ (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.885 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.885 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.885 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.885 * [taylor]: Taking taylor expansion of 3/2 in y
0.885 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.885 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.885 * [taylor]: Taking taylor expansion of x in y
0.886 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.886 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.886 * [taylor]: Taking taylor expansion of x in y
0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.886 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.886 * [taylor]: Taking taylor expansion of y in y
0.886 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.886 * [taylor]: Taking taylor expansion of (* x y) in y
0.886 * [taylor]: Taking taylor expansion of x in y
0.886 * [taylor]: Taking taylor expansion of y in y
0.886 * [taylor]: Taking taylor expansion of z in y
0.887 * [taylor]: Taking taylor expansion of (/ (* (- (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) (+ (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3))))) z) in x
0.887 * [taylor]: Taking taylor expansion of (* (- (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) (+ (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3))))) in x
0.887 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) in x
0.887 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in x
0.887 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in x
0.887 * [taylor]: Taking taylor expansion of 3/2 in x
0.887 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x
0.887 * [taylor]: Taking taylor expansion of (log 1) in x
0.887 * [taylor]: Taking taylor expansion of 1 in x
0.887 * [taylor]: Taking taylor expansion of (log y) in x
0.887 * [taylor]: Taking taylor expansion of y in x
0.887 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.887 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.887 * [taylor]: Taking taylor expansion of x in x
0.887 * [taylor]: Taking taylor expansion of (+ (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) in x
0.887 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in x
0.887 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in x
0.887 * [taylor]: Taking taylor expansion of 3/2 in x
0.888 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x
0.888 * [taylor]: Taking taylor expansion of (log 1) in x
0.888 * [taylor]: Taking taylor expansion of 1 in x
0.888 * [taylor]: Taking taylor expansion of (log y) in x
0.888 * [taylor]: Taking taylor expansion of y in x
0.888 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.888 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of (- (/ (pow (exp (* 3/2 (- (log 1) (log y)))) 2) z) (* 3 (/ (pow NAN 6) z))) in z
0.893 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 3/2 (- (log 1) (log y)))) 2) z) in z
0.893 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (- (log 1) (log y)))) 2) in z
0.893 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in z
0.893 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in z
0.893 * [taylor]: Taking taylor expansion of 3/2 in z
0.893 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z
0.893 * [taylor]: Taking taylor expansion of (log 1) in z
0.894 * [taylor]: Taking taylor expansion of 1 in z
0.894 * [taylor]: Taking taylor expansion of (log y) in z
0.894 * [taylor]: Taking taylor expansion of y in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z
0.894 * [taylor]: Taking taylor expansion of 3 in z
0.894 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z
0.894 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
0.894 * [taylor]: Taking taylor expansion of NAN in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.896 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 4) z)) (/ (pow (exp (* 3/2 (- (log 1) (log y)))) 2) (* x z))) in x
0.896 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) z)) in x
0.896 * [taylor]: Taking taylor expansion of (* (pow x 4) z) in x
0.896 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of z in x
0.896 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 3/2 (- (log 1) (log y)))) 2) (* x z)) in x
0.896 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (- (log 1) (log y)))) 2) in x
0.896 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in x
0.896 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in x
0.896 * [taylor]: Taking taylor expansion of 3/2 in x
0.896 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x
0.896 * [taylor]: Taking taylor expansion of (log 1) in x
0.896 * [taylor]: Taking taylor expansion of 1 in x
0.896 * [taylor]: Taking taylor expansion of (log y) in x
0.896 * [taylor]: Taking taylor expansion of y in x
0.896 * [taylor]: Taking taylor expansion of (* x z) in x
0.896 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of z in x
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.901 * [taylor]: Taking taylor expansion of (neg (* 4 (/ (pow NAN 8) z))) in z
0.902 * [taylor]: Taking taylor expansion of (* 4 (/ (pow NAN 8) z)) in z
0.902 * [taylor]: Taking taylor expansion of 4 in z
0.902 * [taylor]: Taking taylor expansion of (/ (pow NAN 8) z) in z
0.902 * [taylor]: Taking taylor expansion of (pow NAN 8) in z
0.902 * [taylor]: Taking taylor expansion of NAN in z
0.902 * [taylor]: Taking taylor expansion of z in z
0.906 * [taylor]: Taking taylor expansion of 0 in x
0.906 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.912 * [taylor]: Taking taylor expansion of (neg (* 5 (/ (pow NAN 10) z))) in z
0.912 * [taylor]: Taking taylor expansion of (* 5 (/ (pow NAN 10) z)) in z
0.912 * [taylor]: Taking taylor expansion of 5 in z
0.912 * [taylor]: Taking taylor expansion of (/ (pow NAN 10) z) in z
0.912 * [taylor]: Taking taylor expansion of (pow NAN 10) in z
0.912 * [taylor]: Taking taylor expansion of NAN in z
0.912 * [taylor]: Taking taylor expansion of z in z
0.914 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in (y x z) around 0
0.914 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in z
0.914 * [taylor]: Taking taylor expansion of -1 in z
0.914 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in z
0.914 * [taylor]: Taking taylor expansion of (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) in z
0.914 * [taylor]: Taking taylor expansion of (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) in z
0.914 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in z
0.914 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in z
0.914 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.914 * [taylor]: Taking taylor expansion of -1 in z
0.914 * [taylor]: Taking taylor expansion of x in z
0.914 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in z
0.914 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in z
0.914 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in z
0.914 * [taylor]: Taking taylor expansion of 3/2 in z
0.914 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.915 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.915 * [taylor]: Taking taylor expansion of -1 in z
0.915 * [taylor]: Taking taylor expansion of y in z
0.915 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in z
0.915 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in z
0.915 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in z
0.915 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in z
0.915 * [taylor]: Taking taylor expansion of 3/2 in z
0.915 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.915 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.915 * [taylor]: Taking taylor expansion of -1 in z
0.915 * [taylor]: Taking taylor expansion of y in z
0.915 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in z
0.915 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in z
0.915 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.915 * [taylor]: Taking taylor expansion of -1 in z
0.915 * [taylor]: Taking taylor expansion of x in z
0.915 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in z
0.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in z
0.915 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
0.915 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.915 * [taylor]: Taking taylor expansion of x in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
0.916 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.916 * [taylor]: Taking taylor expansion of y in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.916 * [taylor]: Taking taylor expansion of (* x y) in z
0.916 * [taylor]: Taking taylor expansion of x in z
0.916 * [taylor]: Taking taylor expansion of y in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.917 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in x
0.917 * [taylor]: Taking taylor expansion of -1 in x
0.917 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in x
0.917 * [taylor]: Taking taylor expansion of (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) in x
0.918 * [taylor]: Taking taylor expansion of (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.918 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in x
0.918 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in x
0.918 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in x
0.918 * [taylor]: Taking taylor expansion of 3/2 in x
0.918 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of y in x
0.918 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in x
0.918 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in x
0.918 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in x
0.918 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in x
0.918 * [taylor]: Taking taylor expansion of 3/2 in x
0.918 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of y in x
0.918 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.918 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.918 * [taylor]: Taking taylor expansion of -1 in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in x
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.918 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.918 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.918 * [taylor]: Taking taylor expansion of y in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.919 * [taylor]: Taking taylor expansion of (* x y) in x
0.919 * [taylor]: Taking taylor expansion of x in x
0.919 * [taylor]: Taking taylor expansion of y in x
0.919 * [taylor]: Taking taylor expansion of z in x
0.919 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.920 * [taylor]: Taking taylor expansion of (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) in y
0.920 * [taylor]: Taking taylor expansion of (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) in y
0.920 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.920 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of x in y
0.920 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.920 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.920 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.920 * [taylor]: Taking taylor expansion of 3/2 in y
0.920 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.920 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in y
0.920 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.920 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.920 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.920 * [taylor]: Taking taylor expansion of 3/2 in y
0.920 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.920 * [taylor]: Taking taylor expansion of -1 in y
0.920 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.921 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.921 * [taylor]: Taking taylor expansion of -1 in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.921 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.921 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.921 * [taylor]: Taking taylor expansion of (* x y) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.922 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z))) in y
0.922 * [taylor]: Taking taylor expansion of -1 in y
0.922 * [taylor]: Taking taylor expansion of (/ (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z)) in y
0.922 * [taylor]: Taking taylor expansion of (* (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3)))) in y
0.922 * [taylor]: Taking taylor expansion of (+ (sqrt (pow (/ -1 x) 3)) (pow (/ -1 y) 3/2)) in y
0.922 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.922 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.922 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.922 * [taylor]: Taking taylor expansion of -1 in y
0.922 * [taylor]: Taking taylor expansion of x in y
0.923 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.923 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.923 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.923 * [taylor]: Taking taylor expansion of 3/2 in y
0.923 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.923 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.923 * [taylor]: Taking taylor expansion of -1 in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in y
0.923 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.923 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.923 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.923 * [taylor]: Taking taylor expansion of 3/2 in y
0.923 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.923 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.923 * [taylor]: Taking taylor expansion of -1 in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.923 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.923 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.923 * [taylor]: Taking taylor expansion of -1 in y
0.923 * [taylor]: Taking taylor expansion of x in y
0.924 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) z) in y
0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (/ 1 (* x y)))) in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.924 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.924 * [taylor]: Taking taylor expansion of x in y
0.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.924 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.924 * [taylor]: Taking taylor expansion of (* x y) in y
0.924 * [taylor]: Taking taylor expansion of x in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of z in y
0.925 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) (+ (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3))))) z)) in x
0.925 * [taylor]: Taking taylor expansion of -1 in x
0.925 * [taylor]: Taking taylor expansion of (/ (* (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) (+ (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3))))) z) in x
0.925 * [taylor]: Taking taylor expansion of (* (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) (+ (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3))))) in x
0.925 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) in x
0.925 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in x
0.925 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in x
0.925 * [taylor]: Taking taylor expansion of 3/2 in x
0.925 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in x
0.925 * [taylor]: Taking taylor expansion of (log -1) in x
0.925 * [taylor]: Taking taylor expansion of -1 in x
0.925 * [taylor]: Taking taylor expansion of (log y) in x
0.925 * [taylor]: Taking taylor expansion of y in x
0.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow x 3))) in x
0.926 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.926 * [taylor]: Taking taylor expansion of -1 in x
0.926 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of (+ (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) in x
0.926 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in x
0.926 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in x
0.926 * [taylor]: Taking taylor expansion of 3/2 in x
0.926 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in x
0.926 * [taylor]: Taking taylor expansion of (log -1) in x
0.926 * [taylor]: Taking taylor expansion of -1 in x
0.926 * [taylor]: Taking taylor expansion of (log y) in x
0.926 * [taylor]: Taking taylor expansion of y in x
0.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow x 3))) in x
0.926 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.926 * [taylor]: Taking taylor expansion of -1 in x
0.926 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.926 * [taylor]: Taking taylor expansion of z in x
0.932 * [taylor]: Taking taylor expansion of (- (* 3 (/ (pow NAN 6) z)) (/ (pow (exp (* 3/2 (- (log -1) (log y)))) 2) z)) in z
0.932 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z
0.932 * [taylor]: Taking taylor expansion of 3 in z
0.932 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z
0.932 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
0.932 * [taylor]: Taking taylor expansion of NAN in z
0.932 * [taylor]: Taking taylor expansion of z in z
0.933 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 3/2 (- (log -1) (log y)))) 2) z) in z
0.933 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (- (log -1) (log y)))) 2) in z
0.933 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in z
0.933 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in z
0.933 * [taylor]: Taking taylor expansion of 3/2 in z
0.933 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in z
0.933 * [taylor]: Taking taylor expansion of (log -1) in z
0.933 * [taylor]: Taking taylor expansion of -1 in z
0.933 * [taylor]: Taking taylor expansion of (log y) in z
0.933 * [taylor]: Taking taylor expansion of y in z
0.933 * [taylor]: Taking taylor expansion of z in z
0.935 * [taylor]: Taking taylor expansion of (- (/ (pow (exp (* 3/2 (- (log -1) (log y)))) 2) (* z x)) (/ (pow (sqrt (/ -1 (pow x 3))) 2) (* x z))) in x
0.935 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 3/2 (- (log -1) (log y)))) 2) (* z x)) in x
0.935 * [taylor]: Taking taylor expansion of (pow (exp (* 3/2 (- (log -1) (log y)))) 2) in x
0.935 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in x
0.935 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in x
0.936 * [taylor]: Taking taylor expansion of 3/2 in x
0.936 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in x
0.936 * [taylor]: Taking taylor expansion of (log -1) in x
0.936 * [taylor]: Taking taylor expansion of -1 in x
0.936 * [taylor]: Taking taylor expansion of (log y) in x
0.936 * [taylor]: Taking taylor expansion of y in x
0.936 * [taylor]: Taking taylor expansion of (* z x) in x
0.936 * [taylor]: Taking taylor expansion of z in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 (pow x 3))) 2) (* x z)) in x
0.936 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 (pow x 3))) 2) in x
0.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow x 3))) in x
0.936 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.936 * [taylor]: Taking taylor expansion of -1 in x
0.936 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (* x z) in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of z in x
0.940 * [taylor]: Taking taylor expansion of (neg (* 4 (/ (pow NAN 8) z))) in z
0.940 * [taylor]: Taking taylor expansion of (* 4 (/ (pow NAN 8) z)) in z
0.940 * [taylor]: Taking taylor expansion of 4 in z
0.940 * [taylor]: Taking taylor expansion of (/ (pow NAN 8) z) in z
0.940 * [taylor]: Taking taylor expansion of (pow NAN 8) in z
0.940 * [taylor]: Taking taylor expansion of NAN in z
0.940 * [taylor]: Taking taylor expansion of z in z
0.947 * [taylor]: Taking taylor expansion of (* 4 (/ (pow NAN 8) z)) in z
0.947 * [taylor]: Taking taylor expansion of 4 in z
0.947 * [taylor]: Taking taylor expansion of (/ (pow NAN 8) z) in z
0.947 * [taylor]: Taking taylor expansion of (pow NAN 8) in z
0.947 * [taylor]: Taking taylor expansion of NAN in z
0.947 * [taylor]: Taking taylor expansion of z in z
0.948 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.948 * [approximate]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) z) in (y x z) around 0
0.948 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) z) in z
0.948 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in z
0.948 * [taylor]: Taking taylor expansion of (pow y 3/2) in z
0.948 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in z
0.948 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in z
0.948 * [taylor]: Taking taylor expansion of 3/2 in z
0.948 * [taylor]: Taking taylor expansion of (log y) in z
0.948 * [taylor]: Taking taylor expansion of y in z
0.948 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in z
0.948 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.948 * [taylor]: Taking taylor expansion of x in z
0.949 * [taylor]: Taking taylor expansion of z in z
0.949 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) z) in x
0.949 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in x
0.949 * [taylor]: Taking taylor expansion of (pow y 3/2) in x
0.949 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in x
0.949 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in x
0.949 * [taylor]: Taking taylor expansion of 3/2 in x
0.949 * [taylor]: Taking taylor expansion of (log y) in x
0.949 * [taylor]: Taking taylor expansion of y in x
0.949 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.949 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.949 * [taylor]: Taking taylor expansion of x in x
0.949 * [taylor]: Taking taylor expansion of z in x
0.949 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) z) in y
0.949 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in y
0.949 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.949 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.949 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.949 * [taylor]: Taking taylor expansion of 3/2 in y
0.949 * [taylor]: Taking taylor expansion of (log y) in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.949 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.949 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.949 * [taylor]: Taking taylor expansion of x in y
0.949 * [taylor]: Taking taylor expansion of z in y
0.949 * [taylor]: Taking taylor expansion of (* (- (pow y 3/2) (sqrt (pow x 3))) z) in y
0.950 * [taylor]: Taking taylor expansion of (- (pow y 3/2) (sqrt (pow x 3))) in y
0.950 * [taylor]: Taking taylor expansion of (pow y 3/2) in y
0.950 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log y))) in y
0.950 * [taylor]: Taking taylor expansion of (* 3/2 (log y)) in y
0.950 * [taylor]: Taking taylor expansion of 3/2 in y
0.950 * [taylor]: Taking taylor expansion of (log y) in y
0.950 * [taylor]: Taking taylor expansion of y in y
0.950 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in y
0.950 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.950 * [taylor]: Taking taylor expansion of x in y
0.950 * [taylor]: Taking taylor expansion of z in y
0.950 * [taylor]: Taking taylor expansion of (* z (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3)))) in x
0.950 * [taylor]: Taking taylor expansion of z in x
0.950 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (+ (log 1) (log y)))) (sqrt (pow x 3))) in x
0.950 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in x
0.950 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in x
0.950 * [taylor]: Taking taylor expansion of 3/2 in x
0.950 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in x
0.950 * [taylor]: Taking taylor expansion of (log 1) in x
0.951 * [taylor]: Taking taylor expansion of 1 in x
0.951 * [taylor]: Taking taylor expansion of (log y) in x
0.951 * [taylor]: Taking taylor expansion of y in x
0.951 * [taylor]: Taking taylor expansion of (sqrt (pow x 3)) in x
0.951 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.951 * [taylor]: Taking taylor expansion of x in x
0.951 * [taylor]: Taking taylor expansion of (* z (exp (* 3/2 (+ (log 1) (log y))))) in z
0.951 * [taylor]: Taking taylor expansion of z in z
0.951 * [taylor]: Taking taylor expansion of (exp (* 3/2 (+ (log 1) (log y)))) in z
0.951 * [taylor]: Taking taylor expansion of (* 3/2 (+ (log 1) (log y))) in z
0.951 * [taylor]: Taking taylor expansion of 3/2 in z
0.951 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in z
0.951 * [taylor]: Taking taylor expansion of (log 1) in z
0.951 * [taylor]: Taking taylor expansion of 1 in z
0.951 * [taylor]: Taking taylor expansion of (log y) in z
0.951 * [taylor]: Taking taylor expansion of y in z
0.952 * [taylor]: Taking taylor expansion of 0 in x
0.952 * [taylor]: Taking taylor expansion of 0 in z
0.952 * [taylor]: Taking taylor expansion of 0 in z
0.953 * [taylor]: Taking taylor expansion of 0 in x
0.953 * [taylor]: Taking taylor expansion of 0 in z
0.953 * [taylor]: Taking taylor expansion of 0 in z
0.954 * [taylor]: Taking taylor expansion of (neg (* NAN z)) in z
0.954 * [taylor]: Taking taylor expansion of (* NAN z) in z
0.954 * [taylor]: Taking taylor expansion of NAN in z
0.954 * [taylor]: Taking taylor expansion of z in z
0.955 * [approximate]: Taking taylor expansion of (/ (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) z) in (y x z) around 0
0.955 * [taylor]: Taking taylor expansion of (/ (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) z) in z
0.955 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in z
0.955 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in z
0.955 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in z
0.955 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in z
0.955 * [taylor]: Taking taylor expansion of 3/2 in z
0.955 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.955 * [taylor]: Taking taylor expansion of y in z
0.955 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
0.955 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.955 * [taylor]: Taking taylor expansion of x in z
0.956 * [taylor]: Taking taylor expansion of z in z
0.956 * [taylor]: Taking taylor expansion of (/ (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) z) in x
0.956 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in x
0.956 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in x
0.956 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in x
0.956 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in x
0.956 * [taylor]: Taking taylor expansion of 3/2 in x
0.956 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.956 * [taylor]: Taking taylor expansion of y in x
0.956 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.956 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.956 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of z in x
0.956 * [taylor]: Taking taylor expansion of (/ (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) z) in y
0.956 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.956 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.956 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.956 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.956 * [taylor]: Taking taylor expansion of 3/2 in y
0.956 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.957 * [taylor]: Taking taylor expansion of y in y
0.957 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.957 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.957 * [taylor]: Taking taylor expansion of x in y
0.957 * [taylor]: Taking taylor expansion of z in y
0.957 * [taylor]: Taking taylor expansion of (/ (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) z) in y
0.957 * [taylor]: Taking taylor expansion of (- (pow (/ 1 y) 3/2) (sqrt (/ 1 (pow x 3)))) in y
0.958 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 3/2) in y
0.958 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ 1 y)))) in y
0.958 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ 1 y))) in y
0.958 * [taylor]: Taking taylor expansion of 3/2 in y
0.958 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.958 * [taylor]: Taking taylor expansion of y in y
0.958 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in y
0.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.958 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.958 * [taylor]: Taking taylor expansion of x in y
0.958 * [taylor]: Taking taylor expansion of z in y
0.959 * [taylor]: Taking taylor expansion of (/ (- (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) z) in x
0.959 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (- (log 1) (log y)))) (sqrt (/ 1 (pow x 3)))) in x
0.959 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in x
0.959 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in x
0.959 * [taylor]: Taking taylor expansion of 3/2 in x
0.959 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x
0.959 * [taylor]: Taking taylor expansion of (log 1) in x
0.959 * [taylor]: Taking taylor expansion of 1 in x
0.959 * [taylor]: Taking taylor expansion of (log y) in x
0.959 * [taylor]: Taking taylor expansion of y in x
0.959 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.959 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.959 * [taylor]: Taking taylor expansion of x in x
0.959 * [taylor]: Taking taylor expansion of z in x
0.959 * [taylor]: Taking taylor expansion of (* -1 (/ NAN z)) in z
0.959 * [taylor]: Taking taylor expansion of -1 in z
0.959 * [taylor]: Taking taylor expansion of (/ NAN z) in z
0.959 * [taylor]: Taking taylor expansion of NAN in z
0.959 * [taylor]: Taking taylor expansion of z in z
0.960 * [taylor]: Taking taylor expansion of 0 in x
0.960 * [taylor]: Taking taylor expansion of (- (/ (exp (* 3/2 (- (log 1) (log y)))) z) (/ (pow NAN 3) z)) in z
0.960 * [taylor]: Taking taylor expansion of (/ (exp (* 3/2 (- (log 1) (log y)))) z) in z
0.960 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log 1) (log y)))) in z
0.960 * [taylor]: Taking taylor expansion of (* 3/2 (- (log 1) (log y))) in z
0.960 * [taylor]: Taking taylor expansion of 3/2 in z
0.960 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z
0.960 * [taylor]: Taking taylor expansion of (log 1) in z
0.960 * [taylor]: Taking taylor expansion of 1 in z
0.960 * [taylor]: Taking taylor expansion of (log y) in z
0.960 * [taylor]: Taking taylor expansion of y in z
0.961 * [taylor]: Taking taylor expansion of z in z
0.961 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) z) in z
0.961 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
0.961 * [taylor]: Taking taylor expansion of NAN in z
0.961 * [taylor]: Taking taylor expansion of z in z
0.962 * [taylor]: Taking taylor expansion of 0 in x
0.962 * [taylor]: Taking taylor expansion of 0 in z
0.963 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 5) z)) in z
0.963 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) z) in z
0.963 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
0.963 * [taylor]: Taking taylor expansion of NAN in z
0.963 * [taylor]: Taking taylor expansion of z in z
0.964 * [approximate]: Taking taylor expansion of (* -1 (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z)) in (y x z) around 0
0.964 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z)) in z
0.964 * [taylor]: Taking taylor expansion of -1 in z
0.964 * [taylor]: Taking taylor expansion of (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z) in z
0.964 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in z
0.964 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in z
0.964 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in z
0.964 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in z
0.964 * [taylor]: Taking taylor expansion of 3/2 in z
0.964 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.964 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.964 * [taylor]: Taking taylor expansion of -1 in z
0.964 * [taylor]: Taking taylor expansion of y in z
0.964 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in z
0.964 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in z
0.964 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.964 * [taylor]: Taking taylor expansion of -1 in z
0.964 * [taylor]: Taking taylor expansion of x in z
0.965 * [taylor]: Taking taylor expansion of z in z
0.965 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z)) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z) in x
0.965 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in x
0.965 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in x
0.965 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in x
0.965 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in x
0.965 * [taylor]: Taking taylor expansion of 3/2 in x
0.965 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.965 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of y in x
0.965 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in x
0.965 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
0.965 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.966 * [taylor]: Taking taylor expansion of -1 in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of z in x
0.966 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z)) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z) in y
0.966 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in y
0.966 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.966 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.966 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.966 * [taylor]: Taking taylor expansion of 3/2 in y
0.966 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.966 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of y in y
0.966 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.966 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.966 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.966 * [taylor]: Taking taylor expansion of -1 in y
0.966 * [taylor]: Taking taylor expansion of x in y
0.966 * [taylor]: Taking taylor expansion of z in y
0.967 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z)) in y
0.967 * [taylor]: Taking taylor expansion of -1 in y
0.967 * [taylor]: Taking taylor expansion of (/ (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) z) in y
0.967 * [taylor]: Taking taylor expansion of (- (pow (/ -1 y) 3/2) (sqrt (pow (/ -1 x) 3))) in y
0.967 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 3/2) in y
0.967 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (/ -1 y)))) in y
0.967 * [taylor]: Taking taylor expansion of (* 3/2 (log (/ -1 y))) in y
0.967 * [taylor]: Taking taylor expansion of 3/2 in y
0.967 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.967 * [taylor]: Taking taylor expansion of -1 in y
0.967 * [taylor]: Taking taylor expansion of y in y
0.967 * [taylor]: Taking taylor expansion of (sqrt (pow (/ -1 x) 3)) in y
0.967 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in y
0.967 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.967 * [taylor]: Taking taylor expansion of -1 in y
0.967 * [taylor]: Taking taylor expansion of x in y
0.968 * [taylor]: Taking taylor expansion of z in y
0.968 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) z)) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of (/ (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) z) in x
0.968 * [taylor]: Taking taylor expansion of (- (exp (* 3/2 (- (log -1) (log y)))) (sqrt (/ -1 (pow x 3)))) in x
0.968 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in x
0.968 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in x
0.968 * [taylor]: Taking taylor expansion of 3/2 in x
0.968 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in x
0.968 * [taylor]: Taking taylor expansion of (log -1) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of (log y) in x
0.968 * [taylor]: Taking taylor expansion of y in x
0.968 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow x 3))) in x
0.968 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
0.968 * [taylor]: Taking taylor expansion of -1 in x
0.968 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of z in x
0.969 * [taylor]: Taking taylor expansion of (/ NAN z) in z
0.969 * [taylor]: Taking taylor expansion of NAN in z
0.969 * [taylor]: Taking taylor expansion of z in z
0.969 * [taylor]: Taking taylor expansion of 0 in x
0.970 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) z) (/ (exp (* 3/2 (- (log -1) (log y)))) z)) in z
0.970 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) z) in z
0.970 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
0.970 * [taylor]: Taking taylor expansion of NAN in z
0.970 * [taylor]: Taking taylor expansion of z in z
0.970 * [taylor]: Taking taylor expansion of (/ (exp (* 3/2 (- (log -1) (log y)))) z) in z
0.970 * [taylor]: Taking taylor expansion of (exp (* 3/2 (- (log -1) (log y)))) in z
0.970 * [taylor]: Taking taylor expansion of (* 3/2 (- (log -1) (log y))) in z
0.970 * [taylor]: Taking taylor expansion of 3/2 in z
0.970 * [taylor]: Taking taylor expansion of (- (log -1) (log y)) in z
0.970 * [taylor]: Taking taylor expansion of (log -1) in z
0.970 * [taylor]: Taking taylor expansion of -1 in z
0.970 * [taylor]: Taking taylor expansion of (log y) in z
0.970 * [taylor]: Taking taylor expansion of y in z
0.971 * [taylor]: Taking taylor expansion of z in z
0.972 * [taylor]: Taking taylor expansion of 0 in x
0.972 * [taylor]: Taking taylor expansion of 0 in z
0.973 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) z) in z
0.973 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
0.973 * [taylor]: Taking taylor expansion of NAN in z
0.973 * [taylor]: Taking taylor expansion of z in z
0.974 * * * [progress]: simplifying candidates
0.976 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (pow x 3)))
  (exp (sqrt (pow x 3)))
  (* (cbrt (sqrt (pow x 3))) (cbrt (sqrt (pow x 3))))
  (cbrt (sqrt (pow x 3)))
  (* (* (sqrt (pow x 3)) (sqrt (pow x 3))) (sqrt (pow x 3)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 3))
  (sqrt (pow (cbrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow 1 3))
  (sqrt (pow x 3))
  (sqrt (* x x))
  (sqrt x)
  (sqrt (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (sqrt (cbrt (pow x 3)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 3))
  (sqrt (pow (cbrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow 1 3))
  (sqrt (pow x 3))
  (sqrt x)
  (sqrt (* x x))
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (sqrt 1)
  (sqrt (pow x 3))
  (sqrt (pow x (/ 3 2)))
  (sqrt (pow x (/ 3 2)))
  (/ 3 2)
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (log (sqrt (pow x 3)))
  (exp (sqrt (pow x 3)))
  (* (cbrt (sqrt (pow x 3))) (cbrt (sqrt (pow x 3))))
  (cbrt (sqrt (pow x 3)))
  (* (* (sqrt (pow x 3)) (sqrt (pow x 3))) (sqrt (pow x 3)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 3))
  (sqrt (pow (cbrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow 1 3))
  (sqrt (pow x 3))
  (sqrt (* x x))
  (sqrt x)
  (sqrt (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (sqrt (cbrt (pow x 3)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 3))
  (sqrt (pow (cbrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow 1 3))
  (sqrt (pow x 3))
  (sqrt x)
  (sqrt (* x x))
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (sqrt 1)
  (sqrt (pow x 3))
  (sqrt (pow x (/ 3 2)))
  (sqrt (pow x (/ 3 2)))
  (/ 3 2)
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (- (+ (log (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (+ (log (- (pow y 3/2) (sqrt (pow x 3)))) (log z))) (log (+ (* y y) (+ (* x x) (* y x)))))
  (- (+ (log (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (log (* (- (pow y 3/2) (sqrt (pow x 3))) z))) (log (+ (* y y) (+ (* x x) (* y x)))))
  (- (log (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z))) (log (+ (* y y) (+ (* x x) (* y x)))))
  (log (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (exp (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (* (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (* (* (* (- (pow y 3/2) (sqrt (pow x 3))) (- (pow y 3/2) (sqrt (pow x 3)))) (- (pow y 3/2) (sqrt (pow x 3)))) (* (* z z) z))) (* (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (* (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (+ (pow y (/ 3 2)) (sqrt (pow x 3)))) (* (* (* (- (pow y 3/2) (sqrt (pow x 3))) z) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (* (- (pow y 3/2) (sqrt (pow x 3))) z))) (* (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (* (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z))) (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z))) (* (* (+ (* y y) (+ (* x x) (* y x))) (+ (* y y) (+ (* x x) (* y x)))) (+ (* y y) (+ (* x x) (* y x)))))
  (* (cbrt (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))) (cbrt (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))
  (cbrt (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (* (* (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))) (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))) (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (neg (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)))
  (neg (+ (* y y) (+ (* x x) (* y x))))
  (/ (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (* (- (pow y 3/2) (sqrt (pow x 3))) z) (cbrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (- (pow y 3/2) (sqrt (pow x 3))) z) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (+ (pow y (/ 3 2)) (sqrt (pow x 3))) 1)
  (/ (* (- (pow y 3/2) (sqrt (pow x 3))) z) (+ (* y y) (+ (* x x) (* y x))))
  (/ 1 (+ (* y y) (+ (* x x) (* y x))))
  (/ (+ (* y y) (+ (* x x) (* y x))) (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)))
  (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) 1)
  (/ (+ (* y y) (+ (* x x) (* y x))) (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (pow (* y y) 3) (pow (+ (* x x) (* y x)) 3)))
  (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (- (* (* y y) (* y y)) (* (+ (* x x) (* y x)) (+ (* x x) (* y x)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (+ (* (pow y (/ 3 2)) (pow y (/ 3 2))) (- (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y (/ 3 2)) (sqrt (pow x 3))))) (+ (* (pow y 3/2) (pow y 3/2)) (+ (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y 3/2) (sqrt (pow x 3)))))))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (+ (* (pow y (/ 3 2)) (pow y (/ 3 2))) (- (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y (/ 3 2)) (sqrt (pow x 3))))) (+ (pow y 3/2) (sqrt (pow x 3)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (- (pow y (/ 3 2)) (sqrt (pow x 3))) (+ (* (pow y 3/2) (pow y 3/2)) (+ (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y 3/2) (sqrt (pow x 3)))))))
  (* (+ (* y y) (+ (* x x) (* y x))) (* (- (pow y (/ 3 2)) (sqrt (pow x 3))) (+ (pow y 3/2) (sqrt (pow x 3)))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (* (pow y 3/2) (pow y 3/2)) (+ (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y 3/2) (sqrt (pow x 3))))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (pow y 3/2) (sqrt (pow x 3))))
  (* (+ (* y y) (+ (* x x) (* y x))) (+ (* (pow y (/ 3 2)) (pow y (/ 3 2))) (- (* (sqrt (pow x 3)) (sqrt (pow x 3))) (* (pow y (/ 3 2)) (sqrt (pow x 3))))))
  (* (+ (* y y) (+ (* x x) (* y x))) (- (pow y (/ 3 2)) (sqrt (pow x 3))))
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (+ (log (- (pow y 3/2) (sqrt (pow x 3)))) (log z))
  (log (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (exp (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (* (* (* (- (pow y 3/2) (sqrt (pow x 3))) (- (pow y 3/2) (sqrt (pow x 3)))) (- (pow y 3/2) (sqrt (pow x 3)))) (* (* z z) z))
  (* (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z)))
  (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (* (* (* (- (pow y 3/2) (sqrt (pow x 3))) z) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (sqrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (sqrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) (sqrt z))
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) (sqrt z))
  (* (- (pow y 3/2) (sqrt (pow x 3))) (* (cbrt z) (cbrt z)))
  (* (- (pow y 3/2) (sqrt (pow x 3))) (sqrt z))
  (* (- (pow y 3/2) (sqrt (pow x 3))) 1)
  (* (cbrt (- (pow y 3/2) (sqrt (pow x 3)))) z)
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) z)
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow x (/ 3 2)))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (sqrt (pow x 3)))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow x (/ 3 2)))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y (/ 3/2 2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow y (/ 3/2 2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow y (/ 3/2 2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y (/ 3/2 2)) (sqrt (pow x (/ 3 2)))) z)
  (* (- (pow y (/ 3/2 2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (* (- (pow (pow y 3/2) 3) (pow (sqrt (pow x 3)) 3)) z)
  (* (- (* (pow y 3/2) (pow y 3/2)) (* (sqrt (pow x 3)) (sqrt (pow x 3)))) z)
  (+ (* (pow x 2) NAN) (+ (* (pow x 3) (pow NAN 3)) (* (pow x 4) (pow NAN 5))))
  (+ (/ (pow NAN 5) x) (+ (* x NAN) (pow NAN 3)))
  (- (pow NAN 3) (+ (/ (pow NAN 5) x) (* x NAN)))
  (+ (* (pow x 2) NAN) (+ (* (pow x 3) (pow NAN 3)) (* (pow x 4) (pow NAN 5))))
  (+ (/ (pow NAN 5) x) (+ (* x NAN) (pow NAN 3)))
  (- (pow NAN 3) (+ (/ (pow NAN 5) x) (* x NAN)))
  (- (* z y) (* (pow x 2) (* (pow NAN 2) z)))
  (- (/ (* z (pow (exp (* 3/2 (- (log 1) (log (/ 1 y))))) 2)) (pow y 2)) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (+ (* 4 (/ (* (pow NAN 8) z) (* x (pow y 2)))) (* 5 (/ (* (pow NAN 10) z) (* (pow x 2) (pow y 2)))))))
  (- (+ (/ (* z (pow (exp (* 3/2 (- (log -1) (log (/ -1 y))))) 2)) (pow y 2)) (* 4 (/ (* (pow NAN 8) z) (* x (pow y 2))))) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (* 4 (/ (* (pow NAN 8) z) (pow y 3)))))
  (* z (exp (* 3/2 (+ (log 1) (log y)))))
  (- (* z (exp (* 3/2 (- (log 1) (log (/ 1 y)))))) (+ (/ (* (pow NAN 5) z) x) (+ (* (pow NAN 3) z) (* x (* NAN z)))))
  (- (+ (/ (* (pow NAN 5) z) x) (+ (* z (exp (* 3/2 (- (log -1) (log (/ -1 y)))))) (* x (* NAN z)))) (* (pow NAN 3) z))
0.986 * * [simplify]: iteration  0 :  755  enodes  (cost  1224 )
1.003 * * [simplify]: iteration  1 :  4171  enodes  (cost  1009 )
1.078 * * [simplify]: iteration  2 :  5002  enodes  (cost  984 )
1.085 * [simplify]: Simplified to:
   (log (sqrt (pow x 3)))
  (exp (sqrt (pow x 3)))
  (* (cbrt (sqrt (pow x 3))) (cbrt (sqrt (pow x 3))))
  (cbrt (sqrt (pow x 3)))
  (pow (sqrt (pow x 3)) 3)
  (fabs x)
  (sqrt x)
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  1
  (sqrt (pow x 3))
  (fabs x)
  (sqrt x)
  (fabs x)
  (sqrt x)
  (fabs x)
  (sqrt x)
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  1
  (sqrt (pow x 3))
  (sqrt x)
  (fabs x)
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  1
  (sqrt (pow x 3))
  (sqrt (pow x 3/2))
  (sqrt (pow x 3/2))
  3/2
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (log (sqrt (pow x 3)))
  (exp (sqrt (pow x 3)))
  (* (cbrt (sqrt (pow x 3))) (cbrt (sqrt (pow x 3))))
  (cbrt (sqrt (pow x 3)))
  (pow (sqrt (pow x 3)) 3)
  (fabs x)
  (sqrt x)
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  1
  (sqrt (pow x 3))
  (fabs x)
  (sqrt x)
  (fabs x)
  (sqrt x)
  (fabs x)
  (sqrt x)
  (sqrt (pow (sqrt x) 3))
  (sqrt (pow (sqrt x) 3))
  1
  (sqrt (pow x 3))
  (sqrt x)
  (fabs x)
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  1
  (sqrt (pow x 3))
  (sqrt (pow x 3/2))
  (sqrt (pow x 3/2))
  3/2
  (sqrt (sqrt (pow x 3)))
  (sqrt (sqrt (pow x 3)))
  (- (log z) (log (/ (+ (* x (+ x y)) (pow y 2)) (+ (pow y 3) (neg (pow x 3))))))
  (- (log z) (log (/ (+ (* x (+ x y)) (pow y 2)) (+ (pow y 3) (neg (pow x 3))))))
  (- (log z) (log (/ (+ (* x (+ x y)) (pow y 2)) (+ (pow y 3) (neg (pow x 3))))))
  (- (log z) (log (/ (+ (* x (+ x y)) (pow y 2)) (+ (pow y 3) (neg (pow x 3))))))
  (pow (exp (/ (+ (pow y 3/2) (sqrt (pow x 3))) (+ (* x (+ x y)) (pow y 2)))) (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (/ (pow (- (pow y 3) (pow x 3)) 3) (pow (/ (+ (* y y) (+ (* x x) (* y x))) z) 3))
  (/ (pow (- (pow y 3) (pow x 3)) 3) (pow (/ (+ (* y y) (+ (* x x) (* y x))) z) 3))
  (/ (pow (- (pow y 3) (pow x 3)) 3) (pow (/ (+ (* y y) (+ (* x x) (* y x))) z) 3))
  (* (cbrt (/ (* (+ (pow y 3/2) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))) (cbrt (/ (* (+ (pow y 3/2) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))
  (cbrt (/ (* (+ (pow y 3/2) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (/ (pow (- (pow y 3) (pow x 3)) 3) (pow (/ (+ (* y y) (+ (* x x) (* y x))) z) 3))
  (sqrt (/ (* (+ (pow y 3/2) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (sqrt (/ (* (+ (pow y 3/2) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x)))))
  (* (neg (+ (pow y 3) (neg (pow x 3)))) z)
  (neg (+ (pow y 2) (* x (+ x y))))
  (/ (+ (pow y 3/2) (sqrt (pow x 3))) (* (cbrt (+ (* y y) (+ (* x x) (* y x)))) (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (* (- (pow y 3/2) (sqrt (pow x 3))) z) (cbrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (+ (pow y 3/2) (sqrt (pow x 3))) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (/ (* (- (pow y 3/2) (sqrt (pow x 3))) z) (sqrt (+ (* y y) (+ (* x x) (* y x)))))
  (+ (pow y 3/2) (sqrt (pow x 3)))
  (/ z (/ (+ (* x (+ x y)) (pow y 2)) (- (pow y 3/2) (sqrt (pow x 3)))))
  (/ 1 (+ (* y y) (+ (* x x) (* y x))))
  (/ (/ (+ (* x (+ x y)) (pow y 2)) (+ (pow y 3) (neg (pow x 3)))) z)
  (* (/ (+ (pow y 3) (neg (pow x 3))) (cbrt (+ (* y y) (+ (* x x) (* y x))))) (/ z (cbrt (+ (* y y) (+ (* x x) (* y x))))))
  (/ (+ (pow y 3) (neg (pow x 3))) (/ (sqrt (+ (* y y) (+ (* x x) (* y x)))) z))
  (* z (+ (pow y 3) (neg (pow x 3))))
  (/ (/ (+ (* x (+ x y)) (pow y 2)) (- (pow y 3/2) (sqrt (pow x 3)))) z)
  (/ (+ (pow y 3) (neg (pow x 3))) (/ (+ (pow (* y y) 3) (pow (+ (* x x) (* y x)) 3)) z))
  (/ (+ (pow y 3) (neg (pow x 3))) (/ (* (+ (pow y 2) (* x (+ x y))) (- (pow y 2) (* x (+ x y)))) z))
  (* (* (+ (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3)))) (- (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3))))) (+ (* x (+ x y)) (pow y 2)))
  (* (* (+ (pow y 3/2) (sqrt (pow x 3))) (- (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3))))) (+ (* x (+ x y)) (pow y 2)))
  (* (* (+ (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3)))) (- (pow y 3/2) (sqrt (pow x 3)))) (+ (* x (+ x y)) (pow y 2)))
  (* (* (- (pow y 3/2) (sqrt (pow x 3))) (+ (pow y 3/2) (sqrt (pow x 3)))) (+ (* x (+ x y)) (pow y 2)))
  (* (+ (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3)))) (+ (* x (+ x y)) (pow y 2)))
  (* (+ (pow y 3/2) (sqrt (pow x 3))) (+ (* x (+ x y)) (pow y 2)))
  (* (- (+ (pow y 3) (pow x 3)) (* (pow y 3/2) (sqrt (pow x 3)))) (+ (* x (+ x y)) (pow y 2)))
  (* (- (pow y 3/2) (sqrt (pow x 3))) (+ (* x (+ x y)) (pow y 2)))
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (log (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (log (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (exp (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (pow (* (- (pow y 3/2) (sqrt (pow x 3))) z) 3)
  (* (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z)))
  (cbrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (pow (* (- (pow y 3/2) (sqrt (pow x 3))) z) 3)
  (sqrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (sqrt (* (- (pow y 3/2) (sqrt (pow x 3))) z))
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) (sqrt z))
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) (sqrt z))
  (* (- (pow y 3/2) (sqrt (pow x 3))) (* (cbrt z) (cbrt z)))
  (* (- (pow y 3/2) (sqrt (pow x 3))) (sqrt z))
  (- (pow y 3/2) (sqrt (pow x 3)))
  (* (cbrt (- (pow y 3/2) (sqrt (pow x 3)))) z)
  (* (sqrt (- (pow y 3/2) (sqrt (pow x 3)))) z)
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (pow x 3/2))) z)
  (* (- (pow (sqrt y) 3/2) (sqrt (sqrt (pow x 3)))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow (sqrt x) 3))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (pow x 3/2))) z)
  (* (- (sqrt (pow y 3/2)) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y 3/4) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow y 3/4) (sqrt (pow (sqrt x) 3))) z)
  (* (- (pow y 3/4) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y 3/4) (sqrt (pow x 3/2))) z)
  (* (- (pow y 3/4) (sqrt (sqrt (pow x 3)))) z)
  (* (- (pow y 3/2) (sqrt (pow x 3))) z)
  (* (- (pow (pow y 3/2) 3) (pow (sqrt (pow x 3)) 3)) z)
  (* z (+ (pow y 3) (neg (pow x 3))))
  (+ (* (pow x 2) NAN) (+ (* (pow x 3) (pow NAN 3)) (* (pow x 4) (pow NAN 5))))
  (+ (/ (pow NAN 5) x) (+ (* x NAN) (pow NAN 3)))
  (- (pow NAN 3) (+ (/ (pow NAN 5) x) (* x NAN)))
  (+ (* (pow x 2) NAN) (+ (* (pow x 3) (pow NAN 3)) (* (pow x 4) (pow NAN 5))))
  (+ (/ (pow NAN 5) x) (+ (* x NAN) (pow NAN 3)))
  (- (pow NAN 3) (+ (/ (pow NAN 5) x) (* x NAN)))
  (* z (- y (* (pow x 2) (pow NAN 2))))
  (- (/ (* z (pow (exp (* 3/2 (- (log 1) (log (/ 1 y))))) 2)) (pow y 2)) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (+ (* 4 (/ (* (pow NAN 8) z) (* x (pow y 2)))) (* 5 (/ (* (pow NAN 10) z) (* (pow x 2) (pow y 2)))))))
  (- (+ (/ (* z (pow (exp (* 3/2 (- (log -1) (log (/ -1 y))))) 2)) (pow y 2)) (* 4 (/ (* (pow NAN 8) z) (* x (pow y 2))))) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (* 4 (/ (* (pow NAN 8) z) (pow y 3)))))
  (* z (exp (* 3/2 (+ (log 1) (log y)))))
  (- (- (* z (exp (* 3/2 (- (log 1) (log (/ 1 y)))))) (* z (+ (* x NAN) (pow NAN 3)))) (/ (* (pow NAN 5) z) x))
  (+ (* z (+ (* x NAN) (exp (* 3/2 (- (log -1) (log (/ -1 y))))))) (- (/ (* (pow NAN 5) z) x) (* (pow NAN 3) z)))
1.086 * * * [progress]: adding candidates to table
1.403 * [progress]: [Phase 3 of 3] Extracting.
1.404 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (- y x) z)))> #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>)
1.405 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (- y x) z)) z y x)
1.405 * * * * [regimes]: Trying to branch on (+ x (* (- y x) z)) from (#<alt (λ (x y z) (+ x (* (- y x) z)))> #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>)
1.454 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (- y x) z)))> #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>)
1.503 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (- y x) z)))> #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>)
1.551 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (- y x) z)))> #<alt (λ (x y z) (+ x (/ (* (- (pow y 3) (pow x 3)) z) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (/ (* (+ (pow y (/ 3 2)) (sqrt (pow x 3))) (* (- (pow y 3/2) (sqrt (pow x 3))) z)) (+ (* y y) (+ (* x x) (* y x))))))> #<alt (λ (x y z) (+ x (* (* (- y x) (sqrt z)) (sqrt z))))>)
1.600 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.600 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (- y x) z))
1.600 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
1.601 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
1.601 * [simplify]: Simplified to:
   (+ x (* (- y x) z))
2.685 * [regime-testing]: End program error score: 0.015200020315129537