12.925 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (* x y) (* z y)) t)
0.036 * * [simplify]: iteration  0 :  15  enodes  (cost  3 )
0.037 * * [simplify]: iteration  1 :  34  enodes  (cost  3 )
0.039 * * [simplify]: iteration  2 :  72  enodes  (cost  3 )
0.041 * * [simplify]: iteration  3 :  100  enodes  (cost  3 )
0.043 * * [simplify]: iteration  4 :  108  enodes  (cost  3 )
0.045 * * [simplify]: iteration  5 :  108  enodes  (cost  3 )
0.045 * [simplify]: Simplified to:
   (* t (* y (- x z)))
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y z t) (* t (* y (- x z))))>
0.050 * * * [progress]: localizing error
0.055 * * * [progress]: generating rewritten candidates
0.055 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.068 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.079 * * * [progress]: generating series expansions
0.079 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.079 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (t y x z) around 0
0.080 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.080 * [taylor]: Taking taylor expansion of t in z
0.080 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
0.080 * [taylor]: Taking taylor expansion of y in z
0.080 * [taylor]: Taking taylor expansion of (- x z) in z
0.080 * [taylor]: Taking taylor expansion of x in z
0.080 * [taylor]: Taking taylor expansion of z in z
0.080 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.080 * [taylor]: Taking taylor expansion of t in x
0.080 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
0.080 * [taylor]: Taking taylor expansion of y in x
0.080 * [taylor]: Taking taylor expansion of (- x z) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of z in x
0.080 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.080 * [taylor]: Taking taylor expansion of t in y
0.080 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.080 * [taylor]: Taking taylor expansion of (- x z) in y
0.080 * [taylor]: Taking taylor expansion of x in y
0.080 * [taylor]: Taking taylor expansion of z in y
0.080 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t
0.080 * [taylor]: Taking taylor expansion of t in t
0.080 * [taylor]: Taking taylor expansion of (* y (- x z)) in t
0.080 * [taylor]: Taking taylor expansion of y in t
0.080 * [taylor]: Taking taylor expansion of (- x z) in t
0.080 * [taylor]: Taking taylor expansion of x in t
0.080 * [taylor]: Taking taylor expansion of z in t
0.080 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t
0.080 * [taylor]: Taking taylor expansion of t in t
0.080 * [taylor]: Taking taylor expansion of (* y (- x z)) in t
0.080 * [taylor]: Taking taylor expansion of y in t
0.080 * [taylor]: Taking taylor expansion of (- x z) in t
0.080 * [taylor]: Taking taylor expansion of x in t
0.080 * [taylor]: Taking taylor expansion of z in t
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in x
0.080 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
0.081 * [taylor]: Taking taylor expansion of (* x y) in y
0.081 * [taylor]: Taking taylor expansion of x in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of (* z y) in y
0.081 * [taylor]: Taking taylor expansion of z in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of 0 in x
0.082 * [taylor]: Taking taylor expansion of 0 in z
0.082 * [taylor]: Taking taylor expansion of 0 in x
0.082 * [taylor]: Taking taylor expansion of 0 in z
0.082 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.083 * [taylor]: Taking taylor expansion of 0 in x
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.084 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.084 * [taylor]: Taking taylor expansion of x in z
0.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.084 * [taylor]: Taking taylor expansion of z in z
0.084 * [taylor]: Taking taylor expansion of (* t y) in z
0.084 * [taylor]: Taking taylor expansion of t in z
0.084 * [taylor]: Taking taylor expansion of y in z
0.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.085 * [taylor]: Taking taylor expansion of z in x
0.085 * [taylor]: Taking taylor expansion of (* t y) in x
0.085 * [taylor]: Taking taylor expansion of t in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.085 * [taylor]: Taking taylor expansion of z in y
0.085 * [taylor]: Taking taylor expansion of (* t y) in y
0.085 * [taylor]: Taking taylor expansion of t in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.086 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
0.086 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.086 * [taylor]: Taking taylor expansion of x in t
0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.086 * [taylor]: Taking taylor expansion of z in t
0.086 * [taylor]: Taking taylor expansion of (* t y) in t
0.086 * [taylor]: Taking taylor expansion of t in t
0.086 * [taylor]: Taking taylor expansion of y in t
0.086 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
0.086 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.086 * [taylor]: Taking taylor expansion of x in t
0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.087 * [taylor]: Taking taylor expansion of z in t
0.087 * [taylor]: Taking taylor expansion of (* t y) in t
0.087 * [taylor]: Taking taylor expansion of t in t
0.087 * [taylor]: Taking taylor expansion of y in t
0.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.087 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.087 * [taylor]: Taking taylor expansion of x in y
0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.087 * [taylor]: Taking taylor expansion of z in y
0.087 * [taylor]: Taking taylor expansion of y in y
0.087 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.088 * [taylor]: Taking taylor expansion of z in x
0.088 * [taylor]: Taking taylor expansion of 1 in z
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in x
0.091 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in x
0.095 * [taylor]: Taking taylor expansion of 0 in x
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.096 * [taylor]: Taking taylor expansion of 0 in z
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in x
0.101 * [taylor]: Taking taylor expansion of 0 in x
0.103 * [taylor]: Taking taylor expansion of 0 in x
0.103 * [taylor]: Taking taylor expansion of 0 in z
0.103 * [taylor]: Taking taylor expansion of 0 in z
0.103 * [taylor]: Taking taylor expansion of 0 in z
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.105 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.105 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.105 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.105 * [taylor]: Taking taylor expansion of z in z
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.106 * [taylor]: Taking taylor expansion of x in z
0.106 * [taylor]: Taking taylor expansion of (* t y) in z
0.106 * [taylor]: Taking taylor expansion of t in z
0.106 * [taylor]: Taking taylor expansion of y in z
0.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.106 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.106 * [taylor]: Taking taylor expansion of z in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (* t y) in x
0.107 * [taylor]: Taking taylor expansion of t in x
0.107 * [taylor]: Taking taylor expansion of y in x
0.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.107 * [taylor]: Taking taylor expansion of z in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of (* t y) in y
0.107 * [taylor]: Taking taylor expansion of t in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t
0.108 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
0.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.108 * [taylor]: Taking taylor expansion of z in t
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.108 * [taylor]: Taking taylor expansion of x in t
0.108 * [taylor]: Taking taylor expansion of (* t y) in t
0.108 * [taylor]: Taking taylor expansion of t in t
0.108 * [taylor]: Taking taylor expansion of y in t
0.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t
0.108 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
0.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.108 * [taylor]: Taking taylor expansion of z in t
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.108 * [taylor]: Taking taylor expansion of x in t
0.108 * [taylor]: Taking taylor expansion of (* t y) in t
0.109 * [taylor]: Taking taylor expansion of t in t
0.109 * [taylor]: Taking taylor expansion of y in t
0.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.109 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.109 * [taylor]: Taking taylor expansion of z in y
0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.109 * [taylor]: Taking taylor expansion of x in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.109 * [taylor]: Taking taylor expansion of z in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of -1 in z
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in x
0.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [taylor]: Taking taylor expansion of 0 in x
0.117 * [taylor]: Taking taylor expansion of 0 in x
0.117 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in x
0.121 * [taylor]: Taking taylor expansion of 0 in x
0.123 * [taylor]: Taking taylor expansion of 0 in x
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.123 * [taylor]: Taking taylor expansion of 0 in z
0.124 * [taylor]: Taking taylor expansion of 0 in z
0.125 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.125 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0
0.125 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
0.125 * [taylor]: Taking taylor expansion of y in z
0.125 * [taylor]: Taking taylor expansion of (- x z) in z
0.125 * [taylor]: Taking taylor expansion of x in z
0.125 * [taylor]: Taking taylor expansion of z in z
0.125 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
0.125 * [taylor]: Taking taylor expansion of y in x
0.125 * [taylor]: Taking taylor expansion of (- x z) in x
0.125 * [taylor]: Taking taylor expansion of x in x
0.126 * [taylor]: Taking taylor expansion of z in x
0.126 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
0.126 * [taylor]: Taking taylor expansion of y in y
0.126 * [taylor]: Taking taylor expansion of (- x z) in y
0.126 * [taylor]: Taking taylor expansion of x in y
0.126 * [taylor]: Taking taylor expansion of z in y
0.126 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
0.126 * [taylor]: Taking taylor expansion of y in y
0.126 * [taylor]: Taking taylor expansion of (- x z) in y
0.126 * [taylor]: Taking taylor expansion of x in y
0.126 * [taylor]: Taking taylor expansion of z in y
0.126 * [taylor]: Taking taylor expansion of 0 in x
0.126 * [taylor]: Taking taylor expansion of 0 in z
0.127 * [taylor]: Taking taylor expansion of (- x z) in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of z in x
0.127 * [taylor]: Taking taylor expansion of (- z) in z
0.127 * [taylor]: Taking taylor expansion of z in z
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.128 * [taylor]: Taking taylor expansion of 0 in x
0.128 * [taylor]: Taking taylor expansion of 0 in z
0.129 * [taylor]: Taking taylor expansion of 1 in z
0.129 * [taylor]: Taking taylor expansion of 0 in z
0.130 * [taylor]: Taking taylor expansion of 0 in x
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.130 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
0.131 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
0.131 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.131 * [taylor]: Taking taylor expansion of x in z
0.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.131 * [taylor]: Taking taylor expansion of z in z
0.131 * [taylor]: Taking taylor expansion of y in z
0.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
0.132 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.132 * [taylor]: Taking taylor expansion of z in x
0.132 * [taylor]: Taking taylor expansion of y in x
0.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.133 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.133 * [taylor]: Taking taylor expansion of x in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.133 * [taylor]: Taking taylor expansion of z in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.133 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.133 * [taylor]: Taking taylor expansion of x in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.133 * [taylor]: Taking taylor expansion of z in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.134 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.134 * [taylor]: Taking taylor expansion of z in x
0.134 * [taylor]: Taking taylor expansion of 1 in z
0.135 * [taylor]: Taking taylor expansion of 0 in x
0.136 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.136 * [taylor]: Taking taylor expansion of z in z
0.138 * [taylor]: Taking taylor expansion of 0 in x
0.138 * [taylor]: Taking taylor expansion of 0 in z
0.139 * [taylor]: Taking taylor expansion of 0 in z
0.141 * [taylor]: Taking taylor expansion of 0 in x
0.142 * [taylor]: Taking taylor expansion of 0 in z
0.142 * [taylor]: Taking taylor expansion of 0 in z
0.143 * [taylor]: Taking taylor expansion of 0 in z
0.144 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
0.144 * [taylor]: Taking taylor expansion of -1 in z
0.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.144 * [taylor]: Taking taylor expansion of z in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.144 * [taylor]: Taking taylor expansion of x in z
0.144 * [taylor]: Taking taylor expansion of y in z
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
0.145 * [taylor]: Taking taylor expansion of -1 in x
0.145 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.145 * [taylor]: Taking taylor expansion of z in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
0.147 * [taylor]: Taking taylor expansion of -1 in x
0.147 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.147 * [taylor]: Taking taylor expansion of z in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of 1 in z
0.149 * [taylor]: Taking taylor expansion of 0 in x
0.150 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.150 * [taylor]: Taking taylor expansion of z in z
0.153 * [taylor]: Taking taylor expansion of 0 in x
0.153 * [taylor]: Taking taylor expansion of 0 in z
0.154 * [taylor]: Taking taylor expansion of 0 in z
0.158 * [taylor]: Taking taylor expansion of 0 in x
0.158 * [taylor]: Taking taylor expansion of 0 in z
0.158 * [taylor]: Taking taylor expansion of 0 in z
0.160 * [taylor]: Taking taylor expansion of 0 in z
0.161 * * * [progress]: simplifying candidates
0.162 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t (* y (- x z)))
  (* t (* y (- x z)))
  (+ (log t) (+ (log y) (log (- x z))))
  (+ (log t) (log (* y (- x z))))
  (log (* t (* y (- x z))))
  (exp (* t (* y (- x z))))
  (* (* (* t t) t) (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z))))
  (* (* (* t t) t) (* (* (* y (- x z)) (* y (- x z))) (* y (- x z))))
  (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z)))))
  (cbrt (* t (* y (- x z))))
  (* (* (* t (* y (- x z))) (* t (* y (- x z)))) (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (* t (* y x))
  (* t (* y (- z)))
  (* t (* y x))
  (* t (* y (- z)))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* (* y x) t)
  (* (* y (- z)) t)
  (* (* y x) t)
  (* (* y (- z)) t)
  (* (* x y) t)
  (* (* (- z) y) t)
  (* (* x y) t)
  (* (* (- z) y) t)
  (* t y)
  (* (cbrt t) (* y (- x z)))
  (* (sqrt t) (* y (- x z)))
  (* t (* y (- x z)))
  (* t (* y (- (pow x 3) (pow z 3))))
  (* t (* y (- (* x x) (* z z))))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
0.166 * * [simplify]: iteration  0 :  201  enodes  (cost  242 )
0.170 * * [simplify]: iteration  1 :  924  enodes  (cost  211 )
0.194 * * [simplify]: iteration  2 :  5001  enodes  (cost  211 )
0.195 * [simplify]: Simplified to:
   (* t (* y (- x z)))
  (* t (* y (- x z)))
  (log (* t (* y (- x z))))
  (log (* t (* y (- x z))))
  (log (* t (* y (- x z))))
  (exp (* t (* y (- x z))))
  (pow (* t (* y (- x z))) 3)
  (pow (* t (* y (- x z))) 3)
  (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z)))))
  (cbrt (* t (* y (- x z))))
  (pow (* t (* y (- x z))) 3)
  (sqrt (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* (- z) y))
  (* t y)
  (* (cbrt t) (* y (- x z)))
  (* (sqrt t) (* y (- x z)))
  (* t (* y (- x z)))
  (* t (* y (- (pow x 3) (pow z 3))))
  (* t (* y (- (* x x) (* z z))))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  y
  (* y (+ (sqrt x) (sqrt z)))
  y
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  0
  (* t (* y (- x z)))
  (* t (* y (- x z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
0.196 * * * [progress]: adding candidates to table
0.277 * * [progress]: iteration 2 / 4
0.277 * * * [progress]: picking best candidate
0.290 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* t (* x y)) (* t (* (- z) y))))>
0.290 * * * [progress]: localizing error
0.299 * * * [progress]: generating rewritten candidates
0.299 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.307 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.312 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.319 * * * [progress]: generating series expansions
0.319 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.319 * [approximate]: Taking taylor expansion of (* -1 (* t (* z y))) in (t z y) around 0
0.320 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in y
0.320 * [taylor]: Taking taylor expansion of -1 in y
0.320 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.320 * [taylor]: Taking taylor expansion of t in y
0.320 * [taylor]: Taking taylor expansion of (* z y) in y
0.320 * [taylor]: Taking taylor expansion of z in y
0.320 * [taylor]: Taking taylor expansion of y in y
0.320 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in z
0.320 * [taylor]: Taking taylor expansion of -1 in z
0.320 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.320 * [taylor]: Taking taylor expansion of t in z
0.320 * [taylor]: Taking taylor expansion of (* z y) in z
0.320 * [taylor]: Taking taylor expansion of z in z
0.320 * [taylor]: Taking taylor expansion of y in z
0.320 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in t
0.320 * [taylor]: Taking taylor expansion of -1 in t
0.320 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.320 * [taylor]: Taking taylor expansion of t in t
0.320 * [taylor]: Taking taylor expansion of (* z y) in t
0.320 * [taylor]: Taking taylor expansion of z in t
0.320 * [taylor]: Taking taylor expansion of y in t
0.320 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in t
0.320 * [taylor]: Taking taylor expansion of -1 in t
0.320 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.320 * [taylor]: Taking taylor expansion of t in t
0.320 * [taylor]: Taking taylor expansion of (* z y) in t
0.320 * [taylor]: Taking taylor expansion of z in t
0.320 * [taylor]: Taking taylor expansion of y in t
0.320 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [taylor]: Taking taylor expansion of 0 in y
0.321 * [taylor]: Taking taylor expansion of (- (* z y)) in z
0.321 * [taylor]: Taking taylor expansion of (* z y) in z
0.321 * [taylor]: Taking taylor expansion of z in z
0.321 * [taylor]: Taking taylor expansion of y in z
0.321 * [taylor]: Taking taylor expansion of 0 in y
0.322 * [taylor]: Taking taylor expansion of 0 in y
0.323 * [taylor]: Taking taylor expansion of 0 in z
0.323 * [taylor]: Taking taylor expansion of 0 in y
0.323 * [taylor]: Taking taylor expansion of (- y) in y
0.323 * [taylor]: Taking taylor expansion of y in y
0.324 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
0.324 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
0.324 * [taylor]: Taking taylor expansion of -1 in y
0.324 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.324 * [taylor]: Taking taylor expansion of t in y
0.324 * [taylor]: Taking taylor expansion of (* z y) in y
0.324 * [taylor]: Taking taylor expansion of z in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.327 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
0.327 * [taylor]: Taking taylor expansion of -1 in z
0.327 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.327 * [taylor]: Taking taylor expansion of t in z
0.327 * [taylor]: Taking taylor expansion of (* z y) in z
0.327 * [taylor]: Taking taylor expansion of z in z
0.327 * [taylor]: Taking taylor expansion of y in z
0.327 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
0.327 * [taylor]: Taking taylor expansion of -1 in t
0.327 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.327 * [taylor]: Taking taylor expansion of t in t
0.327 * [taylor]: Taking taylor expansion of (* z y) in t
0.327 * [taylor]: Taking taylor expansion of z in t
0.328 * [taylor]: Taking taylor expansion of y in t
0.328 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
0.328 * [taylor]: Taking taylor expansion of -1 in t
0.328 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.328 * [taylor]: Taking taylor expansion of t in t
0.328 * [taylor]: Taking taylor expansion of (* z y) in t
0.328 * [taylor]: Taking taylor expansion of z in t
0.328 * [taylor]: Taking taylor expansion of y in t
0.328 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
0.328 * [taylor]: Taking taylor expansion of -1 in z
0.328 * [taylor]: Taking taylor expansion of (* z y) in z
0.328 * [taylor]: Taking taylor expansion of z in z
0.329 * [taylor]: Taking taylor expansion of y in z
0.329 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.329 * [taylor]: Taking taylor expansion of -1 in y
0.329 * [taylor]: Taking taylor expansion of y in y
0.330 * [taylor]: Taking taylor expansion of 0 in z
0.331 * [taylor]: Taking taylor expansion of 0 in y
0.333 * [taylor]: Taking taylor expansion of 0 in z
0.333 * [taylor]: Taking taylor expansion of 0 in y
0.333 * [taylor]: Taking taylor expansion of 0 in y
0.336 * [taylor]: Taking taylor expansion of 0 in z
0.336 * [taylor]: Taking taylor expansion of 0 in y
0.336 * [taylor]: Taking taylor expansion of 0 in y
0.337 * [taylor]: Taking taylor expansion of 0 in y
0.337 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
0.337 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.337 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.337 * [taylor]: Taking taylor expansion of t in y
0.337 * [taylor]: Taking taylor expansion of (* z y) in y
0.337 * [taylor]: Taking taylor expansion of z in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.338 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.338 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.338 * [taylor]: Taking taylor expansion of t in z
0.338 * [taylor]: Taking taylor expansion of (* z y) in z
0.338 * [taylor]: Taking taylor expansion of z in z
0.338 * [taylor]: Taking taylor expansion of y in z
0.339 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.339 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.339 * [taylor]: Taking taylor expansion of t in t
0.339 * [taylor]: Taking taylor expansion of (* z y) in t
0.339 * [taylor]: Taking taylor expansion of z in t
0.339 * [taylor]: Taking taylor expansion of y in t
0.339 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.339 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.339 * [taylor]: Taking taylor expansion of t in t
0.339 * [taylor]: Taking taylor expansion of (* z y) in t
0.339 * [taylor]: Taking taylor expansion of z in t
0.339 * [taylor]: Taking taylor expansion of y in t
0.340 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.340 * [taylor]: Taking taylor expansion of (* z y) in z
0.340 * [taylor]: Taking taylor expansion of z in z
0.340 * [taylor]: Taking taylor expansion of y in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.341 * [taylor]: Taking taylor expansion of 0 in z
0.342 * [taylor]: Taking taylor expansion of 0 in y
0.344 * [taylor]: Taking taylor expansion of 0 in z
0.344 * [taylor]: Taking taylor expansion of 0 in y
0.345 * [taylor]: Taking taylor expansion of 0 in y
0.347 * [taylor]: Taking taylor expansion of 0 in z
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.348 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.348 * [approximate]: Taking taylor expansion of (* t (* x y)) in (t x y) around 0
0.348 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.348 * [taylor]: Taking taylor expansion of t in y
0.348 * [taylor]: Taking taylor expansion of (* x y) in y
0.348 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.349 * [taylor]: Taking taylor expansion of t in x
0.349 * [taylor]: Taking taylor expansion of (* x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.349 * [taylor]: Taking taylor expansion of (* x y) in t
0.349 * [taylor]: Taking taylor expansion of x in t
0.349 * [taylor]: Taking taylor expansion of y in t
0.349 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.349 * [taylor]: Taking taylor expansion of t in t
0.349 * [taylor]: Taking taylor expansion of (* x y) in t
0.349 * [taylor]: Taking taylor expansion of x in t
0.349 * [taylor]: Taking taylor expansion of y in t
0.349 * [taylor]: Taking taylor expansion of 0 in x
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [taylor]: Taking taylor expansion of (* x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of 0 in x
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.351 * [approximate]: Taking taylor expansion of (/ 1 (* t (* x y))) in (t x y) around 0
0.351 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
0.351 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.351 * [taylor]: Taking taylor expansion of t in y
0.351 * [taylor]: Taking taylor expansion of (* x y) in y
0.351 * [taylor]: Taking taylor expansion of x in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
0.351 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.351 * [taylor]: Taking taylor expansion of t in x
0.351 * [taylor]: Taking taylor expansion of (* x y) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.352 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.352 * [taylor]: Taking taylor expansion of t in t
0.352 * [taylor]: Taking taylor expansion of (* x y) in t
0.352 * [taylor]: Taking taylor expansion of x in t
0.352 * [taylor]: Taking taylor expansion of y in t
0.352 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.352 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.352 * [taylor]: Taking taylor expansion of t in t
0.352 * [taylor]: Taking taylor expansion of (* x y) in t
0.352 * [taylor]: Taking taylor expansion of x in t
0.352 * [taylor]: Taking taylor expansion of y in t
0.353 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.353 * [taylor]: Taking taylor expansion of (* x y) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of 0 in x
0.355 * [taylor]: Taking taylor expansion of 0 in y
0.357 * [taylor]: Taking taylor expansion of 0 in x
0.357 * [taylor]: Taking taylor expansion of 0 in y
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.360 * [taylor]: Taking taylor expansion of 0 in x
0.360 * [taylor]: Taking taylor expansion of 0 in y
0.360 * [taylor]: Taking taylor expansion of 0 in y
0.361 * [taylor]: Taking taylor expansion of 0 in y
0.361 * [approximate]: Taking taylor expansion of (/ -1 (* t (* x y))) in (t x y) around 0
0.361 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in y
0.361 * [taylor]: Taking taylor expansion of -1 in y
0.361 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.362 * [taylor]: Taking taylor expansion of t in y
0.362 * [taylor]: Taking taylor expansion of (* x y) in y
0.362 * [taylor]: Taking taylor expansion of x in y
0.362 * [taylor]: Taking taylor expansion of y in y
0.362 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in x
0.362 * [taylor]: Taking taylor expansion of -1 in x
0.362 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.362 * [taylor]: Taking taylor expansion of t in x
0.362 * [taylor]: Taking taylor expansion of (* x y) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of y in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in t
0.363 * [taylor]: Taking taylor expansion of -1 in t
0.363 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.363 * [taylor]: Taking taylor expansion of t in t
0.363 * [taylor]: Taking taylor expansion of (* x y) in t
0.363 * [taylor]: Taking taylor expansion of x in t
0.363 * [taylor]: Taking taylor expansion of y in t
0.363 * [taylor]: Taking taylor expansion of (/ -1 (* t (* x y))) in t
0.363 * [taylor]: Taking taylor expansion of -1 in t
0.363 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.363 * [taylor]: Taking taylor expansion of t in t
0.363 * [taylor]: Taking taylor expansion of (* x y) in t
0.363 * [taylor]: Taking taylor expansion of x in t
0.363 * [taylor]: Taking taylor expansion of y in t
0.364 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of (* x y) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of y in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.364 * [taylor]: Taking taylor expansion of -1 in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [taylor]: Taking taylor expansion of 0 in y
0.368 * [taylor]: Taking taylor expansion of 0 in x
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [taylor]: Taking taylor expansion of 0 in x
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.372 * [taylor]: Taking taylor expansion of 0 in y
0.373 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.373 * [approximate]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in (t x y z) around 0
0.373 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in z
0.373 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
0.373 * [taylor]: Taking taylor expansion of t in z
0.373 * [taylor]: Taking taylor expansion of (* x y) in z
0.373 * [taylor]: Taking taylor expansion of x in z
0.373 * [taylor]: Taking taylor expansion of y in z
0.373 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.373 * [taylor]: Taking taylor expansion of t in z
0.373 * [taylor]: Taking taylor expansion of (* z y) in z
0.373 * [taylor]: Taking taylor expansion of z in z
0.373 * [taylor]: Taking taylor expansion of y in z
0.373 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in y
0.373 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.373 * [taylor]: Taking taylor expansion of t in y
0.373 * [taylor]: Taking taylor expansion of (* x y) in y
0.373 * [taylor]: Taking taylor expansion of x in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.373 * [taylor]: Taking taylor expansion of t in y
0.373 * [taylor]: Taking taylor expansion of (* z y) in y
0.373 * [taylor]: Taking taylor expansion of z in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in x
0.373 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.373 * [taylor]: Taking taylor expansion of t in x
0.373 * [taylor]: Taking taylor expansion of (* x y) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
0.373 * [taylor]: Taking taylor expansion of t in x
0.373 * [taylor]: Taking taylor expansion of (* z y) in x
0.373 * [taylor]: Taking taylor expansion of z in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in t
0.373 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.373 * [taylor]: Taking taylor expansion of t in t
0.373 * [taylor]: Taking taylor expansion of (* x y) in t
0.373 * [taylor]: Taking taylor expansion of x in t
0.373 * [taylor]: Taking taylor expansion of y in t
0.373 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.373 * [taylor]: Taking taylor expansion of t in t
0.373 * [taylor]: Taking taylor expansion of (* z y) in t
0.373 * [taylor]: Taking taylor expansion of z in t
0.373 * [taylor]: Taking taylor expansion of y in t
0.373 * [taylor]: Taking taylor expansion of (- (* t (* x y)) (* t (* z y))) in t
0.373 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.373 * [taylor]: Taking taylor expansion of t in t
0.373 * [taylor]: Taking taylor expansion of (* x y) in t
0.373 * [taylor]: Taking taylor expansion of x in t
0.374 * [taylor]: Taking taylor expansion of y in t
0.374 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.374 * [taylor]: Taking taylor expansion of t in t
0.374 * [taylor]: Taking taylor expansion of (* z y) in t
0.374 * [taylor]: Taking taylor expansion of z in t
0.374 * [taylor]: Taking taylor expansion of y in t
0.374 * [taylor]: Taking taylor expansion of 0 in x
0.374 * [taylor]: Taking taylor expansion of 0 in y
0.374 * [taylor]: Taking taylor expansion of 0 in z
0.375 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
0.375 * [taylor]: Taking taylor expansion of (* x y) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of (* z y) in x
0.375 * [taylor]: Taking taylor expansion of z in x
0.375 * [taylor]: Taking taylor expansion of y in x
0.375 * [taylor]: Taking taylor expansion of (- (* z y)) in y
0.375 * [taylor]: Taking taylor expansion of (* z y) in y
0.375 * [taylor]: Taking taylor expansion of z in y
0.375 * [taylor]: Taking taylor expansion of y in y
0.375 * [taylor]: Taking taylor expansion of 0 in z
0.376 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of 0 in z
0.376 * [taylor]: Taking taylor expansion of 0 in z
0.378 * [taylor]: Taking taylor expansion of 0 in x
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [taylor]: Taking taylor expansion of 0 in z
0.378 * [approximate]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in (t x y z) around 0
0.378 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in z
0.378 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in z
0.378 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
0.378 * [taylor]: Taking taylor expansion of t in z
0.378 * [taylor]: Taking taylor expansion of (* x y) in z
0.378 * [taylor]: Taking taylor expansion of x in z
0.378 * [taylor]: Taking taylor expansion of y in z
0.378 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.378 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.378 * [taylor]: Taking taylor expansion of t in z
0.378 * [taylor]: Taking taylor expansion of (* z y) in z
0.378 * [taylor]: Taking taylor expansion of z in z
0.378 * [taylor]: Taking taylor expansion of y in z
0.379 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in y
0.379 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
0.379 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.379 * [taylor]: Taking taylor expansion of t in y
0.379 * [taylor]: Taking taylor expansion of (* x y) in y
0.379 * [taylor]: Taking taylor expansion of x in y
0.379 * [taylor]: Taking taylor expansion of y in y
0.379 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.379 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.380 * [taylor]: Taking taylor expansion of t in y
0.380 * [taylor]: Taking taylor expansion of (* z y) in y
0.380 * [taylor]: Taking taylor expansion of z in y
0.380 * [taylor]: Taking taylor expansion of y in y
0.380 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in x
0.380 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
0.380 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.380 * [taylor]: Taking taylor expansion of t in x
0.380 * [taylor]: Taking taylor expansion of (* x y) in x
0.380 * [taylor]: Taking taylor expansion of x in x
0.380 * [taylor]: Taking taylor expansion of y in x
0.381 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
0.381 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
0.381 * [taylor]: Taking taylor expansion of t in x
0.381 * [taylor]: Taking taylor expansion of (* z y) in x
0.381 * [taylor]: Taking taylor expansion of z in x
0.381 * [taylor]: Taking taylor expansion of y in x
0.381 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in t
0.381 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.381 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.381 * [taylor]: Taking taylor expansion of t in t
0.381 * [taylor]: Taking taylor expansion of (* x y) in t
0.381 * [taylor]: Taking taylor expansion of x in t
0.381 * [taylor]: Taking taylor expansion of y in t
0.382 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.382 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.382 * [taylor]: Taking taylor expansion of t in t
0.382 * [taylor]: Taking taylor expansion of (* z y) in t
0.382 * [taylor]: Taking taylor expansion of z in t
0.382 * [taylor]: Taking taylor expansion of y in t
0.382 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* x y))) (/ 1 (* t (* z y)))) in t
0.382 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.382 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.382 * [taylor]: Taking taylor expansion of t in t
0.382 * [taylor]: Taking taylor expansion of (* x y) in t
0.382 * [taylor]: Taking taylor expansion of x in t
0.382 * [taylor]: Taking taylor expansion of y in t
0.382 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.382 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.382 * [taylor]: Taking taylor expansion of t in t
0.383 * [taylor]: Taking taylor expansion of (* z y) in t
0.383 * [taylor]: Taking taylor expansion of z in t
0.383 * [taylor]: Taking taylor expansion of y in t
0.383 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
0.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.383 * [taylor]: Taking taylor expansion of (* x y) in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of y in x
0.383 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.383 * [taylor]: Taking taylor expansion of (* z y) in x
0.383 * [taylor]: Taking taylor expansion of z in x
0.384 * [taylor]: Taking taylor expansion of y in x
0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.384 * [taylor]: Taking taylor expansion of y in y
0.384 * [taylor]: Taking taylor expansion of 1 in z
0.386 * [taylor]: Taking taylor expansion of 0 in x
0.387 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
0.387 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.387 * [taylor]: Taking taylor expansion of (* z y) in y
0.387 * [taylor]: Taking taylor expansion of z in y
0.387 * [taylor]: Taking taylor expansion of y in y
0.387 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.387 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.387 * [taylor]: Taking taylor expansion of z in z
0.388 * [taylor]: Taking taylor expansion of 0 in z
0.391 * [taylor]: Taking taylor expansion of 0 in x
0.391 * [taylor]: Taking taylor expansion of 0 in y
0.393 * [taylor]: Taking taylor expansion of 0 in y
0.393 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.399 * [taylor]: Taking taylor expansion of 0 in x
0.399 * [taylor]: Taking taylor expansion of 0 in y
0.399 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in z
0.401 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.403 * [approximate]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in (t x y z) around 0
0.404 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.404 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.404 * [taylor]: Taking taylor expansion of t in z
0.404 * [taylor]: Taking taylor expansion of (* z y) in z
0.404 * [taylor]: Taking taylor expansion of z in z
0.404 * [taylor]: Taking taylor expansion of y in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in z
0.404 * [taylor]: Taking taylor expansion of (* t (* x y)) in z
0.404 * [taylor]: Taking taylor expansion of t in z
0.404 * [taylor]: Taking taylor expansion of (* x y) in z
0.404 * [taylor]: Taking taylor expansion of x in z
0.404 * [taylor]: Taking taylor expansion of y in z
0.404 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in y
0.404 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.404 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.404 * [taylor]: Taking taylor expansion of t in y
0.404 * [taylor]: Taking taylor expansion of (* z y) in y
0.404 * [taylor]: Taking taylor expansion of z in y
0.404 * [taylor]: Taking taylor expansion of y in y
0.405 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in y
0.405 * [taylor]: Taking taylor expansion of (* t (* x y)) in y
0.405 * [taylor]: Taking taylor expansion of t in y
0.405 * [taylor]: Taking taylor expansion of (* x y) in y
0.405 * [taylor]: Taking taylor expansion of x in y
0.405 * [taylor]: Taking taylor expansion of y in y
0.406 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
0.406 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
0.406 * [taylor]: Taking taylor expansion of t in x
0.406 * [taylor]: Taking taylor expansion of (* z y) in x
0.406 * [taylor]: Taking taylor expansion of z in x
0.406 * [taylor]: Taking taylor expansion of y in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in x
0.406 * [taylor]: Taking taylor expansion of (* t (* x y)) in x
0.406 * [taylor]: Taking taylor expansion of t in x
0.406 * [taylor]: Taking taylor expansion of (* x y) in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of y in x
0.407 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in t
0.407 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.407 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.407 * [taylor]: Taking taylor expansion of t in t
0.407 * [taylor]: Taking taylor expansion of (* z y) in t
0.407 * [taylor]: Taking taylor expansion of z in t
0.407 * [taylor]: Taking taylor expansion of y in t
0.407 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.407 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.407 * [taylor]: Taking taylor expansion of t in t
0.407 * [taylor]: Taking taylor expansion of (* x y) in t
0.407 * [taylor]: Taking taylor expansion of x in t
0.407 * [taylor]: Taking taylor expansion of y in t
0.408 * [taylor]: Taking taylor expansion of (- (/ 1 (* t (* z y))) (/ 1 (* t (* x y)))) in t
0.408 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.408 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.408 * [taylor]: Taking taylor expansion of t in t
0.408 * [taylor]: Taking taylor expansion of (* z y) in t
0.408 * [taylor]: Taking taylor expansion of z in t
0.408 * [taylor]: Taking taylor expansion of y in t
0.408 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
0.408 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
0.408 * [taylor]: Taking taylor expansion of t in t
0.408 * [taylor]: Taking taylor expansion of (* x y) in t
0.408 * [taylor]: Taking taylor expansion of x in t
0.408 * [taylor]: Taking taylor expansion of y in t
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.409 * [taylor]: Taking taylor expansion of (* z y) in x
0.409 * [taylor]: Taking taylor expansion of z in x
0.409 * [taylor]: Taking taylor expansion of y in x
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.409 * [taylor]: Taking taylor expansion of (* x y) in x
0.409 * [taylor]: Taking taylor expansion of x in x
0.409 * [taylor]: Taking taylor expansion of y in x
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.409 * [taylor]: Taking taylor expansion of y in y
0.410 * [taylor]: Taking taylor expansion of -1 in z
0.414 * [taylor]: Taking taylor expansion of 0 in x
0.415 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.415 * [taylor]: Taking taylor expansion of (* z y) in y
0.415 * [taylor]: Taking taylor expansion of z in y
0.415 * [taylor]: Taking taylor expansion of y in y
0.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.416 * [taylor]: Taking taylor expansion of z in z
0.416 * [taylor]: Taking taylor expansion of 0 in z
0.420 * [taylor]: Taking taylor expansion of 0 in x
0.420 * [taylor]: Taking taylor expansion of 0 in y
0.421 * [taylor]: Taking taylor expansion of 0 in y
0.421 * [taylor]: Taking taylor expansion of 0 in z
0.422 * [taylor]: Taking taylor expansion of 0 in z
0.427 * [taylor]: Taking taylor expansion of 0 in x
0.427 * [taylor]: Taking taylor expansion of 0 in y
0.427 * [taylor]: Taking taylor expansion of 0 in y
0.429 * [taylor]: Taking taylor expansion of 0 in y
0.429 * [taylor]: Taking taylor expansion of 0 in z
0.429 * [taylor]: Taking taylor expansion of 0 in z
0.429 * [taylor]: Taking taylor expansion of 0 in z
0.430 * [taylor]: Taking taylor expansion of 0 in z
0.431 * * * [progress]: simplifying candidates
0.432 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t (* (- z) y))
  (* t (* (- z) y))
  (+ (log t) (+ (log (- z)) (log y)))
  (+ (log t) (log (* (- z) y)))
  (log (* t (* (- z) y)))
  (exp (* t (* (- z) y)))
  (* (* (* t t) t) (* (* (* (- z) (- z)) (- z)) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* (- z) y) (* (- z) y)) (* (- z) y)))
  (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y))))
  (cbrt (* t (* (- z) y)))
  (* (* (* t (* (- z) y)) (* t (* (- z) y))) (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (* t (* z y))
  (* t (- z))
  (* (cbrt t) (* (- z) y))
  (* (sqrt t) (* (- z) y))
  (* t (* (- z) y))
  (* t (* x y))
  (* t (* x y))
  (+ (log t) (+ (log x) (log y)))
  (+ (log t) (log (* x y)))
  (log (* t (* x y)))
  (exp (* t (* x y)))
  (* (* (* t t) t) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* t (* x y))) (cbrt (* t (* x y))))
  (cbrt (* t (* x y)))
  (* (* (* t (* x y)) (* t (* x y))) (* t (* x y)))
  (sqrt (* t (* x y)))
  (sqrt (* t (* x y)))
  (* t x)
  (* (cbrt t) (* x y))
  (* (sqrt t) (* x y))
  (* t (* x y))
  (* (exp (* t (* x y))) (exp (* t (* (- z) y))))
  (log (+ (* t (* x y)) (* t (* (- z) y))))
  (exp (+ (* t (* x y)) (* t (* (- z) y))))
  (* (cbrt (+ (* t (* x y)) (* t (* (- z) y)))) (cbrt (+ (* t (* x y)) (* t (* (- z) y)))))
  (cbrt (+ (* t (* x y)) (* t (* (- z) y))))
  (* (* (+ (* t (* x y)) (* t (* (- z) y))) (+ (* t (* x y)) (* t (* (- z) y)))) (+ (* t (* x y)) (* t (* (- z) y))))
  (sqrt (+ (* t (* x y)) (* t (* (- z) y))))
  (sqrt (+ (* t (* x y)) (* t (* (- z) y))))
  (+ (pow (* t (* x y)) 3) (pow (* t (* (- z) y)) 3))
  (+ (* (* t (* x y)) (* t (* x y))) (- (* (* t (* (- z) y)) (* t (* (- z) y))) (* (* t (* x y)) (* t (* (- z) y)))))
  (- (* (* t (* x y)) (* t (* x y))) (* (* t (* (- z) y)) (* t (* (- z) y))))
  (- (* t (* x y)) (* t (* (- z) y)))
  (+ (* x y) (* (- z) y))
  0
  (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
  0
  (* t (* x y))
  (* t (* x y))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
0.436 * * [simplify]: iteration  0 :  254  enodes  (cost  278 )
0.441 * * [simplify]: iteration  1 :  1059  enodes  (cost  233 )
0.471 * * [simplify]: iteration  2 :  5001  enodes  (cost  225 )
0.472 * [simplify]: Simplified to:
   (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
  (log (* t (* (- z) y)))
  (log (* t (* (- z) y)))
  (log (* t (* (- z) y)))
  (exp (* t (* (- z) y)))
  (pow (* t (* (- z) y)) 3)
  (pow (* t (* (- z) y)) 3)
  (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y))))
  (cbrt (* t (* (- z) y)))
  (pow (* t (* (- z) y)) 3)
  (sqrt (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (* t (* z y))
  (* t (- z))
  (* (cbrt t) (* (- z) y))
  (* (sqrt t) (* (- z) y))
  (* -1 (* t (* z y)))
  (* t (* x y))
  (* t (* x y))
  (log (* t (* x y)))
  (log (* t (* x y)))
  (log (* t (* x y)))
  (exp (* t (* x y)))
  (pow (* t (* x y)) 3)
  (pow (* t (* x y)) 3)
  (* (cbrt (* t (* x y))) (cbrt (* t (* x y))))
  (cbrt (* t (* x y)))
  (pow (* t (* x y)) 3)
  (sqrt (* t (* x y)))
  (sqrt (* t (* x y)))
  (* t x)
  (* (cbrt t) (* x y))
  (* (sqrt t) (* x y))
  (* t (* x y))
  (pow (exp (* t y)) (- x z))
  (+ (log (* t y)) (log (- x z)))
  (pow (exp (* t y)) (- x z))
  (* (cbrt (+ (* t (* x y)) (* t (* (- z) y)))) (cbrt (+ (* t (* x y)) (* t (* (- z) y)))))
  (cbrt (+ (* t (* x y)) (* t (* (- z) y))))
  (pow (* (* y (- x z)) t) 3)
  (sqrt (+ (* t (* x y)) (* t (* (- z) y))))
  (sqrt (+ (* t (* x y)) (* t (* (- z) y))))
  (+ (pow (* t (* x y)) 3) (pow (* t (* (- z) y)) 3))
  (* t (+ (* (* x y) (* t (* x y))) (* (* (- z) y) (* t (- (* (- z) y) (* x y))))))
  (* (* (* (* y (- x z)) t) y) (* t (- x (- z))))
  (* (* y (- x (- z))) t)
  (* y (- x z))
  0
  (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
  0
  (* t (* x y))
  (* t (* x y))
  0
  (* (* y (- x z)) t)
  (* (* y (- x z)) t)
0.472 * * * [progress]: adding candidates to table
0.578 * * [progress]: iteration 3 / 4
0.579 * * * [progress]: picking best candidate
0.591 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))>
0.591 * * * [progress]: localizing error
0.607 * * * [progress]: generating rewritten candidates
0.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.613 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.624 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.632 * * * [progress]: generating series expansions
0.632 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.632 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in (t z y) around 0
0.632 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in y
0.632 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.632 * [taylor]: Taking taylor expansion of -1 in y
0.633 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in y
0.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in y
0.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in y
0.633 * [taylor]: Taking taylor expansion of 1/3 in y
0.634 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in y
0.634 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.634 * [taylor]: Taking taylor expansion of z in y
0.634 * [taylor]: Taking taylor expansion of (* y t) in y
0.634 * [taylor]: Taking taylor expansion of y in y
0.634 * [taylor]: Taking taylor expansion of t in y
0.635 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in z
0.635 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.635 * [taylor]: Taking taylor expansion of -1 in z
0.635 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in z
0.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in z
0.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in z
0.635 * [taylor]: Taking taylor expansion of 1/3 in z
0.635 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in z
0.635 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.635 * [taylor]: Taking taylor expansion of z in z
0.635 * [taylor]: Taking taylor expansion of (* y t) in z
0.636 * [taylor]: Taking taylor expansion of y in z
0.636 * [taylor]: Taking taylor expansion of t in z
0.636 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.636 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.636 * [taylor]: Taking taylor expansion of -1 in t
0.637 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.637 * [taylor]: Taking taylor expansion of 1/3 in t
0.637 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.637 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.637 * [taylor]: Taking taylor expansion of z in t
0.637 * [taylor]: Taking taylor expansion of (* y t) in t
0.637 * [taylor]: Taking taylor expansion of y in t
0.637 * [taylor]: Taking taylor expansion of t in t
0.638 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.638 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.638 * [taylor]: Taking taylor expansion of -1 in t
0.639 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.639 * [taylor]: Taking taylor expansion of 1/3 in t
0.639 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.639 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.639 * [taylor]: Taking taylor expansion of z in t
0.639 * [taylor]: Taking taylor expansion of (* y t) in t
0.639 * [taylor]: Taking taylor expansion of y in t
0.639 * [taylor]: Taking taylor expansion of t in t
0.641 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log t) (log (* z y)))))) in z
0.641 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.641 * [taylor]: Taking taylor expansion of -1 in z
0.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log (* z y))))) in z
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log (* z y)))) in z
0.641 * [taylor]: Taking taylor expansion of 1/3 in z
0.641 * [taylor]: Taking taylor expansion of (+ (log t) (log (* z y))) in z
0.641 * [taylor]: Taking taylor expansion of (log t) in z
0.641 * [taylor]: Taking taylor expansion of t in z
0.641 * [taylor]: Taking taylor expansion of (log (* z y)) in z
0.641 * [taylor]: Taking taylor expansion of (* z y) in z
0.641 * [taylor]: Taking taylor expansion of z in z
0.641 * [taylor]: Taking taylor expansion of y in z
0.643 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1)) in y
0.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) in y
0.643 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (+ (log z) (log y)))) in y
0.643 * [taylor]: Taking taylor expansion of 1/3 in y
0.643 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log z) (log y))) in y
0.643 * [taylor]: Taking taylor expansion of (log t) in y
0.643 * [taylor]: Taking taylor expansion of t in y
0.643 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
0.643 * [taylor]: Taking taylor expansion of (log z) in y
0.643 * [taylor]: Taking taylor expansion of z in y
0.643 * [taylor]: Taking taylor expansion of (log y) in y
0.643 * [taylor]: Taking taylor expansion of y in y
0.644 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.644 * [taylor]: Taking taylor expansion of -1 in y
0.648 * [taylor]: Taking taylor expansion of 0 in z
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.651 * [taylor]: Taking taylor expansion of 0 in y
0.659 * [taylor]: Taking taylor expansion of 0 in z
0.659 * [taylor]: Taking taylor expansion of 0 in y
0.659 * [taylor]: Taking taylor expansion of 0 in y
0.665 * [taylor]: Taking taylor expansion of 0 in y
0.666 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in (t z y) around 0
0.666 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in y
0.666 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.666 * [taylor]: Taking taylor expansion of -1 in y
0.666 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in y
0.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in y
0.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in y
0.667 * [taylor]: Taking taylor expansion of 1/3 in y
0.667 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in y
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in y
0.667 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.667 * [taylor]: Taking taylor expansion of z in y
0.667 * [taylor]: Taking taylor expansion of (* y t) in y
0.667 * [taylor]: Taking taylor expansion of y in y
0.667 * [taylor]: Taking taylor expansion of t in y
0.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in z
0.668 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.668 * [taylor]: Taking taylor expansion of -1 in z
0.668 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in z
0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in z
0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in z
0.669 * [taylor]: Taking taylor expansion of 1/3 in z
0.669 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in z
0.669 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in z
0.669 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.669 * [taylor]: Taking taylor expansion of z in z
0.669 * [taylor]: Taking taylor expansion of (* y t) in z
0.669 * [taylor]: Taking taylor expansion of y in z
0.669 * [taylor]: Taking taylor expansion of t in z
0.670 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.670 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.670 * [taylor]: Taking taylor expansion of -1 in t
0.670 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.670 * [taylor]: Taking taylor expansion of 1/3 in t
0.670 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.670 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.670 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.670 * [taylor]: Taking taylor expansion of z in t
0.670 * [taylor]: Taking taylor expansion of (* y t) in t
0.670 * [taylor]: Taking taylor expansion of y in t
0.670 * [taylor]: Taking taylor expansion of t in t
0.672 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.672 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.672 * [taylor]: Taking taylor expansion of -1 in t
0.672 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.673 * [taylor]: Taking taylor expansion of 1/3 in t
0.673 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.673 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.673 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.673 * [taylor]: Taking taylor expansion of z in t
0.673 * [taylor]: Taking taylor expansion of (* y t) in t
0.673 * [taylor]: Taking taylor expansion of y in t
0.673 * [taylor]: Taking taylor expansion of t in t
0.674 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log t))))) in z
0.674 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.674 * [taylor]: Taking taylor expansion of -1 in z
0.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.675 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.675 * [taylor]: Taking taylor expansion of 1/3 in z
0.675 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.675 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.675 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.675 * [taylor]: Taking taylor expansion of (* z y) in z
0.675 * [taylor]: Taking taylor expansion of z in z
0.675 * [taylor]: Taking taylor expansion of y in z
0.675 * [taylor]: Taking taylor expansion of (log t) in z
0.675 * [taylor]: Taking taylor expansion of t in z
0.676 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))))) in y
0.676 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.676 * [taylor]: Taking taylor expansion of -1 in y
0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.677 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.677 * [taylor]: Taking taylor expansion of 1/3 in y
0.677 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.677 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.677 * [taylor]: Taking taylor expansion of y in y
0.678 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.678 * [taylor]: Taking taylor expansion of (log z) in y
0.678 * [taylor]: Taking taylor expansion of z in y
0.678 * [taylor]: Taking taylor expansion of (log t) in y
0.678 * [taylor]: Taking taylor expansion of t in y
0.682 * [taylor]: Taking taylor expansion of 0 in z
0.682 * [taylor]: Taking taylor expansion of 0 in y
0.686 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of 0 in z
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.704 * [taylor]: Taking taylor expansion of 0 in y
0.704 * [approximate]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in (t z y) around 0
0.705 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in y
0.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in y
0.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in y
0.705 * [taylor]: Taking taylor expansion of 1/3 in y
0.705 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in y
0.705 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.705 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.705 * [taylor]: Taking taylor expansion of t in y
0.705 * [taylor]: Taking taylor expansion of (* z y) in y
0.705 * [taylor]: Taking taylor expansion of z in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.706 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in z
0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in z
0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in z
0.706 * [taylor]: Taking taylor expansion of 1/3 in z
0.706 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in z
0.706 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.706 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.706 * [taylor]: Taking taylor expansion of t in z
0.706 * [taylor]: Taking taylor expansion of (* z y) in z
0.706 * [taylor]: Taking taylor expansion of z in z
0.706 * [taylor]: Taking taylor expansion of y in z
0.707 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.707 * [taylor]: Taking taylor expansion of 1/3 in t
0.707 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.707 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.707 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.707 * [taylor]: Taking taylor expansion of t in t
0.707 * [taylor]: Taking taylor expansion of (* z y) in t
0.707 * [taylor]: Taking taylor expansion of z in t
0.707 * [taylor]: Taking taylor expansion of y in t
0.708 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.708 * [taylor]: Taking taylor expansion of 1/3 in t
0.708 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.708 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.708 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.708 * [taylor]: Taking taylor expansion of t in t
0.708 * [taylor]: Taking taylor expansion of (* z y) in t
0.708 * [taylor]: Taking taylor expansion of z in t
0.708 * [taylor]: Taking taylor expansion of y in t
0.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.709 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.709 * [taylor]: Taking taylor expansion of 1/3 in z
0.709 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.709 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.709 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.709 * [taylor]: Taking taylor expansion of (* z y) in z
0.709 * [taylor]: Taking taylor expansion of z in z
0.709 * [taylor]: Taking taylor expansion of y in z
0.710 * [taylor]: Taking taylor expansion of (log t) in z
0.710 * [taylor]: Taking taylor expansion of t in z
0.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.710 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.710 * [taylor]: Taking taylor expansion of 1/3 in y
0.710 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.710 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.710 * [taylor]: Taking taylor expansion of y in y
0.711 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.711 * [taylor]: Taking taylor expansion of (log z) in y
0.711 * [taylor]: Taking taylor expansion of z in y
0.711 * [taylor]: Taking taylor expansion of (log t) in y
0.711 * [taylor]: Taking taylor expansion of t in y
0.714 * [taylor]: Taking taylor expansion of 0 in z
0.714 * [taylor]: Taking taylor expansion of 0 in y
0.717 * [taylor]: Taking taylor expansion of 0 in y
0.725 * [taylor]: Taking taylor expansion of 0 in z
0.725 * [taylor]: Taking taylor expansion of 0 in y
0.725 * [taylor]: Taking taylor expansion of 0 in y
0.730 * [taylor]: Taking taylor expansion of 0 in y
0.730 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.730 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in (t z y) around 0
0.730 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in y
0.730 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.730 * [taylor]: Taking taylor expansion of -1 in y
0.731 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in y
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in y
0.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in y
0.731 * [taylor]: Taking taylor expansion of 1/3 in y
0.731 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in y
0.731 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.731 * [taylor]: Taking taylor expansion of z in y
0.731 * [taylor]: Taking taylor expansion of (* y t) in y
0.731 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of t in y
0.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in z
0.732 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.732 * [taylor]: Taking taylor expansion of -1 in z
0.733 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in z
0.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in z
0.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in z
0.733 * [taylor]: Taking taylor expansion of 1/3 in z
0.733 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in z
0.733 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.733 * [taylor]: Taking taylor expansion of z in z
0.733 * [taylor]: Taking taylor expansion of (* y t) in z
0.733 * [taylor]: Taking taylor expansion of y in z
0.733 * [taylor]: Taking taylor expansion of t in z
0.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.734 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.734 * [taylor]: Taking taylor expansion of -1 in t
0.735 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.735 * [taylor]: Taking taylor expansion of 1/3 in t
0.735 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.735 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.735 * [taylor]: Taking taylor expansion of z in t
0.735 * [taylor]: Taking taylor expansion of (* y t) in t
0.735 * [taylor]: Taking taylor expansion of y in t
0.735 * [taylor]: Taking taylor expansion of t in t
0.736 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.736 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.736 * [taylor]: Taking taylor expansion of -1 in t
0.737 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.737 * [taylor]: Taking taylor expansion of 1/3 in t
0.737 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.737 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.737 * [taylor]: Taking taylor expansion of z in t
0.737 * [taylor]: Taking taylor expansion of (* y t) in t
0.737 * [taylor]: Taking taylor expansion of y in t
0.737 * [taylor]: Taking taylor expansion of t in t
0.738 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log t) (log (* z y)))))) in z
0.738 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.738 * [taylor]: Taking taylor expansion of -1 in z
0.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log (* z y))))) in z
0.739 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log (* z y)))) in z
0.739 * [taylor]: Taking taylor expansion of 1/3 in z
0.739 * [taylor]: Taking taylor expansion of (+ (log t) (log (* z y))) in z
0.739 * [taylor]: Taking taylor expansion of (log t) in z
0.739 * [taylor]: Taking taylor expansion of t in z
0.739 * [taylor]: Taking taylor expansion of (log (* z y)) in z
0.739 * [taylor]: Taking taylor expansion of (* z y) in z
0.739 * [taylor]: Taking taylor expansion of z in z
0.739 * [taylor]: Taking taylor expansion of y in z
0.740 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1)) in y
0.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) in y
0.740 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (+ (log z) (log y)))) in y
0.740 * [taylor]: Taking taylor expansion of 1/3 in y
0.740 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log z) (log y))) in y
0.740 * [taylor]: Taking taylor expansion of (log t) in y
0.740 * [taylor]: Taking taylor expansion of t in y
0.741 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
0.741 * [taylor]: Taking taylor expansion of (log z) in y
0.741 * [taylor]: Taking taylor expansion of z in y
0.741 * [taylor]: Taking taylor expansion of (log y) in y
0.741 * [taylor]: Taking taylor expansion of y in y
0.741 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.741 * [taylor]: Taking taylor expansion of -1 in y
0.746 * [taylor]: Taking taylor expansion of 0 in z
0.746 * [taylor]: Taking taylor expansion of 0 in y
0.749 * [taylor]: Taking taylor expansion of 0 in y
0.757 * [taylor]: Taking taylor expansion of 0 in z
0.757 * [taylor]: Taking taylor expansion of 0 in y
0.757 * [taylor]: Taking taylor expansion of 0 in y
0.763 * [taylor]: Taking taylor expansion of 0 in y
0.763 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in (t z y) around 0
0.763 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in y
0.763 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.763 * [taylor]: Taking taylor expansion of -1 in y
0.764 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in y
0.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in y
0.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in y
0.764 * [taylor]: Taking taylor expansion of 1/3 in y
0.764 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in y
0.764 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.764 * [taylor]: Taking taylor expansion of z in y
0.764 * [taylor]: Taking taylor expansion of (* y t) in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of t in y
0.765 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in z
0.765 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.765 * [taylor]: Taking taylor expansion of -1 in z
0.766 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in z
0.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in z
0.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in z
0.766 * [taylor]: Taking taylor expansion of 1/3 in z
0.766 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in z
0.766 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in z
0.766 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.766 * [taylor]: Taking taylor expansion of z in z
0.766 * [taylor]: Taking taylor expansion of (* y t) in z
0.766 * [taylor]: Taking taylor expansion of y in z
0.766 * [taylor]: Taking taylor expansion of t in z
0.767 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.767 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.767 * [taylor]: Taking taylor expansion of -1 in t
0.768 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.768 * [taylor]: Taking taylor expansion of 1/3 in t
0.768 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.768 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.768 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.768 * [taylor]: Taking taylor expansion of z in t
0.768 * [taylor]: Taking taylor expansion of (* y t) in t
0.768 * [taylor]: Taking taylor expansion of y in t
0.768 * [taylor]: Taking taylor expansion of t in t
0.769 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.769 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.769 * [taylor]: Taking taylor expansion of -1 in t
0.770 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.770 * [taylor]: Taking taylor expansion of 1/3 in t
0.770 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.770 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.770 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.770 * [taylor]: Taking taylor expansion of z in t
0.770 * [taylor]: Taking taylor expansion of (* y t) in t
0.770 * [taylor]: Taking taylor expansion of y in t
0.770 * [taylor]: Taking taylor expansion of t in t
0.772 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log t))))) in z
0.772 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.772 * [taylor]: Taking taylor expansion of -1 in z
0.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.773 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.773 * [taylor]: Taking taylor expansion of 1/3 in z
0.773 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.773 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.773 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.773 * [taylor]: Taking taylor expansion of (* z y) in z
0.773 * [taylor]: Taking taylor expansion of z in z
0.773 * [taylor]: Taking taylor expansion of y in z
0.773 * [taylor]: Taking taylor expansion of (log t) in z
0.773 * [taylor]: Taking taylor expansion of t in z
0.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))))) in y
0.774 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.774 * [taylor]: Taking taylor expansion of -1 in y
0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.775 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.775 * [taylor]: Taking taylor expansion of 1/3 in y
0.775 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.775 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.776 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.776 * [taylor]: Taking taylor expansion of (log z) in y
0.776 * [taylor]: Taking taylor expansion of z in y
0.776 * [taylor]: Taking taylor expansion of (log t) in y
0.776 * [taylor]: Taking taylor expansion of t in y
0.783 * [taylor]: Taking taylor expansion of 0 in z
0.783 * [taylor]: Taking taylor expansion of 0 in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.795 * [taylor]: Taking taylor expansion of 0 in z
0.795 * [taylor]: Taking taylor expansion of 0 in y
0.795 * [taylor]: Taking taylor expansion of 0 in y
0.801 * [taylor]: Taking taylor expansion of 0 in y
0.802 * [approximate]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in (t z y) around 0
0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in y
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in y
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in y
0.802 * [taylor]: Taking taylor expansion of 1/3 in y
0.802 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in y
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.802 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.802 * [taylor]: Taking taylor expansion of t in y
0.802 * [taylor]: Taking taylor expansion of (* z y) in y
0.802 * [taylor]: Taking taylor expansion of z in y
0.802 * [taylor]: Taking taylor expansion of y in y
0.803 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in z
0.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in z
0.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in z
0.803 * [taylor]: Taking taylor expansion of 1/3 in z
0.803 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in z
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.803 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.803 * [taylor]: Taking taylor expansion of t in z
0.803 * [taylor]: Taking taylor expansion of (* z y) in z
0.803 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of y in z
0.805 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.805 * [taylor]: Taking taylor expansion of 1/3 in t
0.805 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.805 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.805 * [taylor]: Taking taylor expansion of t in t
0.805 * [taylor]: Taking taylor expansion of (* z y) in t
0.805 * [taylor]: Taking taylor expansion of z in t
0.805 * [taylor]: Taking taylor expansion of y in t
0.806 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.806 * [taylor]: Taking taylor expansion of 1/3 in t
0.806 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.806 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.806 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.806 * [taylor]: Taking taylor expansion of t in t
0.806 * [taylor]: Taking taylor expansion of (* z y) in t
0.806 * [taylor]: Taking taylor expansion of z in t
0.806 * [taylor]: Taking taylor expansion of y in t
0.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.807 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.807 * [taylor]: Taking taylor expansion of 1/3 in z
0.807 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.807 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.807 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.807 * [taylor]: Taking taylor expansion of (* z y) in z
0.807 * [taylor]: Taking taylor expansion of z in z
0.807 * [taylor]: Taking taylor expansion of y in z
0.807 * [taylor]: Taking taylor expansion of (log t) in z
0.807 * [taylor]: Taking taylor expansion of t in z
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.808 * [taylor]: Taking taylor expansion of 1/3 in y
0.808 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.808 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.808 * [taylor]: Taking taylor expansion of y in y
0.808 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.809 * [taylor]: Taking taylor expansion of (log z) in y
0.809 * [taylor]: Taking taylor expansion of z in y
0.809 * [taylor]: Taking taylor expansion of (log t) in y
0.809 * [taylor]: Taking taylor expansion of t in y
0.812 * [taylor]: Taking taylor expansion of 0 in z
0.812 * [taylor]: Taking taylor expansion of 0 in y
0.815 * [taylor]: Taking taylor expansion of 0 in y
0.823 * [taylor]: Taking taylor expansion of 0 in z
0.823 * [taylor]: Taking taylor expansion of 0 in y
0.823 * [taylor]: Taking taylor expansion of 0 in y
0.828 * [taylor]: Taking taylor expansion of 0 in y
0.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.828 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in (t z y) around 0
0.828 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in y
0.828 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.828 * [taylor]: Taking taylor expansion of -1 in y
0.829 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in y
0.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in y
0.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in y
0.829 * [taylor]: Taking taylor expansion of 1/3 in y
0.829 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in y
0.829 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.829 * [taylor]: Taking taylor expansion of z in y
0.829 * [taylor]: Taking taylor expansion of (* y t) in y
0.829 * [taylor]: Taking taylor expansion of y in y
0.829 * [taylor]: Taking taylor expansion of t in y
0.830 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in z
0.830 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.830 * [taylor]: Taking taylor expansion of -1 in z
0.831 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in z
0.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in z
0.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in z
0.831 * [taylor]: Taking taylor expansion of 1/3 in z
0.831 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in z
0.831 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.831 * [taylor]: Taking taylor expansion of z in z
0.831 * [taylor]: Taking taylor expansion of (* y t) in z
0.831 * [taylor]: Taking taylor expansion of y in z
0.831 * [taylor]: Taking taylor expansion of t in z
0.831 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.832 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.832 * [taylor]: Taking taylor expansion of -1 in t
0.832 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.832 * [taylor]: Taking taylor expansion of 1/3 in t
0.832 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.832 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.832 * [taylor]: Taking taylor expansion of z in t
0.833 * [taylor]: Taking taylor expansion of (* y t) in t
0.833 * [taylor]: Taking taylor expansion of y in t
0.833 * [taylor]: Taking taylor expansion of t in t
0.834 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (* z (* y t)) 1/3)) in t
0.834 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.834 * [taylor]: Taking taylor expansion of -1 in t
0.834 * [taylor]: Taking taylor expansion of (pow (* z (* y t)) 1/3) in t
0.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (* y t))))) in t
0.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (* y t)))) in t
0.834 * [taylor]: Taking taylor expansion of 1/3 in t
0.834 * [taylor]: Taking taylor expansion of (log (* z (* y t))) in t
0.834 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.834 * [taylor]: Taking taylor expansion of z in t
0.834 * [taylor]: Taking taylor expansion of (* y t) in t
0.834 * [taylor]: Taking taylor expansion of y in t
0.834 * [taylor]: Taking taylor expansion of t in t
0.836 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log t) (log (* z y)))))) in z
0.836 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.836 * [taylor]: Taking taylor expansion of -1 in z
0.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (log (* z y))))) in z
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (log (* z y)))) in z
0.837 * [taylor]: Taking taylor expansion of 1/3 in z
0.837 * [taylor]: Taking taylor expansion of (+ (log t) (log (* z y))) in z
0.837 * [taylor]: Taking taylor expansion of (log t) in z
0.837 * [taylor]: Taking taylor expansion of t in z
0.837 * [taylor]: Taking taylor expansion of (log (* z y)) in z
0.837 * [taylor]: Taking taylor expansion of (* z y) in z
0.837 * [taylor]: Taking taylor expansion of z in z
0.837 * [taylor]: Taking taylor expansion of y in z
0.838 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1)) in y
0.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) in y
0.838 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log t) (+ (log z) (log y)))) in y
0.838 * [taylor]: Taking taylor expansion of 1/3 in y
0.838 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log z) (log y))) in y
0.838 * [taylor]: Taking taylor expansion of (log t) in y
0.838 * [taylor]: Taking taylor expansion of t in y
0.838 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
0.838 * [taylor]: Taking taylor expansion of (log z) in y
0.838 * [taylor]: Taking taylor expansion of z in y
0.838 * [taylor]: Taking taylor expansion of (log y) in y
0.838 * [taylor]: Taking taylor expansion of y in y
0.839 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.839 * [taylor]: Taking taylor expansion of -1 in y
0.843 * [taylor]: Taking taylor expansion of 0 in z
0.843 * [taylor]: Taking taylor expansion of 0 in y
0.846 * [taylor]: Taking taylor expansion of 0 in y
0.855 * [taylor]: Taking taylor expansion of 0 in z
0.855 * [taylor]: Taking taylor expansion of 0 in y
0.855 * [taylor]: Taking taylor expansion of 0 in y
0.860 * [taylor]: Taking taylor expansion of 0 in y
0.861 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in (t z y) around 0
0.861 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in y
0.861 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.861 * [taylor]: Taking taylor expansion of -1 in y
0.862 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in y
0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in y
0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in y
0.862 * [taylor]: Taking taylor expansion of 1/3 in y
0.862 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in y
0.862 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in y
0.862 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
0.862 * [taylor]: Taking taylor expansion of z in y
0.862 * [taylor]: Taking taylor expansion of (* y t) in y
0.862 * [taylor]: Taking taylor expansion of y in y
0.862 * [taylor]: Taking taylor expansion of t in y
0.863 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in z
0.863 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.863 * [taylor]: Taking taylor expansion of -1 in z
0.864 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in z
0.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in z
0.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in z
0.864 * [taylor]: Taking taylor expansion of 1/3 in z
0.864 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in z
0.864 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in z
0.864 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
0.864 * [taylor]: Taking taylor expansion of z in z
0.864 * [taylor]: Taking taylor expansion of (* y t) in z
0.864 * [taylor]: Taking taylor expansion of y in z
0.864 * [taylor]: Taking taylor expansion of t in z
0.865 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.865 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.865 * [taylor]: Taking taylor expansion of -1 in t
0.866 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.866 * [taylor]: Taking taylor expansion of 1/3 in t
0.866 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.866 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.866 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.866 * [taylor]: Taking taylor expansion of z in t
0.866 * [taylor]: Taking taylor expansion of (* y t) in t
0.866 * [taylor]: Taking taylor expansion of y in t
0.866 * [taylor]: Taking taylor expansion of t in t
0.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* z (* y t))) 1/3)) in t
0.867 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.867 * [taylor]: Taking taylor expansion of -1 in t
0.870 * [taylor]: Taking taylor expansion of (pow (/ 1 (* z (* y t))) 1/3) in t
0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* z (* y t)))))) in t
0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* z (* y t))))) in t
0.870 * [taylor]: Taking taylor expansion of 1/3 in t
0.870 * [taylor]: Taking taylor expansion of (log (/ 1 (* z (* y t)))) in t
0.870 * [taylor]: Taking taylor expansion of (/ 1 (* z (* y t))) in t
0.870 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
0.870 * [taylor]: Taking taylor expansion of z in t
0.870 * [taylor]: Taking taylor expansion of (* y t) in t
0.870 * [taylor]: Taking taylor expansion of y in t
0.870 * [taylor]: Taking taylor expansion of t in t
0.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 (* z y))) (log t))))) in z
0.872 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.872 * [taylor]: Taking taylor expansion of -1 in z
0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.873 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.873 * [taylor]: Taking taylor expansion of 1/3 in z
0.873 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.873 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.873 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.873 * [taylor]: Taking taylor expansion of (* z y) in z
0.873 * [taylor]: Taking taylor expansion of z in z
0.873 * [taylor]: Taking taylor expansion of y in z
0.873 * [taylor]: Taking taylor expansion of (log t) in z
0.873 * [taylor]: Taking taylor expansion of t in z
0.874 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))))) in y
0.874 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.874 * [taylor]: Taking taylor expansion of -1 in y
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.875 * [taylor]: Taking taylor expansion of 1/3 in y
0.875 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.875 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.875 * [taylor]: Taking taylor expansion of y in y
0.876 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.876 * [taylor]: Taking taylor expansion of (log z) in y
0.876 * [taylor]: Taking taylor expansion of z in y
0.876 * [taylor]: Taking taylor expansion of (log t) in y
0.876 * [taylor]: Taking taylor expansion of t in y
0.880 * [taylor]: Taking taylor expansion of 0 in z
0.880 * [taylor]: Taking taylor expansion of 0 in y
0.883 * [taylor]: Taking taylor expansion of 0 in y
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in y
0.893 * [taylor]: Taking taylor expansion of 0 in y
0.899 * [taylor]: Taking taylor expansion of 0 in y
0.899 * [approximate]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in (t z y) around 0
0.899 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in y
0.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in y
0.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in y
0.900 * [taylor]: Taking taylor expansion of 1/3 in y
0.900 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in y
0.900 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.900 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.900 * [taylor]: Taking taylor expansion of t in y
0.900 * [taylor]: Taking taylor expansion of (* z y) in y
0.900 * [taylor]: Taking taylor expansion of z in y
0.900 * [taylor]: Taking taylor expansion of y in y
0.901 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in z
0.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in z
0.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in z
0.901 * [taylor]: Taking taylor expansion of 1/3 in z
0.901 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in z
0.901 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.901 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.901 * [taylor]: Taking taylor expansion of t in z
0.901 * [taylor]: Taking taylor expansion of (* z y) in z
0.901 * [taylor]: Taking taylor expansion of z in z
0.901 * [taylor]: Taking taylor expansion of y in z
0.902 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.902 * [taylor]: Taking taylor expansion of 1/3 in t
0.902 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.902 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.902 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.902 * [taylor]: Taking taylor expansion of t in t
0.902 * [taylor]: Taking taylor expansion of (* z y) in t
0.902 * [taylor]: Taking taylor expansion of z in t
0.902 * [taylor]: Taking taylor expansion of y in t
0.903 * [taylor]: Taking taylor expansion of (pow (/ 1 (* t (* z y))) 1/3) in t
0.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* t (* z y)))))) in t
0.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* t (* z y))))) in t
0.903 * [taylor]: Taking taylor expansion of 1/3 in t
0.903 * [taylor]: Taking taylor expansion of (log (/ 1 (* t (* z y)))) in t
0.903 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.903 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.903 * [taylor]: Taking taylor expansion of t in t
0.903 * [taylor]: Taking taylor expansion of (* z y) in t
0.903 * [taylor]: Taking taylor expansion of z in t
0.903 * [taylor]: Taking taylor expansion of y in t
0.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log t)))) in z
0.904 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log t))) in z
0.904 * [taylor]: Taking taylor expansion of 1/3 in z
0.904 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log t)) in z
0.904 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in z
0.904 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.904 * [taylor]: Taking taylor expansion of (* z y) in z
0.904 * [taylor]: Taking taylor expansion of z in z
0.904 * [taylor]: Taking taylor expansion of y in z
0.905 * [taylor]: Taking taylor expansion of (log t) in z
0.905 * [taylor]: Taking taylor expansion of t in z
0.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t))))) in y
0.905 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (+ (log z) (log t)))) in y
0.905 * [taylor]: Taking taylor expansion of 1/3 in y
0.905 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (+ (log z) (log t))) in y
0.905 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.905 * [taylor]: Taking taylor expansion of y in y
0.906 * [taylor]: Taking taylor expansion of (+ (log z) (log t)) in y
0.906 * [taylor]: Taking taylor expansion of (log z) in y
0.906 * [taylor]: Taking taylor expansion of z in y
0.906 * [taylor]: Taking taylor expansion of (log t) in y
0.906 * [taylor]: Taking taylor expansion of t in y
0.909 * [taylor]: Taking taylor expansion of 0 in z
0.909 * [taylor]: Taking taylor expansion of 0 in y
0.912 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.925 * [taylor]: Taking taylor expansion of 0 in y
0.925 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
0.925 * [approximate]: Taking taylor expansion of (* -1 (* t (* z y))) in (t z y) around 0
0.925 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in y
0.925 * [taylor]: Taking taylor expansion of -1 in y
0.925 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.925 * [taylor]: Taking taylor expansion of t in y
0.925 * [taylor]: Taking taylor expansion of (* z y) in y
0.925 * [taylor]: Taking taylor expansion of z in y
0.925 * [taylor]: Taking taylor expansion of y in y
0.925 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in z
0.925 * [taylor]: Taking taylor expansion of -1 in z
0.925 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.925 * [taylor]: Taking taylor expansion of t in z
0.925 * [taylor]: Taking taylor expansion of (* z y) in z
0.925 * [taylor]: Taking taylor expansion of z in z
0.925 * [taylor]: Taking taylor expansion of y in z
0.925 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in t
0.926 * [taylor]: Taking taylor expansion of -1 in t
0.926 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.926 * [taylor]: Taking taylor expansion of t in t
0.926 * [taylor]: Taking taylor expansion of (* z y) in t
0.926 * [taylor]: Taking taylor expansion of z in t
0.926 * [taylor]: Taking taylor expansion of y in t
0.926 * [taylor]: Taking taylor expansion of (* -1 (* t (* z y))) in t
0.926 * [taylor]: Taking taylor expansion of -1 in t
0.926 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.926 * [taylor]: Taking taylor expansion of t in t
0.926 * [taylor]: Taking taylor expansion of (* z y) in t
0.926 * [taylor]: Taking taylor expansion of z in t
0.926 * [taylor]: Taking taylor expansion of y in t
0.926 * [taylor]: Taking taylor expansion of 0 in z
0.926 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of (- (* z y)) in z
0.927 * [taylor]: Taking taylor expansion of (* z y) in z
0.927 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of y in z
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.927 * [taylor]: Taking taylor expansion of 0 in y
0.928 * [taylor]: Taking taylor expansion of 0 in z
0.928 * [taylor]: Taking taylor expansion of 0 in y
0.929 * [taylor]: Taking taylor expansion of (- y) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
0.929 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
0.929 * [taylor]: Taking taylor expansion of -1 in y
0.929 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.929 * [taylor]: Taking taylor expansion of t in y
0.929 * [taylor]: Taking taylor expansion of (* z y) in y
0.929 * [taylor]: Taking taylor expansion of z in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.930 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
0.930 * [taylor]: Taking taylor expansion of -1 in z
0.930 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.930 * [taylor]: Taking taylor expansion of t in z
0.930 * [taylor]: Taking taylor expansion of (* z y) in z
0.930 * [taylor]: Taking taylor expansion of z in z
0.930 * [taylor]: Taking taylor expansion of y in z
0.930 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
0.931 * [taylor]: Taking taylor expansion of -1 in t
0.931 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.931 * [taylor]: Taking taylor expansion of t in t
0.931 * [taylor]: Taking taylor expansion of (* z y) in t
0.931 * [taylor]: Taking taylor expansion of z in t
0.931 * [taylor]: Taking taylor expansion of y in t
0.931 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
0.931 * [taylor]: Taking taylor expansion of -1 in t
0.931 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.931 * [taylor]: Taking taylor expansion of t in t
0.931 * [taylor]: Taking taylor expansion of (* z y) in t
0.931 * [taylor]: Taking taylor expansion of z in t
0.931 * [taylor]: Taking taylor expansion of y in t
0.932 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
0.932 * [taylor]: Taking taylor expansion of -1 in z
0.932 * [taylor]: Taking taylor expansion of (* z y) in z
0.932 * [taylor]: Taking taylor expansion of z in z
0.932 * [taylor]: Taking taylor expansion of y in z
0.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.932 * [taylor]: Taking taylor expansion of -1 in y
0.932 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of 0 in z
0.934 * [taylor]: Taking taylor expansion of 0 in y
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in y
0.936 * [taylor]: Taking taylor expansion of 0 in y
0.939 * [taylor]: Taking taylor expansion of 0 in z
0.939 * [taylor]: Taking taylor expansion of 0 in y
0.939 * [taylor]: Taking taylor expansion of 0 in y
0.940 * [taylor]: Taking taylor expansion of 0 in y
0.940 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
0.940 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
0.940 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.940 * [taylor]: Taking taylor expansion of t in y
0.940 * [taylor]: Taking taylor expansion of (* z y) in y
0.940 * [taylor]: Taking taylor expansion of z in y
0.940 * [taylor]: Taking taylor expansion of y in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
0.941 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
0.941 * [taylor]: Taking taylor expansion of t in z
0.941 * [taylor]: Taking taylor expansion of (* z y) in z
0.941 * [taylor]: Taking taylor expansion of z in z
0.941 * [taylor]: Taking taylor expansion of y in z
0.942 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.942 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.942 * [taylor]: Taking taylor expansion of t in t
0.942 * [taylor]: Taking taylor expansion of (* z y) in t
0.942 * [taylor]: Taking taylor expansion of z in t
0.942 * [taylor]: Taking taylor expansion of y in t
0.942 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
0.942 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
0.942 * [taylor]: Taking taylor expansion of t in t
0.942 * [taylor]: Taking taylor expansion of (* z y) in t
0.942 * [taylor]: Taking taylor expansion of z in t
0.942 * [taylor]: Taking taylor expansion of y in t
0.943 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.943 * [taylor]: Taking taylor expansion of (* z y) in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.943 * [taylor]: Taking taylor expansion of y in z
0.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.943 * [taylor]: Taking taylor expansion of y in y
0.944 * [taylor]: Taking taylor expansion of 0 in z
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.947 * [taylor]: Taking taylor expansion of 0 in z
0.947 * [taylor]: Taking taylor expansion of 0 in y
0.948 * [taylor]: Taking taylor expansion of 0 in y
0.950 * [taylor]: Taking taylor expansion of 0 in z
0.950 * [taylor]: Taking taylor expansion of 0 in y
0.950 * [taylor]: Taking taylor expansion of 0 in y
0.951 * [taylor]: Taking taylor expansion of 0 in y
0.951 * * * [progress]: simplifying candidates
0.952 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (cbrt t)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (cbrt t)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (cbrt t)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (* t (* (- z) y))
  (* t (* (- z) y))
  (+ (log t) (+ (log (- z)) (log y)))
  (+ (log t) (log (* (- z) y)))
  (log (* t (* (- z) y)))
  (exp (* t (* (- z) y)))
  (* (* (* t t) t) (* (* (* (- z) (- z)) (- z)) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* (- z) y) (* (- z) y)) (* (- z) y)))
  (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y))))
  (cbrt (* t (* (- z) y)))
  (* (* (* t (* (- z) y)) (* t (* (- z) y))) (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (* t (* z y))
  (* t (- z))
  (* (cbrt t) (* (- z) y))
  (* (sqrt t) (* (- z) y))
  (* t (* (- z) y))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt -1))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  0
  (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
0.958 * * [simplify]: iteration  0 :  200  enodes  (cost  346 )
0.962 * * [simplify]: iteration  1 :  691  enodes  (cost  304 )
0.976 * * [simplify]: iteration  2 :  3538  enodes  (cost  295 )
1.044 * * [simplify]: iteration  3 :  5002  enodes  (cost  295 )
1.045 * [simplify]: Simplified to:
   (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (pow t 1/3)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* -1 (* t (* z y)))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (pow t 1/3)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* -1 (* t (* z y)))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (log (cbrt (* t (* (- z) y))))
  (exp (cbrt (* t (* (- z) y))))
  (pow t 1/3)
  (cbrt (* (- z) y))
  (* (cbrt (cbrt (* t (* (- z) y)))) (cbrt (cbrt (* t (* (- z) y)))))
  (cbrt (cbrt (* t (* (- z) y))))
  (* -1 (* t (* z y)))
  (sqrt (cbrt (* t (* (- z) y))))
  (sqrt (cbrt (* t (* (- z) y))))
  (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
  (log (* t (* (- z) y)))
  (log (* t (* (- z) y)))
  (log (* t (* (- z) y)))
  (exp (* t (* (- z) y)))
  (pow (* t (* (- z) y)) 3)
  (pow (* t (* (- z) y)) 3)
  (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y))))
  (cbrt (* t (* (- z) y)))
  (pow (* t (* (- z) y)) 3)
  (sqrt (* t (* (- z) y)))
  (sqrt (* t (* (- z) y)))
  (* t (* z y))
  (* t (- z))
  (* (cbrt t) (* (- z) y))
  (* (sqrt t) (* (- z) y))
  (* -1 (* t (* z y)))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (* (cbrt -1) (pow (/ 1 t) -1/3)) (pow (exp -1/3) (- (+ (log z) (log y)))))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (* (cbrt -1) (pow (/ 1 t) -1/3)) (pow (exp -1/3) (- (+ (log z) (log y)))))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  (* (exp (* 1/3 (+ (log t) (+ (log z) (log y))))) (cbrt -1))
  (* (* (cbrt -1) (pow (/ 1 t) -1/3)) (pow (exp -1/3) (- (+ (log z) (log y)))))
  (exp (* -1/3 (+ (log (/ -1 t)) (+ (log (/ -1 z)) (log (/ -1 y))))))
  0
  (* -1 (* t (* z y)))
  (* -1 (* t (* z y)))
