24.532 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (* x (log y)) z) y)
0.034 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.035 * * [simplify]: iteration  1 :  25  enodes  (cost  4 )
0.037 * * [simplify]: iteration  2 :  41  enodes  (cost  4 )
0.038 * * [simplify]: iteration  3 :  52  enodes  (cost  4 )
0.039 * * [simplify]: iteration  4 :  85  enodes  (cost  4 )
0.041 * * [simplify]: iteration  5 :  106  enodes  (cost  4 )
0.042 * * [simplify]: iteration  6 :  141  enodes  (cost  4 )
0.044 * * [simplify]: iteration  7 :  215  enodes  (cost  4 )
0.046 * * [simplify]: iteration  8 :  236  enodes  (cost  4 )
0.048 * * [simplify]: iteration  9 :  236  enodes  (cost  4 )
0.048 * [simplify]: Simplified to:
   (- (- (* x (log y)) z) y)
0.048 * * [progress]: iteration 1 / 4
0.048 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (* x (log y)) z) y))>
0.050 * * * [progress]: localizing error
0.060 * * * [progress]: generating rewritten candidates
0.060 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.064 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.068 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.078 * * * [progress]: generating series expansions
0.078 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.078 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.078 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (log y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (log y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (log y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.079 * [taylor]: Taking taylor expansion of 0 in y
0.079 * [taylor]: Taking taylor expansion of (log y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.085 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.086 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.096 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.096 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.096 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.096 * [taylor]: Taking taylor expansion of -1 in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of x in y
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.098 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.098 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.098 * [taylor]: Taking taylor expansion of -1 in x
0.098 * [taylor]: Taking taylor expansion of y in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.098 * [taylor]: Taking taylor expansion of -1 in y
0.098 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.098 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.098 * [taylor]: Taking taylor expansion of -1 in y
0.098 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.113 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.113 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0
0.113 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z
0.113 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.113 * [taylor]: Taking taylor expansion of x in z
0.113 * [taylor]: Taking taylor expansion of (log y) in z
0.113 * [taylor]: Taking taylor expansion of y in z
0.113 * [taylor]: Taking taylor expansion of z in z
0.113 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y
0.113 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [taylor]: Taking taylor expansion of (log y) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of z in y
0.114 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.114 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (log y) in x
0.114 * [taylor]: Taking taylor expansion of y in x
0.114 * [taylor]: Taking taylor expansion of z in x
0.114 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.114 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [taylor]: Taking taylor expansion of (log y) in x
0.114 * [taylor]: Taking taylor expansion of y in x
0.114 * [taylor]: Taking taylor expansion of z in x
0.114 * [taylor]: Taking taylor expansion of (neg z) in y
0.114 * [taylor]: Taking taylor expansion of z in y
0.114 * [taylor]: Taking taylor expansion of (neg z) in z
0.114 * [taylor]: Taking taylor expansion of z in z
0.115 * [taylor]: Taking taylor expansion of (log y) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (log y) in z
0.116 * [taylor]: Taking taylor expansion of y in z
0.116 * [taylor]: Taking taylor expansion of 0 in z
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in z
0.119 * [taylor]: Taking taylor expansion of 0 in z
0.120 * [taylor]: Taking taylor expansion of 0 in z
0.121 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0
0.121 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z
0.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.121 * [taylor]: Taking taylor expansion of y in z
0.121 * [taylor]: Taking taylor expansion of x in z
0.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.121 * [taylor]: Taking taylor expansion of z in z
0.121 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y
0.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.121 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of x in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.122 * [taylor]: Taking taylor expansion of z in y
0.122 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.122 * [taylor]: Taking taylor expansion of y in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.123 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.123 * [taylor]: Taking taylor expansion of y in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.123 * [taylor]: Taking taylor expansion of z in x
0.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.123 * [taylor]: Taking taylor expansion of y in y
0.124 * [taylor]: Taking taylor expansion of (neg (log y)) in z
0.124 * [taylor]: Taking taylor expansion of (log y) in z
0.124 * [taylor]: Taking taylor expansion of y in z
0.125 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y
0.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.125 * [taylor]: Taking taylor expansion of z in y
0.125 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.125 * [taylor]: Taking taylor expansion of z in z
0.127 * [taylor]: Taking taylor expansion of 0 in z
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [taylor]: Taking taylor expansion of 0 in z
0.129 * [taylor]: Taking taylor expansion of 0 in z
0.131 * [taylor]: Taking taylor expansion of 0 in z
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in z
0.136 * [taylor]: Taking taylor expansion of 0 in z
0.136 * [taylor]: Taking taylor expansion of 0 in z
0.142 * [taylor]: Taking taylor expansion of 0 in z
0.143 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.143 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z
0.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.143 * [taylor]: Taking taylor expansion of z in z
0.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.143 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.143 * [taylor]: Taking taylor expansion of -1 in z
0.143 * [taylor]: Taking taylor expansion of y in z
0.143 * [taylor]: Taking taylor expansion of x in z
0.143 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y
0.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.143 * [taylor]: Taking taylor expansion of z in y
0.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.144 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.144 * [taylor]: Taking taylor expansion of -1 in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of x in y
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) 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 (/ (log (/ -1 y)) x) in x
0.145 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.145 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.146 * [taylor]: Taking taylor expansion of z in x
0.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y
0.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.147 * [taylor]: Taking taylor expansion of (log y) in z
0.147 * [taylor]: Taking taylor expansion of y in z
0.147 * [taylor]: Taking taylor expansion of (log -1) in z
0.147 * [taylor]: Taking taylor expansion of -1 in z
0.149 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.149 * [taylor]: Taking taylor expansion of z in y
0.149 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.149 * [taylor]: Taking taylor expansion of z in z
0.151 * [taylor]: Taking taylor expansion of 0 in z
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.155 * [taylor]: Taking taylor expansion of 0 in z
0.155 * [taylor]: Taking taylor expansion of 0 in z
0.157 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [taylor]: Taking taylor expansion of 0 in y
0.162 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.166 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.166 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0
0.166 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z
0.166 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.166 * [taylor]: Taking taylor expansion of x in z
0.166 * [taylor]: Taking taylor expansion of (log y) in z
0.166 * [taylor]: Taking taylor expansion of y in z
0.167 * [taylor]: Taking taylor expansion of (+ z y) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of y in z
0.167 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y
0.167 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.167 * [taylor]: Taking taylor expansion of x in y
0.167 * [taylor]: Taking taylor expansion of (log y) in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [taylor]: Taking taylor expansion of (+ z y) in y
0.167 * [taylor]: Taking taylor expansion of z in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.167 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of (log y) in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (+ z y) in x
0.167 * [taylor]: Taking taylor expansion of z in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.167 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of (log y) in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (+ z y) in x
0.167 * [taylor]: Taking taylor expansion of z in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y
0.167 * [taylor]: Taking taylor expansion of (+ z y) in y
0.167 * [taylor]: Taking taylor expansion of z in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [taylor]: Taking taylor expansion of (neg z) in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.169 * [taylor]: Taking taylor expansion of (log y) in y
0.169 * [taylor]: Taking taylor expansion of y in y
0.170 * [taylor]: Taking taylor expansion of (log y) in z
0.170 * [taylor]: Taking taylor expansion of y in z
0.170 * [taylor]: Taking taylor expansion of -1 in z
0.171 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0
0.171 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z
0.171 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.171 * [taylor]: Taking taylor expansion of y in z
0.171 * [taylor]: Taking taylor expansion of x in z
0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.171 * [taylor]: Taking taylor expansion of y in z
0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.171 * [taylor]: Taking taylor expansion of z in z
0.172 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y
0.172 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.172 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of x in y
0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.173 * [taylor]: Taking taylor expansion of y in y
0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.173 * [taylor]: Taking taylor expansion of z in y
0.173 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x
0.173 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.173 * [taylor]: Taking taylor expansion of y in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.173 * [taylor]: Taking taylor expansion of y in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.173 * [taylor]: Taking taylor expansion of z in x
0.173 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x
0.173 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.173 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.174 * [taylor]: Taking taylor expansion of z in x
0.174 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.174 * [taylor]: Taking taylor expansion of y in y
0.176 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 z))) in y
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.176 * [taylor]: Taking taylor expansion of y in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.176 * [taylor]: Taking taylor expansion of z in y
0.176 * [taylor]: Taking taylor expansion of -1 in z
0.177 * [taylor]: Taking taylor expansion of (neg (log y)) in z
0.177 * [taylor]: Taking taylor expansion of (log y) in z
0.177 * [taylor]: Taking taylor expansion of y in z
0.179 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.180 * [taylor]: Taking taylor expansion of z in z
0.182 * [taylor]: Taking taylor expansion of 0 in z
0.182 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.182 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z
0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.183 * [taylor]: Taking taylor expansion of y in z
0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.183 * [taylor]: Taking taylor expansion of z in z
0.183 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.183 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.183 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.183 * [taylor]: Taking taylor expansion of -1 in z
0.183 * [taylor]: Taking taylor expansion of y in z
0.183 * [taylor]: Taking taylor expansion of x in z
0.183 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.183 * [taylor]: Taking taylor expansion of y in y
0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.183 * [taylor]: Taking taylor expansion of z in y
0.183 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.183 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.183 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.183 * [taylor]: Taking taylor expansion of -1 in y
0.183 * [taylor]: Taking taylor expansion of y in y
0.184 * [taylor]: Taking taylor expansion of x in y
0.185 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x
0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.185 * [taylor]: Taking taylor expansion of y in x
0.185 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.185 * [taylor]: Taking taylor expansion of z in x
0.185 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.185 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.185 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.185 * [taylor]: Taking taylor expansion of -1 in x
0.186 * [taylor]: Taking taylor expansion of y in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.186 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x
0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.186 * [taylor]: Taking taylor expansion of y in x
0.186 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.186 * [taylor]: Taking taylor expansion of z in x
0.186 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.186 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.186 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.186 * [taylor]: Taking taylor expansion of -1 in x
0.186 * [taylor]: Taking taylor expansion of y in x
0.186 * [taylor]: Taking taylor expansion of x in x
0.186 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y
0.186 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.186 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.186 * [taylor]: Taking taylor expansion of -1 in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.188 * [taylor]: Taking taylor expansion of z in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.188 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of 1 in z
0.190 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.190 * [taylor]: Taking taylor expansion of (log y) in z
0.190 * [taylor]: Taking taylor expansion of y in z
0.190 * [taylor]: Taking taylor expansion of (log -1) in z
0.190 * [taylor]: Taking taylor expansion of -1 in z
0.193 * [taylor]: Taking taylor expansion of 0 in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.193 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.197 * * * [progress]: simplifying candidates
0.198 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (/ (exp (* x (log y))) (exp z))
  (log (- (* x (log y)) z))
  (exp (- (* x (log y)) z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z)))
  (neg z)
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (+ (* x (log y)) z)
  (- (* x (log (cbrt y))) z)
  (- (* x (log (sqrt y))) z)
  (- (* x (log y)) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (neg z)
  (/ (/ (exp (* x (log y))) (exp z)) (exp y))
  (/ (exp (- (* x (log y)) z)) (exp y))
  (log (- (- (* x (log y)) z) y))
  (exp (- (- (* x (log y)) z) y))
  (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y)))
  (cbrt (- (- (* x (log y)) z) y))
  (* (* (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y)) (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (- (pow (- (* x (log y)) z) 3) (pow y 3))
  (+ (* (- (* x (log y)) z) (- (* x (log y)) z)) (+ (* y y) (* (- (* x (log y)) z) y)))
  (neg y)
  (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y))
  (+ (- (* x (log y)) z) y)
  (+ (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (- (* x (log y)) z) y)
  (- (neg z) y)
  (- (- (* x (log (cbrt y))) z) y)
  (- (- (* x (log (sqrt y))) z) y)
  (- (- (* x (log y)) z) y)
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* (log y) x) z) y)
  (- (neg z) y)
  (+ z y)
  (neg y)
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* x (log y)) z)
  (neg (+ (* x (log (/ 1 y))) z))
  (- (* (log -1) x) (+ z (* x (log (/ -1 y)))))
  (- (* x (log y)) (+ z y))
  (neg (+ (* x (log (/ 1 y))) (+ z y)))
  (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y))))))
