19.843 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.062 * * * [progress]: [2/2] Setting up program. 0.064 * [progress]: [Phase 2 of 3] Improving. 0.064 * [simplify]: Simplifying using # : (log (+ x (sqrt (+ (* x x) 1.0)))) 0.065 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.066 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.067 * * [simplify]: iteration done : 10 enodes (cost 8 ) 0.067 * [simplify]: Simplified to: (log (+ (sqrt (fma x x 1.0)) x)) 0.070 * * [progress]: iteration 1 / 4 0.070 * * * [progress]: picking best candidate 0.072 * * * * [pick]: Picked # 0.072 * * * [progress]: localizing error 0.079 * * * [progress]: generating rewritten candidates 0.079 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.080 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.084 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.089 * * * [progress]: generating series expansions 0.089 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.089 * [approximate]: Taking taylor expansion of (sqrt (fma x x 1.0)) in (x) around 0 0.089 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.089 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.090 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.090 * [taylor]: Taking taylor expansion of (* x x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.092 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.092 * [taylor]: Taking taylor expansion of (* x x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.107 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in (x) around 0 0.107 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.107 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.107 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.107 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of 1.0 in x 0.110 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.110 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.110 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in (x) around 0 0.127 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.127 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.127 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.127 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.127 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.128 * [taylor]: Taking taylor expansion of -1 in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.128 * [taylor]: Taking taylor expansion of -1 in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.131 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.131 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.131 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.131 * [taylor]: Taking taylor expansion of -1 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.132 * [taylor]: Taking taylor expansion of -1 in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of 1.0 in x 0.145 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.145 * [approximate]: Taking taylor expansion of (log (+ x (sqrt (fma x x 1.0)))) in (x) around 0 0.145 * [taylor]: Taking taylor expansion of (log (+ x (sqrt (fma x x 1.0)))) in x 0.145 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x 1.0))) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.145 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.146 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.146 * [taylor]: Taking taylor expansion of (* x x) in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of 1.0 in x 0.148 * [taylor]: Taking taylor expansion of (log (+ x (sqrt (fma x x 1.0)))) in x 0.148 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x 1.0))) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.148 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.149 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.149 * [taylor]: Taking taylor expansion of (* x x) in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of 1.0 in x 0.192 * [approximate]: Taking taylor expansion of (log (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x))) in (x) around 0 0.192 * [taylor]: Taking taylor expansion of (log (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x))) in x 0.192 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x)) in x 0.192 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.192 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.193 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.193 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (log (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x))) in x 0.196 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.196 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.197 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.197 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.248 * [approximate]: Taking taylor expansion of (log (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x))) in (x) around 0 0.248 * [taylor]: Taking taylor expansion of (log (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x))) in x 0.248 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x)) in x 0.248 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.248 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.248 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.248 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.248 * [taylor]: Taking taylor expansion of -1 in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.248 * [taylor]: Taking taylor expansion of -1 in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of 1.0 in x 0.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of (log (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x))) in x 0.258 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x)) in x 0.258 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.258 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.258 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.258 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.258 * [taylor]: Taking taylor expansion of -1 in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.258 * [taylor]: Taking taylor expansion of -1 in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of 1.0 in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.328 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.328 * [approximate]: Taking taylor expansion of (+ x (sqrt (fma x x 1.0))) in (x) around 0 0.328 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x 1.0))) in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.328 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.328 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.329 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.329 * [taylor]: Taking taylor expansion of (* x x) in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of 1.0 in x 0.330 * [taylor]: Taking taylor expansion of (+ x (sqrt (fma x x 1.0))) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [taylor]: Taking taylor expansion of (sqrt (fma x x 1.0)) in x 0.330 * [taylor]: Taking taylor expansion of (fma x x 1.0) in x 0.331 * [taylor]: Rewrote expression to (+ (* x x) 1.0) 0.331 * [taylor]: Taking taylor expansion of (* x x) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of 1.0 in x 0.339 * [approximate]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x)) in (x) around 0 0.339 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x)) in x 0.339 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.339 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.339 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.339 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of 1.0 in x 0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.342 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of (+ (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) (/ 1 x)) in x 0.342 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) 1.0)) in x 0.342 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) 1.0) in x 0.342 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) 1.0) 0.342 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.343 * [taylor]: Taking taylor expansion of x in x 0.343 * [taylor]: Taking taylor expansion of 1.0 in x 0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.360 * [approximate]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x)) in (x) around 0 0.360 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x)) in x 0.360 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.360 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.360 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.360 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.360 * [taylor]: Taking taylor expansion of -1 in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.360 * [taylor]: Taking taylor expansion of -1 in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.361 * [taylor]: Taking taylor expansion of 1.0 in x 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.363 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of (- (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) 1.0)) in x 0.364 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) 1.0) in x 0.364 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) 1.0) 0.364 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.364 * [taylor]: Taking taylor expansion of -1 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.364 * [taylor]: Taking taylor expansion of -1 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 1.0 in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.396 * * * [progress]: simplifying candidates 0.397 * [simplify]: Simplifying using # : (expm1 (sqrt (fma x x 1.0))) (log1p (sqrt (fma x x 1.0))) (log (sqrt (fma x x 1.0))) (exp (sqrt (fma x x 1.0))) (* (cbrt (sqrt (fma x x 1.0))) (cbrt (sqrt (fma x x 1.0)))) (cbrt (sqrt (fma x x 1.0))) (* (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (sqrt (fma x x 1.0))) (sqrt (* (cbrt (fma x x 1.0)) (cbrt (fma x x 1.0)))) (sqrt (cbrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (sqrt 1) (sqrt (fma x x 1.0)) (/ 1 2) (sqrt (sqrt (fma x x 1.0))) (sqrt (sqrt (fma x x 1.0))) (expm1 (log (+ (sqrt (fma x x 1.0)) x))) (log1p (log (+ (sqrt (fma x x 1.0)) x))) (log (* (cbrt (+ (sqrt (fma x x 1.0)) x)) (cbrt (+ (sqrt (fma x x 1.0)) x)))) (log (cbrt (+ (sqrt (fma x x 1.0)) x))) (log (sqrt (+ (sqrt (fma x x 1.0)) x))) (log (sqrt (+ (sqrt (fma x x 1.0)) x))) (log 1) (log (+ (sqrt (fma x x 1.0)) x)) (log 1) (log (+ (sqrt (fma x x 1.0)) x)) (log (+ (pow (sqrt (fma x x 1.0)) 3) (pow x 3))) (log (+ (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (- (* x x) (* (sqrt (fma x x 1.0)) x)))) (log (- (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (* x x))) (log (- (sqrt (fma x x 1.0)) x)) (log (+ (sqrt (fma x x 1.0)) x)) (log (log (+ (sqrt (fma x x 1.0)) x))) (exp (log (+ (sqrt (fma x x 1.0)) x))) (* (cbrt (log (+ (sqrt (fma x x 1.0)) x))) (cbrt (log (+ (sqrt (fma x x 1.0)) x)))) (cbrt (log (+ (sqrt (fma x x 1.0)) x))) (* (* (log (+ (sqrt (fma x x 1.0)) x)) (log (+ (sqrt (fma x x 1.0)) x))) (log (+ (sqrt (fma x x 1.0)) x))) (sqrt (log (+ (sqrt (fma x x 1.0)) x))) (sqrt (log (+ (sqrt (fma x x 1.0)) x))) (expm1 (+ (sqrt (fma x x 1.0)) x)) (log1p (+ (sqrt (fma x x 1.0)) x)) (* (exp (sqrt (fma x x 1.0))) (exp x)) (log (+ (sqrt (fma x x 1.0)) x)) (exp (+ (sqrt (fma x x 1.0)) x)) (* (cbrt (+ (sqrt (fma x x 1.0)) x)) (cbrt (+ (sqrt (fma x x 1.0)) x))) (cbrt (+ (sqrt (fma x x 1.0)) x)) (* (* (+ (sqrt (fma x x 1.0)) x) (+ (sqrt (fma x x 1.0)) x)) (+ (sqrt (fma x x 1.0)) x)) (sqrt (+ (sqrt (fma x x 1.0)) x)) (sqrt (+ (sqrt (fma x x 1.0)) x)) (+ (pow (sqrt (fma x x 1.0)) 3) (pow x 3)) (+ (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (- (* x x) (* (sqrt (fma x x 1.0)) x))) (- (* (sqrt (fma x x 1.0)) (sqrt (fma x x 1.0))) (* x x)) (- (sqrt (fma x x 1.0)) x) (+ (sqrt (fma x x 1.0)) x) (- (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0)))) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ x (* 0.5 (/ 1 x))) (* 0.125 (/ 1 (pow x 3)))) (- (* 0.125 (/ 1 (pow x 3))) (+ x (* 0.5 (/ 1 x)))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (+ (* 0.25 (/ 1 (pow x 2))) (log 2)) (+ (log (/ 1 x)) (* 0.09375 (/ 1 (pow x 4))))) (- (+ (log 0.5) (+ (* 0.125 (/ 1 (pow x 4))) (log (/ -1 x)))) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.0078125 (/ 1 (* (pow x 4) (pow 0.5 2)))))) (+ x (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 2 x) (* 0.5 (/ 1 x))) (* 0.125 (/ 1 (pow x 3)))) (- (* 0.125 (/ 1 (pow x 3))) (+ (* 0.5 (/ 1 x)) (* 0.0625 (/ 1 (pow x 5))))) 0.400 * * [simplify]: iteration 0 : 125 enodes (cost 701 ) 0.420 * * [simplify]: iteration 1 : 284 enodes (cost 639 ) 0.475 * * [simplify]: iteration 2 : 867 enodes (cost 573 ) 0.710 * * [simplify]: iteration 3 : 3907 enodes (cost 523 ) 1.735 * * [simplify]: iteration done : 5000 enodes (cost 523 ) 1.736 * [simplify]: Simplified to: (expm1 (hypot (sqrt 1.0) x)) (log1p (hypot (sqrt 1.0) x)) (log (hypot (sqrt 1.0) x)) (exp (hypot (sqrt 1.0) x)) (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))) (cbrt (hypot (sqrt 1.0) x)) (pow (hypot (sqrt 1.0) x) 3) (fabs (cbrt (fma x x 1.0))) (sqrt (cbrt (fma x x 1.0))) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) 1 (hypot (sqrt 1.0) x) 1/2 (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (expm1 (log (+ (hypot (sqrt 1.0) x) x))) (log1p (log (+ (hypot (sqrt 1.0) x) x))) (* (log (cbrt (+ (hypot (sqrt 1.0) x) x))) 2) (log (cbrt (+ (hypot (sqrt 1.0) x) x))) (log (sqrt (+ (hypot (sqrt 1.0) x) x))) (log (sqrt (+ (hypot (sqrt 1.0) x) x))) 0 (log (+ (hypot (sqrt 1.0) x) x)) 0 (log (+ (hypot (sqrt 1.0) x) x)) (log (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3))) (log (fma (- x (hypot (sqrt 1.0) x)) x (fma x x 1.0))) (log (- (fma x x 1.0) (* x x))) (log (- (hypot (sqrt 1.0) x) x)) (log (+ (hypot (sqrt 1.0) x) x)) (log (log (+ (hypot (sqrt 1.0) x) x))) (+ (hypot (sqrt 1.0) x) x) (* (cbrt (log (+ (hypot (sqrt 1.0) x) x))) (cbrt (log (+ (hypot (sqrt 1.0) x) x)))) (cbrt (log (+ (hypot (sqrt 1.0) x) x))) (pow (log (+ (hypot (sqrt 1.0) x) x)) 3) (sqrt (log (+ (hypot (sqrt 1.0) x) x))) (sqrt (log (+ (hypot (sqrt 1.0) x) x))) (expm1 (+ (hypot (sqrt 1.0) x) x)) (log1p (+ (hypot (sqrt 1.0) x) x)) (exp (+ (hypot (sqrt 1.0) x) x)) (log (+ (hypot (sqrt 1.0) x) x)) (exp (+ (hypot (sqrt 1.0) x) x)) (* (cbrt (+ (hypot (sqrt 1.0) x) x)) (cbrt (+ (hypot (sqrt 1.0) x) x))) (cbrt (+ (hypot (sqrt 1.0) x) x)) (pow (+ (hypot (sqrt 1.0) x) x) 3) (sqrt (+ (hypot (sqrt 1.0) x) x)) (sqrt (+ (hypot (sqrt 1.0) x) x)) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (fma (- x (hypot (sqrt 1.0) x)) x (fma x x 1.0)) (- (fma x x 1.0) (* x x)) (- (hypot (sqrt 1.0) x) x) (+ (hypot (sqrt 1.0) x) x) (fma (/ (pow x 4) (pow (sqrt 1.0) 3)) -1/8 (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0))) (- (+ (/ 0.5 x) x) (/ 0.125 (pow x 3))) (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) x)) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) (- (+ (log 2) (/ 0.25 (pow x 2))) (- (/ 0.09375 (pow x 4)) (log x))) (+ (log 0.5) (+ (log (/ -1 x)) (- (/ 0.125 (pow x 4)) (+ (/ 0.0078125 (* (pow x 4) (pow 0.5 2))) (/ 0.25 (pow x 2)))))) (+ x (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0))) (- (fma 2 x (/ 0.5 x)) (/ 0.125 (pow x 3))) (- (- (/ 0.125 (pow x 3)) (/ 0.5 x)) (/ 0.0625 (pow x 5))) 1.736 * * * [progress]: adding candidates to table 1.914 * * [progress]: iteration 2 / 4 1.914 * * * [progress]: picking best candidate 1.930 * * * * [pick]: Picked # 1.930 * * * [progress]: localizing error 1.941 * * * [progress]: generating rewritten candidates 1.941 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.941 * * * [progress]: generating series expansions 1.941 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.943 * [approximate]: Taking taylor expansion of (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) in (x) around 0 1.943 * [taylor]: Taking taylor expansion of (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) in x 1.943 * [taylor]: Rewrote expression to (+ (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) 1.944 * [taylor]: Taking taylor expansion of (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) in x 1.944 * [taylor]: Taking taylor expansion of (/ (pow x 3) (pow (sqrt 1.0) 3)) in x 1.944 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.944 * [taylor]: Taking taylor expansion of x in x 1.944 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 1.944 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.944 * [taylor]: Taking taylor expansion of 1.0 in x 1.948 * [taylor]: Taking taylor expansion of -1/6 in x 1.948 * [taylor]: Taking taylor expansion of (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) in x 1.948 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 1.948 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.948 * [taylor]: Taking taylor expansion of 1.0 in x 1.949 * [taylor]: Taking taylor expansion of (/ x (sqrt 1.0)) in x 1.949 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.949 * [taylor]: Taking taylor expansion of 1.0 in x 1.951 * [taylor]: Taking taylor expansion of (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) in x 1.951 * [taylor]: Rewrote expression to (+ (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) 1.951 * [taylor]: Taking taylor expansion of (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) in x 1.951 * [taylor]: Taking taylor expansion of (/ (pow x 3) (pow (sqrt 1.0) 3)) in x 1.951 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.951 * [taylor]: Taking taylor expansion of x in x 1.951 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 1.951 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.951 * [taylor]: Taking taylor expansion of 1.0 in x 1.955 * [taylor]: Taking taylor expansion of -1/6 in x 1.955 * [taylor]: Taking taylor expansion of (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) in x 1.955 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 1.955 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.955 * [taylor]: Taking taylor expansion of 1.0 in x 1.957 * [taylor]: Taking taylor expansion of (/ x (sqrt 1.0)) in x 1.957 * [taylor]: Taking taylor expansion of x in x 1.957 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.957 * [taylor]: Taking taylor expansion of 1.0 in x 1.983 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in (x) around 0 1.983 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in x 1.983 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) 1.983 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) in x 1.983 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) in x 1.983 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (sqrt 1.0) 3)) in x 1.983 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.983 * [taylor]: Taking taylor expansion of x in x 1.983 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 1.983 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.983 * [taylor]: Taking taylor expansion of 1.0 in x 1.989 * [taylor]: Taking taylor expansion of -1/6 in x 1.989 * [taylor]: Taking taylor expansion of (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0)))) in x 1.989 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 1.989 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.989 * [taylor]: Taking taylor expansion of 1.0 in x 1.990 * [taylor]: Taking taylor expansion of (/ 1 (* x (sqrt 1.0))) in x 1.990 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.990 * [taylor]: Taking taylor expansion of 1.0 in x 1.993 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in x 1.993 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) 1.993 * [taylor]: Taking taylor expansion of (* (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) in x 1.993 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow (sqrt 1.0) 3))) in x 1.993 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (sqrt 1.0) 3)) in x 1.993 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.993 * [taylor]: Taking taylor expansion of x in x 1.993 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 1.993 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.993 * [taylor]: Taking taylor expansion of 1.0 in x 1.998 * [taylor]: Taking taylor expansion of -1/6 in x 1.998 * [taylor]: Taking taylor expansion of (+ (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0)))) in x 1.998 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 1.998 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.998 * [taylor]: Taking taylor expansion of 1.0 in x 2.000 * [taylor]: Taking taylor expansion of (/ 1 (* x (sqrt 1.0))) in x 2.000 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 2.000 * [taylor]: Taking taylor expansion of x in x 2.000 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.000 * [taylor]: Taking taylor expansion of 1.0 in x 2.038 * [approximate]: Taking taylor expansion of (fma (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in (x) around 0 2.038 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in x 2.039 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) 2.039 * [taylor]: Taking taylor expansion of (* (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) in x 2.039 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) in x 2.039 * [taylor]: Taking taylor expansion of -1 in x 2.039 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (sqrt 1.0) 3)) in x 2.039 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.039 * [taylor]: Taking taylor expansion of x in x 2.039 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 2.039 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.039 * [taylor]: Taking taylor expansion of 1.0 in x 2.044 * [taylor]: Taking taylor expansion of -1/6 in x 2.044 * [taylor]: Taking taylor expansion of (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0)))) in x 2.044 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 2.044 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.044 * [taylor]: Taking taylor expansion of 1.0 in x 2.045 * [taylor]: Taking taylor expansion of (/ 1 (* x (sqrt 1.0))) in x 2.045 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 2.045 * [taylor]: Taking taylor expansion of x in x 2.045 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.045 * [taylor]: Taking taylor expansion of 1.0 in x 2.048 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6 (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) in x 2.048 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0))))) 2.048 * [taylor]: Taking taylor expansion of (* (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) -1/6) in x 2.048 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 3) (pow (sqrt 1.0) 3))) in x 2.048 * [taylor]: Taking taylor expansion of -1 in x 2.048 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow (sqrt 1.0) 3)) in x 2.048 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in x 2.048 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.048 * [taylor]: Taking taylor expansion of 1.0 in x 2.053 * [taylor]: Taking taylor expansion of -1/6 in x 2.054 * [taylor]: Taking taylor expansion of (- (log (sqrt 1.0)) (/ 1 (* x (sqrt 1.0)))) in x 2.054 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in x 2.054 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.054 * [taylor]: Taking taylor expansion of 1.0 in x 2.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (sqrt 1.0))) in x 2.055 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 2.055 * [taylor]: Taking taylor expansion of x in x 2.055 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.055 * [taylor]: Taking taylor expansion of 1.0 in x 2.090 * * * [progress]: simplifying candidates 2.090 * [simplify]: Simplifying using # : (expm1 (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (log1p (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) (log (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (exp (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (* (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))))) (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (* (* (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (sqrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (sqrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) 2.092 * * [simplify]: iteration 0 : 25 enodes (cost 295 ) 2.098 * * [simplify]: iteration 1 : 51 enodes (cost 295 ) 2.107 * * [simplify]: iteration 2 : 168 enodes (cost 259 ) 2.151 * * [simplify]: iteration 3 : 949 enodes (cost 256 ) 2.417 * * [simplify]: iteration done : 5001 enodes (cost 256 ) 2.417 * [simplify]: Simplified to: (expm1 (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (log1p (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (* (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6) (log (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (exp (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (* (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))))) (cbrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (pow (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) 3) (sqrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (sqrt (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/6 (+ (log (sqrt 1.0)) (/ x (sqrt 1.0)))) 2.417 * * * [progress]: adding candidates to table 2.456 * * [progress]: iteration 3 / 4 2.456 * * * [progress]: picking best candidate 2.466 * * * * [pick]: Picked # 2.466 * * * [progress]: localizing error 2.474 * * * [progress]: generating rewritten candidates 2.474 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 2.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.485 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 2.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 2.494 * * * [progress]: generating series expansions 2.494 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 2.495 * [approximate]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in (x) around 0 2.495 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.495 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.496 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.496 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.496 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.496 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.496 * [taylor]: Taking taylor expansion of 1.0 in x 2.496 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.496 * [taylor]: Taking taylor expansion of 1.0 in x 2.497 * [taylor]: Taking taylor expansion of (* x x) in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.502 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 2.502 * [taylor]: Taking taylor expansion of x in x 2.502 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.502 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.502 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.502 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.502 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.502 * [taylor]: Taking taylor expansion of 1.0 in x 2.503 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.503 * [taylor]: Taking taylor expansion of 1.0 in x 2.504 * [taylor]: Taking taylor expansion of (* x x) in x 2.504 * [taylor]: Taking taylor expansion of x in x 2.504 * [taylor]: Taking taylor expansion of x in x 2.521 * [approximate]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in (x) around 0 2.521 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 2.521 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.521 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.521 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.521 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.521 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.521 * [taylor]: Taking taylor expansion of 1.0 in x 2.522 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.522 * [taylor]: Taking taylor expansion of 1.0 in x 2.522 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.522 * [taylor]: Taking taylor expansion of x in x 2.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.523 * [taylor]: Taking taylor expansion of x in x 2.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.525 * [taylor]: Taking taylor expansion of x in x 2.526 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 2.526 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.526 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.526 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.526 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.526 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.526 * [taylor]: Taking taylor expansion of 1.0 in x 2.527 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.527 * [taylor]: Taking taylor expansion of 1.0 in x 2.527 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.527 * [taylor]: Taking taylor expansion of x in x 2.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.528 * [taylor]: Taking taylor expansion of x in x 2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.531 * [taylor]: Taking taylor expansion of x in x 2.559 * [approximate]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in (x) around 0 2.559 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 2.559 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.560 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.560 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.560 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.560 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.560 * [taylor]: Taking taylor expansion of 1.0 in x 2.560 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.560 * [taylor]: Taking taylor expansion of 1.0 in x 2.561 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.561 * [taylor]: Taking taylor expansion of -1 in x 2.561 * [taylor]: Taking taylor expansion of x in x 2.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.561 * [taylor]: Taking taylor expansion of -1 in x 2.561 * [taylor]: Taking taylor expansion of x in x 2.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.564 * [taylor]: Taking taylor expansion of x in x 2.565 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 2.565 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.565 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.565 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.565 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.565 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.565 * [taylor]: Taking taylor expansion of 1.0 in x 2.566 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.566 * [taylor]: Taking taylor expansion of 1.0 in x 2.566 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.566 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.566 * [taylor]: Taking taylor expansion of -1 in x 2.566 * [taylor]: Taking taylor expansion of x in x 2.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.567 * [taylor]: Taking taylor expansion of -1 in x 2.567 * [taylor]: Taking taylor expansion of x in x 2.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.570 * [taylor]: Taking taylor expansion of x in x 2.626 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.627 * [approximate]: Taking taylor expansion of (log (+ x (hypot (sqrt 1.0) x))) in (x) around 0 2.627 * [taylor]: Taking taylor expansion of (log (+ x (hypot (sqrt 1.0) x))) in x 2.627 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 2.627 * [taylor]: Taking taylor expansion of x in x 2.627 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.627 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.627 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.627 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.627 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.627 * [taylor]: Taking taylor expansion of 1.0 in x 2.628 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.628 * [taylor]: Taking taylor expansion of 1.0 in x 2.629 * [taylor]: Taking taylor expansion of (* x x) in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.634 * [taylor]: Taking taylor expansion of (log (+ x (hypot (sqrt 1.0) x))) in x 2.635 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 2.635 * [taylor]: Taking taylor expansion of x in x 2.635 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.635 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.635 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.635 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.635 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.635 * [taylor]: Taking taylor expansion of 1.0 in x 2.635 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.635 * [taylor]: Taking taylor expansion of 1.0 in x 2.636 * [taylor]: Taking taylor expansion of (* x x) in x 2.636 * [taylor]: Taking taylor expansion of x in x 2.636 * [taylor]: Taking taylor expansion of x in x 2.690 * [approximate]: Taking taylor expansion of (log (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in (x) around 0 2.690 * [taylor]: Taking taylor expansion of (log (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 2.690 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 2.690 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.690 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.690 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.690 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.690 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.690 * [taylor]: Taking taylor expansion of 1.0 in x 2.691 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.691 * [taylor]: Taking taylor expansion of 1.0 in x 2.692 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.692 * [taylor]: Taking taylor expansion of x in x 2.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.692 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.696 * [taylor]: Taking taylor expansion of (log (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 2.696 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 2.696 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.696 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.696 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.696 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.696 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.696 * [taylor]: Taking taylor expansion of 1.0 in x 2.697 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.697 * [taylor]: Taking taylor expansion of 1.0 in x 2.697 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.697 * [taylor]: Taking taylor expansion of x in x 2.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.698 * [taylor]: Taking taylor expansion of x in x 2.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.700 * [taylor]: Taking taylor expansion of x in x 2.775 * [approximate]: Taking taylor expansion of (log (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in (x) around 0 2.775 * [taylor]: Taking taylor expansion of (log (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 2.775 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 2.775 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.775 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.775 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.775 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.775 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.775 * [taylor]: Taking taylor expansion of 1.0 in x 2.776 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.776 * [taylor]: Taking taylor expansion of 1.0 in x 2.776 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.777 * [taylor]: Taking taylor expansion of -1 in x 2.777 * [taylor]: Taking taylor expansion of x in x 2.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.777 * [taylor]: Taking taylor expansion of -1 in x 2.777 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.791 * [taylor]: Taking taylor expansion of (log (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 2.791 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 2.791 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.791 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.791 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.791 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.792 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.792 * [taylor]: Taking taylor expansion of 1.0 in x 2.792 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.792 * [taylor]: Taking taylor expansion of 1.0 in x 2.793 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of x in x 2.793 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of x in x 2.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.796 * [taylor]: Taking taylor expansion of x in x 2.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.913 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) x) in (x) around 0 2.913 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.913 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.913 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.913 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.913 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.913 * [taylor]: Taking taylor expansion of 1.0 in x 2.914 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.914 * [taylor]: Taking taylor expansion of 1.0 in x 2.915 * [taylor]: Taking taylor expansion of (* x x) in x 2.915 * [taylor]: Taking taylor expansion of x in x 2.915 * [taylor]: Taking taylor expansion of x in x 2.923 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 2.923 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 2.923 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 2.923 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.923 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.923 * [taylor]: Taking taylor expansion of 1.0 in x 2.924 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.924 * [taylor]: Taking taylor expansion of 1.0 in x 2.924 * [taylor]: Taking taylor expansion of (* x x) in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.948 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in (x) around 0 2.948 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.949 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.949 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.949 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.949 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.949 * [taylor]: Taking taylor expansion of 1.0 in x 2.949 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.949 * [taylor]: Taking taylor expansion of 1.0 in x 2.950 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.950 * [taylor]: Taking taylor expansion of x in x 2.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.950 * [taylor]: Taking taylor expansion of x in x 2.953 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 2.954 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 2.954 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 2.954 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.954 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.954 * [taylor]: Taking taylor expansion of 1.0 in x 2.954 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.954 * [taylor]: Taking taylor expansion of 1.0 in x 2.955 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 2.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.955 * [taylor]: Taking taylor expansion of x in x 2.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.955 * [taylor]: Taking taylor expansion of x in x 2.980 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in (x) around 0 2.980 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.980 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.980 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.980 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.980 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.980 * [taylor]: Taking taylor expansion of 1.0 in x 2.981 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.981 * [taylor]: Taking taylor expansion of 1.0 in x 2.982 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.982 * [taylor]: Taking taylor expansion of -1 in x 2.982 * [taylor]: Taking taylor expansion of x in x 2.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.982 * [taylor]: Taking taylor expansion of -1 in x 2.982 * [taylor]: Taking taylor expansion of x in x 2.985 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 2.985 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 2.985 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 2.985 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 2.985 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.985 * [taylor]: Taking taylor expansion of 1.0 in x 2.986 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 2.986 * [taylor]: Taking taylor expansion of 1.0 in x 2.987 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 2.987 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.987 * [taylor]: Taking taylor expansion of -1 in x 2.987 * [taylor]: Taking taylor expansion of x in x 2.987 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.987 * [taylor]: Taking taylor expansion of -1 in x 2.987 * [taylor]: Taking taylor expansion of x in x 3.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 3.016 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) x) in (x) around 0 3.016 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 3.016 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 3.016 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 3.016 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.016 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.017 * [taylor]: Taking taylor expansion of 1.0 in x 3.017 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.017 * [taylor]: Taking taylor expansion of 1.0 in x 3.018 * [taylor]: Taking taylor expansion of (* x x) in x 3.018 * [taylor]: Taking taylor expansion of x in x 3.018 * [taylor]: Taking taylor expansion of x in x 3.022 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 3.023 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 3.023 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 3.023 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.023 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.023 * [taylor]: Taking taylor expansion of 1.0 in x 3.023 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.023 * [taylor]: Taking taylor expansion of 1.0 in x 3.024 * [taylor]: Taking taylor expansion of (* x x) in x 3.024 * [taylor]: Taking taylor expansion of x in x 3.024 * [taylor]: Taking taylor expansion of x in x 3.048 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in (x) around 0 3.048 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 3.048 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 3.048 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 3.048 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.048 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.048 * [taylor]: Taking taylor expansion of 1.0 in x 3.049 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.049 * [taylor]: Taking taylor expansion of 1.0 in x 3.050 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.050 * [taylor]: Taking taylor expansion of x in x 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.050 * [taylor]: Taking taylor expansion of x in x 3.053 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 3.053 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 3.053 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 3.053 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.053 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.053 * [taylor]: Taking taylor expansion of 1.0 in x 3.054 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.054 * [taylor]: Taking taylor expansion of 1.0 in x 3.054 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 3.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.054 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.055 * [taylor]: Taking taylor expansion of x in x 3.079 * [approximate]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in (x) around 0 3.079 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 3.079 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 3.079 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 3.079 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.079 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.079 * [taylor]: Taking taylor expansion of 1.0 in x 3.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.080 * [taylor]: Taking taylor expansion of 1.0 in x 3.080 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.080 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.080 * [taylor]: Taking taylor expansion of -1 in x 3.080 * [taylor]: Taking taylor expansion of x in x 3.081 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.081 * [taylor]: Taking taylor expansion of -1 in x 3.081 * [taylor]: Taking taylor expansion of x in x 3.084 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 3.084 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 3.084 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 3.084 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.084 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.084 * [taylor]: Taking taylor expansion of 1.0 in x 3.084 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.085 * [taylor]: Taking taylor expansion of 1.0 in x 3.085 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 3.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.085 * [taylor]: Taking taylor expansion of -1 in x 3.085 * [taylor]: Taking taylor expansion of x in x 3.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.086 * [taylor]: Taking taylor expansion of -1 in x 3.086 * [taylor]: Taking taylor expansion of x in x 3.115 * * * [progress]: simplifying candidates 3.116 * [simplify]: Simplifying using # : (expm1 (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (log1p (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (* (exp (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (exp x)) (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (exp (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (* (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (* (* (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x) (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (sqrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (sqrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (+ (pow (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) 3) (pow x 3)) (+ (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (- (* x x) (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (- (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* x x)) (- (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x) (expm1 (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log1p (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log (* (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)))) (log (cbrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log (sqrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log (sqrt (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log 1) (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (log (+ (pow (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) 3) (pow x 3))) (log (+ (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (- (* x x) (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)))) (log (- (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* x x))) (log (- (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (log (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (exp (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (* (cbrt (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (cbrt (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)))) (cbrt (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (* (* (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x)) (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (sqrt (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (sqrt (log (+ (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) x))) (expm1 (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (log1p (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (+ 1 1) (+ (log (sqrt (hypot (sqrt 1.0) x))) (log (sqrt (hypot (sqrt 1.0) x)))) (log (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (exp (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x)))) (* (cbrt (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (cbrt (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))))) (cbrt (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* (* (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (sqrt (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (sqrt (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)))) (* (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x)))) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x))))) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x)))) (sqrt (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))))) (* (sqrt (cbrt (hypot (sqrt 1.0) x))) (sqrt (cbrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* 1 1) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (hypot (sqrt 1.0) x)) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x))))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt 1)) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (sqrt (hypot (sqrt 1.0) x)))) (* (sqrt (hypot (sqrt 1.0) x)) 1) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (cbrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x))) (expm1 (hypot (sqrt 1.0) x)) (log1p (hypot (sqrt 1.0) x)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) (log (hypot (sqrt 1.0) x)) (exp (hypot (sqrt 1.0) x)) (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))) (cbrt (hypot (sqrt 1.0) x)) (* (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (+ x (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 2 x) (* 1/2 (/ (pow (sqrt 1.0) 2) x))) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3)))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (+ (* 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5))) (* 1/2 (/ (pow (sqrt 1.0) 2) x)))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (+ (* 1/4 (/ (pow (sqrt 1.0) 2) (pow x 2))) (log 2)) (+ (log (/ 1 x)) (* 3/32 (/ (pow (sqrt 1.0) 4) (pow x 4))))) (- (+ (* 3/32 (/ (pow (sqrt 1.0) 4) (pow x 4))) (+ (log (* 1/2 (pow (sqrt 1.0) 2))) (log (/ -1 x)))) (* 1/4 (/ (pow (sqrt 1.0) 2) (pow x 2)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0)))) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ x (* 1/2 (/ (pow (sqrt 1.0) 2) x))) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3)))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (+ x (* 1/2 (/ (pow (sqrt 1.0) 2) x)))) (- (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0)))) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (- (+ x (* 1/2 (/ (pow (sqrt 1.0) 2) x))) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3)))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (+ x (* 1/2 (/ (pow (sqrt 1.0) 2) x)))) 3.121 * * [simplify]: iteration 0 : 160 enodes (cost 1742 ) 3.151 * * [simplify]: iteration 1 : 351 enodes (cost 1013 ) 3.248 * * [simplify]: iteration 2 : 1217 enodes (cost 929 ) 3.689 * * [simplify]: iteration done : 5001 enodes (cost 925 ) 3.690 * [simplify]: Simplified to: (expm1 (+ x (hypot (sqrt 1.0) x))) (log1p (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (log (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (+ x (hypot (sqrt 1.0) x))) (pow (+ x (hypot (sqrt 1.0) x)) 3) (sqrt (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (+ (pow x 2) (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x))) (* (+ x (hypot (sqrt 1.0) x)) (- (hypot (sqrt 1.0) x) x)) (- (hypot (sqrt 1.0) x) x) (expm1 (log (+ x (hypot (sqrt 1.0) x)))) (log1p (log (+ x (hypot (sqrt 1.0) x)))) (* 2 (log (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (cbrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) 0 (log (+ x (hypot (sqrt 1.0) x))) (log (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3))) (log (+ (pow x 2) (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x)))) (log (* (+ x (hypot (sqrt 1.0) x)) (- (hypot (sqrt 1.0) x) x))) (log (- (hypot (sqrt 1.0) x) x)) (log (+ x (hypot (sqrt 1.0) x))) (log (log (+ x (hypot (sqrt 1.0) x)))) (+ x (hypot (sqrt 1.0) x)) (* (cbrt (log (+ x (hypot (sqrt 1.0) x)))) (cbrt (log (+ x (hypot (sqrt 1.0) x))))) (cbrt (log (+ x (hypot (sqrt 1.0) x)))) (pow (log (+ x (hypot (sqrt 1.0) x))) 3) (sqrt (log (+ x (hypot (sqrt 1.0) x)))) (sqrt (log (+ x (hypot (sqrt 1.0) x)))) (expm1 (hypot (sqrt 1.0) x)) (log1p (hypot (sqrt 1.0) x)) 1 1 2 1 1 (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (hypot (sqrt 1.0) x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) 2 (log (hypot (sqrt 1.0) x)) (log (hypot (sqrt 1.0) x)) (exp (hypot (sqrt 1.0) x)) (pow (hypot (sqrt 1.0) x) 3) (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))) (cbrt (hypot (sqrt 1.0) x)) (pow (hypot (sqrt 1.0) x) 3) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (* (pow (cbrt (sqrt (hypot (sqrt 1.0) x))) 3) (cbrt (sqrt (hypot (sqrt 1.0) x)))) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x)))) (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))) (cbrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) 1 (hypot (sqrt 1.0) x) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) 1 (hypot (sqrt 1.0) x) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) 1 2 1 (* (sqrt (hypot (sqrt 1.0) x)) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (cbrt (sqrt (hypot (sqrt 1.0) x))))) (* (fabs (cbrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (pow (sqrt (sqrt (hypot (sqrt 1.0) x))) 3) (sqrt (hypot (sqrt 1.0) x)) (pow (sqrt (sqrt (hypot (sqrt 1.0) x))) 3) (sqrt (hypot (sqrt 1.0) x)) (* (cbrt (sqrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (* (sqrt (cbrt (hypot (sqrt 1.0) x))) (sqrt (hypot (sqrt 1.0) x))) (pow (sqrt (sqrt (hypot (sqrt 1.0) x))) 3) (hypot (sqrt 1.0) x) (pow (sqrt (sqrt (hypot (sqrt 1.0) x))) 3) (hypot (sqrt 1.0) x) (expm1 (hypot (sqrt 1.0) x)) (log1p (hypot (sqrt 1.0) x)) (fma x x 1.0) (log (hypot (sqrt 1.0) x)) (exp (hypot (sqrt 1.0) x)) (* (cbrt (hypot (sqrt 1.0) x)) (cbrt (hypot (sqrt 1.0) x))) (cbrt (hypot (sqrt 1.0) x)) (pow (hypot (sqrt 1.0) x) 3) (sqrt (hypot (sqrt 1.0) x)) (sqrt (hypot (sqrt 1.0) x)) (+ (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0)) x) (fma x 2 (fma 1/2 (/ 1.0 x) (* (/ 1.0 (/ (pow x 3) 1.0)) -1/8))) (fma 1/8 (/ 1.0 (/ (pow x 3) 1.0)) (- (fma 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5)) (* 1/2 (/ 1.0 x))))) (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (fma 1/4 (/ 1.0 (pow x 2)) (log 2)) (fma (/ (* 1.0 1.0) (pow x 4)) 3/32 (- (log x)))) (fma (/ (* 1.0 1.0) (pow x 4)) 3/32 (- (+ (log (/ -1 x)) (log (* 1.0 1/2))) (* 1/4 (/ 1.0 (pow x 2))))) (- (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (+ x (fma 1/2 (/ 1.0 x) (* (/ 1.0 (/ (pow x 3) 1.0)) -1/8))) (fma (/ 1.0 (/ (pow x 3) 1.0)) 1/8 (- (fma (/ 1.0 x) 1/2 x))) (- (fma (/ (pow x 2) (sqrt 1.0)) 1/2 (sqrt 1.0)) (* 1/8 (/ (pow x 4) (pow (sqrt 1.0) 3)))) (+ x (fma 1/2 (/ 1.0 x) (* (/ 1.0 (/ (pow x 3) 1.0)) -1/8))) (fma (/ 1.0 (/ (pow x 3) 1.0)) 1/8 (- (fma (/ 1.0 x) 1/2 x))) 3.691 * * * [progress]: adding candidates to table 3.913 * * [progress]: iteration 4 / 4 3.913 * * * [progress]: picking best candidate 3.923 * * * * [pick]: Picked # 3.923 * * * [progress]: localizing error 3.931 * * * [progress]: generating rewritten candidates 3.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.934 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 3.940 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.944 * * * [progress]: generating series expansions 3.944 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.944 * [approximate]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in (x) around 0 3.944 * [taylor]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in x 3.945 * [taylor]: Taking taylor expansion of (sqrt (+ x (hypot (sqrt 1.0) x))) in x 3.945 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 3.945 * [taylor]: Taking taylor expansion of x in x 3.945 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 3.945 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 3.945 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 3.945 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.945 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.945 * [taylor]: Taking taylor expansion of 1.0 in x 3.946 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.946 * [taylor]: Taking taylor expansion of 1.0 in x 3.946 * [taylor]: Taking taylor expansion of (* x x) in x 3.946 * [taylor]: Taking taylor expansion of x in x 3.946 * [taylor]: Taking taylor expansion of x in x 3.955 * [taylor]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in x 3.955 * [taylor]: Taking taylor expansion of (sqrt (+ x (hypot (sqrt 1.0) x))) in x 3.955 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 3.955 * [taylor]: Taking taylor expansion of x in x 3.955 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 3.955 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 3.955 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 3.955 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 3.955 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.955 * [taylor]: Taking taylor expansion of 1.0 in x 3.956 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.956 * [taylor]: Taking taylor expansion of 1.0 in x 3.956 * [taylor]: Taking taylor expansion of (* x x) in x 3.956 * [taylor]: Taking taylor expansion of x in x 3.956 * [taylor]: Taking taylor expansion of x in x 4.074 * [approximate]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in (x) around 0 4.074 * [taylor]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in x 4.074 * [taylor]: Taking taylor expansion of (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 4.074 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.075 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.075 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.075 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.075 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.075 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.075 * [taylor]: Taking taylor expansion of 1.0 in x 4.076 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.076 * [taylor]: Taking taylor expansion of 1.0 in x 4.076 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.076 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.080 * [taylor]: Taking taylor expansion of x in x 4.082 * [taylor]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in x 4.082 * [taylor]: Taking taylor expansion of (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 4.082 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.082 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.082 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.082 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.082 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.082 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.082 * [taylor]: Taking taylor expansion of 1.0 in x 4.083 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.083 * [taylor]: Taking taylor expansion of 1.0 in x 4.084 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.084 * [taylor]: Taking taylor expansion of x in x 4.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.084 * [taylor]: Taking taylor expansion of x in x 4.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.087 * [taylor]: Taking taylor expansion of x in x 4.127 * [approximate]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in (x) around 0 4.127 * [taylor]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in x 4.127 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 4.127 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.127 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.127 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.127 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.127 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.127 * [taylor]: Taking taylor expansion of 1.0 in x 4.128 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.128 * [taylor]: Taking taylor expansion of 1.0 in x 4.135 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.135 * [taylor]: Taking taylor expansion of -1 in x 4.135 * [taylor]: Taking taylor expansion of x in x 4.135 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.135 * [taylor]: Taking taylor expansion of -1 in x 4.135 * [taylor]: Taking taylor expansion of x in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.153 * [taylor]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in x 4.153 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 4.153 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.153 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.153 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.153 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.153 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.153 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.153 * [taylor]: Taking taylor expansion of 1.0 in x 4.154 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.154 * [taylor]: Taking taylor expansion of 1.0 in x 4.154 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.154 * [taylor]: Taking taylor expansion of -1 in x 4.154 * [taylor]: Taking taylor expansion of x in x 4.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.155 * [taylor]: Taking taylor expansion of -1 in x 4.155 * [taylor]: Taking taylor expansion of x in x 4.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.158 * [taylor]: Taking taylor expansion of x in x 4.253 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 4.254 * [approximate]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in (x) around 0 4.254 * [taylor]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in x 4.254 * [taylor]: Taking taylor expansion of (sqrt (+ x (hypot (sqrt 1.0) x))) in x 4.254 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.254 * [taylor]: Taking taylor expansion of x in x 4.254 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.254 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.254 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.254 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.254 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.254 * [taylor]: Taking taylor expansion of 1.0 in x 4.255 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.255 * [taylor]: Taking taylor expansion of 1.0 in x 4.256 * [taylor]: Taking taylor expansion of (* x x) in x 4.256 * [taylor]: Taking taylor expansion of x in x 4.256 * [taylor]: Taking taylor expansion of x in x 4.264 * [taylor]: Taking taylor expansion of (log (sqrt (+ x (hypot (sqrt 1.0) x)))) in x 4.264 * [taylor]: Taking taylor expansion of (sqrt (+ x (hypot (sqrt 1.0) x))) in x 4.264 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.264 * [taylor]: Taking taylor expansion of x in x 4.264 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.264 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.264 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.264 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.264 * [taylor]: Taking taylor expansion of 1.0 in x 4.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.265 * [taylor]: Taking taylor expansion of 1.0 in x 4.265 * [taylor]: Taking taylor expansion of (* x x) in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.265 * [taylor]: Taking taylor expansion of x in x 4.384 * [approximate]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in (x) around 0 4.384 * [taylor]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in x 4.384 * [taylor]: Taking taylor expansion of (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 4.384 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.384 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.384 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.384 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.384 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.384 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.384 * [taylor]: Taking taylor expansion of 1.0 in x 4.385 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.385 * [taylor]: Taking taylor expansion of 1.0 in x 4.385 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of (log (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)))) in x 4.391 * [taylor]: Taking taylor expansion of (sqrt (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x))) in x 4.391 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.391 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.391 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.391 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.391 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.391 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.391 * [taylor]: Taking taylor expansion of 1.0 in x 4.392 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.392 * [taylor]: Taking taylor expansion of 1.0 in x 4.392 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.392 * [taylor]: Taking taylor expansion of x in x 4.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.393 * [taylor]: Taking taylor expansion of x in x 4.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.396 * [taylor]: Taking taylor expansion of x in x 4.436 * [approximate]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in (x) around 0 4.436 * [taylor]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in x 4.436 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 4.436 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.436 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.436 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.436 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.436 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.436 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.436 * [taylor]: Taking taylor expansion of 1.0 in x 4.437 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.437 * [taylor]: Taking taylor expansion of 1.0 in x 4.438 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.438 * [taylor]: Taking taylor expansion of -1 in x 4.438 * [taylor]: Taking taylor expansion of x in x 4.438 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.438 * [taylor]: Taking taylor expansion of -1 in x 4.438 * [taylor]: Taking taylor expansion of x in x 4.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.441 * [taylor]: Taking taylor expansion of x in x 4.455 * [taylor]: Taking taylor expansion of (log (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)))) in x 4.455 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x))) in x 4.455 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.456 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.456 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.456 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.456 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.456 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.456 * [taylor]: Taking taylor expansion of 1.0 in x 4.456 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.456 * [taylor]: Taking taylor expansion of 1.0 in x 4.457 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.457 * [taylor]: Taking taylor expansion of -1 in x 4.457 * [taylor]: Taking taylor expansion of x in x 4.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.458 * [taylor]: Taking taylor expansion of -1 in x 4.458 * [taylor]: Taking taylor expansion of x in x 4.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.565 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 4.565 * [approximate]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in (x) around 0 4.565 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.565 * [taylor]: Taking taylor expansion of x in x 4.565 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.565 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.565 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.565 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.565 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.565 * [taylor]: Taking taylor expansion of 1.0 in x 4.566 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.566 * [taylor]: Taking taylor expansion of 1.0 in x 4.567 * [taylor]: Taking taylor expansion of (* x x) in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.571 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.571 * [taylor]: Taking taylor expansion of x in x 4.571 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.572 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.572 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.572 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.572 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.572 * [taylor]: Taking taylor expansion of 1.0 in x 4.572 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.572 * [taylor]: Taking taylor expansion of 1.0 in x 4.573 * [taylor]: Taking taylor expansion of (* x x) in x 4.573 * [taylor]: Taking taylor expansion of x in x 4.573 * [taylor]: Taking taylor expansion of x in x 4.586 * [approximate]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in (x) around 0 4.586 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.586 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.586 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.586 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.586 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.586 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.586 * [taylor]: Taking taylor expansion of 1.0 in x 4.587 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.587 * [taylor]: Taking taylor expansion of 1.0 in x 4.588 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.588 * [taylor]: Taking taylor expansion of x in x 4.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.588 * [taylor]: Taking taylor expansion of x in x 4.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.591 * [taylor]: Taking taylor expansion of x in x 4.591 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.591 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.591 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.591 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.591 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.591 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.591 * [taylor]: Taking taylor expansion of 1.0 in x 4.592 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.592 * [taylor]: Taking taylor expansion of 1.0 in x 4.593 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.596 * [taylor]: Taking taylor expansion of x in x 4.625 * [approximate]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in (x) around 0 4.625 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.625 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.625 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.625 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.625 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.625 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.625 * [taylor]: Taking taylor expansion of 1.0 in x 4.626 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.626 * [taylor]: Taking taylor expansion of 1.0 in x 4.626 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.626 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.626 * [taylor]: Taking taylor expansion of -1 in x 4.626 * [taylor]: Taking taylor expansion of x in x 4.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.627 * [taylor]: Taking taylor expansion of -1 in x 4.627 * [taylor]: Taking taylor expansion of x in x 4.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.630 * [taylor]: Taking taylor expansion of x in x 4.630 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.630 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.630 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.630 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.630 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.630 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.630 * [taylor]: Taking taylor expansion of 1.0 in x 4.631 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.631 * [taylor]: Taking taylor expansion of 1.0 in x 4.632 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.632 * [taylor]: Taking taylor expansion of -1 in x 4.632 * [taylor]: Taking taylor expansion of x in x 4.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.632 * [taylor]: Taking taylor expansion of -1 in x 4.632 * [taylor]: Taking taylor expansion of x in x 4.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.694 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.695 * [approximate]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in (x) around 0 4.695 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.695 * [taylor]: Taking taylor expansion of x in x 4.695 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.695 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.695 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.695 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.695 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.695 * [taylor]: Taking taylor expansion of 1.0 in x 4.696 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.696 * [taylor]: Taking taylor expansion of 1.0 in x 4.696 * [taylor]: Taking taylor expansion of (* x x) in x 4.696 * [taylor]: Taking taylor expansion of x in x 4.696 * [taylor]: Taking taylor expansion of x in x 4.701 * [taylor]: Taking taylor expansion of (+ x (hypot (sqrt 1.0) x)) in x 4.701 * [taylor]: Taking taylor expansion of x in x 4.701 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) x) in x 4.702 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x))) 4.702 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* x x)) in x 4.702 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.702 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.702 * [taylor]: Taking taylor expansion of 1.0 in x 4.702 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.702 * [taylor]: Taking taylor expansion of 1.0 in x 4.703 * [taylor]: Taking taylor expansion of (* x x) in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.703 * [taylor]: Taking taylor expansion of x in x 4.716 * [approximate]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in (x) around 0 4.716 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.716 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.716 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.716 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.716 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.716 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.716 * [taylor]: Taking taylor expansion of 1.0 in x 4.717 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.717 * [taylor]: Taking taylor expansion of 1.0 in x 4.718 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.718 * [taylor]: Taking taylor expansion of x in x 4.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.718 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.727 * [taylor]: Taking taylor expansion of x in x 4.727 * [taylor]: Taking taylor expansion of (+ (hypot (sqrt 1.0) (/ 1 x)) (/ 1 x)) in x 4.727 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ 1 x)) in x 4.727 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x)))) 4.728 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ 1 x) (/ 1 x))) in x 4.728 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.728 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.728 * [taylor]: Taking taylor expansion of 1.0 in x 4.728 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.728 * [taylor]: Taking taylor expansion of 1.0 in x 4.729 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 4.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.729 * [taylor]: Taking taylor expansion of x in x 4.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.729 * [taylor]: Taking taylor expansion of x in x 4.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.732 * [taylor]: Taking taylor expansion of x in x 4.761 * [approximate]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in (x) around 0 4.761 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.761 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.761 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.761 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.761 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.761 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.761 * [taylor]: Taking taylor expansion of 1.0 in x 4.761 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.762 * [taylor]: Taking taylor expansion of 1.0 in x 4.762 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.762 * [taylor]: Taking taylor expansion of -1 in x 4.762 * [taylor]: Taking taylor expansion of x in x 4.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.763 * [taylor]: Taking taylor expansion of -1 in x 4.763 * [taylor]: Taking taylor expansion of x in x 4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.765 * [taylor]: Taking taylor expansion of x in x 4.766 * [taylor]: Taking taylor expansion of (- (hypot (sqrt 1.0) (/ -1 x)) (/ 1 x)) in x 4.766 * [taylor]: Taking taylor expansion of (hypot (sqrt 1.0) (/ -1 x)) in x 4.766 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x)))) 4.766 * [taylor]: Taking taylor expansion of (+ (* (sqrt 1.0) (sqrt 1.0)) (* (/ -1 x) (/ -1 x))) in x 4.766 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (sqrt 1.0)) in x 4.766 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.766 * [taylor]: Taking taylor expansion of 1.0 in x 4.767 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.767 * [taylor]: Taking taylor expansion of 1.0 in x 4.767 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 4.767 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.767 * [taylor]: Taking taylor expansion of -1 in x 4.767 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.768 * [taylor]: Taking taylor expansion of -1 in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.771 * [taylor]: Taking taylor expansion of x in x 4.830 * * * [progress]: simplifying candidates 4.831 * [simplify]: Simplifying using # : (expm1 (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log1p (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (* (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))))) (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))))) (log (sqrt (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt 1)) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt 1)) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log 1) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)))) (log (sqrt (+ (* x x) (- (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (* x (hypot (sqrt 1.0) x)))))) (log (sqrt (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))))) (log (sqrt (- x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (exp (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x)))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* (* (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (expm1 (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log1p (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (* (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))))) (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))))) (log (sqrt (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt 1)) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt 1)) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log 1) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)))) (log (sqrt (+ (* x x) (- (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (* x (hypot (sqrt 1.0) x)))))) (log (sqrt (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))))) (log (sqrt (- x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (exp (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x)))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* (* (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (expm1 (+ x (hypot (sqrt 1.0) x))) (log1p (+ x (hypot (sqrt 1.0) x))) (* (exp x) (exp (hypot (sqrt 1.0) x))) (log (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (+ x (hypot (sqrt 1.0) x))) (* (* (+ x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x))) (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (+ (* x x) (- (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (* x (hypot (sqrt 1.0) x)))) (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))) (- x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x)) (expm1 (+ x (hypot (sqrt 1.0) x))) (log1p (+ x (hypot (sqrt 1.0) x))) (* (exp x) (exp (hypot (sqrt 1.0) x))) (log (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (+ x (hypot (sqrt 1.0) x))) (* (* (+ x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x))) (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (+ (* x x) (- (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x)) (* x (hypot (sqrt 1.0) x)))) (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))) (- x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x)) (- (+ (* 1/2 (/ x (sqrt 1.0))) (log (sqrt (sqrt 1.0)))) (* 1/12 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (log +nan.0) (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) (- (+ (log (* +nan.0 (pow (sqrt 1.0) 2))) (log (/ -1 x))) (+ (* +nan.0 (/ (pow (sqrt 1.0) 4) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow x 2))) (- (* +nan.0 (/ (pow (sqrt 1.0) 2) x))))))) (- (+ (* 1/2 (/ x (sqrt 1.0))) (log (sqrt (sqrt 1.0)))) (* 1/12 (/ (pow x 3) (pow (sqrt 1.0) 3)))) (- (log +nan.0) (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow x 2))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) (- (+ (log (* +nan.0 (pow (sqrt 1.0) 2))) (log (/ -1 x))) (+ (* +nan.0 (/ (pow (sqrt 1.0) 4) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sqrt 1.0) 2) (pow x 2))) (- (* +nan.0 (/ (pow (sqrt 1.0) 2) x))))))) (+ x (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 2 x) (* 1/2 (/ (pow (sqrt 1.0) 2) x))) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3)))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (+ (* 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5))) (* 1/2 (/ (pow (sqrt 1.0) 2) x)))) (+ x (+ (sqrt 1.0) (* 1/2 (/ (pow x 2) (sqrt 1.0))))) (- (+ (* 2 x) (* 1/2 (/ (pow (sqrt 1.0) 2) x))) (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3)))) (- (* 1/8 (/ (pow (sqrt 1.0) 4) (pow x 3))) (+ (* 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5))) (* 1/2 (/ (pow (sqrt 1.0) 2) x)))) 4.835 * * [simplify]: iteration 0 : 124 enodes (cost 1234 ) 4.854 * * [simplify]: iteration 1 : 287 enodes (cost 1168 ) 4.913 * * [simplify]: iteration 2 : 856 enodes (cost 1034 ) 5.159 * * [simplify]: iteration 3 : 3953 enodes (cost 1024 ) 6.211 * * [simplify]: iteration done : 5000 enodes (cost 1024 ) 6.212 * [simplify]: Simplified to: (expm1 (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log1p (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* 2 (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))))) (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (fabs (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (hypot (pow x 3/2) (pow (hypot (sqrt 1.0) x) 3/2))) (log (sqrt (fma x x (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x))))) (log (sqrt (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))))) (log (sqrt (- x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (+ x (hypot (sqrt 1.0) x))) (* (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x)))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (pow (log (sqrt (+ x (hypot (sqrt 1.0) x)))) 3) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (expm1 (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (log1p (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (* 2 (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x)))))) (log (cbrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (fabs (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (cbrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) (log (sqrt (sqrt (+ x (hypot (sqrt 1.0) x))))) 0 (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (hypot (pow x 3/2) (pow (hypot (sqrt 1.0) x) 3/2))) (log (sqrt (fma x x (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x))))) (log (sqrt (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))))) (log (sqrt (- x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (sqrt (+ x (hypot (sqrt 1.0) x)))) (log (+ x (hypot (sqrt 1.0) x))) (log (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (+ x (hypot (sqrt 1.0) x))) (* (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x)))))) (cbrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (pow (log (sqrt (+ x (hypot (sqrt 1.0) x)))) 3) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (sqrt (log (sqrt (+ x (hypot (sqrt 1.0) x))))) (expm1 (+ x (hypot (sqrt 1.0) x))) (log1p (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (log (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (+ x (hypot (sqrt 1.0) x))) (pow (+ x (hypot (sqrt 1.0) x)) 3) (sqrt (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (fma x x (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x))) (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))) (- x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x)) (expm1 (+ x (hypot (sqrt 1.0) x))) (log1p (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (log (+ x (hypot (sqrt 1.0) x))) (exp (+ x (hypot (sqrt 1.0) x))) (* (cbrt (+ x (hypot (sqrt 1.0) x))) (cbrt (+ x (hypot (sqrt 1.0) x)))) (cbrt (+ x (hypot (sqrt 1.0) x))) (pow (+ x (hypot (sqrt 1.0) x)) 3) (sqrt (+ x (hypot (sqrt 1.0) x))) (sqrt (+ x (hypot (sqrt 1.0) x))) (+ (pow x 3) (pow (hypot (sqrt 1.0) x) 3)) (fma x x (* (hypot (sqrt 1.0) x) (- (hypot (sqrt 1.0) x) x))) (- (* x x) (* (hypot (sqrt 1.0) x) (hypot (sqrt 1.0) x))) (- x (hypot (sqrt 1.0) x)) (+ x (hypot (sqrt 1.0) x)) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/12 (fma 1/2 (/ x (sqrt 1.0)) (log (sqrt (sqrt 1.0))))) (+ (- (log +nan.0) (* (+ (/ 1.0 x) 1) (/ +nan.0 x))) (/ (/ +nan.0 x) x)) (+ (+ (log (* 1.0 +nan.0)) (- (log (/ -1 x)) (/ (* (* 1.0 +nan.0) 1.0) (* x x)))) (* (/ 1.0 x) (- (/ +nan.0 x) +nan.0))) (fma (/ (pow x 3) (pow (sqrt 1.0) 3)) -1/12 (fma 1/2 (/ x (sqrt 1.0)) (log (sqrt (sqrt 1.0))))) (+ (- (log +nan.0) (* (+ (/ 1.0 x) 1) (/ +nan.0 x))) (/ (/ +nan.0 x) x)) (+ (+ (log (* 1.0 +nan.0)) (- (log (/ -1 x)) (/ (* (* 1.0 +nan.0) 1.0) (* x x)))) (* (/ 1.0 x) (- (/ +nan.0 x) +nan.0))) (+ (fma 1/2 (/ (pow x 2) (sqrt 1.0)) (sqrt 1.0)) x) (fma x 2 (fma 1/2 (/ 1.0 x) (* -1/8 (/ 1.0 (/ (pow x 3) 1.0))))) (- (/ 1/8 (/ (pow x 3) (* 1.0 1.0))) (fma 1/2 (/ 1.0 x) (* 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5))))) (+ (fma 1/2 (/ (pow x 2) (sqrt 1.0)) (sqrt 1.0)) x) (fma x 2 (fma 1/2 (/ 1.0 x) (* -1/8 (/ 1.0 (/ (pow x 3) 1.0))))) (- (/ 1/8 (/ (pow x 3) (* 1.0 1.0))) (fma 1/2 (/ 1.0 x) (* 1/16 (/ (pow (sqrt 1.0) 6) (pow x 5))))) 6.213 * * * [progress]: adding candidates to table 6.480 * [progress]: [Phase 3 of 3] Extracting. 6.480 * * [regime]: Finding splitpoints for: (# # # # #) 6.481 * * * [regime-changes]: Trying 1 branch expressions: (x) 6.481 * * * * [regimes]: Trying to branch on x from (# # # # #) 6.519 * * * [regime]: Found split indices: #