2.311 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) 0.148 * * [simplify]: iteration 0 : 4757 enodes (cost 15 ) 0.148 * * [simplify]: iteration 1 : 4757 enodes (cost 15 ) 0.148 * [simplify]: Simplified to: (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) 0.149 * * [progress]: iteration 1 / 4 0.149 * * * [progress]: picking best candidate 0.151 * * * * [pick]: Picked # 0.151 * * * [progress]: localizing error 0.163 * * * [progress]: generating rewritten candidates 0.163 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.169 * * * [progress]: generating series expansions 0.169 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.170 * [approximate]: Taking taylor expansion of (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4)) in (x y) around 0 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4)) in y 0.170 * [taylor]: Taking taylor expansion of (+ (* 2 (pow y 2)) (* 9 (pow x 4))) in y 0.170 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in y 0.170 * [taylor]: Taking taylor expansion of 2 in y 0.170 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in y 0.170 * [taylor]: Taking taylor expansion of 9 in y 0.170 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.170 * [taylor]: Taking taylor expansion of x in y 0.170 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4)) in x 0.170 * [taylor]: Taking taylor expansion of (+ (* 2 (pow y 2)) (* 9 (pow x 4))) in x 0.170 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in x 0.170 * [taylor]: Taking taylor expansion of 2 in x 0.170 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.170 * [taylor]: Taking taylor expansion of 9 in x 0.170 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4)) in x 0.170 * [taylor]: Taking taylor expansion of (+ (* 2 (pow y 2)) (* 9 (pow x 4))) in x 0.170 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in x 0.170 * [taylor]: Taking taylor expansion of 2 in x 0.170 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.170 * [taylor]: Taking taylor expansion of 9 in x 0.170 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of (- (* 2 (pow y 2)) (pow y 4)) in y 0.171 * [taylor]: Taking taylor expansion of (* 2 (pow y 2)) in y 0.171 * [taylor]: Taking taylor expansion of 2 in y 0.171 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [taylor]: Taking taylor expansion of 9 in y 0.174 * [approximate]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 0.174 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 0.174 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in y 0.174 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.174 * [taylor]: Taking taylor expansion of 9 in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.174 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 0.174 * [taylor]: Taking taylor expansion of 2 in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.174 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.174 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 0.174 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in x 0.174 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.175 * [taylor]: Taking taylor expansion of 9 in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.175 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 0.175 * [taylor]: Taking taylor expansion of 2 in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.175 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.175 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 0.175 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in x 0.175 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.175 * [taylor]: Taking taylor expansion of 9 in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.175 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 0.175 * [taylor]: Taking taylor expansion of 2 in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.175 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.175 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of 9 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.177 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2))) (/ 1 (pow y 4))) in y 0.177 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 0.177 * [taylor]: Taking taylor expansion of 2 in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.177 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.177 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.178 * [taylor]: Taking taylor expansion of 0 in y 0.180 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [approximate]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 0.181 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 0.181 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in y 0.181 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.181 * [taylor]: Taking taylor expansion of 9 in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.181 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 0.181 * [taylor]: Taking taylor expansion of 2 in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.181 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.181 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 0.181 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in x 0.181 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.181 * [taylor]: Taking taylor expansion of 9 in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.181 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 0.182 * [taylor]: Taking taylor expansion of 2 in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.182 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.182 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (- (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 0.182 * [taylor]: Taking taylor expansion of (+ (* 9 (/ 1 (pow x 4))) (* 2 (/ 1 (pow y 2)))) in x 0.182 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.182 * [taylor]: Taking taylor expansion of 9 in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.182 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in x 0.182 * [taylor]: Taking taylor expansion of 2 in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.182 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.182 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of 9 in y 0.183 * [taylor]: Taking taylor expansion of 0 in y 0.183 * [taylor]: Taking taylor expansion of 0 in y 0.183 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2))) (/ 1 (pow y 4))) in y 0.184 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 0.184 * [taylor]: Taking taylor expansion of 2 in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.184 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.184 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.187 * * * [progress]: simplifying candidates 0.188 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (*.f64 9 (pow.f64 x 4))) (exp.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)) 3)) (+.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (+.f64 (*.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))))) (neg.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (*.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (*.f64 y y))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (*.f64 y y))) (-.f64 (+.f64 (*.f64 2 (pow.f64 y 2)) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4)) (-.f64 (+.f64 (*.f64 2 (pow.f64 y 2)) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4)) (-.f64 (+.f64 (*.f64 2 (pow.f64 y 2)) (*.f64 9 (pow.f64 x 4))) (pow.f64 y 4)) 0.229 * * [simplify]: iteration 0 : 5039 enodes (cost 304 ) 0.230 * [simplify]: Simplified to: (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) 3) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)) 3)) (+.f64 (*.f64 81 (pow.f64 x 8)) (*.f64 y (*.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (*.f64 y (-.f64 (*.f64 y y) 2))))) (-.f64 (*.f64 (*.f64 y y) 2) (pow.f64 y 4)) (+.f64 (*.f64 81 (pow.f64 x 8)) (*.f64 (-.f64 (*.f64 y y) 2) (*.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y))))) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2))) 0.230 * * * [progress]: adding candidates to table 0.247 * * [progress]: iteration 2 / 4 0.247 * * * [progress]: picking best candidate 0.249 * * * * [pick]: Picked # 0.249 * * * [progress]: localizing error 0.260 * * * [progress]: generating rewritten candidates 0.260 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.266 * * * [progress]: generating series expansions 0.266 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.267 * [approximate]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in (x y) around 0 0.267 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in y 0.267 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in y 0.267 * [taylor]: Taking taylor expansion of 9 in y 0.267 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.267 * [taylor]: Taking taylor expansion of x in y 0.267 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.267 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.267 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.267 * [taylor]: Taking taylor expansion of 9 in x 0.267 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.267 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.267 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.267 * [taylor]: Taking taylor expansion of 9 in x 0.267 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 0.268 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.268 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.269 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.269 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.269 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.269 * [taylor]: Taking taylor expansion of 9 in y 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.269 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.269 * [taylor]: Taking taylor expansion of x in y 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.269 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.269 * [taylor]: Taking taylor expansion of y in y 0.269 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.269 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.269 * [taylor]: Taking taylor expansion of 9 in x 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.269 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.269 * [taylor]: Taking taylor expansion of x in x 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.269 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.269 * [taylor]: Taking taylor expansion of y in x 0.269 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.269 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.269 * [taylor]: Taking taylor expansion of 9 in x 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.269 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.269 * [taylor]: Taking taylor expansion of x in x 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.269 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.270 * [taylor]: Taking taylor expansion of y in x 0.270 * [taylor]: Taking taylor expansion of 9 in y 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.271 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.271 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.271 * [taylor]: Taking taylor expansion of y in y 0.272 * [taylor]: Taking taylor expansion of 0 in y 0.275 * [taylor]: Taking taylor expansion of 0 in y 0.276 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.276 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.276 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.276 * [taylor]: Taking taylor expansion of 9 in y 0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.276 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.276 * [taylor]: Taking taylor expansion of x in y 0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.276 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.276 * [taylor]: Taking taylor expansion of y in y 0.276 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.276 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.276 * [taylor]: Taking taylor expansion of 9 in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.276 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.276 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.276 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.277 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.277 * [taylor]: Taking taylor expansion of 9 in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.277 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.277 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.277 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of 9 in y 0.277 * [taylor]: Taking taylor expansion of 0 in y 0.277 * [taylor]: Taking taylor expansion of 0 in y 0.278 * [taylor]: Taking taylor expansion of 0 in y 0.278 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.278 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.278 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.278 * [taylor]: Taking taylor expansion of y in y 0.279 * [taylor]: Taking taylor expansion of 0 in y 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.281 * * * [progress]: simplifying candidates 0.281 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (*.f64 9 (pow.f64 x 4))) (exp.f64 (pow.f64 y 4))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (pow.f64 y 4) 3)) (+.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (+.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (*.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (neg.f64 (pow.f64 y 4)) (-.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (*.f64 (pow.f64 y 4) (pow.f64 y 4))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0.338 * * [simplify]: iteration 0 : 5548 enodes (cost 161 ) 0.340 * [simplify]: Simplified to: (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (*.f64 729 (pow.f64 x 12)) (pow.f64 y 12)) (+.f64 (pow.f64 y 8) (*.f64 (*.f64 9 (pow.f64 x 4)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (neg.f64 (pow.f64 y 4)) (-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0.340 * * * [progress]: adding candidates to table 0.356 * * [progress]: iteration 3 / 4 0.356 * * * [progress]: picking best candidate 0.358 * * * * [pick]: Picked # 0.358 * * * [progress]: localizing error 0.372 * * * [progress]: generating rewritten candidates 0.372 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 0.378 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.387 * * * [progress]: generating series expansions 0.387 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 0.387 * [approximate]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in (x y) around 0 0.387 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in y 0.387 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in y 0.387 * [taylor]: Taking taylor expansion of 9 in y 0.387 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.387 * [taylor]: Taking taylor expansion of x in y 0.387 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.387 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.387 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.387 * [taylor]: Taking taylor expansion of 9 in x 0.387 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.387 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.387 * [taylor]: Taking taylor expansion of 9 in x 0.387 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.388 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 0.388 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.388 * [taylor]: Taking taylor expansion of y in y 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.389 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.389 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.389 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.389 * [taylor]: Taking taylor expansion of 9 in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.389 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.389 * [taylor]: Taking taylor expansion of x in y 0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.389 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.389 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.389 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.389 * [taylor]: Taking taylor expansion of 9 in x 0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.389 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.389 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.389 * [taylor]: Taking taylor expansion of y in x 0.390 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.390 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.390 * [taylor]: Taking taylor expansion of 9 in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.390 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.390 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.390 * [taylor]: Taking taylor expansion of y in x 0.390 * [taylor]: Taking taylor expansion of 9 in y 0.390 * [taylor]: Taking taylor expansion of 0 in y 0.390 * [taylor]: Taking taylor expansion of 0 in y 0.391 * [taylor]: Taking taylor expansion of 0 in y 0.391 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.391 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.391 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.392 * [taylor]: Taking taylor expansion of 0 in y 0.393 * [taylor]: Taking taylor expansion of 0 in y 0.394 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.394 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.394 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.394 * [taylor]: Taking taylor expansion of 9 in y 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.394 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.394 * [taylor]: Taking taylor expansion of x in y 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.394 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.394 * [taylor]: Taking taylor expansion of y in y 0.394 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.394 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.394 * [taylor]: Taking taylor expansion of 9 in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.394 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.394 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.394 * [taylor]: Taking taylor expansion of y in x 0.394 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.394 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.394 * [taylor]: Taking taylor expansion of 9 in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.394 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.395 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.395 * [taylor]: Taking taylor expansion of y in x 0.395 * [taylor]: Taking taylor expansion of 9 in y 0.395 * [taylor]: Taking taylor expansion of 0 in y 0.395 * [taylor]: Taking taylor expansion of 0 in y 0.395 * [taylor]: Taking taylor expansion of 0 in y 0.396 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.396 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of 0 in y 0.398 * [taylor]: Taking taylor expansion of 0 in y 0.398 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.399 * [approximate]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in (x y) around 0 0.399 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in y 0.399 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in y 0.399 * [taylor]: Taking taylor expansion of 9 in y 0.399 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.399 * [taylor]: Taking taylor expansion of x in y 0.399 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.399 * [taylor]: Taking taylor expansion of y in y 0.399 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.399 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.399 * [taylor]: Taking taylor expansion of 9 in x 0.399 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.399 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 4)) (pow y 4)) in x 0.399 * [taylor]: Taking taylor expansion of (* 9 (pow x 4)) in x 0.399 * [taylor]: Taking taylor expansion of 9 in x 0.399 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.399 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of (neg (pow y 4)) in y 0.399 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.399 * [taylor]: Taking taylor expansion of y in y 0.399 * [taylor]: Taking taylor expansion of 0 in y 0.400 * [taylor]: Taking taylor expansion of 0 in y 0.400 * [taylor]: Taking taylor expansion of 0 in y 0.400 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.400 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.400 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.400 * [taylor]: Taking taylor expansion of 9 in y 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.401 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.401 * [taylor]: Taking taylor expansion of x in y 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.401 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.401 * [taylor]: Taking taylor expansion of y in y 0.401 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.401 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.401 * [taylor]: Taking taylor expansion of 9 in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.401 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.401 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.401 * [taylor]: Taking taylor expansion of y in x 0.401 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.401 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.401 * [taylor]: Taking taylor expansion of 9 in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.401 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.401 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.401 * [taylor]: Taking taylor expansion of y in x 0.402 * [taylor]: Taking taylor expansion of 9 in y 0.402 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [taylor]: Taking taylor expansion of 0 in y 0.403 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.403 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.405 * [taylor]: Taking taylor expansion of 0 in y 0.406 * [taylor]: Taking taylor expansion of 0 in y 0.407 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in (x y) around 0 0.407 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in y 0.407 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in y 0.407 * [taylor]: Taking taylor expansion of 9 in y 0.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.407 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.407 * [taylor]: Taking taylor expansion of x in y 0.407 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.407 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.407 * [taylor]: Taking taylor expansion of y in y 0.408 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.408 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.408 * [taylor]: Taking taylor expansion of 9 in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.408 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.408 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.408 * [taylor]: Taking taylor expansion of y in x 0.408 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 4))) (/ 1 (pow y 4))) in x 0.408 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 4))) in x 0.408 * [taylor]: Taking taylor expansion of 9 in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.408 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.408 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.408 * [taylor]: Taking taylor expansion of y in x 0.408 * [taylor]: Taking taylor expansion of 9 in y 0.408 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 4))) in y 0.410 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.410 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.410 * [taylor]: Taking taylor expansion of y in y 0.410 * [taylor]: Taking taylor expansion of 0 in y 0.411 * [taylor]: Taking taylor expansion of 0 in y 0.412 * * * [progress]: simplifying candidates 0.413 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (*.f64 9 (pow.f64 x 4))) (exp.f64 (pow.f64 y 4))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (pow.f64 y 4) 3)) (+.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (+.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (*.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (neg.f64 (pow.f64 y 4)) (-.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (*.f64 (pow.f64 y 4) (pow.f64 y 4))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (log.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (exp.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (cbrt.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (pow.f64 y 4) 3)) 3)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (+.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (*.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 9 (pow.f64 x 4))) (*.f64 (pow.f64 y 4) (pow.f64 y 4))) 3)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0.440 * * [simplify]: iteration 0 : 5129 enodes (cost 538 ) 0.443 * [simplify]: Simplified to: (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (pow.f64 y 4) 3)) (+.f64 (pow.f64 y 8) (*.f64 (*.f64 9 (pow.f64 x 4)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (neg.f64 (pow.f64 y 4)) (-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (log.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (exp.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 1) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 1) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))) (cbrt.f64 1) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3/2)) (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3/2)) (-.f64 (pow.f64 (*.f64 9 (pow.f64 x 4)) 3) (pow.f64 (pow.f64 y 4) 3)) (+.f64 (pow.f64 y 8) (*.f64 (*.f64 9 (pow.f64 x 4)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 81 (pow.f64 x 8)) (pow.f64 y 8)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (sqrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0.443 * * * [progress]: adding candidates to table 0.480 * [progress]: [Phase 3 of 3] Extracting. 0.484 * [simplify]: Simplifying using # : (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (*.f64 y y) (neg.f64 2))) 0.485 * * [simplify]: iteration 0 : 60 enodes (cost 18 ) 0.485 * * [simplify]: iteration 1 : 60 enodes (cost 18 ) 0.486 * [simplify]: Simplified to: (-.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (*.f64 y y) -2)) 1.250 * [regime-testing]: End program error score: 51.99999982801125