11.804 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (sqrt (+ (* x x) y)) 0.016 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.016 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.017 * * [simplify]: iteration done : 7 enodes (cost 5 ) 0.017 * [simplify]: Simplified to: (sqrt (fma x x y)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.027 * * * [progress]: generating series expansions 0.027 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.027 * [approximate]: Taking taylor expansion of (sqrt (fma x x y)) in (x y) around 0 0.027 * [taylor]: Taking taylor expansion of (sqrt (fma x x y)) in y 0.027 * [taylor]: Taking taylor expansion of (fma x x y) in y 0.027 * [taylor]: Rewrote expression to (+ (* x x) y) 0.027 * [taylor]: Taking taylor expansion of (* x x) in y 0.027 * [taylor]: Taking taylor expansion of x in y 0.027 * [taylor]: Taking taylor expansion of x in y 0.028 * [taylor]: Taking taylor expansion of y in y 0.028 * [taylor]: Taking taylor expansion of (sqrt (fma x x y)) in x 0.028 * [taylor]: Taking taylor expansion of (fma x x y) in x 0.028 * [taylor]: Rewrote expression to (+ (* x x) y) 0.028 * [taylor]: Taking taylor expansion of (* x x) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of y in x 0.030 * [taylor]: Taking taylor expansion of (sqrt (fma x x y)) in x 0.030 * [taylor]: Taking taylor expansion of (fma x x y) in x 0.030 * [taylor]: Rewrote expression to (+ (* x x) y) 0.030 * [taylor]: Taking taylor expansion of (* x x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of y in x 0.031 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.031 * [taylor]: Taking taylor expansion of y in y 0.032 * [taylor]: Taking taylor expansion of 0 in y 0.033 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 y))) in y 0.033 * [taylor]: Taking taylor expansion of 1/2 in y 0.033 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.033 * [taylor]: Taking taylor expansion of y in y 0.038 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) (/ 1 y))) in (x y) around 0 0.038 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) (/ 1 y))) in y 0.038 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in y 0.039 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) 0.039 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.039 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) (/ 1 y))) in x 0.040 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in x 0.040 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) 0.040 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.041 * [taylor]: Taking taylor expansion of y in x 0.043 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (/ 1 x) (/ 1 y))) in x 0.043 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in x 0.044 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y)) 0.044 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.044 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of 1 in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 0.049 * [taylor]: Taking taylor expansion of 1/2 in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y 0.055 * [taylor]: Taking taylor expansion of -1/8 in y 0.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.057 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) (/ -1 y))) in (x y) around 0 0.057 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) (/ -1 y))) in y 0.057 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in y 0.057 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y)) 0.057 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.057 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.057 * [taylor]: Taking taylor expansion of -1 in y 0.057 * [taylor]: Taking taylor expansion of x in y 0.057 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.057 * [taylor]: Taking taylor expansion of -1 in y 0.057 * [taylor]: Taking taylor expansion of x in y 0.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.057 * [taylor]: Taking taylor expansion of -1 in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.059 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) (/ -1 y))) in x 0.059 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in x 0.059 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y)) 0.059 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.059 * [taylor]: Taking taylor expansion of -1 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.059 * [taylor]: Taking taylor expansion of -1 in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.060 * [taylor]: Taking taylor expansion of -1 in x 0.060 * [taylor]: Taking taylor expansion of y in x 0.062 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (/ -1 x) (/ -1 y))) in x 0.062 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in x 0.063 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y)) 0.063 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.063 * [taylor]: Taking taylor expansion of -1 in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.063 * [taylor]: Taking taylor expansion of -1 in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.064 * [taylor]: Taking taylor expansion of -1 in x 0.064 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of 1 in y 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 0.073 * [taylor]: Taking taylor expansion of -1/2 in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of (/ -1/8 (pow y 2)) in y 0.079 * [taylor]: Taking taylor expansion of -1/8 in y 0.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.080 * * * [progress]: simplifying candidates 0.080 * [simplify]: Simplifying using # : (expm1 (sqrt (fma x x y))) (log1p (sqrt (fma x x y))) (log (sqrt (fma x x y))) (exp (sqrt (fma x x y))) (* (cbrt (sqrt (fma x x y))) (cbrt (sqrt (fma x x y)))) (cbrt (sqrt (fma x x y))) (* (* (sqrt (fma x x y)) (sqrt (fma x x y))) (sqrt (fma x x y))) (sqrt (* (cbrt (fma x x y)) (cbrt (fma x x y)))) (sqrt (cbrt (fma x x y))) (sqrt (sqrt (fma x x y))) (sqrt (sqrt (fma x x y))) (sqrt 1) (sqrt (fma x x y)) (/ 1 2) (sqrt (sqrt (fma x x y))) (sqrt (sqrt (fma x x y))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) (+ x (* 1/2 (/ y x))) (- (+ x (* 1/2 (/ y x)))) 0.082 * * [simplify]: iteration 0 : 37 enodes (cost 145 ) 0.088 * * [simplify]: iteration 1 : 75 enodes (cost 127 ) 0.100 * * [simplify]: iteration 2 : 188 enodes (cost 120 ) 0.143 * * [simplify]: iteration 3 : 552 enodes (cost 118 ) 0.363 * * [simplify]: iteration 4 : 1890 enodes (cost 104 ) 1.312 * * [simplify]: iteration done : 5000 enodes (cost 104 ) 1.312 * [simplify]: Simplified to: (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (pow (hypot (sqrt y) x) 3) (fabs (cbrt (fma x x y))) (sqrt (cbrt (fma x x y))) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) 1 (hypot (sqrt y) x) 1/2 (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (* (- (- (pow y 2) y) (pow x 2)) +nan.0) (fma (/ y x) 1/2 x) (- (fma (/ y x) 1/2 x)) 1.313 * * * [progress]: adding candidates to table 1.351 * * [progress]: iteration 2 / 4 1.351 * * * [progress]: picking best candidate 1.357 * * * * [pick]: Picked # 1.357 * * * [progress]: localizing error 1.364 * * * [progress]: generating rewritten candidates 1.364 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 1.365 * * * [progress]: generating series expansions 1.365 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 1.365 * [approximate]: Taking taylor expansion of (hypot (sqrt y) x) in (y x) around 0 1.365 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in x 1.365 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 1.365 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in x 1.365 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in x 1.365 * [taylor]: Taking taylor expansion of (sqrt y) in x 1.365 * [taylor]: Taking taylor expansion of y in x 1.365 * [taylor]: Taking taylor expansion of (sqrt y) in x 1.365 * [taylor]: Taking taylor expansion of y in x 1.365 * [taylor]: Taking taylor expansion of (* x x) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 1.367 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 1.367 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 1.367 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 1.367 * [taylor]: Taking taylor expansion of (sqrt y) in y 1.367 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of (sqrt y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.369 * [taylor]: Taking taylor expansion of (* x x) in y 1.369 * [taylor]: Taking taylor expansion of x in y 1.369 * [taylor]: Taking taylor expansion of x in y 1.370 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 1.370 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 1.370 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 1.370 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 1.370 * [taylor]: Taking taylor expansion of (sqrt y) in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of (sqrt y) in y 1.372 * [taylor]: Taking taylor expansion of y in y 1.373 * [taylor]: Taking taylor expansion of (* x x) in y 1.373 * [taylor]: Taking taylor expansion of x in y 1.373 * [taylor]: Taking taylor expansion of x in y 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of 0 in x 1.381 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 1.381 * [taylor]: Taking taylor expansion of +nan.0 in x 1.381 * [taylor]: Taking taylor expansion of x in x 1.389 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 1.389 * [taylor]: Taking taylor expansion of +nan.0 in x 1.389 * [taylor]: Taking taylor expansion of x in x 1.391 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in (y x) around 0 1.391 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in x 1.391 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 1.391 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in x 1.391 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in x 1.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.391 * [taylor]: Taking taylor expansion of y in x 1.391 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.391 * [taylor]: Taking taylor expansion of y in x 1.391 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.394 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 1.394 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 1.394 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 1.394 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 1.394 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 1.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.394 * [taylor]: Taking taylor expansion of y in y 1.396 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 1.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.396 * [taylor]: Taking taylor expansion of y in y 1.397 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.397 * [taylor]: Taking taylor expansion of x in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.397 * [taylor]: Taking taylor expansion of x in y 1.413 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 1.413 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 1.413 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 1.413 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 1.413 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 1.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.413 * [taylor]: Taking taylor expansion of y in y 1.415 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.415 * [taylor]: Taking taylor expansion of y in y 1.416 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.416 * [taylor]: Taking taylor expansion of x in y 1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.416 * [taylor]: Taking taylor expansion of x in y 1.433 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 1.433 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.433 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.433 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.434 * [taylor]: Taking taylor expansion of +nan.0 in x 1.436 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 1.436 * [taylor]: Taking taylor expansion of +nan.0 in x 1.436 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.436 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.436 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.436 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of +nan.0 in x 1.453 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 1.453 * [taylor]: Taking taylor expansion of -1/2 in x 1.453 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 1.453 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.453 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.453 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.453 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of +nan.0 in x 1.456 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 1.456 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.456 * [taylor]: Taking taylor expansion of +nan.0 in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.456 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.456 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.456 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.456 * [taylor]: Taking taylor expansion of x in x 1.457 * [taylor]: Taking taylor expansion of +nan.0 in x 1.457 * [taylor]: Taking taylor expansion of (- +nan.0) in x 1.457 * [taylor]: Taking taylor expansion of +nan.0 in x 1.474 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 1.474 * [taylor]: Taking taylor expansion of -1/2 in x 1.474 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 1.474 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 1.474 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 1.474 * [taylor]: Taking taylor expansion of +nan.0 in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 1.474 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 1.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.474 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.475 * [taylor]: Taking taylor expansion of +nan.0 in x 1.475 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 1.476 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 1.476 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.476 * [taylor]: Taking taylor expansion of +nan.0 in x 1.476 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.476 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.476 * [taylor]: Taking taylor expansion of x in x 1.476 * [taylor]: Taking taylor expansion of +nan.0 in x 1.477 * [taylor]: Taking taylor expansion of (- +nan.0) in x 1.477 * [taylor]: Taking taylor expansion of +nan.0 in x 1.477 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.477 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.477 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.477 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.477 * [taylor]: Taking taylor expansion of x in x 1.477 * [taylor]: Taking taylor expansion of +nan.0 in x 1.480 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in (y x) around 0 1.480 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in x 1.480 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 1.480 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in x 1.480 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in x 1.480 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 1.480 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.480 * [taylor]: Taking taylor expansion of -1 in x 1.480 * [taylor]: Taking taylor expansion of y in x 1.481 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 1.481 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.481 * [taylor]: Taking taylor expansion of -1 in x 1.481 * [taylor]: Taking taylor expansion of y in x 1.481 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.481 * [taylor]: Taking taylor expansion of -1 in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.481 * [taylor]: Taking taylor expansion of -1 in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.484 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 1.484 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 1.484 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 1.484 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 1.484 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.484 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.484 * [taylor]: Taking taylor expansion of -1 in y 1.484 * [taylor]: Taking taylor expansion of y in y 1.485 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.486 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.486 * [taylor]: Taking taylor expansion of -1 in y 1.486 * [taylor]: Taking taylor expansion of y in y 1.487 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1.487 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.487 * [taylor]: Taking taylor expansion of -1 in y 1.487 * [taylor]: Taking taylor expansion of x in y 1.487 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.487 * [taylor]: Taking taylor expansion of -1 in y 1.487 * [taylor]: Taking taylor expansion of x in y 1.503 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 1.503 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 1.503 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 1.503 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 1.503 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.503 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.503 * [taylor]: Taking taylor expansion of -1 in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.504 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.504 * [taylor]: Taking taylor expansion of -1 in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.505 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1.505 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.505 * [taylor]: Taking taylor expansion of -1 in y 1.505 * [taylor]: Taking taylor expansion of x in y 1.505 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.505 * [taylor]: Taking taylor expansion of -1 in y 1.505 * [taylor]: Taking taylor expansion of x in y 1.526 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 1.526 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.526 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.527 * [taylor]: Taking taylor expansion of +nan.0 in x 1.529 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 1.529 * [taylor]: Taking taylor expansion of +nan.0 in x 1.529 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.529 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.529 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of +nan.0 in x 1.543 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 1.543 * [taylor]: Taking taylor expansion of -1/2 in x 1.543 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 1.543 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.543 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.543 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of +nan.0 in x 1.546 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 1.546 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.546 * [taylor]: Taking taylor expansion of +nan.0 in x 1.546 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.546 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.546 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of +nan.0 in x 1.547 * [taylor]: Taking taylor expansion of (- +nan.0) in x 1.547 * [taylor]: Taking taylor expansion of +nan.0 in x 1.563 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 1.563 * [taylor]: Taking taylor expansion of -1/2 in x 1.563 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 1.563 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 1.563 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 1.563 * [taylor]: Taking taylor expansion of +nan.0 in x 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 1.563 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 1.563 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.563 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.563 * [taylor]: Taking taylor expansion of x in x 1.563 * [taylor]: Taking taylor expansion of +nan.0 in x 1.564 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 1.564 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 1.564 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.564 * [taylor]: Taking taylor expansion of +nan.0 in x 1.564 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.564 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.565 * [taylor]: Taking taylor expansion of +nan.0 in x 1.565 * [taylor]: Taking taylor expansion of (- +nan.0) in x 1.565 * [taylor]: Taking taylor expansion of +nan.0 in x 1.565 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 1.565 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 1.565 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 1.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.565 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of +nan.0 in x 1.569 * * * [progress]: simplifying candidates 1.569 * [simplify]: Simplifying using # : (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) (+ (* (sqrt y) (sqrt y)) (* x x)) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (* (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) x (- x (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))) (- (+ x (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))))) 1.571 * * [simplify]: iteration 0 : 29 enodes (cost 104 ) 1.575 * * [simplify]: iteration 1 : 57 enodes (cost 97 ) 1.583 * * [simplify]: iteration 2 : 132 enodes (cost 80 ) 1.611 * * [simplify]: iteration 3 : 457 enodes (cost 79 ) 1.803 * * [simplify]: iteration 4 : 1482 enodes (cost 78 ) 2.984 * * [simplify]: iteration 5 : 3177 enodes (cost 75 ) 7.429 * * [simplify]: iteration 6 : 4512 enodes (cost 75 ) 13.620 * * [simplify]: iteration done : 5000 enodes (cost 75 ) 13.620 * [simplify]: Simplified to: (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) (fma x x y) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (pow (hypot (sqrt y) x) 3) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) x (+ x (/ (- (/ +nan.0 y) +nan.0) x)) (- (/ (- +nan.0 (/ +nan.0 y)) x) x) 13.620 * * * [progress]: adding candidates to table 13.650 * * [progress]: iteration 3 / 4 13.650 * * * [progress]: picking best candidate 13.654 * * * * [pick]: Picked # 13.654 * * * [progress]: localizing error 13.664 * * * [progress]: generating rewritten candidates 13.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 13.670 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 13.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 13.672 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 13.674 * * * [progress]: generating series expansions 13.674 * * * * [progress]: [ 1 / 4 ] generating series at (2) 13.675 * [approximate]: Taking taylor expansion of (hypot (sqrt y) x) in (y x) around 0 13.675 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in x 13.675 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.675 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in x 13.675 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in x 13.675 * [taylor]: Taking taylor expansion of (sqrt y) in x 13.675 * [taylor]: Taking taylor expansion of y in x 13.675 * [taylor]: Taking taylor expansion of (sqrt y) in x 13.675 * [taylor]: Taking taylor expansion of y in x 13.675 * [taylor]: Taking taylor expansion of (* x x) in x 13.675 * [taylor]: Taking taylor expansion of x in x 13.675 * [taylor]: Taking taylor expansion of x in x 13.676 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 13.676 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.676 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 13.676 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 13.676 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.676 * [taylor]: Taking taylor expansion of y in y 13.678 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.678 * [taylor]: Taking taylor expansion of y in y 13.679 * [taylor]: Taking taylor expansion of (* x x) in y 13.679 * [taylor]: Taking taylor expansion of x in y 13.679 * [taylor]: Taking taylor expansion of x in y 13.680 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 13.680 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.680 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 13.680 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 13.680 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.680 * [taylor]: Taking taylor expansion of y in y 13.681 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.681 * [taylor]: Taking taylor expansion of y in y 13.682 * [taylor]: Taking taylor expansion of (* x x) in y 13.682 * [taylor]: Taking taylor expansion of x in y 13.682 * [taylor]: Taking taylor expansion of x in y 13.683 * [taylor]: Taking taylor expansion of x in x 13.683 * [taylor]: Taking taylor expansion of 0 in x 13.690 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 13.690 * [taylor]: Taking taylor expansion of +nan.0 in x 13.690 * [taylor]: Taking taylor expansion of x in x 13.699 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 13.700 * [taylor]: Taking taylor expansion of +nan.0 in x 13.700 * [taylor]: Taking taylor expansion of x in x 13.701 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in (y x) around 0 13.701 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in x 13.701 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.701 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in x 13.701 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in x 13.701 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 13.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.701 * [taylor]: Taking taylor expansion of y in x 13.701 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 13.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.701 * [taylor]: Taking taylor expansion of y in x 13.702 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 13.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.702 * [taylor]: Taking taylor expansion of x in x 13.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.702 * [taylor]: Taking taylor expansion of x in x 13.705 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 13.705 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.705 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 13.705 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 13.705 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.705 * [taylor]: Taking taylor expansion of y in y 13.706 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.706 * [taylor]: Taking taylor expansion of y in y 13.707 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 13.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.707 * [taylor]: Taking taylor expansion of x in y 13.707 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.707 * [taylor]: Taking taylor expansion of x in y 13.723 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 13.723 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.723 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 13.723 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 13.723 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.723 * [taylor]: Taking taylor expansion of y in y 13.724 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.724 * [taylor]: Taking taylor expansion of y in y 13.726 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 13.726 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.726 * [taylor]: Taking taylor expansion of x in y 13.726 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.726 * [taylor]: Taking taylor expansion of x in y 13.745 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 13.745 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.745 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.745 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.745 * [taylor]: Taking taylor expansion of x in x 13.746 * [taylor]: Taking taylor expansion of +nan.0 in x 13.748 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.748 * [taylor]: Taking taylor expansion of +nan.0 in x 13.748 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.748 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.748 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.748 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.748 * [taylor]: Taking taylor expansion of x in x 13.748 * [taylor]: Taking taylor expansion of +nan.0 in x 13.762 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 13.762 * [taylor]: Taking taylor expansion of -1/2 in x 13.762 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 13.762 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.762 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.762 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.762 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.762 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.762 * [taylor]: Taking taylor expansion of x in x 13.763 * [taylor]: Taking taylor expansion of +nan.0 in x 13.765 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 13.765 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.765 * [taylor]: Taking taylor expansion of +nan.0 in x 13.765 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.765 * [taylor]: Taking taylor expansion of x in x 13.766 * [taylor]: Taking taylor expansion of +nan.0 in x 13.766 * [taylor]: Taking taylor expansion of (- +nan.0) in x 13.766 * [taylor]: Taking taylor expansion of +nan.0 in x 13.782 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 13.782 * [taylor]: Taking taylor expansion of -1/2 in x 13.782 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.782 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 13.782 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 13.782 * [taylor]: Taking taylor expansion of +nan.0 in x 13.782 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 13.782 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 13.782 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.782 * [taylor]: Taking taylor expansion of x in x 13.783 * [taylor]: Taking taylor expansion of +nan.0 in x 13.784 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 13.784 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 13.784 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.784 * [taylor]: Taking taylor expansion of +nan.0 in x 13.784 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.784 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.784 * [taylor]: Taking taylor expansion of x in x 13.784 * [taylor]: Taking taylor expansion of +nan.0 in x 13.785 * [taylor]: Taking taylor expansion of (- +nan.0) in x 13.785 * [taylor]: Taking taylor expansion of +nan.0 in x 13.785 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.785 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.785 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.785 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.785 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.785 * [taylor]: Taking taylor expansion of x in x 13.785 * [taylor]: Taking taylor expansion of +nan.0 in x 13.789 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in (y x) around 0 13.789 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in x 13.789 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 13.789 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in x 13.789 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in x 13.789 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 13.789 * [taylor]: Taking taylor expansion of (/ -1 y) in x 13.789 * [taylor]: Taking taylor expansion of -1 in x 13.789 * [taylor]: Taking taylor expansion of y in x 13.789 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 13.789 * [taylor]: Taking taylor expansion of (/ -1 y) in x 13.789 * [taylor]: Taking taylor expansion of -1 in x 13.789 * [taylor]: Taking taylor expansion of y in x 13.789 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 13.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.789 * [taylor]: Taking taylor expansion of -1 in x 13.789 * [taylor]: Taking taylor expansion of x in x 13.790 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.790 * [taylor]: Taking taylor expansion of -1 in x 13.790 * [taylor]: Taking taylor expansion of x in x 13.792 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 13.793 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 13.793 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 13.793 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 13.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 13.793 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.793 * [taylor]: Taking taylor expansion of -1 in y 13.793 * [taylor]: Taking taylor expansion of y in y 13.794 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 13.794 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.794 * [taylor]: Taking taylor expansion of -1 in y 13.794 * [taylor]: Taking taylor expansion of y in y 13.795 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 13.795 * [taylor]: Taking taylor expansion of (/ -1 x) in y 13.795 * [taylor]: Taking taylor expansion of -1 in y 13.795 * [taylor]: Taking taylor expansion of x in y 13.795 * [taylor]: Taking taylor expansion of (/ -1 x) in y 13.795 * [taylor]: Taking taylor expansion of -1 in y 13.795 * [taylor]: Taking taylor expansion of x in y 13.812 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 13.812 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 13.812 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 13.812 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 13.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 13.812 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.812 * [taylor]: Taking taylor expansion of -1 in y 13.812 * [taylor]: Taking taylor expansion of y in y 13.813 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 13.813 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.813 * [taylor]: Taking taylor expansion of -1 in y 13.813 * [taylor]: Taking taylor expansion of y in y 13.815 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 13.815 * [taylor]: Taking taylor expansion of (/ -1 x) in y 13.815 * [taylor]: Taking taylor expansion of -1 in y 13.815 * [taylor]: Taking taylor expansion of x in y 13.815 * [taylor]: Taking taylor expansion of (/ -1 x) in y 13.815 * [taylor]: Taking taylor expansion of -1 in y 13.815 * [taylor]: Taking taylor expansion of x in y 13.834 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 13.834 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.834 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.834 * [taylor]: Taking taylor expansion of x in x 13.835 * [taylor]: Taking taylor expansion of +nan.0 in x 13.836 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.837 * [taylor]: Taking taylor expansion of +nan.0 in x 13.837 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.837 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.837 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.837 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.837 * [taylor]: Taking taylor expansion of x in x 13.837 * [taylor]: Taking taylor expansion of +nan.0 in x 13.851 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 13.851 * [taylor]: Taking taylor expansion of -1/2 in x 13.851 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 13.851 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.851 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.851 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.851 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.851 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.851 * [taylor]: Taking taylor expansion of x in x 13.852 * [taylor]: Taking taylor expansion of +nan.0 in x 13.854 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 13.854 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.854 * [taylor]: Taking taylor expansion of +nan.0 in x 13.854 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.854 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.854 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.854 * [taylor]: Taking taylor expansion of x in x 13.855 * [taylor]: Taking taylor expansion of +nan.0 in x 13.855 * [taylor]: Taking taylor expansion of (- +nan.0) in x 13.855 * [taylor]: Taking taylor expansion of +nan.0 in x 13.872 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 13.872 * [taylor]: Taking taylor expansion of -1/2 in x 13.872 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.872 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 13.872 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 13.872 * [taylor]: Taking taylor expansion of +nan.0 in x 13.872 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 13.872 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 13.872 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.872 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.872 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.872 * [taylor]: Taking taylor expansion of x in x 13.873 * [taylor]: Taking taylor expansion of +nan.0 in x 13.873 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 13.873 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 13.873 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.873 * [taylor]: Taking taylor expansion of +nan.0 in x 13.873 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.873 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.874 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.874 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.874 * [taylor]: Taking taylor expansion of x in x 13.874 * [taylor]: Taking taylor expansion of +nan.0 in x 13.874 * [taylor]: Taking taylor expansion of (- +nan.0) in x 13.875 * [taylor]: Taking taylor expansion of +nan.0 in x 13.875 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.875 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.875 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.875 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.875 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.875 * [taylor]: Taking taylor expansion of x in x 13.875 * [taylor]: Taking taylor expansion of +nan.0 in x 13.878 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 13.878 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in (y x) around 0 13.878 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in x 13.878 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in x 13.879 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.879 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in x 13.879 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in x 13.879 * [taylor]: Taking taylor expansion of (sqrt y) in x 13.879 * [taylor]: Taking taylor expansion of y in x 13.879 * [taylor]: Taking taylor expansion of (sqrt y) in x 13.879 * [taylor]: Taking taylor expansion of y in x 13.879 * [taylor]: Taking taylor expansion of (* x x) in x 13.879 * [taylor]: Taking taylor expansion of x in x 13.879 * [taylor]: Taking taylor expansion of x in x 13.880 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in y 13.880 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 13.880 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.880 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 13.880 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 13.880 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.880 * [taylor]: Taking taylor expansion of y in y 13.881 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.881 * [taylor]: Taking taylor expansion of y in y 13.882 * [taylor]: Taking taylor expansion of (* x x) in y 13.882 * [taylor]: Taking taylor expansion of x in y 13.882 * [taylor]: Taking taylor expansion of x in y 13.884 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in y 13.884 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 13.884 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 13.884 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 13.884 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 13.884 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.884 * [taylor]: Taking taylor expansion of y in y 13.885 * [taylor]: Taking taylor expansion of (sqrt y) in y 13.885 * [taylor]: Taking taylor expansion of y in y 13.886 * [taylor]: Taking taylor expansion of (* x x) in y 13.886 * [taylor]: Taking taylor expansion of x in y 13.886 * [taylor]: Taking taylor expansion of x in y 13.887 * [taylor]: Taking taylor expansion of (sqrt x) in x 13.887 * [taylor]: Taking taylor expansion of x in x 13.889 * [taylor]: Taking taylor expansion of 0 in x 13.896 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow x 3)))) in x 13.896 * [taylor]: Taking taylor expansion of +nan.0 in x 13.896 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x 13.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 13.896 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.896 * [taylor]: Taking taylor expansion of x in x 13.904 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in (y x) around 0 13.905 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in x 13.905 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in x 13.905 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.905 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in x 13.905 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in x 13.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 13.905 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.905 * [taylor]: Taking taylor expansion of y in x 13.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 13.905 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.905 * [taylor]: Taking taylor expansion of y in x 13.905 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 13.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.905 * [taylor]: Taking taylor expansion of x in x 13.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.905 * [taylor]: Taking taylor expansion of x in x 13.912 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in y 13.912 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 13.912 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.912 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 13.912 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 13.912 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.913 * [taylor]: Taking taylor expansion of y in y 13.914 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.914 * [taylor]: Taking taylor expansion of y in y 13.915 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 13.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.915 * [taylor]: Taking taylor expansion of x in y 13.915 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.915 * [taylor]: Taking taylor expansion of x in y 13.931 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in y 13.931 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 13.931 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 13.931 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 13.931 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 13.931 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.931 * [taylor]: Taking taylor expansion of y in y 13.933 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 13.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.933 * [taylor]: Taking taylor expansion of y in y 13.934 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 13.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.934 * [taylor]: Taking taylor expansion of x in y 13.934 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.934 * [taylor]: Taking taylor expansion of x in y 13.952 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 1/4) in x 13.952 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0)))) in x 13.952 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0))) in x 13.952 * [taylor]: Taking taylor expansion of 1/4 in x 13.952 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) +nan.0)) in x 13.952 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.952 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.952 * [taylor]: Taking taylor expansion of x in x 13.952 * [taylor]: Taking taylor expansion of +nan.0 in x 13.953 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4)) in x 13.953 * [taylor]: Taking taylor expansion of +nan.0 in x 13.953 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4) in x 13.953 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 13.953 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 13.953 * [taylor]: Taking taylor expansion of 1/4 in x 13.953 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 13.953 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 13.954 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 13.954 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.954 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.954 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.954 * [taylor]: Taking taylor expansion of x in x 13.954 * [taylor]: Taking taylor expansion of +nan.0 in x 13.967 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 13.967 * [taylor]: Taking taylor expansion of -1/2 in x 13.967 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 13.968 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) in x 13.968 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.968 * [taylor]: Taking taylor expansion of +nan.0 in x 13.968 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.968 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.968 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.968 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.968 * [taylor]: Taking taylor expansion of x in x 13.968 * [taylor]: Taking taylor expansion of +nan.0 in x 13.971 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 13.971 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 13.971 * [taylor]: Taking taylor expansion of +nan.0 in x 13.971 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 13.971 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 13.971 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 13.971 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.971 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.971 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.971 * [taylor]: Taking taylor expansion of x in x 13.971 * [taylor]: Taking taylor expansion of +nan.0 in x 13.975 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 13.975 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 13.975 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.975 * [taylor]: Taking taylor expansion of 1/4 in x 13.975 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.975 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.975 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.975 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.975 * [taylor]: Taking taylor expansion of x in x 13.975 * [taylor]: Taking taylor expansion of +nan.0 in x 13.997 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 13.997 * [taylor]: Taking taylor expansion of -1/2 in x 13.997 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 13.997 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) in x 13.997 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 13.997 * [taylor]: Taking taylor expansion of +nan.0 in x 13.997 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 13.997 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 13.997 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 13.997 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.997 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.997 * [taylor]: Taking taylor expansion of x in x 13.998 * [taylor]: Taking taylor expansion of +nan.0 in x 14.000 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))))) in x 14.000 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))) in x 14.000 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.000 * [taylor]: Taking taylor expansion of +nan.0 in x 14.000 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.000 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.000 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.000 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.000 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.000 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.000 * [taylor]: Taking taylor expansion of x in x 14.001 * [taylor]: Taking taylor expansion of +nan.0 in x 14.004 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))) in x 14.005 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))) in x 14.005 * [taylor]: Taking taylor expansion of +nan.0 in x 14.005 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))) in x 14.005 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)) in x 14.005 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 5) in x 14.005 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.005 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.005 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.005 * [taylor]: Taking taylor expansion of x in x 14.005 * [taylor]: Taking taylor expansion of +nan.0 in x 14.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.009 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.009 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.009 * [taylor]: Taking taylor expansion of 1/4 in x 14.009 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.009 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.009 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.009 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.009 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.009 * [taylor]: Taking taylor expansion of x in x 14.010 * [taylor]: Taking taylor expansion of +nan.0 in x 14.028 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in (y x) around 0 14.028 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in x 14.028 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in x 14.028 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.028 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in x 14.028 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in x 14.028 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.028 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.028 * [taylor]: Taking taylor expansion of -1 in x 14.028 * [taylor]: Taking taylor expansion of y in x 14.028 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.028 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.028 * [taylor]: Taking taylor expansion of -1 in x 14.029 * [taylor]: Taking taylor expansion of y in x 14.029 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 14.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.029 * [taylor]: Taking taylor expansion of -1 in x 14.029 * [taylor]: Taking taylor expansion of x in x 14.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.029 * [taylor]: Taking taylor expansion of -1 in x 14.029 * [taylor]: Taking taylor expansion of x in x 14.033 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in y 14.033 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.033 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.033 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.033 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.033 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.033 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.033 * [taylor]: Taking taylor expansion of -1 in y 14.033 * [taylor]: Taking taylor expansion of y in y 14.035 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.035 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.035 * [taylor]: Taking taylor expansion of -1 in y 14.035 * [taylor]: Taking taylor expansion of y in y 14.036 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.036 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.036 * [taylor]: Taking taylor expansion of -1 in y 14.036 * [taylor]: Taking taylor expansion of x in y 14.036 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.036 * [taylor]: Taking taylor expansion of -1 in y 14.036 * [taylor]: Taking taylor expansion of x in y 14.052 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in y 14.052 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.053 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.053 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.053 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.053 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.053 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.053 * [taylor]: Taking taylor expansion of -1 in y 14.053 * [taylor]: Taking taylor expansion of y in y 14.054 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.054 * [taylor]: Taking taylor expansion of -1 in y 14.054 * [taylor]: Taking taylor expansion of y in y 14.056 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.056 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.056 * [taylor]: Taking taylor expansion of -1 in y 14.056 * [taylor]: Taking taylor expansion of x in y 14.056 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.056 * [taylor]: Taking taylor expansion of -1 in y 14.056 * [taylor]: Taking taylor expansion of x in y 14.076 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 1/4) in x 14.076 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0)))) in x 14.076 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0))) in x 14.076 * [taylor]: Taking taylor expansion of 1/4 in x 14.076 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) +nan.0)) in x 14.076 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.076 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.076 * [taylor]: Taking taylor expansion of x in x 14.077 * [taylor]: Taking taylor expansion of +nan.0 in x 14.077 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4)) in x 14.077 * [taylor]: Taking taylor expansion of +nan.0 in x 14.077 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4) in x 14.077 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.078 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.078 * [taylor]: Taking taylor expansion of 1/4 in x 14.078 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.078 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.078 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.078 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.078 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.078 * [taylor]: Taking taylor expansion of x in x 14.078 * [taylor]: Taking taylor expansion of +nan.0 in x 14.092 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.092 * [taylor]: Taking taylor expansion of -1/2 in x 14.092 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.092 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) in x 14.092 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.092 * [taylor]: Taking taylor expansion of +nan.0 in x 14.092 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.092 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.092 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.092 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.092 * [taylor]: Taking taylor expansion of x in x 14.093 * [taylor]: Taking taylor expansion of +nan.0 in x 14.095 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.095 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.095 * [taylor]: Taking taylor expansion of +nan.0 in x 14.095 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.095 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.095 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.095 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.095 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.095 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.095 * [taylor]: Taking taylor expansion of x in x 14.096 * [taylor]: Taking taylor expansion of +nan.0 in x 14.099 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.100 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.100 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.100 * [taylor]: Taking taylor expansion of 1/4 in x 14.100 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.100 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.100 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.100 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.100 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.100 * [taylor]: Taking taylor expansion of x in x 14.100 * [taylor]: Taking taylor expansion of +nan.0 in x 14.119 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.119 * [taylor]: Taking taylor expansion of -1/2 in x 14.119 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.119 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) in x 14.119 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.119 * [taylor]: Taking taylor expansion of +nan.0 in x 14.119 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.119 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.119 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.119 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.119 * [taylor]: Taking taylor expansion of x in x 14.120 * [taylor]: Taking taylor expansion of +nan.0 in x 14.122 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))))) in x 14.123 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))) in x 14.123 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.123 * [taylor]: Taking taylor expansion of +nan.0 in x 14.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.123 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.123 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.123 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.123 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.123 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.123 * [taylor]: Taking taylor expansion of x in x 14.123 * [taylor]: Taking taylor expansion of +nan.0 in x 14.127 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))) in x 14.127 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))) in x 14.127 * [taylor]: Taking taylor expansion of +nan.0 in x 14.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))) in x 14.127 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)) in x 14.127 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 5) in x 14.127 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.127 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.127 * [taylor]: Taking taylor expansion of x in x 14.127 * [taylor]: Taking taylor expansion of +nan.0 in x 14.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.132 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.132 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.132 * [taylor]: Taking taylor expansion of 1/4 in x 14.132 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.132 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.132 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.132 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.132 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.132 * [taylor]: Taking taylor expansion of x in x 14.132 * [taylor]: Taking taylor expansion of +nan.0 in x 14.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 14.150 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in (y x) around 0 14.150 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in x 14.150 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in x 14.150 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.150 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in x 14.150 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in x 14.150 * [taylor]: Taking taylor expansion of (sqrt y) in x 14.150 * [taylor]: Taking taylor expansion of y in x 14.150 * [taylor]: Taking taylor expansion of (sqrt y) in x 14.150 * [taylor]: Taking taylor expansion of y in x 14.150 * [taylor]: Taking taylor expansion of (* x x) in x 14.150 * [taylor]: Taking taylor expansion of x in x 14.150 * [taylor]: Taking taylor expansion of x in x 14.151 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in y 14.151 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 14.151 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.151 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 14.151 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 14.151 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.151 * [taylor]: Taking taylor expansion of y in y 14.152 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.152 * [taylor]: Taking taylor expansion of y in y 14.157 * [taylor]: Taking taylor expansion of (* x x) in y 14.157 * [taylor]: Taking taylor expansion of x in y 14.157 * [taylor]: Taking taylor expansion of x in y 14.158 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt y) x)) in y 14.159 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 14.159 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 14.159 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 14.159 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.159 * [taylor]: Taking taylor expansion of y in y 14.160 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.160 * [taylor]: Taking taylor expansion of y in y 14.161 * [taylor]: Taking taylor expansion of (* x x) in y 14.161 * [taylor]: Taking taylor expansion of x in y 14.161 * [taylor]: Taking taylor expansion of x in y 14.162 * [taylor]: Taking taylor expansion of (sqrt x) in x 14.162 * [taylor]: Taking taylor expansion of x in x 14.163 * [taylor]: Taking taylor expansion of 0 in x 14.170 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow x 3)))) in x 14.170 * [taylor]: Taking taylor expansion of +nan.0 in x 14.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow x 3))) in x 14.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 14.171 * [taylor]: Taking taylor expansion of (pow x 3) in x 14.171 * [taylor]: Taking taylor expansion of x in x 14.178 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in (y x) around 0 14.178 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in x 14.179 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in x 14.179 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.179 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in x 14.179 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in x 14.179 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 14.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.179 * [taylor]: Taking taylor expansion of y in x 14.179 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 14.179 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.179 * [taylor]: Taking taylor expansion of y in x 14.179 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 14.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.179 * [taylor]: Taking taylor expansion of x in x 14.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.179 * [taylor]: Taking taylor expansion of x in x 14.183 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in y 14.183 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 14.183 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.183 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 14.183 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 14.183 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.183 * [taylor]: Taking taylor expansion of y in y 14.184 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.184 * [taylor]: Taking taylor expansion of y in y 14.186 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 14.186 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.186 * [taylor]: Taking taylor expansion of x in y 14.186 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.186 * [taylor]: Taking taylor expansion of x in y 14.201 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ 1 y)) (/ 1 x))) in y 14.202 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 14.202 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.202 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 14.202 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 14.202 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.202 * [taylor]: Taking taylor expansion of y in y 14.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.203 * [taylor]: Taking taylor expansion of y in y 14.204 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 14.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.204 * [taylor]: Taking taylor expansion of x in y 14.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.204 * [taylor]: Taking taylor expansion of x in y 14.220 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 1/4) in x 14.221 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0)))) in x 14.221 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0))) in x 14.221 * [taylor]: Taking taylor expansion of 1/4 in x 14.221 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) +nan.0)) in x 14.221 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.221 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.221 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.221 * [taylor]: Taking taylor expansion of x in x 14.221 * [taylor]: Taking taylor expansion of +nan.0 in x 14.222 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4)) in x 14.222 * [taylor]: Taking taylor expansion of +nan.0 in x 14.222 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4) in x 14.222 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.222 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.222 * [taylor]: Taking taylor expansion of 1/4 in x 14.222 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.222 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.222 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.222 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.222 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.222 * [taylor]: Taking taylor expansion of x in x 14.223 * [taylor]: Taking taylor expansion of +nan.0 in x 14.239 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.239 * [taylor]: Taking taylor expansion of -1/2 in x 14.239 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.239 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) in x 14.239 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.239 * [taylor]: Taking taylor expansion of +nan.0 in x 14.239 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.239 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.239 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.239 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.239 * [taylor]: Taking taylor expansion of x in x 14.240 * [taylor]: Taking taylor expansion of +nan.0 in x 14.242 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.242 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.242 * [taylor]: Taking taylor expansion of +nan.0 in x 14.242 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.242 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.242 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.242 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.242 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.242 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.242 * [taylor]: Taking taylor expansion of x in x 14.243 * [taylor]: Taking taylor expansion of +nan.0 in x 14.246 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.246 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.246 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.246 * [taylor]: Taking taylor expansion of 1/4 in x 14.246 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.247 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.247 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.247 * [taylor]: Taking taylor expansion of x in x 14.247 * [taylor]: Taking taylor expansion of +nan.0 in x 14.265 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.265 * [taylor]: Taking taylor expansion of -1/2 in x 14.265 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.265 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) in x 14.265 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.265 * [taylor]: Taking taylor expansion of +nan.0 in x 14.265 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.265 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.265 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.265 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.265 * [taylor]: Taking taylor expansion of x in x 14.266 * [taylor]: Taking taylor expansion of +nan.0 in x 14.268 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))))) in x 14.268 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))) in x 14.268 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.268 * [taylor]: Taking taylor expansion of +nan.0 in x 14.268 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.268 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.268 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.268 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.269 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.269 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.269 * [taylor]: Taking taylor expansion of x in x 14.269 * [taylor]: Taking taylor expansion of +nan.0 in x 14.272 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))) in x 14.273 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))) in x 14.273 * [taylor]: Taking taylor expansion of +nan.0 in x 14.273 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))) in x 14.273 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)) in x 14.273 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 5) in x 14.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.273 * [taylor]: Taking taylor expansion of x in x 14.273 * [taylor]: Taking taylor expansion of +nan.0 in x 14.277 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.277 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.277 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.277 * [taylor]: Taking taylor expansion of 1/4 in x 14.277 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.277 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.277 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.277 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.277 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.277 * [taylor]: Taking taylor expansion of x in x 14.278 * [taylor]: Taking taylor expansion of +nan.0 in x 14.295 * [approximate]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in (y x) around 0 14.295 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in x 14.295 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in x 14.295 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.295 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in x 14.295 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in x 14.295 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.295 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.295 * [taylor]: Taking taylor expansion of -1 in x 14.295 * [taylor]: Taking taylor expansion of y in x 14.295 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.295 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.295 * [taylor]: Taking taylor expansion of -1 in x 14.295 * [taylor]: Taking taylor expansion of y in x 14.295 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 14.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.295 * [taylor]: Taking taylor expansion of -1 in x 14.295 * [taylor]: Taking taylor expansion of x in x 14.296 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.296 * [taylor]: Taking taylor expansion of -1 in x 14.296 * [taylor]: Taking taylor expansion of x in x 14.300 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in y 14.300 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.300 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.300 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.300 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.300 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.300 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.300 * [taylor]: Taking taylor expansion of -1 in y 14.300 * [taylor]: Taking taylor expansion of y in y 14.301 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.301 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.301 * [taylor]: Taking taylor expansion of -1 in y 14.301 * [taylor]: Taking taylor expansion of y in y 14.303 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.303 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.303 * [taylor]: Taking taylor expansion of -1 in y 14.303 * [taylor]: Taking taylor expansion of x in y 14.303 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.303 * [taylor]: Taking taylor expansion of -1 in y 14.303 * [taylor]: Taking taylor expansion of x in y 14.322 * [taylor]: Taking taylor expansion of (sqrt (hypot (sqrt (/ -1 y)) (/ -1 x))) in y 14.322 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.322 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.322 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.322 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.322 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.322 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.322 * [taylor]: Taking taylor expansion of -1 in y 14.322 * [taylor]: Taking taylor expansion of y in y 14.324 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.324 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.324 * [taylor]: Taking taylor expansion of -1 in y 14.324 * [taylor]: Taking taylor expansion of y in y 14.325 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.325 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.325 * [taylor]: Taking taylor expansion of -1 in y 14.325 * [taylor]: Taking taylor expansion of x in y 14.325 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.325 * [taylor]: Taking taylor expansion of -1 in y 14.325 * [taylor]: Taking taylor expansion of x in y 14.341 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 1/4) in x 14.341 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0)))) in x 14.341 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 (pow x 2)) +nan.0))) in x 14.341 * [taylor]: Taking taylor expansion of 1/4 in x 14.341 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) +nan.0)) in x 14.341 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.341 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.341 * [taylor]: Taking taylor expansion of x in x 14.342 * [taylor]: Taking taylor expansion of +nan.0 in x 14.342 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4)) in x 14.342 * [taylor]: Taking taylor expansion of +nan.0 in x 14.342 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) 1/4) in x 14.342 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.342 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.342 * [taylor]: Taking taylor expansion of 1/4 in x 14.342 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.342 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.342 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.343 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.343 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.343 * [taylor]: Taking taylor expansion of x in x 14.343 * [taylor]: Taking taylor expansion of +nan.0 in x 14.357 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.357 * [taylor]: Taking taylor expansion of -1/2 in x 14.357 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.357 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))))) in x 14.357 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.357 * [taylor]: Taking taylor expansion of +nan.0 in x 14.357 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.357 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.357 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.357 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.357 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.357 * [taylor]: Taking taylor expansion of x in x 14.357 * [taylor]: Taking taylor expansion of +nan.0 in x 14.360 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))))) in x 14.360 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.360 * [taylor]: Taking taylor expansion of +nan.0 in x 14.360 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.360 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.360 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.360 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.360 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.360 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.360 * [taylor]: Taking taylor expansion of x in x 14.360 * [taylor]: Taking taylor expansion of +nan.0 in x 14.364 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.364 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.364 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.364 * [taylor]: Taking taylor expansion of 1/4 in x 14.364 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.364 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.364 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.364 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.364 * [taylor]: Taking taylor expansion of x in x 14.364 * [taylor]: Taking taylor expansion of +nan.0 in x 14.383 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4))) in x 14.383 * [taylor]: Taking taylor expansion of -1/2 in x 14.383 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4)) in x 14.383 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))))) in x 14.383 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.383 * [taylor]: Taking taylor expansion of +nan.0 in x 14.383 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.383 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.383 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.383 * [taylor]: Taking taylor expansion of x in x 14.384 * [taylor]: Taking taylor expansion of +nan.0 in x 14.386 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))))) in x 14.386 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))))) in x 14.386 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)))) in x 14.386 * [taylor]: Taking taylor expansion of +nan.0 in x 14.386 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3))) in x 14.386 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 3)) in x 14.386 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 3) in x 14.386 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.386 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.386 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.386 * [taylor]: Taking taylor expansion of x in x 14.387 * [taylor]: Taking taylor expansion of +nan.0 in x 14.390 * [taylor]: Taking taylor expansion of (- (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))))) in x 14.390 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)))) in x 14.390 * [taylor]: Taking taylor expansion of +nan.0 in x 14.390 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5))) in x 14.390 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 5)) in x 14.390 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 5) in x 14.390 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.390 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.390 * [taylor]: Taking taylor expansion of x in x 14.391 * [taylor]: Taking taylor expansion of +nan.0 in x 14.395 * [taylor]: Taking taylor expansion of (pow (/ 1 (- (/ 1 (pow x 2)) +nan.0)) 1/4) in x 14.395 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.395 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.395 * [taylor]: Taking taylor expansion of 1/4 in x 14.395 * [taylor]: Taking taylor expansion of (log (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.395 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.395 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.395 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.395 * [taylor]: Taking taylor expansion of x in x 14.398 * [taylor]: Taking taylor expansion of +nan.0 in x 14.415 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 14.416 * [approximate]: Taking taylor expansion of (hypot (sqrt y) x) in (y x) around 0 14.416 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in x 14.416 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.416 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in x 14.416 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in x 14.416 * [taylor]: Taking taylor expansion of (sqrt y) in x 14.416 * [taylor]: Taking taylor expansion of y in x 14.416 * [taylor]: Taking taylor expansion of (sqrt y) in x 14.416 * [taylor]: Taking taylor expansion of y in x 14.416 * [taylor]: Taking taylor expansion of (* x x) in x 14.416 * [taylor]: Taking taylor expansion of x in x 14.416 * [taylor]: Taking taylor expansion of x in x 14.417 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 14.417 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.417 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 14.417 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 14.417 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.417 * [taylor]: Taking taylor expansion of y in y 14.418 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.418 * [taylor]: Taking taylor expansion of y in y 14.419 * [taylor]: Taking taylor expansion of (* x x) in y 14.419 * [taylor]: Taking taylor expansion of x in y 14.419 * [taylor]: Taking taylor expansion of x in y 14.420 * [taylor]: Taking taylor expansion of (hypot (sqrt y) x) in y 14.420 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt y) (sqrt y)) (* x x))) 14.420 * [taylor]: Taking taylor expansion of (+ (* (sqrt y) (sqrt y)) (* x x)) in y 14.420 * [taylor]: Taking taylor expansion of (* (sqrt y) (sqrt y)) in y 14.420 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.420 * [taylor]: Taking taylor expansion of y in y 14.421 * [taylor]: Taking taylor expansion of (sqrt y) in y 14.421 * [taylor]: Taking taylor expansion of y in y 14.422 * [taylor]: Taking taylor expansion of (* x x) in y 14.422 * [taylor]: Taking taylor expansion of x in y 14.422 * [taylor]: Taking taylor expansion of x in y 14.423 * [taylor]: Taking taylor expansion of x in x 14.423 * [taylor]: Taking taylor expansion of 0 in x 14.430 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 14.431 * [taylor]: Taking taylor expansion of +nan.0 in x 14.431 * [taylor]: Taking taylor expansion of x in x 14.439 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x 14.439 * [taylor]: Taking taylor expansion of +nan.0 in x 14.439 * [taylor]: Taking taylor expansion of x in x 14.440 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in (y x) around 0 14.440 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in x 14.440 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.440 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in x 14.441 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in x 14.441 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 14.441 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.441 * [taylor]: Taking taylor expansion of y in x 14.441 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 14.441 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.441 * [taylor]: Taking taylor expansion of y in x 14.441 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 14.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.441 * [taylor]: Taking taylor expansion of x in x 14.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.441 * [taylor]: Taking taylor expansion of x in x 14.444 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 14.444 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.444 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 14.444 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 14.444 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.444 * [taylor]: Taking taylor expansion of y in y 14.445 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.445 * [taylor]: Taking taylor expansion of y in y 14.447 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 14.447 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.447 * [taylor]: Taking taylor expansion of x in y 14.447 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.447 * [taylor]: Taking taylor expansion of x in y 14.462 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ 1 y)) (/ 1 x)) in y 14.462 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x)))) 14.462 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) (* (/ 1 x) (/ 1 x))) in y 14.462 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sqrt (/ 1 y))) in y 14.462 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.462 * [taylor]: Taking taylor expansion of y in y 14.464 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 14.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.464 * [taylor]: Taking taylor expansion of y in y 14.465 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 14.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.465 * [taylor]: Taking taylor expansion of x in y 14.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.465 * [taylor]: Taking taylor expansion of x in y 14.484 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 14.484 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.484 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.484 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.484 * [taylor]: Taking taylor expansion of x in x 14.484 * [taylor]: Taking taylor expansion of +nan.0 in x 14.486 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.486 * [taylor]: Taking taylor expansion of +nan.0 in x 14.486 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.486 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.486 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.486 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.486 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.486 * [taylor]: Taking taylor expansion of x in x 14.487 * [taylor]: Taking taylor expansion of +nan.0 in x 14.500 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 14.500 * [taylor]: Taking taylor expansion of -1/2 in x 14.500 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 14.500 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.500 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.500 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.500 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.500 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.500 * [taylor]: Taking taylor expansion of x in x 14.501 * [taylor]: Taking taylor expansion of +nan.0 in x 14.503 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 14.503 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.503 * [taylor]: Taking taylor expansion of +nan.0 in x 14.503 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.503 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.503 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.503 * [taylor]: Taking taylor expansion of x in x 14.504 * [taylor]: Taking taylor expansion of +nan.0 in x 14.504 * [taylor]: Taking taylor expansion of (- +nan.0) in x 14.504 * [taylor]: Taking taylor expansion of +nan.0 in x 14.520 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.520 * [taylor]: Taking taylor expansion of -1/2 in x 14.520 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.520 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 14.520 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 14.520 * [taylor]: Taking taylor expansion of +nan.0 in x 14.520 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 14.520 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 14.520 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.520 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.520 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.520 * [taylor]: Taking taylor expansion of x in x 14.521 * [taylor]: Taking taylor expansion of +nan.0 in x 14.522 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 14.522 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 14.522 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.522 * [taylor]: Taking taylor expansion of +nan.0 in x 14.522 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.522 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.522 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.522 * [taylor]: Taking taylor expansion of x in x 14.522 * [taylor]: Taking taylor expansion of +nan.0 in x 14.523 * [taylor]: Taking taylor expansion of (- +nan.0) in x 14.523 * [taylor]: Taking taylor expansion of +nan.0 in x 14.523 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.523 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.523 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.523 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.523 * [taylor]: Taking taylor expansion of x in x 14.523 * [taylor]: Taking taylor expansion of +nan.0 in x 14.526 * [approximate]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in (y x) around 0 14.526 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in x 14.526 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.526 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in x 14.526 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in x 14.526 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.526 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.526 * [taylor]: Taking taylor expansion of -1 in x 14.527 * [taylor]: Taking taylor expansion of y in x 14.527 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 14.527 * [taylor]: Taking taylor expansion of (/ -1 y) in x 14.527 * [taylor]: Taking taylor expansion of -1 in x 14.527 * [taylor]: Taking taylor expansion of y in x 14.527 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 14.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.527 * [taylor]: Taking taylor expansion of -1 in x 14.527 * [taylor]: Taking taylor expansion of x in x 14.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 14.527 * [taylor]: Taking taylor expansion of -1 in x 14.527 * [taylor]: Taking taylor expansion of x in x 14.530 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.530 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.530 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.530 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.530 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.530 * [taylor]: Taking taylor expansion of -1 in y 14.530 * [taylor]: Taking taylor expansion of y in y 14.532 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.532 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.532 * [taylor]: Taking taylor expansion of -1 in y 14.532 * [taylor]: Taking taylor expansion of y in y 14.533 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.533 * [taylor]: Taking taylor expansion of -1 in y 14.533 * [taylor]: Taking taylor expansion of x in y 14.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.533 * [taylor]: Taking taylor expansion of -1 in y 14.533 * [taylor]: Taking taylor expansion of x in y 14.549 * [taylor]: Taking taylor expansion of (hypot (sqrt (/ -1 y)) (/ -1 x)) in y 14.549 * [taylor]: Rewrote expression to (sqrt (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x)))) 14.549 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) (* (/ -1 x) (/ -1 x))) in y 14.549 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) in y 14.550 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.550 * [taylor]: Taking taylor expansion of -1 in y 14.550 * [taylor]: Taking taylor expansion of y in y 14.551 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 14.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.551 * [taylor]: Taking taylor expansion of -1 in y 14.551 * [taylor]: Taking taylor expansion of y in y 14.552 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 14.552 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.552 * [taylor]: Taking taylor expansion of -1 in y 14.552 * [taylor]: Taking taylor expansion of x in y 14.552 * [taylor]: Taking taylor expansion of (/ -1 x) in y 14.552 * [taylor]: Taking taylor expansion of -1 in y 14.552 * [taylor]: Taking taylor expansion of x in y 14.571 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) +nan.0)) in x 14.571 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.571 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.571 * [taylor]: Taking taylor expansion of x in x 14.572 * [taylor]: Taking taylor expansion of +nan.0 in x 14.574 * [taylor]: Taking taylor expansion of (* +nan.0 (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.574 * [taylor]: Taking taylor expansion of +nan.0 in x 14.574 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.574 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.574 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.574 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.574 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.574 * [taylor]: Taking taylor expansion of x in x 14.574 * [taylor]: Taking taylor expansion of +nan.0 in x 14.588 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 14.588 * [taylor]: Taking taylor expansion of -1/2 in x 14.588 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 14.588 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.588 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.588 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.588 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.588 * [taylor]: Taking taylor expansion of x in x 14.589 * [taylor]: Taking taylor expansion of +nan.0 in x 14.591 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 14.591 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.591 * [taylor]: Taking taylor expansion of +nan.0 in x 14.591 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.591 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.591 * [taylor]: Taking taylor expansion of x in x 14.592 * [taylor]: Taking taylor expansion of +nan.0 in x 14.592 * [taylor]: Taking taylor expansion of (- +nan.0) in x 14.592 * [taylor]: Taking taylor expansion of +nan.0 in x 14.608 * [taylor]: Taking taylor expansion of (* -1/2 (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))))) in x 14.608 * [taylor]: Taking taylor expansion of -1/2 in x 14.608 * [taylor]: Taking taylor expansion of (* (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0)))) in x 14.608 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)))) in x 14.608 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2))) in x 14.608 * [taylor]: Taking taylor expansion of +nan.0 in x 14.608 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 (pow x 2)) +nan.0) 2)) in x 14.608 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) +nan.0) 2) in x 14.608 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.608 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.608 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.608 * [taylor]: Taking taylor expansion of x in x 14.609 * [taylor]: Taking taylor expansion of +nan.0 in x 14.609 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0))) in x 14.610 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) (- +nan.0)) in x 14.610 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.610 * [taylor]: Taking taylor expansion of +nan.0 in x 14.610 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.610 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.610 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.610 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.610 * [taylor]: Taking taylor expansion of x in x 14.610 * [taylor]: Taking taylor expansion of +nan.0 in x 14.611 * [taylor]: Taking taylor expansion of (- +nan.0) in x 14.611 * [taylor]: Taking taylor expansion of +nan.0 in x 14.611 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (/ 1 (pow x 2)) +nan.0))) in x 14.611 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (pow x 2)) +nan.0)) in x 14.611 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) +nan.0) in x 14.611 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 14.611 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.611 * [taylor]: Taking taylor expansion of x in x 14.611 * [taylor]: Taking taylor expansion of +nan.0 in x 14.614 * * * [progress]: simplifying candidates 14.615 * [simplify]: Simplifying using # : (expm1 (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (log1p (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (+ 1 1) (+ (log (sqrt (hypot (sqrt y) x))) (log (sqrt (hypot (sqrt y) x)))) (log (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (exp (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (* (* (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x)))) (* (cbrt (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (cbrt (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))))) (cbrt (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (* (* (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (sqrt (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (sqrt (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)))) (* (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x))))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x)))) (sqrt (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))))) (* (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (cbrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* 1 1) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (hypot (sqrt y) x)) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x))))) (* (sqrt (hypot (sqrt y) x)) (sqrt (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))))) (* (sqrt (hypot (sqrt y) x)) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (hypot (sqrt y) x)) (sqrt 1)) (* (sqrt (hypot (sqrt y) x)) (sqrt (sqrt (hypot (sqrt y) x)))) (* (sqrt (hypot (sqrt y) x)) 1) (* (cbrt (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (* (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (expm1 (sqrt (hypot (sqrt y) x))) (log1p (sqrt (hypot (sqrt y) x))) (log (sqrt (hypot (sqrt y) x))) (exp (sqrt (hypot (sqrt y) x))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (cbrt (sqrt (hypot (sqrt y) x))) (* (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (sqrt (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x)))) (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt 1) (sqrt (hypot (sqrt y) x)) (/ 1 2) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (expm1 (sqrt (hypot (sqrt y) x))) (log1p (sqrt (hypot (sqrt y) x))) (log (sqrt (hypot (sqrt y) x))) (exp (sqrt (hypot (sqrt y) x))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (cbrt (sqrt (hypot (sqrt y) x))) (* (* (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (sqrt (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x)))) (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt 1) (sqrt (hypot (sqrt y) x)) (/ 1 2) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) (+ (* (sqrt y) (sqrt y)) (* x x)) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (* (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) x (- x (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))) (- (+ x (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (pow y 2))))))) (- (pow (/ 1 x) -1/2) (+ (* +nan.0 (sqrt (/ 1 (pow x 3)))) (- (* +nan.0 (* (sqrt (/ 1 (pow x 3))) (/ 1 y)))))) (- (pow (/ -1 x) -1/2) (+ (* +nan.0 (/ (sqrt (pow (/ -1 x) 3)) y)) (- (* +nan.0 (/ (sqrt (* -1 x)) (pow x 2)))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (pow y 2))))))) (- (pow (/ 1 x) -1/2) (+ (* +nan.0 (sqrt (/ 1 (pow x 3)))) (- (* +nan.0 (* (sqrt (/ 1 (pow x 3))) (/ 1 y)))))) (- (pow (/ -1 x) -1/2) (+ (* +nan.0 (/ (sqrt (pow (/ -1 x) 3)) y)) (- (* +nan.0 (/ (sqrt (* -1 x)) (pow x 2)))))) x (- x (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))) (- (+ x (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (* x y)))))))) 14.619 * * [simplify]: iteration 0 : 114 enodes (cost 1240 ) 14.647 * * [simplify]: iteration 1 : 249 enodes (cost 847 ) 14.712 * * [simplify]: iteration 2 : 903 enodes (cost 754 ) 15.103 * * [simplify]: iteration done : 5000 enodes (cost 738 ) 15.104 * [simplify]: Simplified to: (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) 1 1 2 1 1 (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (hypot (sqrt y) x) (* (hypot (sqrt y) x) (hypot (sqrt y) x)) 2 (log (hypot (sqrt y) x)) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (pow (hypot (sqrt y) x) 3) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (pow (hypot (sqrt y) x) 3) (* (hypot (sqrt y) x) (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (* (cbrt (sqrt (hypot (sqrt y) x))) (pow (cbrt (sqrt (hypot (sqrt y) x))) 3)) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) 1 (hypot (sqrt y) x) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) 1 (hypot (sqrt y) x) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) 1 2 1 (* (sqrt (hypot (sqrt y) x)) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x))))) (* (fabs (cbrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (pow (sqrt (sqrt (hypot (sqrt y) x))) 3) (sqrt (hypot (sqrt y) x)) (pow (sqrt (sqrt (hypot (sqrt y) x))) 3) (sqrt (hypot (sqrt y) x)) (* (cbrt (sqrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (* (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (hypot (sqrt y) x))) (pow (sqrt (sqrt (hypot (sqrt y) x))) 3) (hypot (sqrt y) x) (pow (sqrt (sqrt (hypot (sqrt y) x))) 3) (hypot (sqrt y) x) (expm1 (sqrt (hypot (sqrt y) x))) (log1p (sqrt (hypot (sqrt y) x))) (log (sqrt (hypot (sqrt y) x))) (exp (sqrt (hypot (sqrt y) x))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (cbrt (sqrt (hypot (sqrt y) x))) (pow (sqrt (hypot (sqrt y) x)) 3) (fabs (cbrt (hypot (sqrt y) x))) (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) 1 (sqrt (hypot (sqrt y) x)) 1/2 (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (expm1 (sqrt (hypot (sqrt y) x))) (log1p (sqrt (hypot (sqrt y) x))) (log (sqrt (hypot (sqrt y) x))) (exp (sqrt (hypot (sqrt y) x))) (* (cbrt (sqrt (hypot (sqrt y) x))) (cbrt (sqrt (hypot (sqrt y) x)))) (cbrt (sqrt (hypot (sqrt y) x))) (pow (sqrt (hypot (sqrt y) x)) 3) (fabs (cbrt (hypot (sqrt y) x))) (sqrt (cbrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) 1 (sqrt (hypot (sqrt y) x)) 1/2 (sqrt (sqrt (hypot (sqrt y) x))) (sqrt (sqrt (hypot (sqrt y) x))) (expm1 (hypot (sqrt y) x)) (log1p (hypot (sqrt y) x)) (fma x x y) (log (hypot (sqrt y) x)) (exp (hypot (sqrt y) x)) (* (cbrt (hypot (sqrt y) x)) (cbrt (hypot (sqrt y) x))) (cbrt (hypot (sqrt y) x)) (pow (hypot (sqrt y) x) 3) (sqrt (hypot (sqrt y) x)) (sqrt (hypot (sqrt y) x)) x (+ (- x (/ +nan.0 x)) (/ (/ +nan.0 x) y)) (- (- (/ +nan.0 x) (/ (/ +nan.0 x) y)) x) (* +nan.0 (+ (- x (pow y 2)) (- (* x x)))) (- (pow (/ 1 x) -1/2) (* (sqrt (/ 1 (pow x 3))) (- +nan.0 (/ +nan.0 y)))) (- (pow (/ -1 x) -1/2) (* +nan.0 (- (/ (sqrt (pow (/ -1 x) 3)) y) (/ (sqrt (- x)) (* x x))))) (* +nan.0 (+ (- x (pow y 2)) (- (* x x)))) (- (pow (/ 1 x) -1/2) (* (sqrt (/ 1 (pow x 3))) (- +nan.0 (/ +nan.0 y)))) (- (pow (/ -1 x) -1/2) (* +nan.0 (- (/ (sqrt (pow (/ -1 x) 3)) y) (/ (sqrt (- x)) (* x x))))) x (+ (- x (/ +nan.0 x)) (/ (/ +nan.0 x) y)) (- (- (/ +nan.0 x) (/ (/ +nan.0 x) y)) x) 15.104 * * * [progress]: adding candidates to table 15.295 * * [progress]: iteration 4 / 4 15.295 * * * [progress]: picking best candidate 15.297 * * * * [pick]: Picked # 15.297 * * * [progress]: localizing error 15.299 * * * [progress]: generating rewritten candidates 15.299 * * * [progress]: generating series expansions 15.299 * * * [progress]: simplifying candidates 15.299 * [simplify]: Simplifying using # : 15.300 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 15.300 * * [simplify]: iteration done : 0 enodes (cost 0 ) 15.300 * [simplify]: Simplified to: 15.300 * * * [progress]: adding candidates to table 15.300 * [progress]: [Phase 3 of 3] Extracting. 15.300 * * [regime]: Finding splitpoints for: (# # # # #) 15.301 * * * [regime-changes]: Trying 2 branch expressions: (y x) 15.301 * * * * [regimes]: Trying to branch on y from (# # # # #) 15.334 * * * * [regimes]: Trying to branch on x from (# # # # #) 15.363 * * * [regime]: Found split indices: #