15.609 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.010 * [progress]: [Phase 2 of 3] Improving. 0.010 * [simplify]: Simplifying using # : (+.f64 x (/.f64 1 3)) 0.022 * * [simplify]: iteration 0 : 9 enodes (cost 4 ) 0.022 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 0.023 * [simplify]: Simplified to: (+.f64 x 1/3) 0.025 * * [progress]: iteration 1 / 4 0.025 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.031 * * * [progress]: generating series expansions 0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.032 * [approximate]: Taking taylor expansion of (+ x 1/3) in (x) around 0 0.032 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of 1/3 in x 0.032 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of 1/3 in x 0.033 * [approximate]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in (x) around 0 0.033 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.033 * [taylor]: Taking taylor expansion of 1/3 in x 0.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.033 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.033 * [taylor]: Taking taylor expansion of 1/3 in x 0.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.038 * [approximate]: Taking taylor expansion of (- 1/3 (/ 1 x)) in (x) around 0 0.038 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.038 * [taylor]: Taking taylor expansion of 1/3 in x 0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.038 * [taylor]: Taking taylor expansion of 1/3 in x 0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.044 * * * [progress]: simplifying candidates 0.044 * [simplify]: Simplifying using # : (*.f64 (exp.f64 x) (exp.f64 1/3)) (exp.f64 (+.f64 x 1/3)) (log.f64 (+.f64 x 1/3)) (*.f64 (*.f64 (+.f64 x 1/3) (+.f64 x 1/3)) (+.f64 x 1/3)) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (+.f64 (pow.f64 x 3) (pow.f64 1/3 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 1/3 1/3) (*.f64 x 1/3))) (-.f64 (*.f64 x x) (*.f64 1/3 1/3)) (-.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) 0.173 * * [simplify]: iteration 0 : 4889 enodes (cost 101 ) 0.174 * * [simplify]: iteration 1 : 4889 enodes (cost 101 ) 0.175 * [simplify]: Simplified to: (exp.f64 (+.f64 x 1/3)) (exp.f64 (+.f64 x 1/3)) (log.f64 (+.f64 x 1/3)) (pow.f64 (+.f64 x 1/3) 3) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))) (-.f64 (*.f64 x x) 1/9) (-.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) 0.175 * * * [progress]: adding candidates to table 0.182 * * [progress]: iteration 2 / 4 0.182 * * * [progress]: picking best candidate 0.186 * * * * [pick]: Picked # 0.186 * * * [progress]: localizing error 0.191 * * * [progress]: generating rewritten candidates 0.191 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.196 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.200 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.204 * * * [progress]: generating series expansions 0.204 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.205 * [approximate]: Taking taylor expansion of (+ x 1/3) in (x) around 0 0.205 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of 1/3 in x 0.205 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of 1/3 in x 0.206 * [approximate]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in (x) around 0 0.206 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 1/3 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 1/3 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.211 * [approximate]: Taking taylor expansion of (- 1/3 (/ 1 x)) in (x) around 0 0.211 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 1/3 in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 1/3 in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.217 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.218 * [approximate]: Taking taylor expansion of (exp (+ x 1/3)) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (exp (+ x 1/3)) in x 0.218 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of 1/3 in x 0.218 * [taylor]: Taking taylor expansion of (exp (+ x 1/3)) in x 0.218 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of 1/3 in x 0.221 * [approximate]: Taking taylor expansion of (exp (+ 1/3 (/ 1 x))) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (exp (+ 1/3 (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of 1/3 in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (exp (+ 1/3 (/ 1 x))) in x 0.221 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of 1/3 in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.222 * [approximate]: Taking taylor expansion of (exp (- 1/3 (/ 1 x))) in (x) around 0 0.222 * [taylor]: Taking taylor expansion of (exp (- 1/3 (/ 1 x))) in x 0.222 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of 1/3 in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (exp (- 1/3 (/ 1 x))) in x 0.223 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of 1/3 in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.224 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.224 * [approximate]: Taking taylor expansion of (+ x 1/3) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 1/3 in x 0.224 * [taylor]: Taking taylor expansion of (+ x 1/3) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of 1/3 in x 0.225 * [approximate]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.225 * [taylor]: Taking taylor expansion of 1/3 in x 0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (+ 1/3 (/ 1 x)) in x 0.226 * [taylor]: Taking taylor expansion of 1/3 in x 0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.231 * [approximate]: Taking taylor expansion of (- 1/3 (/ 1 x)) in (x) around 0 0.231 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of 1/3 in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of (- 1/3 (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of 1/3 in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.236 * * * [progress]: simplifying candidates 0.237 * [simplify]: Simplifying using # : (log.f64 (exp.f64 (+.f64 x 1/3))) (log.f64 (exp.f64 (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))))) (log.f64 (exp.f64 (sqrt.f64 (+.f64 x 1/3)))) (log.f64 (exp.f64 1)) (log.f64 (exp.f64 1)) (log.f64 (exp.f64 x)) (log.f64 (exp.f64 1/3)) (log.f64 (*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3))) (cbrt.f64 (exp.f64 (+.f64 x 1/3))))) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3)))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 x 1/3)))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 x 1/3)))) (log.f64 1) (log.f64 (exp.f64 (+.f64 x 1/3))) (exp.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (log.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (*.f64 (*.f64 (log.f64 (exp.f64 (+.f64 x 1/3))) (log.f64 (exp.f64 (+.f64 x 1/3)))) (log.f64 (exp.f64 (+.f64 x 1/3)))) (*.f64 (cbrt.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (cbrt.f64 (log.f64 (exp.f64 (+.f64 x 1/3))))) (cbrt.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (sqrt.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (sqrt.f64 (log.f64 (exp.f64 (+.f64 x 1/3)))) (exp.f64 (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3)))) (exp.f64 (sqrt.f64 (+.f64 x 1/3))) (exp.f64 1) (exp.f64 1) (exp.f64 x) (exp.f64 1/3) (exp.f64 (exp.f64 (+.f64 x 1/3))) (log.f64 (exp.f64 (+.f64 x 1/3))) (*.f64 (*.f64 (exp.f64 (+.f64 x 1/3)) (exp.f64 (+.f64 x 1/3))) (exp.f64 (+.f64 x 1/3))) (*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3))) (cbrt.f64 (exp.f64 (+.f64 x 1/3)))) (cbrt.f64 (exp.f64 (+.f64 x 1/3))) (sqrt.f64 (exp.f64 (+.f64 x 1/3))) (sqrt.f64 (exp.f64 (+.f64 x 1/3))) (*.f64 (exp.f64 x) (exp.f64 1/3)) (exp.f64 (+.f64 x 1/3)) (log.f64 (+.f64 x 1/3)) (*.f64 (*.f64 (+.f64 x 1/3) (+.f64 x 1/3)) (+.f64 x 1/3)) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (+.f64 (pow.f64 x 3) (pow.f64 1/3 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 1/3 1/3) (*.f64 x 1/3))) (-.f64 (*.f64 x x) (*.f64 1/3 1/3)) (-.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 (*.f64 x (exp.f64 1/3)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 x 2) (exp.f64 1/3))) (exp.f64 1/3))) (exp.f64 (+.f64 x 1/3)) (exp.f64 (+.f64 x 1/3)) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) 0.334 * * [simplify]: iteration 0 : 4886 enodes (cost 363 ) 0.334 * * [simplify]: iteration 1 : 4886 enodes (cost 363 ) 0.338 * [simplify]: Simplified to: (+.f64 x 1/3) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (sqrt.f64 (+.f64 x 1/3)) 1 1 x 1/3 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3)))) 2) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3)))) (*.f64 1/2 (+.f64 x 1/3)) (*.f64 1/2 (+.f64 x 1/3)) (log.f64 1) (+.f64 x 1/3) (exp.f64 (+.f64 x 1/3)) (log.f64 (+.f64 x 1/3)) (pow.f64 (+.f64 x 1/3) 3) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (exp.f64 (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3)))) (exp.f64 (sqrt.f64 (+.f64 x 1/3))) E.f64 E.f64 (exp.f64 x) (exp.f64 1/3) (exp.f64 (exp.f64 (+.f64 x 1/3))) (+.f64 x 1/3) (pow.f64 (exp.f64 (+.f64 x 1/3)) 3) (*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1/3))) (cbrt.f64 (exp.f64 (+.f64 x 1/3)))) (cbrt.f64 (exp.f64 (+.f64 x 1/3))) (sqrt.f64 (exp.f64 (+.f64 x 1/3))) (sqrt.f64 (exp.f64 (+.f64 x 1/3))) (exp.f64 (+.f64 x 1/3)) (exp.f64 (+.f64 x 1/3)) (log.f64 (+.f64 x 1/3)) (pow.f64 (+.f64 x 1/3) 3) (*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))) (-.f64 (*.f64 x x) 1/9) (-.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) (*.f64 (exp.f64 1/3) (+.f64 x (+.f64 1 (*.f64 (*.f64 x x) 1/2)))) (exp.f64 (+.f64 x 1/3)) (exp.f64 (+.f64 x 1/3)) (+.f64 x 1/3) (+.f64 x 1/3) (+.f64 x 1/3) 0.338 * * * [progress]: adding candidates to table 0.360 * [progress]: [Phase 3 of 3] Extracting. 0.360 * * [regime]: Finding splitpoints for: (# #) 0.360 * * * [regime-changes]: Trying 1 branch expressions: (x) 0.360 * * * * [regimes]: Trying to branch on x from (# #) 0.368 * * * [regime]: Found split indices: #