0.202 * * [simplify]: iteration  0 :  257  enodes  (cost  372 )
0.206 * * [simplify]: iteration  1 :  752  enodes  (cost  352 )
0.219 * * [simplify]: iteration  2 :  2351  enodes  (cost  328 )
0.254 * * [simplify]: iteration  3 :  5001  enodes  (cost  328 )
0.256 * [simplify]: Simplified to:
   (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (exp (- (* x (log y)) z))
  (log (- (* x (log y)) z))
  (exp (- (* x (log y)) z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (pow (- (* x (log y)) z) 3)
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (+ (* (* x (log y)) (+ (* x (log y)) z)) (* z z))
  (neg z)
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (+ (* x (log y)) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (neg z)
  (exp (- (- (* x (log y)) z) y))
  (exp (- (- (* x (log y)) z) y))
  (log (- (- (* x (log y)) z) y))
  (exp (- (- (* x (log y)) z) y))
  (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y)))
  (cbrt (- (- (* x (log y)) z) y))
  (pow (- (* x (log y)) (+ z y)) 3)
  (sqrt (- (- (* x (log y)) z) y))
  (sqrt (- (- (* x (log y)) z) y))
  (- (pow (- (* x (log y)) z) 3) (pow y 3))
  (+ (* (- (* (log y) x) z) (+ (- (* x (log y)) z) y)) (* y y))
  (neg y)
  (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y))
  (+ (- (* x (log y)) z) y)
  (+ (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (sqrt (- (* x (log y)) z)) (sqrt y))
  (- (- (* x (log y)) y) z)
  (neg (+ z y))
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* x (log y)) y) z)
  (- (- (* (log (cbrt y)) x) z) y)
  (- (- (* (log (sqrt y)) x) z) y)
  (- (- (* x (log y)) y) z)
  (neg (+ z y))
  (+ z y)
  (neg y)
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (- (* (log y) x) z)
  (- (* (log y) x) z)
  (- (* (log y) x) z)
  (- (- (* x (log y)) y) z)
  (- (- (* x (log y)) y) z)
  (- (- (* x (log y)) y) z)
