17.416 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying using # : (- 1.0 (sqrt (* 0.5 (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 0.040 * * [simplify]: iteration 0 : 29 enodes (cost 12 ) 0.040 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 0.040 * [simplify]: Simplified to: (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 0.043 * * [progress]: iteration 1 / 4 0.043 * * * [progress]: picking best candidate 0.049 * * * * [pick]: Picked # 0.049 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.061 * * * [progress]: generating series expansions 0.061 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.061 * [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.061 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 0.061 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.061 * [taylor]: Taking taylor expansion of 0.5 in x 0.061 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 0.061 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 0.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.061 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)))) in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [taylor]: Taking taylor expansion of (* (sqrt 0.5) (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0))) in x 0.062 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.062 * [taylor]: Taking taylor expansion of 0.5 in x 0.062 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0)) in x 0.062 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 x))) 1.0) in x 0.062 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 x))) in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.062 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [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.065 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5))) in x 0.065 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 0.065 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 0.065 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 0.065 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.065 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.066 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.066 * [taylor]: Taking taylor expansion of 0.5 in x 0.066 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5))) in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) (sqrt 0.5)) in x 0.066 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0)) in x 0.066 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) 1.0) in x 0.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.066 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.070 * [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.071 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5))) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 0.071 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 0.071 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 0.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.071 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.071 * [taylor]: Taking taylor expansion of 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.071 * [taylor]: Taking taylor expansion of (- 1.0 (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5))) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) (sqrt 0.5)) in x 0.071 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0)) in x 0.071 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) 1.0) in x 0.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.071 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.071 * [taylor]: Taking taylor expansion of 1.0 in x 0.072 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 0.072 * [taylor]: Taking taylor expansion of 0.5 in x 0.075 * * * [progress]: simplifying candidates 0.076 * [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)))))))) (neg (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)))))) (- 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)))) 0.115 * * [simplify]: iteration 0 : 4965 enodes (cost 270 ) 0.115 * * [simplify]: iteration 1 : 4965 enodes (cost 270 ) 0.117 * [simplify]: Simplified to: (exp (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (log (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (exp (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (cbrt (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (pow (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (sqrt (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (- (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (* 1.0 (+ 1.0 (+ 0.5 (+ (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (/ 0.5 (hypot 1.0 x)))))) (neg (sqrt (* 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 (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (- (sqrt 1.0) (sqrt (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (- 1.0 (* (sqrt 0.5) (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- 1.0 (* (sqrt 0.5) (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) (- 1.0 (* (sqrt 0.5) (sqrt (+ 1.0 (/ 1.0 (hypot 1.0 x)))))) 0.117 * * * [progress]: adding candidates to table 0.146 * * [progress]: iteration 2 / 4 0.146 * * * [progress]: picking best candidate 0.149 * * * * [pick]: Picked # 0.149 * * * [progress]: localizing error 0.161 * * * [progress]: generating rewritten candidates 0.161 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.169 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.172 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.187 * * * [progress]: generating series expansions 0.187 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.187 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 0.187 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.187 * [taylor]: Taking taylor expansion of 0.5 in x 0.187 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.187 * [taylor]: Taking taylor expansion of 0.5 in x 0.187 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.187 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.187 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.187 * [taylor]: Taking taylor expansion of 0.5 in x 0.187 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.187 * [taylor]: Taking taylor expansion of 0.5 in x 0.187 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.187 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.189 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 0.189 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.189 * [taylor]: Taking taylor expansion of 0.5 in x 0.189 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.189 * [taylor]: Taking taylor expansion of 0.5 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.189 * [taylor]: Taking taylor expansion of 0.5 in x 0.189 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.189 * [taylor]: Taking taylor expansion of 0.5 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.191 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 0.191 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.191 * [taylor]: Taking taylor expansion of 0.5 in x 0.191 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.191 * [taylor]: Taking taylor expansion of 0.5 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.191 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.191 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.191 * [taylor]: Taking taylor expansion of 0.5 in x 0.191 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.191 * [taylor]: Taking taylor expansion of 0.5 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.191 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.193 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.193 * [approximate]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in (x) around 0 0.193 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.193 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.193 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.193 * [taylor]: Taking taylor expansion of 1.0 in x 0.193 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.193 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.193 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.193 * [taylor]: Taking taylor expansion of 0.5 in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.193 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.193 * [taylor]: Taking taylor expansion of 0.5 in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.194 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.194 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.194 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.194 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.194 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.194 * [taylor]: Taking taylor expansion of 0.5 in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.194 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.194 * [taylor]: Taking taylor expansion of 0.5 in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.197 * [approximate]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in (x) around 0 0.197 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.197 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.197 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.197 * [taylor]: Taking taylor expansion of 1.0 in x 0.197 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.197 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.198 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.198 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.198 * [taylor]: Taking taylor expansion of 1.0 in x 0.198 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.198 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.199 * [taylor]: Taking taylor expansion of 1.0 in x 0.202 * [approximate]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in (x) around 0 0.202 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.202 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.202 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.202 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.202 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.202 * [taylor]: Taking taylor expansion of 0.5 in x 0.202 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.202 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.202 * [taylor]: Taking taylor expansion of 0.5 in x 0.203 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.203 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.203 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.203 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.203 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.203 * [taylor]: Taking taylor expansion of 0.5 in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.203 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.203 * [taylor]: Taking taylor expansion of 0.5 in x 0.203 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.204 * [taylor]: Taking taylor expansion of 1.0 in x 0.207 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.207 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) in (x) around 0 0.207 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) in x 0.207 * [taylor]: Taking taylor expansion of 1.0 in x 0.207 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0)) in x 0.208 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.208 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.208 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.208 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.208 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.208 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.208 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0)) in x 0.209 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.209 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.209 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.209 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.209 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.209 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.209 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.218 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0))) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0))) in x 0.218 * [taylor]: Taking taylor expansion of 1.0 in x 0.218 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0)) in x 0.219 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.219 * [taylor]: Taking taylor expansion of 0.5 in x 0.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.219 * [taylor]: Taking taylor expansion of 0.5 in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.219 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.219 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.219 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.219 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.219 * [taylor]: Taking taylor expansion of 1.0 in x 0.219 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.219 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.219 * [taylor]: Taking taylor expansion of 0.5 in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.219 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.219 * [taylor]: Taking taylor expansion of 0.5 in x 0.219 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0))) in x 0.220 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0)) in x 0.220 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.220 * [taylor]: Taking taylor expansion of 0.5 in x 0.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.220 * [taylor]: Taking taylor expansion of 0.5 in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.220 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.220 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.220 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.220 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.220 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.220 * [taylor]: Taking taylor expansion of 0.5 in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.220 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of 0.5 in x 0.221 * [taylor]: Taking taylor expansion of 1.0 in x 0.231 * [approximate]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0))) in (x) around 0 0.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0))) in x 0.231 * [taylor]: Taking taylor expansion of 1.0 in x 0.231 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0)) in x 0.231 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.231 * [taylor]: Taking taylor expansion of 0.5 in x 0.231 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.231 * [taylor]: Taking taylor expansion of 0.5 in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.231 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.231 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.231 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.231 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.231 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.231 * [taylor]: Taking taylor expansion of 0.5 in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.231 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.231 * [taylor]: Taking taylor expansion of 0.5 in x 0.231 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.231 * [taylor]: Taking taylor expansion of 1.0 in x 0.231 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0))) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0)) in x 0.235 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.235 * [taylor]: Taking taylor expansion of 0.5 in x 0.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.235 * [taylor]: Taking taylor expansion of 0.5 in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.235 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.235 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.235 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.235 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.235 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.235 * [taylor]: Taking taylor expansion of 0.5 in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.235 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.236 * [taylor]: Taking taylor expansion of 0.5 in x 0.236 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.246 * * * [progress]: simplifying candidates 0.247 * [simplify]: Simplifying using # : (/ (exp 1.0) (* (exp 0.5) (exp (/ 0.5 (hypot 1.0 x))))) (/ (exp 1.0) (exp (+ 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))))) (* (* (- 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 (/ 0.5 (hypot 1.0 x))) 3)) (+ (* 1.0 1.0) (+ (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 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) (* (exp 1.0) (exp (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (+ (* 1.0 1.0) (- (* (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (- (* 1.0 1.0) (* (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (- (+ (log 1.0) (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (- (log (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (log (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (exp (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ (* (* (* 1.0 1.0) 1.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)))))) (* (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 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 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (* (cbrt (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (cbrt (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 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 (* 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 (* 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 (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (sqrt (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (sqrt (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (neg (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1.0 (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ 1.0 (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (sqrt (+ 1.0 (sqrt (* 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 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1.0 (sqrt 1.0)) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (/ 1.0 1) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ (+ 1.0 (sqrt (* 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))))) (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 1) (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt 1.0)) (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 1) (/ (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (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))))) (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3))) (/ (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (* 1.0 1.0) (* (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (* 1.0 1.0) (+ (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (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)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) (* 1.0 (/ (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0))) 0.286 * * [simplify]: iteration 0 : 4972 enodes (cost 1282 ) 0.286 * * [simplify]: iteration 1 : 4972 enodes (cost 1282 ) 0.291 * [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 (/ 0.5 (hypot 1.0 x))) 3)) (+ (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 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) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (pow (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (* 1.0 (+ 1.0 (+ 0.5 (- (/ 0.5 (hypot 1.0 x)) (sqrt (* 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 (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (log (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (log (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (log (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (pow (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (pow (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) 3) (pow (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) 3) (* (cbrt (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (cbrt (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))))) (cbrt (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (pow (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) 3) (sqrt (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (sqrt (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (* 1.0 (neg (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1.0 (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ 1.0 (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (sqrt (+ 1.0 (sqrt (* 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 (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1.0 (sqrt 1.0)) (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 1.0 (/ (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ 1 (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (/ (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))))) (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))))) (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 1.0 (sqrt 1.0))) (* 1.0 (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (/ (+ 1.0 (sqrt (* 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 (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)))) 1 (* (+ (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ 1.0 (sqrt (* 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 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* 1.0 (/ (- 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (* 1.0 (/ (- 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (* 1.0 (/ (- 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) 0.291 * * * [progress]: adding candidates to table 0.420 * * [progress]: iteration 3 / 4 0.420 * * * [progress]: picking best candidate 0.423 * * * * [pick]: Picked # 0.423 * * * [progress]: localizing error 0.436 * * * [progress]: generating rewritten candidates 0.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.446 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.455 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.464 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.470 * * * [progress]: generating series expansions 0.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.470 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 0.470 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.470 * [taylor]: Taking taylor expansion of 0.5 in x 0.470 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.470 * [taylor]: Taking taylor expansion of 0.5 in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.470 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.470 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.470 * [taylor]: Taking taylor expansion of 0.5 in x 0.470 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.470 * [taylor]: Taking taylor expansion of 0.5 in x 0.470 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.470 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.472 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 0.472 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.472 * [taylor]: Taking taylor expansion of 0.5 in x 0.472 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.472 * [taylor]: Taking taylor expansion of 0.5 in x 0.472 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.472 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.472 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.472 * [taylor]: Taking taylor expansion of 0.5 in x 0.472 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.472 * [taylor]: Taking taylor expansion of 0.5 in x 0.472 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.472 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.474 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 0.474 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.474 * [taylor]: Taking taylor expansion of 0.5 in x 0.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.474 * [taylor]: Taking taylor expansion of 0.5 in x 0.474 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.474 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.474 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.474 * [taylor]: Taking taylor expansion of 0.5 in x 0.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.474 * [taylor]: Taking taylor expansion of 0.5 in x 0.474 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.474 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.476 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.476 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in (x) around 0 0.476 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.476 * [taylor]: Taking taylor expansion of 0.5 in x 0.476 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.476 * [taylor]: Taking taylor expansion of 0.5 in x 0.476 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.476 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.476 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.477 * [taylor]: Taking taylor expansion of 0.5 in x 0.477 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.477 * [taylor]: Taking taylor expansion of 0.5 in x 0.477 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.477 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.478 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in (x) around 0 0.478 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.478 * [taylor]: Taking taylor expansion of 0.5 in x 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.478 * [taylor]: Taking taylor expansion of 0.5 in x 0.478 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.478 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.478 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.478 * [taylor]: Taking taylor expansion of 0.5 in x 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.478 * [taylor]: Taking taylor expansion of 0.5 in x 0.478 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.478 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.480 * [approximate]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in (x) around 0 0.480 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.480 * [taylor]: Taking taylor expansion of 0.5 in x 0.480 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.480 * [taylor]: Taking taylor expansion of 0.5 in x 0.480 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.480 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.481 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.481 * [taylor]: Taking taylor expansion of 0.5 in x 0.481 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.481 * [taylor]: Taking taylor expansion of 0.5 in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.481 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.482 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 0.483 * [approximate]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) in (x) around 0 0.483 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) in x 0.483 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.483 * [taylor]: Taking taylor expansion of 0.5 in x 0.483 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.483 * [taylor]: Taking taylor expansion of 0.5 in x 0.483 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.483 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.483 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) in x 0.483 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) in x 0.483 * [taylor]: Taking taylor expansion of 0.5 in x 0.483 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.483 * [taylor]: Taking taylor expansion of 0.5 in x 0.483 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.483 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.486 * [approximate]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) 3) in (x) around 0 0.486 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) 3) in x 0.487 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.487 * [taylor]: Taking taylor expansion of 0.5 in x 0.487 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.487 * [taylor]: Taking taylor expansion of 0.5 in x 0.487 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.487 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.487 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) 3) in x 0.487 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ 1 x))))) in x 0.487 * [taylor]: Taking taylor expansion of 0.5 in x 0.487 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.487 * [taylor]: Taking taylor expansion of 0.5 in x 0.487 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.487 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.491 * [approximate]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) 3) in (x) around 0 0.491 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) 3) in x 0.491 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.491 * [taylor]: Taking taylor expansion of 0.5 in x 0.491 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.491 * [taylor]: Taking taylor expansion of 0.5 in x 0.491 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.491 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.492 * [taylor]: Taking taylor expansion of (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) 3) in x 0.492 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 (hypot 1.0 (/ -1 x))))) in x 0.492 * [taylor]: Taking taylor expansion of 0.5 in x 0.492 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.492 * [taylor]: Taking taylor expansion of 0.5 in x 0.492 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.492 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.496 * [approximate]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in (x) around 0 0.496 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.496 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.496 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.496 * [taylor]: Taking taylor expansion of 1.0 in x 0.496 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.496 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.496 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.496 * [taylor]: Taking taylor expansion of 0.5 in x 0.496 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.496 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.496 * [taylor]: Taking taylor expansion of 0.5 in x 0.497 * [taylor]: Taking taylor expansion of 1.0 in x 0.497 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) in x 0.497 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) in x 0.497 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.497 * [taylor]: Taking taylor expansion of 1.0 in x 0.497 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5)) in x 0.497 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5) in x 0.497 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 x))) in x 0.497 * [taylor]: Taking taylor expansion of 0.5 in x 0.497 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 x)) in x 0.497 * [taylor]: Taking taylor expansion of (hypot 1.0 x) in x 0.497 * [taylor]: Taking taylor expansion of 0.5 in x 0.497 * [taylor]: Taking taylor expansion of 1.0 in x 0.500 * [approximate]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in (x) around 0 0.500 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.500 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.500 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.500 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.501 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.501 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.501 * [taylor]: Taking taylor expansion of 0.5 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.501 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.501 * [taylor]: Taking taylor expansion of 0.5 in x 0.501 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) 1.0) in x 0.501 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5))) in x 0.501 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.501 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5)) in x 0.501 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) 0.5) in x 0.501 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ 1 x)))) in x 0.501 * [taylor]: Taking taylor expansion of 0.5 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ 1 x))) in x 0.501 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ 1 x)) in x 0.501 * [taylor]: Taking taylor expansion of 0.5 in x 0.502 * [taylor]: Taking taylor expansion of 1.0 in x 0.505 * [approximate]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in (x) around 0 0.505 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.505 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.505 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.505 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.505 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.505 * [taylor]: Taking taylor expansion of 0.5 in x 0.505 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.505 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.505 * [taylor]: Taking taylor expansion of 0.5 in x 0.506 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.506 * [taylor]: Taking taylor expansion of 1.0 in x 0.506 * [taylor]: Taking taylor expansion of 1.0 in x 0.506 * [taylor]: Taking taylor expansion of (+ (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) 1.0) in x 0.506 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) (sqrt 1.0)) in x 0.506 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5)) in x 0.506 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) 0.5) in x 0.506 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (hypot 1.0 (/ -1 x)))) in x 0.506 * [taylor]: Taking taylor expansion of 0.5 in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 (hypot 1.0 (/ -1 x))) in x 0.506 * [taylor]: Taking taylor expansion of (hypot 1.0 (/ -1 x)) in x 0.506 * [taylor]: Taking taylor expansion of 0.5 in x 0.506 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 0.506 * [taylor]: Taking taylor expansion of 1.0 in x 0.506 * [taylor]: Taking taylor expansion of 1.0 in x 0.509 * * * [progress]: simplifying candidates 0.511 * [simplify]: Simplifying using # : (/ (exp 1.0) (* (exp 0.5) (exp (/ 0.5 (hypot 1.0 x))))) (/ (exp 1.0) (exp (+ 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))))) (* (* (- 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 (/ 0.5 (hypot 1.0 x))) 3)) (+ (* 1.0 1.0) (+ (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 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) (log (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (exp (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (pow (* (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3)) (cbrt (pow (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (* (- 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 (* (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)))) (cbrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (pow (* (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3)) (cbrt (pow (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (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)))))) (cbrt (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt 1) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 3 2))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 3 2))) (cbrt (pow (- (pow 1.0 3) (pow (+ 0.5 (/ 0.5 (hypot 1.0 x))) 3)) 3)) (cbrt (pow (+ (* 1.0 1.0) (+ (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3)) (cbrt (pow (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (cbrt (pow (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (* (cbrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)))) (cbrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (* (* (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (sqrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (sqrt (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (* (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (* (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (* 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* (cbrt 3) (cbrt 3))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (sqrt 3)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 1) (pow (* (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (pow (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (log (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (exp (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (* (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (* (* (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (pow (* (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (pow (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (sqrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow 1 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (- (pow 1.0 3) (pow (+ 0.5 (/ 0.5 (hypot 1.0 x))) 3)) 3) (pow (+ (* 1.0 1.0) (+ (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (pow (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (* (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 3 2)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (/ 3 2)) (* (exp 1.0) (exp (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (* (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (+ (* 1.0 1.0) (- (* (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (* 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (- (* 1.0 1.0) (* (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (- 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 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)))) (- 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 (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) (pow (- 0.5 (* 0.5 (/ 1 (hypot 1.0 x)))) 3) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) (+ (* (sqrt 1.0) (sqrt (+ (* 0.5 (/ 1 (hypot 1.0 x))) 0.5))) 1.0) 0.559 * * [simplify]: iteration 0 : 4970 enodes (cost 1433 ) 0.559 * * [simplify]: iteration 1 : 4970 enodes (cost 1433 ) 0.567 * [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 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (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 (/ 0.5 (hypot 1.0 x))) 3)) (+ (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (neg (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 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) (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (exp (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (cbrt (- 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))))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (cbrt (- 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))))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt 1) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (cbrt (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3))) (cbrt 1) (- 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 (/ 0.5 (hypot 1.0 x))) 3)) (+ (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (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))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (cbrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2)) (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))))) (* (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (* (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) 3 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (* (cbrt 3) (cbrt 3))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (sqrt 3)) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2) (* (log (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (exp (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (pow (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2) (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (- (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) 1 (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (- (pow 1.0 3) (pow (+ 0.5 (/ 0.5 (hypot 1.0 x))) 3)) 3) (pow (+ (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (pow (- (* 1.0 1.0) (* (+ 0.5 (/ 0.5 (hypot 1.0 x))) (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3) (pow (+ 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 2) (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (sqrt (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3)) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) (pow (- 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))) 3/2) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (log (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (exp (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (* (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))))) (cbrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (pow (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 3) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (sqrt (+ 1.0 (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))))) (+ (pow 1.0 3) (pow (sqrt (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x))))) 3)) (* 1.0 (+ 1.0 (+ 0.5 (- (/ 0.5 (hypot 1.0 x)) (sqrt (* 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 (* 1.0 (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x))))) (+ 1.0 (sqrt (* 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 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (- 0.5 (/ 0.5 (hypot 1.0 x))) (pow (- 0.5 (/ 0.5 (hypot 1.0 x))) 3) (pow (- 0.5 (/ 0.5 (hypot 1.0 x))) 3) (pow (- 0.5 (/ 0.5 (hypot 1.0 x))) 3) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) (+ 1.0 (* (sqrt 1.0) (sqrt (+ 0.5 (/ 0.5 (hypot 1.0 x)))))) 0.568 * * * [progress]: adding candidates to table 0.730 * [progress]: [Phase 3 of 3] Extracting. 0.730 * * [regime]: Finding splitpoints for: (# #) 0.730 * * * [regime-changes]: Trying 2 branch expressions: ((hypot 1.0 x) x) 0.731 * * * * [regimes]: Trying to branch on (hypot 1.0 x) from (# #) 0.760 * * * * [regimes]: Trying to branch on x from (# #) 0.785 * * * [regime]: Found split indices: #