17.506 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.114 * * * [progress]: [2/2] Setting up program. 0.115 * [progress]: [Phase 2 of 3] Improving. 0.115 * [simplify]: Simplifying using # : (*.f64 200 (-.f64 x y)) 0.133 * * [simplify]: iteration 0 : 157 enodes (cost 7 ) 0.133 * * [simplify]: iteration 1 : 157 enodes (cost 7 ) 0.133 * [simplify]: Simplified to: (*.f64 200 (-.f64 x y)) 0.133 * * [progress]: iteration 1 / 4 0.133 * * * [progress]: picking best candidate 0.134 * * * * [pick]: Picked # 0.134 * * * [progress]: localizing error 0.138 * * * [progress]: generating rewritten candidates 0.138 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.145 * * * [progress]: generating series expansions 0.145 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.145 * [approximate]: Taking taylor expansion of (* 200 (- x y)) in (x y) around 0 0.145 * [taylor]: Taking taylor expansion of (* 200 (- x y)) in y 0.145 * [taylor]: Taking taylor expansion of 200 in y 0.145 * [taylor]: Taking taylor expansion of (- x y) in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (* 200 (- x y)) in x 0.145 * [taylor]: Taking taylor expansion of 200 in x 0.145 * [taylor]: Taking taylor expansion of (- x y) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of (* 200 (- x y)) in x 0.145 * [taylor]: Taking taylor expansion of 200 in x 0.145 * [taylor]: Taking taylor expansion of (- x y) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (* -200 y) in y 0.146 * [taylor]: Taking taylor expansion of -200 in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of 200 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [approximate]: Taking taylor expansion of (* 200 (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.148 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 x) (/ 1 y))) in y 0.148 * [taylor]: Taking taylor expansion of 200 in y 0.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 x) (/ 1 y))) in x 0.148 * [taylor]: Taking taylor expansion of 200 in x 0.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 x) (/ 1 y))) in x 0.149 * [taylor]: Taking taylor expansion of 200 in x 0.149 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of 200 in y 0.150 * [taylor]: Taking taylor expansion of (neg (* 200 (/ 1 y))) in y 0.150 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.150 * [taylor]: Taking taylor expansion of 200 in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.150 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.156 * [approximate]: Taking taylor expansion of (* 200 (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.156 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 y) (/ 1 x))) in y 0.156 * [taylor]: Taking taylor expansion of 200 in y 0.156 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 y) (/ 1 x))) in x 0.156 * [taylor]: Taking taylor expansion of 200 in x 0.156 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (* 200 (- (/ 1 y) (/ 1 x))) in x 0.156 * [taylor]: Taking taylor expansion of 200 in x 0.156 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of -200 in y 0.157 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.157 * [taylor]: Taking taylor expansion of 200 in y 0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.163 * * * [progress]: simplifying candidates 0.163 * [simplify]: Simplifying using # : (*.f64 200 (-.f64 x y)) (+.f64 (log.f64 200) (log.f64 (-.f64 x y))) (exp.f64 (*.f64 200 (-.f64 x y))) (log.f64 (*.f64 200 (-.f64 x y))) (*.f64 (*.f64 (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y))) (*.f64 200 (-.f64 x y))) (*.f64 (cbrt.f64 (*.f64 200 (-.f64 x y))) (cbrt.f64 (*.f64 200 (-.f64 x y)))) (cbrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 (*.f64 (*.f64 200 200) 200) (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 (sqrt.f64 200) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 200) (sqrt.f64 (-.f64 x y))) (*.f64 x 200) (*.f64 (neg.f64 y) 200) (*.f64 200 x) (*.f64 200 (neg.f64 y)) (*.f64 200 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (cbrt.f64 200) (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 200 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))) (*.f64 200 (sqrt.f64 (-.f64 x y))) (*.f64 200 1) (*.f64 200 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) (*.f64 200 1) (-.f64 (*.f64 200 x) (*.f64 200 y)) (-.f64 (*.f64 200 x) (*.f64 200 y)) (-.f64 (*.f64 200 x) (*.f64 200 y)) 0.230 * * [simplify]: iteration 0 : 5003 enodes (cost 250 ) 0.232 * [simplify]: Simplified to: (*.f64 200 (-.f64 x y)) (log.f64 (*.f64 200 (-.f64 x y))) (exp.f64 (*.f64 200 (-.f64 x y))) (log.f64 (*.f64 200 (-.f64 x y))) (*.f64 -8000000 (pow.f64 (-.f64 y x) 3)) (*.f64 (cbrt.f64 (*.f64 200 (-.f64 x y))) (cbrt.f64 (*.f64 200 (-.f64 x y)))) (cbrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 -8000000 (pow.f64 (-.f64 y x) 3)) (sqrt.f64 (*.f64 200 (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 (sqrt.f64 200) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 200) (sqrt.f64 (-.f64 x y))) (*.f64 200 x) (*.f64 y -200) (*.f64 200 x) (*.f64 y -200) (*.f64 200 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (-.f64 x y) (cbrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200)) (*.f64 200 (-.f64 x y)) (*.f64 200 (*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))) (*.f64 200 (sqrt.f64 (-.f64 x y))) 200 (*.f64 200 (+.f64 (sqrt.f64 x) (sqrt.f64 y))) 200 (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) 0.232 * * * [progress]: adding candidates to table 0.247 * * [progress]: iteration 2 / 4 0.247 * * * [progress]: picking best candidate 0.250 * * * * [pick]: Picked # 0.250 * * * [progress]: localizing error 0.255 * * * [progress]: generating rewritten candidates 0.255 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.259 * * * [progress]: generating series expansions 0.259 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.259 * [approximate]: Taking taylor expansion of (- (* 200 x) (* 200 y)) in (x y) around 0 0.260 * [taylor]: Taking taylor expansion of (- (* 200 x) (* 200 y)) in y 0.260 * [taylor]: Taking taylor expansion of (* 200 x) in y 0.260 * [taylor]: Taking taylor expansion of 200 in y 0.260 * [taylor]: Taking taylor expansion of x in y 0.260 * [taylor]: Taking taylor expansion of (* 200 y) in y 0.260 * [taylor]: Taking taylor expansion of 200 in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of (- (* 200 x) (* 200 y)) in x 0.260 * [taylor]: Taking taylor expansion of (* 200 x) in x 0.260 * [taylor]: Taking taylor expansion of 200 in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of (* 200 y) in x 0.260 * [taylor]: Taking taylor expansion of 200 in x 0.260 * [taylor]: Taking taylor expansion of y in x 0.260 * [taylor]: Taking taylor expansion of (- (* 200 x) (* 200 y)) in x 0.260 * [taylor]: Taking taylor expansion of (* 200 x) in x 0.260 * [taylor]: Taking taylor expansion of 200 in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of (* 200 y) in x 0.260 * [taylor]: Taking taylor expansion of 200 in x 0.260 * [taylor]: Taking taylor expansion of y in x 0.260 * [taylor]: Taking taylor expansion of (neg (* 200 y)) in y 0.260 * [taylor]: Taking taylor expansion of (* 200 y) in y 0.260 * [taylor]: Taking taylor expansion of 200 in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of 200 in y 0.262 * [taylor]: Taking taylor expansion of 0 in y 0.263 * [taylor]: Taking taylor expansion of 0 in y 0.264 * [approximate]: Taking taylor expansion of (- (* 200 (/ 1 x)) (* 200 (/ 1 y))) in (x y) around 0 0.264 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 x)) (* 200 (/ 1 y))) in y 0.264 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in y 0.264 * [taylor]: Taking taylor expansion of 200 in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.264 * [taylor]: Taking taylor expansion of 200 in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 x)) (* 200 (/ 1 y))) in x 0.265 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of 200 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in x 0.265 * [taylor]: Taking taylor expansion of 200 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 x)) (* 200 (/ 1 y))) in x 0.265 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of 200 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in x 0.265 * [taylor]: Taking taylor expansion of 200 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of 200 in y 0.266 * [taylor]: Taking taylor expansion of (neg (* 200 (/ 1 y))) in y 0.266 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.266 * [taylor]: Taking taylor expansion of 200 in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.273 * [taylor]: Taking taylor expansion of 0 in y 0.274 * [approximate]: Taking taylor expansion of (- (* 200 (/ 1 y)) (* 200 (/ 1 x))) in (x y) around 0 0.274 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 y)) (* 200 (/ 1 x))) in y 0.274 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.274 * [taylor]: Taking taylor expansion of 200 in y 0.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.274 * [taylor]: Taking taylor expansion of y in y 0.274 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in y 0.274 * [taylor]: Taking taylor expansion of 200 in y 0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.274 * [taylor]: Taking taylor expansion of x in y 0.274 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 y)) (* 200 (/ 1 x))) in x 0.274 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in x 0.274 * [taylor]: Taking taylor expansion of 200 in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.275 * [taylor]: Taking taylor expansion of y in x 0.275 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in x 0.275 * [taylor]: Taking taylor expansion of 200 in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of (- (* 200 (/ 1 y)) (* 200 (/ 1 x))) in x 0.275 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in x 0.275 * [taylor]: Taking taylor expansion of 200 in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.275 * [taylor]: Taking taylor expansion of y in x 0.275 * [taylor]: Taking taylor expansion of (* 200 (/ 1 x)) in x 0.275 * [taylor]: Taking taylor expansion of 200 in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of -200 in y 0.276 * [taylor]: Taking taylor expansion of (* 200 (/ 1 y)) in y 0.276 * [taylor]: Taking taylor expansion of 200 in y 0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.276 * [taylor]: Taking taylor expansion of y in y 0.278 * [taylor]: Taking taylor expansion of 0 in y 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.282 * [taylor]: Taking taylor expansion of 0 in y 0.283 * * * [progress]: simplifying candidates 0.283 * [simplify]: Simplifying using # : (*.f64 (exp.f64 (*.f64 200 x)) (exp.f64 (*.f64 y -200))) (exp.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (log.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (*.f64 (*.f64 (+.f64 (*.f64 200 x) (*.f64 y -200)) (+.f64 (*.f64 200 x) (*.f64 y -200))) (+.f64 (*.f64 200 x) (*.f64 y -200))) (*.f64 (cbrt.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (cbrt.f64 (+.f64 (*.f64 200 x) (*.f64 y -200)))) (cbrt.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (sqrt.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (sqrt.f64 (+.f64 (*.f64 200 x) (*.f64 y -200))) (+.f64 (pow.f64 (*.f64 200 x) 3) (pow.f64 (*.f64 y -200) 3)) (+.f64 (*.f64 (*.f64 200 x) (*.f64 200 x)) (-.f64 (*.f64 (*.f64 y -200) (*.f64 y -200)) (*.f64 (*.f64 200 x) (*.f64 y -200)))) (-.f64 (*.f64 (*.f64 200 x) (*.f64 200 x)) (*.f64 (*.f64 y -200) (*.f64 y -200))) (-.f64 (*.f64 200 x) (*.f64 y -200)) (-.f64 (*.f64 200 x) (*.f64 200 y)) (-.f64 (*.f64 200 x) (*.f64 200 y)) (-.f64 (*.f64 200 x) (*.f64 200 y)) 0.376 * * [simplify]: iteration 0 : 4858 enodes (cost 157 ) 0.377 * * [simplify]: iteration 1 : 4858 enodes (cost 157 ) 0.378 * [simplify]: Simplified to: (pow.f64 (exp.f64 200) (-.f64 x y)) (pow.f64 (exp.f64 200) (-.f64 x y)) (log.f64 (*.f64 200 (-.f64 x y))) (*.f64 8000000 (pow.f64 (-.f64 x y) 3)) (*.f64 (cbrt.f64 (*.f64 200 (-.f64 x y))) (cbrt.f64 (*.f64 200 (-.f64 x y)))) (cbrt.f64 (*.f64 200 (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 8000000 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (+.f64 (*.f64 x (*.f64 x 40000)) (*.f64 (*.f64 y 40000) (+.f64 x y))) (*.f64 40000 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 200 (+.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) 0.378 * * * [progress]: adding candidates to table 0.387 * * [progress]: iteration 3 / 4 0.387 * * * [progress]: picking best candidate 0.389 * * * * [pick]: Picked # 0.389 * * * [progress]: localizing error 0.395 * * * [progress]: generating rewritten candidates 0.395 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.405 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.414 * * * [progress]: generating series expansions 0.414 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.415 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- x y)) in (x y) around 0 0.415 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- x y)) in y 0.415 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.415 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.415 * [taylor]: Taking taylor expansion of 200 in y 0.415 * [taylor]: Taking taylor expansion of (- x y) in y 0.415 * [taylor]: Taking taylor expansion of x in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- x y)) in x 0.415 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.415 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.415 * [taylor]: Taking taylor expansion of 200 in x 0.415 * [taylor]: Taking taylor expansion of (- x y) in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of y in x 0.415 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- x y)) in x 0.415 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.415 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.415 * [taylor]: Taking taylor expansion of 200 in x 0.416 * [taylor]: Taking taylor expansion of (- x y) in x 0.416 * [taylor]: Taking taylor expansion of x in x 0.416 * [taylor]: Taking taylor expansion of y in x 0.416 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200) 2) y)) in y 0.417 * [taylor]: Taking taylor expansion of -1 in y 0.417 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) y) in y 0.417 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.417 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.417 * [taylor]: Taking taylor expansion of 200 in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.418 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.418 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.418 * [taylor]: Taking taylor expansion of 200 in y 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.426 * [taylor]: Taking taylor expansion of 0 in y 0.429 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200) 2)) in (x y) around 0 0.429 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200) 2)) in y 0.429 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.429 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.429 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.429 * [taylor]: Taking taylor expansion of 200 in y 0.429 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200) 2)) in x 0.429 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.429 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.430 * [taylor]: Taking taylor expansion of 200 in x 0.430 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200) 2)) in x 0.430 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.430 * [taylor]: Taking taylor expansion of y in x 0.430 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.430 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.430 * [taylor]: Taking taylor expansion of 200 in x 0.431 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.431 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.431 * [taylor]: Taking taylor expansion of 200 in y 0.433 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt 200) 2) y)) in y 0.433 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200) 2) y) in y 0.433 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.433 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.433 * [taylor]: Taking taylor expansion of 200 in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of 0 in y 0.440 * [taylor]: Taking taylor expansion of 0 in y 0.446 * [taylor]: Taking taylor expansion of 0 in y 0.448 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.448 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- (/ 1 y) (/ 1 x))) in y 0.448 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.448 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.448 * [taylor]: Taking taylor expansion of 200 in y 0.449 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.449 * [taylor]: Taking taylor expansion of y in y 0.449 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.449 * [taylor]: Taking taylor expansion of x in y 0.449 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- (/ 1 y) (/ 1 x))) in x 0.449 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.449 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.449 * [taylor]: Taking taylor expansion of 200 in x 0.449 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.449 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.449 * [taylor]: Taking taylor expansion of y in x 0.449 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.449 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200) 2) (- (/ 1 y) (/ 1 x))) in x 0.449 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in x 0.449 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.449 * [taylor]: Taking taylor expansion of 200 in x 0.450 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.450 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.450 * [taylor]: Taking taylor expansion of y in x 0.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.450 * [taylor]: Taking taylor expansion of x in x 0.451 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200) 2)) in y 0.451 * [taylor]: Taking taylor expansion of -1 in y 0.451 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.451 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.451 * [taylor]: Taking taylor expansion of 200 in y 0.452 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200) 2) y) in y 0.452 * [taylor]: Taking taylor expansion of (pow (sqrt 200) 2) in y 0.452 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.452 * [taylor]: Taking taylor expansion of 200 in y 0.452 * [taylor]: Taking taylor expansion of y in y 0.456 * [taylor]: Taking taylor expansion of 0 in y 0.460 * [taylor]: Taking taylor expansion of 0 in y 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.467 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.468 * [approximate]: Taking taylor expansion of (* (sqrt 200) (- x y)) in (x y) around 0 0.468 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in y 0.468 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.468 * [taylor]: Taking taylor expansion of 200 in y 0.468 * [taylor]: Taking taylor expansion of (- x y) in y 0.468 * [taylor]: Taking taylor expansion of x in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in x 0.468 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.468 * [taylor]: Taking taylor expansion of 200 in x 0.468 * [taylor]: Taking taylor expansion of (- x y) in x 0.468 * [taylor]: Taking taylor expansion of x in x 0.468 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in x 0.468 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.468 * [taylor]: Taking taylor expansion of 200 in x 0.469 * [taylor]: Taking taylor expansion of (- x y) in x 0.469 * [taylor]: Taking taylor expansion of x in x 0.469 * [taylor]: Taking taylor expansion of y in x 0.469 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200) y)) in y 0.469 * [taylor]: Taking taylor expansion of -1 in y 0.469 * [taylor]: Taking taylor expansion of (* (sqrt 200) y) in y 0.469 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.469 * [taylor]: Taking taylor expansion of 200 in y 0.469 * [taylor]: Taking taylor expansion of y in y 0.470 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.470 * [taylor]: Taking taylor expansion of 200 in y 0.472 * [taylor]: Taking taylor expansion of 0 in y 0.474 * [taylor]: Taking taylor expansion of 0 in y 0.476 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200)) in (x y) around 0 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200)) in y 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.476 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.476 * [taylor]: Taking taylor expansion of x in y 0.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.476 * [taylor]: Taking taylor expansion of y in y 0.476 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.476 * [taylor]: Taking taylor expansion of 200 in y 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200)) in x 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.476 * [taylor]: Taking taylor expansion of x in x 0.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.476 * [taylor]: Taking taylor expansion of y in x 0.476 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.476 * [taylor]: Taking taylor expansion of 200 in x 0.477 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200)) in x 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.477 * [taylor]: Taking taylor expansion of 200 in x 0.478 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.478 * [taylor]: Taking taylor expansion of 200 in y 0.479 * [taylor]: Taking taylor expansion of (neg (/ (sqrt 200) y)) in y 0.479 * [taylor]: Taking taylor expansion of (/ (sqrt 200) y) in y 0.479 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.479 * [taylor]: Taking taylor expansion of 200 in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.481 * [taylor]: Taking taylor expansion of 0 in y 0.484 * [taylor]: Taking taylor expansion of 0 in y 0.487 * [taylor]: Taking taylor expansion of 0 in y 0.489 * [approximate]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.489 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in y 0.489 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.489 * [taylor]: Taking taylor expansion of 200 in y 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.489 * [taylor]: Taking taylor expansion of y in y 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.489 * [taylor]: Taking taylor expansion of x in y 0.490 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in x 0.490 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.490 * [taylor]: Taking taylor expansion of 200 in x 0.490 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.490 * [taylor]: Taking taylor expansion of y in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in x 0.490 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.490 * [taylor]: Taking taylor expansion of 200 in x 0.490 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.490 * [taylor]: Taking taylor expansion of y in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200)) in y 0.491 * [taylor]: Taking taylor expansion of -1 in y 0.491 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.491 * [taylor]: Taking taylor expansion of 200 in y 0.492 * [taylor]: Taking taylor expansion of (/ (sqrt 200) y) in y 0.492 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.492 * [taylor]: Taking taylor expansion of 200 in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.494 * [taylor]: Taking taylor expansion of 0 in y 0.497 * [taylor]: Taking taylor expansion of 0 in y 0.501 * [taylor]: Taking taylor expansion of 0 in y 0.502 * * * [progress]: simplifying candidates 0.502 * [simplify]: Simplifying using # : (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))) (+.f64 (log.f64 (sqrt.f64 200)) (+.f64 (log.f64 (-.f64 x y)) (log.f64 (sqrt.f64 200)))) (+.f64 (log.f64 (sqrt.f64 200)) (log.f64 (*.f64 (-.f64 x y) (sqrt.f64 200)))) (exp.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (log.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))))) (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y)) (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)))) (sqrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (sqrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (sqrt.f64 200))) (*.f64 (cbrt.f64 (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (-.f64 x y) (sqrt.f64 200)) (+.f64 (log.f64 (-.f64 x y)) (log.f64 (sqrt.f64 200))) (exp.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (log.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (cbrt.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (cbrt.f64 (*.f64 (-.f64 x y) (sqrt.f64 200)))) (cbrt.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y)) (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200))) (sqrt.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (sqrt.f64 (*.f64 (-.f64 x y) (sqrt.f64 200))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (sqrt.f64 200))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (sqrt.f64 200))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (sqrt.f64 200))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (sqrt.f64 200))) (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (sqrt.f64 200)) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (sqrt.f64 200)) (*.f64 (cbrt.f64 (-.f64 x y)) (sqrt.f64 200)) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200)) (*.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (sqrt.f64 200)) (*.f64 (-.f64 x y) (sqrt.f64 200)) (*.f64 (-.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 200)) (cbrt.f64 (sqrt.f64 200)))) (*.f64 (-.f64 x y) (sqrt.f64 (sqrt.f64 200))) (*.f64 (-.f64 x y) (sqrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)))) (*.f64 (-.f64 x y) (sqrt.f64 (sqrt.f64 200))) (*.f64 (-.f64 x y) (sqrt.f64 1)) (*.f64 (-.f64 x y) 1) (-.f64 (*.f64 x (pow.f64 (sqrt.f64 200) 2)) (*.f64 (pow.f64 (sqrt.f64 200) 2) y)) (-.f64 (*.f64 x (pow.f64 (sqrt.f64 200) 2)) (*.f64 (pow.f64 (sqrt.f64 200) 2) y)) (-.f64 (*.f64 x (pow.f64 (sqrt.f64 200) 2)) (*.f64 (pow.f64 (sqrt.f64 200) 2) y)) (-.f64 (*.f64 x (sqrt.f64 200)) (*.f64 (sqrt.f64 200) y)) (-.f64 (*.f64 x (sqrt.f64 200)) (*.f64 (sqrt.f64 200) y)) (-.f64 (*.f64 x (sqrt.f64 200)) (*.f64 (sqrt.f64 200) y)) 0.556 * * [simplify]: iteration 0 : 5118 enodes (cost 597 ) 0.560 * [simplify]: Simplified to: (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (log.f64 (*.f64 200 (-.f64 x y))) (log.f64 (*.f64 200 (-.f64 x y))) (exp.f64 (*.f64 200 (-.f64 x y))) (log.f64 (*.f64 200 (-.f64 x y))) (pow.f64 (*.f64 200 (-.f64 x y)) 3) (*.f64 (cbrt.f64 (*.f64 200 (-.f64 x y))) (cbrt.f64 (*.f64 200 (-.f64 x y)))) (cbrt.f64 (*.f64 200 (-.f64 x y))) (pow.f64 (*.f64 200 (-.f64 x y)) 3) (pow.f64 (*.f64 200 (-.f64 x y)) 3) (sqrt.f64 (*.f64 200 (-.f64 x y))) (sqrt.f64 (*.f64 200 (-.f64 x y))) (*.f64 200 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 200 (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (*.f64 (sqrt.f64 200) (-.f64 x y)) (cbrt.f64 (sqrt.f64 200))) (*.f64 (-.f64 x y) (pow.f64 (sqrt.f64 200) 3/2)) (*.f64 (*.f64 (sqrt.f64 200) (-.f64 x y)) (sqrt.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (pow.f64 (sqrt.f64 200) 3/2)) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) (log.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (exp.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (log.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (pow.f64 (*.f64 (sqrt.f64 200) (-.f64 x y)) 3) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (cbrt.f64 (*.f64 (sqrt.f64 200) (-.f64 x y)))) (cbrt.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (pow.f64 (*.f64 (sqrt.f64 200) (-.f64 x y)) 3) (sqrt.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (sqrt.f64 (*.f64 (sqrt.f64 200) (-.f64 x y))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 200) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (sqrt.f64 200) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (sqrt.f64 200) (cbrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 200) (sqrt.f64 (-.f64 x y))) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 (sqrt.f64 x) (sqrt.f64 y))) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (-.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 200)) (cbrt.f64 (sqrt.f64 200)))) (*.f64 (-.f64 x y) (sqrt.f64 (sqrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (sqrt.f64 (sqrt.f64 200))) (-.f64 x y) (-.f64 x y) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 200 (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) (*.f64 (sqrt.f64 200) (-.f64 x y)) 0.560 * * * [progress]: adding candidates to table 0.588 * * [progress]: iteration 4 / 4 0.588 * * * [progress]: picking best candidate 0.590 * * * * [pick]: Picked # 0.590 * * * [progress]: localizing error 0.599 * * * [progress]: generating rewritten candidates 0.599 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.610 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.623 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.635 * * * [progress]: generating series expansions 0.635 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.636 * [approximate]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- x y)) (sqrt (cbrt 200))) in (x y) around 0 0.636 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- x y)) (sqrt (cbrt 200))) in y 0.636 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in y 0.636 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.636 * [taylor]: Taking taylor expansion of (- x y) in y 0.636 * [taylor]: Taking taylor expansion of x in y 0.636 * [taylor]: Taking taylor expansion of y in y 0.636 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.636 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.636 * [taylor]: Taking taylor expansion of 200 in y 0.637 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- x y)) (sqrt (cbrt 200))) in x 0.637 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in x 0.637 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.637 * [taylor]: Taking taylor expansion of (- x y) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of y in x 0.637 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.637 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.637 * [taylor]: Taking taylor expansion of 200 in x 0.638 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- x y)) (sqrt (cbrt 200))) in x 0.638 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in x 0.638 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.638 * [taylor]: Taking taylor expansion of (- x y) in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of y in x 0.638 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.638 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.638 * [taylor]: Taking taylor expansion of 200 in x 0.640 * [taylor]: Taking taylor expansion of (* -1 (* (* (fabs (cbrt 200)) y) (sqrt (cbrt 200)))) in y 0.640 * [taylor]: Taking taylor expansion of -1 in y 0.640 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) y) (sqrt (cbrt 200))) in y 0.640 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) y) in y 0.640 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.640 * [taylor]: Taking taylor expansion of y in y 0.640 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.640 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.640 * [taylor]: Taking taylor expansion of 200 in y 0.642 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt (cbrt 200))) in y 0.642 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.642 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.642 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.642 * [taylor]: Taking taylor expansion of 200 in y 0.647 * [taylor]: Taking taylor expansion of 0 in y 0.653 * [taylor]: Taking taylor expansion of 0 in y 0.657 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) (sqrt (cbrt 200))) in (x y) around 0 0.657 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) (sqrt (cbrt 200))) in y 0.657 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in y 0.657 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.657 * [taylor]: Taking taylor expansion of x in y 0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.657 * [taylor]: Taking taylor expansion of y in y 0.657 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.657 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.657 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.657 * [taylor]: Taking taylor expansion of 200 in y 0.658 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) (sqrt (cbrt 200))) in x 0.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in x 0.658 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.658 * [taylor]: Taking taylor expansion of y in x 0.658 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.658 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.658 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.658 * [taylor]: Taking taylor expansion of 200 in x 0.659 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) (sqrt (cbrt 200))) in x 0.659 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in x 0.659 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.659 * [taylor]: Taking taylor expansion of y in x 0.659 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.659 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.659 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.659 * [taylor]: Taking taylor expansion of 200 in x 0.660 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt (cbrt 200))) in y 0.660 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.661 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.661 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.661 * [taylor]: Taking taylor expansion of 200 in y 0.663 * [taylor]: Taking taylor expansion of (neg (* (/ (fabs (cbrt 200)) y) (sqrt (cbrt 200)))) in y 0.663 * [taylor]: Taking taylor expansion of (* (/ (fabs (cbrt 200)) y) (sqrt (cbrt 200))) in y 0.663 * [taylor]: Taking taylor expansion of (/ (fabs (cbrt 200)) y) in y 0.663 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.663 * [taylor]: Taking taylor expansion of y in y 0.663 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.663 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.663 * [taylor]: Taking taylor expansion of 200 in y 0.668 * [taylor]: Taking taylor expansion of 0 in y 0.673 * [taylor]: Taking taylor expansion of 0 in y 0.681 * [taylor]: Taking taylor expansion of 0 in y 0.684 * [approximate]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) (sqrt (cbrt 200))) in (x y) around 0 0.684 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) (sqrt (cbrt 200))) in y 0.684 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in y 0.684 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.684 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.684 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.684 * [taylor]: Taking taylor expansion of y in y 0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.684 * [taylor]: Taking taylor expansion of x in y 0.684 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.684 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.684 * [taylor]: Taking taylor expansion of 200 in y 0.685 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) (sqrt (cbrt 200))) in x 0.685 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in x 0.685 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.685 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.685 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.685 * [taylor]: Taking taylor expansion of y in x 0.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.685 * [taylor]: Taking taylor expansion of x in x 0.685 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.685 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.685 * [taylor]: Taking taylor expansion of 200 in x 0.686 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) (sqrt (cbrt 200))) in x 0.686 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in x 0.686 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.686 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.686 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.686 * [taylor]: Taking taylor expansion of y in x 0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.686 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.686 * [taylor]: Taking taylor expansion of 200 in x 0.687 * [taylor]: Taking taylor expansion of (* -1 (* (fabs (cbrt 200)) (sqrt (cbrt 200)))) in y 0.687 * [taylor]: Taking taylor expansion of -1 in y 0.687 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt (cbrt 200))) in y 0.687 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.688 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.688 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.688 * [taylor]: Taking taylor expansion of 200 in y 0.690 * [taylor]: Taking taylor expansion of (* (/ (fabs (cbrt 200)) y) (sqrt (cbrt 200))) in y 0.690 * [taylor]: Taking taylor expansion of (/ (fabs (cbrt 200)) y) in y 0.690 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.690 * [taylor]: Taking taylor expansion of y in y 0.690 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.690 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.690 * [taylor]: Taking taylor expansion of 200 in y 0.695 * [taylor]: Taking taylor expansion of 0 in y 0.700 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.709 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.710 * [approximate]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) (sqrt (cbrt 200))) in (x y) around 0 0.710 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) (sqrt (cbrt 200))) in y 0.710 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) in y 0.710 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.710 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in y 0.710 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.710 * [taylor]: Taking taylor expansion of 200 in y 0.710 * [taylor]: Taking taylor expansion of (- x y) in y 0.711 * [taylor]: Taking taylor expansion of x in y 0.711 * [taylor]: Taking taylor expansion of y in y 0.711 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.711 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.711 * [taylor]: Taking taylor expansion of 200 in y 0.711 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) (sqrt (cbrt 200))) in x 0.711 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) in x 0.711 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.711 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in x 0.711 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.711 * [taylor]: Taking taylor expansion of 200 in x 0.712 * [taylor]: Taking taylor expansion of (- x y) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of y in x 0.712 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.712 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.712 * [taylor]: Taking taylor expansion of 200 in x 0.712 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) (sqrt (cbrt 200))) in x 0.712 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- x y))) in x 0.712 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.712 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- x y)) in x 0.712 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.712 * [taylor]: Taking taylor expansion of 200 in x 0.713 * [taylor]: Taking taylor expansion of (- x y) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of y in x 0.713 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.713 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.713 * [taylor]: Taking taylor expansion of 200 in x 0.714 * [taylor]: Taking taylor expansion of (* -1 (* (* (fabs (cbrt 200)) (* (sqrt 200) y)) (sqrt (cbrt 200)))) in y 0.714 * [taylor]: Taking taylor expansion of -1 in y 0.714 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) y)) (sqrt (cbrt 200))) in y 0.714 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) y)) in y 0.714 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.714 * [taylor]: Taking taylor expansion of (* (sqrt 200) y) in y 0.714 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.714 * [taylor]: Taking taylor expansion of 200 in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.715 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.715 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.715 * [taylor]: Taking taylor expansion of 200 in y 0.717 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (sqrt 200)) (sqrt (cbrt 200))) in y 0.717 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.717 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.717 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.717 * [taylor]: Taking taylor expansion of 200 in y 0.718 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.718 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.718 * [taylor]: Taking taylor expansion of 200 in y 0.724 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.734 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) (sqrt (cbrt 200))) in (x y) around 0 0.734 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) (sqrt (cbrt 200))) in y 0.735 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) in y 0.735 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.735 * [taylor]: Taking taylor expansion of x in y 0.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.735 * [taylor]: Taking taylor expansion of y in y 0.735 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.735 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.735 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.735 * [taylor]: Taking taylor expansion of 200 in y 0.735 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.735 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.735 * [taylor]: Taking taylor expansion of 200 in y 0.736 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) (sqrt (cbrt 200))) in x 0.736 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) in x 0.736 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.736 * [taylor]: Taking taylor expansion of y in x 0.736 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in x 0.736 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.736 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.736 * [taylor]: Taking taylor expansion of 200 in x 0.736 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.736 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.736 * [taylor]: Taking taylor expansion of 200 in x 0.737 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) (sqrt (cbrt 200))) in x 0.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* (fabs (cbrt 200)) (sqrt 200))) in x 0.737 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.737 * [taylor]: Taking taylor expansion of x in x 0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.737 * [taylor]: Taking taylor expansion of y in x 0.737 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in x 0.737 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.738 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.738 * [taylor]: Taking taylor expansion of 200 in x 0.738 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.738 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.738 * [taylor]: Taking taylor expansion of 200 in x 0.739 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (sqrt 200)) (sqrt (cbrt 200))) in y 0.739 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.739 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.739 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.739 * [taylor]: Taking taylor expansion of 200 in y 0.740 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.740 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.740 * [taylor]: Taking taylor expansion of 200 in y 0.742 * [taylor]: Taking taylor expansion of (neg (* (/ (* (fabs (cbrt 200)) (sqrt 200)) y) (sqrt (cbrt 200)))) in y 0.742 * [taylor]: Taking taylor expansion of (* (/ (* (fabs (cbrt 200)) (sqrt 200)) y) (sqrt (cbrt 200))) in y 0.742 * [taylor]: Taking taylor expansion of (/ (* (fabs (cbrt 200)) (sqrt 200)) y) in y 0.742 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.742 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.742 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.742 * [taylor]: Taking taylor expansion of 200 in y 0.743 * [taylor]: Taking taylor expansion of y in y 0.743 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.743 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.743 * [taylor]: Taking taylor expansion of 200 in y 0.749 * [taylor]: Taking taylor expansion of 0 in y 0.755 * [taylor]: Taking taylor expansion of 0 in y 0.764 * [taylor]: Taking taylor expansion of 0 in y 0.767 * [approximate]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) (sqrt (cbrt 200))) in (x y) around 0 0.767 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) (sqrt (cbrt 200))) in y 0.767 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) in y 0.767 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.767 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in y 0.767 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.767 * [taylor]: Taking taylor expansion of 200 in y 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.768 * [taylor]: Taking taylor expansion of x in y 0.768 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.768 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.768 * [taylor]: Taking taylor expansion of 200 in y 0.768 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) (sqrt (cbrt 200))) in x 0.768 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) in x 0.768 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.768 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in x 0.769 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.769 * [taylor]: Taking taylor expansion of 200 in x 0.769 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.769 * [taylor]: Taking taylor expansion of y in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.769 * [taylor]: Taking taylor expansion of x in x 0.769 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.769 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.769 * [taylor]: Taking taylor expansion of 200 in x 0.769 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) (sqrt (cbrt 200))) in x 0.770 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (* (sqrt 200) (- (/ 1 y) (/ 1 x)))) in x 0.770 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.770 * [taylor]: Taking taylor expansion of (* (sqrt 200) (- (/ 1 y) (/ 1 x))) in x 0.770 * [taylor]: Taking taylor expansion of (sqrt 200) in x 0.770 * [taylor]: Taking taylor expansion of 200 in x 0.770 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.770 * [taylor]: Taking taylor expansion of y in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.770 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in x 0.770 * [taylor]: Taking taylor expansion of (cbrt 200) in x 0.770 * [taylor]: Taking taylor expansion of 200 in x 0.771 * [taylor]: Taking taylor expansion of (* -1 (* (* (fabs (cbrt 200)) (sqrt 200)) (sqrt (cbrt 200)))) in y 0.772 * [taylor]: Taking taylor expansion of -1 in y 0.772 * [taylor]: Taking taylor expansion of (* (* (fabs (cbrt 200)) (sqrt 200)) (sqrt (cbrt 200))) in y 0.772 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.772 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.772 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.772 * [taylor]: Taking taylor expansion of 200 in y 0.772 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.772 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.772 * [taylor]: Taking taylor expansion of 200 in y 0.774 * [taylor]: Taking taylor expansion of (* (/ (* (fabs (cbrt 200)) (sqrt 200)) y) (sqrt (cbrt 200))) in y 0.774 * [taylor]: Taking taylor expansion of (/ (* (fabs (cbrt 200)) (sqrt 200)) y) in y 0.774 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (sqrt 200)) in y 0.774 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.775 * [taylor]: Taking taylor expansion of (sqrt 200) in y 0.775 * [taylor]: Taking taylor expansion of 200 in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (sqrt (cbrt 200)) in y 0.775 * [taylor]: Taking taylor expansion of (cbrt 200) in y 0.775 * [taylor]: Taking taylor expansion of 200 in y 0.781 * [taylor]: Taking taylor expansion of 0 in y 0.787 * [taylor]: Taking taylor expansion of 0 in y 0.797 * [taylor]: Taking taylor expansion of 0 in y 0.799 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.800 * [approximate]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in (x y) around 0 0.800 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in y 0.800 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.800 * [taylor]: Taking taylor expansion of (- x y) in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.800 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in x 0.800 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.800 * [taylor]: Taking taylor expansion of (- x y) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of y in x 0.800 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- x y)) in x 0.800 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.800 * [taylor]: Taking taylor expansion of (- x y) in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of y in x 0.801 * [taylor]: Taking taylor expansion of (* -1 (* (fabs (cbrt 200)) y)) in y 0.801 * [taylor]: Taking taylor expansion of -1 in y 0.801 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) y) in y 0.801 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.801 * [taylor]: Taking taylor expansion of y in y 0.802 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.803 * [taylor]: Taking taylor expansion of 0 in y 0.804 * [taylor]: Taking taylor expansion of 0 in y 0.805 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in (x y) around 0 0.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in y 0.805 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.806 * [taylor]: Taking taylor expansion of x in y 0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.806 * [taylor]: Taking taylor expansion of y in y 0.806 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.806 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in x 0.806 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.806 * [taylor]: Taking taylor expansion of y in x 0.806 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.806 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (fabs (cbrt 200))) in x 0.806 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.806 * [taylor]: Taking taylor expansion of y in x 0.806 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.807 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.808 * [taylor]: Taking taylor expansion of (neg (/ (fabs (cbrt 200)) y)) in y 0.808 * [taylor]: Taking taylor expansion of (/ (fabs (cbrt 200)) y) in y 0.808 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of 0 in y 0.814 * [taylor]: Taking taylor expansion of 0 in y 0.816 * [taylor]: Taking taylor expansion of 0 in y 0.818 * [approximate]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.818 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in y 0.818 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.818 * [taylor]: Taking taylor expansion of x in y 0.819 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in x 0.819 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.819 * [taylor]: Taking taylor expansion of y in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (* (fabs (cbrt 200)) (- (/ 1 y) (/ 1 x))) in x 0.819 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in x 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.819 * [taylor]: Taking taylor expansion of y in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (* -1 (fabs (cbrt 200))) in y 0.820 * [taylor]: Taking taylor expansion of -1 in y 0.820 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.821 * [taylor]: Taking taylor expansion of (/ (fabs (cbrt 200)) y) in y 0.821 * [taylor]: Taking taylor expansion of (fabs (cbrt 200)) in y 0.821 * [taylor]: Taking taylor expansion of y in y 0.822 * [taylor]: Taking taylor expansion of 0 in y 0.824 * [taylor]: Taking taylor expansion of 0 in y 0.827 * [taylor]: Taking taylor expansion of 0 in y 0.828 * * * [progress]: simplifying candidates 0.829 * [simplify]: Simplifying using # : (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (+.f64 (+.f64 (log.f64 (-.f64 x y)) (log.f64 (fabs.f64 (cbrt.f64 200)))) (log.f64 (sqrt.f64 (cbrt.f64 200)))) (+.f64 (log.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (log.f64 (sqrt.f64 (cbrt.f64 200)))) (exp.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (log.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y)) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (fabs.f64 (cbrt.f64 200))) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (fabs.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 200))) (cbrt.f64 (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 200)) (cbrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200))))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 (sqrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 1))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 1)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) 1) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (+.f64 (log.f64 (sqrt.f64 200)) (+.f64 (+.f64 (log.f64 (-.f64 x y)) (log.f64 (fabs.f64 (cbrt.f64 200)))) (log.f64 (sqrt.f64 (cbrt.f64 200))))) (+.f64 (log.f64 (sqrt.f64 200)) (+.f64 (log.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (log.f64 (sqrt.f64 (cbrt.f64 200))))) (+.f64 (log.f64 (sqrt.f64 200)) (log.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (exp.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (log.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))))) (cbrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 200) (sqrt.f64 200)) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y)) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (fabs.f64 (cbrt.f64 200))) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (sqrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (sqrt.f64 (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (cbrt.f64 (sqrt.f64 200)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (sqrt.f64 200)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (+.f64 (log.f64 (-.f64 x y)) (log.f64 (fabs.f64 (cbrt.f64 200)))) (exp.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (log.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))))) (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (-.f64 x y)) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (fabs.f64 (cbrt.f64 200))) (fabs.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (cbrt.f64 200))) (*.f64 (cbrt.f64 (-.f64 x y)) (fabs.f64 (cbrt.f64 200))) (*.f64 (sqrt.f64 (-.f64 x y)) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 y)) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (*.f64 (cbrt.f64 (fabs.f64 (cbrt.f64 200))) (cbrt.f64 (fabs.f64 (cbrt.f64 200))))) (*.f64 (-.f64 x y) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) 1) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) y) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) y) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) y) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 x (sqrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 (sqrt.f64 200) y)) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 x (sqrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 (sqrt.f64 200) y)) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 x (sqrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) (*.f64 (sqrt.f64 200) y)) (sqrt.f64 (cbrt.f64 200)))) (-.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (*.f64 (fabs.f64 (cbrt.f64 200)) y)) (-.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (*.f64 (fabs.f64 (cbrt.f64 200)) y)) (-.f64 (*.f64 (fabs.f64 (cbrt.f64 200)) x) (*.f64 (fabs.f64 (cbrt.f64 200)) y)) 0.885 * * [simplify]: iteration 0 : 5380 enodes (cost 1618 ) 0.894 * [simplify]: Simplified to: (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (log.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (log.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (exp.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (log.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (pow.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))))) (cbrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (pow.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) 3) (pow.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) 3) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))) (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (fabs.f64 (cbrt.f64 200)) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 200))) (cbrt.f64 (sqrt.f64 (cbrt.f64 200))))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (fabs.f64 (cbrt.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200))))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 (sqrt.f64 200)))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 1))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 (cbrt.f64 200)))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (pow.f64 (exp.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200)))) (sqrt.f64 200)) (log.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (pow.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (cbrt.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)))) (cbrt.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (pow.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) 3) (pow.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) 3) (pow.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) 3) (sqrt.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (sqrt.f64 (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200))) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))) (sqrt.f64 200)) (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 200)) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (cbrt.f64 (sqrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 200))) (*.f64 (cbrt.f64 200) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 (sqrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (log.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (exp.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (log.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (pow.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) 3) (*.f64 (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))))) (cbrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (pow.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) 3) (sqrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (sqrt.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (*.f64 (sqrt.f64 (-.f64 x y)) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (fabs.f64 (cbrt.f64 200)) (cbrt.f64 (-.f64 x y))) (*.f64 (fabs.f64 (cbrt.f64 200)) (sqrt.f64 (-.f64 x y))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (fabs.f64 (cbrt.f64 200)) (-.f64 (sqrt.f64 x) (sqrt.f64 y))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (*.f64 (cbrt.f64 (fabs.f64 (cbrt.f64 200))) (cbrt.f64 (fabs.f64 (cbrt.f64 200))))) (*.f64 (-.f64 x y) (sqrt.f64 (fabs.f64 (cbrt.f64 200)))) (-.f64 x y) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (*.f64 (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (sqrt.f64 (cbrt.f64 200))) (sqrt.f64 200)) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) (*.f64 (-.f64 x y) (fabs.f64 (cbrt.f64 200))) 0.894 * * * [progress]: adding candidates to table 0.955 * [progress]: [Phase 3 of 3] Extracting. 0.955 * * [regime]: Finding splitpoints for: (# # # #) 0.955 * * * [regime-changes]: Trying 4 branch expressions: ((-.f64 x y) (*.f64 200 (-.f64 x y)) y x) 0.955 * * * * [regimes]: Trying to branch on (-.f64 x y) from (# # # #) 0.965 * * * * [regimes]: Trying to branch on (-.f64 x y) from (# # #) 0.975 * * * * [regimes]: Trying to branch on (*.f64 200 (-.f64 x y)) from (# # # #) 0.985 * * * * [regimes]: Trying to branch on y from (# # # #) 0.994 * * * * [regimes]: Trying to branch on x from (# # # #) 1.005 * * * [regime]: Found split indices: #