0.256 * * * [progress]: adding candidates to table
0.370 * * [progress]: iteration 2 / 4
0.370 * * * [progress]: picking best candidate
0.383 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) y))>
0.383 * * * [progress]: localizing error
0.396 * * * [progress]: generating rewritten candidates
0.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1)
0.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1)
0.398 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.418 * * * [progress]: generating series expansions
0.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1)
0.418 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.418 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.418 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.418 * [taylor]: Taking taylor expansion of 1/3 in y
0.418 * [taylor]: Taking taylor expansion of (log y) in y
0.418 * [taylor]: Taking taylor expansion of y in y
0.419 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.419 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.419 * [taylor]: Taking taylor expansion of 1/3 in y
0.419 * [taylor]: Taking taylor expansion of (log y) in y
0.419 * [taylor]: Taking taylor expansion of y in y
0.469 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.469 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.469 * [taylor]: Taking taylor expansion of 1/3 in y
0.469 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.470 * [taylor]: Taking taylor expansion of 1/3 in y
0.470 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.519 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.519 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.519 * [taylor]: Taking taylor expansion of -1 in y
0.520 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.520 * [taylor]: Taking taylor expansion of 1/3 in y
0.520 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.520 * [taylor]: Taking taylor expansion of y in y
0.521 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.521 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.521 * [taylor]: Taking taylor expansion of -1 in y
0.522 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.522 * [taylor]: Taking taylor expansion of 1/3 in y
0.522 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.522 * [taylor]: Taking taylor expansion of y in y
0.585 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1)
0.585 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.585 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.585 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.585 * [taylor]: Taking taylor expansion of 1/3 in y
0.585 * [taylor]: Taking taylor expansion of (log y) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.586 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.586 * [taylor]: Taking taylor expansion of 1/3 in y
0.586 * [taylor]: Taking taylor expansion of (log y) in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.635 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.635 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.635 * [taylor]: Taking taylor expansion of 1/3 in y
0.635 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.635 * [taylor]: Taking taylor expansion of y in y
0.636 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.636 * [taylor]: Taking taylor expansion of 1/3 in y
0.636 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.636 * [taylor]: Taking taylor expansion of y in y
0.688 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.688 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.688 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.688 * [taylor]: Taking taylor expansion of -1 in y
0.688 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.689 * [taylor]: Taking taylor expansion of 1/3 in y
0.689 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.689 * [taylor]: Taking taylor expansion of y in y
0.689 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.689 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.689 * [taylor]: Taking taylor expansion of -1 in y
0.690 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.690 * [taylor]: Taking taylor expansion of 1/3 in y
0.690 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.690 * [taylor]: Taking taylor expansion of y in y
0.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.753 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0
0.753 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
0.753 * [taylor]: Taking taylor expansion of 3 in y
0.753 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
0.753 * [taylor]: Taking taylor expansion of x in y
0.753 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.753 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.753 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.753 * [taylor]: Taking taylor expansion of 1/3 in y
0.753 * [taylor]: Taking taylor expansion of (log y) in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
0.754 * [taylor]: Taking taylor expansion of 3 in x
0.754 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.754 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.754 * [taylor]: Taking taylor expansion of 1/3 in x
0.754 * [taylor]: Taking taylor expansion of (log y) in x
0.754 * [taylor]: Taking taylor expansion of y in x
0.754 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
0.754 * [taylor]: Taking taylor expansion of 3 in x
0.754 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.755 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.755 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.755 * [taylor]: Taking taylor expansion of 1/3 in x
0.755 * [taylor]: Taking taylor expansion of (log y) in x
0.755 * [taylor]: Taking taylor expansion of y in x
0.755 * [taylor]: Taking taylor expansion of 0 in y
0.758 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y
0.758 * [taylor]: Taking taylor expansion of 3 in y
0.758 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.758 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.758 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.758 * [taylor]: Taking taylor expansion of 1/3 in y
0.758 * [taylor]: Taking taylor expansion of (log y) in y
0.758 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of 0 in y
0.772 * [taylor]: Taking taylor expansion of 0 in y
0.772 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
0.772 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
0.772 * [taylor]: Taking taylor expansion of 3 in y
0.772 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
0.772 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.772 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.772 * [taylor]: Taking taylor expansion of 1/3 in y
0.772 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.772 * [taylor]: Taking taylor expansion of y in y
0.773 * [taylor]: Taking taylor expansion of x in y
0.773 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
0.773 * [taylor]: Taking taylor expansion of 3 in x
0.773 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.773 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.774 * [taylor]: Taking taylor expansion of 1/3 in x
0.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.774 * [taylor]: Taking taylor expansion of y in x
0.774 * [taylor]: Taking taylor expansion of x in x
0.774 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
0.774 * [taylor]: Taking taylor expansion of 3 in x
0.774 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.774 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.774 * [taylor]: Taking taylor expansion of 1/3 in x
0.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.774 * [taylor]: Taking taylor expansion of y in x
0.774 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y
0.775 * [taylor]: Taking taylor expansion of 3 in y
0.775 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.775 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.775 * [taylor]: Taking taylor expansion of 1/3 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.778 * [taylor]: Taking taylor expansion of 0 in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.798 * [taylor]: Taking taylor expansion of 0 in y
0.799 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y) around 0
0.799 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
0.799 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
0.799 * [taylor]: Taking taylor expansion of 3 in y
0.799 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
0.799 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
0.799 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.799 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.799 * [taylor]: Taking taylor expansion of -1 in y
0.799 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.800 * [taylor]: Taking taylor expansion of 1/3 in y
0.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.800 * [taylor]: Taking taylor expansion of y in y
0.801 * [taylor]: Taking taylor expansion of x in y
0.801 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
0.802 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
0.802 * [taylor]: Taking taylor expansion of 3 in x
0.802 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
0.802 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
0.802 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
0.802 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.802 * [taylor]: Taking taylor expansion of -1 in x
0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.802 * [taylor]: Taking taylor expansion of 1/3 in x
0.802 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.802 * [taylor]: Taking taylor expansion of y in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.804 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
0.804 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
0.804 * [taylor]: Taking taylor expansion of 3 in x
0.804 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
0.804 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
0.804 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
0.804 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.804 * [taylor]: Taking taylor expansion of -1 in x
0.805 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.805 * [taylor]: Taking taylor expansion of 1/3 in x
0.805 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.805 * [taylor]: Taking taylor expansion of y in x
0.806 * [taylor]: Taking taylor expansion of x in x
0.807 * [taylor]: Taking taylor expansion of (neg (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
0.807 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
0.807 * [taylor]: Taking taylor expansion of 3 in y
0.807 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
0.807 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.807 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.807 * [taylor]: Taking taylor expansion of -1 in y
0.808 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.808 * [taylor]: Taking taylor expansion of 1/3 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.815 * [taylor]: Taking taylor expansion of 0 in y
0.829 * [taylor]: Taking taylor expansion of 0 in y
0.847 * [taylor]: Taking taylor expansion of 0 in y
0.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.848 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
0.848 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
0.848 * [taylor]: Taking taylor expansion of x in y
0.848 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.848 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.848 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.848 * [taylor]: Taking taylor expansion of 1/3 in y
0.848 * [taylor]: Taking taylor expansion of (log y) in y
0.848 * [taylor]: Taking taylor expansion of y in y
0.849 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.849 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.849 * [taylor]: Taking taylor expansion of 1/3 in x
0.849 * [taylor]: Taking taylor expansion of (log y) in x
0.849 * [taylor]: Taking taylor expansion of y in x
0.849 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.849 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.849 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.849 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.849 * [taylor]: Taking taylor expansion of 1/3 in x
0.849 * [taylor]: Taking taylor expansion of (log y) in x
0.849 * [taylor]: Taking taylor expansion of y in x
0.849 * [taylor]: Taking taylor expansion of 0 in y
0.851 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.851 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.851 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.851 * [taylor]: Taking taylor expansion of 1/3 in y
0.851 * [taylor]: Taking taylor expansion of (log y) in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.856 * [taylor]: Taking taylor expansion of 0 in y
0.864 * [taylor]: Taking taylor expansion of 0 in y
0.864 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
0.864 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
0.864 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.864 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.864 * [taylor]: Taking taylor expansion of 1/3 in y
0.864 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.864 * [taylor]: Taking taylor expansion of y in y
0.865 * [taylor]: Taking taylor expansion of x in y
0.865 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.865 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.865 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.865 * [taylor]: Taking taylor expansion of 1/3 in x
0.865 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.865 * [taylor]: Taking taylor expansion of y in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.866 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.866 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.866 * [taylor]: Taking taylor expansion of 1/3 in x
0.866 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.866 * [taylor]: Taking taylor expansion of y in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.866 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.866 * [taylor]: Taking taylor expansion of 1/3 in y
0.866 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.866 * [taylor]: Taking taylor expansion of y in y
0.870 * [taylor]: Taking taylor expansion of 0 in y
0.877 * [taylor]: Taking taylor expansion of 0 in y
0.887 * [taylor]: Taking taylor expansion of 0 in y
0.888 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0
0.888 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
0.888 * [taylor]: Taking taylor expansion of -1 in y
0.888 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
0.888 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
0.888 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.888 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.888 * [taylor]: Taking taylor expansion of -1 in y
0.888 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.888 * [taylor]: Taking taylor expansion of 1/3 in y
0.888 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.889 * [taylor]: Taking taylor expansion of y in y
0.890 * [taylor]: Taking taylor expansion of x in y
0.890 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
0.890 * [taylor]: Taking taylor expansion of -1 in x
0.890 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
0.891 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
0.891 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
0.891 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.891 * [taylor]: Taking taylor expansion of -1 in x
0.891 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.891 * [taylor]: Taking taylor expansion of 1/3 in x
0.891 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.891 * [taylor]: Taking taylor expansion of y in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
0.893 * [taylor]: Taking taylor expansion of -1 in x
0.893 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
0.893 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
0.893 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
0.893 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.893 * [taylor]: Taking taylor expansion of -1 in x
0.893 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.894 * [taylor]: Taking taylor expansion of 1/3 in x
0.894 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.894 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.894 * [taylor]: Taking taylor expansion of y in x
0.894 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
0.895 * [taylor]: Taking taylor expansion of -1 in y
0.895 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
0.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.895 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.895 * [taylor]: Taking taylor expansion of -1 in y
0.896 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.896 * [taylor]: Taking taylor expansion of 1/3 in y
0.896 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.896 * [taylor]: Taking taylor expansion of y in y
0.903 * [taylor]: Taking taylor expansion of 0 in y
0.918 * [taylor]: Taking taylor expansion of 0 in y
0.935 * [taylor]: Taking taylor expansion of 0 in y
0.936 * * * [progress]: simplifying candidates
0.937 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
  (* (exp (* x (* 2 (log (cbrt y))))) (exp (* x (log (cbrt y)))))
  (log (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (exp (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (* (* (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (cbrt y))) 3))
  (+ (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (- (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* (* x (log (cbrt y))) (* x (log (cbrt y)))))
  (- (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (sqrt y)))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt 1))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (sqrt (cbrt y)))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log 1)))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (sqrt y))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt 1)) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (sqrt (cbrt y))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log 1) x))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (sqrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (sqrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (sqrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (sqrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (sqrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (sqrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (+ (log x) (log (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (exp (* x (log (cbrt y))))
  (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (cbrt y)))
  (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log 1))
  (* x (log (cbrt y)))
  (* (log (cbrt (* (cbrt y) (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt 1)) x)
  (* (log (cbrt y)) x)
  (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log 1) x)
  (* (log (cbrt y)) x)
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  (* x 1)
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt 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))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
0.943 * * [simplify]: iteration  0 :  345  enodes  (cost  729 )
0.949 * * [simplify]: iteration  1 :  1431  enodes  (cost  634 )
0.985 * * [simplify]: iteration  2 :  5001  enodes  (cost  547 )
0.990 * [simplify]: Simplified to:
   (* (log y) 1/3)
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (log y) 1/3)
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow (pow y 1/3) (* 3 x))
  (log (* (log y) x))
  (pow (pow y 1/3) (* 3 x))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (pow (* (log y) x) 3)
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (* 9 (pow (* x (log (cbrt y))) 3))
  (* (* (* x (log (cbrt y))) x) (log y))
  (* (* (* x (log (cbrt y))) x) (log y))
  (* x (log (pow y 1/3)))
  (log y)
  (* x (+ (* 2/3 (log y)) (log (cbrt (* (cbrt y) (cbrt y))))))
  (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))
  (* 2/3 (* (log y) x))
  (* (* 2 x) (+ (log (pow y 1/3)) (log (cbrt (cbrt y)))))
  (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))))
  (* 2/3 (* (log y) x))
  (* x (+ (* 2/3 (log y)) (log (cbrt (* (cbrt y) (cbrt y))))))
  (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))
  (* 2/3 (* (log y) x))
  (* (* 2 x) (+ (log (pow y 1/3)) (log (cbrt (cbrt y)))))
  (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))))
  (* 2/3 (* (log y) x))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* x (log y))
  (* x (log (pow y 1/3)))
  (log (* x (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (pow (pow y 1/3) x)
  (pow (* x (log (cbrt y))) 3)
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (pow (* x (log (cbrt y))) 3)
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x (* (log (cbrt (cbrt y))) 2))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x (* (log (cbrt (cbrt y))) 2))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x 1/3)
  x
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  x
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (pow y 1/3)))
  (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))
  (* x (log y))
  (* -1 (* (log (/ 1 y)) x))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