1.045 * * * [progress]: adding candidates to table
1.225 * * [progress]: iteration 4 / 4
1.225 * * * [progress]: picking best candidate
1.236 * * * * [pick]: Picked  #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))>
1.236 * * * [progress]: localizing error
1.246 * * * [progress]: generating rewritten candidates
1.246 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.313 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1.314 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.317 * * * [progress]: generating series expansions
1.317 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.317 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (t y x z) around 0
1.317 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.317 * [taylor]: Taking taylor expansion of t in z
1.317 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
1.317 * [taylor]: Taking taylor expansion of y in z
1.317 * [taylor]: Taking taylor expansion of (- x z) in z
1.317 * [taylor]: Taking taylor expansion of x in z
1.317 * [taylor]: Taking taylor expansion of z in z
1.317 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.317 * [taylor]: Taking taylor expansion of t in x
1.317 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
1.317 * [taylor]: Taking taylor expansion of y in x
1.317 * [taylor]: Taking taylor expansion of (- x z) in x
1.317 * [taylor]: Taking taylor expansion of x in x
1.317 * [taylor]: Taking taylor expansion of z in x
1.317 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.317 * [taylor]: Taking taylor expansion of t in y
1.317 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [taylor]: Taking taylor expansion of (- x z) in y
1.317 * [taylor]: Taking taylor expansion of x in y
1.317 * [taylor]: Taking taylor expansion of z in y
1.317 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t
1.317 * [taylor]: Taking taylor expansion of t in t
1.317 * [taylor]: Taking taylor expansion of (* y (- x z)) in t
1.317 * [taylor]: Taking taylor expansion of y in t
1.318 * [taylor]: Taking taylor expansion of (- x z) in t
1.318 * [taylor]: Taking taylor expansion of x in t
1.318 * [taylor]: Taking taylor expansion of z in t
1.318 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t
1.318 * [taylor]: Taking taylor expansion of t in t
1.318 * [taylor]: Taking taylor expansion of (* y (- x z)) in t
1.318 * [taylor]: Taking taylor expansion of y in t
1.318 * [taylor]: Taking taylor expansion of (- x z) in t
1.318 * [taylor]: Taking taylor expansion of x in t
1.318 * [taylor]: Taking taylor expansion of z in t
1.318 * [taylor]: Taking taylor expansion of 0 in y
1.318 * [taylor]: Taking taylor expansion of 0 in x
1.318 * [taylor]: Taking taylor expansion of 0 in z
1.319 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
1.319 * [taylor]: Taking taylor expansion of (* x y) in y
1.319 * [taylor]: Taking taylor expansion of x in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.319 * [taylor]: Taking taylor expansion of (* z y) in y
1.319 * [taylor]: Taking taylor expansion of z in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.320 * [taylor]: Taking taylor expansion of 0 in x
1.320 * [taylor]: Taking taylor expansion of 0 in z
1.320 * [taylor]: Taking taylor expansion of 0 in x
1.320 * [taylor]: Taking taylor expansion of 0 in z
1.320 * [taylor]: Taking taylor expansion of 0 in z
1.321 * [taylor]: Taking taylor expansion of 0 in y
1.321 * [taylor]: Taking taylor expansion of 0 in x
1.321 * [taylor]: Taking taylor expansion of 0 in z
1.322 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
1.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.322 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.322 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.322 * [taylor]: Taking taylor expansion of x in z
1.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.322 * [taylor]: Taking taylor expansion of z in z
1.322 * [taylor]: Taking taylor expansion of (* t y) in z
1.322 * [taylor]: Taking taylor expansion of t in z
1.322 * [taylor]: Taking taylor expansion of y in z
1.323 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.323 * [taylor]: Taking taylor expansion of z in x
1.323 * [taylor]: Taking taylor expansion of (* t y) in x
1.323 * [taylor]: Taking taylor expansion of t in x
1.323 * [taylor]: Taking taylor expansion of y in x
1.323 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.324 * [taylor]: Taking taylor expansion of x in y
1.324 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.324 * [taylor]: Taking taylor expansion of z in y
1.324 * [taylor]: Taking taylor expansion of (* t y) in y
1.324 * [taylor]: Taking taylor expansion of t in y
1.324 * [taylor]: Taking taylor expansion of y in y
1.324 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.324 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.324 * [taylor]: Taking taylor expansion of x in t
1.324 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.324 * [taylor]: Taking taylor expansion of z in t
1.324 * [taylor]: Taking taylor expansion of (* t y) in t
1.324 * [taylor]: Taking taylor expansion of t in t
1.324 * [taylor]: Taking taylor expansion of y in t
1.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t
1.325 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.325 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.325 * [taylor]: Taking taylor expansion of x in t
1.325 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.325 * [taylor]: Taking taylor expansion of z in t
1.325 * [taylor]: Taking taylor expansion of (* t y) in t
1.325 * [taylor]: Taking taylor expansion of t in t
1.325 * [taylor]: Taking taylor expansion of y in t
1.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.326 * [taylor]: Taking taylor expansion of x in y
1.326 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.326 * [taylor]: Taking taylor expansion of z in y
1.326 * [taylor]: Taking taylor expansion of y in y
1.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.326 * [taylor]: Taking taylor expansion of x in x
1.326 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.326 * [taylor]: Taking taylor expansion of z in x
1.326 * [taylor]: Taking taylor expansion of 1 in z
1.328 * [taylor]: Taking taylor expansion of 0 in y
1.329 * [taylor]: Taking taylor expansion of 0 in x
1.329 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.329 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.329 * [taylor]: Taking taylor expansion of z in z
1.331 * [taylor]: Taking taylor expansion of 0 in y
1.332 * [taylor]: Taking taylor expansion of 0 in x
1.333 * [taylor]: Taking taylor expansion of 0 in x
1.333 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.337 * [taylor]: Taking taylor expansion of 0 in y
1.337 * [taylor]: Taking taylor expansion of 0 in x
1.337 * [taylor]: Taking taylor expansion of 0 in x
1.339 * [taylor]: Taking taylor expansion of 0 in x
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in (t y x z) around 0
1.344 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in z
1.344 * [taylor]: Taking taylor expansion of -1 in z
1.344 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in z
1.344 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in z
1.344 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.344 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.344 * [taylor]: Taking taylor expansion of -1 in z
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.345 * [taylor]: Taking taylor expansion of z in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.345 * [taylor]: Taking taylor expansion of x in z
1.345 * [taylor]: Taking taylor expansion of (* t y) in z
1.345 * [taylor]: Taking taylor expansion of t in z
1.345 * [taylor]: Taking taylor expansion of y in z
1.349 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in x
1.349 * [taylor]: Taking taylor expansion of -1 in x
1.349 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in x
1.349 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in x
1.349 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.349 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.349 * [taylor]: Taking taylor expansion of -1 in x
1.350 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.350 * [taylor]: Taking taylor expansion of z in x
1.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.350 * [taylor]: Taking taylor expansion of x in x
1.350 * [taylor]: Taking taylor expansion of (* t y) in x
1.350 * [taylor]: Taking taylor expansion of t in x
1.350 * [taylor]: Taking taylor expansion of y in x
1.354 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y
1.354 * [taylor]: Taking taylor expansion of -1 in y
1.354 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y
1.354 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y
1.354 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.354 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.354 * [taylor]: Taking taylor expansion of -1 in y
1.355 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.355 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.355 * [taylor]: Taking taylor expansion of z in y
1.355 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.355 * [taylor]: Taking taylor expansion of x in y
1.355 * [taylor]: Taking taylor expansion of (* t y) in y
1.355 * [taylor]: Taking taylor expansion of t in y
1.355 * [taylor]: Taking taylor expansion of y in y
1.359 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in t
1.359 * [taylor]: Taking taylor expansion of -1 in t
1.359 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in t
1.359 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t
1.359 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.359 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.359 * [taylor]: Taking taylor expansion of -1 in t
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.360 * [taylor]: Taking taylor expansion of z in t
1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.360 * [taylor]: Taking taylor expansion of x in t
1.360 * [taylor]: Taking taylor expansion of (* t y) in t
1.360 * [taylor]: Taking taylor expansion of t in t
1.360 * [taylor]: Taking taylor expansion of y in t
1.363 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in t
1.363 * [taylor]: Taking taylor expansion of -1 in t
1.363 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in t
1.363 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t
1.363 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.363 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.363 * [taylor]: Taking taylor expansion of -1 in t
1.364 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.364 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.364 * [taylor]: Taking taylor expansion of z in t
1.364 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.364 * [taylor]: Taking taylor expansion of x in t
1.364 * [taylor]: Taking taylor expansion of (* t y) in t
1.364 * [taylor]: Taking taylor expansion of t in t
1.364 * [taylor]: Taking taylor expansion of y in t
1.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.368 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.368 * [taylor]: Taking taylor expansion of z in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.368 * [taylor]: Taking taylor expansion of x in y
1.368 * [taylor]: Taking taylor expansion of y in y
1.368 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.368 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.368 * [taylor]: Taking taylor expansion of z in x
1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.368 * [taylor]: Taking taylor expansion of x in x
1.369 * [taylor]: Taking taylor expansion of -1 in z
1.372 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [taylor]: Taking taylor expansion of 0 in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.374 * [taylor]: Taking taylor expansion of z in z
1.379 * [taylor]: Taking taylor expansion of 0 in y
1.379 * [taylor]: Taking taylor expansion of 0 in x
1.381 * [taylor]: Taking taylor expansion of 0 in x
1.381 * [taylor]: Taking taylor expansion of 0 in z
1.382 * [taylor]: Taking taylor expansion of 0 in z
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [taylor]: Taking taylor expansion of 0 in x
1.388 * [taylor]: Taking taylor expansion of 0 in x
1.390 * [taylor]: Taking taylor expansion of 0 in x
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [taylor]: Taking taylor expansion of 0 in z
1.391 * [taylor]: Taking taylor expansion of 0 in z
1.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.392 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.392 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.392 * [taylor]: Taking taylor expansion of 1/3 in y
1.392 * [taylor]: Taking taylor expansion of (log y) in y
1.392 * [taylor]: Taking taylor expansion of y in y
1.393 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.393 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.393 * [taylor]: Taking taylor expansion of 1/3 in y
1.393 * [taylor]: Taking taylor expansion of (log y) in y
1.393 * [taylor]: Taking taylor expansion of y in y
1.445 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.445 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.445 * [taylor]: Taking taylor expansion of 1/3 in y
1.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.446 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.446 * [taylor]: Taking taylor expansion of 1/3 in y
1.446 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.446 * [taylor]: Taking taylor expansion of y in y
1.500 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.500 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.500 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.500 * [taylor]: Taking taylor expansion of -1 in y
1.501 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.501 * [taylor]: Taking taylor expansion of 1/3 in y
1.501 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.501 * [taylor]: Taking taylor expansion of y in y
1.502 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.502 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.502 * [taylor]: Taking taylor expansion of -1 in y
1.503 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.503 * [taylor]: Taking taylor expansion of 1/3 in y
1.503 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.503 * [taylor]: Taking taylor expansion of y in y
1.565 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1.565 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.565 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.565 * [taylor]: Taking taylor expansion of 1/3 in y
1.565 * [taylor]: Taking taylor expansion of (log y) in y
1.565 * [taylor]: Taking taylor expansion of y in y
1.565 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.565 * [taylor]: Taking taylor expansion of 1/3 in y
1.565 * [taylor]: Taking taylor expansion of (log y) in y
1.566 * [taylor]: Taking taylor expansion of y in y
1.616 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.616 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.616 * [taylor]: Taking taylor expansion of 1/3 in y
1.616 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.616 * [taylor]: Taking taylor expansion of y in y
1.617 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.617 * [taylor]: Taking taylor expansion of 1/3 in y
1.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.617 * [taylor]: Taking taylor expansion of y in y
1.670 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.670 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.670 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.670 * [taylor]: Taking taylor expansion of -1 in y
1.671 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.671 * [taylor]: Taking taylor expansion of 1/3 in y
1.671 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.671 * [taylor]: Taking taylor expansion of y in y
1.672 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.672 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.672 * [taylor]: Taking taylor expansion of -1 in y
1.673 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.673 * [taylor]: Taking taylor expansion of 1/3 in y
1.673 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.673 * [taylor]: Taking taylor expansion of y in y
1.750 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.750 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.750 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.750 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.750 * [taylor]: Taking taylor expansion of 1/3 in y
1.750 * [taylor]: Taking taylor expansion of (log y) in y
1.750 * [taylor]: Taking taylor expansion of y in y
1.751 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.751 * [taylor]: Taking taylor expansion of 1/3 in y
1.751 * [taylor]: Taking taylor expansion of (log y) in y
1.751 * [taylor]: Taking taylor expansion of y in y
1.804 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.804 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.804 * [taylor]: Taking taylor expansion of 1/3 in y
1.804 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.804 * [taylor]: Taking taylor expansion of y in y
1.805 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.805 * [taylor]: Taking taylor expansion of 1/3 in y
1.805 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.805 * [taylor]: Taking taylor expansion of y in y
1.869 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.869 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.869 * [taylor]: Taking taylor expansion of -1 in y
1.871 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.871 * [taylor]: Taking taylor expansion of 1/3 in y
1.871 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.871 * [taylor]: Taking taylor expansion of y in y
1.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.872 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.872 * [taylor]: Taking taylor expansion of -1 in y
1.873 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.873 * [taylor]: Taking taylor expansion of 1/3 in y
1.873 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.873 * [taylor]: Taking taylor expansion of y in y
1.974 * * * [progress]: simplifying candidates
1.975 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (+ (log t) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (log (- x z)))))
  (+ (log t) (+ (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (- x z)))))
  (+ (log t) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (log (- x z)))))
  (+ (log t) (+ (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (- x z)))))
  (+ (log t) (log (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (log (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (exp (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* (* (* t t) t) (* (* y y) (* y (* (* (- x z) (- x z)) (- x z)))))
  (* (* (* t t) t) (* (* y y) (* (* (* (cbrt y) (- x z)) (* (cbrt y) (- x z))) (* (cbrt y) (- x z)))))
  (* (* (* t t) t) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (- x z) (- x z)) (- x z)))))
  (* (* (* t t) t) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (- x z)) (* (cbrt y) (- x z))) (* (cbrt y) (- x z)))))
  (* (* (* t t) t) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))) (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))))
  (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* (* (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (sqrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (sqrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) x)))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) x)))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- z))))
  (* t (* (* (cbrt y) (cbrt y)) (* x (cbrt y))))
  (* t (* (* (cbrt y) (cbrt y)) (* (- z) (cbrt y))))
  (* t (* (* (cbrt y) (cbrt y)) (* x (cbrt y))))
  (* t (* (* (cbrt y) (cbrt y)) (* (- z) (cbrt y))))
  (* t (* (* (cbrt y) x) (* (cbrt y) (cbrt y))))
  (* t (* (* (cbrt y) (- z)) (* (cbrt y) (cbrt y))))
  (* t (* (* (cbrt y) x) (* (cbrt y) (cbrt y))))
  (* t (* (* (cbrt y) (- z)) (* (cbrt y) (cbrt y))))
  (* t (* (* x (cbrt y)) (* (cbrt y) (cbrt y))))
  (* t (* (* (- z) (cbrt y)) (* (cbrt y) (cbrt y))))
  (* t (* (* x (cbrt y)) (* (cbrt y) (cbrt y))))
  (* t (* (* (- z) (cbrt y)) (* (cbrt y) (cbrt y))))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) x)) t)
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- z))) t)
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) x)) t)
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- z))) t)
  (* (* (* (cbrt y) (cbrt y)) (* x (cbrt y))) t)
  (* (* (* (cbrt y) (cbrt y)) (* (- z) (cbrt y))) t)
  (* (* (* (cbrt y) (cbrt y)) (* x (cbrt y))) t)
  (* (* (* (cbrt y) (cbrt y)) (* (- z) (cbrt y))) t)
  (* (* (* (cbrt y) x) (* (cbrt y) (cbrt y))) t)
  (* (* (* (cbrt y) (- z)) (* (cbrt y) (cbrt y))) t)
  (* (* (* (cbrt y) x) (* (cbrt y) (cbrt y))) t)
  (* (* (* (cbrt y) (- z)) (* (cbrt y) (cbrt y))) t)
  (* (* (* x (cbrt y)) (* (cbrt y) (cbrt y))) t)
  (* (* (* (- z) (cbrt y)) (* (cbrt y) (cbrt y))) t)
  (* (* (* x (cbrt y)) (* (cbrt y) (cbrt y))) t)
  (* (* (* (- z) (cbrt y)) (* (cbrt y) (cbrt y))) t)
  (* t (* (cbrt y) (cbrt y)))
  (* (cbrt t) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* (sqrt t) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- (pow x 3) (pow z 3)))))
  (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- (* x x) (* z z)))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
