7.327 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 0.029 * * [simplify]: iteration 0 : 21 enodes (cost 9 ) 0.029 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 0.030 * [simplify]: Simplified to: (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 0.030 * * [progress]: iteration 1 / 4 0.030 * * * [progress]: picking best candidate 0.032 * * * * [pick]: Picked # 0.032 * * * [progress]: localizing error 0.038 * * * [progress]: generating rewritten candidates 0.038 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.045 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.054 * * * [progress]: generating series expansions 0.054 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.054 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.054 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.054 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.054 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.055 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.055 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.055 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.055 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.056 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.056 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.056 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.056 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.057 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.057 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.057 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.057 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.057 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.057 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.058 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.058 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.058 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.058 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.059 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.059 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.059 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.060 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.060 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.061 * * * [progress]: simplifying candidates 0.062 * [simplify]: Simplifying using # : (*.f64 (/.f64 841.0 108.0) x) (+.f64 (-.f64 (log.f64 841.0) (log.f64 108.0)) (log.f64 x)) (+.f64 (log.f64 (/.f64 841.0 108.0)) (log.f64 x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 (*.f64 (*.f64 841.0 841.0) 841.0) (*.f64 (*.f64 108.0 108.0) 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) (/.f64 841.0 108.0)) (/.f64 841.0 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) 1) (*.f64 (cbrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) 108.0) x) (*.f64 (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) 108.0) x) (*.f64 (/.f64 841.0 (cbrt.f64 108.0)) x) (*.f64 (/.f64 841.0 (sqrt.f64 108.0)) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 1 108.0) x) (*.f64 841.0 x) (*.f64 (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (*.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) 0.116 * * [simplify]: iteration 0 : 4950 enodes (cost 401 ) 0.116 * * [simplify]: iteration 1 : 4950 enodes (cost 401 ) 0.119 * [simplify]: Simplified to: (*.f64 (/.f64 841.0 108.0) x) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (/.f64 841.0 108.0) (*.f64 x (cbrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) 108.0)) (*.f64 x (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) 108.0)) (*.f64 x (/.f64 841.0 (cbrt.f64 108.0))) (*.f64 x (/.f64 841.0 (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (/.f64 x 108.0) (*.f64 841.0 x) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 3) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) 0.120 * * * [progress]: adding candidates to table 0.178 * * [progress]: iteration 2 / 4 0.178 * * * [progress]: picking best candidate 0.183 * * * * [pick]: Picked # 0.183 * * * [progress]: localizing error 0.191 * * * [progress]: generating rewritten candidates 0.191 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.198 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.207 * * * [progress]: generating series expansions 0.207 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.207 * [approximate]: Taking taylor expansion of (* 7.787037037037036 x) in (x) around 0 0.207 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.207 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.208 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [approximate]: Taking taylor expansion of (/ 7.787037037037036 x) in (x) around 0 0.208 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 0.208 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 0.209 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [approximate]: Taking taylor expansion of (/ -7.787037037037036 x) in (x) around 0 0.209 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 0.209 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 0.210 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.210 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.210 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in (x) around 0 0.210 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 0.210 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.210 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.210 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.211 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 0.211 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.211 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.211 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 0.212 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.212 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.212 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 7.787037037037036 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 (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.212 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.212 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.213 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 0.214 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.214 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.214 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.215 * * * [progress]: simplifying candidates 0.216 * [simplify]: Simplifying using # : (*.f64 841.0 (/.f64 x 108.0)) (+.f64 (log.f64 841.0) (-.f64 (log.f64 x) (log.f64 108.0))) (+.f64 (log.f64 841.0) (log.f64 (/.f64 x 108.0))) (log.f64 (*.f64 841.0 (/.f64 x 108.0))) (exp.f64 (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (*.f64 (*.f64 841.0 841.0) 841.0) (/.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 108.0 108.0) 108.0))) (*.f64 (*.f64 (*.f64 841.0 841.0) 841.0) (*.f64 (*.f64 (/.f64 x 108.0) (/.f64 x 108.0)) (/.f64 x 108.0))) (*.f64 (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0)))) (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 (/.f64 x 108.0))) (*.f64 841.0 (/.f64 x 108.0))) (sqrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (sqrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (sqrt.f64 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (sqrt.f64 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 (sqrt.f64 841.0) (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 841.0 (*.f64 (cbrt.f64 (/.f64 x 108.0)) (cbrt.f64 (/.f64 x 108.0)))) (*.f64 841.0 (sqrt.f64 (/.f64 x 108.0))) (*.f64 841.0 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0)))) (*.f64 841.0 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 108.0))) (*.f64 841.0 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (*.f64 841.0 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0)))) (*.f64 841.0 (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 841.0 (/.f64 (sqrt.f64 x) 1)) (*.f64 841.0 (/.f64 1 (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0)))) (*.f64 841.0 (/.f64 1 (sqrt.f64 108.0))) (*.f64 841.0 (/.f64 1 1)) (*.f64 841.0 1) (*.f64 841.0 x) (*.f64 (cbrt.f64 841.0) (/.f64 x 108.0)) (*.f64 (sqrt.f64 841.0) (/.f64 x 108.0)) (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 x) (*.f64 (exp.f64 (*.f64 841.0 (/.f64 x 108.0))) (exp.f64 (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (*.f64 (*.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)) (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (+.f64 (pow.f64 (*.f64 841.0 (/.f64 x 108.0)) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 (/.f64 x 108.0))) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)) (*.f64 7.787037037037036 x) (*.f64 7.787037037037036 x) (*.f64 7.787037037037036 x) (+.f64 (*.f64 7.787037037037036 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037036 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037036 x) 0.13793103448275862) 0.269 * * [simplify]: iteration 0 : 4983 enodes (cost 407 ) 0.269 * * [simplify]: iteration 1 : 4983 enodes (cost 407 ) 0.272 * [simplify]: Simplified to: (*.f64 841.0 (/.f64 x 108.0)) (log.f64 (*.f64 841.0 (/.f64 x 108.0))) (log.f64 (*.f64 841.0 (/.f64 x 108.0))) (log.f64 (*.f64 841.0 (/.f64 x 108.0))) (exp.f64 (*.f64 841.0 (/.f64 x 108.0))) (pow.f64 (*.f64 841.0 (/.f64 x 108.0)) 3) (pow.f64 (*.f64 841.0 (/.f64 x 108.0)) 3) (*.f64 (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0)))) (cbrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (pow.f64 (*.f64 841.0 (/.f64 x 108.0)) 3) (sqrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (sqrt.f64 (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (sqrt.f64 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (sqrt.f64 (/.f64 x 108.0))) (*.f64 (sqrt.f64 841.0) (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 (sqrt.f64 841.0) (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 841.0 (*.f64 (cbrt.f64 (/.f64 x 108.0)) (cbrt.f64 (/.f64 x 108.0)))) (*.f64 841.0 (sqrt.f64 (/.f64 x 108.0))) (*.f64 841.0 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0)))) (*.f64 841.0 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (sqrt.f64 108.0))) (*.f64 841.0 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 841.0 (/.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0)))) (*.f64 841.0 (/.f64 (sqrt.f64 x) (sqrt.f64 108.0))) (*.f64 841.0 (sqrt.f64 x)) (/.f64 841.0 (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))) (/.f64 841.0 (sqrt.f64 108.0)) 841.0 841.0 (*.f64 841.0 x) (*.f64 (/.f64 x 108.0) (cbrt.f64 841.0)) (*.f64 (/.f64 x 108.0) (sqrt.f64 841.0)) (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 x) (exp.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (pow.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)) 3) (sqrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (+.f64 (pow.f64 (*.f64 841.0 (/.f64 x 108.0)) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (-.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 841.0 (/.f64 x 108.0)) (*.f64 841.0 (/.f64 x 108.0))) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 841.0 (/.f64 x 108.0)) (/.f64 4.0 29.0)) (*.f64 x 7.787037037037036) (*.f64 x 7.787037037037036) (*.f64 x 7.787037037037036) (+.f64 (*.f64 x 7.787037037037036) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037036) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037036) 0.13793103448275862) 0.272 * * * [progress]: adding candidates to table 0.319 * * [progress]: iteration 3 / 4 0.319 * * * [progress]: picking best candidate 0.324 * * * * [pick]: Picked # 0.324 * * * [progress]: localizing error 0.333 * * * [progress]: generating rewritten candidates 0.333 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.344 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.352 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.368 * * * [progress]: generating series expansions 0.368 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.369 * [approximate]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in (x) around 0 0.369 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.369 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.369 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.369 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.369 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.369 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.372 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in (x) around 0 0.372 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.372 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.372 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.372 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.372 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.372 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.372 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.377 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in (x) around 0 0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.377 * [taylor]: Taking taylor expansion of -1 in x 0.377 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.377 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.377 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.377 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.377 * [taylor]: Taking taylor expansion of -1 in x 0.377 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.377 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.377 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.377 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.381 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.381 * [approximate]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in (x) around 0 0.381 * [taylor]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.381 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.381 * [taylor]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.381 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.382 * [approximate]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in (x) around 0 0.382 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.382 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.382 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.382 * [taylor]: Taking taylor expansion of x in x 0.382 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.382 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.382 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.384 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in (x) around 0 0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in x 0.384 * [taylor]: Taking taylor expansion of -1 in x 0.384 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.384 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.384 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in x 0.384 * [taylor]: Taking taylor expansion of -1 in x 0.384 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.384 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.384 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.386 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.386 * [approximate]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in (x) around 0 0.386 * [taylor]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in x 0.386 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.386 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.386 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.386 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.386 * [taylor]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in x 0.386 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.386 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.386 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.386 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.389 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in (x) around 0 0.390 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in x 0.390 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.390 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.390 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.390 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.390 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in x 0.390 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.390 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.390 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.390 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.393 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in (x) around 0 0.393 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.393 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.393 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.393 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.393 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.393 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.393 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.393 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.393 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.394 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.394 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.397 * * * [progress]: simplifying candidates 0.398 * [simplify]: Simplifying using # : (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (+.f64 (log.f64 (sqrt.f64 (/.f64 841.0 108.0))) (+.f64 (log.f64 x) (log.f64 (sqrt.f64 (/.f64 841.0 108.0))))) (+.f64 (log.f64 (sqrt.f64 (/.f64 841.0 108.0))) (log.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (log.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (exp.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 (*.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (sqrt.f64 841.0) (*.f64 x (sqrt.f64 841.0))) (*.f64 (sqrt.f64 108.0) (sqrt.f64 108.0)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (cbrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (cbrt.f64 841.0) 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 841.0) 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 (cbrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 (sqrt.f64 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 1 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) (*.f64 (sqrt.f64 841.0) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (+.f64 (log.f64 x) (log.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (log.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (exp.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (cbrt.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (cbrt.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (*.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (sqrt.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (sqrt.f64 (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 841.0 108.0)) (cbrt.f64 (/.f64 841.0 108.0))))) (*.f64 x (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 841.0) (cbrt.f64 841.0)) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))))) (*.f64 x (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 841.0) (cbrt.f64 841.0)) (sqrt.f64 108.0)))) (*.f64 x (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 841.0) (cbrt.f64 841.0)) 1))) (*.f64 x (sqrt.f64 (/.f64 (sqrt.f64 841.0) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))))) (*.f64 x (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 x (sqrt.f64 (/.f64 (sqrt.f64 841.0) 1))) (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))))) (*.f64 x (sqrt.f64 (/.f64 1 (sqrt.f64 108.0)))) (*.f64 x (sqrt.f64 (/.f64 1 1))) (*.f64 x (sqrt.f64 1)) (*.f64 x (sqrt.f64 841.0)) (*.f64 x (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x 1) (*.f64 (cbrt.f64 x) (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 (sqrt.f64 x) (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 841.0)) (*.f64 (exp.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (exp.f64 (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (*.f64 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0)) (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 (sqrt.f64 841.0) (*.f64 x (sqrt.f64 841.0))) 29.0) (*.f64 (*.f64 (sqrt.f64 108.0) (sqrt.f64 108.0)) 4.0)) (*.f64 (*.f64 (sqrt.f64 108.0) (sqrt.f64 108.0)) 29.0) (+.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) 29.0) (*.f64 (sqrt.f64 108.0) 4.0)) (*.f64 (sqrt.f64 108.0) 29.0) (+.f64 (*.f64 (*.f64 (sqrt.f64 841.0) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) 29.0) (*.f64 (sqrt.f64 108.0) 4.0)) (*.f64 (sqrt.f64 108.0) 29.0) (+.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0)))) (/.f64 4.0 29.0)) (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) (*.f64 x (sqrt.f64 7.787037037037037)) (*.f64 x (sqrt.f64 7.787037037037037)) (*.f64 x (sqrt.f64 7.787037037037037)) (+.f64 (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) 0.13793103448275862) (+.f64 (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) 0.13793103448275862) (+.f64 (*.f64 x (pow.f64 (sqrt.f64 7.787037037037037) 2)) 0.13793103448275862) 0.451 * * [simplify]: iteration 0 : 4943 enodes (cost 791 ) 0.451 * * [simplify]: iteration 1 : 4943 enodes (cost 791 ) 0.455 * [simplify]: Simplified to: (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 841.0 x) 108.0 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (cbrt.f64 (/.f64 841.0 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (cbrt.f64 841.0) 108.0))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 (sqrt.f64 841.0) 108.0))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 841.0 (cbrt.f64 108.0)))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 841.0 (sqrt.f64 108.0)))) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (/.f64 1 108.0))) (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (log.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (log.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (exp.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (pow.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) 3) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (pow.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) 3) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x)) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 x)) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (sqrt.f64 x)) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 x)) (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (sqrt.f64 x)) (*.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0))) (cbrt.f64 (sqrt.f64 (/.f64 841.0 108.0))))) (*.f64 x (fabs.f64 (cbrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) (*.f64 x (fabs.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0)))) (*.f64 x (sqrt.f64 (*.f64 (cbrt.f64 841.0) (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0))))) (*.f64 x (fabs.f64 (cbrt.f64 841.0))) (*.f64 x (sqrt.f64 (/.f64 (sqrt.f64 841.0) (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))))) (*.f64 x (sqrt.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)))) (*.f64 x (sqrt.f64 (sqrt.f64 841.0))) (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 (cbrt.f64 108.0) (cbrt.f64 108.0))))) (*.f64 x (sqrt.f64 (/.f64 1 (sqrt.f64 108.0)))) x x (*.f64 x (sqrt.f64 841.0)) (*.f64 x (sqrt.f64 (sqrt.f64 (/.f64 841.0 108.0)))) x (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (cbrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 x (sqrt.f64 841.0)) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 3) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (+.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) 29.0) (*.f64 (sqrt.f64 108.0) 4.0)) (*.f64 (sqrt.f64 108.0) 29.0) (+.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (*.f64 x (sqrt.f64 841.0))) 29.0) (*.f64 (sqrt.f64 108.0) 4.0)) (*.f64 (sqrt.f64 108.0) 29.0) (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (/.f64 841.0 108.0) (*.f64 (/.f64 841.0 108.0) (*.f64 x x))) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x (sqrt.f64 7.787037037037037)) (*.f64 x (sqrt.f64 7.787037037037037)) (*.f64 x (sqrt.f64 7.787037037037037)) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) 0.455 * * * [progress]: adding candidates to table 0.545 * * [progress]: iteration 4 / 4 0.546 * * * [progress]: picking best candidate 0.548 * * * * [pick]: Picked # 0.548 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.576 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.582 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.589 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.602 * * * [progress]: generating series expansions 0.602 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.602 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.602 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.602 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.602 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.602 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.602 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.602 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.603 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.603 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.603 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.603 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.603 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.603 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.604 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.604 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.605 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.605 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.605 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.605 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.605 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.605 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.605 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.605 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.607 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.607 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.607 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.607 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.607 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.608 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.608 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.608 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.608 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.609 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.609 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.609 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.610 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.610 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.610 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.610 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.610 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.610 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.611 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.611 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.611 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.611 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.612 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.612 * [approximate]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in (x) around 0 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in x 0.612 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.612 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.612 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.613 * [taylor]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in x 0.613 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.613 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.613 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.614 * [approximate]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in (x) around 0 0.614 * [taylor]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.614 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.614 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.614 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.614 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.614 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.614 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.614 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.614 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.616 * [approximate]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in (x) around 0 0.616 * [taylor]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.616 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.616 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.616 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.616 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.617 * * * [progress]: simplifying candidates 0.622 * [simplify]: Simplifying using # : (+.f64 1/2 1/2) (+.f64 1/2 (/.f64 1 2)) (+.f64 1 1) (+.f64 (/.f64 1 2) 1/2) (+.f64 (/.f64 1 2) (/.f64 1 2)) (*.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 1 1) (+.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (log.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (exp.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0))) (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (*.f64 108.0 29.0))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (*.f64 108.0 29.0))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (*.f64 108.0 29.0))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 1) (sqrt.f64 1)) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 1 1) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 2 1/2) (*.f64 2 1) (*.f64 2 (/.f64 1 2)) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 1)) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 1) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (/.f64 841.0 108.0) x) (+.f64 (-.f64 (log.f64 841.0) (log.f64 108.0)) (log.f64 x)) (+.f64 (log.f64 (/.f64 841.0 108.0)) (log.f64 x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 (*.f64 (*.f64 841.0 841.0) 841.0) (*.f64 (*.f64 108.0 108.0) 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) (/.f64 841.0 108.0)) (/.f64 841.0 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) 1) (*.f64 (cbrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) 108.0) x) (*.f64 (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) 108.0) x) (*.f64 (/.f64 841.0 (cbrt.f64 108.0)) x) (*.f64 (/.f64 841.0 (sqrt.f64 108.0)) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 1 108.0) x) (*.f64 841.0 x) (*.f64 (/.f64 841.0 108.0) x) (+.f64 (-.f64 (log.f64 841.0) (log.f64 108.0)) (log.f64 x)) (+.f64 (log.f64 (/.f64 841.0 108.0)) (log.f64 x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 (*.f64 (*.f64 841.0 841.0) 841.0) (*.f64 (*.f64 108.0 108.0) 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) (/.f64 841.0 108.0)) (/.f64 841.0 108.0)) (*.f64 (*.f64 x x) x)) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (*.f64 (/.f64 841.0 108.0) 1) (*.f64 (cbrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (cbrt.f64 841.0) 108.0) x) (*.f64 (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0)) x) (*.f64 (/.f64 (sqrt.f64 841.0) 108.0) x) (*.f64 (/.f64 841.0 (cbrt.f64 108.0)) x) (*.f64 (/.f64 841.0 (sqrt.f64 108.0)) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 1 108.0) x) (*.f64 841.0 x) (log.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 1) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (*.f64 841.0 x) 29.0) (*.f64 108.0 4.0))) (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (-.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) (+.f64 (*.f64 7.787037037037037 x) 0.13793103448275862) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (*.f64 7.787037037037037 x) (-.f64 (+.f64 (*.f64 3.8935185185185186 (/.f64 x (sqrt.f64 0.13793103448275862))) (sqrt.f64 0.13793103448275862)) (*.f64 7.57974322702332 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 0.13793103448275862) 3)))) (-.f64 (+.f64 (*.f64 0.13793103448275862 (/.f64 NAN.f64 x)) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (*.f64 0.27586206896551724 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2))))) (-.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (*.f64 0.13793103448275862 (/.f64 NAN.f64 x)) (*.f64 0.27586206896551724 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2))))) 0.676 * * [simplify]: iteration 0 : 4958 enodes (cost 1859 ) 0.677 * * [simplify]: iteration 1 : 4958 enodes (cost 1859 ) 0.684 * [simplify]: Simplified to: 1 1 2 1 1 (pow.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 4) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (pow.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 4) 2 (log.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (log.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (exp.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 4) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 3) (pow.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 4) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0)) (*.f64 108.0 29.0) (*.f64 (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))))) (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)) (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 4) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 4) (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 1 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 1 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 1 2 1 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 5) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (fabs.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 3) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 3) (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 4) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 3) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 3) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0))))) (*.f64 (/.f64 841.0 108.0) x) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (/.f64 841.0 108.0) (*.f64 x (cbrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) 108.0)) (*.f64 x (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) 108.0)) (*.f64 x (/.f64 841.0 (cbrt.f64 108.0))) (*.f64 x (/.f64 841.0 (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (/.f64 x 108.0) (*.f64 841.0 x) (*.f64 (/.f64 841.0 108.0) x) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (log.f64 (*.f64 (/.f64 841.0 108.0) x)) (exp.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x))) (cbrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (sqrt.f64 (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (/.f64 841.0 108.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (sqrt.f64 x) (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (/.f64 841.0 108.0) (sqrt.f64 x)) (/.f64 841.0 108.0) (*.f64 x (cbrt.f64 (/.f64 841.0 108.0))) (*.f64 x (sqrt.f64 (/.f64 841.0 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (cbrt.f64 841.0) 108.0)) (*.f64 x (/.f64 (sqrt.f64 841.0) (cbrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) (sqrt.f64 108.0))) (*.f64 x (/.f64 (sqrt.f64 841.0) 108.0)) (*.f64 x (/.f64 841.0 (cbrt.f64 108.0))) (*.f64 x (/.f64 841.0 (sqrt.f64 108.0))) (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x) (/.f64 x 108.0) (*.f64 841.0 x) (log.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 2) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 3) (fabs.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) 1 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) (sqrt.f64 (+.f64 (*.f64 29.0 (*.f64 841.0 x)) (*.f64 108.0 4.0))) (sqrt.f64 (*.f64 108.0 29.0)) (sqrt.f64 (+.f64 (pow.f64 (*.f64 (/.f64 841.0 108.0) x) 3) (pow.f64 (/.f64 4.0 29.0) 3))) (sqrt.f64 (+.f64 (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)) (*.f64 (*.f64 (/.f64 841.0 108.0) x) (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 841.0 108.0) x) (*.f64 (/.f64 841.0 108.0) x)) (*.f64 (/.f64 4.0 29.0) (/.f64 4.0 29.0)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)))) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (+.f64 (*.f64 x 7.787037037037037) 0.13793103448275862) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (*.f64 x 7.787037037037037) (-.f64 (+.f64 (sqrt.f64 0.13793103448275862) (*.f64 3.8935185185185186 (/.f64 x (sqrt.f64 0.13793103448275862)))) (*.f64 7.57974322702332 (/.f64 (*.f64 x x) (*.f64 0.13793103448275862 (sqrt.f64 0.13793103448275862))))) (-.f64 (+.f64 (*.f64 0.13793103448275862 (/.f64 NAN.f64 x)) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x))))) (*.f64 (+.f64 (/.f64 0.27586206896551724 x) 1) (/.f64 (pow.f64 NAN.f64 3) x))) (-.f64 (+.f64 (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (*.f64 x x)))) (/.f64 (pow.f64 NAN.f64 3) x)) (+.f64 (*.f64 0.13793103448275862 (/.f64 NAN.f64 x)) (*.f64 0.27586206896551724 (/.f64 (pow.f64 NAN.f64 3) (*.f64 x x))))) 0.685 * * * [progress]: adding candidates to table 0.844 * [progress]: [Phase 3 of 3] Extracting. 0.844 * * [regime]: Finding splitpoints for: (# # # #) 0.844 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 (/.f64 841.0 108.0) x) (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) x) 0.844 * * * * [regimes]: Trying to branch on (*.f64 (/.f64 841.0 108.0) x) from (# # # #) 0.872 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) from (# # # #) 0.900 * * * * [regimes]: Trying to branch on x from (# # # #) 0.941 * * * [regime]: Found split indices: #