0.991 * * * [progress]: adding candidates to table
1.261 * * [progress]: iteration 3 / 4
1.261 * * * [progress]: picking best candidate
1.279 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))>
1.279 * * * [progress]: localizing error
1.299 * * * [progress]: generating rewritten candidates
1.299 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2)
1.300 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 2)
1.302 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1 1)
1.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2 1)
1.306 * * * [progress]: generating series expansions
1.306 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2)
1.306 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.306 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.306 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.306 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.306 * [taylor]: Taking taylor expansion of 1/9 in y
1.306 * [taylor]: Taking taylor expansion of (log y) in y
1.306 * [taylor]: Taking taylor expansion of y in y
1.307 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.307 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.307 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.307 * [taylor]: Taking taylor expansion of 1/9 in y
1.307 * [taylor]: Taking taylor expansion of (log y) in y
1.307 * [taylor]: Taking taylor expansion of y in y
1.359 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
1.359 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.359 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.359 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.359 * [taylor]: Taking taylor expansion of 1/9 in y
1.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.359 * [taylor]: Taking taylor expansion of y in y
1.360 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.360 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.360 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.360 * [taylor]: Taking taylor expansion of 1/9 in y
1.360 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.360 * [taylor]: Taking taylor expansion of y in y
1.417 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
1.417 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.417 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.418 * [taylor]: Taking taylor expansion of 1/3 in y
1.418 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.418 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.418 * [taylor]: Taking taylor expansion of -1 in y
1.421 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.421 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.421 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.421 * [taylor]: Taking taylor expansion of 1/9 in y
1.421 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.421 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.422 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.422 * [taylor]: Taking taylor expansion of 1/3 in y
1.422 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.422 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.422 * [taylor]: Taking taylor expansion of -1 in y
1.426 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.426 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.426 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.426 * [taylor]: Taking taylor expansion of 1/9 in y
1.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.426 * [taylor]: Taking taylor expansion of y in y
1.547 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 2)
1.547 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.547 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.547 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.547 * [taylor]: Taking taylor expansion of 1/9 in y
1.547 * [taylor]: Taking taylor expansion of (log y) in y
1.547 * [taylor]: Taking taylor expansion of y in y
1.547 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.547 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.547 * [taylor]: Taking taylor expansion of 1/9 in y
1.548 * [taylor]: Taking taylor expansion of (log y) in y
1.548 * [taylor]: Taking taylor expansion of y in y
1.601 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
1.601 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.601 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.601 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.601 * [taylor]: Taking taylor expansion of 1/9 in y
1.601 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.601 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.601 * [taylor]: Taking taylor expansion of y in y
1.602 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.602 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.602 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.602 * [taylor]: Taking taylor expansion of 1/9 in y
1.602 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.602 * [taylor]: Taking taylor expansion of y in y
1.656 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
1.656 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.656 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.656 * [taylor]: Taking taylor expansion of 1/3 in y
1.656 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.656 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.656 * [taylor]: Taking taylor expansion of -1 in y
1.660 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.660 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.660 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.660 * [taylor]: Taking taylor expansion of 1/9 in y
1.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.660 * [taylor]: Taking taylor expansion of y in y
1.661 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.661 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.661 * [taylor]: Taking taylor expansion of 1/3 in y
1.661 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.661 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.661 * [taylor]: Taking taylor expansion of -1 in y
1.664 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.664 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.664 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.664 * [taylor]: Taking taylor expansion of 1/9 in y
1.664 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.664 * [taylor]: Taking taylor expansion of y in y
1.783 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1 1)
1.783 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.783 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.783 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.783 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.783 * [taylor]: Taking taylor expansion of 1/9 in y
1.783 * [taylor]: Taking taylor expansion of (log y) in y
1.783 * [taylor]: Taking taylor expansion of y in y
1.784 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.784 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.784 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.784 * [taylor]: Taking taylor expansion of 1/9 in y
1.784 * [taylor]: Taking taylor expansion of (log y) in y
1.784 * [taylor]: Taking taylor expansion of y in y
1.836 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
1.836 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.836 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.836 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.836 * [taylor]: Taking taylor expansion of 1/9 in y
1.836 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.836 * [taylor]: Taking taylor expansion of y in y
1.837 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.837 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.837 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.837 * [taylor]: Taking taylor expansion of 1/9 in y
1.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.837 * [taylor]: Taking taylor expansion of y in y
1.891 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
1.891 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.891 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.891 * [taylor]: Taking taylor expansion of 1/3 in y
1.891 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.891 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.891 * [taylor]: Taking taylor expansion of -1 in y
1.895 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.895 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.895 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.895 * [taylor]: Taking taylor expansion of 1/9 in y
1.895 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.895 * [taylor]: Taking taylor expansion of y in y
1.896 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.896 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.896 * [taylor]: Taking taylor expansion of 1/3 in y
1.896 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.896 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.896 * [taylor]: Taking taylor expansion of -1 in y
1.899 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.899 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.899 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.899 * [taylor]: Taking taylor expansion of 1/9 in y
1.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.899 * [taylor]: Taking taylor expansion of y in y
2.020 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2 1)
2.020 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.020 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.020 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.020 * [taylor]: Taking taylor expansion of 1/3 in y
2.020 * [taylor]: Taking taylor expansion of (log y) in y
2.020 * [taylor]: Taking taylor expansion of y in y
2.021 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.021 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.021 * [taylor]: Taking taylor expansion of 1/3 in y
2.021 * [taylor]: Taking taylor expansion of (log y) in y
2.021 * [taylor]: Taking taylor expansion of y in y
2.067 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.067 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.067 * [taylor]: Taking taylor expansion of 1/3 in y
2.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.067 * [taylor]: Taking taylor expansion of y in y
2.068 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.068 * [taylor]: Taking taylor expansion of 1/3 in y
2.068 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.068 * [taylor]: Taking taylor expansion of y in y
2.141 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.141 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.141 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.141 * [taylor]: Taking taylor expansion of -1 in y
2.142 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.142 * [taylor]: Taking taylor expansion of 1/3 in y
2.142 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.142 * [taylor]: Taking taylor expansion of y in y
2.142 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.142 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.143 * [taylor]: Taking taylor expansion of -1 in y
2.143 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.143 * [taylor]: Taking taylor expansion of 1/3 in y
2.143 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.143 * [taylor]: Taking taylor expansion of y in y
2.208 * * * [progress]: simplifying candidates
2.209 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (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))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
2.212 * * [simplify]: iteration  0 :  71  enodes  (cost  261 )
2.214 * * [simplify]: iteration  1 :  141  enodes  (cost  243 )
2.217 * * [simplify]: iteration  2 :  357  enodes  (cost  235 )
2.224 * * [simplify]: iteration  3 :  1377  enodes  (cost  235 )
2.255 * * [simplify]: iteration  4 :  5001  enodes  (cost  235 )
2.257 * [simplify]: Simplified to:
   (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (pow y 1/3)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (pow y 1/3)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (pow y 1/3)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (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))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
