2.464 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.969 * * * [progress]: [2/2] Setting up program.
2.971 * [progress]: [Phase 2 of 3] Improving.
2.972 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* y (+ z x)))
2.974 * * [simplify]: iteration  0 :  15  enodes  (cost  3 )
2.975 * * [simplify]: iteration  1 :  25  enodes  (cost  3 )
2.976 * * [simplify]: iteration  2 :  36  enodes  (cost  3 )
2.977 * * [simplify]: iteration  3 :  40  enodes  (cost  3 )
2.978 * * [simplify]: iteration  4 :  46  enodes  (cost  3 )
2.979 * * [simplify]: iteration  5 :  58  enodes  (cost  3 )
2.980 * * [simplify]: iteration  6 :  93  enodes  (cost  3 )
2.982 * * [simplify]: iteration  7 :  130  enodes  (cost  3 )
2.983 * * [simplify]: iteration  8 :  163  enodes  (cost  3 )
2.986 * * [simplify]: iteration  9 :  273  enodes  (cost  3 )
2.989 * * [simplify]: iteration  10 :  507  enodes  (cost  3 )
3.002 * * [simplify]: iteration  11 :  1618  enodes  (cost  3 )
3.086 * * [simplify]: iteration  12 :  5001  enodes  (cost  3 )
3.087 * [simplify]: Simplified to:
   (+ x (* y (+ z x)))
