10.085 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.008 * * * [progress]: [2/2] Setting up program. 0.009 * [progress]: [Phase 2 of 3] Improving. 0.009 * [simplify]: Simplifying using # : (/ (+ x 16.0) 116.0) 0.011 * * [simplify]: iteration 0 : 6 enodes (cost 2 ) 0.013 * * [simplify]: iteration 1 : 6 enodes (cost 2 ) 0.013 * [simplify]: Simplified to: (/ (+ x 16.0) 116.0) 0.013 * * [progress]: iteration 1 / 4 0.013 * * * [progress]: picking best candidate 0.014 * * * * [pick]: Picked # 0.014 * * * [progress]: localizing error 0.017 * * * [progress]: generating rewritten candidates 0.017 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.026 * * * [progress]: generating series expansions 0.026 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.026 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in (x) around 0 0.026 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.026 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.026 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.026 * [taylor]: Taking taylor expansion of x in x 0.026 * [taylor]: Taking taylor expansion of 16.0 in x 0.027 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ x 16.0)) in x 0.027 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.027 * [taylor]: Taking taylor expansion of (+ x 16.0) in x 0.027 * [taylor]: Taking taylor expansion of x in x 0.027 * [taylor]: Taking taylor expansion of 16.0 in x 0.038 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in (x) around 0 0.038 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.038 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.038 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.038 * [taylor]: Taking taylor expansion of 16.0 in x 0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (+ 16.0 (/ 1 x))) in x 0.039 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.039 * [taylor]: Taking taylor expansion of (+ 16.0 (/ 1 x)) in x 0.039 * [taylor]: Taking taylor expansion of 16.0 in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.051 * [approximate]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in (x) around 0 0.051 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.051 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.051 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of 16.0 in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of (* 0.008620689655172414 (- 16.0 (/ 1 x))) in x 0.051 * [taylor]: Taking taylor expansion of 0.008620689655172414 in x 0.051 * [taylor]: Taking taylor expansion of (- 16.0 (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of 16.0 in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.066 * * * [progress]: simplifying candidates 0.066 * [simplify]: Simplifying using # : (expm1 (/ (+ x 16.0) 116.0)) (log1p (/ (+ x 16.0) 116.0)) (- (log (+ x 16.0)) (log 116.0)) (log (/ (+ x 16.0) 116.0)) (exp (/ (+ x 16.0) 116.0)) (/ (* (* (+ x 16.0) (+ x 16.0)) (+ x 16.0)) (* (* 116.0 116.0) 116.0)) (* (cbrt (/ (+ x 16.0) 116.0)) (cbrt (/ (+ x 16.0) 116.0))) (cbrt (/ (+ x 16.0) 116.0)) (* (* (/ (+ x 16.0) 116.0) (/ (+ x 16.0) 116.0)) (/ (+ x 16.0) 116.0)) (sqrt (/ (+ x 16.0) 116.0)) (sqrt (/ (+ x 16.0) 116.0)) (- (+ x 16.0)) (- 116.0) (/ (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) (* (cbrt 116.0) (cbrt 116.0))) (/ (cbrt (+ x 16.0)) (cbrt 116.0)) (/ (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) (sqrt 116.0)) (/ (cbrt (+ x 16.0)) (sqrt 116.0)) (/ (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) 1) (/ (cbrt (+ x 16.0)) 116.0) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (sqrt 116.0)) (/ (sqrt (+ x 16.0)) (sqrt 116.0)) (/ (sqrt (+ x 16.0)) 1) (/ (sqrt (+ x 16.0)) 116.0) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (cbrt 116.0)) (/ 1 (sqrt 116.0)) (/ (+ x 16.0) (sqrt 116.0)) (/ 1 1) (/ (+ x 16.0) 116.0) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (cbrt 116.0)) (/ 1 (sqrt 116.0)) (/ (+ x 16.0) (sqrt 116.0)) (/ 1 1) (/ (+ x 16.0) 116.0) (/ 1 116.0) (/ 116.0 (+ x 16.0)) (/ (+ x 16.0) (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (sqrt 116.0)) (/ (+ x 16.0) 1) (/ 116.0 (cbrt (+ x 16.0))) (/ 116.0 (sqrt (+ x 16.0))) (/ 116.0 (+ x 16.0)) (/ 116.0 (+ x 16.0)) (* 116.0 (+ (* x x) (- (* 16.0 16.0) (* x 16.0)))) (* 116.0 (- x 16.0)) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) (+ (* 0.008620689655172414 x) 0.13793103448275862) 0.070 * * [simplify]: iteration 0 : 135 enodes (cost 165 ) 0.072 * * [simplify]: iteration 1 : 399 enodes (cost 155 ) 0.078 * * [simplify]: iteration 2 : 1059 enodes (cost 155 ) 0.096 * * [simplify]: iteration 3 : 3500 enodes (cost 154 ) 0.144 * * [simplify]: iteration 4 : 5002 enodes (cost 154 ) 0.145 * [simplify]: Simplified to: (expm1 (/ (+ x 16.0) 116.0)) (log1p (/ (+ x 16.0) 116.0)) (log (/ (+ x 16.0) 116.0)) (log (/ (+ x 16.0) 116.0)) (exp (/ (+ x 16.0) 116.0)) (pow (/ (+ x 16.0) 116.0) 3) (* (cbrt (/ (+ x 16.0) 116.0)) (cbrt (/ (+ x 16.0) 116.0))) (cbrt (/ (+ x 16.0) 116.0)) (pow (/ (+ x 16.0) 116.0) 3) (sqrt (/ (+ x 16.0) 116.0)) (sqrt (/ (+ x 16.0) 116.0)) (- (+ x 16.0)) (- 116.0) (/ (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) (* (cbrt 116.0) (cbrt 116.0))) (/ (cbrt (+ x 16.0)) (cbrt 116.0)) (/ (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) (sqrt 116.0)) (/ (cbrt (+ x 16.0)) (sqrt 116.0)) (* (cbrt (+ x 16.0)) (cbrt (+ x 16.0))) (/ (cbrt (+ x 16.0)) 116.0) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (sqrt 116.0)) (/ (sqrt (+ x 16.0)) (sqrt 116.0)) (sqrt (+ x 16.0)) (/ (sqrt (+ x 16.0)) 116.0) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (cbrt 116.0)) (/ 1 (sqrt 116.0)) (/ (+ x 16.0) (sqrt 116.0)) 1 (/ (+ x 16.0) 116.0) (/ 1 (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (cbrt 116.0)) (/ 1 (sqrt 116.0)) (/ (+ x 16.0) (sqrt 116.0)) 1 (/ (+ x 16.0) 116.0) (/ 1 116.0) (/ 116.0 (+ x 16.0)) (/ (+ x 16.0) (* (cbrt 116.0) (cbrt 116.0))) (/ (+ x 16.0) (sqrt 116.0)) (+ x 16.0) (/ 116.0 (cbrt (+ x 16.0))) (/ 116.0 (sqrt (+ x 16.0))) (/ 116.0 (+ x 16.0)) (/ 116.0 (+ x 16.0)) (* 116.0 (fma 16.0 (- 16.0 x) (* x x))) (* 116.0 (- x 16.0)) (fma 0.008620689655172414 x 0.13793103448275862) (fma 0.008620689655172414 x 0.13793103448275862) (fma 0.008620689655172414 x 0.13793103448275862) 0.145 * * * [progress]: adding candidates to table 0.202 * * [progress]: iteration 2 / 4 0.202 * * * [progress]: picking best candidate 0.205 * * * * [pick]: Picked # 0.205 * * * [progress]: localizing error 0.208 * * * [progress]: generating rewritten candidates 0.208 * * * [progress]: generating series expansions 0.208 * * * [progress]: simplifying candidates 0.208 * [simplify]: Simplifying using # : 0.210 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.211 * [simplify]: Simplified to: 0.211 * * * [progress]: adding candidates to table 0.211 * * [progress]: iteration 3 / 4 0.211 * * * [progress]: picking best candidate 0.213 * * * * [pick]: Picked # 0.213 * * * [progress]: localizing error 0.222 * * * [progress]: generating rewritten candidates 0.222 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.229 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.229 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.234 * * * [progress]: generating series expansions 0.234 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.235 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.235 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.235 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.235 * * * [progress]: simplifying candidates 0.236 * [simplify]: Simplifying using # : (expm1 (* (cbrt 116.0) (cbrt 116.0))) (log1p (* (cbrt 116.0) (cbrt 116.0))) (+ 1/3 1/3) (+ 1 1) (* 116.0 116.0) (* (cbrt 116.0) (cbrt 116.0)) (+ 1 1) (+ (log (cbrt 116.0)) (log (cbrt 116.0))) (log (* (cbrt 116.0) (cbrt 116.0))) (exp (* (cbrt 116.0) (cbrt 116.0))) (* 116.0 116.0) (* (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (* (* (* (cbrt 116.0) (cbrt 116.0)) (* (cbrt 116.0) (cbrt 116.0))) (* (cbrt 116.0) (cbrt 116.0))) (sqrt (* (cbrt 116.0) (cbrt 116.0))) (sqrt (* (cbrt 116.0) (cbrt 116.0))) (* (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt 116.0) (cbrt 116.0)) (* (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0)))) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (* (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0))) (* (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0))) (* 1 1) (* (cbrt 116.0) (cbrt 116.0)) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (* (sqrt (cbrt 116.0)) (cbrt (sqrt 116.0))) (* (sqrt (cbrt 116.0)) (cbrt (sqrt 116.0))) (* (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0))) (* (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0))) (* 2 1/3) (* 2 1) (* (cbrt 116.0) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (* (cbrt 116.0) (cbrt (sqrt 116.0))) (* (cbrt 116.0) (cbrt 1)) (* (cbrt 116.0) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0)))) (* (cbrt 116.0) (sqrt (cbrt 116.0))) (* (cbrt 116.0) 1) (* (cbrt (cbrt 116.0)) (cbrt 116.0)) (* (cbrt (sqrt 116.0)) (cbrt 116.0)) (* (cbrt 116.0) (cbrt 116.0)) (* (cbrt (cbrt 116.0)) (cbrt 116.0)) (* (sqrt (cbrt 116.0)) (cbrt 116.0)) (* (cbrt 116.0) (cbrt 116.0)) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) (cbrt 1) (cbrt 116.0) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (cbrt (cbrt 116.0)) (* (* (cbrt 116.0) (cbrt 116.0)) (cbrt 116.0)) (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) (cbrt 1) (cbrt 116.0) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (cbrt (cbrt 116.0)) (* (* (cbrt 116.0) (cbrt 116.0)) (cbrt 116.0)) (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) (cbrt 1) (cbrt 116.0) (* (cbrt (cbrt 116.0)) (cbrt (cbrt 116.0))) (cbrt (cbrt 116.0)) (* (* (cbrt 116.0) (cbrt 116.0)) (cbrt 116.0)) (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) 0.240 * * [simplify]: iteration 0 : 82 enodes (cost 329 ) 0.242 * * [simplify]: iteration 1 : 277 enodes (cost 306 ) 0.249 * * [simplify]: iteration 2 : 953 enodes (cost 283 ) 0.260 * * [simplify]: iteration 3 : 2164 enodes (cost 280 ) 0.299 * * [simplify]: iteration 4 : 5002 enodes (cost 265 ) 0.301 * [simplify]: Simplified to: (expm1 (* (cbrt 116.0) (cbrt 116.0))) (log1p (* (cbrt 116.0) (cbrt 116.0))) 2/3 2 (* 116.0 116.0) (pow (cbrt 116.0) 2) 2 (* 2 (log (cbrt 116.0))) (* 2 (log (cbrt 116.0))) (exp (* (cbrt 116.0) (cbrt 116.0))) (* 116.0 116.0) (* (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (* 116.0 116.0) (fabs (cbrt 116.0)) (fabs (cbrt 116.0)) (* (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (pow (cbrt (cbrt 116.0)) 2) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) 1 (pow (cbrt 116.0) 2) (pow (cbrt (cbrt 116.0)) 4) (pow (cbrt (cbrt 116.0)) 2) (cbrt 116.0) (cbrt 116.0) 1 (pow (cbrt 116.0) 2) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (* (cbrt (sqrt 116.0)) (sqrt (cbrt 116.0))) (cbrt 116.0) (cbrt 116.0) 2/3 2 (* (cbrt 116.0) (cbrt (* (cbrt 116.0) (cbrt 116.0)))) (* (cbrt 116.0) (cbrt (sqrt 116.0))) (cbrt 116.0) (pow (cbrt (cbrt 116.0)) 5) (pow (sqrt (cbrt 116.0)) 3) (cbrt 116.0) (pow (cbrt (cbrt 116.0)) 4) (* (cbrt 116.0) (cbrt (sqrt 116.0))) (pow (cbrt 116.0) 2) (pow (cbrt (cbrt 116.0)) 4) (pow (sqrt (cbrt 116.0)) 3) (pow (cbrt 116.0) 2) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) 1 (cbrt 116.0) (pow (cbrt (cbrt 116.0)) 2) (cbrt (cbrt 116.0)) 116.0 (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) 1 (cbrt 116.0) (pow (cbrt (cbrt 116.0)) 2) (cbrt (cbrt 116.0)) 116.0 (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (expm1 (cbrt 116.0)) (log1p (cbrt 116.0)) (log (cbrt 116.0)) (exp (cbrt 116.0)) (cbrt (* (cbrt 116.0) (cbrt 116.0))) (cbrt (cbrt 116.0)) (cbrt (sqrt 116.0)) (cbrt (sqrt 116.0)) 1 (cbrt 116.0) (pow (cbrt (cbrt 116.0)) 2) (cbrt (cbrt 116.0)) 116.0 (sqrt (cbrt 116.0)) (sqrt (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) (/ (sqrt (+ x 16.0)) (* (cbrt 116.0) (cbrt 116.0))) (/ (sqrt (+ x 16.0)) (cbrt 116.0)) 0.301 * * * [progress]: adding candidates to table 0.463 * [progress]: [Phase 3 of 3] Extracting. 0.463 * * [regime]: Finding splitpoints for: (# # #) 0.463 * * * [regime-changes]: Trying 3 branch expressions: ((+ x 16.0) (/ (+ x 16.0) 116.0) x) 0.463 * * * * [regimes]: Trying to branch on (+ x 16.0) from (# # #) 0.475 * * * * [regimes]: Trying to branch on (/ (+ x 16.0) 116.0) from (# # #) 0.485 * * * * [regimes]: Trying to branch on x from (# # #) 0.496 * * * [regime]: Found split indices: #