2.257 * * * [progress]: adding candidates to table
2.492 * * [progress]: iteration 4 / 4
2.492 * * * [progress]: picking best candidate
2.504 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))>
2.504 * * * [progress]: localizing error
2.522 * * * [progress]: generating rewritten candidates
2.522 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1)
2.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1)
2.526 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
2.530 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.543 * * * [progress]: generating series expansions
2.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1)
2.544 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0
2.544 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.544 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.544 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.544 * [taylor]: Taking taylor expansion of 1/6 in y
2.544 * [taylor]: Taking taylor expansion of (log y) in y
2.544 * [taylor]: Taking taylor expansion of y in y
2.544 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.544 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.544 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.544 * [taylor]: Taking taylor expansion of 1/6 in y
2.545 * [taylor]: Taking taylor expansion of (log y) in y
2.545 * [taylor]: Taking taylor expansion of y in y
2.597 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0
2.597 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.597 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.597 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.597 * [taylor]: Taking taylor expansion of 1/6 in y
2.597 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.598 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.598 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.598 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.598 * [taylor]: Taking taylor expansion of 1/6 in y
2.598 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.598 * [taylor]: Taking taylor expansion of y in y
2.654 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0
2.654 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
2.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
2.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
2.654 * [taylor]: Taking taylor expansion of 1/3 in y
2.655 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
2.655 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.655 * [taylor]: Taking taylor expansion of -1 in y
2.655 * [taylor]: Taking taylor expansion of y in y
2.658 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
2.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
2.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
2.658 * [taylor]: Taking taylor expansion of 1/3 in y
2.658 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
2.658 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.658 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.658 * [taylor]: Taking taylor expansion of -1 in y
2.658 * [taylor]: Taking taylor expansion of y in y
2.712 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1)
2.712 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0
2.712 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.712 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.712 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.712 * [taylor]: Taking taylor expansion of 1/6 in y
2.712 * [taylor]: Taking taylor expansion of (log y) in y
2.712 * [taylor]: Taking taylor expansion of y in y
2.713 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.713 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.713 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.713 * [taylor]: Taking taylor expansion of 1/6 in y
2.713 * [taylor]: Taking taylor expansion of (log y) in y
2.713 * [taylor]: Taking taylor expansion of y in y
2.768 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0
2.768 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.768 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.768 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.768 * [taylor]: Taking taylor expansion of 1/6 in y
2.768 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.768 * [taylor]: Taking taylor expansion of y in y
2.769 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.769 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.769 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.769 * [taylor]: Taking taylor expansion of 1/6 in y
2.769 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.769 * [taylor]: Taking taylor expansion of y in y
2.826 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0
2.826 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
2.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
2.826 * [taylor]: Taking taylor expansion of 1/3 in y
2.826 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
2.826 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.826 * [taylor]: Taking taylor expansion of -1 in y
2.826 * [taylor]: Taking taylor expansion of y in y
2.829 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
2.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
2.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
2.830 * [taylor]: Taking taylor expansion of 1/3 in y
2.830 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
2.830 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.830 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.830 * [taylor]: Taking taylor expansion of -1 in y
2.830 * [taylor]: Taking taylor expansion of y in y
2.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
2.886 * [approximate]: Taking taylor expansion of (* 2/3 (log y)) in (y) around 0
2.886 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
2.886 * [taylor]: Taking taylor expansion of 2/3 in y
2.886 * [taylor]: Taking taylor expansion of (log y) in y
2.886 * [taylor]: Taking taylor expansion of y in y
2.887 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
2.887 * [taylor]: Taking taylor expansion of 2/3 in y
2.887 * [taylor]: Taking taylor expansion of (log y) in y
2.887 * [taylor]: Taking taylor expansion of y in y
2.926 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in (y) around 0
2.926 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
2.926 * [taylor]: Taking taylor expansion of 2/3 in y
2.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.926 * [taylor]: Taking taylor expansion of y in y
2.927 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
2.927 * [taylor]: Taking taylor expansion of 2/3 in y
2.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.927 * [taylor]: Taking taylor expansion of y in y
2.975 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in (y) around 0
2.975 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
2.975 * [taylor]: Taking taylor expansion of 2/3 in y
2.975 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.975 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.975 * [taylor]: Taking taylor expansion of -1 in y
2.975 * [taylor]: Taking taylor expansion of y in y
2.976 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
2.976 * [taylor]: Taking taylor expansion of 2/3 in y
2.976 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.976 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.976 * [taylor]: Taking taylor expansion of -1 in y
2.976 * [taylor]: Taking taylor expansion of y in y
3.022 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.023 * [approximate]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in (x y) around 0
3.023 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in y
3.023 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in y
3.023 * [taylor]: Taking taylor expansion of 2/3 in y
3.023 * [taylor]: Taking taylor expansion of (* x (log y)) in y
3.023 * [taylor]: Taking taylor expansion of x in y
3.023 * [taylor]: Taking taylor expansion of (log y) in y
3.023 * [taylor]: Taking taylor expansion of y in y
3.023 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in y
3.023 * [taylor]: Taking taylor expansion of 2 in y
3.023 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in y
3.023 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y
3.023 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
3.023 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
3.023 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
3.023 * [taylor]: Taking taylor expansion of 1/6 in y
3.023 * [taylor]: Taking taylor expansion of (log y) in y
3.023 * [taylor]: Taking taylor expansion of y in y
3.024 * [taylor]: Taking taylor expansion of x in y
3.024 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in x
3.024 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in x
3.024 * [taylor]: Taking taylor expansion of 2/3 in x
3.024 * [taylor]: Taking taylor expansion of (* x (log y)) in x
3.024 * [taylor]: Taking taylor expansion of x in x
3.024 * [taylor]: Taking taylor expansion of (log y) in x
3.024 * [taylor]: Taking taylor expansion of y in x
3.024 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in x
3.024 * [taylor]: Taking taylor expansion of 2 in x
3.024 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x
3.024 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x
3.024 * [taylor]: Taking taylor expansion of (pow y 1/6) in x
3.024 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x
3.024 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x
3.024 * [taylor]: Taking taylor expansion of 1/6 in x
3.024 * [taylor]: Taking taylor expansion of (log y) in x
3.024 * [taylor]: Taking taylor expansion of y in x
3.029 * [taylor]: Taking taylor expansion of x in x
3.029 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in x
3.029 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in x
3.029 * [taylor]: Taking taylor expansion of 2/3 in x
3.029 * [taylor]: Taking taylor expansion of (* x (log y)) in x
3.029 * [taylor]: Taking taylor expansion of x in x
3.029 * [taylor]: Taking taylor expansion of (log y) in x
3.029 * [taylor]: Taking taylor expansion of y in x
3.029 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in x
3.029 * [taylor]: Taking taylor expansion of 2 in x
3.029 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x
3.029 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x
3.029 * [taylor]: Taking taylor expansion of (pow y 1/6) in x
3.029 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x
3.029 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x
3.030 * [taylor]: Taking taylor expansion of 1/6 in x
3.030 * [taylor]: Taking taylor expansion of (log y) in x
3.030 * [taylor]: Taking taylor expansion of y in x
3.030 * [taylor]: Taking taylor expansion of x in x
3.031 * [taylor]: Taking taylor expansion of 0 in y
3.034 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow y 1/6))) (* 2/3 (log y))) in y
3.034 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/6))) in y
3.034 * [taylor]: Taking taylor expansion of 2 in y
3.034 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y
3.034 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
3.034 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
3.035 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
3.035 * [taylor]: Taking taylor expansion of 1/6 in y
3.035 * [taylor]: Taking taylor expansion of (log y) in y
3.035 * [taylor]: Taking taylor expansion of y in y
3.035 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
3.035 * [taylor]: Taking taylor expansion of 2/3 in y
3.035 * [taylor]: Taking taylor expansion of (log y) in y
3.035 * [taylor]: Taking taylor expansion of y in y
3.043 * [taylor]: Taking taylor expansion of 0 in y
3.057 * [taylor]: Taking taylor expansion of 0 in y
3.057 * [approximate]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in (x y) around 0
3.057 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in y
3.057 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in y
3.057 * [taylor]: Taking taylor expansion of 2/3 in y
3.057 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
3.057 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.057 * [taylor]: Taking taylor expansion of y in y
3.058 * [taylor]: Taking taylor expansion of x in y
3.058 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in y
3.058 * [taylor]: Taking taylor expansion of 2 in y
3.058 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in y
3.058 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y
3.058 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
3.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
3.058 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
3.058 * [taylor]: Taking taylor expansion of 1/6 in y
3.058 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.058 * [taylor]: Taking taylor expansion of y in y
3.059 * [taylor]: Taking taylor expansion of x in y
3.059 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in x
3.059 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in x
3.060 * [taylor]: Taking taylor expansion of 2/3 in x
3.060 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
3.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.060 * [taylor]: Taking taylor expansion of y in x
3.060 * [taylor]: Taking taylor expansion of x in x
3.060 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in x
3.060 * [taylor]: Taking taylor expansion of 2 in x
3.060 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in x
3.060 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x
3.060 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x
3.060 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x
3.060 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x
3.060 * [taylor]: Taking taylor expansion of 1/6 in x
3.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.060 * [taylor]: Taking taylor expansion of y in x
3.060 * [taylor]: Taking taylor expansion of x in x
3.060 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in x
3.060 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in x
3.060 * [taylor]: Taking taylor expansion of 2/3 in x
3.060 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
3.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.060 * [taylor]: Taking taylor expansion of y in x
3.061 * [taylor]: Taking taylor expansion of x in x
3.061 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in x
3.061 * [taylor]: Taking taylor expansion of 2 in x
3.061 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in x
3.061 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x
3.061 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x
3.061 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x
3.061 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x
3.061 * [taylor]: Taking taylor expansion of 1/6 in x
3.061 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.061 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.061 * [taylor]: Taking taylor expansion of y in x
3.061 * [taylor]: Taking taylor expansion of x in x
3.061 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (* 2 (log (pow (/ 1 y) 1/6)))) in y
3.061 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
3.061 * [taylor]: Taking taylor expansion of 2/3 in y
3.061 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.061 * [taylor]: Taking taylor expansion of y in y
3.062 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/6))) in y
3.062 * [taylor]: Taking taylor expansion of 2 in y
3.062 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y
3.062 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
3.062 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
3.062 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
3.062 * [taylor]: Taking taylor expansion of 1/6 in y
3.062 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.062 * [taylor]: Taking taylor expansion of y in y
3.068 * [taylor]: Taking taylor expansion of 0 in y
3.081 * [taylor]: Taking taylor expansion of 0 in y
3.100 * [taylor]: Taking taylor expansion of 0 in y
3.100 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in (x y) around 0
3.100 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in y
3.100 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in y
3.100 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in y
3.100 * [taylor]: Taking taylor expansion of 2 in y
3.100 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in y
3.100 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y
3.100 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
3.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
3.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
3.100 * [taylor]: Taking taylor expansion of 1/3 in y
3.100 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
3.100 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
3.100 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.100 * [taylor]: Taking taylor expansion of -1 in y
3.101 * [taylor]: Taking taylor expansion of y in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.105 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in y
3.105 * [taylor]: Taking taylor expansion of 2/3 in y
3.105 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
3.105 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.105 * [taylor]: Taking taylor expansion of -1 in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.106 * [taylor]: Taking taylor expansion of x in y
3.107 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in x
3.107 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in x
3.107 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in x
3.107 * [taylor]: Taking taylor expansion of 2 in x
3.107 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in x
3.107 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x
3.107 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x
3.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x
3.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x
3.107 * [taylor]: Taking taylor expansion of 1/3 in x
3.107 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
3.107 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
3.107 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.107 * [taylor]: Taking taylor expansion of -1 in x
3.107 * [taylor]: Taking taylor expansion of y in x
3.108 * [taylor]: Taking taylor expansion of x in x
3.108 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in x
3.108 * [taylor]: Taking taylor expansion of 2/3 in x
3.108 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
3.108 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
3.108 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.108 * [taylor]: Taking taylor expansion of -1 in x
3.108 * [taylor]: Taking taylor expansion of y in x
3.108 * [taylor]: Taking taylor expansion of x in x
3.108 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in x
3.108 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in x
3.108 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in x
3.108 * [taylor]: Taking taylor expansion of 2 in x
3.108 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in x
3.108 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x
3.108 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x
3.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x
3.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x
3.108 * [taylor]: Taking taylor expansion of 1/3 in x
3.108 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x
3.108 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x
3.108 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.108 * [taylor]: Taking taylor expansion of -1 in x
3.108 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in x
3.109 * [taylor]: Taking taylor expansion of 2/3 in x
3.109 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
3.109 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
3.109 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.109 * [taylor]: Taking taylor expansion of -1 in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) (* 2/3 (log (/ -1 y))))) in y
3.109 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) (* 2/3 (log (/ -1 y)))) in y
3.109 * [taylor]: Taking taylor expansion of (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) in y
3.109 * [taylor]: Taking taylor expansion of 2 in y
3.109 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y
3.109 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y
3.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y
3.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y
3.110 * [taylor]: Taking taylor expansion of 1/3 in y
3.110 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y
3.110 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
3.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.110 * [taylor]: Taking taylor expansion of -1 in y
3.110 * [taylor]: Taking taylor expansion of y in y
3.114 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
3.114 * [taylor]: Taking taylor expansion of 2/3 in y
3.114 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
3.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.114 * [taylor]: Taking taylor expansion of -1 in y
3.114 * [taylor]: Taking taylor expansion of y in y
3.132 * [taylor]: Taking taylor expansion of 0 in y
3.170 * [taylor]: Taking taylor expansion of 0 in y
3.235 * * * [progress]: simplifying candidates
3.236 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sqrt y)))
  (exp (cbrt (sqrt y)))
  (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (cbrt (sqrt (* (cbrt y) (cbrt y))))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt 1))
  (cbrt (sqrt y))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (log (cbrt (sqrt y)))
  (exp (cbrt (sqrt y)))
  (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (cbrt (sqrt (* (cbrt y) (cbrt y))))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt 1))
  (cbrt (sqrt y))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (* 2/3 (log y))
  (+ (log 2/3) (log (log y)))
  (log (* 2/3 (log y)))
  (exp (* 2/3 (log y)))
  (* (* (* 2/3 2/3) 2/3) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y))))
  (cbrt (* 2/3 (log y)))
  (* (* (* 2/3 (log y)) (* 2/3 (log y))) (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* 2/3 (log (* (cbrt y) (cbrt y))))
  (* 2/3 (log (cbrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log 1))
  (* 2/3 (log y))
  (* (log (* (cbrt y) (cbrt y))) 2/3)
  (* (log (cbrt y)) 2/3)
  (* (log (sqrt y)) 2/3)
  (* (log (sqrt y)) 2/3)
  (* (log 1) 2/3)
  (* (log y) 2/3)
  (* 2/3 1)
  (* 2/3 (* (cbrt (log y)) (cbrt (log y))))
  (* 2/3 (sqrt (log y)))
  (* 2/3 1)
  (* (cbrt 2/3) (log y))
  (* (sqrt 2/3) (log y))
  (* 2/3 (log y))
  (* (exp (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (exp (* x (log (cbrt (sqrt y))))))
  (log (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (exp (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (* (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))))
  (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (* (* (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (+ (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (pow (* x (log (cbrt (sqrt y)))) 3))
  (+ (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (- (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))) (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))))
  (- (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))))
  (- (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))
  (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt y))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (* (cbrt y) (cbrt y)))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (sqrt y))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt 1)))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (sqrt y))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt 1))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (sqrt (cbrt (sqrt y))))))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log 1)))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (* (cbrt y) (cbrt y))))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (sqrt y)))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt 1))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (sqrt y)))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt 1)) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (sqrt (cbrt (sqrt y)))) x))
  (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log 1) x))
  (+ (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))))
  (+ (* (log (cbrt (sqrt y))) x) (* x (log (cbrt (sqrt y)))))
  (pow y 1/6)
  (pow (/ 1 y) -1/6)
  (- (+ (* 2/9 (* (pow (pow NAN 13) 1/3) (/ 1 (pow y 2)))) (pow NAN 1/3)) (* 1/3 (* (pow (pow NAN 7) 1/3) (/ 1 y))))
  (pow y 1/6)
  (pow (/ 1 y) -1/6)
  (- (+ (* 2/9 (* (pow (pow NAN 13) 1/3) (/ 1 (pow y 2)))) (pow NAN 1/3)) (* 1/3 (* (pow (pow NAN 7) 1/3) (/ 1 y))))
  (* 2/3 (log y))
  (* -2/3 (log (/ 1 y)))
  (* 2/3 (- (log -1) (log (/ -1 y))))
  (* (+ (* 2 (log (pow y 1/6))) (* 2/3 (log y))) x)
  (* (- (* 2 (log (pow (/ 1 y) -1/6))) (* 2/3 (log (/ 1 y)))) x)
  (- (+ (* 2 (* x (log (pow NAN 1/3)))) (+ (* 1/3 (/ (* x (pow NAN 4)) (pow y 2))) (* 2/3 (* (log -1) x)))) (+ (* 2/3 (/ (* x (pow NAN 2)) y)) (* 2/3 (* x (log (/ -1 y))))))
