8.526 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 0.021 * * [simplify]: iteration 0 : 21 enodes (cost 9 ) 0.021 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 0.021 * [simplify]: Simplified to: (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.023 * * * * [pick]: Picked # 0.023 * * * [progress]: localizing error 0.029 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.036 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.045 * * * [progress]: generating series expansions 0.045 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.045 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.045 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.045 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.045 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.046 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.046 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.046 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.046 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.047 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.047 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.047 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.047 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.048 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.048 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.048 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.048 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.048 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.048 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.048 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.048 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.049 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.049 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.049 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.049 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.049 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.049 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.049 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.049 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.051 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.051 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.051 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.051 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of 7.787037037037037 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.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.051 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.051 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.051 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.052 * * * [progress]: simplifying candidates 0.053 * [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.109 * * [simplify]: iteration 0 : 4950 enodes (cost 401 ) 0.109 * * [simplify]: iteration 1 : 4950 enodes (cost 401 ) 0.112 * [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.112 * * * [progress]: adding candidates to table 0.168 * * [progress]: iteration 2 / 4 0.168 * * * [progress]: picking best candidate 0.173 * * * * [pick]: Picked # 0.173 * * * [progress]: localizing error 0.179 * * * [progress]: generating rewritten candidates 0.179 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.186 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.194 * * * [progress]: generating series expansions 0.195 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.195 * [approximate]: Taking taylor expansion of (* 7.787037037037036 x) in (x) around 0 0.195 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.195 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.195 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.196 * [approximate]: Taking taylor expansion of (/ 7.787037037037036 x) in (x) around 0 0.196 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 0.196 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 0.196 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [approximate]: Taking taylor expansion of (/ -7.787037037037036 x) in (x) around 0 0.196 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 0.197 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 0.197 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.197 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in (x) around 0 0.197 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 0.197 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.198 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.198 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 0.198 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 0.198 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.198 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 0.199 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.199 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.199 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.199 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.199 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.199 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.199 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.200 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 0.200 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.200 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.200 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 0.200 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.202 * * * [progress]: simplifying candidates 0.203 * [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.255 * * [simplify]: iteration 0 : 4983 enodes (cost 407 ) 0.255 * * [simplify]: iteration 1 : 4983 enodes (cost 407 ) 0.258 * [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.258 * * * [progress]: adding candidates to table 0.304 * * [progress]: iteration 3 / 4 0.304 * * * [progress]: picking best candidate 0.308 * * * * [pick]: Picked # 0.308 * * * [progress]: localizing error 0.316 * * * [progress]: generating rewritten candidates 0.317 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.330 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.337 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.354 * * * [progress]: generating series expansions 0.354 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.354 * [approximate]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in (x) around 0 0.354 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.354 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.354 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.354 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.354 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.354 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.357 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in (x) around 0 0.357 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.357 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.357 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.357 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.357 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.357 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.357 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.359 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in (x) around 0 0.359 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.359 * [taylor]: Taking taylor expansion of -1 in x 0.359 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.359 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.359 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.359 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.359 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.360 * [taylor]: Taking taylor expansion of -1 in x 0.360 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.360 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.360 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.360 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.363 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.363 * [approximate]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in (x) around 0 0.363 * [taylor]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.363 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.363 * [taylor]: Taking taylor expansion of (* x (sqrt 7.787037037037037)) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.363 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.364 * [approximate]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in (x) around 0 0.364 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.364 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.364 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.364 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.364 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.366 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in (x) around 0 0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in x 0.366 * [taylor]: Taking taylor expansion of -1 in x 0.366 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.366 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.366 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 7.787037037037037) x)) in x 0.366 * [taylor]: Taking taylor expansion of -1 in x 0.366 * [taylor]: Taking taylor expansion of (/ (sqrt 7.787037037037037) x) in x 0.366 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.366 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.368 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.368 * [approximate]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in (x) around 0 0.368 * [taylor]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in x 0.368 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.368 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.368 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.368 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.368 * [taylor]: Taking taylor expansion of (+ (* x (pow (sqrt 7.787037037037037) 2)) 0.13793103448275862) in x 0.368 * [taylor]: Taking taylor expansion of (* x (pow (sqrt 7.787037037037037) 2)) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.368 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.368 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.368 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.371 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in (x) around 0 0.371 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in x 0.371 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.371 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.371 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.371 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.371 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 7.787037037037037) 2) x) 0.13793103448275862) in x 0.371 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.371 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.371 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.371 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.375 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in (x) around 0 0.375 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.375 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.375 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.375 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.375 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (/ (pow (sqrt 7.787037037037037) 2) x)) in x 0.375 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 7.787037037037037) 2) x) in x 0.375 * [taylor]: Taking taylor expansion of (pow (sqrt 7.787037037037037) 2) in x 0.375 * [taylor]: Taking taylor expansion of (sqrt 7.787037037037037) in x 0.375 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.378 * * * [progress]: simplifying candidates 0.379 * [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.437 * * [simplify]: iteration 0 : 4943 enodes (cost 791 ) 0.437 * * [simplify]: iteration 1 : 4943 enodes (cost 791 ) 0.442 * [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.443 * * * [progress]: adding candidates to table 0.535 * * [progress]: iteration 4 / 4 0.535 * * * [progress]: picking best candidate 0.537 * * * * [pick]: Picked # 0.537 * * * [progress]: localizing error 0.546 * * * [progress]: generating rewritten candidates 0.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.567 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.574 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.595 * * * [progress]: generating series expansions 0.595 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.595 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.595 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.595 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.596 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.596 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.596 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.596 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.597 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.597 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.597 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.597 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.597 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.597 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.597 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.597 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.598 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.599 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.599 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.599 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.599 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.599 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.599 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.599 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.599 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.600 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.600 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.600 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.600 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.601 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.601 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.601 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.601 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.602 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 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 (/ -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.603 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.603 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 0.603 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.603 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.603 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.604 * [approximate]: Taking taylor expansion of (/ 7.787037037037037 x) in (x) around 0 0.604 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.604 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (/ 7.787037037037037 x) in x 0.604 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.604 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.604 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.604 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.605 * [approximate]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in (x) around 0 0.605 * [taylor]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in x 0.605 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.605 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.605 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.606 * [taylor]: Taking taylor expansion of (sqrt (+ (* 7.787037037037037 x) 0.13793103448275862)) in x 0.606 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.606 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.606 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.607 * [approximate]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in (x) around 0 0.607 * [taylor]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.607 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.607 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.607 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.607 * [taylor]: Taking taylor expansion of (sqrt (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.607 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.607 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.607 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.609 * [approximate]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.609 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.609 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.609 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.609 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (sqrt (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x)))) in x 0.609 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.609 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.609 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.609 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.611 * * * [progress]: simplifying candidates 0.613 * [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.667 * * [simplify]: iteration 0 : 4958 enodes (cost 1859 ) 0.667 * * [simplify]: iteration 1 : 4958 enodes (cost 1859 ) 0.674 * [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.675 * * * [progress]: adding candidates to table 0.835 * [progress]: [Phase 3 of 3] Extracting. 0.835 * * [regime]: Finding splitpoints for: (# # # #) 0.835 * * * [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.836 * * * * [regimes]: Trying to branch on (*.f64 (/.f64 841.0 108.0) x) from (# # # #) 0.865 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 (/.f64 841.0 108.0) x) (/.f64 4.0 29.0)) from (# # # #) 0.892 * * * * [regimes]: Trying to branch on x from (# # # #) 0.920 * * * [regime]: Found split indices: #