32.239 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ (* (/ x y) (- z t)) t) 0.025 * * [simplify]: iteration 0 : 15 enodes (cost 3 ) 0.027 * * [simplify]: iteration 1 : 33 enodes (cost 3 ) 0.028 * * [simplify]: iteration 2 : 63 enodes (cost 3 ) 0.030 * * [simplify]: iteration 3 : 107 enodes (cost 3 ) 0.032 * * [simplify]: iteration 4 : 148 enodes (cost 3 ) 0.034 * * [simplify]: iteration 5 : 181 enodes (cost 3 ) 0.036 * * [simplify]: iteration 6 : 220 enodes (cost 3 ) 0.039 * * [simplify]: iteration 7 : 307 enodes (cost 3 ) 0.043 * * [simplify]: iteration 8 : 587 enodes (cost 3 ) 0.050 * * [simplify]: iteration 9 : 1181 enodes (cost 3 ) 0.066 * * [simplify]: iteration 10 : 2314 enodes (cost 3 ) 0.103 * * [simplify]: iteration 11 : 3738 enodes (cost 3 ) 0.137 * * [simplify]: iteration 12 : 5001 enodes (cost 3 ) 0.138 * [simplify]: Simplified to: (fma (/ x y) (- z t) t) 0.141 * * [progress]: iteration 1 / 4 0.141 * * * [progress]: picking best candidate 0.142 * * * * [pick]: Picked # 0.143 * * * [progress]: localizing error 0.149 * * * [progress]: generating rewritten candidates 0.149 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.169 * * * [progress]: generating series expansions 0.169 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.170 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0 0.170 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t 0.170 * [taylor]: Taking taylor expansion of (* x (- z t)) in t 0.170 * [taylor]: Taking taylor expansion of x in t 0.170 * [taylor]: Taking taylor expansion of (- z t) in t 0.170 * [taylor]: Taking taylor expansion of z in t 0.170 * [taylor]: Taking taylor expansion of t in t 0.170 * [taylor]: Taking taylor expansion of y in t 0.170 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z 0.170 * [taylor]: Taking taylor expansion of (* x (- z t)) in z 0.170 * [taylor]: Taking taylor expansion of x in z 0.170 * [taylor]: Taking taylor expansion of (- z t) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of t in z 0.170 * [taylor]: Taking taylor expansion of y in z 0.171 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y 0.171 * [taylor]: Taking taylor expansion of (* x (- z t)) in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of (- z t) in y 0.171 * [taylor]: Taking taylor expansion of z in y 0.171 * [taylor]: Taking taylor expansion of t in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 0.171 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (- z t) in x 0.171 * [taylor]: Taking taylor expansion of z in x 0.171 * [taylor]: Taking taylor expansion of t in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.172 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x 0.172 * [taylor]: Taking taylor expansion of (* x (- z t)) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (- z t) in x 0.172 * [taylor]: Taking taylor expansion of z in x 0.172 * [taylor]: Taking taylor expansion of t in x 0.172 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y 0.173 * [taylor]: Taking taylor expansion of (- z t) in y 0.173 * [taylor]: Taking taylor expansion of z in y 0.173 * [taylor]: Taking taylor expansion of t in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [taylor]: Taking taylor expansion of (- z t) in z 0.173 * [taylor]: Taking taylor expansion of z in z 0.173 * [taylor]: Taking taylor expansion of t in z 0.173 * [taylor]: Taking taylor expansion of (- t) in t 0.173 * [taylor]: Taking taylor expansion of t in t 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in z 0.175 * [taylor]: Taking taylor expansion of 0 in t 0.176 * [taylor]: Taking taylor expansion of 1 in t 0.177 * [taylor]: Taking taylor expansion of 0 in y 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in t 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 0 in t 0.179 * [taylor]: Taking taylor expansion of 0 in t 0.179 * [taylor]: Taking taylor expansion of 0 in t 0.180 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0 0.180 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t 0.180 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t 0.180 * [taylor]: Taking taylor expansion of y in t 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.180 * [taylor]: Taking taylor expansion of z in t 0.180 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.180 * [taylor]: Taking taylor expansion of t in t 0.180 * [taylor]: Taking taylor expansion of x in t 0.181 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z 0.181 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.181 * [taylor]: Taking taylor expansion of t in z 0.181 * [taylor]: Taking taylor expansion of x in z 0.181 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y 0.182 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.182 * [taylor]: Taking taylor expansion of z in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.182 * [taylor]: Taking taylor expansion of t in y 0.182 * [taylor]: Taking taylor expansion of x in y 0.183 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 0.183 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.183 * [taylor]: Taking taylor expansion of z in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.183 * [taylor]: Taking taylor expansion of t in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x 0.183 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.183 * [taylor]: Taking taylor expansion of z in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.183 * [taylor]: Taking taylor expansion of t in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y 0.184 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.184 * [taylor]: Taking taylor expansion of z in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.184 * [taylor]: Taking taylor expansion of t in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.185 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.185 * [taylor]: Taking taylor expansion of t in z 0.185 * [taylor]: Taking taylor expansion of 1 in t 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.187 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.188 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.188 * [taylor]: Taking taylor expansion of t in t 0.191 * [taylor]: Taking taylor expansion of 0 in y 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.192 * [taylor]: Taking taylor expansion of 0 in z 0.192 * [taylor]: Taking taylor expansion of 0 in t 0.192 * [taylor]: Taking taylor expansion of 0 in t 0.193 * [taylor]: Taking taylor expansion of 0 in t 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.202 * [taylor]: Taking taylor expansion of 0 in t 0.203 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0 0.203 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t 0.203 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t 0.203 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 0.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.203 * [taylor]: Taking taylor expansion of t in t 0.203 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.203 * [taylor]: Taking taylor expansion of z in t 0.203 * [taylor]: Taking taylor expansion of y in t 0.203 * [taylor]: Taking taylor expansion of x in t 0.204 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z 0.204 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z 0.204 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.204 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.204 * [taylor]: Taking taylor expansion of t in z 0.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.204 * [taylor]: Taking taylor expansion of z in z 0.204 * [taylor]: Taking taylor expansion of y in z 0.204 * [taylor]: Taking taylor expansion of x in z 0.204 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y 0.205 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 0.205 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.205 * [taylor]: Taking taylor expansion of t in y 0.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.205 * [taylor]: Taking taylor expansion of z in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of x in y 0.206 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 0.206 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 0.206 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.206 * [taylor]: Taking taylor expansion of t in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.206 * [taylor]: Taking taylor expansion of z in x 0.206 * [taylor]: Taking taylor expansion of y in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x 0.206 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x 0.206 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.206 * [taylor]: Taking taylor expansion of t in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.206 * [taylor]: Taking taylor expansion of z in x 0.206 * [taylor]: Taking taylor expansion of y in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y 0.207 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.207 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.207 * [taylor]: Taking taylor expansion of t in y 0.207 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.207 * [taylor]: Taking taylor expansion of z in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.208 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.208 * [taylor]: Taking taylor expansion of t in z 0.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.209 * [taylor]: Taking taylor expansion of -1 in t 0.210 * [taylor]: Taking taylor expansion of 0 in y 0.210 * [taylor]: Taking taylor expansion of 0 in z 0.211 * [taylor]: Taking taylor expansion of 0 in z 0.212 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.212 * [taylor]: Taking taylor expansion of t in t 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in t 0.215 * [taylor]: Taking taylor expansion of 0 in t 0.216 * [taylor]: Taking taylor expansion of 0 in t 0.219 * [taylor]: Taking taylor expansion of 0 in y 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of 0 in t 0.221 * [taylor]: Taking taylor expansion of 0 in t 0.221 * [taylor]: Taking taylor expansion of 0 in t 0.221 * [taylor]: Taking taylor expansion of 0 in t 0.221 * [taylor]: Taking taylor expansion of 0 in t 0.222 * [taylor]: Taking taylor expansion of 0 in t 0.223 * * * [progress]: simplifying candidates 0.224 * [simplify]: Simplifying using # : (expm1 (* (/ x y) (- z t))) (log1p (* (/ x y) (- z t))) (* (/ x y) (- z t)) (+ (- (log x) (log y)) (log (- z t))) (+ (log (/ x y)) (log (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t))) (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* y (+ (* z z) (+ (* t t) (* z t)))) (* x (- (* z z) (* t t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma (sqrt z) (sqrt z) (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* (/ x y) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* (/ x y) (fma 1 z (- (* (sqrt t) (sqrt t))))) (* (/ x y) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* (/ x y) (fma 1 z (- (* t 1)))) (* (/ x y) (fma (- t) 1 (* t 1))) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) z) (* (/ x y) (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma (sqrt z) (sqrt z) (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (/ x y)) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (/ x y)) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) (/ x y)) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (/ x y)) (* (fma 1 z (- (* t 1))) (/ x y)) (* (fma (- t) 1 (* t 1)) (/ x y)) (* z (/ x y)) (* (- t) (/ x y)) (* z (/ x y)) (* (- t) (/ x y)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (* (/ x y) 1) (* (/ x y) (+ (sqrt z) (sqrt t))) (* (/ x y) 1) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (* (/ x y) (- z t)) (* (/ x y) (- z t)) (* (/ 1 y) (- z t)) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* x (- z t)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) (- (/ (* x z) y) (/ (* t x) y)) 0.229 * * [simplify]: iteration 0 : 381 enodes (cost 523 ) 0.236 * * [simplify]: iteration 1 : 1486 enodes (cost 369 ) 0.261 * * [simplify]: iteration 2 : 5001 enodes (cost 357 ) 0.263 * [simplify]: Simplified to: (expm1 (* (/ x y) (- z t))) (log1p (* (/ x y) (- z t))) (/ (* (- z t) x) y) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (log (* (/ x y) (- z t))) (exp (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (pow (* (/ x y) (- z t)) 3) (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t)))) (cbrt (* (/ x y) (- z t))) (pow (* (/ x y) (- z t)) 3) (sqrt (* (/ x y) (- z t))) (sqrt (* (/ x y) (- z t))) (* x (- (pow z 3) (pow t 3))) (* (fma z z (fma t t (* z t))) y) (* x (- (* z z) (* t t))) (* y (+ z t)) (* (sqrt (/ x y)) (sqrt (- z t))) (* (sqrt (/ x y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (* (/ (sqrt x) (sqrt y)) (sqrt (- z t))) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) z) (* (/ x y) (- t)) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (- (/ (pow (cbrt z) 3) (/ y x)) (* (/ x y) t)) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (/ (* (- z t) x) y) (* (/ x y) (fma (- t) 1 t)) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) z) (* (/ x y) (- t)) (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (* (/ x y) (sqrt (- z t))) (/ x y) (* (/ x y) (+ (sqrt z) (sqrt t))) (/ x y) (* (cbrt (/ x y)) (- z t)) (* (sqrt (/ x y)) (- z t)) (* (/ (cbrt x) (cbrt y)) (- z t)) (* (/ (cbrt x) (sqrt y)) (- z t)) (* (/ (cbrt x) y) (- z t)) (* (/ (sqrt x) (cbrt y)) (- z t)) (* (/ (sqrt x) (sqrt y)) (- z t)) (* (/ (sqrt x) y) (- z t)) (* (/ x (cbrt y)) (- z t)) (* (/ x (sqrt y)) (- z t)) (/ (* (- z t) x) y) (/ (* (- z t) x) y) (/ (- z t) y) (* (/ x y) (- (pow z 3) (pow t 3))) (* (/ x y) (- (* z z) (* t t))) (* x (- z t)) (/ (* (- z t) x) y) (/ (* (- z t) x) y) (/ (* (- z t) x) y) 0.264 * * * [progress]: adding candidates to table 0.365 * * [progress]: iteration 2 / 4 0.365 * * * [progress]: picking best candidate 0.373 * * * * [pick]: Picked # 0.373 * * * [progress]: localizing error 0.393 * * * [progress]: generating rewritten candidates 0.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.394 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 0.395 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 0.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 0.398 * * * [progress]: generating series expansions 0.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.398 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.398 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.398 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.398 * [taylor]: Taking taylor expansion of 1/3 in x 0.398 * [taylor]: Taking taylor expansion of (log x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.400 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.400 * [taylor]: Taking taylor expansion of 1/3 in x 0.400 * [taylor]: Taking taylor expansion of (log x) in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.455 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.455 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.455 * [taylor]: Taking taylor expansion of 1/3 in x 0.455 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.456 * [taylor]: Taking taylor expansion of 1/3 in x 0.456 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.456 * [taylor]: Taking taylor expansion of x in x 0.508 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.508 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.508 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.508 * [taylor]: Taking taylor expansion of -1 in x 0.509 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.509 * [taylor]: Taking taylor expansion of 1/3 in x 0.509 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.510 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.510 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.510 * [taylor]: Taking taylor expansion of -1 in x 0.511 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.511 * [taylor]: Taking taylor expansion of 1/3 in x 0.511 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.573 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 0.573 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.573 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.573 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.573 * [taylor]: Taking taylor expansion of 1/3 in x 0.573 * [taylor]: Taking taylor expansion of (log x) in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.574 * [taylor]: Taking taylor expansion of 1/3 in x 0.574 * [taylor]: Taking taylor expansion of (log x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.623 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.623 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.623 * [taylor]: Taking taylor expansion of 1/3 in x 0.623 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.624 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.624 * [taylor]: Taking taylor expansion of 1/3 in x 0.624 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.673 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.673 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.673 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.673 * [taylor]: Taking taylor expansion of -1 in x 0.674 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.674 * [taylor]: Taking taylor expansion of 1/3 in x 0.674 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.675 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.675 * [taylor]: Taking taylor expansion of -1 in x 0.675 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.675 * [taylor]: Taking taylor expansion of 1/3 in x 0.675 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.676 * [taylor]: Taking taylor expansion of x in x 0.740 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 0.740 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.740 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.741 * [taylor]: Taking taylor expansion of 1/3 in x 0.741 * [taylor]: Taking taylor expansion of (log x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.741 * [taylor]: Taking taylor expansion of 1/3 in x 0.741 * [taylor]: Taking taylor expansion of (log x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.793 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.793 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.793 * [taylor]: Taking taylor expansion of 1/3 in x 0.793 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.794 * [taylor]: Taking taylor expansion of 1/3 in x 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.849 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.849 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.849 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.849 * [taylor]: Taking taylor expansion of -1 in x 0.850 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.850 * [taylor]: Taking taylor expansion of 1/3 in x 0.850 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.850 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.851 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.851 * [taylor]: Taking taylor expansion of 1/3 in x 0.851 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.920 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 0.921 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.921 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.921 * [taylor]: Taking taylor expansion of 1/3 in y 0.921 * [taylor]: Taking taylor expansion of (log y) in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.921 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.921 * [taylor]: Taking taylor expansion of 1/3 in y 0.921 * [taylor]: Taking taylor expansion of (log y) in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.970 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.970 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.970 * [taylor]: Taking taylor expansion of 1/3 in y 0.970 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.970 * [taylor]: Taking taylor expansion of y in y 0.971 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.971 * [taylor]: Taking taylor expansion of 1/3 in y 0.971 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.971 * [taylor]: Taking taylor expansion of y in y 1.031 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.031 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.031 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.031 * [taylor]: Taking taylor expansion of -1 in y 1.032 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.032 * [taylor]: Taking taylor expansion of 1/3 in y 1.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.032 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.032 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.033 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.033 * [taylor]: Taking taylor expansion of -1 in y 1.033 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.034 * [taylor]: Taking taylor expansion of 1/3 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.107 * * * [progress]: simplifying candidates 1.108 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.111 * * [simplify]: iteration 0 : 73 enodes (cost 172 ) 1.113 * * [simplify]: iteration 1 : 149 enodes (cost 160 ) 1.117 * * [simplify]: iteration 2 : 350 enodes (cost 152 ) 1.124 * * [simplify]: iteration 3 : 1283 enodes (cost 152 ) 1.158 * * [simplify]: iteration 4 : 5001 enodes (cost 152 ) 1.160 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.160 * * * [progress]: adding candidates to table 1.374 * * [progress]: iteration 3 / 4 1.374 * * * [progress]: picking best candidate 1.384 * * * * [pick]: Picked # 1.384 * * * [progress]: localizing error 1.402 * * * [progress]: generating rewritten candidates 1.402 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 2) 1.404 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 1.404 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 1.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.406 * * * [progress]: generating series expansions 1.406 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 2) 1.406 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 1.406 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 1.406 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 1.406 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 1.406 * [taylor]: Taking taylor expansion of 1/9 in y 1.406 * [taylor]: Taking taylor expansion of (log y) in y 1.406 * [taylor]: Taking taylor expansion of y in y 1.407 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 1.407 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 1.407 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 1.407 * [taylor]: Taking taylor expansion of 1/9 in y 1.407 * [taylor]: Taking taylor expansion of (log y) in y 1.407 * [taylor]: Taking taylor expansion of y in y 1.461 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 1.461 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 1.461 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 1.461 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 1.461 * [taylor]: Taking taylor expansion of 1/9 in y 1.461 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.461 * [taylor]: Taking taylor expansion of y in y 1.462 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 1.462 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 1.462 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 1.462 * [taylor]: Taking taylor expansion of 1/9 in y 1.462 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.462 * [taylor]: Taking taylor expansion of y in y 1.522 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 1.522 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 1.522 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 1.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 1.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 1.522 * [taylor]: Taking taylor expansion of 1/3 in y 1.522 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 1.522 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.522 * [taylor]: Taking taylor expansion of -1 in y 1.526 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 1.526 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 1.526 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 1.526 * [taylor]: Taking taylor expansion of 1/9 in y 1.526 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.526 * [taylor]: Taking taylor expansion of y in y 1.527 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 1.527 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 1.527 * [taylor]: Taking taylor expansion of 1/3 in y 1.527 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 1.527 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.527 * [taylor]: Taking taylor expansion of -1 in y 1.530 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 1.530 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 1.530 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 1.530 * [taylor]: Taking taylor expansion of 1/9 in y 1.530 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.530 * [taylor]: Taking taylor expansion of y in y 1.652 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 1.652 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.652 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.652 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.652 * [taylor]: Taking taylor expansion of 1/3 in x 1.652 * [taylor]: Taking taylor expansion of (log x) in x 1.652 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.659 * [taylor]: Taking taylor expansion of 1/3 in x 1.659 * [taylor]: Taking taylor expansion of (log x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.706 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.706 * [taylor]: Taking taylor expansion of 1/3 in x 1.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.706 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.707 * [taylor]: Taking taylor expansion of 1/3 in x 1.707 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.765 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.765 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.765 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.765 * [taylor]: Taking taylor expansion of -1 in x 1.766 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.766 * [taylor]: Taking taylor expansion of 1/3 in x 1.766 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.766 * [taylor]: Taking taylor expansion of x in x 1.767 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.767 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.767 * [taylor]: Taking taylor expansion of -1 in x 1.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.767 * [taylor]: Taking taylor expansion of 1/3 in x 1.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.835 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 1.836 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.836 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.836 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.836 * [taylor]: Taking taylor expansion of 1/3 in x 1.836 * [taylor]: Taking taylor expansion of (log x) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.836 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.836 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.836 * [taylor]: Taking taylor expansion of 1/3 in x 1.836 * [taylor]: Taking taylor expansion of (log x) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.890 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.890 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.891 * [taylor]: Taking taylor expansion of 1/3 in x 1.891 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.892 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.892 * [taylor]: Taking taylor expansion of 1/3 in x 1.892 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.892 * [taylor]: Taking taylor expansion of x in x 1.944 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.944 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.944 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.944 * [taylor]: Taking taylor expansion of -1 in x 1.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.945 * [taylor]: Taking taylor expansion of 1/3 in x 1.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.945 * [taylor]: Taking taylor expansion of x in x 1.946 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.946 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.946 * [taylor]: Taking taylor expansion of -1 in x 1.946 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.947 * [taylor]: Taking taylor expansion of 1/3 in x 1.947 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.947 * [taylor]: Taking taylor expansion of x in x 2.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 2.016 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.016 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.016 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.016 * [taylor]: Taking taylor expansion of 1/3 in x 2.016 * [taylor]: Taking taylor expansion of (log x) in x 2.016 * [taylor]: Taking taylor expansion of x in x 2.017 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.017 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.017 * [taylor]: Taking taylor expansion of 1/3 in x 2.017 * [taylor]: Taking taylor expansion of (log x) in x 2.017 * [taylor]: Taking taylor expansion of x in x 2.070 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.070 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.070 * [taylor]: Taking taylor expansion of 1/3 in x 2.070 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.070 * [taylor]: Taking taylor expansion of x in x 2.071 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.071 * [taylor]: Taking taylor expansion of 1/3 in x 2.071 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.071 * [taylor]: Taking taylor expansion of x in x 2.126 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.126 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.126 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.126 * [taylor]: Taking taylor expansion of -1 in x 2.127 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.127 * [taylor]: Taking taylor expansion of 1/3 in x 2.127 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.127 * [taylor]: Taking taylor expansion of x in x 2.128 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.128 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.128 * [taylor]: Taking taylor expansion of -1 in x 2.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.129 * [taylor]: Taking taylor expansion of 1/3 in x 2.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.189 * * * [progress]: simplifying candidates 2.190 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 2.200 * * [simplify]: iteration 0 : 88 enodes (cost 209 ) 2.202 * * [simplify]: iteration 1 : 158 enodes (cost 195 ) 2.205 * * [simplify]: iteration 2 : 374 enodes (cost 187 ) 2.212 * * [simplify]: iteration 3 : 1307 enodes (cost 187 ) 2.257 * * [simplify]: iteration 4 : 5001 enodes (cost 187 ) 2.259 * [simplify]: Simplified to: (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 2.259 * * * [progress]: adding candidates to table 2.524 * * [progress]: iteration 4 / 4 2.524 * * * [progress]: picking best candidate 2.531 * * * * [pick]: Picked # 2.532 * * * [progress]: localizing error 2.548 * * * [progress]: generating rewritten candidates 2.548 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 2.549 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.552 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.578 * * * [progress]: generating series expansions 2.578 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 2.578 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 2.578 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 2.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 2.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 2.578 * [taylor]: Taking taylor expansion of 1/3 in y 2.578 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 2.578 * [taylor]: Taking taylor expansion of (/ x y) in y 2.578 * [taylor]: Taking taylor expansion of x in y 2.578 * [taylor]: Taking taylor expansion of y in y 2.579 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.579 * [taylor]: Taking taylor expansion of 1/3 in x 2.579 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.579 * [taylor]: Taking taylor expansion of (/ x y) in x 2.579 * [taylor]: Taking taylor expansion of x in x 2.579 * [taylor]: Taking taylor expansion of y in x 2.579 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.580 * [taylor]: Taking taylor expansion of 1/3 in x 2.580 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.580 * [taylor]: Taking taylor expansion of (/ x y) in x 2.580 * [taylor]: Taking taylor expansion of x in x 2.580 * [taylor]: Taking taylor expansion of y in x 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 2.580 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 2.580 * [taylor]: Taking taylor expansion of 1/3 in y 2.580 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.580 * [taylor]: Taking taylor expansion of (log x) in y 2.580 * [taylor]: Taking taylor expansion of x in y 2.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.580 * [taylor]: Taking taylor expansion of y in y 2.583 * [taylor]: Taking taylor expansion of 0 in y 2.589 * [taylor]: Taking taylor expansion of 0 in y 2.598 * [taylor]: Taking taylor expansion of 0 in y 2.598 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.598 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.598 * [taylor]: Taking taylor expansion of 1/3 in y 2.598 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.598 * [taylor]: Taking taylor expansion of (/ y x) in y 2.598 * [taylor]: Taking taylor expansion of y in y 2.598 * [taylor]: Taking taylor expansion of x in y 2.599 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.599 * [taylor]: Taking taylor expansion of 1/3 in x 2.599 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.599 * [taylor]: Taking taylor expansion of (/ y x) in x 2.599 * [taylor]: Taking taylor expansion of y in x 2.599 * [taylor]: Taking taylor expansion of x in x 2.599 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.599 * [taylor]: Taking taylor expansion of 1/3 in x 2.599 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.599 * [taylor]: Taking taylor expansion of (/ y x) in x 2.599 * [taylor]: Taking taylor expansion of y in x 2.599 * [taylor]: Taking taylor expansion of x in x 2.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.600 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.600 * [taylor]: Taking taylor expansion of 1/3 in y 2.600 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.600 * [taylor]: Taking taylor expansion of (log y) in y 2.600 * [taylor]: Taking taylor expansion of y in y 2.600 * [taylor]: Taking taylor expansion of (log x) in y 2.600 * [taylor]: Taking taylor expansion of x in y 2.603 * [taylor]: Taking taylor expansion of 0 in y 2.609 * [taylor]: Taking taylor expansion of 0 in y 2.618 * [taylor]: Taking taylor expansion of 0 in y 2.618 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.618 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.618 * [taylor]: Taking taylor expansion of 1/3 in y 2.618 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.618 * [taylor]: Taking taylor expansion of (/ y x) in y 2.618 * [taylor]: Taking taylor expansion of y in y 2.618 * [taylor]: Taking taylor expansion of x in y 2.619 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.619 * [taylor]: Taking taylor expansion of 1/3 in x 2.619 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.619 * [taylor]: Taking taylor expansion of (/ y x) in x 2.619 * [taylor]: Taking taylor expansion of y in x 2.619 * [taylor]: Taking taylor expansion of x in x 2.619 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.620 * [taylor]: Taking taylor expansion of 1/3 in x 2.620 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.620 * [taylor]: Taking taylor expansion of (/ y x) in x 2.620 * [taylor]: Taking taylor expansion of y in x 2.620 * [taylor]: Taking taylor expansion of x in x 2.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.620 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.620 * [taylor]: Taking taylor expansion of 1/3 in y 2.620 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.620 * [taylor]: Taking taylor expansion of (log y) in y 2.620 * [taylor]: Taking taylor expansion of y in y 2.620 * [taylor]: Taking taylor expansion of (log x) in y 2.620 * [taylor]: Taking taylor expansion of x in y 2.629 * [taylor]: Taking taylor expansion of 0 in y 2.635 * [taylor]: Taking taylor expansion of 0 in y 2.645 * [taylor]: Taking taylor expansion of 0 in y 2.645 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.645 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 2.645 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 2.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 2.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 2.645 * [taylor]: Taking taylor expansion of 1/3 in y 2.645 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 2.645 * [taylor]: Taking taylor expansion of (/ x y) in y 2.645 * [taylor]: Taking taylor expansion of x in y 2.645 * [taylor]: Taking taylor expansion of y in y 2.646 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.646 * [taylor]: Taking taylor expansion of 1/3 in x 2.646 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.646 * [taylor]: Taking taylor expansion of (/ x y) in x 2.646 * [taylor]: Taking taylor expansion of x in x 2.646 * [taylor]: Taking taylor expansion of y in x 2.646 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.646 * [taylor]: Taking taylor expansion of 1/3 in x 2.646 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.646 * [taylor]: Taking taylor expansion of (/ x y) in x 2.646 * [taylor]: Taking taylor expansion of x in x 2.647 * [taylor]: Taking taylor expansion of y in x 2.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 2.647 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 2.647 * [taylor]: Taking taylor expansion of 1/3 in y 2.647 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.647 * [taylor]: Taking taylor expansion of (log x) in y 2.647 * [taylor]: Taking taylor expansion of x in y 2.647 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.647 * [taylor]: Taking taylor expansion of y in y 2.650 * [taylor]: Taking taylor expansion of 0 in y 2.655 * [taylor]: Taking taylor expansion of 0 in y 2.664 * [taylor]: Taking taylor expansion of 0 in y 2.664 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.664 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.664 * [taylor]: Taking taylor expansion of 1/3 in y 2.664 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.664 * [taylor]: Taking taylor expansion of (/ y x) in y 2.664 * [taylor]: Taking taylor expansion of y in y 2.664 * [taylor]: Taking taylor expansion of x in y 2.665 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.665 * [taylor]: Taking taylor expansion of 1/3 in x 2.665 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.665 * [taylor]: Taking taylor expansion of (/ y x) in x 2.665 * [taylor]: Taking taylor expansion of y in x 2.665 * [taylor]: Taking taylor expansion of x in x 2.665 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.666 * [taylor]: Taking taylor expansion of 1/3 in x 2.666 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.666 * [taylor]: Taking taylor expansion of (/ y x) in x 2.666 * [taylor]: Taking taylor expansion of y in x 2.666 * [taylor]: Taking taylor expansion of x in x 2.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.666 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.666 * [taylor]: Taking taylor expansion of 1/3 in y 2.666 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.666 * [taylor]: Taking taylor expansion of (log y) in y 2.666 * [taylor]: Taking taylor expansion of y in y 2.666 * [taylor]: Taking taylor expansion of (log x) in y 2.666 * [taylor]: Taking taylor expansion of x in y 2.669 * [taylor]: Taking taylor expansion of 0 in y 2.675 * [taylor]: Taking taylor expansion of 0 in y 2.684 * [taylor]: Taking taylor expansion of 0 in y 2.684 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.684 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.684 * [taylor]: Taking taylor expansion of 1/3 in y 2.684 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.684 * [taylor]: Taking taylor expansion of (/ y x) in y 2.684 * [taylor]: Taking taylor expansion of y in y 2.684 * [taylor]: Taking taylor expansion of x in y 2.685 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.685 * [taylor]: Taking taylor expansion of 1/3 in x 2.685 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.685 * [taylor]: Taking taylor expansion of (/ y x) in x 2.685 * [taylor]: Taking taylor expansion of y in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.685 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.685 * [taylor]: Taking taylor expansion of 1/3 in x 2.685 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.685 * [taylor]: Taking taylor expansion of (/ y x) in x 2.685 * [taylor]: Taking taylor expansion of y in x 2.685 * [taylor]: Taking taylor expansion of x in x 2.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.686 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.686 * [taylor]: Taking taylor expansion of 1/3 in y 2.686 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.686 * [taylor]: Taking taylor expansion of (log y) in y 2.686 * [taylor]: Taking taylor expansion of y in y 2.686 * [taylor]: Taking taylor expansion of (log x) in y 2.686 * [taylor]: Taking taylor expansion of x in y 2.689 * [taylor]: Taking taylor expansion of 0 in y 2.695 * [taylor]: Taking taylor expansion of 0 in y 2.704 * [taylor]: Taking taylor expansion of 0 in y 2.704 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.704 * [approximate]: Taking taylor expansion of (pow (/ x y) 1/3) in (x y) around 0 2.704 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 2.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 2.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 2.704 * [taylor]: Taking taylor expansion of 1/3 in y 2.704 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 2.704 * [taylor]: Taking taylor expansion of (/ x y) in y 2.704 * [taylor]: Taking taylor expansion of x in y 2.704 * [taylor]: Taking taylor expansion of y in y 2.704 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.704 * [taylor]: Taking taylor expansion of 1/3 in x 2.705 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.705 * [taylor]: Taking taylor expansion of (/ x y) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.705 * [taylor]: Taking taylor expansion of y in x 2.705 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in x 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in x 2.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in x 2.705 * [taylor]: Taking taylor expansion of 1/3 in x 2.705 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 2.705 * [taylor]: Taking taylor expansion of (/ x y) in x 2.705 * [taylor]: Taking taylor expansion of x in x 2.705 * [taylor]: Taking taylor expansion of y in x 2.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (/ 1 y))))) in y 2.706 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 2.706 * [taylor]: Taking taylor expansion of 1/3 in y 2.706 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.706 * [taylor]: Taking taylor expansion of (log x) in y 2.706 * [taylor]: Taking taylor expansion of x in y 2.706 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.709 * [taylor]: Taking taylor expansion of 0 in y 2.720 * [taylor]: Taking taylor expansion of 0 in y 2.728 * [taylor]: Taking taylor expansion of 0 in y 2.728 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.728 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.728 * [taylor]: Taking taylor expansion of 1/3 in y 2.728 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.728 * [taylor]: Taking taylor expansion of (/ y x) in y 2.728 * [taylor]: Taking taylor expansion of y in y 2.729 * [taylor]: Taking taylor expansion of x in y 2.729 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.729 * [taylor]: Taking taylor expansion of 1/3 in x 2.729 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.729 * [taylor]: Taking taylor expansion of (/ y x) in x 2.729 * [taylor]: Taking taylor expansion of y in x 2.729 * [taylor]: Taking taylor expansion of x in x 2.730 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.730 * [taylor]: Taking taylor expansion of 1/3 in x 2.730 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.730 * [taylor]: Taking taylor expansion of (/ y x) in x 2.730 * [taylor]: Taking taylor expansion of y in x 2.730 * [taylor]: Taking taylor expansion of x in x 2.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.730 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.730 * [taylor]: Taking taylor expansion of 1/3 in y 2.730 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.730 * [taylor]: Taking taylor expansion of (log y) in y 2.730 * [taylor]: Taking taylor expansion of y in y 2.731 * [taylor]: Taking taylor expansion of (log x) in y 2.731 * [taylor]: Taking taylor expansion of x in y 2.734 * [taylor]: Taking taylor expansion of 0 in y 2.739 * [taylor]: Taking taylor expansion of 0 in y 2.748 * [taylor]: Taking taylor expansion of 0 in y 2.749 * [approximate]: Taking taylor expansion of (pow (/ y x) 1/3) in (x y) around 0 2.749 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in y 2.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in y 2.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in y 2.749 * [taylor]: Taking taylor expansion of 1/3 in y 2.749 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 2.749 * [taylor]: Taking taylor expansion of (/ y x) in y 2.749 * [taylor]: Taking taylor expansion of y in y 2.749 * [taylor]: Taking taylor expansion of x in y 2.749 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.749 * [taylor]: Taking taylor expansion of 1/3 in x 2.749 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.749 * [taylor]: Taking taylor expansion of (/ y x) in x 2.749 * [taylor]: Taking taylor expansion of y in x 2.749 * [taylor]: Taking taylor expansion of x in x 2.750 * [taylor]: Taking taylor expansion of (pow (/ y x) 1/3) in x 2.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y x)))) in x 2.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y x))) in x 2.750 * [taylor]: Taking taylor expansion of 1/3 in x 2.750 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 2.750 * [taylor]: Taking taylor expansion of (/ y x) in x 2.750 * [taylor]: Taking taylor expansion of y in x 2.750 * [taylor]: Taking taylor expansion of x in x 2.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log x)))) in y 2.751 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log x))) in y 2.751 * [taylor]: Taking taylor expansion of 1/3 in y 2.751 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 2.751 * [taylor]: Taking taylor expansion of (log y) in y 2.751 * [taylor]: Taking taylor expansion of y in y 2.751 * [taylor]: Taking taylor expansion of (log x) in y 2.751 * [taylor]: Taking taylor expansion of x in y 2.754 * [taylor]: Taking taylor expansion of 0 in y 2.759 * [taylor]: Taking taylor expansion of 0 in y 2.768 * [taylor]: Taking taylor expansion of 0 in y 2.768 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.769 * [approximate]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in (x y) around 0 2.769 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in y 2.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in y 2.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in y 2.769 * [taylor]: Taking taylor expansion of 1/3 in y 2.769 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in y 2.769 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y 2.769 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.769 * [taylor]: Taking taylor expansion of x in y 2.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.769 * [taylor]: Taking taylor expansion of y in y 2.770 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in x 2.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in x 2.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in x 2.770 * [taylor]: Taking taylor expansion of 1/3 in x 2.770 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in x 2.770 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 2.770 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.770 * [taylor]: Taking taylor expansion of x in x 2.770 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.770 * [taylor]: Taking taylor expansion of y in x 2.771 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow y 2)) 1/3) in x 2.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow y 2))))) in x 2.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow y 2)))) in x 2.771 * [taylor]: Taking taylor expansion of 1/3 in x 2.771 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow y 2))) in x 2.771 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 2.771 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.771 * [taylor]: Taking taylor expansion of x in x 2.771 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.771 * [taylor]: Taking taylor expansion of y in x 2.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (/ 1 (pow y 2)))))) in y 2.772 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (/ 1 (pow y 2))))) in y 2.772 * [taylor]: Taking taylor expansion of 1/3 in y 2.772 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (/ 1 (pow y 2)))) in y 2.772 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 2.773 * [taylor]: Taking taylor expansion of 2 in y 2.773 * [taylor]: Taking taylor expansion of (log x) in y 2.773 * [taylor]: Taking taylor expansion of x in y 2.773 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 2.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.773 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.773 * [taylor]: Taking taylor expansion of y in y 2.776 * [taylor]: Taking taylor expansion of 0 in y 2.784 * [taylor]: Taking taylor expansion of 0 in y 2.795 * [taylor]: Taking taylor expansion of 0 in y 2.795 * [approximate]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in (x y) around 0 2.796 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in y 2.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in y 2.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in y 2.796 * [taylor]: Taking taylor expansion of 1/3 in y 2.796 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in y 2.796 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 2.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.796 * [taylor]: Taking taylor expansion of y in y 2.796 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.796 * [taylor]: Taking taylor expansion of x in y 2.797 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 2.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 2.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 2.797 * [taylor]: Taking taylor expansion of 1/3 in x 2.797 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 2.797 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 2.797 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.797 * [taylor]: Taking taylor expansion of y in x 2.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 2.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 2.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 2.798 * [taylor]: Taking taylor expansion of 1/3 in x 2.798 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 2.798 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 2.798 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.798 * [taylor]: Taking taylor expansion of y in x 2.798 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (* 2 (log x))))) in y 2.799 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (* 2 (log x)))) in y 2.799 * [taylor]: Taking taylor expansion of 1/3 in y 2.799 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (* 2 (log x))) in y 2.799 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 2.799 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.799 * [taylor]: Taking taylor expansion of y in y 2.800 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 2.800 * [taylor]: Taking taylor expansion of 2 in y 2.800 * [taylor]: Taking taylor expansion of (log x) in y 2.800 * [taylor]: Taking taylor expansion of x in y 2.803 * [taylor]: Taking taylor expansion of 0 in y 2.816 * [taylor]: Taking taylor expansion of 0 in y 2.828 * [taylor]: Taking taylor expansion of 0 in y 2.828 * [approximate]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in (x y) around 0 2.828 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in y 2.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in y 2.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in y 2.829 * [taylor]: Taking taylor expansion of 1/3 in y 2.829 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in y 2.829 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 2.829 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.829 * [taylor]: Taking taylor expansion of y in y 2.829 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.829 * [taylor]: Taking taylor expansion of x in y 2.830 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 2.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 2.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 2.830 * [taylor]: Taking taylor expansion of 1/3 in x 2.830 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 2.830 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 2.830 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.830 * [taylor]: Taking taylor expansion of y in x 2.830 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.830 * [taylor]: Taking taylor expansion of x in x 2.831 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow x 2)) 1/3) in x 2.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow x 2))))) in x 2.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow x 2)))) in x 2.831 * [taylor]: Taking taylor expansion of 1/3 in x 2.831 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow x 2))) in x 2.831 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 2.831 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.831 * [taylor]: Taking taylor expansion of y in x 2.831 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.831 * [taylor]: Taking taylor expansion of x in x 2.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow y 2)) (* 2 (log x))))) in y 2.832 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow y 2)) (* 2 (log x)))) in y 2.832 * [taylor]: Taking taylor expansion of 1/3 in y 2.832 * [taylor]: Taking taylor expansion of (- (log (pow y 2)) (* 2 (log x))) in y 2.832 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 2.832 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.832 * [taylor]: Taking taylor expansion of y in y 2.833 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 2.833 * [taylor]: Taking taylor expansion of 2 in y 2.833 * [taylor]: Taking taylor expansion of (log x) in y 2.833 * [taylor]: Taking taylor expansion of x in y 2.836 * [taylor]: Taking taylor expansion of 0 in y 2.844 * [taylor]: Taking taylor expansion of 0 in y 2.855 * [taylor]: Taking taylor expansion of 0 in y 2.856 * * * [progress]: simplifying candidates 2.858 * [simplify]: Simplifying using # : (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) (cbrt (/ 1 1)) (cbrt (/ x y)) (cbrt 1) (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (* (* (cbrt (/ x y)) (cbrt (/ x y))) (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (* (cbrt (/ x y)) (cbrt (/ x y)))) (log1p (* (cbrt (/ x y)) (cbrt (/ x y)))) (+ 1/3 1/3) (+ 1 1) (* (/ x y) (/ x y)) (* (cbrt (/ x y)) (cbrt (/ x y))) (+ 1 1) (+ (log (cbrt (/ x y))) (log (cbrt (/ x y)))) (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (exp (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (/ x y) (/ x y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ x y)))) (sqrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (sqrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (cbrt x) (cbrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ (cbrt x) y))) (* (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (cbrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ (sqrt x) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x (sqrt y)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt x) (cbrt x)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (* (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* 1 1) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (sqrt (cbrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y)))) (* 2 1/3) (* 2 1) (* (cbrt (/ x y)) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (/ x y)) (cbrt (sqrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ x y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ 1 1))) (* (cbrt (/ x y)) (cbrt 1)) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y))))) (* (cbrt (/ x y)) (sqrt (cbrt (/ x y)))) (* (cbrt (/ x y)) 1) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (sqrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ x y))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ 1 y)) (cbrt (/ x y))) (* (cbrt (cbrt (/ x y))) (cbrt (/ x y))) (* (sqrt (cbrt (/ x y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt x) (cbrt (/ x y))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (- (log x) (log y)))) (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 x))))) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (exp (* 1/3 (- (* 2 (log x)) (* 2 (log y))))) (exp (* 1/3 (- (* 2 (log (/ 1 y))) (* 2 (log (/ 1 x)))))) (exp (* 1/3 (- (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) 2.865 * * [simplify]: iteration 0 : 267 enodes (cost 1139 ) 2.870 * * [simplify]: iteration 1 : 917 enodes (cost 1091 ) 2.890 * * [simplify]: iteration 2 : 3590 enodes (cost 1046 ) 2.930 * * [simplify]: iteration 3 : 5001 enodes (cost 1022 ) 2.934 * [simplify]: Simplified to: (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (cbrt (/ x y))) (log1p (cbrt (/ x y))) (log (cbrt (/ x y))) (exp (cbrt (/ x y))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (cbrt x) y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) y)) (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ x (cbrt y))) (cbrt (/ 1 (sqrt y))) (cbrt (/ x (sqrt y))) 1 (cbrt (/ x y)) 1 (cbrt (/ x y)) (cbrt x) (cbrt (/ 1 y)) (cbrt x) (cbrt y) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (cbrt (/ x y))) (/ x y) (sqrt (cbrt (/ x y))) (sqrt (cbrt (/ x y))) (expm1 (* (cbrt (/ x y)) (cbrt (/ x y)))) (log1p (* (cbrt (/ x y)) (cbrt (/ x y)))) 2/3 2 (pow (cbrt (/ x y)) 6) (pow (sqrt (cbrt (/ x y))) 4) 2 (* 2 (log (cbrt (/ x y)))) (* 2 (log (cbrt (/ x y)))) (exp (* (cbrt (/ x y)) (cbrt (/ x y)))) (pow (cbrt (/ x y)) 6) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (pow (cbrt (/ x y)) 6) (fabs (cbrt (/ x y))) (fabs (cbrt (/ x y))) (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt (/ x y)) (cbrt (/ x y)))) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ (cbrt x) (cbrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y))) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ (cbrt x) (sqrt y)))) (* (cbrt (/ (* (cbrt x) (cbrt x)) 1)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ (cbrt x) y))) (* (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y)))) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ (sqrt x) (cbrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) 1)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ (sqrt x) y))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x (cbrt y)))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x (sqrt y)))) 1 (pow (sqrt (cbrt (/ x y))) 4) 1 (pow (sqrt (cbrt (/ x y))) 4) (* (cbrt x) (cbrt x)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (pow (cbrt (cbrt (/ x y))) 4) (* (cbrt (cbrt (/ x y))) (cbrt (cbrt (/ x y)))) (cbrt (/ x y)) (cbrt (/ x y)) 1 (pow (sqrt (cbrt (/ x y))) 4) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (sqrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (sqrt (/ x y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (sqrt (/ x y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (* (cbrt (/ (sqrt x) (sqrt y))) (sqrt (cbrt (/ x y)))) (cbrt (/ x y)) (cbrt (/ x y)) 2/3 2 (* (cbrt (/ x y)) (cbrt (* (cbrt (/ x y)) (cbrt (/ x y))))) (* (cbrt (/ x y)) (cbrt (sqrt (/ x y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (* (cbrt x) (cbrt x)) 1))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) 1))) (* (cbrt (/ x y)) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ x y)) (cbrt (/ 1 (sqrt y)))) (cbrt (/ x y)) (cbrt (/ x y)) (* (cbrt (/ x y)) (cbrt x)) (pow (cbrt (cbrt (/ x y))) 5) (pow (sqrt (cbrt (/ x y))) 3) (cbrt (/ x y)) (pow (cbrt (cbrt (/ x y))) 4) (* (cbrt (/ x y)) (cbrt (sqrt (/ x y)))) (* (cbrt (/ (cbrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) (sqrt y))) (cbrt (/ x y))) (* (cbrt (/ (cbrt x) y)) (cbrt (/ x y))) (* (cbrt (/ (sqrt x) (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ x y)) (cbrt (/ (sqrt x) (sqrt y)))) (* (cbrt (/ (sqrt x) y)) (cbrt (/ x y))) (* (cbrt (/ x (cbrt y))) (cbrt (/ x y))) (* (cbrt (/ x (sqrt y))) (cbrt (/ x y))) (pow (sqrt (cbrt (/ x y))) 4) (pow (sqrt (cbrt (/ x y))) 4) (* (cbrt (/ 1 y)) (cbrt (/ x y))) (pow (cbrt (cbrt (/ x y))) 4) (pow (sqrt (cbrt (/ x y))) 3) (pow (sqrt (cbrt (/ x y))) 4) (* (cbrt (/ x y)) (cbrt x)) (* (cbrt (/ x y)) (cbrt x)) (cbrt (/ x y)) (cbrt (/ x y)) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (cbrt (/ x y)) (cbrt (/ x y)) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (cbrt (/ x y)) (cbrt (/ x y)) (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 x))))) (pow (sqrt (cbrt (/ x y))) 4) (pow (sqrt (cbrt (/ x y))) 4) (pow (exp 2/3) (- (log (/ -1 y)) (log (/ -1 x)))) 2.935 * * * [progress]: adding candidates to table 3.422 * [progress]: [Phase 3 of 3] Extracting. 3.422 * * [regime]: Finding splitpoints for: (# # # # # # #) 3.423 * * * [regime-changes]: Trying 6 branch expressions: ((/ x y) (+ (* (/ x y) (- z t)) t) t z y x) 3.424 * * * * [regimes]: Trying to branch on (/ x y) from (# # # # # # #) 3.453 * * * * [regimes]: Trying to branch on (/ x y) from (# #) 3.467 * * * * [regimes]: Trying to branch on (+ (* (/ x y) (- z t)) t) from (# # # # # # #) 3.497 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 3.528 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 3.555 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 3.585 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 3.616 * * * [regime]: Found split indices: #