3.242 * * [simplify]: iteration  0 :  445  enodes  (cost  783 )
3.250 * * [simplify]: iteration  1 :  1601  enodes  (cost  713 )
3.281 * * [simplify]: iteration  2 :  5001  enodes  (cost  645 )
3.285 * [simplify]: Simplified to:
   (log (cbrt (sqrt y)))
  (exp (cbrt (sqrt y)))
  (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (cbrt (sqrt (* (cbrt y) (cbrt y))))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (sqrt y)
  (sqrt (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (log (cbrt (sqrt y)))
  (exp (cbrt (sqrt y)))
  (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (cbrt (sqrt (* (cbrt y) (cbrt y))))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (cbrt (sqrt (sqrt y)))
  (cbrt (sqrt (sqrt y)))
  (cbrt 1)
  (cbrt (sqrt y))
  (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))
  (cbrt (cbrt (sqrt y)))
  (sqrt y)
  (sqrt (cbrt (sqrt y)))
  (sqrt (cbrt (sqrt y)))
  (* 2/3 (log y))
  (log (* 2/3 (log y)))
  (log (* 2/3 (log y)))
  (pow y 2/3)
  (pow (* 2/3 (log y)) 3)
  (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y))))
  (cbrt (* 2/3 (log y)))
  (pow (* 2/3 (log y)) 3)
  (sqrt (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* (log (cbrt y)) 4/3)
  (* 2/3 (log (cbrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  0
  (* 2/3 (log y))
  (* (log (cbrt y)) 4/3)
  (* 2/3 (log (cbrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  0
  (* 2/3 (log y))
  2/3
  (* 2/3 (* (cbrt (log y)) (cbrt (log y))))
  (* 2/3 (sqrt (log y)))
  2/3
  (* (cbrt 2/3) (log y))
  (* (sqrt 2/3) (log y))
  (* 2/3 (log y))
  (pow (exp (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y)))) x)
  (log (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (pow (exp (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y)))) x)
  (* (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))))
  (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (pow (* (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y))) x) 3)
  (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))
  (+ (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (pow (* x (log (cbrt (sqrt y)))) 3))
  (+ (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))) (* (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) x) (* 2/3 (log y))))
  (* (* (* (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y))) x) (log y)) (* 2/3 x))
  (* x (* 2/3 (log y)))
  (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y)))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (* (cbrt y) (cbrt y)))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1))))
  (* (+ (log (cbrt (sqrt y))) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt (sqrt y))))))) x)
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (sqrt (cbrt (sqrt y))))))
  (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (* (cbrt y) (cbrt y)))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y))))))
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1))))
  (* (+ (log (cbrt (sqrt y))) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt (sqrt y))))))) x)
  (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (sqrt (cbrt (sqrt y))))))
  (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))
  (* (log (cbrt (sqrt y))) (+ x x))
  (* (log (cbrt (sqrt y))) (+ x x))
  (pow y 1/6)
  (pow (/ 1 y) -1/6)
  (+ (+ (* -1/3 (/ (pow (pow NAN 7) 1/3) y)) (pow NAN 1/3)) (/ (* 2/9 (pow (pow NAN 13) 1/3)) (pow y 2)))
  (pow y 1/6)
  (pow (/ 1 y) -1/6)
  (+ (+ (* -1/3 (/ (pow (pow NAN 7) 1/3) y)) (pow NAN 1/3)) (/ (* 2/9 (pow (pow NAN 13) 1/3)) (pow y 2)))
  (* 2/3 (log y))
  (* 2/3 (log y))
  (* 2/3 (log y))
  (* (log y) x)
  (* (log y) x)
  (+ (* x (+ (* (log (pow NAN 1/3)) 2) (* 2/3 (log -1)))) (- (* 1/3 (/ (* x (pow NAN 4)) (pow y 2))) (* 2/3 (+ (/ (* x (pow NAN 2)) y) (* x (log (/ -1 y)))))))