3.087 * * [progress]: iteration 1 / 4
3.087 * * * [progress]: picking best candidate
3.090 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (+ z x))))>
3.090 * * * [progress]: localizing error
3.094 * * * [progress]: generating rewritten candidates
3.094 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.097 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.104 * * * [progress]: generating series expansions
3.104 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.104 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in (x y z) around 0
3.104 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in z
3.104 * [taylor]: Taking taylor expansion of (* z y) in z
3.104 * [taylor]: Taking taylor expansion of z in z
3.104 * [taylor]: Taking taylor expansion of y in z
3.104 * [taylor]: Taking taylor expansion of (+ x (* x y)) in z
3.104 * [taylor]: Taking taylor expansion of x in z
3.104 * [taylor]: Taking taylor expansion of (* x y) in z
3.104 * [taylor]: Taking taylor expansion of x in z
3.104 * [taylor]: Taking taylor expansion of y in z
3.104 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in y
3.104 * [taylor]: Taking taylor expansion of (* z y) in y
3.104 * [taylor]: Taking taylor expansion of z in y
3.104 * [taylor]: Taking taylor expansion of y in y
3.104 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.104 * [taylor]: Taking taylor expansion of (* x y) in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.104 * [taylor]: Taking taylor expansion of y in y
3.104 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.104 * [taylor]: Taking taylor expansion of (* z y) in x
3.104 * [taylor]: Taking taylor expansion of z in x
3.104 * [taylor]: Taking taylor expansion of y in x
3.104 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of (* x y) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of y in x
3.104 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.104 * [taylor]: Taking taylor expansion of (* z y) in x
3.104 * [taylor]: Taking taylor expansion of z in x
3.104 * [taylor]: Taking taylor expansion of y in x
3.104 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of (* x y) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of y in x
3.105 * [taylor]: Taking taylor expansion of (* z y) in y
3.105 * [taylor]: Taking taylor expansion of z in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.105 * [taylor]: Taking taylor expansion of 0 in z
3.105 * [taylor]: Taking taylor expansion of (+ y 1) in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.105 * [taylor]: Taking taylor expansion of 1 in y
3.105 * [taylor]: Taking taylor expansion of 1 in z
3.105 * [taylor]: Taking taylor expansion of z in z
3.105 * [taylor]: Taking taylor expansion of 0 in y
3.105 * [taylor]: Taking taylor expansion of 0 in z
3.105 * [taylor]: Taking taylor expansion of 1 in z
3.105 * [taylor]: Taking taylor expansion of 0 in z
3.106 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.106 * [taylor]: Taking taylor expansion of (* z y) in z
3.106 * [taylor]: Taking taylor expansion of z in z
3.106 * [taylor]: Taking taylor expansion of y in z
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.106 * [taylor]: Taking taylor expansion of (* x y) in z
3.106 * [taylor]: Taking taylor expansion of x in z
3.106 * [taylor]: Taking taylor expansion of y in z
3.106 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.106 * [taylor]: Taking taylor expansion of x in z
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.106 * [taylor]: Taking taylor expansion of (* z y) in y
3.106 * [taylor]: Taking taylor expansion of z in y
3.106 * [taylor]: Taking taylor expansion of y in y
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.106 * [taylor]: Taking taylor expansion of (* x y) in y
3.106 * [taylor]: Taking taylor expansion of x in y
3.106 * [taylor]: Taking taylor expansion of y in y
3.106 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.106 * [taylor]: Taking taylor expansion of x in y
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.106 * [taylor]: Taking taylor expansion of (* z y) in x
3.106 * [taylor]: Taking taylor expansion of z in x
3.106 * [taylor]: Taking taylor expansion of y in x
3.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.106 * [taylor]: Taking taylor expansion of (* x y) in x
3.106 * [taylor]: Taking taylor expansion of x in x
3.106 * [taylor]: Taking taylor expansion of y in x
3.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.106 * [taylor]: Taking taylor expansion of x in x
3.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.107 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.107 * [taylor]: Taking taylor expansion of (* z y) in x
3.107 * [taylor]: Taking taylor expansion of z in x
3.107 * [taylor]: Taking taylor expansion of y in x
3.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.107 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.107 * [taylor]: Taking taylor expansion of (* x y) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.107 * [taylor]: Taking taylor expansion of y in x
3.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.107 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
3.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.107 * [taylor]: Taking taylor expansion of y in y
3.107 * [taylor]: Taking taylor expansion of 1 in y
3.107 * [taylor]: Taking taylor expansion of 1 in z
3.107 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.107 * [taylor]: Taking taylor expansion of (* z y) in y
3.107 * [taylor]: Taking taylor expansion of z in y
3.107 * [taylor]: Taking taylor expansion of y in y
3.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.107 * [taylor]: Taking taylor expansion of z in z
3.107 * [taylor]: Taking taylor expansion of 1 in z
3.108 * [taylor]: Taking taylor expansion of 0 in y
3.108 * [taylor]: Taking taylor expansion of 0 in z
3.108 * [taylor]: Taking taylor expansion of 0 in z
3.108 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in (x y z) around 0
3.108 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in z
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.108 * [taylor]: Taking taylor expansion of (* z y) in z
3.108 * [taylor]: Taking taylor expansion of z in z
3.108 * [taylor]: Taking taylor expansion of y in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.108 * [taylor]: Taking taylor expansion of (* x y) in z
3.108 * [taylor]: Taking taylor expansion of x in z
3.108 * [taylor]: Taking taylor expansion of y in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.108 * [taylor]: Taking taylor expansion of x in z
3.108 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in y
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.109 * [taylor]: Taking taylor expansion of (* z y) in y
3.109 * [taylor]: Taking taylor expansion of z in y
3.109 * [taylor]: Taking taylor expansion of y in y
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.109 * [taylor]: Taking taylor expansion of (* x y) in y
3.109 * [taylor]: Taking taylor expansion of x in y
3.109 * [taylor]: Taking taylor expansion of y in y
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.109 * [taylor]: Taking taylor expansion of x in y
3.109 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.109 * [taylor]: Taking taylor expansion of (* z y) in x
3.109 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.109 * [taylor]: Taking taylor expansion of (* x y) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.109 * [taylor]: Taking taylor expansion of (* z y) in x
3.109 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.109 * [taylor]: Taking taylor expansion of (* x y) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
3.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.109 * [taylor]: Taking taylor expansion of y in y
3.110 * [taylor]: Taking taylor expansion of 1 in y
3.110 * [taylor]: Taking taylor expansion of 1 in z
3.110 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.110 * [taylor]: Taking taylor expansion of (* z y) in y
3.110 * [taylor]: Taking taylor expansion of z in y
3.110 * [taylor]: Taking taylor expansion of y in y
3.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.110 * [taylor]: Taking taylor expansion of z in z
3.110 * [taylor]: Taking taylor expansion of (neg 1) in z
3.110 * [taylor]: Taking taylor expansion of 1 in z
3.110 * [taylor]: Taking taylor expansion of 0 in y
3.110 * [taylor]: Taking taylor expansion of 0 in z
3.110 * [taylor]: Taking taylor expansion of 0 in z
3.111 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.111 * [approximate]: Taking taylor expansion of (* (+ x z) y) in (y z x) around 0
3.111 * [taylor]: Taking taylor expansion of (* (+ x z) y) in x
3.111 * [taylor]: Taking taylor expansion of (+ x z) in x
3.111 * [taylor]: Taking taylor expansion of x in x
3.111 * [taylor]: Taking taylor expansion of z in x
3.111 * [taylor]: Taking taylor expansion of y in x
3.111 * [taylor]: Taking taylor expansion of (* (+ x z) y) in z
3.111 * [taylor]: Taking taylor expansion of (+ x z) in z
3.111 * [taylor]: Taking taylor expansion of x in z
3.111 * [taylor]: Taking taylor expansion of z in z
3.111 * [taylor]: Taking taylor expansion of y in z
3.111 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.111 * [taylor]: Taking taylor expansion of (+ x z) in y
3.111 * [taylor]: Taking taylor expansion of x in y
3.111 * [taylor]: Taking taylor expansion of z in y
3.111 * [taylor]: Taking taylor expansion of y in y
3.111 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.111 * [taylor]: Taking taylor expansion of (+ x z) in y
3.111 * [taylor]: Taking taylor expansion of x in y
3.111 * [taylor]: Taking taylor expansion of z in y
3.111 * [taylor]: Taking taylor expansion of y in y
3.111 * [taylor]: Taking taylor expansion of 0 in z
3.111 * [taylor]: Taking taylor expansion of 0 in x
3.111 * [taylor]: Taking taylor expansion of (+ x z) in z
3.111 * [taylor]: Taking taylor expansion of x in z
3.111 * [taylor]: Taking taylor expansion of z in z
3.111 * [taylor]: Taking taylor expansion of x in x
3.111 * [taylor]: Taking taylor expansion of 0 in x
3.111 * [taylor]: Taking taylor expansion of 0 in z
3.111 * [taylor]: Taking taylor expansion of 0 in x
3.111 * [taylor]: Taking taylor expansion of 1 in x
3.112 * [taylor]: Taking taylor expansion of 0 in x
3.112 * [taylor]: Taking taylor expansion of 0 in z
3.112 * [taylor]: Taking taylor expansion of 0 in x
3.112 * [taylor]: Taking taylor expansion of 0 in x
3.112 * [taylor]: Taking taylor expansion of 0 in x
3.112 * [taylor]: Taking taylor expansion of 0 in x
3.112 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in (y z x) around 0
3.112 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in x
3.112 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.112 * [taylor]: Taking taylor expansion of z in x
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of y in x
3.112 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in z
3.112 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.112 * [taylor]: Taking taylor expansion of z in z
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.112 * [taylor]: Taking taylor expansion of x in z
3.112 * [taylor]: Taking taylor expansion of y in z
3.112 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.112 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.112 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.112 * [taylor]: Taking taylor expansion of z in y
3.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.112 * [taylor]: Taking taylor expansion of x in y
3.112 * [taylor]: Taking taylor expansion of y in y
3.113 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.113 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.113 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.113 * [taylor]: Taking taylor expansion of z in y
3.113 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.113 * [taylor]: Taking taylor expansion of x in y
3.113 * [taylor]: Taking taylor expansion of y in y
3.113 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.113 * [taylor]: Taking taylor expansion of z in z
3.113 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.113 * [taylor]: Taking taylor expansion of x in z
3.113 * [taylor]: Taking taylor expansion of 1 in x
3.113 * [taylor]: Taking taylor expansion of 0 in z
3.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.113 * [taylor]: Taking taylor expansion of x in x
3.113 * [taylor]: Taking taylor expansion of 0 in z
3.113 * [taylor]: Taking taylor expansion of 0 in x
3.114 * [taylor]: Taking taylor expansion of 0 in x
3.114 * [taylor]: Taking taylor expansion of 0 in z
3.114 * [taylor]: Taking taylor expansion of 0 in x
3.114 * [taylor]: Taking taylor expansion of 0 in x
3.114 * [taylor]: Taking taylor expansion of 0 in x
3.114 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in (y z x) around 0
3.114 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in x
3.114 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.114 * [taylor]: Taking taylor expansion of z in x
3.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.114 * [taylor]: Taking taylor expansion of x in x
3.114 * [taylor]: Taking taylor expansion of y in x
3.115 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in z
3.115 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.115 * [taylor]: Taking taylor expansion of z in z
3.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.115 * [taylor]: Taking taylor expansion of x in z
3.115 * [taylor]: Taking taylor expansion of y in z
3.115 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.115 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.115 * [taylor]: Taking taylor expansion of z in y
3.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.115 * [taylor]: Taking taylor expansion of x in y
3.115 * [taylor]: Taking taylor expansion of y in y
3.115 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.115 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.115 * [taylor]: Taking taylor expansion of z in y
3.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.115 * [taylor]: Taking taylor expansion of x in y
3.115 * [taylor]: Taking taylor expansion of y in y
3.115 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.115 * [taylor]: Taking taylor expansion of z in z
3.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.115 * [taylor]: Taking taylor expansion of x in z
3.115 * [taylor]: Taking taylor expansion of 1 in x
3.115 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.116 * [taylor]: Taking taylor expansion of x in x
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in x
3.116 * [taylor]: Taking taylor expansion of 0 in x
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in x
3.116 * [taylor]: Taking taylor expansion of 0 in x
3.116 * [taylor]: Taking taylor expansion of 0 in x
3.117 * * * [progress]: simplifying candidates
3.117 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp x) (exp (* y (+ z x))))
  (log (+ x (* y (+ z x))))
  (exp (+ x (* y (+ z x))))
  (* (cbrt (+ x (* y (+ z x)))) (cbrt (+ x (* y (+ z x)))))
  (cbrt (+ x (* y (+ z x))))
  (* (* (+ x (* y (+ z x))) (+ x (* y (+ z x)))) (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (+ (pow x 3) (pow (* y (+ z x)) 3))
  (+ (* x x) (- (* (* y (+ z x)) (* y (+ z x))) (* x (* y (+ z x)))))
  (- (* x x) (* (* y (+ z x)) (* y (+ z x))))
  (- x (* y (+ z x)))
  (+ x (* y z))
  (+ x (* z y))
  (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (* (* (* y y) y) (* (* (+ z x) (+ z x)) (+ z x)))
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* z y)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
3.120 * * [simplify]: iteration  0 :  186  enodes  (cost  164 )
3.124 * * [simplify]: iteration  1 :  769  enodes  (cost  149 )
3.140 * * [simplify]: iteration  2 :  3884  enodes  (cost  149 )
3.208 * * [simplify]: iteration  3 :  5001  enodes  (cost  149 )
3.210 * [simplify]: Simplified to:
   (exp (+ x (* y (+ z x))))
  (log (+ x (* y (+ z x))))
  (exp (+ x (* y (+ z x))))
  (* (cbrt (+ x (* y (+ z x)))) (cbrt (+ x (* y (+ z x)))))
  (cbrt (+ x (* y (+ z x))))
  (pow (+ x (* y (+ z x))) 3)
  (sqrt (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (+ (pow x 3) (pow (* y (+ z x)) 3))
  (+ (* (* y (+ z x)) (- (* y (+ z x)) x)) (* x x))
  (- (* x x) (* (* y (+ z x)) (* y (+ z x))))
  (- x (* y (+ z x)))
  (+ x (* z y))
  (+ x (* z y))
  (* y (+ z x))
  (log (* y (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* y z)
  (* y x)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  y
  y
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (+ x (* y (+ z x)))
  (+ x (* y (+ z x)))
  (+ x (* y (+ z x)))
  (* y (+ z x))
  (* y (+ z x))
  (* y (+ z x))
3.210 * * * [progress]: adding candidates to table
3.244 * * [progress]: iteration 2 / 4
3.244 * * * [progress]: picking best candidate
3.250 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))>
3.250 * * * [progress]: localizing error
3.255 * * * [progress]: generating rewritten candidates
3.255 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
3.258 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.263 * * * [progress]: generating series expansions
3.263 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
3.264 * [approximate]: Taking taylor expansion of (+ (* z y) x) in (x z y) around 0
3.264 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
3.264 * [taylor]: Taking taylor expansion of (* z y) in y
3.264 * [taylor]: Taking taylor expansion of z in y
3.264 * [taylor]: Taking taylor expansion of y in y
3.264 * [taylor]: Taking taylor expansion of x in y
3.264 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
3.264 * [taylor]: Taking taylor expansion of (* z y) in z
3.264 * [taylor]: Taking taylor expansion of z in z
3.264 * [taylor]: Taking taylor expansion of y in z
3.264 * [taylor]: Taking taylor expansion of x in z
3.264 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
3.264 * [taylor]: Taking taylor expansion of (* z y) in x
3.264 * [taylor]: Taking taylor expansion of z in x
3.264 * [taylor]: Taking taylor expansion of y in x
3.264 * [taylor]: Taking taylor expansion of x in x
3.264 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
3.264 * [taylor]: Taking taylor expansion of (* z y) in x
3.264 * [taylor]: Taking taylor expansion of z in x
3.264 * [taylor]: Taking taylor expansion of y in x
3.264 * [taylor]: Taking taylor expansion of x in x
3.264 * [taylor]: Taking taylor expansion of (* z y) in z
3.264 * [taylor]: Taking taylor expansion of z in z
3.264 * [taylor]: Taking taylor expansion of y in z
3.264 * [taylor]: Taking taylor expansion of 0 in y
3.264 * [taylor]: Taking taylor expansion of 1 in z
3.264 * [taylor]: Taking taylor expansion of 1 in y
3.264 * [taylor]: Taking taylor expansion of y in y
3.264 * [taylor]: Taking taylor expansion of 0 in z
3.264 * [taylor]: Taking taylor expansion of 0 in y
3.264 * [taylor]: Taking taylor expansion of 0 in y
3.264 * [taylor]: Taking taylor expansion of 0 in y
3.265 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in (x z y) around 0
3.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.265 * [taylor]: Taking taylor expansion of (* z y) in y
3.265 * [taylor]: Taking taylor expansion of z in y
3.265 * [taylor]: Taking taylor expansion of y in y
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.265 * [taylor]: Taking taylor expansion of x in y
3.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.265 * [taylor]: Taking taylor expansion of (* z y) in z
3.265 * [taylor]: Taking taylor expansion of z in z
3.265 * [taylor]: Taking taylor expansion of y in z
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.265 * [taylor]: Taking taylor expansion of x in z
3.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.265 * [taylor]: Taking taylor expansion of (* z y) in x
3.265 * [taylor]: Taking taylor expansion of z in x
3.265 * [taylor]: Taking taylor expansion of y in x
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.265 * [taylor]: Taking taylor expansion of x in x
3.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.265 * [taylor]: Taking taylor expansion of (* z y) in x
3.265 * [taylor]: Taking taylor expansion of z in x
3.265 * [taylor]: Taking taylor expansion of y in x
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.265 * [taylor]: Taking taylor expansion of x in x
3.265 * [taylor]: Taking taylor expansion of 1 in z
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.265 * [taylor]: Taking taylor expansion of (* z y) in z
3.265 * [taylor]: Taking taylor expansion of z in z
3.265 * [taylor]: Taking taylor expansion of y in z
3.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.266 * [taylor]: Taking taylor expansion of y in y
3.266 * [taylor]: Taking taylor expansion of 1 in y
3.266 * [taylor]: Taking taylor expansion of 0 in z
3.266 * [taylor]: Taking taylor expansion of 0 in y
3.266 * [taylor]: Taking taylor expansion of 0 in y
3.266 * [taylor]: Taking taylor expansion of 0 in z
3.266 * [taylor]: Taking taylor expansion of 0 in y
3.266 * [taylor]: Taking taylor expansion of 0 in y
3.266 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [taylor]: Taking taylor expansion of 0 in z
3.267 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in (x z y) around 0
3.267 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y
3.267 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.267 * [taylor]: Taking taylor expansion of (* z y) in y
3.267 * [taylor]: Taking taylor expansion of z in y
3.267 * [taylor]: Taking taylor expansion of y in y
3.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.267 * [taylor]: Taking taylor expansion of x in y
3.267 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z
3.267 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.267 * [taylor]: Taking taylor expansion of (* z y) in z
3.267 * [taylor]: Taking taylor expansion of z in z
3.267 * [taylor]: Taking taylor expansion of y in z
3.267 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.267 * [taylor]: Taking taylor expansion of x in z
3.267 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x
3.267 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.267 * [taylor]: Taking taylor expansion of (* z y) in x
3.268 * [taylor]: Taking taylor expansion of z in x
3.268 * [taylor]: Taking taylor expansion of y in x
3.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.268 * [taylor]: Taking taylor expansion of x in x
3.268 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x
3.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.268 * [taylor]: Taking taylor expansion of (* z y) in x
3.268 * [taylor]: Taking taylor expansion of z in x
3.268 * [taylor]: Taking taylor expansion of y in x
3.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.268 * [taylor]: Taking taylor expansion of x in x
3.268 * [taylor]: Taking taylor expansion of (neg 1) in z
3.268 * [taylor]: Taking taylor expansion of 1 in z
3.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.268 * [taylor]: Taking taylor expansion of (* z y) in z
3.268 * [taylor]: Taking taylor expansion of z in z
3.268 * [taylor]: Taking taylor expansion of y in z
3.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.268 * [taylor]: Taking taylor expansion of y in y
3.268 * [taylor]: Taking taylor expansion of (neg 1) in y
3.268 * [taylor]: Taking taylor expansion of 1 in y
3.268 * [taylor]: Taking taylor expansion of 0 in z
3.268 * [taylor]: Taking taylor expansion of 0 in y
3.268 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in z
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in z
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.269 * [taylor]: Taking taylor expansion of 0 in y
3.270 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.270 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in (x z y) around 0
3.270 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in y
3.270 * [taylor]: Taking taylor expansion of (* z y) in y
3.270 * [taylor]: Taking taylor expansion of z in y
3.270 * [taylor]: Taking taylor expansion of y in y
3.270 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
3.270 * [taylor]: Taking taylor expansion of x in y
3.270 * [taylor]: Taking taylor expansion of (* x y) in y
3.270 * [taylor]: Taking taylor expansion of x in y
3.270 * [taylor]: Taking taylor expansion of y in y
3.270 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in z
3.270 * [taylor]: Taking taylor expansion of (* z y) in z
3.270 * [taylor]: Taking taylor expansion of z in z
3.270 * [taylor]: Taking taylor expansion of y in z
3.270 * [taylor]: Taking taylor expansion of (+ x (* x y)) in z
3.270 * [taylor]: Taking taylor expansion of x in z
3.270 * [taylor]: Taking taylor expansion of (* x y) in z
3.270 * [taylor]: Taking taylor expansion of x in z
3.270 * [taylor]: Taking taylor expansion of y in z
3.270 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.270 * [taylor]: Taking taylor expansion of (* z y) in x
3.270 * [taylor]: Taking taylor expansion of z in x
3.270 * [taylor]: Taking taylor expansion of y in x
3.270 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.270 * [taylor]: Taking taylor expansion of (* x y) in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.270 * [taylor]: Taking taylor expansion of y in x
3.270 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.270 * [taylor]: Taking taylor expansion of (* z y) in x
3.270 * [taylor]: Taking taylor expansion of z in x
3.270 * [taylor]: Taking taylor expansion of y in x
3.270 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.270 * [taylor]: Taking taylor expansion of (* x y) in x
3.270 * [taylor]: Taking taylor expansion of x in x
3.270 * [taylor]: Taking taylor expansion of y in x
3.270 * [taylor]: Taking taylor expansion of (* z y) in z
3.270 * [taylor]: Taking taylor expansion of z in z
3.270 * [taylor]: Taking taylor expansion of y in z
3.270 * [taylor]: Taking taylor expansion of 0 in y
3.271 * [taylor]: Taking taylor expansion of (+ y 1) in z
3.271 * [taylor]: Taking taylor expansion of y in z
3.271 * [taylor]: Taking taylor expansion of 1 in z
3.271 * [taylor]: Taking taylor expansion of (+ y 1) in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.271 * [taylor]: Taking taylor expansion of 1 in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.271 * [taylor]: Taking taylor expansion of 0 in z
3.271 * [taylor]: Taking taylor expansion of 0 in y
3.271 * [taylor]: Taking taylor expansion of 0 in y
3.271 * [taylor]: Taking taylor expansion of 0 in y
3.271 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x z y) around 0
3.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
3.271 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.271 * [taylor]: Taking taylor expansion of (* z y) in y
3.271 * [taylor]: Taking taylor expansion of z in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
3.271 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.271 * [taylor]: Taking taylor expansion of (* x y) in y
3.271 * [taylor]: Taking taylor expansion of x in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.272 * [taylor]: Taking taylor expansion of x in y
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.272 * [taylor]: Taking taylor expansion of (* z y) in z
3.272 * [taylor]: Taking taylor expansion of z in z
3.272 * [taylor]: Taking taylor expansion of y in z
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.272 * [taylor]: Taking taylor expansion of (* x y) in z
3.272 * [taylor]: Taking taylor expansion of x in z
3.272 * [taylor]: Taking taylor expansion of y in z
3.272 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.272 * [taylor]: Taking taylor expansion of x in z
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.272 * [taylor]: Taking taylor expansion of (* z y) in x
3.272 * [taylor]: Taking taylor expansion of z in x
3.272 * [taylor]: Taking taylor expansion of y in x
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.272 * [taylor]: Taking taylor expansion of (* x y) in x
3.272 * [taylor]: Taking taylor expansion of x in x
3.272 * [taylor]: Taking taylor expansion of y in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.272 * [taylor]: Taking taylor expansion of x in x
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.272 * [taylor]: Taking taylor expansion of (* z y) in x
3.272 * [taylor]: Taking taylor expansion of z in x
3.272 * [taylor]: Taking taylor expansion of y in x
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.272 * [taylor]: Taking taylor expansion of (* x y) in x
3.272 * [taylor]: Taking taylor expansion of x in x
3.272 * [taylor]: Taking taylor expansion of y in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.272 * [taylor]: Taking taylor expansion of x in x
3.273 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in z
3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.273 * [taylor]: Taking taylor expansion of y in z
3.273 * [taylor]: Taking taylor expansion of 1 in z
3.273 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.273 * [taylor]: Taking taylor expansion of (* z y) in z
3.273 * [taylor]: Taking taylor expansion of z in z
3.273 * [taylor]: Taking taylor expansion of y in z
3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.273 * [taylor]: Taking taylor expansion of y in y
3.273 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.273 * [taylor]: Taking taylor expansion of y in y
3.273 * [taylor]: Taking taylor expansion of 1 in y
3.273 * [taylor]: Taking taylor expansion of 0 in z
3.273 * [taylor]: Taking taylor expansion of 0 in y
3.273 * [taylor]: Taking taylor expansion of 0 in y
3.274 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in (x z y) around 0
3.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in y
3.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
3.274 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.274 * [taylor]: Taking taylor expansion of (* z y) in y
3.274 * [taylor]: Taking taylor expansion of z in y
3.274 * [taylor]: Taking taylor expansion of y in y
3.274 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.274 * [taylor]: Taking taylor expansion of (* x y) in y
3.274 * [taylor]: Taking taylor expansion of x in y
3.274 * [taylor]: Taking taylor expansion of y in y
3.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.274 * [taylor]: Taking taylor expansion of x in y
3.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in z
3.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
3.274 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.274 * [taylor]: Taking taylor expansion of (* z y) in z
3.274 * [taylor]: Taking taylor expansion of z in z
3.274 * [taylor]: Taking taylor expansion of y in z
3.274 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.274 * [taylor]: Taking taylor expansion of (* x y) in z
3.274 * [taylor]: Taking taylor expansion of x in z
3.274 * [taylor]: Taking taylor expansion of y in z
3.274 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.274 * [taylor]: Taking taylor expansion of x in z
3.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
3.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.275 * [taylor]: Taking taylor expansion of (* z y) in x
3.275 * [taylor]: Taking taylor expansion of z in x
3.275 * [taylor]: Taking taylor expansion of y in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.275 * [taylor]: Taking taylor expansion of (* x y) in x
3.275 * [taylor]: Taking taylor expansion of x in x
3.275 * [taylor]: Taking taylor expansion of y in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.275 * [taylor]: Taking taylor expansion of x in x
3.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
3.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.275 * [taylor]: Taking taylor expansion of (* z y) in x
3.275 * [taylor]: Taking taylor expansion of z in x
3.275 * [taylor]: Taking taylor expansion of y in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.275 * [taylor]: Taking taylor expansion of (* x y) in x
3.275 * [taylor]: Taking taylor expansion of x in x
3.275 * [taylor]: Taking taylor expansion of y in x
3.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.275 * [taylor]: Taking taylor expansion of x in x
3.275 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in z
3.275 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.275 * [taylor]: Taking taylor expansion of y in z
3.275 * [taylor]: Taking taylor expansion of 1 in z
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.275 * [taylor]: Taking taylor expansion of (* z y) in z
3.275 * [taylor]: Taking taylor expansion of z in z
3.275 * [taylor]: Taking taylor expansion of y in z
3.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.276 * [taylor]: Taking taylor expansion of y in y
3.276 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
3.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.276 * [taylor]: Taking taylor expansion of y in y
3.276 * [taylor]: Taking taylor expansion of 1 in y
3.276 * [taylor]: Taking taylor expansion of 0 in z
3.276 * [taylor]: Taking taylor expansion of 0 in y
3.276 * [taylor]: Taking taylor expansion of 0 in y
3.276 * * * [progress]: simplifying candidates
3.277 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp x) (exp (* z y)))
  (log (+ x (* z y)))
  (exp (+ x (* z y)))
  (* (cbrt (+ x (* z y))) (cbrt (+ x (* z y))))
  (cbrt (+ x (* z y)))
  (* (* (+ x (* z y)) (+ x (* z y))) (+ x (* z y)))
  (sqrt (+ x (* z y)))
  (sqrt (+ x (* z y)))
  (+ (pow x 3) (pow (* z y) 3))
  (+ (* x x) (- (* (* z y) (* z y)) (* x (* z y))))
  (- (* x x) (* (* z y) (* z y)))
  (- x (* z y))
  (* (* (exp x) (exp (* z y))) (exp (* y x)))
  (* (exp (+ x (* z y))) (exp (* y x)))
  (log (+ (+ x (* z y)) (* y x)))
  (exp (+ (+ x (* z y)) (* y x)))
  (* (cbrt (+ (+ x (* z y)) (* y x))) (cbrt (+ (+ x (* z y)) (* y x))))
  (cbrt (+ (+ x (* z y)) (* y x)))
  (* (* (+ (+ x (* z y)) (* y x)) (+ (+ x (* z y)) (* y x))) (+ (+ x (* z y)) (* y x)))
  (sqrt (+ (+ x (* z y)) (* y x)))
  (sqrt (+ (+ x (* z y)) (* y x)))
  (+ (pow (+ x (* z y)) 3) (pow (* y x) 3))
  (+ (* (+ x (* z y)) (+ x (* z y))) (- (* (* y x) (* y x)) (* (+ x (* z y)) (* y x))))
  (- (* (+ x (* z y)) (+ x (* z y))) (* (* y x) (* y x)))
  (- (+ x (* z y)) (* y x))
  (+ (* z y) (* y x))
  x
  (+ (* z y) x)
  (+ (* z y) x)
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (+ x (* x y)))
3.280 * * [simplify]: iteration  0 :  160  enodes  (cost  155 )
3.283 * * [simplify]: iteration  1 :  624  enodes  (cost  139 )
3.295 * * [simplify]: iteration  2 :  2460  enodes  (cost  136 )
3.341 * * [simplify]: iteration  3 :  5001  enodes  (cost  136 )
3.342 * [simplify]: Simplified to:
   (exp (+ x (* z y)))
  (log (+ x (* z y)))
  (exp (+ x (* z y)))
  (* (cbrt (+ x (* z y))) (cbrt (+ x (* z y))))
  (cbrt (+ x (* z y)))
  (pow (+ x (* z y)) 3)
  (sqrt (+ x (* z y)))
  (sqrt (+ x (* z y)))
  (+ (pow x 3) (pow (* z y) 3))
  (+ (* (* z y) (- (* z y) x)) (* x x))
  (- (* x x) (* (* z y) (* z y)))
  (- x (* z y))
  (exp (+ (+ x (* z y)) (* y x)))
  (exp (+ (+ x (* z y)) (* y x)))
  (log (+ (+ x (* z y)) (* y x)))
  (exp (+ (+ x (* z y)) (* y x)))
  (* (cbrt (+ (+ x (* z y)) (* y x))) (cbrt (+ (+ x (* z y)) (* y x))))
  (cbrt (+ (+ x (* z y)) (* y x)))
  (pow (+ (* y (+ x z)) x) 3)
  (sqrt (+ (+ x (* z y)) (* y x)))
  (sqrt (+ (+ x (* z y)) (* y x)))
  (+ (pow (+ x (* z y)) 3) (pow (* y x) 3))
  (+ (* (+ x (* z y)) (+ (* y (- z x)) x)) (* (* y x) (* y x)))
  (* (+ (* y (- z x)) x) (+ (* y (+ x z)) x))
  (+ (* y (- z x)) x)
  (* y (+ x z))
  x
  (+ x (* z y))
  (+ x (* z y))
  (+ (* y (+ x z)) x)
  (+ (* y (+ x z)) x)
  (+ (* y (+ x z)) x)
