9.701 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.096 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.098 * * [simplify]: iteration 0 : 20 enodes (cost 6 ) 0.099 * * [simplify]: iteration 1 : 48 enodes (cost 6 ) 0.100 * * [simplify]: iteration 2 : 118 enodes (cost 6 ) 0.102 * * [simplify]: iteration 3 : 247 enodes (cost 6 ) 0.105 * * [simplify]: iteration 4 : 525 enodes (cost 6 ) 0.107 * * [simplify]: iteration 5 : 732 enodes (cost 6 ) 0.111 * * [simplify]: iteration 6 : 937 enodes (cost 6 ) 0.116 * * [simplify]: iteration 7 : 1108 enodes (cost 6 ) 0.120 * * [simplify]: iteration 8 : 1128 enodes (cost 6 ) 0.124 * * [simplify]: iteration 9 : 1128 enodes (cost 6 ) 0.125 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.125 * * [progress]: iteration 1 / 4 0.125 * * * [progress]: picking best candidate 0.129 * * * * [pick]: Picked # 0.129 * * * [progress]: localizing error 0.139 * * * [progress]: generating rewritten candidates 0.139 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 0.143 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.156 * * * [progress]: generating series expansions 0.156 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 0.156 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.156 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of (log y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (log y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (log y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.157 * [taylor]: Taking taylor expansion of (log y) in y 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [taylor]: Taking taylor expansion of 0 in y 0.157 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.158 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of x in y 0.158 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.160 * [taylor]: Taking taylor expansion of -1 in y 0.160 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.160 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.160 * [taylor]: Taking taylor expansion of -1 in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.160 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.160 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.163 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.163 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.163 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.163 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.163 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.163 * [taylor]: Taking taylor expansion of x in t 0.163 * [taylor]: Taking taylor expansion of (log y) in t 0.163 * [taylor]: Taking taylor expansion of y in t 0.163 * [taylor]: Taking taylor expansion of (log t) in t 0.163 * [taylor]: Taking taylor expansion of t in t 0.163 * [taylor]: Taking taylor expansion of (+ z y) in t 0.163 * [taylor]: Taking taylor expansion of z in t 0.163 * [taylor]: Taking taylor expansion of y in t 0.163 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.163 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.163 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.163 * [taylor]: Taking taylor expansion of x in z 0.163 * [taylor]: Taking taylor expansion of (log y) in z 0.163 * [taylor]: Taking taylor expansion of y in z 0.163 * [taylor]: Taking taylor expansion of (log t) in z 0.163 * [taylor]: Taking taylor expansion of t in z 0.163 * [taylor]: Taking taylor expansion of (+ z y) in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of y in z 0.163 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.163 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.163 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.163 * [taylor]: Taking taylor expansion of (log y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (log t) in y 0.164 * [taylor]: Taking taylor expansion of t in y 0.164 * [taylor]: Taking taylor expansion of (+ z y) in y 0.164 * [taylor]: Taking taylor expansion of z in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.164 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.164 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (log y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (log t) in x 0.164 * [taylor]: Taking taylor expansion of t in x 0.164 * [taylor]: Taking taylor expansion of (+ z y) in x 0.164 * [taylor]: Taking taylor expansion of z in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.164 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.164 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (log y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (log t) in x 0.164 * [taylor]: Taking taylor expansion of t in x 0.164 * [taylor]: Taking taylor expansion of (+ z y) in x 0.164 * [taylor]: Taking taylor expansion of z in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.164 * [taylor]: Taking taylor expansion of (log t) in y 0.164 * [taylor]: Taking taylor expansion of t in y 0.164 * [taylor]: Taking taylor expansion of (+ z y) in y 0.164 * [taylor]: Taking taylor expansion of z in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.164 * [taylor]: Taking taylor expansion of (log t) in z 0.164 * [taylor]: Taking taylor expansion of t in z 0.164 * [taylor]: Taking taylor expansion of z in z 0.164 * [taylor]: Taking taylor expansion of (log t) in t 0.164 * [taylor]: Taking taylor expansion of t in t 0.165 * [taylor]: Taking taylor expansion of (log y) in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in z 0.165 * [taylor]: Taking taylor expansion of (log 1) in z 0.165 * [taylor]: Taking taylor expansion of 1 in z 0.165 * [taylor]: Taking taylor expansion of (log y) in z 0.165 * [taylor]: Taking taylor expansion of y in z 0.165 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in t 0.165 * [taylor]: Taking taylor expansion of (log 1) in t 0.165 * [taylor]: Taking taylor expansion of 1 in t 0.165 * [taylor]: Taking taylor expansion of (log y) in t 0.165 * [taylor]: Taking taylor expansion of y in t 0.166 * [taylor]: Taking taylor expansion of (neg 1) in z 0.166 * [taylor]: Taking taylor expansion of 1 in z 0.166 * [taylor]: Taking taylor expansion of (neg 1) in t 0.166 * [taylor]: Taking taylor expansion of 1 in t 0.166 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.166 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.166 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.166 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.166 * [taylor]: Taking taylor expansion of t in t 0.166 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.166 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.166 * [taylor]: Taking taylor expansion of y in t 0.166 * [taylor]: Taking taylor expansion of x in t 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.166 * [taylor]: Taking taylor expansion of y in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.166 * [taylor]: Taking taylor expansion of z in t 0.166 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.167 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.167 * [taylor]: Taking taylor expansion of t in z 0.167 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of x in z 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.167 * [taylor]: Taking taylor expansion of z in z 0.167 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.167 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.167 * [taylor]: Taking taylor expansion of t in y 0.167 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.167 * [taylor]: Taking taylor expansion of z in y 0.167 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.167 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.167 * [taylor]: Taking taylor expansion of t in x 0.167 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.167 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.167 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.168 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.168 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.168 * [taylor]: Taking taylor expansion of t in x 0.168 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.168 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.169 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.169 * [taylor]: Taking taylor expansion of t in y 0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of (neg 1) in z 0.169 * [taylor]: Taking taylor expansion of 1 in z 0.169 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 0.169 * [taylor]: Taking taylor expansion of (log 1) in z 0.169 * [taylor]: Taking taylor expansion of 1 in z 0.169 * [taylor]: Taking taylor expansion of (log y) in z 0.169 * [taylor]: Taking taylor expansion of y in z 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.170 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.170 * [taylor]: Taking taylor expansion of t in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of (neg 1) in t 0.170 * [taylor]: Taking taylor expansion of 1 in t 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [taylor]: Taking taylor expansion of (neg 1) in t 0.170 * [taylor]: Taking taylor expansion of 1 in t 0.170 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in t 0.170 * [taylor]: Taking taylor expansion of (log 1) in t 0.170 * [taylor]: Taking taylor expansion of 1 in t 0.170 * [taylor]: Taking taylor expansion of (log y) in t 0.170 * [taylor]: Taking taylor expansion of y in t 0.171 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.171 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.171 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.171 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.171 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.171 * [taylor]: Taking taylor expansion of -1 in t 0.171 * [taylor]: Taking taylor expansion of t in t 0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.171 * [taylor]: Taking taylor expansion of y in t 0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.171 * [taylor]: Taking taylor expansion of z in t 0.171 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.171 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.171 * [taylor]: Taking taylor expansion of -1 in t 0.171 * [taylor]: Taking taylor expansion of y in t 0.171 * [taylor]: Taking taylor expansion of x in t 0.171 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.171 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.171 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.171 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.171 * [taylor]: Taking taylor expansion of -1 in z 0.171 * [taylor]: Taking taylor expansion of t in z 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.172 * [taylor]: Taking taylor expansion of y in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.172 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.172 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.172 * [taylor]: Taking taylor expansion of -1 in z 0.172 * [taylor]: Taking taylor expansion of y in z 0.172 * [taylor]: Taking taylor expansion of x in z 0.172 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.172 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.172 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.172 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.172 * [taylor]: Taking taylor expansion of -1 in y 0.172 * [taylor]: Taking taylor expansion of t in y 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) 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 (/ 1 z) in y 0.172 * [taylor]: Taking taylor expansion of 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 -1 in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of x in y 0.172 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.172 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.172 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.172 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.172 * [taylor]: Taking taylor expansion of -1 in x 0.172 * [taylor]: Taking taylor expansion of t in x 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.172 * [taylor]: Taking taylor expansion of y in x 0.172 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.172 * [taylor]: Taking taylor expansion of 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 -1 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 (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.173 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.173 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of t 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) 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 -1 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 (neg (log (/ -1 y))) in y 0.173 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.173 * [taylor]: Taking taylor expansion of -1 in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.174 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.174 * [taylor]: Taking taylor expansion of -1 in y 0.174 * [taylor]: Taking taylor expansion of t in y 0.174 * [taylor]: Taking taylor expansion of 1 in z 0.174 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.174 * [taylor]: Taking taylor expansion of (log y) in z 0.174 * [taylor]: Taking taylor expansion of y in z 0.174 * [taylor]: Taking taylor expansion of (log -1) in z 0.174 * [taylor]: Taking taylor expansion of -1 in z 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.175 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.175 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.175 * [taylor]: Taking taylor expansion of -1 in z 0.175 * [taylor]: Taking taylor expansion of t in z 0.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.175 * [taylor]: Taking taylor expansion of z in z 0.175 * [taylor]: Taking taylor expansion of 1 in t 0.175 * [taylor]: Taking taylor expansion of 0 in z 0.175 * [taylor]: Taking taylor expansion of 1 in t 0.176 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.176 * [taylor]: Taking taylor expansion of (log y) in t 0.176 * [taylor]: Taking taylor expansion of y in t 0.176 * [taylor]: Taking taylor expansion of (log -1) in t 0.176 * [taylor]: Taking taylor expansion of -1 in t 0.176 * * * [progress]: simplifying candidates 0.177 * [simplify]: Simplifying using # : (* 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 y)) (exp z)) t) (* (/ (exp (- (* x (log y)) y)) (exp z)) t) (* (exp (- (- (* x (log y)) y) z)) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (exp (+ (- (- (* x (log y)) y) z) (log t))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t)))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (+ (- (- (* x (log y)) y) z) (log 1)) (+ (neg z) (log t)) (+ (- (neg y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (neg y) z) (log t)) (+ (neg z) (log t)) (- z (log t)) (* x (+ (log 1) (log y))) (* x (- (log 1) (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (+ (* x (log y)) (+ (log 1) (+ (log t) (* (log 1) x)))) y) (- (* (log 1) x) (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 0.181 * * [simplify]: iteration 0 : 301 enodes (cost 379 ) 0.185 * * [simplify]: iteration 1 : 982 enodes (cost 336 ) 0.199 * * [simplify]: iteration 2 : 3339 enodes (cost 312 ) 0.242 * * [simplify]: iteration 3 : 5002 enodes (cost 312 ) 0.244 * [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)) (/ (* t (pow y x)) (exp (+ z y))) (/ (* t (pow y x)) (exp (+ z y))) (/ (* t (pow y x)) (exp (+ z y))) (log (+ (- (- (* x (log y)) y) z) (log t))) (/ (* t (pow y x)) (exp (+ z y))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (pow (+ (- (- (* (log y) x) y) z) (log t)) 3) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* (log y) x) y) z) (- (- (- (* x (log y)) y) z) (log t))) (* (log t) (log t))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (- (+ (* 2 (log (cbrt t))) (* x (log y))) (+ z y)) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* (log y) x) y) z) (- (log t) z) (- (log t) (+ z y)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (- (log t) (+ z y)) (- (log t) z) (- z (log t)) (* x (log y)) (* x (log y)) (* x (log y)) (+ (log t) (- (* (log y) x) y)) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) 0.244 * * * [progress]: adding candidates to table 0.298 * * [progress]: iteration 2 / 4 0.298 * * * [progress]: picking best candidate 0.320 * * * * [pick]: Picked # 0.320 * * * [progress]: localizing error 0.335 * * * [progress]: generating rewritten candidates 0.335 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 0.336 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 0.337 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 0.342 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 0.352 * * * [progress]: generating series expansions 0.352 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 0.352 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.352 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.352 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.352 * [taylor]: Taking taylor expansion of 1/3 in y 0.352 * [taylor]: Taking taylor expansion of (log y) in y 0.352 * [taylor]: Taking taylor expansion of y in y 0.352 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.352 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.352 * [taylor]: Taking taylor expansion of 1/3 in y 0.352 * [taylor]: Taking taylor expansion of (log y) in y 0.352 * [taylor]: Taking taylor expansion of y in y 0.358 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.359 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.359 * [taylor]: Taking taylor expansion of 1/3 in y 0.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.359 * [taylor]: Taking taylor expansion of y in y 0.359 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.359 * [taylor]: Taking taylor expansion of 1/3 in y 0.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.359 * [taylor]: Taking taylor expansion of y in y 0.365 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.365 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.365 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.365 * [taylor]: Taking taylor expansion of -1 in y 0.365 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.365 * [taylor]: Taking taylor expansion of 1/3 in y 0.366 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.366 * [taylor]: Taking taylor expansion of y in y 0.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.366 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.366 * [taylor]: Taking taylor expansion of -1 in y 0.366 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.366 * [taylor]: Taking taylor expansion of 1/3 in y 0.366 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.366 * [taylor]: Taking taylor expansion of y in y 0.374 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1) 0.374 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.374 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.374 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.374 * [taylor]: Taking taylor expansion of 1/3 in y 0.374 * [taylor]: Taking taylor expansion of (log y) in y 0.374 * [taylor]: Taking taylor expansion of y in y 0.374 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.374 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.374 * [taylor]: Taking taylor expansion of 1/3 in y 0.374 * [taylor]: Taking taylor expansion of (log y) in y 0.374 * [taylor]: Taking taylor expansion of y in y 0.382 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.382 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.382 * [taylor]: Taking taylor expansion of 1/3 in y 0.382 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.382 * [taylor]: Taking taylor expansion of 1/3 in y 0.382 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.389 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.389 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.389 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.389 * [taylor]: Taking taylor expansion of -1 in y 0.389 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.389 * [taylor]: Taking taylor expansion of 1/3 in y 0.389 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.389 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.389 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.389 * [taylor]: Taking taylor expansion of -1 in y 0.389 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.389 * [taylor]: Taking taylor expansion of 1/3 in y 0.389 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 0.398 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 0.398 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.398 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 0.398 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.398 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.398 * [taylor]: Taking taylor expansion of 1/3 in y 0.398 * [taylor]: Taking taylor expansion of (log y) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 0.398 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 0.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 0.398 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 0.398 * [taylor]: Taking taylor expansion of 1/3 in x 0.398 * [taylor]: Taking taylor expansion of (log y) in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.398 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 0.398 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 0.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 0.398 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 0.398 * [taylor]: Taking taylor expansion of 1/3 in x 0.398 * [taylor]: Taking taylor expansion of (log y) in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of 0 in y 0.399 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 0.399 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.399 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.399 * [taylor]: Taking taylor expansion of 1/3 in y 0.399 * [taylor]: Taking taylor expansion of (log y) in y 0.399 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of 0 in y 0.401 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 0.402 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 0.402 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 0.402 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.402 * [taylor]: Taking taylor expansion of 1/3 in y 0.402 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.402 * [taylor]: Taking taylor expansion of y in y 0.402 * [taylor]: Taking taylor expansion of x in y 0.402 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 0.402 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 0.402 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.402 * [taylor]: Taking taylor expansion of 1/3 in x 0.402 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.402 * [taylor]: Taking taylor expansion of y in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 0.403 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 0.403 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.403 * [taylor]: Taking taylor expansion of 1/3 in x 0.403 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.403 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 0.403 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.403 * [taylor]: Taking taylor expansion of 1/3 in y 0.403 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.405 * [taylor]: Taking taylor expansion of 0 in y 0.407 * [taylor]: Taking taylor expansion of 0 in y 0.407 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 0.407 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 0.407 * [taylor]: Taking taylor expansion of -1 in y 0.407 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 0.407 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 0.407 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.407 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.407 * [taylor]: Taking taylor expansion of -1 in y 0.407 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.408 * [taylor]: Taking taylor expansion of 1/3 in y 0.408 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.408 * [taylor]: Taking taylor expansion of y in y 0.408 * [taylor]: Taking taylor expansion of x in y 0.408 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.408 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 0.408 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 0.408 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 0.408 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.408 * [taylor]: Taking taylor expansion of -1 in x 0.408 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.408 * [taylor]: Taking taylor expansion of 1/3 in x 0.408 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.408 * [taylor]: Taking taylor expansion of y in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.409 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 0.409 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 0.409 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 0.409 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.409 * [taylor]: Taking taylor expansion of -1 in x 0.409 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.409 * [taylor]: Taking taylor expansion of 1/3 in x 0.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.409 * [taylor]: Taking taylor expansion of y in x 0.409 * [taylor]: Taking taylor expansion of x in x 0.410 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 0.410 * [taylor]: Taking taylor expansion of -1 in y 0.410 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 0.410 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.410 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.410 * [taylor]: Taking taylor expansion of -1 in y 0.410 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.410 * [taylor]: Taking taylor expansion of 1/3 in y 0.410 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.410 * [taylor]: Taking taylor expansion of y in y 0.411 * [taylor]: Taking taylor expansion of 0 in y 0.414 * [taylor]: Taking taylor expansion of 0 in y 0.417 * [taylor]: Taking taylor expansion of 0 in y 0.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 0.417 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (x y) around 0 0.417 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 0.417 * [taylor]: Taking taylor expansion of 2 in y 0.417 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 0.417 * [taylor]: Taking taylor expansion of x in y 0.417 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 0.417 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.417 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.417 * [taylor]: Taking taylor expansion of 1/3 in y 0.417 * [taylor]: Taking taylor expansion of (log y) in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.417 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 0.417 * [taylor]: Taking taylor expansion of 2 in x 0.417 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 0.417 * [taylor]: Taking taylor expansion of x in x 0.417 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 0.417 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 0.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 0.417 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 0.417 * [taylor]: Taking taylor expansion of 1/3 in x 0.417 * [taylor]: Taking taylor expansion of (log y) in x 0.418 * [taylor]: Taking taylor expansion of y in x 0.418 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 0.418 * [taylor]: Taking taylor expansion of 2 in x 0.418 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 0.418 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 0.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 0.418 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 0.418 * [taylor]: Taking taylor expansion of 1/3 in x 0.418 * [taylor]: Taking taylor expansion of (log y) in x 0.418 * [taylor]: Taking taylor expansion of y in x 0.418 * [taylor]: Taking taylor expansion of 0 in y 0.418 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y 0.419 * [taylor]: Taking taylor expansion of 2 in y 0.419 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) 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.420 * [taylor]: Taking taylor expansion of 0 in y 0.421 * [taylor]: Taking taylor expansion of 0 in y 0.421 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0 0.421 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 0.421 * [taylor]: Taking taylor expansion of 2 in y 0.421 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 0.421 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 0.421 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.422 * [taylor]: Taking taylor expansion of 1/3 in y 0.422 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.422 * [taylor]: Taking taylor expansion of y in y 0.422 * [taylor]: Taking taylor expansion of x in y 0.422 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 0.422 * [taylor]: Taking taylor expansion of 2 in x 0.422 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 0.422 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 0.422 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.422 * [taylor]: Taking taylor expansion of 1/3 in x 0.422 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.422 * [taylor]: Taking taylor expansion of y in x 0.422 * [taylor]: Taking taylor expansion of x in x 0.422 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 0.422 * [taylor]: Taking taylor expansion of 2 in x 0.422 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 0.422 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 0.422 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.422 * [taylor]: Taking taylor expansion of 1/3 in x 0.422 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.422 * [taylor]: Taking taylor expansion of y in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y 0.423 * [taylor]: Taking taylor expansion of 2 in y 0.423 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 0.423 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.423 * [taylor]: Taking taylor expansion of 1/3 in y 0.423 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.423 * [taylor]: Taking taylor expansion of y in y 0.424 * [taylor]: Taking taylor expansion of 0 in y 0.425 * [taylor]: Taking taylor expansion of 0 in y 0.427 * [taylor]: Taking taylor expansion of 0 in y 0.428 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 0.428 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 0.428 * [taylor]: Taking taylor expansion of -2 in y 0.428 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 0.428 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 0.428 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.428 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.428 * [taylor]: Taking taylor expansion of -1 in y 0.428 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.428 * [taylor]: Taking taylor expansion of 1/3 in y 0.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.428 * [taylor]: Taking taylor expansion of y in y 0.428 * [taylor]: Taking taylor expansion of x in y 0.428 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 0.428 * [taylor]: Taking taylor expansion of -2 in x 0.428 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 0.428 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 0.428 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 0.428 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.428 * [taylor]: Taking taylor expansion of -1 in x 0.429 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.429 * [taylor]: Taking taylor expansion of 1/3 in x 0.429 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 0.429 * [taylor]: Taking taylor expansion of -2 in x 0.429 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 0.429 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 0.429 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 0.429 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.429 * [taylor]: Taking taylor expansion of -1 in x 0.429 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 0.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 0.429 * [taylor]: Taking taylor expansion of 1/3 in x 0.429 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (* -2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 0.430 * [taylor]: Taking taylor expansion of -2 in y 0.430 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 0.430 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.430 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.430 * [taylor]: Taking taylor expansion of -1 in y 0.430 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.430 * [taylor]: Taking taylor expansion of 1/3 in y 0.430 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.432 * [taylor]: Taking taylor expansion of 0 in y 0.434 * [taylor]: Taking taylor expansion of 0 in y 0.437 * [taylor]: Taking taylor expansion of 0 in y 0.437 * * * [progress]: simplifying candidates 0.439 * [simplify]: Simplifying using # : (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)) (* 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))) (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y)))) (+ (log x) (+ (log 2) (log (log (cbrt y))))) (+ (log x) (log (* 2 (log (cbrt y))))) (log (* x (* 2 (log (cbrt y))))) (exp (* x (* 2 (log (cbrt y))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))) (* (* (* x x) x) (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y))))) (* (cbrt (* x (* 2 (log (cbrt y))))) (cbrt (* x (* 2 (log (cbrt y)))))) (cbrt (* x (* 2 (log (cbrt y))))) (* (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* x (* 2 (log (cbrt y))))) (sqrt (* x (* 2 (log (cbrt y))))) (sqrt (* x (* 2 (log (cbrt y))))) (* x (* 2 (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (* 2 (log (cbrt (cbrt y))))) (* x (* 2 (log (cbrt (sqrt y))))) (* x (* 2 (log (cbrt (sqrt y))))) (* x (* 2 (log (cbrt 1)))) (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (* x (* 2 (log (cbrt (cbrt y))))) (* x (* 2 (log (sqrt (cbrt y))))) (* x (* 2 (log (sqrt (cbrt y))))) (* x (* 2 (log 1))) (* x (* 2 (log (cbrt y)))) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt 1)) 2)) (* x (* (log (cbrt y)) 2)) (* x (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log 1) 2)) (* x (* (log (cbrt y)) 2)) (* (* 2 (log (cbrt (* (cbrt y) (cbrt y))))) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (* 2 (log (cbrt (sqrt y)))) x) (* (* 2 (log (cbrt (sqrt y)))) x) (* (* 2 (log (cbrt 1))) x) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log (sqrt (cbrt y)))) x) (* (* 2 (log 1)) x) (* (* 2 (log (cbrt y))) x) (* (* (log (cbrt (* (cbrt y) (cbrt y)))) 2) x) (* (* (log (cbrt (cbrt y))) 2) x) (* (* (log (cbrt (sqrt y))) 2) x) (* (* (log (cbrt (sqrt y))) 2) x) (* (* (log (cbrt 1)) 2) x) (* (* (log (cbrt y)) 2) x) (* (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) 2) x) (* (* (log (cbrt (cbrt y))) 2) x) (* (* (log (sqrt (cbrt y))) 2) x) (* (* (log (sqrt (cbrt y))) 2) x) (* (* (log 1) 2) x) (* (* (log (cbrt y)) 2) x) (* x 2) (* (cbrt x) (* 2 (log (cbrt y)))) (* (sqrt x) (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y)))) (exp (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (exp (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (* 1/3 (* x (+ (log 1) (log y)))) (* 1/3 (* x (- (log 1) (log (/ 1 y))))) (* (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))) x) (* 2/3 (* x (+ (log 1) (log y)))) (* 2/3 (* x (- (log 1) (log (/ 1 y))))) (* 2 (* (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))) x)) 0.444 * * [simplify]: iteration 0 : 317 enodes (cost 680 ) 0.449 * * [simplify]: iteration 1 : 1171 enodes (cost 607 ) 0.471 * * [simplify]: iteration 2 : 4308 enodes (cost 566 ) 0.529 * * [simplify]: iteration 3 : 5001 enodes (cost 542 ) 0.533 * [simplify]: Simplified to: (log (cbrt y)) (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 (cbrt y)) (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)) (* x (log (cbrt y))) (log (* x (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) 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 (cbrt y))) (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (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 (cbrt y))) (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (cbrt y))) (* 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 (cbrt y))) (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt y)) 2)) (log (* x (* 2 (log (cbrt y))))) (log (* x (* 2 (log (cbrt y))))) (log (* x (* 2 (log (cbrt y))))) (pow (cbrt y) (* x 2)) (pow (* x (* (log (cbrt y)) 2)) 3) (pow (* x (* (log (cbrt y)) 2)) 3) (* (cbrt (* x (* 2 (log (cbrt y))))) (cbrt (* x (* 2 (log (cbrt y)))))) (cbrt (* x (* 2 (log (cbrt y))))) (pow (* x (* (log (cbrt y)) 2)) 3) (sqrt (* x (* 2 (log (cbrt y))))) (sqrt (* x (* 2 (log (cbrt y))))) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* (* x (log (cbrt (cbrt y)))) 4) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* (* x (log (cbrt (cbrt y)))) 4) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* (* x (log (cbrt (cbrt y)))) 4) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt (* (cbrt y) (cbrt y)))) 2)) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) (* x (* (log (cbrt (sqrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* (* x (log (cbrt (cbrt y)))) 4) (* x (* (log (cbrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) (* x (* (log (sqrt (cbrt y))) 2)) 0 (* x (* (log (cbrt y)) 2)) (* x 2) (* (cbrt x) (* 2 (log (cbrt y)))) (* (sqrt x) (* 2 (log (cbrt y)))) (* x (* (log (cbrt y)) 2)) (pow y 1/3) (pow y 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (pow y 1/3) (pow y 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (* (* x 1/3) (log y)) (* (* x 1/3) (log y)) (* x (+ (+ (log (cbrt -1)) 0) (* 1/3 (neg (log (/ -1 y)))))) (* (* 2/3 (log y)) x) (* (* 2/3 (log y)) x) (* x (+ (* 2/3 (neg (log (/ -1 y)))) (* 2 (log (cbrt -1))))) 0.533 * * * [progress]: adding candidates to table 0.619 * * [progress]: iteration 3 / 4 0.619 * * * [progress]: picking best candidate 0.635 * * * * [pick]: Picked # 0.635 * * * [progress]: localizing error 0.656 * * * [progress]: generating rewritten candidates 0.656 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1 1) 0.658 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 2 1 1) 0.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 2 1 1 1) 0.660 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 0.662 * * * [progress]: generating series expansions 0.662 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1 1) 0.662 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.662 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.662 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.662 * [taylor]: Taking taylor expansion of 1/3 in y 0.662 * [taylor]: Taking taylor expansion of (log y) in y 0.662 * [taylor]: Taking taylor expansion of y in y 0.663 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.663 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.663 * [taylor]: Taking taylor expansion of 1/3 in y 0.663 * [taylor]: Taking taylor expansion of (log y) in y 0.663 * [taylor]: Taking taylor expansion of y in y 0.669 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.669 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.669 * [taylor]: Taking taylor expansion of 1/3 in y 0.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.669 * [taylor]: Taking taylor expansion of y in y 0.669 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.669 * [taylor]: Taking taylor expansion of 1/3 in y 0.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.669 * [taylor]: Taking taylor expansion of y in y 0.675 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.676 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.676 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.676 * [taylor]: Taking taylor expansion of -1 in y 0.676 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.676 * [taylor]: Taking taylor expansion of 1/3 in y 0.676 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.676 * [taylor]: Taking taylor expansion of y in y 0.676 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.676 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.676 * [taylor]: Taking taylor expansion of -1 in y 0.676 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.676 * [taylor]: Taking taylor expansion of 1/3 in y 0.676 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.676 * [taylor]: Taking taylor expansion of y in y 0.684 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 2 1 1) 0.684 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.684 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.684 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.684 * [taylor]: Taking taylor expansion of 1/3 in y 0.684 * [taylor]: Taking taylor expansion of (log y) in y 0.684 * [taylor]: Taking taylor expansion of y in y 0.685 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.685 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.685 * [taylor]: Taking taylor expansion of 1/3 in y 0.685 * [taylor]: Taking taylor expansion of (log y) in y 0.685 * [taylor]: Taking taylor expansion of y in y 0.691 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.691 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.691 * [taylor]: Taking taylor expansion of 1/3 in y 0.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.691 * [taylor]: Taking taylor expansion of y in y 0.691 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.691 * [taylor]: Taking taylor expansion of 1/3 in y 0.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.691 * [taylor]: Taking taylor expansion of y in y 0.697 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.697 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.697 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.697 * [taylor]: Taking taylor expansion of -1 in y 0.697 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.698 * [taylor]: Taking taylor expansion of 1/3 in y 0.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.698 * [taylor]: Taking taylor expansion of y in y 0.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.698 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.698 * [taylor]: Taking taylor expansion of -1 in y 0.698 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.698 * [taylor]: Taking taylor expansion of 1/3 in y 0.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.698 * [taylor]: Taking taylor expansion of y in y 0.706 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 2 1 1 1) 0.706 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.706 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.706 * [taylor]: Taking taylor expansion of 1/3 in y 0.706 * [taylor]: Taking taylor expansion of (log y) in y 0.706 * [taylor]: Taking taylor expansion of y in y 0.706 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.706 * [taylor]: Taking taylor expansion of 1/3 in y 0.706 * [taylor]: Taking taylor expansion of (log y) in y 0.706 * [taylor]: Taking taylor expansion of y in y 0.712 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.712 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.712 * [taylor]: Taking taylor expansion of 1/3 in y 0.712 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.712 * [taylor]: Taking taylor expansion of y in y 0.713 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.713 * [taylor]: Taking taylor expansion of 1/3 in y 0.713 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.713 * [taylor]: Taking taylor expansion of y in y 0.719 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.719 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.719 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.719 * [taylor]: Taking taylor expansion of -1 in y 0.719 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.719 * [taylor]: Taking taylor expansion of 1/3 in y 0.719 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.720 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.720 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.720 * [taylor]: Taking taylor expansion of -1 in y 0.720 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.720 * [taylor]: Taking taylor expansion of 1/3 in y 0.720 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.720 * [taylor]: Taking taylor expansion of y in y 0.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 2 1) 0.728 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.728 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.728 * [taylor]: Taking taylor expansion of 1/3 in y 0.728 * [taylor]: Taking taylor expansion of (log y) in y 0.728 * [taylor]: Taking taylor expansion of y in y 0.728 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.728 * [taylor]: Taking taylor expansion of 1/3 in y 0.728 * [taylor]: Taking taylor expansion of (log y) in y 0.728 * [taylor]: Taking taylor expansion of y in y 0.734 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.734 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.734 * [taylor]: Taking taylor expansion of 1/3 in y 0.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.734 * [taylor]: Taking taylor expansion of y in y 0.735 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.735 * [taylor]: Taking taylor expansion of 1/3 in y 0.735 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.743 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.743 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.743 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.743 * [taylor]: Taking taylor expansion of -1 in y 0.743 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.743 * [taylor]: Taking taylor expansion of 1/3 in y 0.743 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.743 * [taylor]: Taking taylor expansion of y in y 0.743 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.743 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.743 * [taylor]: Taking taylor expansion of -1 in y 0.744 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.744 * [taylor]: Taking taylor expansion of 1/3 in y 0.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.744 * [taylor]: Taking taylor expansion of y in y 0.752 * * * [progress]: simplifying candidates 0.752 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (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 (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (exp (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (exp (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (exp (* 1/3 (+ (log 1) (log y)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) 0.755 * * [simplify]: iteration 0 : 59 enodes (cost 204 ) 0.757 * * [simplify]: iteration 1 : 101 enodes (cost 188 ) 0.759 * * [simplify]: iteration 2 : 205 enodes (cost 148 ) 0.762 * * [simplify]: iteration 3 : 559 enodes (cost 144 ) 0.777 * * [simplify]: iteration 4 : 2708 enodes (cost 128 ) 0.871 * * [simplify]: iteration 5 : 5002 enodes (cost 128 ) 0.873 * [simplify]: Simplified to: (* 1/3 (log y)) (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)) (* 1/3 (log y)) (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)) (* 1/3 (log y)) (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)) (* 1/3 (log y)) (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 y 1/3) (pow y 1/3) (/ (cbrt -1) (pow (/ -1 y) 1/3)) (pow y 1/3) (pow y 1/3) (/ (cbrt -1) (pow (/ -1 y) 1/3)) (pow y 1/3) (pow y 1/3) (/ (cbrt -1) (pow (/ -1 y) 1/3)) (pow y 1/3) (pow y 1/3) (/ (cbrt -1) (pow (/ -1 y) 1/3)) 0.873 * * * [progress]: adding candidates to table 0.942 * * [progress]: iteration 4 / 4 0.942 * * * [progress]: picking best candidate 0.954 * * * * [pick]: Picked # 0.954 * * * [progress]: localizing error 0.968 * * * [progress]: generating rewritten candidates 0.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2) 0.975 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 0.976 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2) 0.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1) 0.983 * * * [progress]: generating series expansions 0.983 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2) 0.983 * [approximate]: Taking taylor expansion of (pow (pow (log y) 2) 1/3) in (y) around 0 0.983 * [taylor]: Taking taylor expansion of (pow (pow (log y) 2) 1/3) in y 0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log y) 2)))) in y 0.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log y) 2))) in y 0.983 * [taylor]: Taking taylor expansion of 1/3 in y 0.983 * [taylor]: Taking taylor expansion of (log (pow (log y) 2)) in y 0.983 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 0.983 * [taylor]: Taking taylor expansion of (log y) in y 0.983 * [taylor]: Taking taylor expansion of y in y 0.984 * [taylor]: Taking taylor expansion of (pow (pow (log y) 2) 1/3) in y 0.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log y) 2)))) in y 0.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log y) 2))) in y 0.984 * [taylor]: Taking taylor expansion of 1/3 in y 0.984 * [taylor]: Taking taylor expansion of (log (pow (log y) 2)) in y 0.984 * [taylor]: Taking taylor expansion of (pow (log y) 2) in y 0.984 * [taylor]: Taking taylor expansion of (log y) in y 0.984 * [taylor]: Taking taylor expansion of y in y 0.996 * [approximate]: Taking taylor expansion of (pow (pow (log (/ 1 y)) 2) 1/3) in (y) around 0 0.996 * [taylor]: Taking taylor expansion of (pow (pow (log (/ 1 y)) 2) 1/3) in y 0.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ 1 y)) 2)))) in y 0.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ 1 y)) 2))) in y 0.996 * [taylor]: Taking taylor expansion of 1/3 in y 0.996 * [taylor]: Taking taylor expansion of (log (pow (log (/ 1 y)) 2)) in y 0.996 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 0.996 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.996 * [taylor]: Taking taylor expansion of y in y 0.996 * [taylor]: Taking taylor expansion of (pow (pow (log (/ 1 y)) 2) 1/3) in y 0.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ 1 y)) 2)))) in y 0.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ 1 y)) 2))) in y 0.996 * [taylor]: Taking taylor expansion of 1/3 in y 0.996 * [taylor]: Taking taylor expansion of (log (pow (log (/ 1 y)) 2)) in y 0.996 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 0.996 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.997 * [taylor]: Taking taylor expansion of y in y 1.009 * [approximate]: Taking taylor expansion of (pow (pow (log (/ -1 y)) 2) 1/3) in (y) around 0 1.009 * [taylor]: Taking taylor expansion of (pow (pow (log (/ -1 y)) 2) 1/3) in y 1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ -1 y)) 2)))) in y 1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ -1 y)) 2))) in y 1.009 * [taylor]: Taking taylor expansion of 1/3 in y 1.009 * [taylor]: Taking taylor expansion of (log (pow (log (/ -1 y)) 2)) in y 1.009 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 1.009 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.009 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.009 * [taylor]: Taking taylor expansion of -1 in y 1.009 * [taylor]: Taking taylor expansion of y in y 1.009 * [taylor]: Taking taylor expansion of (pow (pow (log (/ -1 y)) 2) 1/3) in y 1.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ -1 y)) 2)))) in y 1.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ -1 y)) 2))) in y 1.010 * [taylor]: Taking taylor expansion of 1/3 in y 1.010 * [taylor]: Taking taylor expansion of (log (pow (log (/ -1 y)) 2)) in y 1.010 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 2) in y 1.010 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.010 * [taylor]: Taking taylor expansion of -1 in y 1.010 * [taylor]: Taking taylor expansion of y in y 1.022 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.022 * [approximate]: Taking taylor expansion of (pow (log y) 1/3) in (y) around 0 1.022 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.023 * [taylor]: Taking taylor expansion of 1/3 in y 1.023 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.023 * [taylor]: Taking taylor expansion of (log y) in y 1.023 * [taylor]: Taking taylor expansion of y in y 1.023 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.023 * [taylor]: Taking taylor expansion of 1/3 in y 1.023 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.023 * [taylor]: Taking taylor expansion of (log y) in y 1.023 * [taylor]: Taking taylor expansion of y in y 1.034 * [approximate]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in (y) around 0 1.034 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.034 * [taylor]: Taking taylor expansion of 1/3 in y 1.034 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.034 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.034 * [taylor]: Taking taylor expansion of y in y 1.034 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.034 * [taylor]: Taking taylor expansion of 1/3 in y 1.034 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.034 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.034 * [taylor]: Taking taylor expansion of y in y 1.046 * [approximate]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in (y) around 0 1.046 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.046 * [taylor]: Taking taylor expansion of 1/3 in y 1.046 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.046 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.046 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.046 * [taylor]: Taking taylor expansion of -1 in y 1.046 * [taylor]: Taking taylor expansion of y in y 1.046 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.046 * [taylor]: Taking taylor expansion of 1/3 in y 1.046 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.046 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.046 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.046 * [taylor]: Taking taylor expansion of -1 in y 1.046 * [taylor]: Taking taylor expansion of y in y 1.057 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2) 1.058 * [approximate]: Taking taylor expansion of (pow (log y) 1/3) in (y) around 0 1.058 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.058 * [taylor]: Taking taylor expansion of 1/3 in y 1.058 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.058 * [taylor]: Taking taylor expansion of (log y) in y 1.058 * [taylor]: Taking taylor expansion of y in y 1.058 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.058 * [taylor]: Taking taylor expansion of 1/3 in y 1.058 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.058 * [taylor]: Taking taylor expansion of (log y) in y 1.058 * [taylor]: Taking taylor expansion of y in y 1.069 * [approximate]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in (y) around 0 1.069 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.069 * [taylor]: Taking taylor expansion of 1/3 in y 1.069 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.069 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.069 * [taylor]: Taking taylor expansion of y in y 1.069 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.069 * [taylor]: Taking taylor expansion of 1/3 in y 1.069 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.069 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.069 * [taylor]: Taking taylor expansion of y in y 1.082 * [approximate]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in (y) around 0 1.082 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.082 * [taylor]: Taking taylor expansion of 1/3 in y 1.082 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.082 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.082 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.082 * [taylor]: Taking taylor expansion of -1 in y 1.082 * [taylor]: Taking taylor expansion of y in y 1.083 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.083 * [taylor]: Taking taylor expansion of 1/3 in y 1.083 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.083 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.083 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.083 * [taylor]: Taking taylor expansion of -1 in y 1.083 * [taylor]: Taking taylor expansion of y in y 1.094 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1) 1.094 * [approximate]: Taking taylor expansion of (pow (log y) 1/3) in (y) around 0 1.094 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.095 * [taylor]: Taking taylor expansion of 1/3 in y 1.095 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.095 * [taylor]: Taking taylor expansion of (log y) in y 1.095 * [taylor]: Taking taylor expansion of y in y 1.095 * [taylor]: Taking taylor expansion of (pow (log y) 1/3) in y 1.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log y)))) in y 1.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (log y))) in y 1.095 * [taylor]: Taking taylor expansion of 1/3 in y 1.095 * [taylor]: Taking taylor expansion of (log (log y)) in y 1.095 * [taylor]: Taking taylor expansion of (log y) in y 1.095 * [taylor]: Taking taylor expansion of y in y 1.106 * [approximate]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in (y) around 0 1.106 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.106 * [taylor]: Taking taylor expansion of 1/3 in y 1.106 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.106 * [taylor]: Taking taylor expansion of y in y 1.106 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 1/3) in y 1.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 y))))) in y 1.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 y)))) in y 1.106 * [taylor]: Taking taylor expansion of 1/3 in y 1.106 * [taylor]: Taking taylor expansion of (log (log (/ 1 y))) in y 1.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.106 * [taylor]: Taking taylor expansion of y in y 1.117 * [approximate]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in (y) around 0 1.117 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.117 * [taylor]: Taking taylor expansion of 1/3 in y 1.117 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.117 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.117 * [taylor]: Taking taylor expansion of -1 in y 1.117 * [taylor]: Taking taylor expansion of y in y 1.118 * [taylor]: Taking taylor expansion of (pow (log (/ -1 y)) 1/3) in y 1.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 y))))) in y 1.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 y)))) in y 1.118 * [taylor]: Taking taylor expansion of 1/3 in y 1.118 * [taylor]: Taking taylor expansion of (log (log (/ -1 y))) in y 1.118 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.118 * [taylor]: Taking taylor expansion of -1 in y 1.118 * [taylor]: Taking taylor expansion of y in y 1.129 * * * [progress]: simplifying candidates 1.130 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (log y) (log y)) (* (cbrt (log y)) (cbrt (log y))) (+ 1 1) (+ (log (cbrt (log y))) (log (cbrt (log y)))) (log (* (cbrt (log y)) (cbrt (log y)))) (exp (* (cbrt (log y)) (cbrt (log y)))) (* (log y) (log y)) (* (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (* (* (* (cbrt (log y)) (cbrt (log y))) (* (cbrt (log y)) (cbrt (log y)))) (* (cbrt (log y)) (cbrt (log y)))) (sqrt (* (cbrt (log y)) (cbrt (log y)))) (sqrt (* (cbrt (log y)) (cbrt (log y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt 1) (cbrt 1)) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt 1) (cbrt 1)) (* (cbrt (log y)) (cbrt (log y))) (* (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y))))) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (* (sqrt (cbrt (log y))) (sqrt (cbrt (log y)))) (* (sqrt (cbrt (log y))) (sqrt (cbrt (log y)))) (* 1 1) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (* (sqrt (cbrt (log y))) (cbrt (sqrt (log y)))) (* (sqrt (cbrt (log y))) (cbrt (sqrt (log y)))) (* (sqrt (cbrt (log y))) (sqrt (cbrt (log y)))) (* (sqrt (cbrt (log y))) (sqrt (cbrt (log y)))) (* 2 1/3) (* 2 1) (* (cbrt (log y)) (cbrt 1)) (* (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (* (cbrt (log y)) (cbrt (sqrt (log y)))) (* (cbrt (log y)) (cbrt 1)) (* (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y))))) (* (cbrt (log y)) (sqrt (cbrt (log y)))) (* (cbrt (log y)) 1) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt (cbrt (log y))) (cbrt (log y))) (* (cbrt (sqrt (log y))) (cbrt (log y))) (* (cbrt (log y)) (cbrt (log y))) (* (cbrt (cbrt (log y))) (cbrt (log y))) (* (sqrt (cbrt (log y))) (cbrt (log y))) (* (cbrt (log y)) (cbrt (log y))) (log (cbrt (log y))) (exp (cbrt (log y))) (cbrt 1) (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) (cbrt 1) (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (* (* (cbrt (log y)) (cbrt (log y))) (cbrt (log y))) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (log (cbrt (log y))) (exp (cbrt (log y))) (cbrt 1) (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) (cbrt 1) (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (* (* (cbrt (log y)) (cbrt (log y))) (cbrt (log y))) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (log (cbrt (log y))) (exp (cbrt (log y))) (cbrt 1) (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) (cbrt 1) (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (* (* (cbrt (log y)) (cbrt (log y))) (cbrt (log y))) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (pow (pow (+ (log 1) (log y)) 2) 1/3) (pow (pow (- (log 1) (log (/ 1 y))) 2) 1/3) (pow (pow (- (log -1) (log (/ -1 y))) 2) 1/3) (pow (+ (log 1) (log y)) 1/3) (pow (- (log 1) (log (/ 1 y))) 1/3) (pow (- (log -1) (log (/ -1 y))) 1/3) (pow (+ (log 1) (log y)) 1/3) (pow (- (log 1) (log (/ 1 y))) 1/3) (pow (- (log -1) (log (/ -1 y))) 1/3) (pow (+ (log 1) (log y)) 1/3) (pow (- (log 1) (log (/ 1 y))) 1/3) (pow (- (log -1) (log (/ -1 y))) 1/3) 1.134 * * [simplify]: iteration 0 : 127 enodes (cost 502 ) 1.137 * * [simplify]: iteration 1 : 396 enodes (cost 461 ) 1.145 * * [simplify]: iteration 2 : 1763 enodes (cost 389 ) 1.185 * * [simplify]: iteration 3 : 5001 enodes (cost 367 ) 1.187 * [simplify]: Simplified to: 2/3 2 (pow (log y) 2) (cbrt (pow (log y) 2)) 2 (* 2 (log (cbrt (log y)))) (* 2 (log (cbrt (log y)))) (exp (* (cbrt (log y)) (cbrt (log y)))) (pow (log y) 2) (* (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (pow (log y) 2) (fabs (cbrt (log y))) (fabs (cbrt (log y))) 1 (cbrt (pow (log y) 2)) 1 (cbrt (pow (log y) 2)) (* (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) 1 (cbrt (pow (log y) 2)) 1 (cbrt (pow (log y) 2)) (pow (cbrt (cbrt (log y))) 4) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (log y)) (cbrt (log y)) 1 (cbrt (pow (log y) 2)) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (cbrt (sqrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (* (cbrt (sqrt (log y))) (sqrt (cbrt (log y)))) (cbrt (log y)) (cbrt (log y)) 2/3 2 (cbrt (log y)) (* (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y))))) (* (cbrt (log y)) (cbrt (sqrt (log y)))) (cbrt (log y)) (pow (cbrt (cbrt (log y))) 5) (pow (sqrt (cbrt (log y))) 3) (cbrt (log y)) (cbrt (pow (log y) 2)) (pow (cbrt (cbrt (log y))) 4) (* (cbrt (log y)) (cbrt (sqrt (log y)))) (cbrt (pow (log y) 2)) (pow (cbrt (cbrt (log y))) 4) (pow (sqrt (cbrt (log y))) 3) (cbrt (pow (log y) 2)) (log (cbrt (log y))) (exp (cbrt (log y))) 1 (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) 1 (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (log y) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (log (cbrt (log y))) (exp (cbrt (log y))) 1 (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) 1 (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (log y) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (log (cbrt (log y))) (exp (cbrt (log y))) 1 (cbrt (log y)) (cbrt (* (cbrt (log y)) (cbrt (log y)))) (cbrt (cbrt (log y))) (cbrt (sqrt (log y))) (cbrt (sqrt (log y))) 1 (cbrt (log y)) (* (cbrt (cbrt (log y))) (cbrt (cbrt (log y)))) (cbrt (cbrt (log y))) (log y) (sqrt (cbrt (log y))) (sqrt (cbrt (log y))) (cbrt (pow (log y) 2)) (cbrt (pow (log y) 2)) (cbrt (pow (log y) 2)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) (cbrt (log y)) 1.188 * * * [progress]: adding candidates to table 1.254 * [progress]: [Phase 3 of 3] Extracting. 1.254 * * [regime]: Finding splitpoints for: (# # # # # #) 1.256 * * * [regime-changes]: Trying 8 branch expressions: ((log t) (- (* x (log y)) y) (- (- (* x (log y)) y) z) (+ (- (- (* x (log y)) y) z) (log t)) t z y x) 1.256 * * * * [regimes]: Trying to branch on (log t) from (# # # # # #) 1.325 * * * * [regimes]: Trying to branch on (- (* x (log y)) y) from (# # # # # #) 1.398 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) y) z) from (# # # # # #) 1.470 * * * * [regimes]: Trying to branch on (+ (- (- (* x (log y)) y) z) (log t)) from (# # # # # #) 1.547 * * * * [regimes]: Trying to branch on t from (# # # # # #) 1.612 * * * * [regimes]: Trying to branch on z from (# # # # # #) 1.677 * * * * [regimes]: Trying to branch on y from (# # # # # #) 1.742 * * * * [regimes]: Trying to branch on x from (# # # # # #) 1.810 * * * [regime]: Found split indices: #