17.616 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.010 * [progress]: [Phase 2 of 3] Improving. 0.011 * [simplify]: Simplifying using # : (* 200.0 (- x y)) 0.013 * * [simplify]: iteration 0 : 8 enodes (cost 2 ) 0.014 * * [simplify]: iteration 1 : 15 enodes (cost 2 ) 0.015 * * [simplify]: iteration 2 : 23 enodes (cost 2 ) 0.017 * * [simplify]: iteration 3 : 31 enodes (cost 2 ) 0.018 * * [simplify]: iteration 4 : 33 enodes (cost 2 ) 0.019 * * [simplify]: iteration 5 : 33 enodes (cost 2 ) 0.020 * [simplify]: Simplified to: (* 200.0 (- x y)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.024 * * * [progress]: generating rewritten candidates 0.024 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.033 * * * [progress]: generating series expansions 0.033 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.033 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0 0.033 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y 0.033 * [taylor]: Taking taylor expansion of 200.0 in y 0.033 * [taylor]: Taking taylor expansion of (- x y) in y 0.033 * [taylor]: Taking taylor expansion of x in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.033 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x 0.033 * [taylor]: Taking taylor expansion of 200.0 in x 0.033 * [taylor]: Taking taylor expansion of (- x y) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.033 * [taylor]: Taking taylor expansion of y in x 0.033 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x 0.033 * [taylor]: Taking taylor expansion of 200.0 in x 0.033 * [taylor]: Taking taylor expansion of (- x y) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.033 * [taylor]: Taking taylor expansion of y in x 0.033 * [taylor]: Taking taylor expansion of (* -200.0 y) in y 0.033 * [taylor]: Taking taylor expansion of -200.0 in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of 200.0 in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [taylor]: Taking taylor expansion of 0 in y 0.042 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.042 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y 0.042 * [taylor]: Taking taylor expansion of 200.0 in y 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.042 * [taylor]: Taking taylor expansion of x in y 0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.042 * [taylor]: Taking taylor expansion of y in y 0.042 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x 0.042 * [taylor]: Taking taylor expansion of 200.0 in x 0.042 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.042 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x 0.043 * [taylor]: Taking taylor expansion of 200.0 in x 0.043 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.043 * [taylor]: Taking taylor expansion of x in x 0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.043 * [taylor]: Taking taylor expansion of y in x 0.044 * [taylor]: Taking taylor expansion of 200.0 in y 0.045 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y 0.045 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.045 * [taylor]: Taking taylor expansion of 200.0 in y 0.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.045 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.054 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y 0.054 * [taylor]: Taking taylor expansion of 200.0 in y 0.054 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.054 * [taylor]: Taking taylor expansion of x in y 0.054 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x 0.054 * [taylor]: Taking taylor expansion of 200.0 in x 0.054 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.055 * [taylor]: Taking taylor expansion of y in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x 0.055 * [taylor]: Taking taylor expansion of 200.0 in x 0.055 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.055 * [taylor]: Taking taylor expansion of y in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of -200.0 in y 0.057 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.057 * [taylor]: Taking taylor expansion of 200.0 in y 0.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.065 * * * [progress]: simplifying candidates 0.066 * [simplify]: Simplifying using # : (expm1 (* 200.0 (- x y))) (log1p (* 200.0 (- x y))) (* 200.0 (- x y)) (+ (log 200.0) (log (- x y))) (log (* 200.0 (- x y))) (exp (* 200.0 (- x y))) (* (* (* 200.0 200.0) 200.0) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (* (* (* 200.0 (- x y)) (* 200.0 (- x y))) (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 200.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* 200.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* 200.0 (fma (- y) 1 (* y 1))) (* 200.0 (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 200.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 200.0 (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* 200.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 200.0 (fma (sqrt x) (sqrt x) (- (* y 1)))) (* 200.0 (fma (- y) 1 (* y 1))) (* 200.0 (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* 200.0 (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* 200.0 (fma 1 x (- (* (sqrt y) (sqrt y))))) (* 200.0 (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* 200.0 (fma 1 x (- (* y 1)))) (* 200.0 (fma (- y) 1 (* y 1))) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 200.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 200.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) 200.0) (* (fma (- y) 1 (* y 1)) 200.0) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 200.0) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 200.0) (* (fma (sqrt x) (sqrt x) (- (* y 1))) 200.0) (* (fma (- y) 1 (* y 1)) 200.0) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) 200.0) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) 200.0) (* (fma 1 x (- (* y 1))) 200.0) (* (fma (- y) 1 (* y 1)) 200.0) (* x 200.0) (* (- y) 200.0) (* x 200.0) (* (- y) 200.0) (* 200.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 200.0 (sqrt (- x y))) (* 200.0 1) (* 200.0 (+ (sqrt x) (sqrt y))) (* 200.0 1) (* (cbrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* 200.0 (- x y)) (* 200.0 (- (pow x 3) (pow y 3))) (* 200.0 (- (* x x) (* y y))) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) 0.071 * * [simplify]: iteration 0 : 188 enodes (cost 356 ) 0.075 * * [simplify]: iteration 1 : 730 enodes (cost 220 ) 0.089 * * [simplify]: iteration 2 : 3302 enodes (cost 190 ) 0.150 * * [simplify]: iteration 3 : 5001 enodes (cost 166 ) 0.152 * [simplify]: Simplified to: (expm1 (* 200.0 (- x y))) (log1p (* 200.0 (- x y))) (* 200.0 (- x y)) (log (* 200.0 (- x y))) (log (* 200.0 (- x y))) (exp (* 200.0 (- x y))) (pow (* 200.0 (- x y)) 3) (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y))) (pow (* 200.0 (- x y)) 3) (sqrt (* 200.0 (- x y))) (sqrt (* 200.0 (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 (- x y)) (* 200.0 (- y y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 200.0 (sqrt (- x y))) 200.0 (* 200.0 (+ (sqrt x) (sqrt y))) 200.0 (* (cbrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* 200.0 (- x y)) (* 200.0 (- (pow x 3) (pow y 3))) (* 200.0 (- (* x x) (* y y))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) 0.152 * * * [progress]: adding candidates to table 0.183 * * [progress]: iteration 2 / 4 0.183 * * * [progress]: picking best candidate 0.187 * * * * [pick]: Picked # 0.188 * * * [progress]: localizing error 0.194 * * * [progress]: generating rewritten candidates 0.194 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.220 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.237 * * * [progress]: generating series expansions 0.238 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.239 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0 0.239 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y 0.239 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 0.239 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.239 * [taylor]: Taking taylor expansion of 200.0 in y 0.243 * [taylor]: Taking taylor expansion of (- x y) in y 0.244 * [taylor]: Taking taylor expansion of x in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x 0.244 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 0.244 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.244 * [taylor]: Taking taylor expansion of 200.0 in x 0.244 * [taylor]: Taking taylor expansion of (- x y) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of y in x 0.244 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x 0.244 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 0.244 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.244 * [taylor]: Taking taylor expansion of 200.0 in x 0.245 * [taylor]: Taking taylor expansion of (- x y) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (* -200.0 y) in y 0.248 * [taylor]: Taking taylor expansion of -200.0 in y 0.248 * [taylor]: Taking taylor expansion of y in y 0.251 * [taylor]: Taking taylor expansion of 200.0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.260 * [taylor]: Taking taylor expansion of 0 in y 0.261 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in (x y) around 0 0.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in y 0.261 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.261 * [taylor]: Taking taylor expansion of x in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.262 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 0.262 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.262 * [taylor]: Taking taylor expansion of 200.0 in y 0.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x 0.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.263 * [taylor]: Taking taylor expansion of y in x 0.263 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 0.263 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.263 * [taylor]: Taking taylor expansion of 200.0 in x 0.263 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x 0.263 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of 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 (pow (cbrt 200.0) 3) in x 0.264 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.264 * [taylor]: Taking taylor expansion of 200.0 in x 0.268 * [taylor]: Taking taylor expansion of 200.0 in y 0.270 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y 0.270 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.270 * [taylor]: Taking taylor expansion of 200.0 in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.275 * [taylor]: Taking taylor expansion of 0 in y 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.286 * [taylor]: Taking taylor expansion of 0 in y 0.287 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.287 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y 0.287 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y 0.287 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.287 * [taylor]: Taking taylor expansion of 200.0 in y 0.288 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.288 * [taylor]: Taking taylor expansion of x in y 0.288 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x 0.288 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 0.288 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.288 * [taylor]: Taking taylor expansion of 200.0 in x 0.289 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x 0.289 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x 0.289 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.289 * [taylor]: Taking taylor expansion of 200.0 in x 0.290 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.290 * [taylor]: Taking taylor expansion of y in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of -200.0 in y 0.297 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y 0.297 * [taylor]: Taking taylor expansion of 200.0 in y 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.306 * [taylor]: Taking taylor expansion of 0 in y 0.312 * [taylor]: Taking taylor expansion of 0 in y 0.312 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.312 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in (x y) around 0 0.312 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in y 0.312 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.312 * [taylor]: Taking taylor expansion of 200.0 in y 0.313 * [taylor]: Taking taylor expansion of (- x y) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x 0.313 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.313 * [taylor]: Taking taylor expansion of 200.0 in x 0.314 * [taylor]: Taking taylor expansion of (- x y) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of y in x 0.314 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x 0.314 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.314 * [taylor]: Taking taylor expansion of 200.0 in x 0.314 * [taylor]: Taking taylor expansion of (- x y) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of y in x 0.315 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 200.0))) in y 0.315 * [taylor]: Taking taylor expansion of -1 in y 0.315 * [taylor]: Taking taylor expansion of (* y (cbrt 200.0)) in y 0.315 * [taylor]: Taking taylor expansion of y in y 0.315 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.315 * [taylor]: Taking taylor expansion of 200.0 in y 0.322 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.322 * [taylor]: Taking taylor expansion of 200.0 in y 0.328 * [taylor]: Taking taylor expansion of 0 in y 0.332 * [taylor]: Taking taylor expansion of 0 in y 0.334 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in (x y) around 0 0.334 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in y 0.334 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.334 * [taylor]: Taking taylor expansion of 200.0 in y 0.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x 0.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.335 * [taylor]: Taking taylor expansion of y in x 0.335 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.335 * [taylor]: Taking taylor expansion of 200.0 in x 0.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 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.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 (cbrt 200.0) in x 0.336 * [taylor]: Taking taylor expansion of 200.0 in x 0.338 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.338 * [taylor]: Taking taylor expansion of 200.0 in y 0.340 * [taylor]: Taking taylor expansion of (- (/ (cbrt 200.0) y)) in y 0.340 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y 0.340 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.340 * [taylor]: Taking taylor expansion of 200.0 in y 0.340 * [taylor]: Taking taylor expansion of y in y 0.345 * [taylor]: Taking taylor expansion of 0 in y 0.348 * [taylor]: Taking taylor expansion of 0 in y 0.353 * [taylor]: Taking taylor expansion of 0 in y 0.355 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.355 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in y 0.355 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.355 * [taylor]: Taking taylor expansion of 200.0 in y 0.355 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.356 * [taylor]: Taking taylor expansion of x in y 0.356 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x 0.356 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.356 * [taylor]: Taking taylor expansion of 200.0 in x 0.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.357 * [taylor]: Taking taylor expansion of y in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x 0.357 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x 0.357 * [taylor]: Taking taylor expansion of 200.0 in x 0.358 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.358 * [taylor]: Taking taylor expansion of y in x 0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.359 * [taylor]: Taking taylor expansion of (* -1 (cbrt 200.0)) in y 0.359 * [taylor]: Taking taylor expansion of -1 in y 0.359 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.359 * [taylor]: Taking taylor expansion of 200.0 in y 0.361 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y 0.361 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y 0.361 * [taylor]: Taking taylor expansion of 200.0 in y 0.362 * [taylor]: Taking taylor expansion of y in y 0.366 * [taylor]: Taking taylor expansion of 0 in y 0.370 * [taylor]: Taking taylor expansion of 0 in y 0.375 * [taylor]: Taking taylor expansion of 0 in y 0.376 * * * [progress]: simplifying candidates 0.380 * [simplify]: Simplifying using # : (expm1 (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (log1p (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (+ (log (cbrt 200.0)) (log (- x y)))) (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (log (* (cbrt 200.0) (- x y)))) (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (log (cbrt 200.0)) (log (- x y)))) (+ (log (* (cbrt 200.0) (cbrt 200.0))) (log (* (cbrt 200.0) (- x y)))) (log (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (exp (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* 200.0 200.0) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 200.0 200.0) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* 200.0 200.0) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (* 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) 200.0) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) 200.0) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) 200.0) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* 200.0 (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))) (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y)))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma 1 x (- (* y 1))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (fma (- y) 1 (* y 1)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma 1 x (- (* y 1))) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- y) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- y) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma 1 x (- (* y 1)))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma 1 x (- (* y 1))) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (- y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (- y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) 1) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (sqrt (cbrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) 1)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (+ (sqrt x) (sqrt y)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) 1)) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 1)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) 1) (* (* (cbrt 200.0) (cbrt 200.0)) (- x y)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (sqrt (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (sqrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- (pow x 3) (pow y 3)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- (* x x) (* y y)))) (expm1 (* (cbrt 200.0) (- x y))) (log1p (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)) (+ (log (cbrt 200.0)) (log (- x y))) (log (* (cbrt 200.0) (- x y))) (exp (* (cbrt 200.0) (- x y))) (* 200.0 (* (* (- x y) (- x y)) (- x y))) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))) (cbrt (* (cbrt 200.0) (- x y))) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (cbrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (cbrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (cbrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (cbrt 200.0) (fma 1 x (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 (* y 1))) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (cbrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (cbrt 200.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (cbrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (cbrt 200.0)) (* (fma 1 x (- (* y 1))) (cbrt 200.0)) (* (fma (- y) 1 (* y 1)) (cbrt 200.0)) (* x (cbrt 200.0)) (* (- y) (cbrt 200.0)) (* x (cbrt 200.0)) (* (- y) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 200.0) (sqrt (- x y))) (* (cbrt 200.0) 1) (* (cbrt 200.0) (+ (sqrt x) (sqrt y))) (* (cbrt 200.0) 1) (* (cbrt (cbrt 200.0)) (- x y)) (* (cbrt (sqrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt (cbrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- (pow x 3) (pow y 3))) (* (cbrt 200.0) (- (* x x) (* y y))) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* 200.0 x) (* 200.0 y)) (- (* x (cbrt 200.0)) (* y (cbrt 200.0))) (- (* x (cbrt 200.0)) (* y (cbrt 200.0))) (- (* x (cbrt 200.0)) (* y (cbrt 200.0))) 0.392 * * [simplify]: iteration 0 : 834 enodes (cost 2645 ) 0.406 * * [simplify]: iteration 1 : 3876 enodes (cost 1720 ) 0.461 * * [simplify]: iteration 2 : 5002 enodes (cost 1569 ) 0.474 * [simplify]: Simplified to: (expm1 (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (log1p (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (fma 3 (log (cbrt 200.0)) (log (- x y))) (fma 3 (log (cbrt 200.0)) (log (- x y))) (fma 3 (log (cbrt 200.0)) (log (- x y))) (fma 3 (log (cbrt 200.0)) (log (- x y))) (fma 3 (log (cbrt 200.0)) (log (- x y))) (pow (exp (- x y)) (pow (cbrt 200.0) 3)) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (sqrt (* (cbrt 200.0) (- x y))) (fabs (cbrt 200.0))) (* (sqrt (* (cbrt 200.0) (- x y))) (fabs (cbrt 200.0))) (* (* (fabs (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (fabs (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (fabs (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (- x y))) (* (* (fabs (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y))) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 x) (* (- 200.0) y) (* 200.0 x) (* (- 200.0) y) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 x) (* (- 200.0) y) (* 200.0 x) (* (- 200.0) y) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 x) (* (- 200.0) y) (* 200.0 x) (* (- 200.0) y) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* (pow (cbrt 200.0) 3) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 (- x y)) (* (pow (cbrt 200.0) 3) (fma (- y) 1 y)) (* 200.0 x) (* (- 200.0) y) (* 200.0 x) (* (- 200.0) y) 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y))))) (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (* (cbrt 200.0) (- x y)))) (* (cbrt 200.0) (cbrt 200.0)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (sqrt 200.0)) (sqrt (- x y)))) (* (* (cbrt 200.0) (pow (sqrt (cbrt 200.0)) 3)) (sqrt (- x y))) (* (* (pow (cbrt 200.0) 3) (cbrt (- x y))) (cbrt (- x y))) (* (sqrt (- x y)) (pow (cbrt 200.0) 3)) 200.0 (* (pow (cbrt 200.0) 3) (+ (sqrt x) (sqrt y))) 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 1)) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (pow (sqrt (cbrt 200.0)) 3) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (fabs (cbrt 200.0)) (cbrt 200.0)) (- x y)) (* 200.0 (- x y)) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y))) (* 200.0 (- x y)) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* 200.0 (- x y)) (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (pow (sqrt (cbrt 200.0)) 3)) (- x y)) (* (* (cbrt (sqrt 200.0)) (pow (sqrt (cbrt 200.0)) 3)) (- x y)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (- x y) (pow (sqrt (cbrt 200.0)) 3)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (cbrt (sqrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* 200.0 (- x y)) (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y))) (* (* (pow (sqrt (cbrt 200.0)) 3) (cbrt 200.0)) (- x y)) (* 200.0 (- x y)) (* (cbrt 200.0) (* (cbrt 200.0) (- x y))) (* (pow (cbrt 200.0) 3) (- (pow x 3) (pow y 3))) (* (* (pow (cbrt 200.0) 3) (+ x y)) (- x y)) (expm1 (* (cbrt 200.0) (- x y))) (log1p (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)) (log (* (cbrt 200.0) (- x y))) (log (* (cbrt 200.0) (- x y))) (exp (* (cbrt 200.0) (- x y))) (pow (* (cbrt 200.0) (- x y)) 3) (pow (* (cbrt 200.0) (- x y)) 3) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))) (cbrt (* (cbrt 200.0) (- x y))) (pow (* (cbrt 200.0) (- x y)) 3) (sqrt (* (cbrt 200.0) (- x y))) (sqrt (* (cbrt 200.0) (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (fma (- y) 1 y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (cbrt 200.0) x) (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (cbrt 200.0) (sqrt (- x y))) (cbrt 200.0) (* (cbrt 200.0) (+ (sqrt x) (sqrt y))) (cbrt 200.0) (* (cbrt (cbrt 200.0)) (- x y)) (* (cbrt (sqrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt (cbrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- (pow x 3) (pow y 3))) (* (cbrt 200.0) (- (* x x) (* y y))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y)) 0.476 * * * [progress]: adding candidates to table 0.645 * * [progress]: iteration 3 / 4 0.646 * * * [progress]: picking best candidate 0.649 * * * * [pick]: Picked # 0.650 * * * [progress]: localizing error 0.663 * * * [progress]: generating rewritten candidates 0.663 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.673 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.680 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.693 * * * [progress]: generating series expansions 0.693 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.693 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.693 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.693 * * * [progress]: simplifying candidates 0.695 * [simplify]: Simplifying using # : (expm1 (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (log1p (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (+ 1/3 1/3) (+ 1 1) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (+ 1 1) (+ (log (cbrt (cbrt 200.0))) (log (cbrt (cbrt 200.0)))) (log (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (exp (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))) (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (cbrt 200.0)) (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))) (* (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (sqrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (sqrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt 1)) (cbrt (cbrt 1))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* 1 1) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* 2 1/3) (* 2 1) (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 1))) (* (cbrt (cbrt 200.0)) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt 200.0)) (cbrt 1)) (* (cbrt (cbrt 200.0)) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))) (* (cbrt (cbrt 200.0)) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt 200.0)) 1) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (expm1 (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log1p (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (exp (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt 1) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt 1) (cbrt 1))) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* 1 1)) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt (sqrt 200.0)))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 1))) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) (sqrt (cbrt 200.0)))) (cbrt (sqrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) 1)) (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) (cbrt (cbrt 1)) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt 200.0))) (cbrt 1) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (expm1 (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log1p (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (exp (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt 1) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt 1) (cbrt 1))) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* 1 1)) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt (sqrt 200.0)))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 1))) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) (sqrt (cbrt 200.0)))) (cbrt (sqrt (cbrt 200.0))) (cbrt (* (cbrt 200.0) 1)) (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) (cbrt (cbrt 1)) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt 200.0))) (cbrt 1) (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (expm1 (cbrt (cbrt 200.0))) (log1p (cbrt (cbrt 200.0))) (log (cbrt (cbrt 200.0))) (exp (cbrt (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt 1)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (cbrt 1) (cbrt (cbrt 200.0)) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y))) 0.702 * * [simplify]: iteration 0 : 160 enodes (cost 1154 ) 0.706 * * [simplify]: iteration 1 : 546 enodes (cost 1088 ) 0.719 * * [simplify]: iteration 2 : 2320 enodes (cost 985 ) 0.748 * * [simplify]: iteration 3 : 5002 enodes (cost 925 ) 0.754 * [simplify]: Simplified to: (expm1 (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log1p (cbrt (* (cbrt 200.0) (cbrt 200.0)))) 2/3 2 (* (cbrt 200.0) (cbrt 200.0)) (pow (sqrt (cbrt (cbrt 200.0))) 4) 2 (* 2 (log (cbrt (cbrt 200.0)))) (* 2 (log (cbrt (cbrt 200.0)))) (exp (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (cbrt 200.0) (cbrt 200.0)) (fabs (cbrt (cbrt 200.0))) (fabs (cbrt (cbrt 200.0))) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (pow (cbrt (cbrt (cbrt 200.0))) 4) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) 2/3 2 (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0)))) (cbrt (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0)))) (cbrt (cbrt 200.0)) (pow (cbrt (cbrt (cbrt 200.0))) 5) (pow (sqrt (cbrt (cbrt 200.0))) 3) (cbrt (cbrt 200.0)) (pow (cbrt (cbrt (cbrt 200.0))) 4) (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0)))) (pow (sqrt (cbrt (cbrt 200.0))) 4) (pow (cbrt (cbrt (cbrt 200.0))) 4) (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0)))) (pow (sqrt (cbrt (cbrt 200.0))) 4) (pow (cbrt (cbrt (cbrt 200.0))) 4) (pow (sqrt (cbrt (cbrt 200.0))) 3) (pow (sqrt (cbrt (cbrt 200.0))) 4) (expm1 (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log1p (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* 2 (log (cbrt (cbrt 200.0)))) (exp (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (sqrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt 200.0)) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (cbrt 200.0) (cbrt 200.0)) (fabs (cbrt (cbrt 200.0))) (fabs (cbrt (cbrt 200.0))) (expm1 (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (log1p (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* 2 (log (cbrt (cbrt 200.0)))) (exp (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0)))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (cbrt 200.0))) (sqrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0))) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt 200.0)) 1 (pow (sqrt (cbrt (cbrt 200.0))) 4) (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)) (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (cbrt 200.0) (cbrt 200.0)) (fabs (cbrt (cbrt 200.0))) (fabs (cbrt (cbrt 200.0))) (expm1 (cbrt (cbrt 200.0))) (log1p (cbrt (cbrt 200.0))) (log (cbrt (cbrt 200.0))) (exp (cbrt (cbrt 200.0))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))) 1 (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))) 1 (cbrt (cbrt 200.0)) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (cbrt (cbrt (cbrt 200.0))) (cbrt 200.0) (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))) (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y))) (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y))) (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y))) (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y))) 0.755 * * * [progress]: adding candidates to table 0.992 * * [progress]: iteration 4 / 4 0.992 * * * [progress]: picking best candidate 0.994 * * * * [pick]: Picked # 0.994 * * * [progress]: localizing error 1.000 * * * [progress]: generating rewritten candidates 1.000 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.019 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.034 * * * [progress]: generating series expansions 1.034 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.035 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0 1.035 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y 1.035 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.035 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.035 * [taylor]: Taking taylor expansion of 200.0 in y 1.035 * [taylor]: Taking taylor expansion of (- x y) in y 1.035 * [taylor]: Taking taylor expansion of x in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.036 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x 1.036 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.036 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.036 * [taylor]: Taking taylor expansion of 200.0 in x 1.036 * [taylor]: Taking taylor expansion of (- x y) in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.036 * [taylor]: Taking taylor expansion of y in x 1.036 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x 1.036 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.036 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.036 * [taylor]: Taking taylor expansion of 200.0 in x 1.037 * [taylor]: Taking taylor expansion of (- x y) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of y in x 1.039 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y 1.039 * [taylor]: Taking taylor expansion of -1 in y 1.039 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y 1.039 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.039 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.039 * [taylor]: Taking taylor expansion of 200.0 in y 1.040 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.043 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.043 * [taylor]: Taking taylor expansion of 200.0 in y 1.053 * [taylor]: Taking taylor expansion of 0 in y 1.059 * [taylor]: Taking taylor expansion of 0 in y 1.062 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in (x y) around 0 1.062 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in y 1.062 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.062 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.062 * [taylor]: Taking taylor expansion of x in y 1.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.062 * [taylor]: Taking taylor expansion of y in y 1.062 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.063 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.063 * [taylor]: Taking taylor expansion of 200.0 in y 1.063 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x 1.063 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.063 * [taylor]: Taking taylor expansion of x in x 1.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.064 * [taylor]: Taking taylor expansion of y in x 1.064 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.064 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.064 * [taylor]: Taking taylor expansion of 200.0 in x 1.064 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x 1.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.064 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.065 * [taylor]: Taking taylor expansion of y in x 1.065 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.065 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.065 * [taylor]: Taking taylor expansion of 200.0 in x 1.068 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.068 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.068 * [taylor]: Taking taylor expansion of 200.0 in y 1.070 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 200.0) 2) y)) in y 1.070 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y 1.070 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.070 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.070 * [taylor]: Taking taylor expansion of 200.0 in y 1.071 * [taylor]: Taking taylor expansion of y in y 1.085 * [taylor]: Taking taylor expansion of 0 in y 1.090 * [taylor]: Taking taylor expansion of 0 in y 1.096 * [taylor]: Taking taylor expansion of 0 in y 1.099 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.099 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y 1.099 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.099 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.099 * [taylor]: Taking taylor expansion of 200.0 in y 1.099 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.100 * [taylor]: Taking taylor expansion of y in y 1.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.100 * [taylor]: Taking taylor expansion of x in y 1.100 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.100 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.100 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.100 * [taylor]: Taking taylor expansion of 200.0 in x 1.101 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.101 * [taylor]: Taking taylor expansion of y in x 1.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.101 * [taylor]: Taking taylor expansion of x in x 1.101 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.101 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x 1.101 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.101 * [taylor]: Taking taylor expansion of 200.0 in x 1.102 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.102 * [taylor]: Taking taylor expansion of y in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.102 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y 1.104 * [taylor]: Taking taylor expansion of -1 in y 1.104 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.104 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.104 * [taylor]: Taking taylor expansion of 200.0 in y 1.107 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y 1.107 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y 1.107 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.107 * [taylor]: Taking taylor expansion of 200.0 in y 1.108 * [taylor]: Taking taylor expansion of y in y 1.116 * [taylor]: Taking taylor expansion of 0 in y 1.121 * [taylor]: Taking taylor expansion of 0 in y 1.129 * [taylor]: Taking taylor expansion of 0 in y 1.131 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.131 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in (x y) around 0 1.131 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in y 1.131 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.131 * [taylor]: Taking taylor expansion of 200.0 in y 1.132 * [taylor]: Taking taylor expansion of (- x y) in y 1.132 * [taylor]: Taking taylor expansion of x in y 1.132 * [taylor]: Taking taylor expansion of y in y 1.132 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x 1.132 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.132 * [taylor]: Taking taylor expansion of 200.0 in x 1.133 * [taylor]: Taking taylor expansion of (- x y) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.133 * [taylor]: Taking taylor expansion of y in x 1.133 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x 1.133 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.133 * [taylor]: Taking taylor expansion of 200.0 in x 1.133 * [taylor]: Taking taylor expansion of (- x y) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.134 * [taylor]: Taking taylor expansion of y in x 1.134 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200.0) y)) in y 1.134 * [taylor]: Taking taylor expansion of -1 in y 1.134 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y 1.134 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.134 * [taylor]: Taking taylor expansion of 200.0 in y 1.135 * [taylor]: Taking taylor expansion of y in y 1.136 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.136 * [taylor]: Taking taylor expansion of 200.0 in y 1.142 * [taylor]: Taking taylor expansion of 0 in y 1.146 * [taylor]: Taking taylor expansion of 0 in y 1.148 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in (x y) around 0 1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in y 1.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.148 * [taylor]: Taking taylor expansion of x in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.148 * [taylor]: Taking taylor expansion of y in y 1.148 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.148 * [taylor]: Taking taylor expansion of 200.0 in y 1.149 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x 1.149 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.149 * [taylor]: Taking taylor expansion of x in x 1.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.149 * [taylor]: Taking taylor expansion of y in x 1.149 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.149 * [taylor]: Taking taylor expansion of 200.0 in x 1.150 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x 1.150 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.150 * [taylor]: Taking taylor expansion of x in x 1.150 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.150 * [taylor]: Taking taylor expansion of y in x 1.150 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.150 * [taylor]: Taking taylor expansion of 200.0 in x 1.152 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.152 * [taylor]: Taking taylor expansion of 200.0 in y 1.159 * [taylor]: Taking taylor expansion of (- (/ (sqrt 200.0) y)) in y 1.159 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y 1.159 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.159 * [taylor]: Taking taylor expansion of 200.0 in y 1.159 * [taylor]: Taking taylor expansion of y in y 1.164 * [taylor]: Taking taylor expansion of 0 in y 1.167 * [taylor]: Taking taylor expansion of 0 in y 1.172 * [taylor]: Taking taylor expansion of 0 in y 1.173 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.173 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in y 1.173 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.173 * [taylor]: Taking taylor expansion of 200.0 in y 1.174 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.174 * [taylor]: Taking taylor expansion of y in y 1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.174 * [taylor]: Taking taylor expansion of x in y 1.174 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x 1.174 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.174 * [taylor]: Taking taylor expansion of 200.0 in x 1.175 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.175 * [taylor]: Taking taylor expansion of y in x 1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.175 * [taylor]: Taking taylor expansion of x in x 1.175 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x 1.175 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x 1.175 * [taylor]: Taking taylor expansion of 200.0 in x 1.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.176 * [taylor]: Taking taylor expansion of y in x 1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.176 * [taylor]: Taking taylor expansion of x in x 1.177 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200.0)) in y 1.177 * [taylor]: Taking taylor expansion of -1 in y 1.177 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.177 * [taylor]: Taking taylor expansion of 200.0 in y 1.179 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y 1.179 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y 1.179 * [taylor]: Taking taylor expansion of 200.0 in y 1.180 * [taylor]: Taking taylor expansion of y in y 1.184 * [taylor]: Taking taylor expansion of 0 in y 1.188 * [taylor]: Taking taylor expansion of 0 in y 1.193 * [taylor]: Taking taylor expansion of 0 in y 1.194 * * * [progress]: simplifying candidates 1.197 * [simplify]: Simplifying using # : (expm1 (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (log1p (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (+ (log (sqrt 200.0)) (+ (log (sqrt 200.0)) (log (- x y)))) (+ (log (sqrt 200.0)) (log (* (sqrt 200.0) (- x y)))) (log (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (exp (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y)))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)))) (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (* (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- y) 1 (* y 1)))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- y) 1 (* y 1)))) (* (sqrt 200.0) (* (sqrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y)))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma 1 x (- (* y 1))))) (* (sqrt 200.0) (* (sqrt 200.0) (fma (- y) 1 (* y 1)))) (* (sqrt 200.0) (* (sqrt 200.0) x)) (* (sqrt 200.0) (* (sqrt 200.0) (- y))) (* (sqrt 200.0) (* (sqrt 200.0) x)) (* (sqrt 200.0) (* (sqrt 200.0) (- y))) (* (sqrt 200.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- y) 1 (* y 1)) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- y) 1 (* y 1)) (sqrt 200.0))) (* (sqrt 200.0) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma 1 x (- (* y 1))) (sqrt 200.0))) (* (sqrt 200.0) (* (fma (- y) 1 (* y 1)) (sqrt 200.0))) (* (sqrt 200.0) (* x (sqrt 200.0))) (* (sqrt 200.0) (* (- y) (sqrt 200.0))) (* (sqrt 200.0) (* x (sqrt 200.0))) (* (sqrt 200.0) (* (- y) (sqrt 200.0))) (* (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma 1 x (- (* y 1)))) (sqrt 200.0)) (* (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (sqrt 200.0)) (* (* (sqrt 200.0) x) (sqrt 200.0)) (* (* (sqrt 200.0) (- y)) (sqrt 200.0)) (* (* (sqrt 200.0) x) (sqrt 200.0)) (* (* (sqrt 200.0) (- y)) (sqrt 200.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma 1 x (- (* y 1))) (sqrt 200.0)) (sqrt 200.0)) (* (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt 200.0)) (* (* (- y) (sqrt 200.0)) (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt 200.0)) (* (* (- y) (sqrt 200.0)) (sqrt 200.0)) (* (sqrt 200.0) (sqrt 200.0)) (* (sqrt 200.0) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))) (* (sqrt 200.0) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) 1) (* (sqrt 200.0) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt 200.0) (* (sqrt (sqrt 200.0)) (sqrt (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))) (* (sqrt 200.0) (* (sqrt 200.0) (sqrt (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) 1)) (* (sqrt 200.0) (* (sqrt 200.0) (+ (sqrt x) (sqrt y)))) (* (sqrt 200.0) (* (sqrt 200.0) 1)) (* (sqrt 200.0) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (* (sqrt 200.0) (sqrt (* (cbrt 200.0) (cbrt 200.0)))) (* (sqrt 200.0) (sqrt (sqrt 200.0))) (* (sqrt 200.0) (sqrt 1)) (* (sqrt 200.0) (sqrt (sqrt 200.0))) (* (sqrt 200.0) 1) (* (sqrt 200.0) (- x y)) (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- (pow x 3) (pow y 3)))) (* (sqrt 200.0) (* (sqrt 200.0) (- (* x x) (* y y)))) (expm1 (* (sqrt 200.0) (- x y))) (log1p (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)) (+ (log (sqrt 200.0)) (log (- x y))) (log (* (sqrt 200.0) (- x y))) (exp (* (sqrt 200.0) (- x y))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (- x y))) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 200.0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 200.0) (fma (sqrt x) (sqrt x) (- (* y 1)))) (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (* (sqrt 200.0) (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* (sqrt 200.0) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* (sqrt 200.0) (fma 1 x (- (* (sqrt y) (sqrt y))))) (* (sqrt 200.0) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* (sqrt 200.0) (fma 1 x (- (* y 1)))) (* (sqrt 200.0) (fma (- y) 1 (* y 1))) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) (sqrt 200.0)) (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (* (fma (sqrt x) (sqrt x) (- (* y 1))) (sqrt 200.0)) (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (sqrt 200.0)) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (sqrt 200.0)) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) (sqrt 200.0)) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (sqrt 200.0)) (* (fma 1 x (- (* y 1))) (sqrt 200.0)) (* (fma (- y) 1 (* y 1)) (sqrt 200.0)) (* x (sqrt 200.0)) (* (- y) (sqrt 200.0)) (* x (sqrt 200.0)) (* (- y) (sqrt 200.0)) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) 1) (* (sqrt 200.0) (+ (sqrt x) (sqrt y))) (* (sqrt 200.0) 1) (* (cbrt (sqrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- (pow x 3) (pow y 3))) (* (sqrt 200.0) (- (* x x) (* y y))) (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y)) (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y)) (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y)) (- (* x (sqrt 200.0)) (* (sqrt 200.0) y)) (- (* x (sqrt 200.0)) (* (sqrt 200.0) y)) (- (* x (sqrt 200.0)) (* (sqrt 200.0) y)) 1.205 * * [simplify]: iteration 0 : 385 enodes (cost 1302 ) 1.213 * * [simplify]: iteration 1 : 1598 enodes (cost 869 ) 1.240 * * [simplify]: iteration 2 : 5001 enodes (cost 810 ) 1.245 * [simplify]: Simplified to: (expm1 (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (log1p (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* 200.0 (- x y)) (* 200.0 (- x y)) (log (* 200.0 (- x y))) (log (* 200.0 (- x y))) (log (* 200.0 (- x y))) (pow (exp 200.0) (- x y)) (pow (* 200.0 (- x y)) 3) (pow (* 200.0 (- x y)) 3) (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (pow (* 200.0 (- x y)) 3) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* (sqrt 200.0) (sqrt (- x y))) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 (- x y)) (fma 200.0 (- y) (* y 200.0)) (* 200.0 x) (* 200.0 (- y)) (* 200.0 x) (* 200.0 (- y)) 200.0 (* (sqrt 200.0) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))) (* (sqrt 200.0) (sqrt (* (sqrt 200.0) (- x y)))) (sqrt 200.0) (* (pow (sqrt (sqrt 200.0)) 3) (sqrt (- x y))) (* (pow (sqrt (sqrt 200.0)) 3) (sqrt (- x y))) (* 200.0 (* (cbrt (- x y)) (cbrt (- x y)))) (* 200.0 (sqrt (- x y))) 200.0 (* 200.0 (+ (sqrt x) (sqrt y))) 200.0 (* (sqrt 200.0) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))) (* (fabs (cbrt 200.0)) (sqrt 200.0)) (pow (sqrt (sqrt 200.0)) 3) (sqrt 200.0) (pow (sqrt (sqrt 200.0)) 3) (sqrt 200.0) (* (sqrt 200.0) (- x y)) (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y))) (* (pow (sqrt (sqrt 200.0)) 3) (- x y)) (* 200.0 (- x y)) (* (pow (sqrt (sqrt 200.0)) 3) (- x y)) (* 200.0 (- x y)) (* 200.0 (- (pow x 3) (pow y 3))) (* 200.0 (- (* x x) (* y y))) (expm1 (* (sqrt 200.0) (- x y))) (log1p (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)) (log (* (sqrt 200.0) (- x y))) (log (* (sqrt 200.0) (- x y))) (exp (* (sqrt 200.0) (- x y))) (pow (* (sqrt 200.0) (- x y)) 3) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (- x y))) (pow (* (sqrt 200.0) (- x y)) 3) (sqrt (* (sqrt 200.0) (- x y))) (sqrt (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt (sqrt 200.0)) (sqrt (- x y))) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (+ (* 1 (pow (cbrt x) 3)) (- y))) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (fma (- y) 1 y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (sqrt 200.0) x) (* (sqrt 200.0) (- y)) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))) (* (sqrt 200.0) (sqrt (- x y))) (sqrt 200.0) (* (sqrt 200.0) (+ (sqrt x) (sqrt y))) (sqrt 200.0) (* (cbrt (sqrt 200.0)) (- x y)) (* (sqrt (cbrt 200.0)) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt (sqrt 200.0)) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- (pow x 3) (pow y 3))) (* (sqrt 200.0) (- (* x x) (* y y))) (* 200.0 (- x y)) (* 200.0 (- x y)) (* 200.0 (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y)) 1.246 * * * [progress]: adding candidates to table 1.347 * [progress]: [Phase 3 of 3] Extracting. 1.347 * * [regime]: Finding splitpoints for: (# # # #) 1.347 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 200.0 (- x y)) y x) 1.347 * * * * [regimes]: Trying to branch on (- x y) from (# # # #) 1.365 * * * * [regimes]: Trying to branch on (* 200.0 (- x y)) from (# # # #) 1.379 * * * * [regimes]: Trying to branch on y from (# # # #) 1.396 * * * * [regimes]: Trying to branch on x from (# # # #) 1.411 * * * [regime]: Found split indices: #