11.275 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) 0.024 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.025 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 0.029 * * [simplify]: iteration 2 : 60 enodes (cost 15 ) 0.040 * * [simplify]: iteration 3 : 150 enodes (cost 15 ) 0.078 * * [simplify]: iteration 4 : 324 enodes (cost 14 ) 0.184 * * [simplify]: iteration 5 : 656 enodes (cost 14 ) 0.593 * * [simplify]: iteration 6 : 1490 enodes (cost 14 ) 2.955 * * [simplify]: iteration 7 : 4662 enodes (cost 14 ) 5.158 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 5.158 * [simplify]: Simplified to: (fma (pow x 4.0) 9.0 (* (* y y) (- 2.0 (* y y)))) 5.161 * * [progress]: iteration 1 / 4 5.161 * * * [progress]: picking best candidate 5.163 * * * * [pick]: Picked # 5.163 * * * [progress]: localizing error 5.177 * * * [progress]: generating rewritten candidates 5.177 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.184 * * * [progress]: generating series expansions 5.184 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.184 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in (x y) around 0 5.185 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in y 5.185 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in y 5.185 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 5.185 * [taylor]: Taking taylor expansion of 2.0 in y 5.185 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.185 * [taylor]: Taking taylor expansion of y in y 5.185 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 5.185 * [taylor]: Taking taylor expansion of 9.0 in y 5.185 * [taylor]: Taking taylor expansion of (pow x 4) in y 5.185 * [taylor]: Taking taylor expansion of x in y 5.185 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.185 * [taylor]: Taking taylor expansion of y in y 5.185 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in x 5.185 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in x 5.185 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in x 5.185 * [taylor]: Taking taylor expansion of 2.0 in x 5.185 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.185 * [taylor]: Taking taylor expansion of y in x 5.185 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.185 * [taylor]: Taking taylor expansion of 9.0 in x 5.185 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.185 * [taylor]: Taking taylor expansion of x in x 5.185 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.185 * [taylor]: Taking taylor expansion of y in x 5.185 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in x 5.185 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in x 5.185 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in x 5.185 * [taylor]: Taking taylor expansion of 2.0 in x 5.185 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.185 * [taylor]: Taking taylor expansion of y in x 5.185 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in x 5.185 * [taylor]: Taking taylor expansion of 9.0 in x 5.185 * [taylor]: Taking taylor expansion of (pow x 4) in x 5.185 * [taylor]: Taking taylor expansion of x in x 5.185 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.185 * [taylor]: Taking taylor expansion of y in x 5.186 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow y 2)) (pow y 4)) in y 5.186 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 5.186 * [taylor]: Taking taylor expansion of 2.0 in y 5.186 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.186 * [taylor]: Taking taylor expansion of y in y 5.186 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.186 * [taylor]: Taking taylor expansion of y in y 5.187 * [taylor]: Taking taylor expansion of 0 in y 5.190 * [taylor]: Taking taylor expansion of 0 in y 5.194 * [taylor]: Taking taylor expansion of 0 in y 5.200 * [taylor]: Taking taylor expansion of 9.0 in y 5.202 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 5.203 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 5.203 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 5.203 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.203 * [taylor]: Taking taylor expansion of 9.0 in y 5.203 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.203 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.203 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.203 * [taylor]: Taking taylor expansion of 1.0 in y 5.203 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.203 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.203 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.203 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.203 * [taylor]: Taking taylor expansion of 4.0 in y 5.203 * [taylor]: Taking taylor expansion of (log x) in y 5.203 * [taylor]: Taking taylor expansion of x in y 5.204 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 5.204 * [taylor]: Taking taylor expansion of 2.0 in y 5.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.204 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.204 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.204 * [taylor]: Taking taylor expansion of y in y 5.205 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 5.205 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 5.205 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.205 * [taylor]: Taking taylor expansion of 9.0 in x 5.205 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.205 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.205 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.205 * [taylor]: Taking taylor expansion of 1.0 in x 5.205 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.205 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.205 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.205 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.205 * [taylor]: Taking taylor expansion of 4.0 in x 5.205 * [taylor]: Taking taylor expansion of (log x) in x 5.205 * [taylor]: Taking taylor expansion of x in x 5.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 5.206 * [taylor]: Taking taylor expansion of 2.0 in x 5.206 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.206 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.206 * [taylor]: Taking taylor expansion of y in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.207 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.207 * [taylor]: Taking taylor expansion of y in x 5.207 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 5.207 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 5.207 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.207 * [taylor]: Taking taylor expansion of 9.0 in x 5.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.207 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.207 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.207 * [taylor]: Taking taylor expansion of 1.0 in x 5.207 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.207 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.207 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.207 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.207 * [taylor]: Taking taylor expansion of 4.0 in x 5.207 * [taylor]: Taking taylor expansion of (log x) in x 5.207 * [taylor]: Taking taylor expansion of x in x 5.208 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 5.208 * [taylor]: Taking taylor expansion of 2.0 in x 5.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.208 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.208 * [taylor]: Taking taylor expansion of y in x 5.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.208 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.208 * [taylor]: Taking taylor expansion of y in x 5.209 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 5.210 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 5.210 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.210 * [taylor]: Taking taylor expansion of 9.0 in y 5.210 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.210 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.210 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.210 * [taylor]: Taking taylor expansion of 1.0 in y 5.210 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.210 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.210 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.210 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.210 * [taylor]: Taking taylor expansion of 4.0 in y 5.210 * [taylor]: Taking taylor expansion of (log x) in y 5.210 * [taylor]: Taking taylor expansion of x in y 5.210 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 5.210 * [taylor]: Taking taylor expansion of 2.0 in y 5.210 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.210 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.210 * [taylor]: Taking taylor expansion of y in y 5.211 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.211 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.211 * [taylor]: Taking taylor expansion of y in y 5.218 * [taylor]: Taking taylor expansion of 0 in y 5.229 * [taylor]: Taking taylor expansion of 0 in y 5.246 * [taylor]: Taking taylor expansion of 0 in y 5.276 * [taylor]: Taking taylor expansion of 0 in y 5.281 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in (x y) around 0 5.281 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 5.281 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 5.281 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.281 * [taylor]: Taking taylor expansion of 9.0 in y 5.281 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.281 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.281 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.281 * [taylor]: Taking taylor expansion of 1.0 in y 5.281 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.281 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.281 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.281 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.281 * [taylor]: Taking taylor expansion of 4.0 in y 5.281 * [taylor]: Taking taylor expansion of (log x) in y 5.281 * [taylor]: Taking taylor expansion of x in y 5.282 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 5.282 * [taylor]: Taking taylor expansion of 2.0 in y 5.282 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.282 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.282 * [taylor]: Taking taylor expansion of y in y 5.282 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.282 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.283 * [taylor]: Taking taylor expansion of y in y 5.283 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 5.283 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 5.283 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.283 * [taylor]: Taking taylor expansion of 9.0 in x 5.283 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.283 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.283 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.283 * [taylor]: Taking taylor expansion of 1.0 in x 5.283 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.283 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.283 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.283 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.284 * [taylor]: Taking taylor expansion of 4.0 in x 5.284 * [taylor]: Taking taylor expansion of (log x) in x 5.284 * [taylor]: Taking taylor expansion of x in x 5.285 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 5.285 * [taylor]: Taking taylor expansion of 2.0 in x 5.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.285 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.285 * [taylor]: Taking taylor expansion of y in x 5.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.285 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.285 * [taylor]: Taking taylor expansion of y in x 5.285 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in x 5.285 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in x 5.285 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in x 5.285 * [taylor]: Taking taylor expansion of 9.0 in x 5.285 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in x 5.285 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in x 5.285 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in x 5.285 * [taylor]: Taking taylor expansion of 1.0 in x 5.285 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in x 5.285 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in x 5.285 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 5.285 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 5.285 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 5.285 * [taylor]: Taking taylor expansion of 4.0 in x 5.285 * [taylor]: Taking taylor expansion of (log x) in x 5.285 * [taylor]: Taking taylor expansion of x in x 5.287 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in x 5.287 * [taylor]: Taking taylor expansion of 2.0 in x 5.287 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.287 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.287 * [taylor]: Taking taylor expansion of y in x 5.287 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 5.287 * [taylor]: Taking taylor expansion of (pow y 4) in x 5.287 * [taylor]: Taking taylor expansion of y in x 5.288 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 5.288 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 5.288 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 5.288 * [taylor]: Taking taylor expansion of 9.0 in y 5.288 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 5.288 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 5.288 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 5.288 * [taylor]: Taking taylor expansion of 1.0 in y 5.288 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 5.288 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 5.288 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 5.288 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 5.288 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 5.288 * [taylor]: Taking taylor expansion of 4.0 in y 5.288 * [taylor]: Taking taylor expansion of (log x) in y 5.288 * [taylor]: Taking taylor expansion of x in y 5.289 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 5.289 * [taylor]: Taking taylor expansion of 2.0 in y 5.289 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.289 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.289 * [taylor]: Taking taylor expansion of y in y 5.290 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 5.290 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.290 * [taylor]: Taking taylor expansion of y in y 5.297 * [taylor]: Taking taylor expansion of 0 in y 5.308 * [taylor]: Taking taylor expansion of 0 in y 5.324 * [taylor]: Taking taylor expansion of 0 in y 5.348 * [taylor]: Taking taylor expansion of 0 in y 5.359 * * * [progress]: simplifying candidates 5.359 * [simplify]: Simplifying using # : (fma 9.0 (pow x 4.0) (- (* (- (* y y) 2.0) (* y y)))) (fma (- (- (* y y) 2.0)) (* y y) (* (- (* y y) 2.0) (* y y))) (expm1 (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (log1p (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (* (* y y) (- (* y y) 2.0))) (/ (exp (* 9.0 (pow x 4.0))) (exp (* (* y y) (- (* y y) 2.0)))) (log (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (exp (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (* (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (cbrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (* (* (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (sqrt (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (* (* y y) (- (* y y) 2.0)) 3)) (+ (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (+ (* (* (* y y) (- (* y y) 2.0)) (* (* y y) (- (* y y) 2.0))) (* (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))))) (- (* (* y y) (- (* y y) 2.0))) (- (* (* 9.0 (pow x 4.0)) (* 9.0 (pow x 4.0))) (* (* (* y y) (- (* y y) 2.0)) (* (* y y) (- (* y y) 2.0)))) (+ (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) (- (* 9.0 (pow x 4.0)) (* (* y y) (fma y y (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))))) (- (* 9.0 (pow x 4.0)) (* (* y y) (fma y y (- (* (sqrt 2.0) (sqrt 2.0)))))) (- (* 9.0 (pow x 4.0)) (* (* y y) (fma y y (- (* 2.0 1))))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (fma y y (- (* (cbrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))) (* y y))) (- (* 9.0 (pow x 4.0)) (* (fma y y (- (* (sqrt 2.0) (sqrt 2.0)))) (* y y))) (- (* 9.0 (pow x 4.0)) (* (fma y y (- (* 2.0 1))) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* 9.0 (pow x 4.0)) (* (* y y) (* y y))) (- (* (* y y) (- (* y y) 2.0))) (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) (- (+ (* 2.0 (pow y 2)) (* 9.0 (* (pow (/ 1 (pow -1 4.0)) 1.0) (pow x 4)))) (pow y 4)) 5.362 * * [simplify]: iteration 0 : 85 enodes (cost 606 ) 5.381 * * [simplify]: iteration 1 : 234 enodes (cost 568 ) 5.445 * * [simplify]: iteration 2 : 745 enodes (cost 504 ) 5.916 * * [simplify]: iteration 3 : 3581 enodes (cost 480 ) 7.225 * * [simplify]: iteration done : 5000 enodes (cost 479 ) 7.225 * [simplify]: Simplified to: (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (* (* y (fma y y (- 2.0))) (- y y)) (expm1 (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (- (* 2.0 (pow y 2)) (pow y 4)) (exp (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (log (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (* (cbrt (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))))) (cbrt (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (pow (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) 3) (sqrt (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4)))) (- (pow (* 9.0 (pow x 4.0)) 3) (pow (* (* y y) (- (* y y) 2.0)) 3)) (fma 9.0 (* (pow x (* 2 4.0)) 9.0) (* (* (- (pow y 2) 2.0) (pow y 2)) (fma 9.0 (pow x 4.0) (* (- (pow y 2) 2.0) (pow y 2))))) (- (* 2.0 (pow y 2)) (pow y 4)) (fma (* (pow y 4) (fma y y (- 2.0))) (fma y (- y) 2.0) (* (pow x (* 2 4.0)) (* 9.0 9.0))) (fma 9.0 (pow x 4.0) (* (- (pow y 2) 2.0) (pow y 2))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (* 2.0 (pow y 2)) (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))) (- (* 2.0 (pow y 2)) (pow y 4)) (- (fma 2.0 (* y y) (* 9.0 (pow x 4))) (pow y 4)) (- (fma 2.0 (* y y) (* 9.0 (pow x 4))) (pow y 4)) (- (fma 2.0 (* y y) (* 9.0 (* (pow (/ 1 (pow -1 4.0)) 1.0) (pow x 4)))) (pow y 4)) 7.226 * * * [progress]: adding candidates to table 7.313 * * [progress]: iteration 2 / 4 7.313 * * * [progress]: picking best candidate 7.315 * * * * [pick]: Picked # 7.315 * * * [progress]: localizing error 7.328 * * * [progress]: generating rewritten candidates 7.328 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.329 * * * [progress]: generating series expansions 7.329 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.329 * [approximate]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in (x y) around 0 7.329 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in y 7.329 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 7.329 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in y 7.329 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 7.329 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 7.329 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 7.330 * [taylor]: Taking taylor expansion of 4.0 in y 7.330 * [taylor]: Taking taylor expansion of (log x) in y 7.330 * [taylor]: Taking taylor expansion of x in y 7.330 * [taylor]: Taking taylor expansion of 9.0 in y 7.330 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 7.330 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.330 * [taylor]: Taking taylor expansion of y in y 7.330 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 7.330 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 7.330 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 7.330 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 7.330 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 7.330 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 7.330 * [taylor]: Taking taylor expansion of 4.0 in x 7.330 * [taylor]: Taking taylor expansion of (log x) in x 7.330 * [taylor]: Taking taylor expansion of x in x 7.331 * [taylor]: Taking taylor expansion of 9.0 in x 7.331 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 7.331 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.331 * [taylor]: Taking taylor expansion of y in x 7.331 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 7.331 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 7.331 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 7.331 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 7.331 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 7.331 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 7.331 * [taylor]: Taking taylor expansion of 4.0 in x 7.331 * [taylor]: Taking taylor expansion of (log x) in x 7.331 * [taylor]: Taking taylor expansion of x in x 7.332 * [taylor]: Taking taylor expansion of 9.0 in x 7.332 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 7.332 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.332 * [taylor]: Taking taylor expansion of y in x 7.332 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 7.332 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 7.332 * [taylor]: Taking taylor expansion of 9.0 in y 7.332 * [taylor]: Taking taylor expansion of (pow x 4) in y 7.332 * [taylor]: Taking taylor expansion of x in y 7.332 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.332 * [taylor]: Taking taylor expansion of y in y 7.336 * [taylor]: Taking taylor expansion of 0 in y 7.341 * [taylor]: Taking taylor expansion of 0 in y 7.349 * [taylor]: Taking taylor expansion of 0 in y 7.349 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 7.349 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 7.349 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.349 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in y 7.349 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in y 7.349 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in y 7.349 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in y 7.349 * [taylor]: Taking taylor expansion of 4.0 in y 7.349 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 7.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.350 * [taylor]: Taking taylor expansion of x in y 7.350 * [taylor]: Taking taylor expansion of 9.0 in y 7.350 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 7.350 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 7.350 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.350 * [taylor]: Taking taylor expansion of y in y 7.350 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 7.351 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 7.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 7.351 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 7.351 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 7.351 * [taylor]: Taking taylor expansion of 4.0 in x 7.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.351 * [taylor]: Taking taylor expansion of x in x 7.352 * [taylor]: Taking taylor expansion of 9.0 in x 7.352 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 7.352 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 7.352 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.352 * [taylor]: Taking taylor expansion of y in x 7.352 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 7.352 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.352 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 7.352 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 7.352 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 7.352 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 7.352 * [taylor]: Taking taylor expansion of 4.0 in x 7.352 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.352 * [taylor]: Taking taylor expansion of x in x 7.353 * [taylor]: Taking taylor expansion of 9.0 in x 7.353 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 7.353 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 7.353 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.353 * [taylor]: Taking taylor expansion of y in x 7.354 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 7.354 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 7.354 * [taylor]: Taking taylor expansion of 9.0 in y 7.354 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 7.354 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 7.354 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 7.354 * [taylor]: Taking taylor expansion of 1.0 in y 7.354 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 7.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 7.354 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 7.354 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 7.354 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 7.354 * [taylor]: Taking taylor expansion of 4.0 in y 7.354 * [taylor]: Taking taylor expansion of (log x) in y 7.354 * [taylor]: Taking taylor expansion of x in y 7.355 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 7.355 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.355 * [taylor]: Taking taylor expansion of y in y 7.359 * [taylor]: Taking taylor expansion of 0 in y 7.366 * [taylor]: Taking taylor expansion of 0 in y 7.379 * [taylor]: Taking taylor expansion of 0 in y 7.392 * [taylor]: Taking taylor expansion of 0 in y 7.411 * [taylor]: Taking taylor expansion of 0 in y 7.441 * [taylor]: Taking taylor expansion of 0 in y 7.491 * [taylor]: Taking taylor expansion of 0 in y 7.491 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 7.491 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 7.491 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.491 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in y 7.491 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in y 7.491 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in y 7.491 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in y 7.491 * [taylor]: Taking taylor expansion of 4.0 in y 7.492 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 7.492 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.492 * [taylor]: Taking taylor expansion of -1 in y 7.492 * [taylor]: Taking taylor expansion of x in y 7.492 * [taylor]: Taking taylor expansion of 9.0 in y 7.492 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 7.492 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 7.492 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.492 * [taylor]: Taking taylor expansion of y in y 7.492 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 7.493 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.493 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 7.493 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 7.493 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 7.493 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 7.493 * [taylor]: Taking taylor expansion of 4.0 in x 7.493 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 7.493 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.493 * [taylor]: Taking taylor expansion of -1 in x 7.493 * [taylor]: Taking taylor expansion of x in x 7.494 * [taylor]: Taking taylor expansion of 9.0 in x 7.494 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 7.494 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 7.494 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.494 * [taylor]: Taking taylor expansion of y in x 7.495 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 7.495 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 7.495 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 7.495 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 7.495 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 7.495 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 7.495 * [taylor]: Taking taylor expansion of 4.0 in x 7.495 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 7.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.495 * [taylor]: Taking taylor expansion of -1 in x 7.495 * [taylor]: Taking taylor expansion of x in x 7.497 * [taylor]: Taking taylor expansion of 9.0 in x 7.497 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 7.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 7.497 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.497 * [taylor]: Taking taylor expansion of y in x 7.498 * [taylor]: Taking taylor expansion of (- (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) (/ 1 (pow y 4))) in y 7.498 * [taylor]: Taking taylor expansion of (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) in y 7.498 * [taylor]: Taking taylor expansion of 9.0 in y 7.498 * [taylor]: Taking taylor expansion of (exp (* 4.0 (- (log -1) (log x)))) in y 7.498 * [taylor]: Taking taylor expansion of (* 4.0 (- (log -1) (log x))) in y 7.498 * [taylor]: Taking taylor expansion of 4.0 in y 7.498 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 7.498 * [taylor]: Taking taylor expansion of (log -1) in y 7.498 * [taylor]: Taking taylor expansion of -1 in y 7.498 * [taylor]: Taking taylor expansion of (log x) in y 7.498 * [taylor]: Taking taylor expansion of x in y 7.499 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 7.499 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.499 * [taylor]: Taking taylor expansion of y in y 7.505 * [taylor]: Taking taylor expansion of 0 in y 7.513 * [taylor]: Taking taylor expansion of 0 in y 7.523 * [taylor]: Taking taylor expansion of 0 in y 7.542 * [taylor]: Taking taylor expansion of 0 in y 7.563 * [taylor]: Taking taylor expansion of 0 in y 7.594 * [taylor]: Taking taylor expansion of 0 in y 7.643 * [taylor]: Taking taylor expansion of 0 in y 7.643 * * * [progress]: simplifying candidates 7.644 * [simplify]: Simplifying using # : (expm1 (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (pow x 4.0) 9.0) (log (fma (pow x 4.0) 9.0 (- (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4))))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (* (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4)))) (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (- (* 9.0 (exp (* 4.0 (- (log -1) (log (/ -1 x)))))) (pow y 4)) 7.645 * * [simplify]: iteration 0 : 31 enodes (cost 155 ) 7.649 * * [simplify]: iteration 1 : 56 enodes (cost 155 ) 7.658 * * [simplify]: iteration 2 : 123 enodes (cost 137 ) 7.688 * * [simplify]: iteration 3 : 377 enodes (cost 134 ) 7.821 * * [simplify]: iteration 4 : 1314 enodes (cost 130 ) 8.740 * * [simplify]: iteration done : 5001 enodes (cost 130 ) 8.740 * [simplify]: Simplified to: (expm1 (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (pow x 4.0) 9.0) (log (fma (pow x 4.0) 9.0 (- (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4))))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (fma (pow x 4.0) 9.0 (- (pow y 4))) 8.740 * * * [progress]: adding candidates to table 8.780 * * [progress]: iteration 3 / 4 8.780 * * * [progress]: picking best candidate 8.783 * * * * [pick]: Picked # 8.783 * * * [progress]: localizing error 8.800 * * * [progress]: generating rewritten candidates 8.800 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 8.800 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 8.803 * * * [progress]: generating series expansions 8.803 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 8.803 * [approximate]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in (x y) around 0 8.803 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in y 8.803 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 8.803 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in y 8.803 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 8.803 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 8.803 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 8.803 * [taylor]: Taking taylor expansion of 4.0 in y 8.803 * [taylor]: Taking taylor expansion of (log x) in y 8.803 * [taylor]: Taking taylor expansion of x in y 8.803 * [taylor]: Taking taylor expansion of 9.0 in y 8.803 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 8.803 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.803 * [taylor]: Taking taylor expansion of y in y 8.803 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 8.803 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 8.803 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 8.803 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 8.803 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 8.803 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 8.803 * [taylor]: Taking taylor expansion of 4.0 in x 8.803 * [taylor]: Taking taylor expansion of (log x) in x 8.803 * [taylor]: Taking taylor expansion of x in x 8.804 * [taylor]: Taking taylor expansion of 9.0 in x 8.804 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 8.804 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.804 * [taylor]: Taking taylor expansion of y in x 8.804 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 8.804 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 8.804 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 8.804 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 8.804 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 8.804 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 8.805 * [taylor]: Taking taylor expansion of 4.0 in x 8.805 * [taylor]: Taking taylor expansion of (log x) in x 8.805 * [taylor]: Taking taylor expansion of x in x 8.805 * [taylor]: Taking taylor expansion of 9.0 in x 8.805 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 8.805 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.805 * [taylor]: Taking taylor expansion of y in x 8.806 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 8.806 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 8.806 * [taylor]: Taking taylor expansion of 9.0 in y 8.806 * [taylor]: Taking taylor expansion of (pow x 4) in y 8.806 * [taylor]: Taking taylor expansion of x in y 8.806 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.806 * [taylor]: Taking taylor expansion of y in y 8.809 * [taylor]: Taking taylor expansion of 0 in y 8.814 * [taylor]: Taking taylor expansion of 0 in y 8.822 * [taylor]: Taking taylor expansion of 0 in y 8.822 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 8.822 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 8.822 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.822 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in y 8.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in y 8.822 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in y 8.822 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in y 8.822 * [taylor]: Taking taylor expansion of 4.0 in y 8.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 8.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.822 * [taylor]: Taking taylor expansion of x in y 8.822 * [taylor]: Taking taylor expansion of 9.0 in y 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 8.823 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 8.823 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.823 * [taylor]: Taking taylor expansion of y in y 8.823 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 8.823 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.823 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 8.823 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 8.823 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 8.823 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 8.823 * [taylor]: Taking taylor expansion of 4.0 in x 8.823 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.824 * [taylor]: Taking taylor expansion of x in x 8.825 * [taylor]: Taking taylor expansion of 9.0 in x 8.825 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 8.825 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.825 * [taylor]: Taking taylor expansion of y in x 8.825 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 8.825 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.825 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 8.825 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 8.825 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 8.825 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 8.825 * [taylor]: Taking taylor expansion of 4.0 in x 8.825 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.825 * [taylor]: Taking taylor expansion of x in x 8.826 * [taylor]: Taking taylor expansion of 9.0 in x 8.826 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 8.826 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.826 * [taylor]: Taking taylor expansion of y in x 8.827 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 8.827 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 8.827 * [taylor]: Taking taylor expansion of 9.0 in y 8.827 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 8.827 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 8.827 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 8.827 * [taylor]: Taking taylor expansion of 1.0 in y 8.827 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 8.827 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 8.827 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 8.827 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 8.827 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 8.827 * [taylor]: Taking taylor expansion of 4.0 in y 8.827 * [taylor]: Taking taylor expansion of (log x) in y 8.827 * [taylor]: Taking taylor expansion of x in y 8.827 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 8.827 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.827 * [taylor]: Taking taylor expansion of y in y 8.832 * [taylor]: Taking taylor expansion of 0 in y 8.838 * [taylor]: Taking taylor expansion of 0 in y 8.850 * [taylor]: Taking taylor expansion of 0 in y 8.864 * [taylor]: Taking taylor expansion of 0 in y 8.881 * [taylor]: Taking taylor expansion of 0 in y 8.911 * [taylor]: Taking taylor expansion of 0 in y 8.956 * [taylor]: Taking taylor expansion of 0 in y 8.957 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 8.957 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 8.957 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.957 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in y 8.957 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in y 8.957 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in y 8.957 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in y 8.957 * [taylor]: Taking taylor expansion of 4.0 in y 8.957 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 8.957 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.957 * [taylor]: Taking taylor expansion of -1 in y 8.957 * [taylor]: Taking taylor expansion of x in y 8.957 * [taylor]: Taking taylor expansion of 9.0 in y 8.957 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 8.957 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 8.957 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.957 * [taylor]: Taking taylor expansion of y in y 8.958 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 8.958 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.958 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 8.958 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 8.958 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 8.958 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 8.958 * [taylor]: Taking taylor expansion of 4.0 in x 8.958 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 8.958 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.958 * [taylor]: Taking taylor expansion of -1 in x 8.958 * [taylor]: Taking taylor expansion of x in x 8.960 * [taylor]: Taking taylor expansion of 9.0 in x 8.960 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 8.960 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 8.960 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.960 * [taylor]: Taking taylor expansion of y in x 8.960 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 8.960 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 8.960 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 8.960 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 8.960 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 8.960 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 8.960 * [taylor]: Taking taylor expansion of 4.0 in x 8.960 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 8.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.960 * [taylor]: Taking taylor expansion of -1 in x 8.960 * [taylor]: Taking taylor expansion of x in x 8.962 * [taylor]: Taking taylor expansion of 9.0 in x 8.962 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 8.962 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 8.962 * [taylor]: Taking taylor expansion of (pow y 4) in x 8.962 * [taylor]: Taking taylor expansion of y in x 8.963 * [taylor]: Taking taylor expansion of (- (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) (/ 1 (pow y 4))) in y 8.963 * [taylor]: Taking taylor expansion of (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) in y 8.963 * [taylor]: Taking taylor expansion of 9.0 in y 8.963 * [taylor]: Taking taylor expansion of (exp (* 4.0 (- (log -1) (log x)))) in y 8.963 * [taylor]: Taking taylor expansion of (* 4.0 (- (log -1) (log x))) in y 8.963 * [taylor]: Taking taylor expansion of 4.0 in y 8.963 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 8.963 * [taylor]: Taking taylor expansion of (log -1) in y 8.963 * [taylor]: Taking taylor expansion of -1 in y 8.963 * [taylor]: Taking taylor expansion of (log x) in y 8.963 * [taylor]: Taking taylor expansion of x in y 8.964 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 8.964 * [taylor]: Taking taylor expansion of (pow y 4) in y 8.964 * [taylor]: Taking taylor expansion of y in y 8.970 * [taylor]: Taking taylor expansion of 0 in y 8.977 * [taylor]: Taking taylor expansion of 0 in y 8.988 * [taylor]: Taking taylor expansion of 0 in y 9.004 * [taylor]: Taking taylor expansion of 0 in y 9.024 * [taylor]: Taking taylor expansion of 0 in y 9.055 * [taylor]: Taking taylor expansion of 0 in y 9.101 * [taylor]: Taking taylor expansion of 0 in y 9.102 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 9.102 * [approximate]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in (x y) around 0 9.102 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in y 9.102 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 9.102 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in y 9.102 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 9.102 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 9.102 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 9.102 * [taylor]: Taking taylor expansion of 4.0 in y 9.102 * [taylor]: Taking taylor expansion of (log x) in y 9.102 * [taylor]: Taking taylor expansion of x in y 9.102 * [taylor]: Taking taylor expansion of 9.0 in y 9.102 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 9.102 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 9.102 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 9.103 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 9.103 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 9.103 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 9.103 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 9.103 * [taylor]: Taking taylor expansion of 4.0 in x 9.103 * [taylor]: Taking taylor expansion of (log x) in x 9.103 * [taylor]: Taking taylor expansion of x in x 9.103 * [taylor]: Taking taylor expansion of 9.0 in x 9.103 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 9.103 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.103 * [taylor]: Taking taylor expansion of y in x 9.103 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (- (pow y 4))) in x 9.103 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (- (pow y 4))) 9.104 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 9.104 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 9.104 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 9.104 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 9.104 * [taylor]: Taking taylor expansion of 4.0 in x 9.104 * [taylor]: Taking taylor expansion of (log x) in x 9.104 * [taylor]: Taking taylor expansion of x in x 9.104 * [taylor]: Taking taylor expansion of 9.0 in x 9.104 * [taylor]: Taking taylor expansion of (- (pow y 4)) in x 9.104 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.104 * [taylor]: Taking taylor expansion of y in x 9.105 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 4)) (pow y 4)) in y 9.105 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 9.105 * [taylor]: Taking taylor expansion of 9.0 in y 9.105 * [taylor]: Taking taylor expansion of (pow x 4) in y 9.105 * [taylor]: Taking taylor expansion of x in y 9.105 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.105 * [taylor]: Taking taylor expansion of y in y 9.108 * [taylor]: Taking taylor expansion of 0 in y 9.113 * [taylor]: Taking taylor expansion of 0 in y 9.121 * [taylor]: Taking taylor expansion of 0 in y 9.121 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 9.121 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 9.121 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.121 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in y 9.121 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in y 9.121 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in y 9.121 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in y 9.121 * [taylor]: Taking taylor expansion of 4.0 in y 9.121 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 9.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.121 * [taylor]: Taking taylor expansion of x in y 9.121 * [taylor]: Taking taylor expansion of 9.0 in y 9.122 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 9.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 9.122 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.122 * [taylor]: Taking taylor expansion of y in y 9.122 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 9.122 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.122 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 9.122 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 9.122 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 9.122 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 9.122 * [taylor]: Taking taylor expansion of 4.0 in x 9.122 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.123 * [taylor]: Taking taylor expansion of x in x 9.123 * [taylor]: Taking taylor expansion of 9.0 in x 9.123 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 9.123 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.123 * [taylor]: Taking taylor expansion of y in x 9.124 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 9.124 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.124 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 9.124 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 9.124 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 9.124 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 9.124 * [taylor]: Taking taylor expansion of 4.0 in x 9.124 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.124 * [taylor]: Taking taylor expansion of x in x 9.125 * [taylor]: Taking taylor expansion of 9.0 in x 9.125 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 9.125 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 9.125 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.125 * [taylor]: Taking taylor expansion of y in x 9.125 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (/ 1 (pow y 4))) in y 9.125 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 9.125 * [taylor]: Taking taylor expansion of 9.0 in y 9.125 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 9.125 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 9.125 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 9.125 * [taylor]: Taking taylor expansion of 1.0 in y 9.125 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 9.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 9.126 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 9.126 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 9.126 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 9.126 * [taylor]: Taking taylor expansion of 4.0 in y 9.126 * [taylor]: Taking taylor expansion of (log x) in y 9.126 * [taylor]: Taking taylor expansion of x in y 9.126 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 9.126 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.126 * [taylor]: Taking taylor expansion of y in y 9.131 * [taylor]: Taking taylor expansion of 0 in y 9.138 * [taylor]: Taking taylor expansion of 0 in y 9.147 * [taylor]: Taking taylor expansion of 0 in y 9.162 * [taylor]: Taking taylor expansion of 0 in y 9.180 * [taylor]: Taking taylor expansion of 0 in y 9.210 * [taylor]: Taking taylor expansion of 0 in y 9.256 * [taylor]: Taking taylor expansion of 0 in y 9.257 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in (x y) around 0 9.257 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in y 9.257 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.257 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in y 9.257 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in y 9.257 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in y 9.257 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in y 9.257 * [taylor]: Taking taylor expansion of 4.0 in y 9.257 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 9.257 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.257 * [taylor]: Taking taylor expansion of -1 in y 9.257 * [taylor]: Taking taylor expansion of x in y 9.257 * [taylor]: Taking taylor expansion of 9.0 in y 9.257 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 9.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 9.257 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.257 * [taylor]: Taking taylor expansion of y in y 9.258 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 9.258 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.258 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 9.258 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 9.258 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 9.258 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 9.258 * [taylor]: Taking taylor expansion of 4.0 in x 9.258 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 9.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.258 * [taylor]: Taking taylor expansion of -1 in x 9.258 * [taylor]: Taking taylor expansion of x in x 9.260 * [taylor]: Taking taylor expansion of 9.0 in x 9.260 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 9.260 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 9.260 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.260 * [taylor]: Taking taylor expansion of y in x 9.260 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (- (/ 1 (pow y 4)))) in x 9.260 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (- (/ 1 (pow y 4)))) 9.260 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 9.260 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 9.260 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 9.260 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 9.260 * [taylor]: Taking taylor expansion of 4.0 in x 9.260 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 9.260 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.260 * [taylor]: Taking taylor expansion of -1 in x 9.260 * [taylor]: Taking taylor expansion of x in x 9.262 * [taylor]: Taking taylor expansion of 9.0 in x 9.262 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in x 9.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 9.262 * [taylor]: Taking taylor expansion of (pow y 4) in x 9.262 * [taylor]: Taking taylor expansion of y in x 9.263 * [taylor]: Taking taylor expansion of (- (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) (/ 1 (pow y 4))) in y 9.263 * [taylor]: Taking taylor expansion of (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) in y 9.263 * [taylor]: Taking taylor expansion of 9.0 in y 9.263 * [taylor]: Taking taylor expansion of (exp (* 4.0 (- (log -1) (log x)))) in y 9.263 * [taylor]: Taking taylor expansion of (* 4.0 (- (log -1) (log x))) in y 9.263 * [taylor]: Taking taylor expansion of 4.0 in y 9.263 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 9.263 * [taylor]: Taking taylor expansion of (log -1) in y 9.263 * [taylor]: Taking taylor expansion of -1 in y 9.263 * [taylor]: Taking taylor expansion of (log x) in y 9.264 * [taylor]: Taking taylor expansion of x in y 9.264 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 9.264 * [taylor]: Taking taylor expansion of (pow y 4) in y 9.264 * [taylor]: Taking taylor expansion of y in y 9.270 * [taylor]: Taking taylor expansion of 0 in y 9.278 * [taylor]: Taking taylor expansion of 0 in y 9.288 * [taylor]: Taking taylor expansion of 0 in y 9.303 * [taylor]: Taking taylor expansion of 0 in y 9.325 * [taylor]: Taking taylor expansion of 0 in y 9.356 * [taylor]: Taking taylor expansion of 0 in y 9.404 * [taylor]: Taking taylor expansion of 0 in y 9.404 * * * [progress]: simplifying candidates 9.405 * [simplify]: Simplifying using # : (expm1 (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (pow x 4.0) 9.0) (log (fma (pow x 4.0) 9.0 (- (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4))))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* (* (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4)))) (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (expm1 (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (log1p (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (log (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (exp (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (pow (* (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4))))) 3)) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (cbrt (* (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (* (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)))) (cbrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (pow (* (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4))))) 3)) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (* (fma (pow x 4.0) 9.0 (- (pow y 4))) (fma (pow x 4.0) 9.0 (- (pow y 4))))) (cbrt (sqrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (sqrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt 1) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) (/ 3 2))) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) (/ 3 2))) (* (cbrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)))) (cbrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (* (* (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (sqrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (sqrt (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (- (* 9.0 (exp (* 4.0 (- (log -1) (log (/ -1 x)))))) (pow y 4)) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (- (* 9.0 (exp (* 4.0 (- (log -1) (log (/ -1 x)))))) (pow y 4)) 9.407 * * [simplify]: iteration 0 : 61 enodes (cost 666 ) 9.418 * * [simplify]: iteration 1 : 112 enodes (cost 537 ) 9.437 * * [simplify]: iteration 2 : 262 enodes (cost 488 ) 9.517 * * [simplify]: iteration 3 : 907 enodes (cost 482 ) 10.323 * * [simplify]: iteration done : 5000 enodes (cost 474 ) 10.323 * [simplify]: Simplified to: (expm1 (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* 9.0 (pow x 4.0)) (log (fma (pow x 4.0) 9.0 (- (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (expm1 (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log1p (fma (pow x 4.0) 9.0 (- (pow y 4)))) (log (fma (pow x 4.0) 9.0 (- (pow y 4)))) (exp (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 1 (fma 9.0 (pow x 4.0) (- (pow y 4))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 1 (fma 9.0 (pow x 4.0) (- (pow y 4))) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (sqrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) (cbrt (sqrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3))) 1 (fma 9.0 (pow x 4.0) (- (pow y 4))) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3/2)) (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3/2)) (cbrt (pow (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) 6)) (cbrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (sqrt (fma (pow x 4.0) 9.0 (- (pow y 4)))) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (fma 9.0 (pow x 4.0) (- (pow y 4))) (* 9.0 (pow x 4)) (- (* 9.0 (pow x 4)) (pow y 4)) (fma 9.0 (pow x 4.0) (- (pow y 4))) 10.323 * * * [progress]: adding candidates to table 10.435 * [progress]: [Phase 3 of 3] Extracting. 10.438 * [simplify]: Simplifying using # : (- (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (* (* y y) (- 2.0))) 10.439 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 10.439 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 10.440 * * [simplify]: iteration 2 : 23 enodes (cost 19 ) 10.440 * * [simplify]: iteration 3 : 27 enodes (cost 19 ) 10.441 * * [simplify]: iteration done : 27 enodes (cost 19 ) 10.441 * [simplify]: Simplified to: (- (cbrt (pow (fma (pow x 4.0) 9.0 (- (pow y 4))) 3)) (* (* y y) (- 2.0))) 11.148 * [regime-testing]: End program error score: 51.99999982801125