25.725 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 0.032 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 0.033 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 0.035 * * [simplify]: iteration 2 : 22 enodes (cost 12 ) 0.037 * * [simplify]: iteration 3 : 26 enodes (cost 12 ) 0.043 * * [simplify]: iteration 4 : 28 enodes (cost 12 ) 0.046 * * [simplify]: iteration 5 : 33 enodes (cost 12 ) 0.050 * * [simplify]: iteration 6 : 35 enodes (cost 12 ) 0.054 * * [simplify]: iteration done : 35 enodes (cost 12 ) 0.054 * [simplify]: Simplified to: (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.063 * * * [progress]: generating rewritten candidates 0.063 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.066 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 2 2) 0.069 * * * [progress]: generating series expansions 0.069 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.069 * [approximate]: Taking taylor expansion of (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) in (x) around 0 0.069 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) in x 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.069 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 0.069 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.069 * [taylor]: Taking taylor expansion of 0.5 in x 0.070 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 0.070 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 0.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 0.070 * [taylor]: Taking taylor expansion of 1.0 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.070 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.070 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 0.071 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.071 * [taylor]: Taking taylor expansion of 0.5 in x 0.072 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 0.072 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 0.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 0.072 * [taylor]: Taking taylor expansion of 1.0 in x 0.072 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.072 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.072 * [taylor]: Taking taylor expansion of 1.0 in x 0.096 * [approximate]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5))) in (x) around 0 0.097 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5))) in x 0.097 * [taylor]: Taking taylor expansion of 1.0 in x 0.097 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 0.097 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 0.097 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 0.097 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.097 * [taylor]: Taking taylor expansion of 1.0 in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.097 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.098 * [taylor]: Taking taylor expansion of 0.5 in x 0.098 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5))) in x 0.098 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 0.099 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 0.099 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 0.099 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.099 * [taylor]: Taking taylor expansion of 1.0 in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.099 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.099 * [taylor]: Taking taylor expansion of 1.0 in x 0.100 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.100 * [taylor]: Taking taylor expansion of 0.5 in x 0.125 * [approximate]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5))) in (x) around 0 0.125 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5))) in x 0.125 * [taylor]: Taking taylor expansion of 1.0 in x 0.125 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 0.125 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 0.125 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 0.125 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.125 * [taylor]: Taking taylor expansion of 1.0 in x 0.125 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.125 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.127 * [taylor]: Taking taylor expansion of 0.5 in x 0.127 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5))) in x 0.127 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 0.127 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 0.127 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 0.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.127 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.127 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.128 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.129 * [taylor]: Taking taylor expansion of 0.5 in x 0.151 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 2 2) 0.151 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in (x) around 0 0.151 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 0.151 * [taylor]: Taking taylor expansion of 1.0 in x 0.151 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.151 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 0.151 * [taylor]: Taking taylor expansion of 1.0 in x 0.151 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.153 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in (x) around 0 0.153 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 0.153 * [taylor]: Taking taylor expansion of 1.0 in x 0.153 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.153 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 0.153 * [taylor]: Taking taylor expansion of 1.0 in x 0.153 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.155 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in (x) around 0 0.155 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.156 * * * [progress]: simplifying candidates 0.157 * [simplify]: Simplifying using # : (/ (exp 1.0) (exp (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (log (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (exp (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (* (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (* (* (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (sqrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (sqrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- (pow 1.0 3) (pow (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) 3)) (+ (* 1.0 1.0) (+ (* (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- (* 1.0 1.0) (* (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- (sqrt 1.0) (sqrt (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- (log 1.0) (log (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (/ (* (* 1.0 1.0) 1.0) (* (* (hypot 1.0 x) (hypot 1.0 x)) (hypot 1.0 x))) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (* (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1 1) (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1.0 1) (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) 0.159 * * [simplify]: iteration 0 : 85 enodes (cost 626 ) 0.174 * * [simplify]: iteration 1 : 158 enodes (cost 590 ) 0.208 * * [simplify]: iteration 2 : 340 enodes (cost 542 ) 0.289 * * [simplify]: iteration 3 : 791 enodes (cost 540 ) 0.634 * * [simplify]: iteration 4 : 1996 enodes (cost 540 ) 2.106 * * [simplify]: iteration done : 5000 enodes (cost 538 ) 2.106 * [simplify]: Simplified to: (exp (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (log (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (exp (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (* (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (cbrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (pow (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 3) (sqrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (sqrt (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- (pow 1.0 3) (pow (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) 3)) (+ (* (+ 1.0 (/ 1.0 (hypot 1.0 x))) 0.5) (* 1.0 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- (sqrt 1.0) (sqrt (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (log (/ 1.0 (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (sqrt 1.0) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) 1 (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) 1.0 (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (- 1.0 (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5))) (- 1.0 (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5))) (- 1.0 (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) 2.107 * * * [progress]: adding candidates to table 2.202 * * [progress]: iteration 2 / 4 2.202 * * * [progress]: picking best candidate 2.206 * * * * [pick]: Picked # 2.206 * * * [progress]: localizing error 2.218 * * * [progress]: generating rewritten candidates 2.218 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 2.239 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2) 2.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 2.243 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 2.293 * * * [progress]: generating series expansions 2.293 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 2.294 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 2.294 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 2.294 * [taylor]: Taking taylor expansion of 0.5 in x 2.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 2.294 * [taylor]: Taking taylor expansion of 0.5 in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.294 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.294 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 2.294 * [taylor]: Taking taylor expansion of 0.5 in x 2.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 2.294 * [taylor]: Taking taylor expansion of 0.5 in x 2.294 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.294 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.304 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 2.304 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.304 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.304 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.304 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.314 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 2.314 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 2.314 * [taylor]: Taking taylor expansion of 0.5 in x 2.314 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.314 * [taylor]: Taking taylor expansion of 0.5 in x 2.314 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.314 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.314 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 2.314 * [taylor]: Taking taylor expansion of 0.5 in x 2.314 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.314 * [taylor]: Taking taylor expansion of 0.5 in x 2.314 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.314 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2) 2.327 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in (x) around 0 2.328 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 2.328 * [taylor]: Taking taylor expansion of 1.0 in x 2.328 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.328 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 2.328 * [taylor]: Taking taylor expansion of 1.0 in x 2.328 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.329 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in (x) around 0 2.329 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 2.329 * [taylor]: Taking taylor expansion of 1.0 in x 2.329 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.329 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 2.329 * [taylor]: Taking taylor expansion of 1.0 in x 2.329 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.331 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in (x) around 0 2.331 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 2.331 * [taylor]: Taking taylor expansion of 1.0 in x 2.331 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.331 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 2.331 * [taylor]: Taking taylor expansion of 1.0 in x 2.331 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.333 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 2.333 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in (x) around 0 2.333 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in x 2.333 * [taylor]: Taking taylor expansion of 0.5 in x 2.333 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.334 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in x 2.334 * [taylor]: Taking taylor expansion of 0.5 in x 2.334 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.335 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in (x) around 0 2.335 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in x 2.335 * [taylor]: Taking taylor expansion of 0.5 in x 2.335 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.335 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in x 2.335 * [taylor]: Taking taylor expansion of 0.5 in x 2.335 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.337 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in (x) around 0 2.337 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in x 2.337 * [taylor]: Taking taylor expansion of 0.5 in x 2.337 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.337 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in x 2.337 * [taylor]: Taking taylor expansion of 0.5 in x 2.337 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.339 * * * * [progress]: [ 4 / 4 ] generating series at (2) 2.339 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) in (x) around 0 2.339 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) in x 2.339 * [taylor]: Taking taylor expansion of 1.0 in x 2.339 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0)) in x 2.339 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 2.339 * [taylor]: Taking taylor expansion of 0.5 in x 2.339 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 2.339 * [taylor]: Taking taylor expansion of 0.5 in x 2.339 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.340 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.340 * [taylor]: Taking taylor expansion of (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0) in x 2.340 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 2.340 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.340 * [taylor]: Taking taylor expansion of 0.5 in x 2.340 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 2.340 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 2.340 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 2.340 * [taylor]: Taking taylor expansion of 1.0 in x 2.340 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.341 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.341 * [taylor]: Taking taylor expansion of 1.0 in x 2.341 * [taylor]: Taking taylor expansion of 1.0 in x 2.343 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) in x 2.343 * [taylor]: Taking taylor expansion of 1.0 in x 2.343 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0)) in x 2.343 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 2.343 * [taylor]: Taking taylor expansion of 0.5 in x 2.343 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 2.343 * [taylor]: Taking taylor expansion of 0.5 in x 2.343 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.343 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.343 * [taylor]: Taking taylor expansion of (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0) in x 2.343 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 2.343 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.343 * [taylor]: Taking taylor expansion of 0.5 in x 2.344 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 2.344 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 2.344 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 2.344 * [taylor]: Taking taylor expansion of 1.0 in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 2.344 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 2.344 * [taylor]: Taking taylor expansion of 1.0 in x 2.345 * [taylor]: Taking taylor expansion of 1.0 in x 2.397 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in (x) around 0 2.397 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in x 2.397 * [taylor]: Taking taylor expansion of 1.0 in x 2.397 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0)) in x 2.397 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 2.397 * [taylor]: Taking taylor expansion of 0.5 in x 2.397 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.397 * [taylor]: Taking taylor expansion of 0.5 in x 2.397 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.397 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.398 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0) in x 2.398 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 2.398 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 2.398 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 2.398 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.398 * [taylor]: Taking taylor expansion of 1.0 in x 2.398 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.398 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.398 * [taylor]: Taking taylor expansion of 1.0 in x 2.399 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.399 * [taylor]: Taking taylor expansion of 0.5 in x 2.400 * [taylor]: Taking taylor expansion of 1.0 in x 2.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in x 2.401 * [taylor]: Taking taylor expansion of 1.0 in x 2.401 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0)) in x 2.401 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 2.401 * [taylor]: Taking taylor expansion of 0.5 in x 2.401 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.401 * [taylor]: Taking taylor expansion of 0.5 in x 2.401 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.401 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.401 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) 1.0) in x 2.401 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 2.401 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 2.401 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 2.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 2.401 * [taylor]: Taking taylor expansion of 1.0 in x 2.401 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 2.401 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 2.401 * [taylor]: Taking taylor expansion of 1.0 in x 2.402 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.402 * [taylor]: Taking taylor expansion of 0.5 in x 2.403 * [taylor]: Taking taylor expansion of 1.0 in x 2.457 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in (x) around 0 2.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in x 2.458 * [taylor]: Taking taylor expansion of 1.0 in x 2.458 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0)) in x 2.458 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 2.458 * [taylor]: Taking taylor expansion of 0.5 in x 2.458 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.458 * [taylor]: Taking taylor expansion of 0.5 in x 2.458 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.458 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.458 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0) in x 2.458 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 2.458 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 2.458 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 2.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.458 * [taylor]: Taking taylor expansion of 1.0 in x 2.458 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.458 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.458 * [taylor]: Taking taylor expansion of 1.0 in x 2.459 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.459 * [taylor]: Taking taylor expansion of 0.5 in x 2.460 * [taylor]: Taking taylor expansion of 1.0 in x 2.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0))) in x 2.461 * [taylor]: Taking taylor expansion of 1.0 in x 2.461 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0)) in x 2.461 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 2.461 * [taylor]: Taking taylor expansion of 0.5 in x 2.461 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.461 * [taylor]: Taking taylor expansion of 0.5 in x 2.461 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.461 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.461 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) 1.0) in x 2.461 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 2.461 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 2.461 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 2.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 2.461 * [taylor]: Taking taylor expansion of 1.0 in x 2.461 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 2.461 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 2.461 * [taylor]: Taking taylor expansion of 1.0 in x 2.462 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.462 * [taylor]: Taking taylor expansion of 0.5 in x 2.463 * [taylor]: Taking taylor expansion of 1.0 in x 2.517 * * * [progress]: simplifying candidates 2.519 * [simplify]: Simplifying using # : (/ (/ (exp 1.0) (exp 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (/ (exp (- 1.0 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (log (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) 0.5)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) (hypot 1.0 x)) (- (* (- (* 1.0 1.0) (* 0.5 0.5)) (hypot 1.0 x)) (* (+ 1.0 0.5) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (+ (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (* (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (- (/ 0.5 (hypot 1.0 x))) (- (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))) (- (/ 0.5 (hypot 1.0 x))) (- (log 1.0) (log (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (/ (* (* 1.0 1.0) 1.0) (* (* (hypot 1.0 x) (hypot 1.0 x)) (hypot 1.0 x))) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (* (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1 1) (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1.0 1) (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (- (log 0.5) (log (hypot 1.0 x))) (log (/ 0.5 (hypot 1.0 x))) (exp (/ 0.5 (hypot 1.0 x))) (/ (* (* 0.5 0.5) 0.5) (* (* (hypot 1.0 x) (hypot 1.0 x)) (hypot 1.0 x))) (* (cbrt (/ 0.5 (hypot 1.0 x))) (cbrt (/ 0.5 (hypot 1.0 x)))) (cbrt (/ 0.5 (hypot 1.0 x))) (* (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (- 0.5) (- (hypot 1.0 x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 0.5) (cbrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (hypot 1.0 x))) (/ (cbrt 0.5) (sqrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (hypot 1.0 x)) (/ (sqrt 0.5) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 0.5) (cbrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 0.5 (sqrt (hypot 1.0 x))) (/ 1 1) (/ 0.5 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 0.5) (/ 0.5 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (sqrt (hypot 1.0 x))) (/ 0.5 1) (/ (hypot 1.0 x) (cbrt 0.5)) (/ (hypot 1.0 x) (sqrt 0.5)) (/ (hypot 1.0 x) 0.5) (- (+ (log (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (log 1.0)) (log (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (log (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (log (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (log (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (exp (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (* (* (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (* 1.0 1.0) 1.0)) (* (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (* (* (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (* (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (* (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (* (* (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (sqrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (sqrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (- (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (* (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (/ 1.0 (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ 1.0 (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1) (/ 1.0 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1) (/ 1.0 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ 1 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (* (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) 1) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) 1) (/ (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 1.0) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ (pow 1.0 3) (pow (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) 3))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (- (* 1.0 1.0) (* (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) (hypot 1.0 x))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (+ 1.0 0.5) (hypot 1.0 x))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (+ (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (* (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) 1.0))) 2.524 * * [simplify]: iteration 0 : 196 enodes (cost 1967 ) 2.570 * * [simplify]: iteration 1 : 459 enodes (cost 1889 ) 2.760 * * [simplify]: iteration 2 : 1452 enodes (cost 1685 ) 3.291 * * [simplify]: iteration done : 5000 enodes (cost 1679 ) 3.293 * [simplify]: Simplified to: (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (log (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (pow (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 3) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* 0.5 (+ (* 0.5 (+ 1.0 0.5)) (* 1.0 1.0)))) (* (hypot 1.0 x) (+ (* 0.5 (+ 1.0 0.5)) (* 1.0 1.0))) (* (+ 1.0 0.5) (- (* (- 1.0 0.5) (hypot 1.0 x)) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (/ 0.5 (hypot 1.0 x)) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (- 1.0 0.5) (- 1.0 0.5))) (- (/ 0.5 (hypot 1.0 x))) (- (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))) (- (/ 0.5 (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (sqrt 1.0) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) 1 (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) 1.0 (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (log (/ 0.5 (hypot 1.0 x))) (log (/ 0.5 (hypot 1.0 x))) (exp (/ 0.5 (hypot 1.0 x))) (pow (/ 0.5 (hypot 1.0 x)) 3) (* (cbrt (/ 0.5 (hypot 1.0 x))) (cbrt (/ 0.5 (hypot 1.0 x)))) (cbrt (/ 0.5 (hypot 1.0 x))) (pow (/ 0.5 (hypot 1.0 x)) 3) (sqrt (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (- 0.5) (- (hypot 1.0 x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 0.5) (cbrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (hypot 1.0 x))) (/ (cbrt 0.5) (sqrt (hypot 1.0 x))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (hypot 1.0 x)) (/ (sqrt 0.5) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 0.5) (cbrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (sqrt 0.5) (/ (sqrt 0.5) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 0.5 (sqrt (hypot 1.0 x))) 1 (/ 0.5 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 0.5) (/ 0.5 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (sqrt (hypot 1.0 x))) 0.5 (/ (hypot 1.0 x) (cbrt 0.5)) (/ (hypot 1.0 x) (sqrt 0.5)) (/ (hypot 1.0 x) 0.5) (log (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (log (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (log (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (exp (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (pow (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) 3) (pow (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) 3) (* (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (cbrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (pow (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) 3) (sqrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (sqrt (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (- (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (* (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (/ 1.0 (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (/ 1.0 (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (/ 1.0 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (/ 1.0 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ 1 (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (/ (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (* (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (sqrt (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))))) (* 1.0 (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* 1.0 (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (/ (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 1.0) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (+ (pow 1.0 3) (pow (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))) 3))) (/ (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0) (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) 1.0)) (* (* (hypot 1.0 x) (+ (* 0.5 (+ 1.0 0.5)) (* 1.0 1.0))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (* (+ 1.0 0.5) (hypot 1.0 x))) (* (+ (* (/ 0.5 (hypot 1.0 x)) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (- 1.0 0.5) (- 1.0 0.5))) (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x))))))) (* (+ 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ (* 1.0 (- 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5)) 1.0)) (/ (* 1.0 (- 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5)) 1.0)) (/ (* 1.0 (- 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (* (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))) (sqrt 0.5)) 1.0)) 3.293 * * * [progress]: adding candidates to table 3.576 * * [progress]: iteration 3 / 4 3.576 * * * [progress]: picking best candidate 3.581 * * * * [pick]: Picked # 3.581 * * * [progress]: localizing error 3.596 * * * [progress]: generating rewritten candidates 3.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.650 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 3.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2) 3.673 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2) 3.678 * * * [progress]: generating series expansions 3.678 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.679 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 3.679 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 3.679 * [taylor]: Taking taylor expansion of 0.5 in x 3.679 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 3.679 * [taylor]: Taking taylor expansion of 0.5 in x 3.679 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 3.679 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.679 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 3.679 * [taylor]: Taking taylor expansion of 0.5 in x 3.679 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 3.679 * [taylor]: Taking taylor expansion of 0.5 in x 3.679 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 3.679 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.689 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 3.689 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 3.689 * [taylor]: Taking taylor expansion of 0.5 in x 3.689 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 3.689 * [taylor]: Taking taylor expansion of 0.5 in x 3.689 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 3.689 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.689 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 3.689 * [taylor]: Taking taylor expansion of 0.5 in x 3.689 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 3.689 * [taylor]: Taking taylor expansion of 0.5 in x 3.689 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 3.689 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.700 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 3.700 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 3.700 * [taylor]: Taking taylor expansion of 0.5 in x 3.700 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 3.700 * [taylor]: Taking taylor expansion of 0.5 in x 3.700 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 3.700 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.700 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 3.700 * [taylor]: Taking taylor expansion of 0.5 in x 3.700 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 3.700 * [taylor]: Taking taylor expansion of 0.5 in x 3.700 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 3.700 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 3.713 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 3.713 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 3.713 * [taylor]: Taking taylor expansion of 0.5 in x 3.713 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 3.713 * [taylor]: Taking taylor expansion of 0.5 in x 3.713 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 3.713 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.713 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 3.713 * [taylor]: Taking taylor expansion of 0.5 in x 3.713 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 3.713 * [taylor]: Taking taylor expansion of 0.5 in x 3.713 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 3.713 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.723 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 3.723 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 3.723 * [taylor]: Taking taylor expansion of 0.5 in x 3.723 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 3.723 * [taylor]: Taking taylor expansion of 0.5 in x 3.723 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 3.723 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.723 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 3.723 * [taylor]: Taking taylor expansion of 0.5 in x 3.723 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 3.723 * [taylor]: Taking taylor expansion of 0.5 in x 3.723 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 3.723 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.733 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 3.734 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 3.734 * [taylor]: Taking taylor expansion of 0.5 in x 3.734 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 3.734 * [taylor]: Taking taylor expansion of 0.5 in x 3.734 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 3.734 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.734 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 3.734 * [taylor]: Taking taylor expansion of 0.5 in x 3.734 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 3.734 * [taylor]: Taking taylor expansion of 0.5 in x 3.734 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 3.734 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2) 3.744 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in (x) around 0 3.744 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 3.744 * [taylor]: Taking taylor expansion of 1.0 in x 3.744 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.744 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 x)) in x 3.744 * [taylor]: Taking taylor expansion of 1.0 in x 3.744 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.745 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in (x) around 0 3.745 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 3.745 * [taylor]: Taking taylor expansion of 1.0 in x 3.745 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.745 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ 1 x))) in x 3.745 * [taylor]: Taking taylor expansion of 1.0 in x 3.745 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.747 * [approximate]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in (x) around 0 3.747 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 3.747 * [taylor]: Taking taylor expansion of 1.0 in x 3.747 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.747 * [taylor]: Taking taylor expansion of (/ 1.0 (hypot 1.0 (/ -1 x))) in x 3.747 * [taylor]: Taking taylor expansion of 1.0 in x 3.747 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.749 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2) 3.749 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in (x) around 0 3.749 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in x 3.749 * [taylor]: Taking taylor expansion of 0.5 in x 3.749 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.749 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 x)) in x 3.749 * [taylor]: Taking taylor expansion of 0.5 in x 3.749 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 3.750 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in (x) around 0 3.750 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in x 3.750 * [taylor]: Taking taylor expansion of 0.5 in x 3.750 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.750 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ 1 x))) in x 3.751 * [taylor]: Taking taylor expansion of 0.5 in x 3.751 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 3.752 * [approximate]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in (x) around 0 3.752 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in x 3.752 * [taylor]: Taking taylor expansion of 0.5 in x 3.752 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.752 * [taylor]: Taking taylor expansion of (/ 0.5 (hypot 1.0 (/ -1 x))) in x 3.752 * [taylor]: Taking taylor expansion of 0.5 in x 3.752 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 3.754 * * * [progress]: simplifying candidates 3.756 * [simplify]: Simplifying using # : (log (exp (- 1.0 0.5))) (log (exp (- (/ 0.5 (hypot 1.0 x))))) (log (exp 1.0)) (log (exp (- (- 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp 1.0)) (log (exp (- (- 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- 1.0 0.5))) (log (exp (- (/ 0.5 (hypot 1.0 x))))) (log (* (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log 1) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- 1.0 0.5))) (log (exp (/ 0.5 (hypot 1.0 x)))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (exp (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (exp 1)) (log (exp (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))))) (log (exp (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))))) (log (exp 1)) (log (exp 1)) (log (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (exp (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (* (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (* (* (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (sqrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (sqrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (/ (/ (exp 1.0) (exp 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (/ (exp (- 1.0 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (log (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) 0.5)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) (hypot 1.0 x)) (- (* (- (* 1.0 1.0) (* 0.5 0.5)) (hypot 1.0 x)) (* (+ 1.0 0.5) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (+ (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (* (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (- (/ 0.5 (hypot 1.0 x))) (- (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))) (- (/ 0.5 (hypot 1.0 x))) (- (log 1.0) (log (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (/ (* (* 1.0 1.0) 1.0) (* (* (hypot 1.0 x) (hypot 1.0 x)) (hypot 1.0 x))) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (* (* (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x))) (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1 1) (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) (/ 1.0 1) (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (- (log 0.5) (log (hypot 1.0 x))) (log (/ 0.5 (hypot 1.0 x))) (exp (/ 0.5 (hypot 1.0 x))) (/ (* (* 0.5 0.5) 0.5) (* (* (hypot 1.0 x) (hypot 1.0 x)) (hypot 1.0 x))) (* (cbrt (/ 0.5 (hypot 1.0 x))) (cbrt (/ 0.5 (hypot 1.0 x)))) (cbrt (/ 0.5 (hypot 1.0 x))) (* (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (- 0.5) (- (hypot 1.0 x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 0.5) (cbrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (hypot 1.0 x))) (/ (cbrt 0.5) (sqrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (hypot 1.0 x)) (/ (sqrt 0.5) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 0.5) (cbrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 0.5 (sqrt (hypot 1.0 x))) (/ 1 1) (/ 0.5 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 0.5) (/ 0.5 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (sqrt (hypot 1.0 x))) (/ 0.5 1) (/ (hypot 1.0 x) (cbrt 0.5)) (/ (hypot 1.0 x) (sqrt 0.5)) (/ (hypot 1.0 x) 0.5) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) 3.760 * * [simplify]: iteration 0 : 169 enodes (cost 1317 ) 3.792 * * [simplify]: iteration 1 : 312 enodes (cost 1213 ) 3.859 * * [simplify]: iteration 2 : 714 enodes (cost 1129 ) 4.125 * * [simplify]: iteration 3 : 1924 enodes (cost 1125 ) 4.860 * * [simplify]: iteration done : 5001 enodes (cost 1125 ) 4.861 * [simplify]: Simplified to: (- 1.0 0.5) (/ (- 0.5) (hypot 1.0 x)) 1.0 (- (- 0.5) (/ 0.5 (hypot 1.0 x))) 1.0 (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- 1.0 0.5) (/ (- 0.5) (hypot 1.0 x)) (* 2 (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) 0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) 1 (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) 1 1 (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* (+ (* 1.0 1.0) (* (+ 1.0 0.5) 0.5)) 0.5)) (* (hypot 1.0 x) (+ (* 1.0 1.0) (* (+ 1.0 0.5) 0.5))) (* (+ 1.0 0.5) (- (* (- 1.0 0.5) (hypot 1.0 x)) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (/ (- 0.5) (hypot 1.0 x)) (- (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ (/ 0.5 (hypot 1.0 x)) 0.5) (/ (- 0.5) (hypot 1.0 x)) (log (/ 1.0 (hypot 1.0 x))) (log (/ 1.0 (hypot 1.0 x))) (exp (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (* (cbrt (/ 1.0 (hypot 1.0 x))) (cbrt (/ 1.0 (hypot 1.0 x)))) (cbrt (/ 1.0 (hypot 1.0 x))) (pow (/ 1.0 (hypot 1.0 x)) 3) (sqrt (/ 1.0 (hypot 1.0 x))) (sqrt (/ 1.0 (hypot 1.0 x))) (- 1.0) (- (hypot 1.0 x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 1.0) (cbrt (hypot 1.0 x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (hypot 1.0 x))) (/ (cbrt 1.0) (sqrt (hypot 1.0 x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (hypot 1.0 x)) (/ (sqrt 1.0) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 1.0) (cbrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (/ (sqrt 1.0) (sqrt (hypot 1.0 x))) (sqrt 1.0) (/ (sqrt 1.0) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 1.0 (sqrt (hypot 1.0 x))) 1 (/ 1.0 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 1.0) (/ 1.0 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 1.0 (sqrt (hypot 1.0 x))) 1.0 (/ (hypot 1.0 x) (cbrt 1.0)) (/ (hypot 1.0 x) (sqrt 1.0)) (/ (hypot 1.0 x) 1.0) (log (/ 0.5 (hypot 1.0 x))) (log (/ 0.5 (hypot 1.0 x))) (exp (/ 0.5 (hypot 1.0 x))) (pow (/ 0.5 (hypot 1.0 x)) 3) (* (cbrt (/ 0.5 (hypot 1.0 x))) (cbrt (/ 0.5 (hypot 1.0 x)))) (cbrt (/ 0.5 (hypot 1.0 x))) (pow (/ 0.5 (hypot 1.0 x)) 3) (sqrt (/ 0.5 (hypot 1.0 x))) (sqrt (/ 0.5 (hypot 1.0 x))) (- 0.5) (- (hypot 1.0 x)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (cbrt 0.5) (cbrt (hypot 1.0 x))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (hypot 1.0 x))) (/ (cbrt 0.5) (sqrt (hypot 1.0 x))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (hypot 1.0 x)) (/ (sqrt 0.5) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ (sqrt 0.5) (cbrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (/ (sqrt 0.5) (sqrt (hypot 1.0 x))) (sqrt 0.5) (/ (sqrt 0.5) (hypot 1.0 x)) (/ 1 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (cbrt (hypot 1.0 x))) (/ 1 (sqrt (hypot 1.0 x))) (/ 0.5 (sqrt (hypot 1.0 x))) 1 (/ 0.5 (hypot 1.0 x)) (/ 1 (hypot 1.0 x)) (/ (hypot 1.0 x) 0.5) (/ 0.5 (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (/ 0.5 (sqrt (hypot 1.0 x))) 0.5 (/ (hypot 1.0 x) (cbrt 0.5)) (/ (hypot 1.0 x) (sqrt 0.5)) (/ (hypot 1.0 x) 0.5) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 1.0 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)) 4.862 * * * [progress]: adding candidates to table 5.178 * * [progress]: iteration 4 / 4 5.178 * * * [progress]: picking best candidate 5.184 * * * * [pick]: Picked # 5.184 * * * [progress]: localizing error 5.210 * * * [progress]: generating rewritten candidates 5.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.262 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 5.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1 2) 5.291 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 2 2) 5.294 * * * [progress]: generating series expansions 5.294 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.295 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 5.295 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 5.295 * [taylor]: Taking taylor expansion of 0.5 in x 5.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 5.295 * [taylor]: Taking taylor expansion of 0.5 in x 5.295 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 5.295 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.295 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 5.295 * [taylor]: Taking taylor expansion of 0.5 in x 5.295 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 5.295 * [taylor]: Taking taylor expansion of 0.5 in x 5.295 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 5.295 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.305 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 5.305 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 5.305 * [taylor]: Taking taylor expansion of 0.5 in x 5.305 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 5.305 * [taylor]: Taking taylor expansion of 0.5 in x 5.305 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 5.305 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.306 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 5.306 * [taylor]: Taking taylor expansion of 0.5 in x 5.306 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 5.306 * [taylor]: Taking taylor expansion of 0.5 in x 5.306 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 5.306 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.316 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 5.316 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 5.316 * [taylor]: Taking taylor expansion of 0.5 in x 5.316 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 5.316 * [taylor]: Taking taylor expansion of 0.5 in x 5.316 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 5.316 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.316 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 5.316 * [taylor]: Taking taylor expansion of 0.5 in x 5.316 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 5.316 * [taylor]: Taking taylor expansion of 0.5 in x 5.316 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 5.316 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.326 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 5.327 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 5.327 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 5.327 * [taylor]: Taking taylor expansion of 0.5 in x 5.327 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 5.327 * [taylor]: Taking taylor expansion of 0.5 in x 5.327 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 5.327 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.327 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 5.327 * [taylor]: Taking taylor expansion of 0.5 in x 5.327 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 5.327 * [taylor]: Taking taylor expansion of 0.5 in x 5.327 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 5.327 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.336 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 5.337 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 5.337 * [taylor]: Taking taylor expansion of 0.5 in x 5.337 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 5.337 * [taylor]: Taking taylor expansion of 0.5 in x 5.337 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 5.337 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.337 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 5.337 * [taylor]: Taking taylor expansion of 0.5 in x 5.337 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 5.337 * [taylor]: Taking taylor expansion of 0.5 in x 5.337 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 5.337 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.347 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 5.347 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 5.347 * [taylor]: Taking taylor expansion of 0.5 in x 5.347 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 5.347 * [taylor]: Taking taylor expansion of 0.5 in x 5.347 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 5.347 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.347 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 5.347 * [taylor]: Taking taylor expansion of 0.5 in x 5.347 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 5.347 * [taylor]: Taking taylor expansion of 0.5 in x 5.347 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 5.347 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.360 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1 2) 5.360 * [approximate]: Taking taylor expansion of (pow (pow (hypot 1.0 x) 2) 1/3) in (x) around 0 5.360 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 x) 2) 1/3) in x 5.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 x) 2)))) in x 5.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 x) 2))) in x 5.360 * [taylor]: Taking taylor expansion of 1/3 in x 5.360 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 x) 2)) in x 5.360 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 x) 2) in x 5.360 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.361 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 x) 2) 1/3) in x 5.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 x) 2)))) in x 5.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 x) 2))) in x 5.361 * [taylor]: Taking taylor expansion of 1/3 in x 5.361 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 x) 2)) in x 5.361 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 x) 2) in x 5.361 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.398 * [approximate]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ 1 x)) 2) 1/3) in (x) around 0 5.398 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ 1 x)) 2) 1/3) in x 5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 (/ 1 x)) 2)))) in x 5.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 (/ 1 x)) 2))) in x 5.398 * [taylor]: Taking taylor expansion of 1/3 in x 5.398 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 (/ 1 x)) 2)) in x 5.398 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ 1 x)) 2) in x 5.398 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.399 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ 1 x)) 2) 1/3) in x 5.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 (/ 1 x)) 2)))) in x 5.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 (/ 1 x)) 2))) in x 5.399 * [taylor]: Taking taylor expansion of 1/3 in x 5.399 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 (/ 1 x)) 2)) in x 5.399 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ 1 x)) 2) in x 5.399 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.439 * [approximate]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ -1 x)) 2) 1/3) in (x) around 0 5.439 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ -1 x)) 2) 1/3) in x 5.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 (/ -1 x)) 2)))) in x 5.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 (/ -1 x)) 2))) in x 5.439 * [taylor]: Taking taylor expansion of 1/3 in x 5.439 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 (/ -1 x)) 2)) in x 5.439 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ -1 x)) 2) in x 5.439 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.439 * [taylor]: Taking taylor expansion of (pow (pow (hypot 1.0 (/ -1 x)) 2) 1/3) in x 5.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (hypot 1.0 (/ -1 x)) 2)))) in x 5.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (hypot 1.0 (/ -1 x)) 2))) in x 5.439 * [taylor]: Taking taylor expansion of 1/3 in x 5.439 * [taylor]: Taking taylor expansion of (log (pow (hypot 1.0 (/ -1 x)) 2)) in x 5.439 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ -1 x)) 2) in x 5.439 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.481 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 2 2) 5.481 * [approximate]: Taking taylor expansion of (pow (hypot 1.0 x) 1/3) in (x) around 0 5.482 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 x) 1/3) in x 5.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 x)))) in x 5.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 x))) in x 5.482 * [taylor]: Taking taylor expansion of 1/3 in x 5.482 * [taylor]: Taking taylor expansion of (log (hypot 1.0 x)) in x 5.482 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.482 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 x) 1/3) in x 5.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 x)))) in x 5.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 x))) in x 5.482 * [taylor]: Taking taylor expansion of 1/3 in x 5.482 * [taylor]: Taking taylor expansion of (log (hypot 1.0 x)) in x 5.482 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 5.514 * [approximate]: Taking taylor expansion of (pow (hypot 1.0 (/ 1 x)) 1/3) in (x) around 0 5.514 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ 1 x)) 1/3) in x 5.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 (/ 1 x))))) in x 5.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 (/ 1 x)))) in x 5.514 * [taylor]: Taking taylor expansion of 1/3 in x 5.514 * [taylor]: Taking taylor expansion of (log (hypot 1.0 (/ 1 x))) in x 5.514 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.514 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ 1 x)) 1/3) in x 5.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 (/ 1 x))))) in x 5.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 (/ 1 x)))) in x 5.514 * [taylor]: Taking taylor expansion of 1/3 in x 5.514 * [taylor]: Taking taylor expansion of (log (hypot 1.0 (/ 1 x))) in x 5.514 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 5.549 * [approximate]: Taking taylor expansion of (pow (hypot 1.0 (/ -1 x)) 1/3) in (x) around 0 5.550 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ -1 x)) 1/3) in x 5.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 (/ -1 x))))) in x 5.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 (/ -1 x)))) in x 5.550 * [taylor]: Taking taylor expansion of 1/3 in x 5.550 * [taylor]: Taking taylor expansion of (log (hypot 1.0 (/ -1 x))) in x 5.550 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.550 * [taylor]: Taking taylor expansion of (pow (hypot 1.0 (/ -1 x)) 1/3) in x 5.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (hypot 1.0 (/ -1 x))))) in x 5.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (hypot 1.0 (/ -1 x)))) in x 5.550 * [taylor]: Taking taylor expansion of 1/3 in x 5.550 * [taylor]: Taking taylor expansion of (log (hypot 1.0 (/ -1 x))) in x 5.550 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 5.582 * * * [progress]: simplifying candidates 5.583 * [simplify]: Simplifying using # : (log (exp (- 1.0 0.5))) (log (exp (- (/ 0.5 (hypot 1.0 x))))) (log (exp 1.0)) (log (exp (- (- 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp 1.0)) (log (exp (- (- 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- 1.0 0.5))) (log (exp (- (/ 0.5 (hypot 1.0 x))))) (log (* (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log 1) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- 1.0 0.5))) (log (exp (/ 0.5 (hypot 1.0 x)))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (exp (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (exp 1)) (log (exp (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))))) (log (exp (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))))) (log (exp 1)) (log (exp 1)) (log (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (exp (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (* (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (cbrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (* (* (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (sqrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (sqrt (log (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (/ (/ (exp 1.0) (exp 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (/ (exp (- 1.0 0.5)) (exp (/ 0.5 (hypot 1.0 x)))) (log (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (* (* (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) 0.5)) (* (+ (* 1.0 1.0) (+ (* 0.5 0.5) (* 1.0 0.5))) (hypot 1.0 x)) (- (* (- (* 1.0 1.0) (* 0.5 0.5)) (hypot 1.0 x)) (* (+ 1.0 0.5) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (+ (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x))) (* (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (- (/ 0.5 (hypot 1.0 x))) (- (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (/ 0.5 (hypot 1.0 x)))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))) (- (/ 0.5 (hypot 1.0 x))) (+ 1/3 1/3) (+ 1 1) (* (hypot 1.0 x) (hypot 1.0 x)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (+ 1 1) (+ (log (cbrt (hypot 1.0 x))) (log (cbrt (hypot 1.0 x)))) (log (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (exp (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (* (hypot 1.0 x) (hypot 1.0 x)) (* (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))))) (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (* (* (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (sqrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (sqrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (* (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))))) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (* (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x))))) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* 1 1) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x)))) (* 2 1/3) (* 2 1) (* (cbrt (hypot 1.0 x)) (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))))) (* (cbrt (hypot 1.0 x)) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (hypot 1.0 x)) (cbrt 1)) (* (cbrt (hypot 1.0 x)) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x))))) (* (cbrt (hypot 1.0 x)) (sqrt (cbrt (hypot 1.0 x)))) (* (cbrt (hypot 1.0 x)) 1) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (log (cbrt (hypot 1.0 x))) (exp (cbrt (hypot 1.0 x))) (cbrt (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)))) (cbrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x))) (cbrt 1) (cbrt (hypot 1.0 x)) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (cbrt (cbrt (hypot 1.0 x))) (* (* (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (pow (pow (hypot 1.0 x) 2) 1/3) (pow (pow (hypot 1.0 x) 2) 1/3) (pow (pow (hypot 1.0 x) 2) 1/3) (pow (hypot 1.0 x) 1/3) (pow (hypot 1.0 x) 1/3) (pow (hypot 1.0 x) 1/3) 5.587 * * [simplify]: iteration 0 : 143 enodes (cost 1361 ) 5.617 * * [simplify]: iteration 1 : 272 enodes (cost 1212 ) 5.675 * * [simplify]: iteration 2 : 700 enodes (cost 1054 ) 6.290 * * [simplify]: iteration 3 : 2333 enodes (cost 1028 ) 6.846 * * [simplify]: iteration done : 5000 enodes (cost 1028 ) 6.847 * [simplify]: Simplified to: (- 1.0 0.5) (/ (- 0.5) (hypot 1.0 x)) 1.0 (- (- 0.5) (/ 0.5 (hypot 1.0 x))) 1.0 (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- 1.0 0.5) (/ (- 0.5) (hypot 1.0 x)) (* 2 (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))))) (log (cbrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) (log (sqrt (exp (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))))) 0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) 1 (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) 1 1 (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (* (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (cbrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (sqrt (- (- 1.0 0.5) (/ 0.5 (hypot 1.0 x)))) (- (* (- (pow 1.0 3) (pow 0.5 3)) (hypot 1.0 x)) (* (+ (* 1.0 1.0) (* (+ 1.0 0.5) 0.5)) 0.5)) (* (hypot 1.0 x) (+ (* 1.0 1.0) (* (+ 1.0 0.5) 0.5))) (* (+ 1.0 0.5) (- (* (- 1.0 0.5) (hypot 1.0 x)) 0.5)) (* (+ 1.0 0.5) (hypot 1.0 x)) (- (pow (- 1.0 0.5) 3) (pow (/ 0.5 (hypot 1.0 x)) 3)) (+ (* (- 1.0 0.5) (- 1.0 0.5)) (* (/ 0.5 (hypot 1.0 x)) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))))) (/ (- 0.5) (hypot 1.0 x)) (- (* (- 1.0 0.5) (- 1.0 0.5)) (/ (* 0.5 0.5) (pow (hypot 1.0 x) 2))) (+ (- 1.0 0.5) (/ 0.5 (hypot 1.0 x))) (+ (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (sqrt (/ 0.5 (hypot 1.0 x)))) (+ (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- (sqrt (- 1.0 0.5)) (/ (sqrt 0.5) (sqrt (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (- (- 0.5) (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))) (/ (- 0.5) (hypot 1.0 x)) 2/3 2 (pow (hypot 1.0 x) 2) (pow (hypot 1.0 x) 2/3) 2 (log (pow (hypot 1.0 x) 2/3)) (log (pow (hypot 1.0 x) 2/3)) (exp (pow (hypot 1.0 x) 2/3)) (pow (hypot 1.0 x) 2) (* (cbrt (pow (hypot 1.0 x) 2/3)) (cbrt (pow (hypot 1.0 x) 2/3))) (cbrt (pow (hypot 1.0 x) 2/3)) (pow (hypot 1.0 x) 2) (fabs (cbrt (hypot 1.0 x))) (fabs (cbrt (hypot 1.0 x))) (* (cbrt (pow (hypot 1.0 x) 2/3)) (cbrt (pow (hypot 1.0 x) 2/3))) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) 1 (pow (hypot 1.0 x) 2/3) (pow (cbrt (cbrt (hypot 1.0 x))) 4) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)) 1 (pow (hypot 1.0 x) 2/3) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (* (sqrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x)))) (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)) 2/3 2 (* (cbrt (pow (hypot 1.0 x) 2/3)) (cbrt (hypot 1.0 x))) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (cbrt (hypot 1.0 x)) (* (pow (cbrt (cbrt (hypot 1.0 x))) 4) (cbrt (cbrt (hypot 1.0 x)))) (pow (sqrt (cbrt (hypot 1.0 x))) 3) (cbrt (hypot 1.0 x)) (pow (cbrt (cbrt (hypot 1.0 x))) 4) (* (cbrt (sqrt (hypot 1.0 x))) (cbrt (hypot 1.0 x))) (pow (hypot 1.0 x) 2/3) (pow (cbrt (cbrt (hypot 1.0 x))) 4) (pow (sqrt (cbrt (hypot 1.0 x))) 3) (pow (hypot 1.0 x) 2/3) (log (cbrt (hypot 1.0 x))) (exp (cbrt (hypot 1.0 x))) (cbrt (pow (hypot 1.0 x) 2/3)) (cbrt (cbrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x))) (cbrt (sqrt (hypot 1.0 x))) 1 (cbrt (hypot 1.0 x)) (* (cbrt (cbrt (hypot 1.0 x))) (cbrt (cbrt (hypot 1.0 x)))) (cbrt (cbrt (hypot 1.0 x))) (hypot 1.0 x) (sqrt (cbrt (hypot 1.0 x))) (sqrt (cbrt (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (cbrt (pow (hypot 1.0 x) 2)) (cbrt (pow (hypot 1.0 x) 2)) (cbrt (pow (hypot 1.0 x) 2)) (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)) (cbrt (hypot 1.0 x)) 6.848 * * * [progress]: adding candidates to table 7.198 * [progress]: [Phase 3 of 3] Extracting. 7.199 * * [regime]: Finding splitpoints for: (# #) 7.200 * * * [regime-changes]: Trying 2 branch expressions: ((hypot 1.0 x) x) 7.200 * * * * [regimes]: Trying to branch on (hypot 1.0 x) from (# #) 7.217 * * * * [regimes]: Trying to branch on x from (# #) 7.231 * * * [regime]: Found split indices: #