5.085 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (* 500.0 (- x y)) 0.014 * * [simplify]: iteration 0 : 8 enodes (cost 2 ) 0.016 * * [simplify]: iteration 1 : 15 enodes (cost 2 ) 0.017 * * [simplify]: iteration 2 : 21 enodes (cost 2 ) 0.019 * * [simplify]: iteration 3 : 26 enodes (cost 2 ) 0.020 * * [simplify]: iteration 4 : 26 enodes (cost 2 ) 0.020 * [simplify]: Simplified to: (* 500.0 (- x y)) 0.021 * * [progress]: iteration 1 / 4 0.021 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.025 * * * [progress]: generating rewritten candidates 0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.036 * * * [progress]: generating series expansions 0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.036 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0 0.036 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y 0.036 * [taylor]: Taking taylor expansion of 500.0 in y 0.036 * [taylor]: Taking taylor expansion of (- x y) in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.036 * [taylor]: Taking taylor expansion of 500.0 in x 0.036 * [taylor]: Taking taylor expansion of (- x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x 0.036 * [taylor]: Taking taylor expansion of 500.0 in x 0.036 * [taylor]: Taking taylor expansion of (- x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.036 * [taylor]: Taking taylor expansion of -500.0 in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.041 * [taylor]: Taking taylor expansion of 500.0 in y 0.043 * [taylor]: Taking taylor expansion of 0 in y 0.045 * [taylor]: Taking taylor expansion of 0 in y 0.046 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.046 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y 0.046 * [taylor]: Taking taylor expansion of 500.0 in y 0.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.046 * [taylor]: Taking taylor expansion of x in y 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.046 * [taylor]: Taking taylor expansion of 500.0 in x 0.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x 0.046 * [taylor]: Taking taylor expansion of 500.0 in x 0.046 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of 500.0 in y 0.048 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 0.048 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.048 * [taylor]: Taking taylor expansion of 500.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.058 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y 0.058 * [taylor]: Taking taylor expansion of 500.0 in y 0.058 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 500.0 in x 0.058 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 500.0 in x 0.058 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of -500.0 in y 0.061 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.061 * [taylor]: Taking taylor expansion of 500.0 in y 0.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.061 * [taylor]: Taking taylor expansion of y in y 0.063 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * * * [progress]: simplifying candidates 0.070 * [simplify]: Simplifying using # : (* 500.0 (- x y)) (+ (log 500.0) (log (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* x 500.0) (* (- y) 500.0) (* x 500.0) (* (- y) 500.0) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) (* 500.0 1) (* 500.0 (+ (sqrt x) (sqrt y))) (* 500.0 1) (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.073 * * [simplify]: iteration 0 : 112 enodes (cost 98 ) 0.076 * * [simplify]: iteration 1 : 460 enodes (cost 88 ) 0.085 * * [simplify]: iteration 2 : 1881 enodes (cost 88 ) 0.116 * * [simplify]: iteration 3 : 5001 enodes (cost 88 ) 0.117 * [simplify]: Simplified to: (* 500.0 (- x y)) (log (* 500.0 (- x y))) (log (* 500.0 (- x y))) (exp (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y)))) (cbrt (* 500.0 (- x y))) (pow (* 500.0 (- x y)) 3) (sqrt (* 500.0 (- x y))) (sqrt (* 500.0 (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* (sqrt 500.0) (sqrt (- x y))) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 x) (* 500.0 (- y)) (* 500.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 500.0 (sqrt (- x y))) 500.0 (* 500.0 (+ (sqrt x) (sqrt y))) 500.0 (* (cbrt 500.0) (- x y)) (* (sqrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- (pow x 3) (pow y 3))) (* 500.0 (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 0.117 * * * [progress]: adding candidates to table 0.154 * * [progress]: iteration 2 / 4 0.154 * * * [progress]: picking best candidate 0.157 * * * * [pick]: Picked # 0.157 * * * [progress]: localizing error 0.164 * * * [progress]: generating rewritten candidates 0.164 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.170 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.181 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.207 * * * [progress]: generating series expansions 0.207 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.207 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.208 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 0.208 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 0.208 * [taylor]: Taking taylor expansion of (- x y) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.208 * [taylor]: Taking taylor expansion of 500.0 in y 0.209 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 0.209 * [taylor]: Taking taylor expansion of (- x y) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.209 * [taylor]: Taking taylor expansion of 500.0 in x 0.209 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 0.209 * [taylor]: Taking taylor expansion of (- x y) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.209 * [taylor]: Taking taylor expansion of 500.0 in x 0.210 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.211 * [taylor]: Taking taylor expansion of 500.0 in y 0.213 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.213 * [taylor]: Taking taylor expansion of 500.0 in y 0.219 * [taylor]: Taking taylor expansion of 0 in y 0.231 * [taylor]: Taking taylor expansion of 0 in y 0.234 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 0.235 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 0.235 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.235 * [taylor]: Taking taylor expansion of x in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.235 * [taylor]: Taking taylor expansion of 500.0 in y 0.236 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 0.236 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.237 * [taylor]: Taking taylor expansion of y in x 0.237 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.237 * [taylor]: Taking taylor expansion of 500.0 in x 0.238 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 0.238 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.239 * [taylor]: Taking taylor expansion of y in x 0.239 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.239 * [taylor]: Taking taylor expansion of 500.0 in x 0.241 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.241 * [taylor]: Taking taylor expansion of 500.0 in y 0.244 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 0.244 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 0.244 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.244 * [taylor]: Taking taylor expansion of 500.0 in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [taylor]: Taking taylor expansion of 0 in y 0.263 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 0.263 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 0.263 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.263 * [taylor]: Taking taylor expansion of x in y 0.263 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.263 * [taylor]: Taking taylor expansion of 500.0 in y 0.264 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 0.264 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.264 * [taylor]: Taking taylor expansion of 500.0 in x 0.265 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.265 * [taylor]: Taking taylor expansion of 500.0 in x 0.267 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 0.267 * [taylor]: Taking taylor expansion of -1 in y 0.267 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.267 * [taylor]: Taking taylor expansion of 500.0 in y 0.269 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 0.269 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.269 * [taylor]: Taking taylor expansion of 500.0 in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.274 * [taylor]: Taking taylor expansion of 0 in y 0.278 * [taylor]: Taking taylor expansion of 0 in y 0.283 * [taylor]: Taking taylor expansion of 0 in y 0.284 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.285 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 0.285 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 0.285 * [taylor]: Taking taylor expansion of (- x y) in y 0.285 * [taylor]: Taking taylor expansion of x in y 0.285 * [taylor]: Taking taylor expansion of y in y 0.285 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.285 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.285 * [taylor]: Taking taylor expansion of 500.0 in y 0.286 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 0.286 * [taylor]: Taking taylor expansion of (- x y) in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of y in x 0.286 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.286 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.286 * [taylor]: Taking taylor expansion of 500.0 in x 0.287 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 0.287 * [taylor]: Taking taylor expansion of (- x y) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of y in x 0.287 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.287 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.287 * [taylor]: Taking taylor expansion of 500.0 in x 0.290 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.290 * [taylor]: Taking taylor expansion of -500.0 in y 0.290 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of 500.0 in y 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.302 * [taylor]: Taking taylor expansion of 0 in y 0.303 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 0.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 0.303 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.303 * [taylor]: Taking taylor expansion of x in y 0.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.303 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.304 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.304 * [taylor]: Taking taylor expansion of 500.0 in y 0.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 0.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.304 * [taylor]: Taking taylor expansion of x in x 0.305 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.305 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.305 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.305 * [taylor]: Taking taylor expansion of 500.0 in x 0.305 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 0.305 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.305 * [taylor]: Taking taylor expansion of x in x 0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.306 * [taylor]: Taking taylor expansion of y in x 0.306 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.306 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.306 * [taylor]: Taking taylor expansion of 500.0 in x 0.310 * [taylor]: Taking taylor expansion of 500.0 in y 0.312 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 0.312 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.312 * [taylor]: Taking taylor expansion of 500.0 in y 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.317 * [taylor]: Taking taylor expansion of 0 in y 0.328 * [taylor]: Taking taylor expansion of 0 in y 0.333 * [taylor]: Taking taylor expansion of 0 in y 0.335 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 0.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 0.335 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.335 * [taylor]: Taking taylor expansion of y in y 0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.335 * [taylor]: Taking taylor expansion of x in y 0.335 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.335 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.335 * [taylor]: Taking taylor expansion of 500.0 in y 0.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.336 * [taylor]: Taking taylor expansion of y in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.337 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.337 * [taylor]: Taking taylor expansion of 500.0 in x 0.337 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 0.337 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.338 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.338 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.338 * [taylor]: Taking taylor expansion of 500.0 in x 0.342 * [taylor]: Taking taylor expansion of -500.0 in y 0.345 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.345 * [taylor]: Taking taylor expansion of 500.0 in y 0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.345 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of 0 in y 0.354 * [taylor]: Taking taylor expansion of 0 in y 0.359 * [taylor]: Taking taylor expansion of 0 in y 0.359 * * * [progress]: simplifying candidates 0.361 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) (+ 1 1) (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt 500.0) (cbrt 500.0)) (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 1 1) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (* 2 1/3) (* 2 1) (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* (cbrt 500.0) (cbrt 1)) (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (cbrt 500.0) (sqrt (cbrt 500.0))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (cbrt 500.0)) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (* (cbrt 500.0) 1) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (exp (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* 500.0 500.0) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 500.0 500.0) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) x)) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* x (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* x (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt 500.0) (- x y))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (cbrt 500.0) (- x y)) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.366 * * [simplify]: iteration 0 : 286 enodes (cost 668 ) 0.372 * * [simplify]: iteration 1 : 1315 enodes (cost 518 ) 0.404 * * [simplify]: iteration 2 : 5001 enodes (cost 447 ) 0.407 * [simplify]: Simplified to: 2/3 2 (* 500.0 500.0) (* (cbrt 500.0) (cbrt 500.0)) 2 (* 2 (log (cbrt 500.0))) (* 2 (log (cbrt 500.0))) (exp (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (cbrt (* (cbrt 500.0) (cbrt 500.0))) (* 500.0 500.0) (fabs (cbrt 500.0)) (fabs (cbrt 500.0)) (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) 1 (* (cbrt 500.0) (cbrt 500.0)) (pow (cbrt (cbrt 500.0)) 4) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt 500.0) (cbrt 500.0) 1 (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0))) (cbrt 500.0) (cbrt 500.0) 2/3 2 (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0)))) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (cbrt 500.0) (* (pow (cbrt (cbrt 500.0)) 4) (cbrt (cbrt 500.0))) (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) (pow (cbrt (cbrt 500.0)) 4) (* (cbrt 500.0) (cbrt (sqrt 500.0))) (* (cbrt 500.0) (cbrt 500.0)) (pow (cbrt (cbrt 500.0)) 4) (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)) (log (* (cbrt 500.0) (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (pow (* (cbrt 500.0) (- x y)) 3) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (pow (* (cbrt 500.0) (- x y)) 3) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (cbrt 500.0) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (+ (log (- x y)) (* 3 (log (cbrt 500.0)))) (pow (exp (- x y)) (pow (cbrt 500.0) 3)) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (pow (* (- x y) (pow (cbrt 500.0) 3)) 3) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (- x y)))) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) (* 500.0 x) (* (- y) 500.0) 500.0 (* (cbrt 500.0) (* (cbrt 500.0) (- x y))) (* (- (pow x 3) (pow y 3)) (pow (cbrt 500.0) 3)) (* (* (pow (cbrt 500.0) 3) (+ x y)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 0.407 * * * [progress]: adding candidates to table 0.743 * * [progress]: iteration 3 / 4 0.743 * * * [progress]: picking best candidate 0.746 * * * * [pick]: Picked # 0.746 * * * [progress]: localizing error 0.757 * * * [progress]: generating rewritten candidates 0.757 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.760 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.771 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.810 * * * [progress]: generating series expansions 0.810 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.810 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.811 * [approximate]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in (x y) around 0 0.811 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in y 0.811 * [taylor]: Taking taylor expansion of (- x y) in y 0.811 * [taylor]: Taking taylor expansion of x in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.811 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.811 * [taylor]: Taking taylor expansion of 500.0 in y 0.812 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 0.812 * [taylor]: Taking taylor expansion of (- x y) in x 0.812 * [taylor]: Taking taylor expansion of x in x 0.812 * [taylor]: Taking taylor expansion of y in x 0.812 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.812 * [taylor]: Taking taylor expansion of 500.0 in x 0.813 * [taylor]: Taking taylor expansion of (* (- x y) (cbrt 500.0)) in x 0.813 * [taylor]: Taking taylor expansion of (- x y) in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of y in x 0.813 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.813 * [taylor]: Taking taylor expansion of 500.0 in x 0.814 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y 0.814 * [taylor]: Taking taylor expansion of -1 in y 0.814 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.814 * [taylor]: Taking taylor expansion of 500.0 in y 0.816 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.817 * [taylor]: Taking taylor expansion of 500.0 in y 0.825 * [taylor]: Taking taylor expansion of 0 in y 0.829 * [taylor]: Taking taylor expansion of 0 in y 0.832 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0 0.832 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y 0.832 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.832 * [taylor]: Taking taylor expansion of x in y 0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.832 * [taylor]: Taking taylor expansion of y in y 0.832 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.832 * [taylor]: Taking taylor expansion of 500.0 in y 0.833 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 0.833 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.833 * [taylor]: Taking taylor expansion of x in x 0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.833 * [taylor]: Taking taylor expansion of 500.0 in x 0.834 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x 0.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.834 * [taylor]: Taking taylor expansion of y in x 0.834 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.834 * [taylor]: Taking taylor expansion of 500.0 in x 0.836 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.836 * [taylor]: Taking taylor expansion of 500.0 in y 0.838 * [taylor]: Taking taylor expansion of (- (/ (cbrt 500.0) y)) in y 0.838 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 0.838 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.838 * [taylor]: Taking taylor expansion of 500.0 in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.843 * [taylor]: Taking taylor expansion of 0 in y 0.846 * [taylor]: Taking taylor expansion of 0 in y 0.852 * [taylor]: Taking taylor expansion of 0 in y 0.853 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in (x y) around 0 0.854 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in y 0.854 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.854 * [taylor]: Taking taylor expansion of y in y 0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.854 * [taylor]: Taking taylor expansion of x in y 0.854 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.854 * [taylor]: Taking taylor expansion of 500.0 in y 0.855 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 0.855 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.855 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.855 * [taylor]: Taking taylor expansion of y in x 0.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.855 * [taylor]: Taking taylor expansion of x in x 0.855 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.855 * [taylor]: Taking taylor expansion of 500.0 in x 0.856 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (cbrt 500.0)) in x 0.856 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.856 * [taylor]: Taking taylor expansion of y in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.856 * [taylor]: Taking taylor expansion of 500.0 in x 0.858 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y 0.858 * [taylor]: Taking taylor expansion of -1 in y 0.858 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.858 * [taylor]: Taking taylor expansion of 500.0 in y 0.860 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y 0.860 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.860 * [taylor]: Taking taylor expansion of 500.0 in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.865 * [taylor]: Taking taylor expansion of 0 in y 0.869 * [taylor]: Taking taylor expansion of 0 in y 0.874 * [taylor]: Taking taylor expansion of 0 in y 0.875 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.878 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0 0.878 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y 0.878 * [taylor]: Taking taylor expansion of (- x y) in y 0.878 * [taylor]: Taking taylor expansion of x in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.878 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.878 * [taylor]: Taking taylor expansion of 500.0 in y 0.879 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 0.879 * [taylor]: Taking taylor expansion of (- x y) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.879 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.879 * [taylor]: Taking taylor expansion of 500.0 in x 0.879 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x 0.879 * [taylor]: Taking taylor expansion of (- x y) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.879 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.879 * [taylor]: Taking taylor expansion of 500.0 in x 0.883 * [taylor]: Taking taylor expansion of (* -500.0 y) in y 0.883 * [taylor]: Taking taylor expansion of -500.0 in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.886 * [taylor]: Taking taylor expansion of 500.0 in y 0.890 * [taylor]: Taking taylor expansion of 0 in y 0.894 * [taylor]: Taking taylor expansion of 0 in y 0.897 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0 0.897 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y 0.897 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.897 * [taylor]: Taking taylor expansion of x in y 0.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.897 * [taylor]: Taking taylor expansion of y in y 0.897 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.897 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.897 * [taylor]: Taking taylor expansion of 500.0 in y 0.898 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 0.898 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.898 * [taylor]: Taking taylor expansion of x in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.898 * [taylor]: Taking taylor expansion of y in x 0.898 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.898 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.898 * [taylor]: Taking taylor expansion of 500.0 in x 0.899 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x 0.899 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.899 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.899 * [taylor]: Taking taylor expansion of y in x 0.899 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.899 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.899 * [taylor]: Taking taylor expansion of 500.0 in x 0.903 * [taylor]: Taking taylor expansion of 500.0 in y 0.906 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y 0.906 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.906 * [taylor]: Taking taylor expansion of 500.0 in y 0.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.914 * [taylor]: Taking taylor expansion of 0 in y 0.919 * [taylor]: Taking taylor expansion of 0 in y 0.925 * [taylor]: Taking taylor expansion of 0 in y 0.928 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0 0.928 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y 0.928 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.928 * [taylor]: Taking taylor expansion of y in y 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.928 * [taylor]: Taking taylor expansion of x in y 0.928 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y 0.928 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y 0.928 * [taylor]: Taking taylor expansion of 500.0 in y 0.929 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 0.929 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.929 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.929 * [taylor]: Taking taylor expansion of x in x 0.929 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.929 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.929 * [taylor]: Taking taylor expansion of 500.0 in x 0.930 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x 0.930 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.930 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.930 * [taylor]: Taking taylor expansion of y in x 0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.930 * [taylor]: Taking taylor expansion of x in x 0.930 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x 0.930 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x 0.930 * [taylor]: Taking taylor expansion of 500.0 in x 0.935 * [taylor]: Taking taylor expansion of -500.0 in y 0.937 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y 0.938 * [taylor]: Taking taylor expansion of 500.0 in y 0.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.938 * [taylor]: Taking taylor expansion of y in y 0.942 * [taylor]: Taking taylor expansion of 0 in y 0.946 * [taylor]: Taking taylor expansion of 0 in y 0.952 * [taylor]: Taking taylor expansion of 0 in y 0.952 * * * [progress]: simplifying candidates 0.954 * [simplify]: Simplifying using # : (* (log (sqrt (cbrt 500.0))) 3) (* (log (sqrt (cbrt 500.0))) 3) (* 1/2 3) (* 1 3) (* (/ 1/3 2) 3) (* (/ 1 2) 3) (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (cbrt 500.0)) (sqrt 3)) (pow (sqrt (cbrt 500.0)) 1) (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3) (pow (cbrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt 1)) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt 1) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow 1 3) (pow (sqrt (cbrt 500.0)) 3) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3)) (exp (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt (pow (sqrt (cbrt 500.0)) 3)) (cbrt (pow (sqrt (cbrt 500.0)) 3))) (cbrt (pow (sqrt (cbrt 500.0)) 3)) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3) (pow (cbrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt 1)) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt 1) 3) (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow (sqrt (sqrt (cbrt 500.0))) 3) (pow 1 3) (pow (sqrt (cbrt 500.0)) 3) (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (/ 3 2) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) (/ 3 2)) (pow (sqrt (cbrt 500.0)) (/ 3 2)) (* (cbrt 500.0) (- x y)) (+ (log (cbrt 500.0)) (log (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* x (cbrt 500.0)) (* (- y) (cbrt 500.0)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (* (cbrt 500.0) 1) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (* (cbrt 500.0) 1) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (log (* (cbrt 500.0) (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (* (log (sqrt (cbrt 500.0))) 3)) (log (* (cbrt 500.0) (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (+ (log (sqrt (cbrt 500.0))) (log (pow (sqrt (cbrt 500.0)) 3))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (+ (log (cbrt 500.0)) (log (- x y)))) (+ (log (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (log (* (cbrt 500.0) (- x y)))) (log (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (exp (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* 500.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y))) (* (cbrt 500.0) (- x y)))) (* (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) x)) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) x)) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* x (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (- y) (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* x (cbrt 500.0))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (- y) (cbrt 500.0))) (* (* (cbrt 500.0) x) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) (- y)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) x) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (cbrt 500.0) (- y)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* x (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (- y) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* x (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (- y) (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (cbrt 500.0)) (* (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (- x y))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (pow x 3) (pow y 3)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- (* x x) (* y y)))) (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* x (cbrt 500.0)) (* y (cbrt 500.0))) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) (- (* 500.0 x) (* 500.0 y)) 0.961 * * [simplify]: iteration 0 : 394 enodes (cost 843 ) 0.970 * * [simplify]: iteration 1 : 2238 enodes (cost 656 ) 1.057 * * [simplify]: iteration 2 : 5001 enodes (cost 621 ) 1.060 * [simplify]: Simplified to: (log (pow (sqrt (cbrt 500.0)) 3)) (log (pow (sqrt (cbrt 500.0)) 3)) 3/2 3 1/2 3/2 (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (cbrt 500.0)) (sqrt 3)) (sqrt (cbrt 500.0)) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (fabs (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) 1 (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) (log (pow (sqrt (cbrt 500.0)) 3)) (exp (pow (sqrt (cbrt 500.0)) 3)) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (pow (sqrt (cbrt 500.0)) 3) 3) (cbrt 500.0) (sqrt (cbrt 500.0)) (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) (pow (sqrt (cbrt (sqrt 500.0))) 3) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (fabs (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt (cbrt 500.0))) 3) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) 1 (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) 1 (pow (sqrt (cbrt 500.0)) 3) (cbrt 500.0) 3/2 (sqrt (pow (sqrt (cbrt 500.0)) 3)) (sqrt (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3/2) (pow (sqrt (cbrt 500.0)) 3/2) (* (cbrt 500.0) (- x y)) (log (* (cbrt 500.0) (- x y))) (log (* (cbrt 500.0) (- x y))) (exp (* (cbrt 500.0) (- x y))) (* 500.0 (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y)))) (cbrt (* (cbrt 500.0) (- x y))) (pow (* (cbrt 500.0) (- x y)) 3) (sqrt (* (cbrt 500.0) (- x y))) (sqrt (* (cbrt 500.0) (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (cbrt (sqrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (sqrt (cbrt 500.0)) (sqrt (- x y))) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) x) (* (cbrt 500.0) (- y)) (* (cbrt 500.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 500.0) (sqrt (- x y))) (cbrt 500.0) (* (cbrt 500.0) (+ (sqrt x) (sqrt y))) (cbrt 500.0) (* (cbrt (cbrt 500.0)) (- x y)) (* (cbrt (sqrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt (cbrt 500.0)) (- x y)) (* (sqrt (cbrt 500.0)) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- (pow x 3) (pow y 3))) (* (cbrt 500.0) (- (* x x) (* y y))) (* (- x y) (pow (sqrt (cbrt 500.0)) 6)) (* (- x y) (pow (sqrt (cbrt 500.0)) 6)) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (cbrt 500.0) (- x y)))) (pow (exp (- x y)) (pow (sqrt (cbrt 500.0)) 6)) (* (* (pow (pow (sqrt (cbrt 500.0)) 4) 3) (pow (- x y) 3)) 500.0) (* (pow (pow (cbrt 500.0) 3) 3) (pow (- x y) 3)) (* (* (pow (pow (sqrt (cbrt 500.0)) 4) 3) (pow (- x y) 3)) 500.0) (* (pow (pow (cbrt 500.0) 3) 3) (pow (- x y) 3)) (* (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y))))) (cbrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (pow (pow (cbrt 500.0) 3) 3) (pow (- x y) 3)) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (sqrt (* (* (sqrt (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 3)) (* (cbrt 500.0) (- x y)))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (* (* (cbrt 500.0) x) (* (cbrt 500.0) (cbrt 500.0))) (- (* (* y (cbrt 500.0)) (pow (sqrt (cbrt 500.0)) 4))) (pow (cbrt 500.0) 3) (* (pow (sqrt (cbrt 500.0)) 3) (* (cbrt 500.0) (- x y))) (* (- (pow x 3) (pow y 3)) (pow (sqrt (cbrt 500.0)) 6)) (* (* (pow (sqrt (cbrt 500.0)) 6) (+ x y)) (- x y)) (* (- x y) (pow (sqrt (cbrt 500.0)) 6)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* (cbrt 500.0) (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) (* 500.0 (- x y)) 1.061 * * * [progress]: adding candidates to table 1.232 * [progress]: [Phase 3 of 3] Extracting. 1.232 * * [regime]: Finding splitpoints for: (# # #) 1.232 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x) 1.232 * * * * [regimes]: Trying to branch on (- x y) from (# # #) 1.247 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (# # #) 1.262 * * * * [regimes]: Trying to branch on y from (# # #) 1.276 * * * * [regimes]: Trying to branch on x from (# # #) 1.291 * * * [regime]: Found split indices: #