3.342 * * * [progress]: adding candidates to table
3.370 * * [progress]: iteration 3 / 4
3.370 * * * [progress]: picking best candidate
3.373 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))>
3.373 * * * [progress]: localizing error
3.380 * * * [progress]: generating rewritten candidates
3.380 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.391 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
3.398 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.402 * * * [progress]: generating series expansions
3.402 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.403 * [approximate]: Taking taylor expansion of (* (+ x z) y) in (y z x) around 0
3.403 * [taylor]: Taking taylor expansion of (* (+ x z) y) in x
3.403 * [taylor]: Taking taylor expansion of (+ x z) in x
3.403 * [taylor]: Taking taylor expansion of x in x
3.403 * [taylor]: Taking taylor expansion of z in x
3.403 * [taylor]: Taking taylor expansion of y in x
3.403 * [taylor]: Taking taylor expansion of (* (+ x z) y) in z
3.403 * [taylor]: Taking taylor expansion of (+ x z) in z
3.403 * [taylor]: Taking taylor expansion of x in z
3.403 * [taylor]: Taking taylor expansion of z in z
3.403 * [taylor]: Taking taylor expansion of y in z
3.403 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.403 * [taylor]: Taking taylor expansion of (+ x z) in y
3.403 * [taylor]: Taking taylor expansion of x in y
3.403 * [taylor]: Taking taylor expansion of z in y
3.403 * [taylor]: Taking taylor expansion of y in y
3.403 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.403 * [taylor]: Taking taylor expansion of (+ x z) in y
3.403 * [taylor]: Taking taylor expansion of x in y
3.403 * [taylor]: Taking taylor expansion of z in y
3.403 * [taylor]: Taking taylor expansion of y in y
3.403 * [taylor]: Taking taylor expansion of 0 in z
3.403 * [taylor]: Taking taylor expansion of 0 in x
3.403 * [taylor]: Taking taylor expansion of (+ x z) in z
3.403 * [taylor]: Taking taylor expansion of x in z
3.403 * [taylor]: Taking taylor expansion of z in z
3.403 * [taylor]: Taking taylor expansion of x in x
3.403 * [taylor]: Taking taylor expansion of 0 in x
3.403 * [taylor]: Taking taylor expansion of 0 in z
3.403 * [taylor]: Taking taylor expansion of 0 in x
3.403 * [taylor]: Taking taylor expansion of 1 in x
3.403 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [taylor]: Taking taylor expansion of 0 in z
3.404 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in (y z x) around 0
3.404 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in x
3.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.404 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.404 * [taylor]: Taking taylor expansion of z in x
3.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.404 * [taylor]: Taking taylor expansion of x in x
3.404 * [taylor]: Taking taylor expansion of y in x
3.404 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in z
3.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.404 * [taylor]: Taking taylor expansion of z in z
3.404 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.404 * [taylor]: Taking taylor expansion of x in z
3.404 * [taylor]: Taking taylor expansion of y in z
3.404 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.404 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.404 * [taylor]: Taking taylor expansion of z in y
3.404 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.404 * [taylor]: Taking taylor expansion of x in y
3.404 * [taylor]: Taking taylor expansion of y in y
3.404 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.405 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.405 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.405 * [taylor]: Taking taylor expansion of z in y
3.405 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.405 * [taylor]: Taking taylor expansion of x in y
3.405 * [taylor]: Taking taylor expansion of y in y
3.405 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.405 * [taylor]: Taking taylor expansion of z in z
3.405 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.405 * [taylor]: Taking taylor expansion of x in z
3.405 * [taylor]: Taking taylor expansion of 1 in x
3.405 * [taylor]: Taking taylor expansion of 0 in z
3.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.405 * [taylor]: Taking taylor expansion of x in x
3.405 * [taylor]: Taking taylor expansion of 0 in z
3.405 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [taylor]: Taking taylor expansion of 0 in z
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in (y z x) around 0
3.406 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in x
3.406 * [taylor]: Taking taylor expansion of -1 in x
3.406 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in x
3.406 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in x
3.407 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.407 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.407 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.407 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.407 * [taylor]: Taking taylor expansion of z in x
3.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.407 * [taylor]: Taking taylor expansion of x in x
3.407 * [taylor]: Taking taylor expansion of y in x
3.407 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in z
3.407 * [taylor]: Taking taylor expansion of -1 in z
3.407 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in z
3.407 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in z
3.407 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.407 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.407 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.407 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.407 * [taylor]: Taking taylor expansion of z in z
3.407 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.407 * [taylor]: Taking taylor expansion of x in z
3.407 * [taylor]: Taking taylor expansion of y in z
3.407 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in y
3.407 * [taylor]: Taking taylor expansion of -1 in y
3.407 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in y
3.407 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in y
3.407 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.407 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.407 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.407 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.407 * [taylor]: Taking taylor expansion of z in y
3.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.407 * [taylor]: Taking taylor expansion of x in y
3.408 * [taylor]: Taking taylor expansion of y in y
3.408 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in y
3.408 * [taylor]: Taking taylor expansion of -1 in y
3.408 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in y
3.408 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in y
3.408 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.408 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.408 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.408 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.408 * [taylor]: Taking taylor expansion of z in y
3.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.408 * [taylor]: Taking taylor expansion of x in y
3.409 * [taylor]: Taking taylor expansion of y in y
3.409 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2)) in z
3.409 * [taylor]: Taking taylor expansion of -1 in z
3.409 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in z
3.409 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.409 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.409 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.409 * [taylor]: Taking taylor expansion of z in z
3.409 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.409 * [taylor]: Taking taylor expansion of x in z
3.409 * [taylor]: Taking taylor expansion of (* -1 (pow NAN 2)) in x
3.409 * [taylor]: Taking taylor expansion of -1 in x
3.409 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.409 * [taylor]: Taking taylor expansion of NAN in x
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [taylor]: Taking taylor expansion of 0 in x
3.411 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 2) x)) (* 2 (pow NAN 4)))) in x
3.411 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) x)) (* 2 (pow NAN 4))) in x
3.411 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x
3.411 * [taylor]: Taking taylor expansion of 2 in x
3.411 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x
3.411 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.411 * [taylor]: Taking taylor expansion of NAN in x
3.411 * [taylor]: Taking taylor expansion of x in x
3.411 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x
3.411 * [taylor]: Taking taylor expansion of 2 in x
3.411 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.411 * [taylor]: Taking taylor expansion of NAN in x
3.412 * [taylor]: Taking taylor expansion of 0 in z
3.412 * [taylor]: Taking taylor expansion of 0 in x
3.412 * [taylor]: Taking taylor expansion of 0 in x
3.414 * [taylor]: Taking taylor expansion of (neg (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x))))) in x
3.414 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x)))) in x
3.414 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in x
3.414 * [taylor]: Taking taylor expansion of 5 in x
3.414 * [taylor]: Taking taylor expansion of (pow NAN 6) in x
3.414 * [taylor]: Taking taylor expansion of NAN in x
3.414 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x))) in x
3.414 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow x 2)) in x
3.414 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.414 * [taylor]: Taking taylor expansion of NAN in x
3.414 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.414 * [taylor]: Taking taylor expansion of x in x
3.414 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) x)) in x
3.414 * [taylor]: Taking taylor expansion of 6 in x
3.414 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) x) in x
3.414 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.414 * [taylor]: Taking taylor expansion of NAN in x
3.414 * [taylor]: Taking taylor expansion of x in x
3.416 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
3.416 * [approximate]: Taking taylor expansion of (* (sqrt (+ x z)) y) in (y z x) around 0
3.416 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in x
3.416 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in x
3.416 * [taylor]: Taking taylor expansion of (+ x z) in x
3.416 * [taylor]: Taking taylor expansion of x in x
3.416 * [taylor]: Taking taylor expansion of z in x
3.416 * [taylor]: Taking taylor expansion of y in x
3.416 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in z
3.416 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in z
3.416 * [taylor]: Taking taylor expansion of (+ x z) in z
3.416 * [taylor]: Taking taylor expansion of x in z
3.416 * [taylor]: Taking taylor expansion of z in z
3.416 * [taylor]: Taking taylor expansion of y in z
3.416 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in y
3.416 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in y
3.416 * [taylor]: Taking taylor expansion of (+ x z) in y
3.416 * [taylor]: Taking taylor expansion of x in y
3.416 * [taylor]: Taking taylor expansion of z in y
3.416 * [taylor]: Taking taylor expansion of y in y
3.416 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in y
3.416 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in y
3.416 * [taylor]: Taking taylor expansion of (+ x z) in y
3.416 * [taylor]: Taking taylor expansion of x in y
3.416 * [taylor]: Taking taylor expansion of z in y
3.417 * [taylor]: Taking taylor expansion of y in y
3.417 * [taylor]: Taking taylor expansion of 0 in z
3.417 * [taylor]: Taking taylor expansion of 0 in x
3.417 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in z
3.417 * [taylor]: Taking taylor expansion of (+ x z) in z
3.417 * [taylor]: Taking taylor expansion of x in z
3.417 * [taylor]: Taking taylor expansion of z in z
3.417 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.417 * [taylor]: Taking taylor expansion of x in x
3.417 * [taylor]: Taking taylor expansion of 0 in x
3.417 * [taylor]: Taking taylor expansion of 0 in z
3.417 * [taylor]: Taking taylor expansion of 0 in x
3.417 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 x))) in x
3.417 * [taylor]: Taking taylor expansion of 1/2 in x
3.417 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.417 * [taylor]: Taking taylor expansion of x in x
3.417 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [taylor]: Taking taylor expansion of 0 in z
3.418 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow x 3)))) in x
3.418 * [taylor]: Taking taylor expansion of -1/8 in x
3.418 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
3.418 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.418 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.418 * [taylor]: Taking taylor expansion of x in x
3.419 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in (y z x) around 0
3.419 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in x
3.419 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in x
3.419 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.419 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.419 * [taylor]: Taking taylor expansion of z in x
3.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.419 * [taylor]: Taking taylor expansion of y in x
3.419 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in z
3.419 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in z
3.419 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.419 * [taylor]: Taking taylor expansion of z in z
3.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.419 * [taylor]: Taking taylor expansion of x in z
3.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.419 * [taylor]: Taking taylor expansion of y in z
3.419 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in y
3.419 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in y
3.419 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.419 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.419 * [taylor]: Taking taylor expansion of z in y
3.419 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.419 * [taylor]: Taking taylor expansion of x in y
3.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.419 * [taylor]: Taking taylor expansion of y in y
3.419 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in y
3.419 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in y
3.420 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.420 * [taylor]: Taking taylor expansion of z in y
3.420 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.420 * [taylor]: Taking taylor expansion of x in y
3.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.420 * [taylor]: Taking taylor expansion of y in y
3.420 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in z
3.420 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.420 * [taylor]: Taking taylor expansion of z in z
3.420 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.420 * [taylor]: Taking taylor expansion of x in z
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [taylor]: Taking taylor expansion of 0 in z
3.420 * [taylor]: Taking taylor expansion of NAN in x
3.421 * [taylor]: Taking taylor expansion of 0 in z
3.421 * [taylor]: Taking taylor expansion of 0 in x
3.421 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 x) (pow NAN 2))) in x
3.421 * [taylor]: Taking taylor expansion of NAN in x
3.421 * [taylor]: Taking taylor expansion of (- (/ 1 x) (pow NAN 2)) in x
3.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.421 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.421 * [taylor]: Taking taylor expansion of NAN in x
3.421 * [taylor]: Taking taylor expansion of 0 in z
3.421 * [taylor]: Taking taylor expansion of 0 in x
3.421 * [taylor]: Taking taylor expansion of 0 in x
3.422 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x)))) in x
3.422 * [taylor]: Taking taylor expansion of NAN in x
3.422 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x))) in x
3.422 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x
3.422 * [taylor]: Taking taylor expansion of 2 in x
3.422 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.422 * [taylor]: Taking taylor expansion of NAN in x
3.422 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x
3.422 * [taylor]: Taking taylor expansion of 2 in x
3.422 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x
3.422 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.422 * [taylor]: Taking taylor expansion of NAN in x
3.422 * [taylor]: Taking taylor expansion of x in x
3.423 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in (y z x) around 0
3.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in x
3.423 * [taylor]: Taking taylor expansion of -1 in x
3.423 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in x
3.423 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.423 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.423 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.423 * [taylor]: Taking taylor expansion of z in x
3.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.423 * [taylor]: Taking taylor expansion of x in x
3.423 * [taylor]: Taking taylor expansion of y in x
3.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in z
3.423 * [taylor]: Taking taylor expansion of -1 in z
3.423 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in z
3.423 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.423 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.423 * [taylor]: Taking taylor expansion of z in z
3.423 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.423 * [taylor]: Taking taylor expansion of x in z
3.423 * [taylor]: Taking taylor expansion of y in z
3.423 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in y
3.423 * [taylor]: Taking taylor expansion of -1 in y
3.423 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in y
3.423 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.423 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.424 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.424 * [taylor]: Taking taylor expansion of z in y
3.424 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.424 * [taylor]: Taking taylor expansion of x in y
3.424 * [taylor]: Taking taylor expansion of y in y
3.424 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in y
3.424 * [taylor]: Taking taylor expansion of -1 in y
3.424 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in y
3.424 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.424 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.424 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.424 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.424 * [taylor]: Taking taylor expansion of z in y
3.424 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.424 * [taylor]: Taking taylor expansion of x in y
3.425 * [taylor]: Taking taylor expansion of y in y
3.425 * [taylor]: Taking taylor expansion of (* -1 (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in z
3.425 * [taylor]: Taking taylor expansion of -1 in z
3.425 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.425 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.425 * [taylor]: Taking taylor expansion of z in z
3.425 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.425 * [taylor]: Taking taylor expansion of x in z
3.425 * [taylor]: Taking taylor expansion of (neg NAN) in x
3.425 * [taylor]: Taking taylor expansion of NAN in x
3.425 * [taylor]: Taking taylor expansion of 0 in z
3.425 * [taylor]: Taking taylor expansion of 0 in x
3.426 * [taylor]: Taking taylor expansion of (neg (+ (/ NAN x) (pow NAN 3))) in x
3.426 * [taylor]: Taking taylor expansion of (+ (/ NAN x) (pow NAN 3)) in x
3.426 * [taylor]: Taking taylor expansion of (/ NAN x) in x
3.426 * [taylor]: Taking taylor expansion of NAN in x
3.426 * [taylor]: Taking taylor expansion of x in x
3.426 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.426 * [taylor]: Taking taylor expansion of NAN in x
3.426 * [taylor]: Taking taylor expansion of 0 in z
3.426 * [taylor]: Taking taylor expansion of 0 in x
3.427 * [taylor]: Taking taylor expansion of 0 in x
3.427 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 3) x)) (* 2 (pow NAN 5)))) in x
3.427 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 3) x)) (* 2 (pow NAN 5))) in x
3.427 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) x)) in x
3.427 * [taylor]: Taking taylor expansion of 2 in x
3.427 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) x) in x
3.427 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.427 * [taylor]: Taking taylor expansion of NAN in x
3.427 * [taylor]: Taking taylor expansion of x in x
3.427 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 5)) in x
3.427 * [taylor]: Taking taylor expansion of 2 in x
3.427 * [taylor]: Taking taylor expansion of (pow NAN 5) in x
3.427 * [taylor]: Taking taylor expansion of NAN in x
3.429 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.429 * [approximate]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in (x y z) around 0
3.429 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in z
3.429 * [taylor]: Taking taylor expansion of (* z y) in z
3.429 * [taylor]: Taking taylor expansion of z in z
3.429 * [taylor]: Taking taylor expansion of y in z
3.429 * [taylor]: Taking taylor expansion of (+ x (* x y)) in z
3.429 * [taylor]: Taking taylor expansion of x in z
3.429 * [taylor]: Taking taylor expansion of (* x y) in z
3.429 * [taylor]: Taking taylor expansion of x in z
3.429 * [taylor]: Taking taylor expansion of y in z
3.429 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in y
3.429 * [taylor]: Taking taylor expansion of (* z y) in y
3.429 * [taylor]: Taking taylor expansion of z in y
3.429 * [taylor]: Taking taylor expansion of y in y
3.429 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
3.429 * [taylor]: Taking taylor expansion of x in y
3.429 * [taylor]: Taking taylor expansion of (* x y) in y
3.429 * [taylor]: Taking taylor expansion of x in y
3.429 * [taylor]: Taking taylor expansion of y in y
3.429 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.429 * [taylor]: Taking taylor expansion of (* z y) in x
3.429 * [taylor]: Taking taylor expansion of z in x
3.429 * [taylor]: Taking taylor expansion of y in x
3.429 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.429 * [taylor]: Taking taylor expansion of x in x
3.429 * [taylor]: Taking taylor expansion of (* x y) in x
3.429 * [taylor]: Taking taylor expansion of x in x
3.429 * [taylor]: Taking taylor expansion of y in x
3.429 * [taylor]: Taking taylor expansion of (+ (* z y) (+ x (* x y))) in x
3.429 * [taylor]: Taking taylor expansion of (* z y) in x
3.429 * [taylor]: Taking taylor expansion of z in x
3.429 * [taylor]: Taking taylor expansion of y in x
3.429 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
3.429 * [taylor]: Taking taylor expansion of x in x
3.429 * [taylor]: Taking taylor expansion of (* x y) in x
3.429 * [taylor]: Taking taylor expansion of x in x
3.429 * [taylor]: Taking taylor expansion of y in x
3.429 * [taylor]: Taking taylor expansion of (* z y) in y
3.429 * [taylor]: Taking taylor expansion of z in y
3.429 * [taylor]: Taking taylor expansion of y in y
3.429 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of (+ y 1) in y
3.430 * [taylor]: Taking taylor expansion of y in y
3.430 * [taylor]: Taking taylor expansion of 1 in y
3.430 * [taylor]: Taking taylor expansion of 1 in z
3.430 * [taylor]: Taking taylor expansion of z in z
3.430 * [taylor]: Taking taylor expansion of 0 in y
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of 1 in z
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
3.430 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
3.430 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.430 * [taylor]: Taking taylor expansion of (* z y) in z
3.430 * [taylor]: Taking taylor expansion of z in z
3.430 * [taylor]: Taking taylor expansion of y in z
3.430 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
3.430 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.430 * [taylor]: Taking taylor expansion of (* x y) in z
3.430 * [taylor]: Taking taylor expansion of x in z
3.430 * [taylor]: Taking taylor expansion of y in z
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.431 * [taylor]: Taking taylor expansion of x in z
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.431 * [taylor]: Taking taylor expansion of (* z y) in y
3.431 * [taylor]: Taking taylor expansion of z in y
3.431 * [taylor]: Taking taylor expansion of y in y
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.431 * [taylor]: Taking taylor expansion of (* x y) in y
3.431 * [taylor]: Taking taylor expansion of x in y
3.431 * [taylor]: Taking taylor expansion of y in y
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.431 * [taylor]: Taking taylor expansion of x in y
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.431 * [taylor]: Taking taylor expansion of (* z y) in x
3.431 * [taylor]: Taking taylor expansion of z in x
3.431 * [taylor]: Taking taylor expansion of y in x
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.431 * [taylor]: Taking taylor expansion of (* x y) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.431 * [taylor]: Taking taylor expansion of y in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.431 * [taylor]: Taking taylor expansion of (* z y) in x
3.431 * [taylor]: Taking taylor expansion of z in x
3.431 * [taylor]: Taking taylor expansion of y in x
3.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.431 * [taylor]: Taking taylor expansion of (* x y) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.431 * [taylor]: Taking taylor expansion of y in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.432 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
3.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.432 * [taylor]: Taking taylor expansion of y in y
3.432 * [taylor]: Taking taylor expansion of 1 in y
3.432 * [taylor]: Taking taylor expansion of 1 in z
3.432 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.432 * [taylor]: Taking taylor expansion of (* z y) in y
3.432 * [taylor]: Taking taylor expansion of z in y
3.432 * [taylor]: Taking taylor expansion of y in y
3.432 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.432 * [taylor]: Taking taylor expansion of z in z
3.432 * [taylor]: Taking taylor expansion of 1 in z
3.432 * [taylor]: Taking taylor expansion of 0 in y
3.432 * [taylor]: Taking taylor expansion of 0 in z
3.432 * [taylor]: Taking taylor expansion of 0 in z
3.433 * [approximate]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x))) in (x y z) around 0
3.433 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x))) in z
3.433 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x)) in z
3.433 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in z
3.433 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in z
3.433 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.433 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.433 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.433 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.433 * [taylor]: Taking taylor expansion of z in z
3.433 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.433 * [taylor]: Taking taylor expansion of x in z
3.433 * [taylor]: Taking taylor expansion of y in z
3.433 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.433 * [taylor]: Taking taylor expansion of x in z
3.433 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x))) in y
3.433 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x)) in y
3.433 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in y
3.433 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in y
3.433 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.433 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.433 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.433 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.433 * [taylor]: Taking taylor expansion of z in y
3.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.434 * [taylor]: Taking taylor expansion of x in y
3.434 * [taylor]: Taking taylor expansion of y in y
3.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.434 * [taylor]: Taking taylor expansion of x in y
3.434 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x))) in x
3.434 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x)) in x
3.434 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in x
3.434 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in x
3.434 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.434 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.434 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.434 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.434 * [taylor]: Taking taylor expansion of z in x
3.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.434 * [taylor]: Taking taylor expansion of x in x
3.434 * [taylor]: Taking taylor expansion of y in x
3.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.435 * [taylor]: Taking taylor expansion of x in x
3.435 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x))) in x
3.435 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) (/ 1 x)) in x
3.435 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in x
3.435 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in x
3.435 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.435 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.435 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.435 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.435 * [taylor]: Taking taylor expansion of z in x
3.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.435 * [taylor]: Taking taylor expansion of x in x
3.435 * [taylor]: Taking taylor expansion of y in x
3.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.435 * [taylor]: Taking taylor expansion of x in x
3.435 * [taylor]: Taking taylor expansion of (neg 1) in y
3.435 * [taylor]: Taking taylor expansion of 1 in y
3.435 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 2) y)) in y
3.435 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) y) in y
3.435 * [taylor]: Taking taylor expansion of (pow NAN 2) in y
3.435 * [taylor]: Taking taylor expansion of NAN in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.435 * [taylor]: Taking taylor expansion of (neg (pow NAN 2)) in z
3.435 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
3.436 * [taylor]: Taking taylor expansion of NAN in z
3.436 * [taylor]: Taking taylor expansion of (neg 1) in z
3.436 * [taylor]: Taking taylor expansion of 1 in z
3.437 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 4) y)) (* 2 (/ (pow NAN 2) (* z y))))) in y
3.437 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 4) y)) (* 2 (/ (pow NAN 2) (* z y)))) in y
3.437 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) y)) in y
3.437 * [taylor]: Taking taylor expansion of 2 in y
3.437 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) y) in y
3.437 * [taylor]: Taking taylor expansion of (pow NAN 4) in y
3.437 * [taylor]: Taking taylor expansion of NAN in y
3.437 * [taylor]: Taking taylor expansion of y in y
3.437 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* z y))) in y
3.437 * [taylor]: Taking taylor expansion of 2 in y
3.437 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* z y)) in y
3.437 * [taylor]: Taking taylor expansion of (pow NAN 2) in y
3.437 * [taylor]: Taking taylor expansion of NAN in y
3.437 * [taylor]: Taking taylor expansion of (* z y) in y
3.437 * [taylor]: Taking taylor expansion of z in y
3.437 * [taylor]: Taking taylor expansion of y in y
3.438 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 2) z)) (* 2 (pow NAN 4)))) in z
3.438 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) z)) (* 2 (pow NAN 4))) in z
3.438 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) z)) in z
3.438 * [taylor]: Taking taylor expansion of 2 in z
3.438 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) z) in z
3.438 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
3.438 * [taylor]: Taking taylor expansion of NAN in z
3.438 * [taylor]: Taking taylor expansion of z in z
3.438 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in z
3.438 * [taylor]: Taking taylor expansion of 2 in z
3.438 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
3.438 * [taylor]: Taking taylor expansion of NAN in z
3.439 * * * [progress]: simplifying candidates
3.440 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* y (sqrt (+ z x))) (sqrt (+ z x)))
  (* (* y (sqrt (+ z x))) (sqrt (+ z x)))
  (+ (+ (log y) (log (sqrt (+ z x)))) (log (sqrt (+ z x))))
  (+ (log (* y (sqrt (+ z x)))) (log (sqrt (+ z x))))
  (log (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (exp (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (* (* (* (* y y) y) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x)))) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x))))
  (* (* (* (* y (sqrt (+ z x))) (* y (sqrt (+ z x)))) (* y (sqrt (+ z x)))) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x))))
  (* (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x)))) (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (* (* (* (* y (sqrt (+ z x))) (sqrt (+ z x))) (* (* y (sqrt (+ z x))) (sqrt (+ z x)))) (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (+ (pow z 3) (pow x 3))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (+ (* z z) (- (* x x) (* z x)))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (- (* z z) (* x x))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (- z x)))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (+ (pow z 3) (pow x 3))))
  (* (sqrt (- z x)) (sqrt (+ (* z z) (- (* x x) (* z x)))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (- (* z z) (* x x))))
  (* (sqrt (- z x)) (sqrt (- z x)))
  (* (* y (sqrt (+ z x))) (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ z x))) (sqrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (+ z x))) (sqrt 1))
  (* (* y (sqrt (+ z x))) (sqrt 1))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (+ z x))) 1)
  (* (sqrt (+ z x)) (sqrt (+ z x)))
  (* (* y (sqrt (+ z x))) (sqrt (+ (pow z 3) (pow x 3))))
  (* (* y (sqrt (+ z x))) (sqrt (- (* z z) (* x x))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (+ z x)))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (+ (log y) (log (sqrt (+ z x))))
  (log (* y (sqrt (+ z x))))
  (exp (* y (sqrt (+ z x))))
  (* (* (* y y) y) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x))))
  (* (cbrt (* y (sqrt (+ z x)))) (cbrt (* y (sqrt (+ z x)))))
  (cbrt (* y (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (* y (sqrt (+ z x)))) (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* y (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* y (sqrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (* y (sqrt (sqrt (+ z x))))
  (* y (sqrt 1))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (+ z x))))
  (* y 1)
  (* (cbrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ (pow z 3) (pow x 3))))
  (* y (sqrt (- (* z z) (* x x))))
  (* (exp x) (exp (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (log (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (exp (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (* (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))) (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))))
  (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (* (* (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (sqrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (sqrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (+ (pow x 3) (pow (* (* y (sqrt (+ z x))) (sqrt (+ z x))) 3))
  (+ (* x x) (- (* (* (* y (sqrt (+ z x))) (sqrt (+ z x))) (* (* y (sqrt (+ z x))) (sqrt (+ z x)))) (* x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))))
  (- (* x x) (* (* (* y (sqrt (+ z x))) (sqrt (+ z x))) (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (- x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
  (- (+ (* (pow NAN 2) y) (* 5 (/ (* (pow NAN 6) y) (pow z 2)))) (* 2 (/ (* (pow NAN 4) y) z)))
  (- (+ (* x (* NAN y)) (* 1/2 (* NAN (* z y)))) (* 1/8 (* (pow NAN 3) (* (pow z 2) y))))
  (- (+ (/ (* x (* NAN y)) z) (* NAN y)) (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))))
  (- (+ (* 2 (/ (* (pow NAN 5) y) (pow z 2))) (* NAN y)) (/ (* (pow NAN 3) y) z))
  (+ (* z y) (+ x (* x y)))
  (+ (* z y) (+ x (* x y)))
  (- (+ (* (pow NAN 2) y) x) (* 2 (/ (* (pow NAN 4) y) x)))
3.447 * * [simplify]: iteration  0 :  416  enodes  (cost  547 )
3.455 * * [simplify]: iteration  1 :  1965  enodes  (cost  459 )
3.489 * * [simplify]: iteration  2 :  5001  enodes  (cost  448 )
3.492 * [simplify]: Simplified to:
   (* y (+ z x))
  (* y (+ z x))
  (log (* y (+ z x)))
  (log (* y (+ z x)))
  (log (* y (+ z x)))
  (pow (exp y) (+ z x))
  (pow (* y (+ z x)) 3)
  (pow (* y (+ z x)) 3)
  (* (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x)))) (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (cbrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (pow (* y (+ z x)) 3)
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
  (* (+ (pow z 3) (pow x 3)) y)
  (+ (* x (- x z)) (pow z 2))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (- (* z z) (* x x))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (- z x)))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (- (* z z) (* x x))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (- z x)))
  (* (- (* z z) (* x x)) y)
  (- z x)
  (* (* y (sqrt (+ z x))) (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* y (* (sqrt (+ z x)) (fabs (cbrt (+ z x)))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* y (sqrt (+ z x)))
  (+ z x)
  (* (* y (sqrt (+ z x))) (sqrt (+ (pow z 3) (pow x 3))))
  (* (* y (sqrt (+ z x))) (sqrt (- (* z z) (* x x))))
  (* (* y (sqrt (+ z x))) (sqrt (+ (pow z 3) (pow x 3))))
  (* (* y (sqrt (+ z x))) (sqrt (- (* z z) (* x x))))
  (* y (sqrt (+ z x)))
  (log (* y (sqrt (+ z x))))
  (log (* y (sqrt (+ z x))))
  (exp (* y (sqrt (+ z x))))
  (pow (* y (sqrt (+ z x))) 3)
  (* (cbrt (* y (sqrt (+ z x)))) (cbrt (* y (sqrt (+ z x)))))
  (cbrt (* y (sqrt (+ z x))))
  (pow (* y (sqrt (+ z x))) 3)
  (sqrt (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* y (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* (fabs (cbrt (+ z x))) y)
  (* y (sqrt (sqrt (+ z x))))
  y
  y
  (* y (sqrt (sqrt (+ z x))))
  y
  (* (cbrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ (pow z 3) (pow x 3))))
  (* y (sqrt (- (* z z) (* x x))))
  (exp (+ x (* y (+ z x))))
  (log (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (exp (+ x (* y (+ z x))))
  (* (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))) (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))))
  (cbrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (pow (+ (* y (+ z x)) x) 3)
  (sqrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (sqrt (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))
  (+ (pow x 3) (pow (* (* y (sqrt (+ z x))) (sqrt (+ z x))) 3))
  (- (* (* (* y y) (+ z x)) (+ z x)) (- (* (* y (+ z x)) x) (* x x)))
  (* (+ x (* y (+ z x))) (- x (* y (+ z x))))
  (- x (* y (+ z x)))
  (* y (+ z x))
  (* y (+ z x))
  (- (+ (* (pow NAN 2) y) (* 5 (/ (* (pow NAN 6) y) (pow z 2)))) (* 2 (/ (* (pow NAN 4) y) z)))
  (- (+ (* x (* NAN y)) (* 1/2 (* NAN (* z y)))) (* 1/8 (* (pow NAN 3) (* (pow z 2) y))))
  (- (+ (/ (* x (* NAN y)) z) (* NAN y)) (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))))
  (- (+ (* 2 (/ (* (pow NAN 5) y) (pow z 2))) (* NAN y)) (/ (* (pow NAN 3) y) z))
  (+ (* y (+ z x)) x)
  (+ (* y (+ z x)) x)
  (- (+ (* (pow NAN 2) y) x) (* 2 (/ (* (pow NAN 4) y) x)))
3.493 * * * [progress]: adding candidates to table
3.554 * * [progress]: iteration 4 / 4
3.554 * * * [progress]: picking best candidate
3.557 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>
3.557 * * * [progress]: localizing error
3.567 * * * [progress]: generating rewritten candidates
3.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.586 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.598 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
3.605 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.615 * * * [progress]: generating series expansions
3.616 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.616 * [approximate]: Taking taylor expansion of (* (+ x z) y) in (y z x) around 0
3.616 * [taylor]: Taking taylor expansion of (* (+ x z) y) in x
3.616 * [taylor]: Taking taylor expansion of (+ x z) in x
3.616 * [taylor]: Taking taylor expansion of x in x
3.616 * [taylor]: Taking taylor expansion of z in x
3.616 * [taylor]: Taking taylor expansion of y in x
3.616 * [taylor]: Taking taylor expansion of (* (+ x z) y) in z
3.616 * [taylor]: Taking taylor expansion of (+ x z) in z
3.616 * [taylor]: Taking taylor expansion of x in z
3.616 * [taylor]: Taking taylor expansion of z in z
3.616 * [taylor]: Taking taylor expansion of y in z
3.616 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.616 * [taylor]: Taking taylor expansion of (+ x z) in y
3.616 * [taylor]: Taking taylor expansion of x in y
3.616 * [taylor]: Taking taylor expansion of z in y
3.616 * [taylor]: Taking taylor expansion of y in y
3.616 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y
3.616 * [taylor]: Taking taylor expansion of (+ x z) in y
3.616 * [taylor]: Taking taylor expansion of x in y
3.616 * [taylor]: Taking taylor expansion of z in y
3.616 * [taylor]: Taking taylor expansion of y in y
3.616 * [taylor]: Taking taylor expansion of 0 in z
3.616 * [taylor]: Taking taylor expansion of 0 in x
3.616 * [taylor]: Taking taylor expansion of (+ x z) in z
3.616 * [taylor]: Taking taylor expansion of x in z
3.616 * [taylor]: Taking taylor expansion of z in z
3.616 * [taylor]: Taking taylor expansion of x in x
3.616 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 0 in z
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 1 in x
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 0 in z
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [taylor]: Taking taylor expansion of 0 in x
3.617 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in (y z x) around 0
3.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in x
3.617 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.617 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.617 * [taylor]: Taking taylor expansion of z in x
3.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.617 * [taylor]: Taking taylor expansion of x in x
3.617 * [taylor]: Taking taylor expansion of y in x
3.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in z
3.617 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.617 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.617 * [taylor]: Taking taylor expansion of z in z
3.617 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.618 * [taylor]: Taking taylor expansion of x in z
3.618 * [taylor]: Taking taylor expansion of y in z
3.618 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.618 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.618 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.618 * [taylor]: Taking taylor expansion of z in y
3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.618 * [taylor]: Taking taylor expansion of x in y
3.618 * [taylor]: Taking taylor expansion of y in y
3.618 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 x)) y) in y
3.618 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.618 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.618 * [taylor]: Taking taylor expansion of z in y
3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.618 * [taylor]: Taking taylor expansion of x in y
3.618 * [taylor]: Taking taylor expansion of y in y
3.618 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.618 * [taylor]: Taking taylor expansion of z in z
3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.618 * [taylor]: Taking taylor expansion of x in z
3.618 * [taylor]: Taking taylor expansion of 1 in x
3.618 * [taylor]: Taking taylor expansion of 0 in z
3.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.618 * [taylor]: Taking taylor expansion of x in x
3.619 * [taylor]: Taking taylor expansion of 0 in z
3.619 * [taylor]: Taking taylor expansion of 0 in x
3.619 * [taylor]: Taking taylor expansion of 0 in x
3.619 * [taylor]: Taking taylor expansion of 0 in z
3.619 * [taylor]: Taking taylor expansion of 0 in x
3.619 * [taylor]: Taking taylor expansion of 0 in x
3.619 * [taylor]: Taking taylor expansion of 0 in x
3.620 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in (y z x) around 0
3.620 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in x
3.620 * [taylor]: Taking taylor expansion of -1 in x
3.620 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in x
3.620 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in x
3.620 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.620 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.620 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.620 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.620 * [taylor]: Taking taylor expansion of z in x
3.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.620 * [taylor]: Taking taylor expansion of x in x
3.620 * [taylor]: Taking taylor expansion of y in x
3.620 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in z
3.620 * [taylor]: Taking taylor expansion of -1 in z
3.620 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in z
3.620 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in z
3.620 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.620 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.620 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.620 * [taylor]: Taking taylor expansion of z in z
3.620 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.620 * [taylor]: Taking taylor expansion of x in z
3.620 * [taylor]: Taking taylor expansion of y in z
3.621 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in y
3.621 * [taylor]: Taking taylor expansion of -1 in y
3.621 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in y
3.621 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in y
3.621 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.621 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.621 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.621 * [taylor]: Taking taylor expansion of z in y
3.621 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.621 * [taylor]: Taking taylor expansion of x in y
3.621 * [taylor]: Taking taylor expansion of y in y
3.621 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y)) in y
3.621 * [taylor]: Taking taylor expansion of -1 in y
3.621 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) y) in y
3.621 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in y
3.621 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.621 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.621 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.622 * [taylor]: Taking taylor expansion of z in y
3.622 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.622 * [taylor]: Taking taylor expansion of x in y
3.622 * [taylor]: Taking taylor expansion of y in y
3.625 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2)) in z
3.625 * [taylor]: Taking taylor expansion of -1 in z
3.625 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 2) in z
3.625 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.625 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.625 * [taylor]: Taking taylor expansion of z in z
3.625 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.625 * [taylor]: Taking taylor expansion of x in z
3.626 * [taylor]: Taking taylor expansion of (* -1 (pow NAN 2)) in x
3.626 * [taylor]: Taking taylor expansion of -1 in x
3.626 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.626 * [taylor]: Taking taylor expansion of NAN in x
3.626 * [taylor]: Taking taylor expansion of 0 in z
3.626 * [taylor]: Taking taylor expansion of 0 in x
3.627 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 2) x)) (* 2 (pow NAN 4)))) in x
3.627 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) x)) (* 2 (pow NAN 4))) in x
3.627 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x
3.627 * [taylor]: Taking taylor expansion of 2 in x
3.627 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x
3.627 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.627 * [taylor]: Taking taylor expansion of NAN in x
3.627 * [taylor]: Taking taylor expansion of x in x
3.627 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x
3.627 * [taylor]: Taking taylor expansion of 2 in x
3.627 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.627 * [taylor]: Taking taylor expansion of NAN in x
3.628 * [taylor]: Taking taylor expansion of 0 in z
3.628 * [taylor]: Taking taylor expansion of 0 in x
3.628 * [taylor]: Taking taylor expansion of 0 in x
3.630 * [taylor]: Taking taylor expansion of (neg (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x))))) in x
3.630 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x)))) in x
3.630 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in x
3.630 * [taylor]: Taking taylor expansion of 5 in x
3.630 * [taylor]: Taking taylor expansion of (pow NAN 6) in x
3.630 * [taylor]: Taking taylor expansion of NAN in x
3.630 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow x 2)) (* 6 (/ (pow NAN 4) x))) in x
3.630 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow x 2)) in x
3.630 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.630 * [taylor]: Taking taylor expansion of NAN in x
3.630 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.630 * [taylor]: Taking taylor expansion of x in x
3.630 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) x)) in x
3.630 * [taylor]: Taking taylor expansion of 6 in x
3.630 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) x) in x
3.630 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.630 * [taylor]: Taking taylor expansion of NAN in x
3.630 * [taylor]: Taking taylor expansion of x in x
3.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.632 * [approximate]: Taking taylor expansion of (* (pow (pow (+ x z) 3) 1/4) y) in (y z x) around 0
3.632 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x z) 3) 1/4) y) in x
3.632 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 3) 1/4) in x
3.632 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ x z) 3)))) in x
3.632 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ x z) 3))) in x
3.632 * [taylor]: Taking taylor expansion of 1/4 in x
3.632 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 3)) in x
3.632 * [taylor]: Taking taylor expansion of (pow (+ x z) 3) in x
3.632 * [taylor]: Taking taylor expansion of (+ x z) in x
3.632 * [taylor]: Taking taylor expansion of x in x
3.632 * [taylor]: Taking taylor expansion of z in x
3.632 * [taylor]: Taking taylor expansion of y in x
3.633 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x z) 3) 1/4) y) in z
3.633 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 3) 1/4) in z
3.633 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ x z) 3)))) in z
3.633 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ x z) 3))) in z
3.633 * [taylor]: Taking taylor expansion of 1/4 in z
3.633 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 3)) in z
3.633 * [taylor]: Taking taylor expansion of (pow (+ x z) 3) in z
3.633 * [taylor]: Taking taylor expansion of (+ x z) in z
3.633 * [taylor]: Taking taylor expansion of x in z
3.633 * [taylor]: Taking taylor expansion of z in z
3.633 * [taylor]: Taking taylor expansion of y in z
3.633 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x z) 3) 1/4) y) in y
3.633 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 3) 1/4) in y
3.633 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ x z) 3)))) in y
3.633 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ x z) 3))) in y
3.633 * [taylor]: Taking taylor expansion of 1/4 in y
3.633 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 3)) in y
3.633 * [taylor]: Taking taylor expansion of (pow (+ x z) 3) in y
3.633 * [taylor]: Taking taylor expansion of (+ x z) in y
3.633 * [taylor]: Taking taylor expansion of x in y
3.633 * [taylor]: Taking taylor expansion of z in y
3.633 * [taylor]: Taking taylor expansion of y in y
3.633 * [taylor]: Taking taylor expansion of (* (pow (pow (+ x z) 3) 1/4) y) in y
3.633 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 3) 1/4) in y
3.633 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ x z) 3)))) in y
3.633 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ x z) 3))) in y
3.633 * [taylor]: Taking taylor expansion of 1/4 in y
3.633 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 3)) in y
3.633 * [taylor]: Taking taylor expansion of (pow (+ x z) 3) in y
3.633 * [taylor]: Taking taylor expansion of (+ x z) in y
3.634 * [taylor]: Taking taylor expansion of x in y
3.634 * [taylor]: Taking taylor expansion of z in y
3.634 * [taylor]: Taking taylor expansion of y in y
3.634 * [taylor]: Taking taylor expansion of 0 in z
3.634 * [taylor]: Taking taylor expansion of 0 in x
3.635 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 3) 1/4) in z
3.635 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ x z) 3)))) in z
3.635 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ x z) 3))) in z
3.635 * [taylor]: Taking taylor expansion of 1/4 in z
3.635 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 3)) in z
3.635 * [taylor]: Taking taylor expansion of (pow (+ x z) 3) in z
3.635 * [taylor]: Taking taylor expansion of (+ x z) in z
3.635 * [taylor]: Taking taylor expansion of x in z
3.635 * [taylor]: Taking taylor expansion of z in z
3.635 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/4) in x
3.635 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow x 3)))) in x
3.635 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow x 3))) in x
3.635 * [taylor]: Taking taylor expansion of 1/4 in x
3.635 * [taylor]: Taking taylor expansion of (log (pow x 3)) in x
3.635 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [taylor]: Taking taylor expansion of 0 in x
3.636 * [taylor]: Taking taylor expansion of 0 in z
3.636 * [taylor]: Taking taylor expansion of 0 in x
3.637 * [taylor]: Taking taylor expansion of (* 3/4 (pow (/ 1 x) 1/4)) in x
3.637 * [taylor]: Taking taylor expansion of 3/4 in x
3.637 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.637 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.637 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.637 * [taylor]: Taking taylor expansion of 1/4 in x
3.637 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.637 * [taylor]: Taking taylor expansion of x in x
3.637 * [taylor]: Taking taylor expansion of 0 in x
3.638 * [taylor]: Taking taylor expansion of 0 in z
3.638 * [taylor]: Taking taylor expansion of 0 in x
3.639 * [taylor]: Taking taylor expansion of 0 in x
3.639 * [approximate]: Taking taylor expansion of (* (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) (/ 1 y)) in (y z x) around 0
3.639 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) (/ 1 y)) in x
3.639 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) in x
3.639 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3)))) in x
3.639 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3))) in x
3.639 * [taylor]: Taking taylor expansion of 1/4 in x
3.639 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 z) (/ 1 x)) 3)) in x
3.639 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 3) in x
3.639 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.639 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.639 * [taylor]: Taking taylor expansion of z in x
3.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.639 * [taylor]: Taking taylor expansion of x in x
3.639 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.639 * [taylor]: Taking taylor expansion of y in x
3.639 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) (/ 1 y)) in z
3.639 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) in z
3.639 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3)))) in z
3.639 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3))) in z
3.639 * [taylor]: Taking taylor expansion of 1/4 in z
3.639 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 z) (/ 1 x)) 3)) in z
3.639 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 3) in z
3.639 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.640 * [taylor]: Taking taylor expansion of z in z
3.640 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.640 * [taylor]: Taking taylor expansion of x in z
3.640 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.640 * [taylor]: Taking taylor expansion of y in z
3.640 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) (/ 1 y)) in y
3.640 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) in y
3.640 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3)))) in y
3.640 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3))) in y
3.640 * [taylor]: Taking taylor expansion of 1/4 in y
3.640 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 z) (/ 1 x)) 3)) in y
3.640 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 3) in y
3.640 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.640 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.640 * [taylor]: Taking taylor expansion of z in y
3.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.640 * [taylor]: Taking taylor expansion of x in y
3.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.641 * [taylor]: Taking taylor expansion of y in y
3.641 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) (/ 1 y)) in y
3.641 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) in y
3.641 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3)))) in y
3.641 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3))) in y
3.641 * [taylor]: Taking taylor expansion of 1/4 in y
3.641 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 z) (/ 1 x)) 3)) in y
3.641 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 3) in y
3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.641 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.641 * [taylor]: Taking taylor expansion of z in y
3.641 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.641 * [taylor]: Taking taylor expansion of x in y
3.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.641 * [taylor]: Taking taylor expansion of y in y
3.641 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 z) (/ 1 x)) 3) 1/4) in z
3.641 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3)))) in z
3.642 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (+ (/ 1 z) (/ 1 x)) 3))) in z
3.642 * [taylor]: Taking taylor expansion of 1/4 in z
3.642 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 z) (/ 1 x)) 3)) in z
3.642 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 3) in z
3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.642 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.642 * [taylor]: Taking taylor expansion of z in z
3.642 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.642 * [taylor]: Taking taylor expansion of x in z
3.642 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (* 3 (log z))))) in x
3.642 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (* 3 (log z)))) in x
3.642 * [taylor]: Taking taylor expansion of 1/4 in x
3.642 * [taylor]: Taking taylor expansion of (- (log 1) (* 3 (log z))) in x
3.642 * [taylor]: Taking taylor expansion of (log 1) in x
3.642 * [taylor]: Taking taylor expansion of 1 in x
3.642 * [taylor]: Taking taylor expansion of (* 3 (log z)) in x
3.642 * [taylor]: Taking taylor expansion of 3 in x
3.642 * [taylor]: Taking taylor expansion of (log z) in x
3.642 * [taylor]: Taking taylor expansion of z in x
3.643 * [taylor]: Taking taylor expansion of 0 in z
3.643 * [taylor]: Taking taylor expansion of 0 in x
3.644 * [taylor]: Taking taylor expansion of (* 3/4 (/ (exp (* 1/4 (- (log 1) (* 3 (log z))))) x)) in x
3.644 * [taylor]: Taking taylor expansion of 3/4 in x
3.644 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (* 3 (log z))))) x) in x
3.644 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (* 3 (log z))))) in x
3.644 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (* 3 (log z)))) in x
3.644 * [taylor]: Taking taylor expansion of 1/4 in x
3.644 * [taylor]: Taking taylor expansion of (- (log 1) (* 3 (log z))) in x
3.644 * [taylor]: Taking taylor expansion of (log 1) in x
3.644 * [taylor]: Taking taylor expansion of 1 in x
3.644 * [taylor]: Taking taylor expansion of (* 3 (log z)) in x
3.644 * [taylor]: Taking taylor expansion of 3 in x
3.644 * [taylor]: Taking taylor expansion of (log z) in x
3.644 * [taylor]: Taking taylor expansion of z in x
3.644 * [taylor]: Taking taylor expansion of x in x
3.646 * [taylor]: Taking taylor expansion of 0 in z
3.646 * [taylor]: Taking taylor expansion of 0 in x
3.646 * [taylor]: Taking taylor expansion of 0 in x
3.647 * [taylor]: Taking taylor expansion of (* -3/32 (/ (exp (* 1/4 (- (log 1) (* 3 (log z))))) (pow x 2))) in x
3.647 * [taylor]: Taking taylor expansion of -3/32 in x
3.647 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (* 3 (log z))))) (pow x 2)) in x
3.647 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (* 3 (log z))))) in x
3.647 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (* 3 (log z)))) in x
3.648 * [taylor]: Taking taylor expansion of 1/4 in x
3.648 * [taylor]: Taking taylor expansion of (- (log 1) (* 3 (log z))) in x
3.648 * [taylor]: Taking taylor expansion of (log 1) in x
3.648 * [taylor]: Taking taylor expansion of 1 in x
3.648 * [taylor]: Taking taylor expansion of (* 3 (log z)) in x
3.648 * [taylor]: Taking taylor expansion of 3 in x
3.648 * [taylor]: Taking taylor expansion of (log z) in x
3.648 * [taylor]: Taking taylor expansion of z in x
3.648 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.648 * [taylor]: Taking taylor expansion of x in x
3.650 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)))) in (y z x) around 0
3.650 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)))) in x
3.650 * [taylor]: Taking taylor expansion of -1 in x
3.650 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3))) in x
3.650 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.650 * [taylor]: Taking taylor expansion of y in x
3.650 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)) in x
3.650 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3) in x
3.650 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.650 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.650 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.650 * [taylor]: Taking taylor expansion of z in x
3.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.650 * [taylor]: Taking taylor expansion of x in x
3.651 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)))) in z
3.651 * [taylor]: Taking taylor expansion of -1 in z
3.651 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3))) in z
3.651 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.651 * [taylor]: Taking taylor expansion of y in z
3.651 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)) in z
3.651 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3) in z
3.651 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.651 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.651 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.651 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.651 * [taylor]: Taking taylor expansion of z in z
3.651 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.651 * [taylor]: Taking taylor expansion of x in z
3.652 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)))) in y
3.652 * [taylor]: Taking taylor expansion of -1 in y
3.652 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3))) in y
3.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.652 * [taylor]: Taking taylor expansion of y in y
3.652 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)) in y
3.652 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3) in y
3.652 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.652 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.653 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.653 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.653 * [taylor]: Taking taylor expansion of z in y
3.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.653 * [taylor]: Taking taylor expansion of x in y
3.654 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)))) in y
3.654 * [taylor]: Taking taylor expansion of -1 in y
3.654 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3))) in y
3.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.654 * [taylor]: Taking taylor expansion of y in y
3.654 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)) in y
3.654 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3) in y
3.654 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.654 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.654 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.654 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.654 * [taylor]: Taking taylor expansion of z in y
3.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.654 * [taylor]: Taking taylor expansion of x in y
3.655 * [taylor]: Taking taylor expansion of (* -1 (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3))) in z
3.655 * [taylor]: Taking taylor expansion of -1 in z
3.655 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3)) in z
3.655 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 z) (/ 1 x)))) 3) in z
3.655 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.655 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.655 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.655 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.655 * [taylor]: Taking taylor expansion of z in z
3.656 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.656 * [taylor]: Taking taylor expansion of x in z
3.657 * [taylor]: Taking taylor expansion of (* -1 (sqrt (pow NAN 3))) in x
3.657 * [taylor]: Taking taylor expansion of -1 in x
3.657 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 3)) in x
3.657 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.657 * [taylor]: Taking taylor expansion of NAN in x
3.658 * [taylor]: Taking taylor expansion of 0 in z
3.658 * [taylor]: Taking taylor expansion of 0 in x
3.658 * [taylor]: Taking taylor expansion of (neg (+ (* 3/2 (* (/ 1 x) (sqrt (pow NAN 3)))) (* 3/2 (sqrt (pow NAN 7))))) in x
3.658 * [taylor]: Taking taylor expansion of (+ (* 3/2 (* (/ 1 x) (sqrt (pow NAN 3)))) (* 3/2 (sqrt (pow NAN 7)))) in x
3.658 * [taylor]: Taking taylor expansion of (* 3/2 (* (/ 1 x) (sqrt (pow NAN 3)))) in x
3.658 * [taylor]: Taking taylor expansion of 3/2 in x
3.658 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow NAN 3))) in x
3.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.658 * [taylor]: Taking taylor expansion of x in x
3.658 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 3)) in x
3.658 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.658 * [taylor]: Taking taylor expansion of NAN in x
3.659 * [taylor]: Taking taylor expansion of (* 3/2 (sqrt (pow NAN 7))) in x
3.659 * [taylor]: Taking taylor expansion of 3/2 in x
3.659 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 7)) in x
3.659 * [taylor]: Taking taylor expansion of (pow NAN 7) in x
3.659 * [taylor]: Taking taylor expansion of NAN in x
3.661 * [taylor]: Taking taylor expansion of 0 in z
3.661 * [taylor]: Taking taylor expansion of 0 in x
3.661 * [taylor]: Taking taylor expansion of 0 in x
3.665 * [taylor]: Taking taylor expansion of (neg (+ (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 3)))) (+ (* 27/8 (sqrt (pow NAN 11))) (* 15/4 (* (/ 1 x) (sqrt (pow NAN 7))))))) in x
3.665 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 3)))) (+ (* 27/8 (sqrt (pow NAN 11))) (* 15/4 (* (/ 1 x) (sqrt (pow NAN 7)))))) in x
3.665 * [taylor]: Taking taylor expansion of (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 3)))) in x
3.665 * [taylor]: Taking taylor expansion of 3/8 in x
3.665 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (sqrt (pow NAN 3))) in x
3.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.665 * [taylor]: Taking taylor expansion of x in x
3.665 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 3)) in x
3.665 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.665 * [taylor]: Taking taylor expansion of NAN in x
3.666 * [taylor]: Taking taylor expansion of (+ (* 27/8 (sqrt (pow NAN 11))) (* 15/4 (* (/ 1 x) (sqrt (pow NAN 7))))) in x
3.666 * [taylor]: Taking taylor expansion of (* 27/8 (sqrt (pow NAN 11))) in x
3.666 * [taylor]: Taking taylor expansion of 27/8 in x
3.666 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 11)) in x
3.666 * [taylor]: Taking taylor expansion of (pow NAN 11) in x
3.666 * [taylor]: Taking taylor expansion of NAN in x
3.666 * [taylor]: Taking taylor expansion of (* 15/4 (* (/ 1 x) (sqrt (pow NAN 7)))) in x
3.666 * [taylor]: Taking taylor expansion of 15/4 in x
3.666 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (pow NAN 7))) in x
3.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.666 * [taylor]: Taking taylor expansion of x in x
3.666 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 7)) in x
3.666 * [taylor]: Taking taylor expansion of (pow NAN 7) in x
3.666 * [taylor]: Taking taylor expansion of NAN in x
3.669 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
3.669 * [approximate]: Taking taylor expansion of (* (sqrt (+ x z)) y) in (y z x) around 0
3.669 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in x
3.669 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in x
3.669 * [taylor]: Taking taylor expansion of (+ x z) in x
3.669 * [taylor]: Taking taylor expansion of x in x
3.669 * [taylor]: Taking taylor expansion of z in x
3.669 * [taylor]: Taking taylor expansion of y in x
3.669 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in z
3.669 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in z
3.669 * [taylor]: Taking taylor expansion of (+ x z) in z
3.669 * [taylor]: Taking taylor expansion of x in z
3.669 * [taylor]: Taking taylor expansion of z in z
3.669 * [taylor]: Taking taylor expansion of y in z
3.669 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in y
3.669 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in y
3.669 * [taylor]: Taking taylor expansion of (+ x z) in y
3.669 * [taylor]: Taking taylor expansion of x in y
3.669 * [taylor]: Taking taylor expansion of z in y
3.669 * [taylor]: Taking taylor expansion of y in y
3.669 * [taylor]: Taking taylor expansion of (* (sqrt (+ x z)) y) in y
3.669 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in y
3.669 * [taylor]: Taking taylor expansion of (+ x z) in y
3.669 * [taylor]: Taking taylor expansion of x in y
3.669 * [taylor]: Taking taylor expansion of z in y
3.669 * [taylor]: Taking taylor expansion of y in y
3.669 * [taylor]: Taking taylor expansion of 0 in z
3.669 * [taylor]: Taking taylor expansion of 0 in x
3.669 * [taylor]: Taking taylor expansion of (sqrt (+ x z)) in z
3.670 * [taylor]: Taking taylor expansion of (+ x z) in z
3.670 * [taylor]: Taking taylor expansion of x in z
3.670 * [taylor]: Taking taylor expansion of z in z
3.670 * [taylor]: Taking taylor expansion of (sqrt x) in x
3.670 * [taylor]: Taking taylor expansion of x in x
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [taylor]: Taking taylor expansion of 0 in z
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 x))) in x
3.670 * [taylor]: Taking taylor expansion of 1/2 in x
3.670 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
3.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.670 * [taylor]: Taking taylor expansion of x in x
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [taylor]: Taking taylor expansion of 0 in z
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.671 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ 1 (pow x 3)))) in x
3.671 * [taylor]: Taking taylor expansion of -1/8 in x
3.671 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x
3.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.671 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.671 * [taylor]: Taking taylor expansion of x in x
3.671 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in (y z x) around 0
3.671 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in x
3.671 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in x
3.671 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.671 * [taylor]: Taking taylor expansion of z in x
3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.672 * [taylor]: Taking taylor expansion of x in x
3.672 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.672 * [taylor]: Taking taylor expansion of y in x
3.672 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in z
3.672 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in z
3.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.672 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.672 * [taylor]: Taking taylor expansion of z in z
3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.672 * [taylor]: Taking taylor expansion of x in z
3.672 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.672 * [taylor]: Taking taylor expansion of y in z
3.672 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in y
3.672 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in y
3.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.672 * [taylor]: Taking taylor expansion of z in y
3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.672 * [taylor]: Taking taylor expansion of x in y
3.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.672 * [taylor]: Taking taylor expansion of y in y
3.672 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) (/ 1 x))) (/ 1 y)) in y
3.672 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in y
3.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.672 * [taylor]: Taking taylor expansion of z in y
3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.672 * [taylor]: Taking taylor expansion of x in y
3.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.673 * [taylor]: Taking taylor expansion of y in y
3.673 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (/ 1 x))) in z
3.673 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.673 * [taylor]: Taking taylor expansion of z in z
3.673 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.673 * [taylor]: Taking taylor expansion of x in z
3.673 * [taylor]: Taking taylor expansion of 0 in x
3.673 * [taylor]: Taking taylor expansion of 0 in z
3.673 * [taylor]: Taking taylor expansion of NAN in x
3.673 * [taylor]: Taking taylor expansion of 0 in z
3.673 * [taylor]: Taking taylor expansion of 0 in x
3.674 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 x) (pow NAN 2))) in x
3.674 * [taylor]: Taking taylor expansion of NAN in x
3.674 * [taylor]: Taking taylor expansion of (- (/ 1 x) (pow NAN 2)) in x
3.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.674 * [taylor]: Taking taylor expansion of x in x
3.674 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.674 * [taylor]: Taking taylor expansion of NAN in x
3.674 * [taylor]: Taking taylor expansion of 0 in z
3.674 * [taylor]: Taking taylor expansion of 0 in x
3.674 * [taylor]: Taking taylor expansion of 0 in x
3.674 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x)))) in x
3.674 * [taylor]: Taking taylor expansion of NAN in x
3.675 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) x))) in x
3.675 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in x
3.675 * [taylor]: Taking taylor expansion of 2 in x
3.675 * [taylor]: Taking taylor expansion of (pow NAN 4) in x
3.675 * [taylor]: Taking taylor expansion of NAN in x
3.675 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) x)) in x
3.675 * [taylor]: Taking taylor expansion of 2 in x
3.675 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) x) in x
3.675 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.675 * [taylor]: Taking taylor expansion of NAN in x
3.675 * [taylor]: Taking taylor expansion of x in x
3.676 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in (y z x) around 0
3.676 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in x
3.676 * [taylor]: Taking taylor expansion of -1 in x
3.676 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in x
3.676 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.676 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.676 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.676 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.676 * [taylor]: Taking taylor expansion of z in x
3.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.676 * [taylor]: Taking taylor expansion of x in x
3.676 * [taylor]: Taking taylor expansion of y in x
3.676 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in z
3.676 * [taylor]: Taking taylor expansion of -1 in z
3.676 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in z
3.676 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.676 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.676 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.676 * [taylor]: Taking taylor expansion of z in z
3.676 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.676 * [taylor]: Taking taylor expansion of x in z
3.676 * [taylor]: Taking taylor expansion of y in z
3.676 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in y
3.676 * [taylor]: Taking taylor expansion of -1 in y
3.676 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in y
3.676 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.676 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.676 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.676 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.676 * [taylor]: Taking taylor expansion of z in y
3.676 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.676 * [taylor]: Taking taylor expansion of x in y
3.677 * [taylor]: Taking taylor expansion of y in y
3.677 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y)) in y
3.677 * [taylor]: Taking taylor expansion of -1 in y
3.677 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 z) (/ 1 x)))) y) in y
3.677 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in y
3.677 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in y
3.677 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.677 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.677 * [taylor]: Taking taylor expansion of z in y
3.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.677 * [taylor]: Taking taylor expansion of x in y
3.677 * [taylor]: Taking taylor expansion of y in y
3.677 * [taylor]: Taking taylor expansion of (* -1 (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in z
3.678 * [taylor]: Taking taylor expansion of -1 in z
3.678 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.678 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.678 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.678 * [taylor]: Taking taylor expansion of z in z
3.678 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.678 * [taylor]: Taking taylor expansion of x in z
3.678 * [taylor]: Taking taylor expansion of (neg NAN) in x
3.678 * [taylor]: Taking taylor expansion of NAN in x
3.678 * [taylor]: Taking taylor expansion of 0 in z
3.678 * [taylor]: Taking taylor expansion of 0 in x
3.678 * [taylor]: Taking taylor expansion of (neg (+ (/ NAN x) (pow NAN 3))) in x
3.678 * [taylor]: Taking taylor expansion of (+ (/ NAN x) (pow NAN 3)) in x
3.678 * [taylor]: Taking taylor expansion of (/ NAN x) in x
3.678 * [taylor]: Taking taylor expansion of NAN in x
3.678 * [taylor]: Taking taylor expansion of x in x
3.678 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.678 * [taylor]: Taking taylor expansion of NAN in x
3.679 * [taylor]: Taking taylor expansion of 0 in z
3.679 * [taylor]: Taking taylor expansion of 0 in x
3.679 * [taylor]: Taking taylor expansion of 0 in x
3.680 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (pow NAN 3) x)) (* 2 (pow NAN 5)))) in x
3.680 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 3) x)) (* 2 (pow NAN 5))) in x
3.680 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) x)) in x
3.680 * [taylor]: Taking taylor expansion of 2 in x
3.680 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) x) in x
3.680 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.680 * [taylor]: Taking taylor expansion of NAN in x
3.680 * [taylor]: Taking taylor expansion of x in x
3.680 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 5)) in x
3.680 * [taylor]: Taking taylor expansion of 2 in x
3.680 * [taylor]: Taking taylor expansion of (pow NAN 5) in x
3.680 * [taylor]: Taking taylor expansion of NAN in x
3.681 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.681 * [approximate]: Taking taylor expansion of (pow (+ x z) 1/4) in (z x) around 0
3.681 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/4) in x
3.681 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x z)))) in x
3.681 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x z))) in x
3.681 * [taylor]: Taking taylor expansion of 1/4 in x
3.681 * [taylor]: Taking taylor expansion of (log (+ x z)) in x
3.681 * [taylor]: Taking taylor expansion of (+ x z) in x
3.681 * [taylor]: Taking taylor expansion of x in x
3.681 * [taylor]: Taking taylor expansion of z in x
3.682 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/4) in z
3.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x z)))) in z
3.682 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x z))) in z
3.682 * [taylor]: Taking taylor expansion of 1/4 in z
3.682 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
3.682 * [taylor]: Taking taylor expansion of (+ x z) in z
3.682 * [taylor]: Taking taylor expansion of x in z
3.682 * [taylor]: Taking taylor expansion of z in z
3.682 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/4) in z
3.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ x z)))) in z
3.682 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ x z))) in z
3.682 * [taylor]: Taking taylor expansion of 1/4 in z
3.682 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
3.682 * [taylor]: Taking taylor expansion of (+ x z) in z
3.682 * [taylor]: Taking taylor expansion of x in z
3.682 * [taylor]: Taking taylor expansion of z in z
3.682 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.682 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.682 * [taylor]: Taking taylor expansion of 1/4 in x
3.682 * [taylor]: Taking taylor expansion of (log x) in x
3.682 * [taylor]: Taking taylor expansion of x in x
3.683 * [taylor]: Taking taylor expansion of (* 1/4 (pow (/ 1 (pow x 3)) 1/4)) in x
3.683 * [taylor]: Taking taylor expansion of 1/4 in x
3.683 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/4) in x
3.683 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow x 3))))) in x
3.683 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow x 3)))) in x
3.683 * [taylor]: Taking taylor expansion of 1/4 in x
3.683 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in x
3.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.683 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.683 * [taylor]: Taking taylor expansion of x in x
3.684 * [taylor]: Taking taylor expansion of (* -3/32 (pow (/ 1 (pow x 7)) 1/4)) in x
3.684 * [taylor]: Taking taylor expansion of -3/32 in x
3.684 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 7)) 1/4) in x
3.684 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow x 7))))) in x
3.684 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow x 7)))) in x
3.684 * [taylor]: Taking taylor expansion of 1/4 in x
3.684 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 7))) in x
3.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 7)) in x
3.684 * [taylor]: Taking taylor expansion of (pow x 7) in x
3.684 * [taylor]: Taking taylor expansion of x in x
3.685 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 1/4) in (z x) around 0
3.685 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 1/4) in x
3.685 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ (/ 1 z) (/ 1 x))))) in x
3.685 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ (/ 1 z) (/ 1 x)))) in x
3.685 * [taylor]: Taking taylor expansion of 1/4 in x
3.685 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 x))) in x
3.685 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.685 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.685 * [taylor]: Taking taylor expansion of z in x
3.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.685 * [taylor]: Taking taylor expansion of x in x
3.685 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 1/4) in z
3.685 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ (/ 1 z) (/ 1 x))))) in z
3.685 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ (/ 1 z) (/ 1 x)))) in z
3.685 * [taylor]: Taking taylor expansion of 1/4 in z
3.685 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 x))) in z
3.685 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.685 * [taylor]: Taking taylor expansion of z in z
3.685 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.685 * [taylor]: Taking taylor expansion of x in z
3.686 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 x)) 1/4) in z
3.686 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (+ (/ 1 z) (/ 1 x))))) in z
3.686 * [taylor]: Taking taylor expansion of (* 1/4 (log (+ (/ 1 z) (/ 1 x)))) in z
3.686 * [taylor]: Taking taylor expansion of 1/4 in z
3.686 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 x))) in z
3.686 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.686 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.686 * [taylor]: Taking taylor expansion of z in z
3.686 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.686 * [taylor]: Taking taylor expansion of x in z
3.686 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (log z)))) in x
3.686 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (log z))) in x
3.686 * [taylor]: Taking taylor expansion of 1/4 in x
3.686 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
3.686 * [taylor]: Taking taylor expansion of (log 1) in x
3.686 * [taylor]: Taking taylor expansion of 1 in x
3.686 * [taylor]: Taking taylor expansion of (log z) in x
3.686 * [taylor]: Taking taylor expansion of z in x
3.687 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (* 1/4 (- (log 1) (log z)))) x)) in x
3.687 * [taylor]: Taking taylor expansion of 1/4 in x
3.687 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (log z)))) x) in x
3.687 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (log z)))) in x
3.687 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (log z))) in x
3.687 * [taylor]: Taking taylor expansion of 1/4 in x
3.687 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
3.687 * [taylor]: Taking taylor expansion of (log 1) in x
3.687 * [taylor]: Taking taylor expansion of 1 in x
3.687 * [taylor]: Taking taylor expansion of (log z) in x
3.687 * [taylor]: Taking taylor expansion of z in x
3.687 * [taylor]: Taking taylor expansion of x in x
3.689 * [taylor]: Taking taylor expansion of (* -3/32 (/ (exp (* 1/4 (- (log 1) (log z)))) (pow x 2))) in x
3.689 * [taylor]: Taking taylor expansion of -3/32 in x
3.689 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (log z)))) (pow x 2)) in x
3.689 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (log z)))) in x
3.689 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (log z))) in x
3.689 * [taylor]: Taking taylor expansion of 1/4 in x
3.689 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
3.689 * [taylor]: Taking taylor expansion of (log 1) in x
3.689 * [taylor]: Taking taylor expansion of 1 in x
3.689 * [taylor]: Taking taylor expansion of (log z) in x
3.689 * [taylor]: Taking taylor expansion of z in x
3.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.689 * [taylor]: Taking taylor expansion of x in x
3.693 * [taylor]: Taking taylor expansion of (* 7/128 (/ (exp (* 1/4 (- (log 1) (log z)))) (pow x 3))) in x
3.693 * [taylor]: Taking taylor expansion of 7/128 in x
3.693 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (log z)))) (pow x 3)) in x
3.693 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (log z)))) in x
3.693 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (log z))) in x
3.693 * [taylor]: Taking taylor expansion of 1/4 in x
3.693 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
3.693 * [taylor]: Taking taylor expansion of (log 1) in x
3.693 * [taylor]: Taking taylor expansion of 1 in x
3.693 * [taylor]: Taking taylor expansion of (log z) in x
3.693 * [taylor]: Taking taylor expansion of z in x
3.693 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.693 * [taylor]: Taking taylor expansion of x in x
3.695 * [approximate]: Taking taylor expansion of (sqrt (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in (z x) around 0
3.695 * [taylor]: Taking taylor expansion of (sqrt (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in x
3.695 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in x
3.695 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in x
3.695 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.695 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.696 * [taylor]: Taking taylor expansion of z in x
3.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.696 * [taylor]: Taking taylor expansion of x in x
3.696 * [taylor]: Taking taylor expansion of (sqrt (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in z
3.696 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.696 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.696 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.696 * [taylor]: Taking taylor expansion of z in z
3.696 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.696 * [taylor]: Taking taylor expansion of x in z
3.696 * [taylor]: Taking taylor expansion of (sqrt (sqrt (neg (+ (/ 1 z) (/ 1 x))))) in z
3.696 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 z) (/ 1 x)))) in z
3.696 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 x))) in z
3.696 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.697 * [taylor]: Taking taylor expansion of z in z
3.697 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.697 * [taylor]: Taking taylor expansion of x in z
3.697 * [taylor]: Taking taylor expansion of (sqrt NAN) in x
3.697 * [taylor]: Taking taylor expansion of NAN in x
3.697 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt NAN) (+ (/ 1 x) (pow NAN 2)))) in x
3.697 * [taylor]: Taking taylor expansion of 1/2 in x
3.697 * [taylor]: Taking taylor expansion of (* (sqrt NAN) (+ (/ 1 x) (pow NAN 2))) in x
3.697 * [taylor]: Taking taylor expansion of (sqrt NAN) in x
3.697 * [taylor]: Taking taylor expansion of NAN in x
3.697 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (pow NAN 2)) in x
3.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.697 * [taylor]: Taking taylor expansion of x in x
3.697 * [taylor]: Taking taylor expansion of (pow NAN 2) in x
3.697 * [taylor]: Taking taylor expansion of NAN in x
3.698 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (+ (* 3/2 (/ (pow NAN 3) x)) (* 7/4 (pow NAN 5))) (* 1/4 (/ NAN (pow x 2)))) (sqrt (/ 1 NAN)))) in x
3.698 * [taylor]: Taking taylor expansion of 1/2 in x
3.698 * [taylor]: Taking taylor expansion of (* (- (+ (* 3/2 (/ (pow NAN 3) x)) (* 7/4 (pow NAN 5))) (* 1/4 (/ NAN (pow x 2)))) (sqrt (/ 1 NAN))) in x
3.698 * [taylor]: Taking taylor expansion of (- (+ (* 3/2 (/ (pow NAN 3) x)) (* 7/4 (pow NAN 5))) (* 1/4 (/ NAN (pow x 2)))) in x
3.698 * [taylor]: Taking taylor expansion of (+ (* 3/2 (/ (pow NAN 3) x)) (* 7/4 (pow NAN 5))) in x
3.698 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow NAN 3) x)) in x
3.699 * [taylor]: Taking taylor expansion of 3/2 in x
3.699 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) x) in x
3.699 * [taylor]: Taking taylor expansion of (pow NAN 3) in x
3.699 * [taylor]: Taking taylor expansion of NAN in x
3.699 * [taylor]: Taking taylor expansion of x in x
3.699 * [taylor]: Taking taylor expansion of (* 7/4 (pow NAN 5)) in x
3.699 * [taylor]: Taking taylor expansion of 7/4 in x
3.699 * [taylor]: Taking taylor expansion of (pow NAN 5) in x
3.699 * [taylor]: Taking taylor expansion of NAN in x
3.699 * [taylor]: Taking taylor expansion of (* 1/4 (/ NAN (pow x 2))) in x
3.699 * [taylor]: Taking taylor expansion of 1/4 in x
3.699 * [taylor]: Taking taylor expansion of (/ NAN (pow x 2)) in x
3.699 * [taylor]: Taking taylor expansion of NAN in x
3.699 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.699 * [taylor]: Taking taylor expansion of x in x
3.699 * [taylor]: Taking taylor expansion of (sqrt (/ 1 NAN)) in x
3.699 * [taylor]: Taking taylor expansion of (/ 1 NAN) in x
3.699 * [taylor]: Taking taylor expansion of NAN in x
3.701 * * * [progress]: simplifying candidates
3.703 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (+ (+ (+ (log y) (log (sqrt (+ z x)))) (log (sqrt (sqrt (+ z x))))) (log (sqrt (sqrt (+ z x)))))
  (+ (+ (log (* y (sqrt (+ z x)))) (log (sqrt (sqrt (+ z x))))) (log (sqrt (sqrt (+ z x)))))
  (+ (log (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (log (sqrt (sqrt (+ z x)))))
  (log (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (exp (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* (* y y) y) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x)))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* (* y (sqrt (+ z x))) (* y (sqrt (+ z x)))) (* y (sqrt (+ z x)))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))) (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))
  (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))) (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))) (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x)))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (- z x)))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (sqrt (- z x))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (sqrt (- z x))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (- z x)) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x))))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt 1)))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt 1)))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt 1))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) 1)
  (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (- (* z z) (* x x))))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))
  (+ (+ (log y) (log (sqrt (+ z x)))) (log (sqrt (sqrt (+ z x)))))
  (+ (log (* y (sqrt (+ z x)))) (log (sqrt (sqrt (+ z x)))))
  (log (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (exp (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* y y) y) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x)))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* y (sqrt (+ z x))) (* y (sqrt (+ z x)))) (* y (sqrt (+ z x)))) (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))))
  (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (* (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (- z x)) (sqrt (sqrt (- z x))))
  (* (* y (sqrt (+ z x))) (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x))))))
  (* (* y (sqrt (+ z x))) (sqrt (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt 1)))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt 1)))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ z x))) (sqrt 1))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ z x))) 1)
  (* (sqrt (+ z x)) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x))))
  (* y (sqrt (+ z x)))
  (+ (log y) (log (sqrt (+ z x))))
  (log (* y (sqrt (+ z x))))
  (exp (* y (sqrt (+ z x))))
  (* (* (* y y) y) (* (* (sqrt (+ z x)) (sqrt (+ z x))) (sqrt (+ z x))))
  (* (cbrt (* y (sqrt (+ z x)))) (cbrt (* y (sqrt (+ z x)))))
  (cbrt (* y (sqrt (+ z x))))
  (* (* (* y (sqrt (+ z x))) (* y (sqrt (+ z x)))) (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* y (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* y (sqrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (* y (sqrt (sqrt (+ z x))))
  (* y (sqrt 1))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (+ z x))))
  (* y 1)
  (* (cbrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ (pow z 3) (pow x 3))))
  (* y (sqrt (- (* z z) (* x x))))
  (log (sqrt (sqrt (+ z x))))
  (exp (sqrt (sqrt (+ z x))))
  (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x)))))
  (cbrt (sqrt (sqrt (+ z x))))
  (* (* (sqrt (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))
  (sqrt (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (sqrt (cbrt (sqrt (+ z x))))
  (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (sqrt (sqrt (cbrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ z x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt (+ z x)))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt 1)
  (sqrt (sqrt (+ z x)))
  (sqrt (sqrt (+ (pow z 3) (pow x 3))))
  (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))
  (sqrt (sqrt (- (* z z) (* x x))))
  (sqrt (sqrt (- z x)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (+ (* z y) (* x y))
  (+ (* z y) (* x y))
  (- (+ (* (pow NAN 2) y) (* 5 (/ (* (pow NAN 6) y) (pow z 2)))) (* 2 (/ (* (pow NAN 4) y) z)))
  (+ (* (exp (* 1/4 (+ (log 1) (* 3 (log x))))) y) (* 3/4 (* (exp (* 1/4 (- (log 1) (log x)))) (* z y))))
  (* (exp (* 1/4 (- (log 1) (* 3 (log (/ 1 z)))))) y)
  (- (+ (* (sqrt (pow NAN 3)) y) (* 27/8 (* (sqrt (pow NAN 11)) (/ y (pow z 2))))) (* 3/2 (* (sqrt (pow NAN 7)) (/ y z))))
  (- (+ (* x (* NAN y)) (* 1/2 (* NAN (* z y)))) (* 1/8 (* (pow NAN 3) (* (pow z 2) y))))
  (- (+ (/ (* x (* NAN y)) z) (* NAN y)) (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))))
  (- (+ (* 2 (/ (* (pow NAN 5) y) (pow z 2))) (* NAN y)) (/ (* (pow NAN 3) y) z))
  (- (+ (* 1/4 (* z (exp (* 1/4 (- (log 1) (* 3 (log x))))))) (exp (* 1/4 (+ (log 1) (log x))))) (* 3/32 (* (exp (* 1/4 (- (log 1) (* 7 (log x))))) (pow z 2))))
  (exp (* 1/4 (- (log 1) (log (/ 1 z)))))
  (- (+ (* 7/8 (* (sqrt (pow NAN 9)) (/ 1 (pow z 2)))) (sqrt NAN)) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z))))
3.714 * * [simplify]: iteration  0 :  754  enodes  (cost  1576 )
3.727 * * [simplify]: iteration  1 :  3490  enodes  (cost  1360 )
3.782 * * [simplify]: iteration  2 :  5002  enodes  (cost  1298 )
3.789 * [simplify]: Simplified to:
   (* y (+ z x))
  (* y (+ z x))
  (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (+ (log y) (log (+ z x)))
  (+ (log y) (log (+ z x)))
  (+ (log y) (log (+ z x)))
  (pow (exp y) (+ z x))
  (* (pow y 3) (pow (+ z x) 3))
  (* (pow y 3) (pow (+ z x) 3))
  (* (pow y 3) (pow (+ z x) 3))
  (* (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))) (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))
  (cbrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (pow y 3) (pow (+ z x) 3))
  (sqrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x)))))
  (* (sqrt (+ (pow z 3) (pow x 3))) (* y (sqrt (+ (pow z 3) (pow x 3)))))
  (+ (* x (- x z)) (pow z 2))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (sqrt (+ (pow z 3) (pow x 3))) (* y (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (- z x)))
  (* (sqrt (+ (pow z 3) (pow x 3))) (* y (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (- z x)))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (- z x)) (sqrt (sqrt (- z x)))) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (sqrt (- (* z z) (* x x))) (* y (sqrt (- (* z z) (* x x)))))
  (- z x)
  (* (sqrt (+ (pow z 3) (pow x 3))) (* y (sqrt (+ z x))))
  (sqrt (+ (* z z) (- (* x x) (* z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3))))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) (sqrt (sqrt (- z x))))
  (* (sqrt (- (* z z) (* x x))) (* y (sqrt (+ z x))))
  (sqrt (- z x))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (pow (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) 3)
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (pow (sqrt (sqrt (- z x))) 3)
  (* (* (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x))))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (fabs (cbrt (sqrt (+ z x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (sqrt (sqrt (sqrt (+ z x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (* (* (sqrt (sqrt (sqrt (+ z x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (* (* (sqrt (sqrt (sqrt (+ z x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (sqrt (+ z x))
  (* (* (sqrt (sqrt (+ (pow z 3) (pow x 3)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (sqrt (sqrt (- (* z z) (* x x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* (sqrt (sqrt (+ (pow z 3) (pow x 3)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (* (sqrt (sqrt (- (* z z) (* x x)))) y) (pow (sqrt (sqrt (+ z x))) 3))
  (* (sqrt (+ (pow z 3) (pow x 3))) (* y (sqrt (+ z x))))
  (* (sqrt (- (* z z) (* x x))) (* y (sqrt (+ z x))))
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (* (pow (sqrt (sqrt (+ z x))) 3) y)
  (log (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (log (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (log (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (pow (exp y) (pow (sqrt (sqrt (+ z x))) 3))
  (pow (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) 3)
  (pow (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) 3)
  (* (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))) (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x))))))
  (cbrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (pow (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) 3)
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (sqrt (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (pow (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))) 3)
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (sqrt (+ (* z z) (- (* x x) (* z x)))) (sqrt (sqrt (- z x))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (sqrt (- z x)) (sqrt (sqrt (+ (* z z) (- (* x x) (* z x))))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (- (* z z) (* x x)))))
  (pow (sqrt (sqrt (- z x))) 3)
  (* (* y (sqrt (+ z x))) (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x))))))
  (* y (* (sqrt (+ z x)) (fabs (cbrt (sqrt (+ z x))))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* y (sqrt (+ z x)))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (sqrt (+ z x)))))
  (* y (sqrt (+ z x)))
  (pow (sqrt (sqrt (+ z x))) 3)
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ (pow z 3) (pow x 3)))))
  (* (* y (sqrt (+ z x))) (sqrt (sqrt (- (* z z) (* x x)))))
  (* (* y (sqrt (+ (pow z 3) (pow x 3)))) (sqrt (sqrt (+ z x))))
  (* (* y (sqrt (- (* z z) (* x x)))) (sqrt (sqrt (+ z x))))
  (* y (sqrt (+ z x)))
  (log (* y (sqrt (+ z x))))
  (log (* y (sqrt (+ z x))))
  (exp (* y (sqrt (+ z x))))
  (pow (* y (sqrt (+ z x))) 3)
  (* (cbrt (* y (sqrt (+ z x)))) (cbrt (* y (sqrt (+ z x)))))
  (cbrt (* y (sqrt (+ z x))))
  (pow (* y (sqrt (+ z x))) 3)
  (sqrt (* y (sqrt (+ z x))))
  (sqrt (* y (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* (sqrt y) (sqrt (sqrt (+ z x))))
  (* y (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x)))))
  (* (fabs (cbrt (+ z x))) y)
  (* y (sqrt (sqrt (+ z x))))
  y
  y
  (* y (sqrt (sqrt (+ z x))))
  y
  (* (cbrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y (sqrt (+ z x)))
  (* y (sqrt (+ (pow z 3) (pow x 3))))
  (* y (sqrt (- (* z z) (* x x))))
  (log (sqrt (sqrt (+ z x))))
  (exp (sqrt (sqrt (+ z x))))
  (* (cbrt (sqrt (sqrt (+ z x)))) (cbrt (sqrt (sqrt (+ z x)))))
  (cbrt (sqrt (sqrt (+ z x))))
  (pow (sqrt (sqrt (+ z x))) 3)
  (fabs (cbrt (sqrt (+ z x))))
  (sqrt (cbrt (sqrt (+ z x))))
  (sqrt (sqrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (sqrt (sqrt (cbrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  1
  (sqrt (sqrt (+ z x)))
  1
  (sqrt (sqrt (+ z x)))
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  1
  (sqrt (sqrt (+ z x)))
  (sqrt (sqrt (+ (pow z 3) (pow x 3))))
  (sqrt (sqrt (+ (* z z) (- (* x x) (* z x)))))
  (sqrt (sqrt (- (* z z) (* x x))))
  (sqrt (sqrt (- z x)))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (+ z x))))
  (sqrt (sqrt (sqrt (+ z x))))
  (* y (+ z x))
  (* y (+ z x))
  (- (+ (* (pow NAN 2) y) (* 5 (/ (* (pow NAN 6) y) (pow z 2)))) (* 2 (/ (* (pow NAN 4) y) z)))
  (+ (* (exp (* 1/4 (+ (log 1) (* 3 (log x))))) y) (* 3/4 (* (exp (* 1/4 (- (log 1) (log x)))) (* z y))))
  (* (exp (* 1/4 (- (log 1) (* 3 (log (/ 1 z)))))) y)
  (- (+ (* (sqrt (pow NAN 3)) y) (* 27/8 (* (sqrt (pow NAN 11)) (/ y (pow z 2))))) (* 3/2 (* (sqrt (pow NAN 7)) (/ y z))))
  (- (+ (* x (* NAN y)) (* 1/2 (* NAN (* z y)))) (* 1/8 (* (pow NAN 3) (* (pow z 2) y))))
  (- (+ (/ (* x (* NAN y)) z) (* NAN y)) (* 2 (/ (* x (* (pow NAN 3) y)) (pow z 2))))
  (- (+ (* 2 (/ (* (pow NAN 5) y) (pow z 2))) (* NAN y)) (/ (* (pow NAN 3) y) z))
  (- (+ (* 1/4 (* z (exp (* 1/4 (- (log 1) (* 3 (log x))))))) (exp (* 1/4 (+ (log 1) (log x))))) (* 3/32 (* (exp (* 1/4 (- (log 1) (* 7 (log x))))) (pow z 2))))
  (exp (* 1/4 (log z)))
  (+ (- (sqrt NAN) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) (/ (* 7/8 (sqrt (pow NAN 9))) (pow z 2)))
3.790 * * * [progress]: adding candidates to table
3.922 * [progress]: [Phase 3 of 3] Extracting.
3.922 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>)
3.923 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (+ z x))) z y x)
3.923 * * * * [regimes]: Trying to branch on (+ x (* y (+ z x))) from (#<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>)
3.970 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>)
4.017 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>)
4.063 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* y (+ z x))))> #<alt (λ (x y z) (+ (+ x (* z y)) (* y x)))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* (* y (sqrt (+ z x))) (sqrt (sqrt (+ z x)))) (sqrt (sqrt (+ z x))))))>)
4.107 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.107 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* y (+ z x)))
4.108 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
4.108 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
4.108 * [simplify]: Simplified to:
   (+ x (* y (+ z x)))
8.091 * [regime-testing]: End program error score: 0.012876609576197025