13.202 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.054 * [simplify]: Simplifying using # : (- (pow x 4.0) (pow y 4.0)) 0.055 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.056 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 0.057 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 0.067 * * [simplify]: iteration 3 : 69 enodes (cost 7 ) 0.079 * * [simplify]: iteration 4 : 181 enodes (cost 7 ) 0.132 * * [simplify]: iteration 5 : 567 enodes (cost 7 ) 0.497 * * [simplify]: iteration 6 : 2493 enodes (cost 7 ) 1.642 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.642 * [simplify]: Simplified to: (- (pow x 4.0) (pow y 4.0)) 1.642 * * [progress]: iteration 1 / 4 1.642 * * * [progress]: picking best candidate 1.645 * * * * [pick]: Picked # 1.645 * * * [progress]: localizing error 1.651 * * * [progress]: generating rewritten candidates 1.651 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 1.654 * * * [progress]: generating series expansions 1.654 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 1.654 * [approximate]: Taking taylor expansion of (pow y 4.0) in (y) around 0 1.654 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 1.654 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 1.654 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 1.654 * [taylor]: Taking taylor expansion of 4.0 in y 1.654 * [taylor]: Taking taylor expansion of (log y) in y 1.654 * [taylor]: Taking taylor expansion of y in y 1.654 * [taylor]: Taking taylor expansion of (pow y 4.0) in y 1.654 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y 1.654 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y 1.654 * [taylor]: Taking taylor expansion of 4.0 in y 1.654 * [taylor]: Taking taylor expansion of (log y) in y 1.654 * [taylor]: Taking taylor expansion of y in y 1.661 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 4.0) in (y) around 0 1.661 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 4.0) in y 1.661 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 y)))) in y 1.661 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 y))) in y 1.661 * [taylor]: Taking taylor expansion of 4.0 in y 1.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.661 * [taylor]: Taking taylor expansion of y in y 1.661 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 4.0) in y 1.661 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 y)))) in y 1.661 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 y))) in y 1.661 * [taylor]: Taking taylor expansion of 4.0 in y 1.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.661 * [taylor]: Taking taylor expansion of y in y 1.668 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 4.0) in (y) around 0 1.668 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 4.0) in y 1.668 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 y)))) in y 1.668 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 y))) in y 1.668 * [taylor]: Taking taylor expansion of 4.0 in y 1.668 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.668 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.668 * [taylor]: Taking taylor expansion of -1 in y 1.668 * [taylor]: Taking taylor expansion of y in y 1.668 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 4.0) in y 1.668 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 y)))) in y 1.668 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 y))) in y 1.668 * [taylor]: Taking taylor expansion of 4.0 in y 1.668 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.668 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.668 * [taylor]: Taking taylor expansion of -1 in y 1.668 * [taylor]: Taking taylor expansion of y in y 1.680 * * * [progress]: simplifying candidates 1.680 * [simplify]: Simplifying using # : (* (log y) 4.0) (* (log y) 4.0) (* 1 4.0) (pow y (* (cbrt 4.0) (cbrt 4.0))) (pow y (sqrt 4.0)) (pow y 1) (pow (* (cbrt y) (cbrt y)) 4.0) (pow (cbrt y) 4.0) (pow (sqrt y) 4.0) (pow (sqrt y) 4.0) (pow 1 4.0) (pow y 4.0) (log (pow y 4.0)) (exp (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (cbrt (pow y 4.0)) (* (* (pow y 4.0) (pow y 4.0)) (pow y 4.0)) (sqrt (pow y 4.0)) (sqrt (pow y 4.0)) (pow y (/ 4.0 2)) (pow y (/ 4.0 2)) (exp (* 4.0 (+ (log y) (log 1)))) (exp (* 4.0 (- (log 1) (log (/ 1 y))))) (exp (* 4.0 (- (log -1) (log (/ -1 y))))) 1.682 * * [simplify]: iteration 0 : 46 enodes (cost 128 ) 1.689 * * [simplify]: iteration 1 : 94 enodes (cost 117 ) 1.702 * * [simplify]: iteration 2 : 189 enodes (cost 108 ) 1.740 * * [simplify]: iteration 3 : 451 enodes (cost 97 ) 1.975 * * [simplify]: iteration 4 : 1407 enodes (cost 97 ) 3.388 * * [simplify]: iteration done : 5000 enodes (cost 97 ) 3.388 * [simplify]: Simplified to: (* 4.0 (log y)) (* 4.0 (log y)) 4.0 (pow y (* (cbrt 4.0) (cbrt 4.0))) (pow y (sqrt 4.0)) y (pow (* (cbrt y) (cbrt y)) 4.0) (pow (cbrt y) 4.0) (pow (sqrt y) 4.0) (pow (sqrt y) 4.0) 1 (pow y 4.0) (* 4.0 (log y)) (exp (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (cbrt (pow y 4.0)) (pow (pow y 4.0) 3) (sqrt (pow y 4.0)) (sqrt (pow y 4.0)) (pow y (/ 4.0 2)) (pow y (/ 4.0 2)) (pow y 4.0) (pow y 4.0) (pow y 4.0) 3.388 * * * [progress]: adding candidates to table 3.413 * [progress]: [Phase 3 of 3] Extracting. 3.416 * [simplify]: Simplifying using # : (- (pow x 4.0) (pow y 4.0)) 3.416 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 3.417 * * [simplify]: iteration done : 6 enodes (cost 7 ) 3.417 * [simplify]: Simplified to: (- (pow x 4.0) (pow y 4.0)) 5.207 * [regime-testing]: End program error score: 0.003363781797175712