1.980 * * [simplify]: iteration  0 :  362  enodes  (cost  690 )
1.987 * * [simplify]: iteration  1 :  1529  enodes  (cost  474 )
2.019 * * [simplify]: iteration  2 :  5001  enodes  (cost  366 )
2.022 * [simplify]: Simplified to:
   (* (* t (- x z)) y)
  (* (* t (- x z)) y)
  (* (* t (- x z)) y)
  (* (* t (- x z)) y)
  (* (* t (- x z)) y)
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (+ (log (* t (pow (pow y 1/3) 3))) (log (- x z)))
  (pow (exp (* t (pow (pow y 1/3) 3))) (- x z))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (* (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))) (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z))))))
  (cbrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* (* (pow t 3) (pow (- x z) 3)) (pow y 3))
  (sqrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (sqrt (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* x y))
  (- (* t (* z y)))
  (* t (* (cbrt y) (cbrt y)))
  (* (* (cbrt t) (pow (pow y 1/3) 3)) (- x z))
  (* (* (sqrt t) (pow (pow y 1/3) 3)) (- x z))
  (* (* t (- x z)) y)
  (* (* t (pow (pow y 1/3) 3)) (- (pow x 3) (pow z 3)))
  (* (* t (pow (pow y 1/3) 3)) (- (* x x) (* z z)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  0
  (* (* t (- x z)) y)
  (* (* t (- x z)) y)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
2.022 * * * [progress]: adding candidates to table
2.179 * [progress]: [Phase 3 of 3] Extracting.
2.179 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.181 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
2.181 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.223 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.274 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.319 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.376 * * * [regime]: Found split indices: #<option (#s(si 1 48) #s(si 7 212) #s(si 1 255))>
2.379 * [binary-search]: Improving bounds with binary search for t and (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.459 * [regimes]: Found splitpoints: (#s(sp 1 t -6648838448.446291) #s(sp 7 t 6.1434809147909e+33) #s(sp 1 t +nan.0)) , with alts (#<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (+ (* t (* x y)) (- (* t (* z y)))))> #<alt (λ (x y z t) (* (sqrt (+ (* t (* x y)) (* t (* (- z) y)))) (sqrt (+ (* t (* x y)) (* t (* (- z) y))))))> #<alt (λ (x y z t) (* t (/ (* y (- (* x x) (* z z))) (+ x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* t (* (* (cbrt y) (cbrt y)) (* (cbrt y) (- x z)))))> #<alt (λ (x y z t) (+ (* t (* x y)) (* (* (cbrt (* t (* (- z) y))) (cbrt (* t (* (- z) y)))) (cbrt (* t (* (- z) y))))))> #<alt (λ (x y z t) (pow (* (* t (- x z)) y) 1))>)
2.459 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= t -6648838448.446291) (+ (* t (* x y)) (- (* t (* z y)))) (if (<= t 6.1434809147909e+33) (pow (* (* t (- x z)) y) 1) (+ (* t (* x y)) (- (* t (* z y))))))
2.460 * * [simplify]: iteration  0 :  37  enodes  (cost  10 )
2.460 * * [simplify]: iteration  1 :  45  enodes  (cost  10 )
2.460 * * [simplify]: iteration  2 :  45  enodes  (cost  10 )
2.461 * [simplify]: Simplified to:
   (if (or (<= t -6648838448.446291) (not (<= t 6.1434809147909e+33))) (+ (* t (* x y)) (- (* t (* z y)))) (pow (* (* t (- x z)) y) 1))
3.535 * [regime-testing]: Baseline error score: 7.059062784551187
3.535 * [regime-testing]: Oracle error score: 0.03150393799224903
3.536 * [regime-testing]: End program error score: 2.4815841174579387
3.567 * [regime-testing]: Target error score: 3.1747708715546223