10.959 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) 0.020 * * [simplify]: iteration 0 : 10 enodes (cost 28 ) 0.020 * * [simplify]: iteration 1 : 10 enodes (cost 28 ) 0.020 * [simplify]: Simplified to: (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.031 * * * [progress]: generating rewritten candidates 0.031 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 0.031 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1) 0.031 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 0.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.031 * * * [progress]: generating series expansions 0.031 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 0.033 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 0.033 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.033 * [taylor]: Taking taylor expansion of d1 in d1 0.033 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.033 * [taylor]: Taking taylor expansion of d1 in d1 0.053 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 0.053 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.053 * [taylor]: Taking taylor expansion of d1 in d1 0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 0.054 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.054 * [taylor]: Taking taylor expansion of d1 in d1 0.091 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 0.091 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 0.091 * [taylor]: Taking taylor expansion of -1 in d1 0.091 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.091 * [taylor]: Taking taylor expansion of d1 in d1 0.092 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 0.092 * [taylor]: Taking taylor expansion of -1 in d1 0.092 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 0.092 * [taylor]: Taking taylor expansion of d1 in d1 0.118 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1) 0.119 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 0.119 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.119 * [taylor]: Taking taylor expansion of d1 in d1 0.119 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.119 * [taylor]: Taking taylor expansion of d1 in d1 0.129 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 0.129 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.129 * [taylor]: Taking taylor expansion of d1 in d1 0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 0.129 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.129 * [taylor]: Taking taylor expansion of d1 in d1 0.145 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 0.145 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 0.145 * [taylor]: Taking taylor expansion of -1 in d1 0.145 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.145 * [taylor]: Taking taylor expansion of d1 in d1 0.145 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 0.145 * [taylor]: Taking taylor expansion of -1 in d1 0.145 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 0.145 * [taylor]: Taking taylor expansion of d1 in d1 0.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 0.162 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 0.162 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.162 * [taylor]: Taking taylor expansion of d1 in d1 0.162 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.162 * [taylor]: Taking taylor expansion of d1 in d1 0.175 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 0.175 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.175 * [taylor]: Taking taylor expansion of d1 in d1 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 0.175 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.175 * [taylor]: Taking taylor expansion of d1 in d1 0.192 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 0.192 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 0.192 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.192 * [taylor]: Taking taylor expansion of d1 in d1 0.192 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 0.192 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 0.192 * [taylor]: Taking taylor expansion of d1 in d1 0.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.208 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 0.208 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.208 * [taylor]: Taking taylor expansion of d1 in d1 0.208 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.208 * [taylor]: Taking taylor expansion of d1 in d1 0.233 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 0.233 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.233 * [taylor]: Taking taylor expansion of d1 in d1 0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 0.234 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.234 * [taylor]: Taking taylor expansion of d1 in d1 0.262 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 0.262 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 0.262 * [taylor]: Taking taylor expansion of -1 in d1 0.262 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.262 * [taylor]: Taking taylor expansion of d1 in d1 0.262 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 0.262 * [taylor]: Taking taylor expansion of -1 in d1 0.262 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 0.262 * [taylor]: Taking taylor expansion of d1 in d1 0.294 * * * [progress]: simplifying candidates 0.295 * [simplify]: Simplifying using # : (pow.f64 d1 7) (pow.f64 d1 7) (pow.f64 d1 7) (pow.f64 d1 3) (pow.f64 d1 3) (pow.f64 d1 3) (pow.f64 d1 4) (pow.f64 d1 4) (pow.f64 d1 4) (pow.f64 d1 9) (pow.f64 d1 9) (pow.f64 d1 9) 0.295 * * [simplify]: iteration 0 : 10 enodes (cost 48 ) 0.295 * * [simplify]: iteration 1 : 10 enodes (cost 48 ) 0.295 * [simplify]: Simplified to: (pow.f64 d1 7) (pow.f64 d1 7) (pow.f64 d1 7) (pow.f64 d1 3) (pow.f64 d1 3) (pow.f64 d1 3) (pow.f64 d1 4) (pow.f64 d1 4) (pow.f64 d1 4) (pow.f64 d1 9) (pow.f64 d1 9) (pow.f64 d1 9) 0.296 * * * [progress]: adding candidates to table 0.304 * * [progress]: iteration 2 / 4 0.304 * * * [progress]: picking best candidate 0.307 * * * * [pick]: Picked # 0.307 * * * [progress]: localizing error 0.310 * * * [progress]: generating rewritten candidates 0.310 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.310 * * * [progress]: generating series expansions 0.310 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.311 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 0.311 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.311 * [taylor]: Taking taylor expansion of d1 in d1 0.311 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.311 * [taylor]: Taking taylor expansion of d1 in d1 0.334 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 0.335 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.335 * [taylor]: Taking taylor expansion of d1 in d1 0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 0.335 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.335 * [taylor]: Taking taylor expansion of d1 in d1 0.361 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 0.362 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 0.362 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.362 * [taylor]: Taking taylor expansion of d1 in d1 0.362 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 0.362 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 0.362 * [taylor]: Taking taylor expansion of d1 in d1 0.393 * * * [progress]: simplifying candidates 0.393 * [simplify]: Simplifying using # : (pow.f64 d1 10) (pow.f64 d1 10) (pow.f64 d1 10) 0.393 * * [simplify]: iteration 0 : 4 enodes (cost 12 ) 0.393 * * [simplify]: iteration 1 : 4 enodes (cost 12 ) 0.393 * [simplify]: Simplified to: (pow.f64 d1 10) (pow.f64 d1 10) (pow.f64 d1 10) 0.393 * * * [progress]: adding candidates to table 0.396 * * [progress]: iteration 3 / 4 0.397 * * * [progress]: picking best candidate 0.397 * * * * [pick]: Picked # 0.397 * * * [progress]: localizing error 0.400 * * * [progress]: generating rewritten candidates 0.400 * * * [progress]: generating series expansions 0.400 * * * [progress]: simplifying candidates 0.400 * [simplify]: Simplifying using # : 0.400 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.400 * [simplify]: Simplified to: 0.400 * * * [progress]: adding candidates to table 0.400 * [progress]: [Phase 3 of 3] Extracting. 0.401 * [simplify]: Simplifying using # : (pow.f64 d1 10) 0.401 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.401 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.401 * [simplify]: Simplified to: (pow.f64 d1 10) 0.850 * [regime-testing]: End program error score: 0 0.866 * [regime-testing]: Target error score: 0