3.285 * * * [progress]: adding candidates to table
3.552 * [progress]: [Phase 3 of 3] Extracting.
3.552 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (- (* (* x (sqrt (log y))) (sqrt (log y))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (sqrt (* x (log y))) (sqrt (* x (log y)))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))> #<alt (λ (x y z) (- (- (/ (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3)))) z) y))>)
3.554 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (* x (log y)) z) y) z y x)
3.554 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) z) y) from (#<alt (λ (x y z) (- (- (* (* x (sqrt (log y))) (sqrt (log y))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (sqrt (* x (log y))) (sqrt (* x (log y)))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))> #<alt (λ (x y z) (- (- (/ (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3)))) z) y))>)
3.590 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (- (* (* x (sqrt (log y))) (sqrt (log y))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (sqrt (* x (log y))) (sqrt (* x (log y)))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))> #<alt (λ (x y z) (- (- (/ (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3)))) z) y))>)
3.620 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (- (* (* x (sqrt (log y))) (sqrt (log y))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (sqrt (* x (log y))) (sqrt (* x (log y)))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))> #<alt (λ (x y z) (- (- (/ (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3)))) z) y))>)
3.651 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (- (* (* x (sqrt (log y))) (sqrt (log y))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (sqrt (* x (log y))) (sqrt (* x (log y)))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))) z) y))> #<alt (λ (x y z) (- (- (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) z) y))> #<alt (λ (x y z) (- (- (/ (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3)))) z) y))>)
3.679 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
3.679 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (* x (log y)) z) y)
3.680 * * [simplify]: iteration  0 :  8  enodes  (cost  4 )
3.680 * * [simplify]: iteration  1 :  8  enodes  (cost  4 )
3.680 * [simplify]: Simplified to:
   (- (- (* x (log y)) z) y)
4.880 * [regime-testing]: Baseline error score: 0.0980853809852133
4.880 * [regime-testing]: Oracle error score: 0.007875984498062257
4.881 * [regime-testing]: End program error score: 0.0980853809852133