10.418 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.013 * [simplify]: Simplifying using # : (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.013 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.014 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.016 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 0.018 * * [simplify]: iteration 3 : 18 enodes (cost 9 ) 0.019 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 0.021 * * [simplify]: iteration 5 : 21 enodes (cost 9 ) 0.024 * * [simplify]: iteration done : 21 enodes (cost 9 ) 0.024 * [simplify]: Simplified to: (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.025 * * * * [pick]: Picked # 0.025 * * * [progress]: localizing error 0.031 * * * [progress]: generating rewritten candidates 0.031 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.039 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.048 * * * [progress]: generating series expansions 0.048 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.048 * [approximate]: Taking taylor expansion of (* 7.787037037037037 x) in (x) around 0 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 (* 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.054 * [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.059 * [approximate]: Taking taylor expansion of (/ -7.787037037037037 x) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (/ -7.787037037037037 x) in x 0.059 * [taylor]: Taking taylor expansion of -7.787037037037037 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.063 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.064 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in (x) around 0 0.064 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.064 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.064 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.064 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037037 x) 0.13793103448275862) in x 0.064 * [taylor]: Taking taylor expansion of (* 7.787037037037037 x) in x 0.064 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.072 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.072 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.072 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.072 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.072 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.072 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.072 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.072 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.087 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in (x) around 0 0.087 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.087 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.087 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.087 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037037 (/ 1 x))) in x 0.087 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.087 * [taylor]: Taking taylor expansion of (* 7.787037037037037 (/ 1 x)) in x 0.087 * [taylor]: Taking taylor expansion of 7.787037037037037 in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.100 * * * [progress]: simplifying candidates 0.101 * [simplify]: Simplifying using # : (* (/ 841.0 108.0) x) (+ (- (log 841.0) (log 108.0)) (log x)) (+ (log (/ 841.0 108.0)) (log x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (* (/ (* (* 841.0 841.0) 841.0) (* (* 108.0 108.0) 108.0)) (* (* x x) x)) (* (* (* (/ 841.0 108.0) (/ 841.0 108.0)) (/ 841.0 108.0)) (* (* x x) x)) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (* (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (* (/ 841.0 108.0) 1) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (* (/ 1 108.0) x) (* 841.0 x) (* (exp (* (/ 841.0 108.0) x)) (exp (/ 4.0 29.0))) (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (* (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3)) (+ (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 0.103 * * [simplify]: iteration 0 : 97 enodes (cost 463 ) 0.118 * * [simplify]: iteration 1 : 242 enodes (cost 443 ) 0.192 * * [simplify]: iteration 2 : 692 enodes (cost 403 ) 0.456 * * [simplify]: iteration 3 : 2171 enodes (cost 401 ) 1.130 * * [simplify]: iteration done : 5001 enodes (cost 401 ) 1.130 * [simplify]: Simplified to: (* (/ 841.0 108.0) x) (log (* (/ 841.0 108.0) x)) (log (* (/ 841.0 108.0) x)) (log (* (/ 841.0 108.0) x)) (exp (* (/ 841.0 108.0) x)) (pow (* (/ 841.0 108.0) x) 3) (pow (* (/ 841.0 108.0) x) 3) (* (cbrt (* (/ 841.0 108.0) x)) (cbrt (* (/ 841.0 108.0) x))) (cbrt (* (/ 841.0 108.0) x)) (pow (* (/ 841.0 108.0) x) 3) (sqrt (* (/ 841.0 108.0) x)) (sqrt (* (/ 841.0 108.0) x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (sqrt (/ 841.0 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ (sqrt 841.0) (sqrt 108.0)) (sqrt x)) (* (/ 841.0 108.0) (* (cbrt x) (cbrt x))) (* (/ 841.0 108.0) (sqrt x)) (/ 841.0 108.0) (* (cbrt (/ 841.0 108.0)) x) (* (sqrt (/ 841.0 108.0)) x) (* (/ (cbrt 841.0) (cbrt 108.0)) x) (* (/ (cbrt 841.0) (sqrt 108.0)) x) (* (/ (cbrt 841.0) 108.0) x) (* (/ (sqrt 841.0) (cbrt 108.0)) x) (* (/ (sqrt 841.0) (sqrt 108.0)) x) (* (/ (sqrt 841.0) 108.0) x) (* (/ 841.0 (cbrt 108.0)) x) (* (/ 841.0 (sqrt 108.0)) x) (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x) (/ x 108.0) (* 841.0 x) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (log (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (exp (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (* (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))) (cbrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (pow (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) 3) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (sqrt (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* (/ 841.0 108.0) x) 3) (pow (/ 4.0 29.0) 3)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (/ 841.0 108.0) x) (- (/ 4.0 29.0) (* (/ 841.0 108.0) x)))) (- (* (* (/ 841.0 108.0) x) (* (/ 841.0 108.0) x)) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (/ 841.0 108.0) x) (/ 4.0 29.0)) (* 7.787037037037037 x) (* 7.787037037037037 x) (* 7.787037037037037 x) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) 1.130 * * * [progress]: adding candidates to table 1.221 * * [progress]: iteration 2 / 4 1.221 * * * [progress]: picking best candidate 1.225 * * * * [pick]: Picked # 1.225 * * * [progress]: localizing error 1.231 * * * [progress]: generating rewritten candidates 1.231 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.238 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.246 * * * [progress]: generating series expansions 1.246 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.246 * [approximate]: Taking taylor expansion of (* 7.787037037037036 x) in (x) around 0 1.246 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 1.246 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 1.247 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.252 * [approximate]: Taking taylor expansion of (/ 7.787037037037036 x) in (x) around 0 1.252 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 1.252 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.252 * [taylor]: Taking taylor expansion of x in x 1.253 * [taylor]: Taking taylor expansion of (/ 7.787037037037036 x) in x 1.253 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.256 * [approximate]: Taking taylor expansion of (/ -7.787037037037036 x) in (x) around 0 1.256 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 1.257 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of (/ -7.787037037037036 x) in x 1.257 * [taylor]: Taking taylor expansion of -7.787037037037036 in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.261 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.261 * [approximate]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in (x) around 0 1.261 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 1.261 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 1.261 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.261 * [taylor]: Taking taylor expansion of (+ (* 7.787037037037036 x) 0.13793103448275862) in x 1.261 * [taylor]: Taking taylor expansion of (* 7.787037037037036 x) in x 1.261 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.269 * [approximate]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 1.269 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 1.269 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.269 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 1.269 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.270 * [taylor]: Taking taylor expansion of (+ 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 1.270 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.270 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 1.270 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.270 * [taylor]: Taking taylor expansion of x in x 1.284 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in (x) around 0 1.285 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 1.285 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.285 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 1.285 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 7.787037037037036 (/ 1 x))) in x 1.285 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 1.285 * [taylor]: Taking taylor expansion of (* 7.787037037037036 (/ 1 x)) in x 1.285 * [taylor]: Taking taylor expansion of 7.787037037037036 in x 1.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.298 * * * [progress]: simplifying candidates 1.299 * [simplify]: Simplifying using # : (* 841.0 (/ x 108.0)) (+ (log 841.0) (- (log x) (log 108.0))) (+ (log 841.0) (log (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (exp (* 841.0 (/ x 108.0))) (* (* (* 841.0 841.0) 841.0) (/ (* (* x x) x) (* (* 108.0 108.0) 108.0))) (* (* (* 841.0 841.0) 841.0) (* (* (/ x 108.0) (/ x 108.0)) (/ x 108.0))) (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0)))) (cbrt (* 841.0 (/ x 108.0))) (* (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* 841.0 (sqrt (/ x 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) 1)) (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (sqrt x) (sqrt 108.0))) (* 841.0 (/ (sqrt x) 1)) (* 841.0 (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ 1 (sqrt 108.0))) (* 841.0 (/ 1 1)) (* 841.0 1) (* 841.0 x) (* (cbrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* 841.0 (/ x 108.0)) (* 841.0 x) (* (exp (* 841.0 (/ x 108.0))) (exp (/ 4.0 29.0))) (log (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (* (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* 841.0 (/ x 108.0)) 3) (pow (/ 4.0 29.0) 3)) (+ (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))) (- (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (* 7.787037037037036 x) (* 7.787037037037036 x) (* 7.787037037037036 x) (+ (* 7.787037037037036 x) 0.13793103448275862) (+ (* 7.787037037037036 x) 0.13793103448275862) (+ (* 7.787037037037036 x) 0.13793103448275862) 1.301 * * [simplify]: iteration 0 : 99 enodes (cost 479 ) 1.321 * * [simplify]: iteration 1 : 255 enodes (cost 447 ) 1.371 * * [simplify]: iteration 2 : 680 enodes (cost 409 ) 1.557 * * [simplify]: iteration 3 : 2052 enodes (cost 407 ) 2.220 * * [simplify]: iteration done : 5000 enodes (cost 407 ) 2.221 * [simplify]: Simplified to: (* 841.0 (/ x 108.0)) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (exp (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (pow (* 841.0 (/ x 108.0)) 3) (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0)))) (cbrt (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (sqrt (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* 841.0 (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* 841.0 (sqrt (/ x 108.0))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* 841.0 (* (cbrt x) (cbrt x))) (* 841.0 (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* 841.0 (/ (sqrt x) (sqrt 108.0))) (* 841.0 (sqrt x)) (/ 841.0 (* (cbrt 108.0) (cbrt 108.0))) (/ 841.0 (sqrt 108.0)) 841.0 841.0 (* 841.0 x) (* (cbrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* 841.0 (/ x 108.0)) (* 841.0 x) (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (log (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (pow (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) 3) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (+ (* (* 841.0 x) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* 841.0 (/ x 108.0)) 3) (pow (/ 4.0 29.0) 3)) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* 841.0 (/ x 108.0)) (- (/ 4.0 29.0) (* 841.0 (/ x 108.0))))) (- (* (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0))) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (* 7.787037037037036 x) (* 7.787037037037036 x) (* 7.787037037037036 x) (+ (* 7.787037037037036 x) 0.13793103448275862) (+ (* 7.787037037037036 x) 0.13793103448275862) (+ (* 7.787037037037036 x) 0.13793103448275862) 2.221 * * * [progress]: adding candidates to table 2.326 * * [progress]: iteration 3 / 4 2.327 * * * [progress]: picking best candidate 2.329 * * * * [pick]: Picked # 2.329 * * * [progress]: localizing error 2.338 * * * [progress]: generating rewritten candidates 2.338 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.353 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 2.363 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.384 * * * [progress]: generating series expansions 2.384 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.385 * [approximate]: Taking taylor expansion of (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) in (x) around 0 2.385 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) in x 2.385 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.385 * [taylor]: Taking taylor expansion of (* (pow (sqrt 841.0) 2) x) in x 2.385 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.385 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.385 * [taylor]: Taking taylor expansion of 841.0 in x 2.385 * [taylor]: Taking taylor expansion of x in x 2.385 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) in x 2.386 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.386 * [taylor]: Taking taylor expansion of (* (pow (sqrt 841.0) 2) x) in x 2.386 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.386 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.386 * [taylor]: Taking taylor expansion of 841.0 in x 2.386 * [taylor]: Taking taylor expansion of x in x 2.416 * [approximate]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in (x) around 0 2.416 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.416 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.416 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.416 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.416 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.416 * [taylor]: Taking taylor expansion of 841.0 in x 2.417 * [taylor]: Taking taylor expansion of x in x 2.419 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.419 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.419 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.419 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.419 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.419 * [taylor]: Taking taylor expansion of 841.0 in x 2.419 * [taylor]: Taking taylor expansion of x in x 2.442 * [approximate]: Taking taylor expansion of (* -0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in (x) around 0 2.442 * [taylor]: Taking taylor expansion of (* -0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.442 * [taylor]: Taking taylor expansion of -0.009259259259259259 in x 2.442 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.442 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.442 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.442 * [taylor]: Taking taylor expansion of 841.0 in x 2.443 * [taylor]: Taking taylor expansion of x in x 2.445 * [taylor]: Taking taylor expansion of (* -0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.445 * [taylor]: Taking taylor expansion of -0.009259259259259259 in x 2.445 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.445 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.445 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.445 * [taylor]: Taking taylor expansion of 841.0 in x 2.445 * [taylor]: Taking taylor expansion of x in x 2.474 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 2.474 * [approximate]: Taking taylor expansion of (* 0.009259259259259259 (* (sqrt 841.0) x)) in (x) around 0 2.474 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (sqrt 841.0) x)) in x 2.474 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.474 * [taylor]: Taking taylor expansion of (* (sqrt 841.0) x) in x 2.474 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.474 * [taylor]: Taking taylor expansion of 841.0 in x 2.475 * [taylor]: Taking taylor expansion of x in x 2.475 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (sqrt 841.0) x)) in x 2.475 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.475 * [taylor]: Taking taylor expansion of (* (sqrt 841.0) x) in x 2.475 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.475 * [taylor]: Taking taylor expansion of 841.0 in x 2.476 * [taylor]: Taking taylor expansion of x in x 2.494 * [approximate]: Taking taylor expansion of (* 0.009259259259259259 (/ (sqrt 841.0) x)) in (x) around 0 2.494 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (sqrt 841.0) x)) in x 2.494 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.494 * [taylor]: Taking taylor expansion of (/ (sqrt 841.0) x) in x 2.494 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.494 * [taylor]: Taking taylor expansion of 841.0 in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.495 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (sqrt 841.0) x)) in x 2.495 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.495 * [taylor]: Taking taylor expansion of (/ (sqrt 841.0) x) in x 2.495 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.495 * [taylor]: Taking taylor expansion of 841.0 in x 2.496 * [taylor]: Taking taylor expansion of x in x 2.510 * [approximate]: Taking taylor expansion of (* -0.009259259259259259 (/ (sqrt 841.0) x)) in (x) around 0 2.510 * [taylor]: Taking taylor expansion of (* -0.009259259259259259 (/ (sqrt 841.0) x)) in x 2.510 * [taylor]: Taking taylor expansion of -0.009259259259259259 in x 2.510 * [taylor]: Taking taylor expansion of (/ (sqrt 841.0) x) in x 2.510 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.510 * [taylor]: Taking taylor expansion of 841.0 in x 2.511 * [taylor]: Taking taylor expansion of x in x 2.512 * [taylor]: Taking taylor expansion of (* -0.009259259259259259 (/ (sqrt 841.0) x)) in x 2.512 * [taylor]: Taking taylor expansion of -0.009259259259259259 in x 2.512 * [taylor]: Taking taylor expansion of (/ (sqrt 841.0) x) in x 2.512 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.512 * [taylor]: Taking taylor expansion of 841.0 in x 2.512 * [taylor]: Taking taylor expansion of x in x 2.526 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.527 * [approximate]: Taking taylor expansion of (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in (x) around 0 2.527 * [taylor]: Taking taylor expansion of (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in x 2.527 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) in x 2.527 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.527 * [taylor]: Taking taylor expansion of (* (pow (sqrt 841.0) 2) x) in x 2.527 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.527 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.527 * [taylor]: Taking taylor expansion of 841.0 in x 2.528 * [taylor]: Taking taylor expansion of x in x 2.528 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.528 * [taylor]: Taking taylor expansion of (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in x 2.528 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) in x 2.528 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.528 * [taylor]: Taking taylor expansion of (* (pow (sqrt 841.0) 2) x) in x 2.528 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.528 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.528 * [taylor]: Taking taylor expansion of 841.0 in x 2.529 * [taylor]: Taking taylor expansion of x in x 2.529 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.568 * [approximate]: Taking taylor expansion of (+ (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in (x) around 0 2.568 * [taylor]: Taking taylor expansion of (+ (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in x 2.568 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.569 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.569 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.569 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.569 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.569 * [taylor]: Taking taylor expansion of 841.0 in x 2.569 * [taylor]: Taking taylor expansion of x in x 2.571 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.571 * [taylor]: Taking taylor expansion of (+ (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) 0.13793103448275862) in x 2.571 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.571 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.571 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.571 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.571 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.571 * [taylor]: Taking taylor expansion of 841.0 in x 2.572 * [taylor]: Taking taylor expansion of x in x 2.574 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.602 * [approximate]: Taking taylor expansion of (- 0.13793103448275862 (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x))) in (x) around 0 2.602 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x))) in x 2.602 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.602 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.602 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.602 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.602 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.602 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.602 * [taylor]: Taking taylor expansion of 841.0 in x 2.603 * [taylor]: Taking taylor expansion of x in x 2.605 * [taylor]: Taking taylor expansion of (- 0.13793103448275862 (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x))) in x 2.605 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 2.605 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow (sqrt 841.0) 2) x)) in x 2.605 * [taylor]: Taking taylor expansion of 0.009259259259259259 in x 2.605 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 841.0) 2) x) in x 2.605 * [taylor]: Taking taylor expansion of (pow (sqrt 841.0) 2) in x 2.605 * [taylor]: Taking taylor expansion of (sqrt 841.0) in x 2.605 * [taylor]: Taking taylor expansion of 841.0 in x 2.606 * [taylor]: Taking taylor expansion of x in x 2.646 * * * [progress]: simplifying candidates 2.647 * [simplify]: Simplifying using # : (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (+ (log (sqrt 841.0)) (+ (log (sqrt 841.0)) (- (log x) (log 108.0)))) (+ (log (sqrt 841.0)) (+ (log (sqrt 841.0)) (log (/ x 108.0)))) (+ (log (sqrt 841.0)) (log (* (sqrt 841.0) (/ x 108.0)))) (log (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (exp (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (/ (* (* x x) x) (* (* 108.0 108.0) 108.0)))) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (* (* (/ x 108.0) (/ x 108.0)) (/ x 108.0)))) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (* (* (* (sqrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (/ x 108.0)))) (* (cbrt (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (cbrt (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))))) (cbrt (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (* (* (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (sqrt (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (sqrt (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (* (sqrt 841.0) (sqrt 841.0)) (* (cbrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (cbrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) x)) (* (sqrt 841.0) (/ x 108.0)) (+ (log (sqrt 841.0)) (- (log x) (log 108.0))) (+ (log (sqrt 841.0)) (log (/ x 108.0))) (log (* (sqrt 841.0) (/ x 108.0))) (exp (* (sqrt 841.0) (/ x 108.0))) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (/ (* (* x x) x) (* (* 108.0 108.0) 108.0))) (* (* (* (sqrt 841.0) (sqrt 841.0)) (sqrt 841.0)) (* (* (/ x 108.0) (/ x 108.0)) (/ x 108.0))) (* (cbrt (* (sqrt 841.0) (/ x 108.0))) (cbrt (* (sqrt 841.0) (/ x 108.0)))) (cbrt (* (sqrt 841.0) (/ x 108.0))) (* (* (* (sqrt 841.0) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (/ x 108.0))) (sqrt (* (sqrt 841.0) (/ x 108.0))) (sqrt (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* (sqrt 841.0) (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* (sqrt 841.0) (/ (* (cbrt x) (cbrt x)) 1)) (* (sqrt 841.0) (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (/ (sqrt x) 1)) (* (sqrt 841.0) (/ 1 (* (cbrt 108.0) (cbrt 108.0)))) (* (sqrt 841.0) (/ 1 (sqrt 108.0))) (* (sqrt 841.0) (/ 1 1)) (* (sqrt 841.0) 1) (* (sqrt 841.0) x) (* (cbrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt (cbrt 841.0)) (/ x 108.0)) (* (sqrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* (sqrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* (sqrt 841.0) x) (* (exp (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (exp (/ 4.0 29.0))) (log (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (exp (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (* (cbrt (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (cbrt (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0)))) (cbrt (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (* (* (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0)) (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (sqrt (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (sqrt (+ (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0))) (+ (* (* (sqrt 841.0) (* (sqrt 841.0) x)) 29.0) (* 108.0 4.0)) (* 108.0 29.0) (+ (pow (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) 3) (pow (/ 4.0 29.0) 3)) (+ (* (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (- (* (/ 4.0 29.0) (/ 4.0 29.0)) (* (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0)))) (- (* (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0))) (- (* (sqrt 841.0) (* (sqrt 841.0) (/ x 108.0))) (/ 4.0 29.0)) (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) (* 0.009259259259259259 (* (sqrt 841.0) x)) (* 0.009259259259259259 (* (sqrt 841.0) x)) (* 0.009259259259259259 (* (sqrt 841.0) x)) (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) (+ (* 0.009259259259259259 (* (pow (sqrt 841.0) 2) x)) 0.13793103448275862) 2.651 * * [simplify]: iteration 0 : 125 enodes (cost 1008 ) 2.677 * * [simplify]: iteration 1 : 333 enodes (cost 764 ) 2.802 * * [simplify]: iteration 2 : 1123 enodes (cost 680 ) 4.560 * * [simplify]: iteration 3 : 4950 enodes (cost 678 ) 5.868 * * [simplify]: iteration done : 5000 enodes (cost 678 ) 5.868 * [simplify]: Simplified to: (* 841.0 (/ x 108.0)) (* 841.0 (/ x 108.0)) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (log (* 841.0 (/ x 108.0))) (exp (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (pow (* 841.0 (/ x 108.0)) 3) (pow (* 841.0 (/ x 108.0)) 3) (* (cbrt (* 841.0 (/ x 108.0))) (cbrt (* 841.0 (/ x 108.0)))) (cbrt (* 841.0 (/ x 108.0))) (pow (* 841.0 (/ x 108.0)) 3) (sqrt (* 841.0 (/ x 108.0))) (sqrt (* 841.0 (/ x 108.0))) 841.0 (* (cbrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (cbrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* 841.0 (/ x 108.0)) (* (sqrt (sqrt 841.0)) (* (sqrt 841.0) (/ x 108.0))) (* 841.0 (/ x 108.0)) (* x 841.0) (* (sqrt 841.0) (/ x 108.0)) (log (* (sqrt 841.0) (/ x 108.0))) (log (* (sqrt 841.0) (/ x 108.0))) (log (* (sqrt 841.0) (/ x 108.0))) (exp (* (sqrt 841.0) (/ x 108.0))) (pow (* (sqrt 841.0) (/ x 108.0)) 3) (pow (* (sqrt 841.0) (/ x 108.0)) 3) (* (cbrt (* (sqrt 841.0) (/ x 108.0))) (cbrt (* (sqrt 841.0) (/ x 108.0)))) (cbrt (* (sqrt 841.0) (/ x 108.0))) (pow (* (sqrt 841.0) (/ x 108.0)) 3) (sqrt (* (sqrt 841.0) (/ x 108.0))) (sqrt (* (sqrt 841.0) (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (sqrt (/ x 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt (sqrt 841.0)) (/ (sqrt x) (sqrt 108.0))) (* (sqrt 841.0) (* (cbrt (/ x 108.0)) (cbrt (/ x 108.0)))) (* (sqrt 841.0) (sqrt (/ x 108.0))) (* (sqrt 841.0) (/ (* (cbrt x) (cbrt x)) (* (cbrt 108.0) (cbrt 108.0)))) (* (sqrt 841.0) (/ (* (cbrt x) (cbrt x)) (sqrt 108.0))) (* (sqrt 841.0) (* (cbrt x) (cbrt x))) (* (sqrt 841.0) (/ (sqrt x) (* (cbrt 108.0) (cbrt 108.0)))) (* (sqrt 841.0) (/ (sqrt x) (sqrt 108.0))) (* (sqrt x) (sqrt 841.0)) (/ (sqrt 841.0) (* (cbrt 108.0) (cbrt 108.0))) (/ (sqrt 841.0) (sqrt 108.0)) (sqrt 841.0) (sqrt 841.0) (* (sqrt 841.0) x) (* (cbrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt (cbrt 841.0)) (/ x 108.0)) (* (sqrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* (sqrt (sqrt 841.0)) (/ x 108.0)) (* (sqrt 841.0) (/ x 108.0)) (* (sqrt 841.0) x) (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (log (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (exp (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)))) (cbrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (pow (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) 3) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (sqrt (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0) (+ (pow (/ 4.0 29.0) 3) (pow (* 841.0 (/ x 108.0)) 3)) (+ (* (* 841.0 (/ x 108.0)) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (* (/ 4.0 29.0) (/ 4.0 29.0))) (* (+ (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0))) (- (* 841.0 (/ x 108.0)) (/ 4.0 29.0)) (* (* x 841.0) 0.009259259259259259) (* (* x 841.0) 0.009259259259259259) (* (* x 841.0) 0.009259259259259259) (* 0.009259259259259259 (* (sqrt 841.0) x)) (* 0.009259259259259259 (* (sqrt 841.0) x)) (* 0.009259259259259259 (* (sqrt 841.0) x)) (+ 0.13793103448275862 (* (* x 841.0) 0.009259259259259259)) (+ 0.13793103448275862 (* (* x 841.0) 0.009259259259259259)) (+ 0.13793103448275862 (* (* x 841.0) 0.009259259259259259)) 5.869 * * * [progress]: adding candidates to table 6.012 * * [progress]: iteration 4 / 4 6.012 * * * [progress]: picking best candidate 6.013 * * * * [pick]: Picked # 6.013 * * * [progress]: localizing error 6.021 * * * [progress]: generating rewritten candidates 6.021 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 6.031 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 6.036 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 6.040 * * * [progress]: generating series expansions 6.040 * * * * [progress]: [ 1 / 3 ] generating series at (2) 6.041 * [approximate]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 x) 432.0)) in (x) around 0 6.041 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 x) 432.0)) in x 6.041 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.041 * [taylor]: Taking taylor expansion of (+ (* 24389.0 x) 432.0) in x 6.041 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.041 * [taylor]: Taking taylor expansion of 24389.0 in x 6.041 * [taylor]: Taking taylor expansion of x in x 6.041 * [taylor]: Taking taylor expansion of 432.0 in x 6.041 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 x) 432.0)) in x 6.041 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.041 * [taylor]: Taking taylor expansion of (+ (* 24389.0 x) 432.0) in x 6.041 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.041 * [taylor]: Taking taylor expansion of 24389.0 in x 6.041 * [taylor]: Taking taylor expansion of x in x 6.041 * [taylor]: Taking taylor expansion of 432.0 in x 6.055 * [approximate]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 (/ 1 x)) 432.0)) in (x) around 0 6.055 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 (/ 1 x)) 432.0)) in x 6.055 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.055 * [taylor]: Taking taylor expansion of (+ (* 24389.0 (/ 1 x)) 432.0) in x 6.055 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.055 * [taylor]: Taking taylor expansion of 24389.0 in x 6.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.055 * [taylor]: Taking taylor expansion of x in x 6.055 * [taylor]: Taking taylor expansion of 432.0 in x 6.055 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (+ (* 24389.0 (/ 1 x)) 432.0)) in x 6.055 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.055 * [taylor]: Taking taylor expansion of (+ (* 24389.0 (/ 1 x)) 432.0) in x 6.055 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.055 * [taylor]: Taking taylor expansion of 24389.0 in x 6.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.055 * [taylor]: Taking taylor expansion of x in x 6.056 * [taylor]: Taking taylor expansion of 432.0 in x 6.075 * [approximate]: Taking taylor expansion of (* 0.00031928480204342275 (- 432.0 (* 24389.0 (/ 1 x)))) in (x) around 0 6.075 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (- 432.0 (* 24389.0 (/ 1 x)))) in x 6.075 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.075 * [taylor]: Taking taylor expansion of (- 432.0 (* 24389.0 (/ 1 x))) in x 6.075 * [taylor]: Taking taylor expansion of 432.0 in x 6.075 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.075 * [taylor]: Taking taylor expansion of 24389.0 in x 6.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.075 * [taylor]: Taking taylor expansion of x in x 6.076 * [taylor]: Taking taylor expansion of (* 0.00031928480204342275 (- 432.0 (* 24389.0 (/ 1 x)))) in x 6.076 * [taylor]: Taking taylor expansion of 0.00031928480204342275 in x 6.076 * [taylor]: Taking taylor expansion of (- 432.0 (* 24389.0 (/ 1 x))) in x 6.076 * [taylor]: Taking taylor expansion of 432.0 in x 6.076 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.076 * [taylor]: Taking taylor expansion of 24389.0 in x 6.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.076 * [taylor]: Taking taylor expansion of x in x 6.095 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 6.095 * [approximate]: Taking taylor expansion of (* 24389.0 x) in (x) around 0 6.095 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.095 * [taylor]: Taking taylor expansion of 24389.0 in x 6.095 * [taylor]: Taking taylor expansion of x in x 6.095 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.095 * [taylor]: Taking taylor expansion of 24389.0 in x 6.095 * [taylor]: Taking taylor expansion of x in x 6.100 * [approximate]: Taking taylor expansion of (/ 24389.0 x) in (x) around 0 6.100 * [taylor]: Taking taylor expansion of (/ 24389.0 x) in x 6.100 * [taylor]: Taking taylor expansion of 24389.0 in x 6.100 * [taylor]: Taking taylor expansion of x in x 6.101 * [taylor]: Taking taylor expansion of (/ 24389.0 x) in x 6.101 * [taylor]: Taking taylor expansion of 24389.0 in x 6.101 * [taylor]: Taking taylor expansion of x in x 6.104 * [approximate]: Taking taylor expansion of (/ -24389.0 x) in (x) around 0 6.104 * [taylor]: Taking taylor expansion of (/ -24389.0 x) in x 6.104 * [taylor]: Taking taylor expansion of -24389.0 in x 6.104 * [taylor]: Taking taylor expansion of x in x 6.105 * [taylor]: Taking taylor expansion of (/ -24389.0 x) in x 6.105 * [taylor]: Taking taylor expansion of -24389.0 in x 6.105 * [taylor]: Taking taylor expansion of x in x 6.109 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 6.109 * [approximate]: Taking taylor expansion of (+ (* 24389.0 x) 432.0) in (x) around 0 6.109 * [taylor]: Taking taylor expansion of (+ (* 24389.0 x) 432.0) in x 6.109 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.109 * [taylor]: Taking taylor expansion of 24389.0 in x 6.109 * [taylor]: Taking taylor expansion of x in x 6.109 * [taylor]: Taking taylor expansion of 432.0 in x 6.109 * [taylor]: Taking taylor expansion of (+ (* 24389.0 x) 432.0) in x 6.109 * [taylor]: Taking taylor expansion of (* 24389.0 x) in x 6.109 * [taylor]: Taking taylor expansion of 24389.0 in x 6.109 * [taylor]: Taking taylor expansion of x in x 6.109 * [taylor]: Taking taylor expansion of 432.0 in x 6.117 * [approximate]: Taking taylor expansion of (+ (* 24389.0 (/ 1 x)) 432.0) in (x) around 0 6.117 * [taylor]: Taking taylor expansion of (+ (* 24389.0 (/ 1 x)) 432.0) in x 6.117 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.117 * [taylor]: Taking taylor expansion of 24389.0 in x 6.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of 432.0 in x 6.117 * [taylor]: Taking taylor expansion of (+ (* 24389.0 (/ 1 x)) 432.0) in x 6.117 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.117 * [taylor]: Taking taylor expansion of 24389.0 in x 6.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of 432.0 in x 6.128 * [approximate]: Taking taylor expansion of (- 432.0 (* 24389.0 (/ 1 x))) in (x) around 0 6.128 * [taylor]: Taking taylor expansion of (- 432.0 (* 24389.0 (/ 1 x))) in x 6.128 * [taylor]: Taking taylor expansion of 432.0 in x 6.128 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.128 * [taylor]: Taking taylor expansion of 24389.0 in x 6.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.128 * [taylor]: Taking taylor expansion of x in x 6.128 * [taylor]: Taking taylor expansion of (- 432.0 (* 24389.0 (/ 1 x))) in x 6.128 * [taylor]: Taking taylor expansion of 432.0 in x 6.128 * [taylor]: Taking taylor expansion of (* 24389.0 (/ 1 x)) in x 6.128 * [taylor]: Taking taylor expansion of 24389.0 in x 6.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.128 * [taylor]: Taking taylor expansion of x in x 6.141 * * * [progress]: simplifying candidates 6.142 * [simplify]: Simplifying using # : (- (log (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (log 108.0) (log 29.0))) (- (log (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (log (* 108.0 29.0))) (log (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (exp (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (/ (* (* (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (* (* 108.0 108.0) 108.0) (* (* 29.0 29.0) 29.0))) (/ (* (* (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (* (* 108.0 29.0) (* 108.0 29.0)) (* 108.0 29.0))) (* (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)))) (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (* (* (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (sqrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (sqrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (- (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (- (* 108.0 29.0)) (/ (* (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) 108.0) (/ (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 29.0) (/ (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 108.0) (/ (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 29.0) (/ 1 108.0) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) 29.0) (/ 1 (* 108.0 29.0)) (/ (* 108.0 29.0) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) 108.0) (/ (* 108.0 29.0) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (/ (* 108.0 29.0) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (/ (* 108.0 29.0) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (* 108.0 29.0) (+ (* (* 108.0 4.0) (* 108.0 4.0)) (- (* (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0))) (* (* 108.0 4.0) (* 29.0 (* x 841.0)))))) (* (* 108.0 29.0) (- (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0)) (+ (log 29.0) (+ (log x) (log 841.0))) (+ (log 29.0) (log (* x 841.0))) (log (* 29.0 (* x 841.0))) (exp (* 29.0 (* x 841.0))) (* (* (* 29.0 29.0) 29.0) (* (* (* x x) x) (* (* 841.0 841.0) 841.0))) (* (* (* 29.0 29.0) 29.0) (* (* (* x 841.0) (* x 841.0)) (* x 841.0))) (* (cbrt (* 29.0 (* x 841.0))) (cbrt (* 29.0 (* x 841.0)))) (cbrt (* 29.0 (* x 841.0))) (* (* (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0))) (* 29.0 (* x 841.0))) (sqrt (* 29.0 (* x 841.0))) (sqrt (* 29.0 (* x 841.0))) (* 29.0 x) (* (cbrt 29.0) (* x 841.0)) (* (sqrt 29.0) (* x 841.0)) (* 29.0 (* x 841.0)) (* (exp (* 108.0 4.0)) (exp (* 29.0 (* x 841.0)))) (log (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (exp (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (* (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (pow (* 108.0 4.0) 3) (pow (* 29.0 (* x 841.0)) 3)) (+ (* (* 108.0 4.0) (* 108.0 4.0)) (- (* (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0))) (* (* 108.0 4.0) (* 29.0 (* x 841.0))))) (- (* (* 108.0 4.0) (* 108.0 4.0)) (* (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0)))) (- (* 108.0 4.0) (* 29.0 (* x 841.0))) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (* 24389.0 x) (* 24389.0 x) (* 24389.0 x) (+ (* 24389.0 x) 432.0) (+ (* 24389.0 x) 432.0) (+ (* 24389.0 x) 432.0) 6.147 * * [simplify]: iteration 0 : 103 enodes (cost 815 ) 6.162 * * [simplify]: iteration 1 : 284 enodes (cost 786 ) 6.226 * * [simplify]: iteration 2 : 997 enodes (cost 670 ) 6.573 * * [simplify]: iteration 3 : 3939 enodes (cost 670 ) 7.572 * * [simplify]: iteration done : 5000 enodes (cost 670 ) 7.573 * [simplify]: Simplified to: (log (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (log (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (log (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (exp (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (pow (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)) 3) (pow (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)) 3) (* (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)))) (cbrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (pow (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0)) 3) (sqrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (sqrt (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) (* 108.0 29.0))) (- (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (- (* 108.0 29.0)) (/ (* (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) 108.0) (/ (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 29.0) (/ (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 108.0) (/ (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) 29.0) (/ 1 108.0) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) 29.0) (/ 1 (* 108.0 29.0)) (/ (* 108.0 29.0) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (/ (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) 108.0) (/ (* 108.0 29.0) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (/ (* 108.0 29.0) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (/ (* 108.0 29.0) (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* 108.0 (* 29.0 (+ (* (* 108.0 4.0) (* 108.0 4.0)) (* (* 29.0 (* x 841.0)) (- (* 29.0 (* x 841.0)) (* 108.0 4.0)))))) (* (* 108.0 29.0) (- (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0)) (log (* 29.0 (* x 841.0))) (log (* 29.0 (* x 841.0))) (log (* 29.0 (* x 841.0))) (exp (* 29.0 (* x 841.0))) (pow (* 29.0 (* x 841.0)) 3) (pow (* 29.0 (* x 841.0)) 3) (* (cbrt (* 29.0 (* x 841.0))) (cbrt (* 29.0 (* x 841.0)))) (cbrt (* 29.0 (* x 841.0))) (pow (* 29.0 (* x 841.0)) 3) (sqrt (* 29.0 (* x 841.0))) (sqrt (* 29.0 (* x 841.0))) (* 29.0 x) (* (cbrt 29.0) (* x 841.0)) (* (sqrt 29.0) (* x 841.0)) (* 29.0 (* x 841.0)) (exp (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (log (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (exp (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (* (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0))))) (cbrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (pow (+ (* 108.0 4.0) (* 29.0 (* x 841.0))) 3) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (sqrt (+ (* 108.0 4.0) (* 29.0 (* x 841.0)))) (+ (pow (* 108.0 4.0) 3) (pow (* 29.0 (* x 841.0)) 3)) (+ (* (* 108.0 4.0) (* 108.0 4.0)) (* (* 29.0 (* x 841.0)) (- (* 29.0 (* x 841.0)) (* 108.0 4.0)))) (- (* (* 108.0 4.0) (* 108.0 4.0)) (* (* 29.0 (* x 841.0)) (* 29.0 (* x 841.0)))) (- (* 108.0 4.0) (* 29.0 (* x 841.0))) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (+ (* 7.787037037037037 x) 0.13793103448275862) (* 24389.0 x) (* 24389.0 x) (* 24389.0 x) (+ (* 24389.0 x) 432.0) (+ (* 24389.0 x) 432.0) (+ (* 24389.0 x) 432.0) 7.573 * * * [progress]: adding candidates to table 7.673 * [progress]: [Phase 3 of 3] Extracting. 7.673 * * [regime]: Finding splitpoints for: (# # # #) 7.673 * * * [regime-changes]: Trying 3 branch expressions: ((* (/ 841.0 108.0) x) (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) x) 7.673 * * * * [regimes]: Trying to branch on (* (/ 841.0 108.0) x) from (# # # #) 7.688 * * * * [regimes]: Trying to branch on (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)) from (# # # #) 7.700 * * * * [regimes]: Trying to branch on x from (# # # #) 7.712 * * * [regime]: Found split indices: #