2.520 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))) 0.029 * [simplify]: Sending expressions to egg_math: (* h0 (sqrt (* h1 (- (sqrt (+ (* h2 h2) (* h3 h3))) h2)))) 0.031 * * [simplify]: iteration 0 : 19 enodes (cost 8 ) 0.032 * * [simplify]: iteration 1 : 28 enodes (cost 8 ) 0.034 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 0.035 * * [simplify]: iteration 3 : 44 enodes (cost 8 ) 0.036 * * [simplify]: iteration 4 : 46 enodes (cost 8 ) 0.038 * * [simplify]: iteration 5 : 46 enodes (cost 8 ) 0.038 * [simplify]: Simplified to: (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))) 0.038 * * [progress]: iteration 1 / 4 0.038 * * * [progress]: picking best candidate 0.040 * * * * [pick]: Picked # 0.040 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 2 1) 0.059 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 2) 0.109 * * * [progress]: generating series expansions 0.110 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 2 1) 0.110 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.110 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.110 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.110 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.110 * [taylor]: Taking taylor expansion of re in im 0.110 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.110 * [taylor]: Taking taylor expansion of im in im 0.112 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.112 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.112 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.112 * [taylor]: Taking taylor expansion of re in re 0.112 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.112 * [taylor]: Taking taylor expansion of im in re 0.112 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.112 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.112 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.112 * [taylor]: Taking taylor expansion of re in re 0.113 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.113 * [taylor]: Taking taylor expansion of im in re 0.113 * [taylor]: Taking taylor expansion of im in im 0.113 * [taylor]: Taking taylor expansion of 0 in im 0.115 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.115 * [taylor]: Taking taylor expansion of 1/2 in im 0.115 * [taylor]: Taking taylor expansion of im in im 0.116 * [taylor]: Taking taylor expansion of 0 in im 0.117 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.117 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.117 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.117 * [taylor]: Taking taylor expansion of im in im 0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.118 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.118 * [taylor]: Taking taylor expansion of re in im 0.120 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.120 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.120 * [taylor]: Taking taylor expansion of im in re 0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.120 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.120 * [taylor]: Taking taylor expansion of re in re 0.122 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.122 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.122 * [taylor]: Taking taylor expansion of im in re 0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.122 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.122 * [taylor]: Taking taylor expansion of re in re 0.124 * [taylor]: Taking taylor expansion of 1 in im 0.124 * [taylor]: Taking taylor expansion of 0 in im 0.126 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.126 * [taylor]: Taking taylor expansion of 1/2 in im 0.126 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.126 * [taylor]: Taking taylor expansion of im in im 0.129 * [taylor]: Taking taylor expansion of 0 in im 0.131 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.131 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.131 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.131 * [taylor]: Taking taylor expansion of im in im 0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.131 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.131 * [taylor]: Taking taylor expansion of re in im 0.133 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.133 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.133 * [taylor]: Taking taylor expansion of im in re 0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.133 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.133 * [taylor]: Taking taylor expansion of re in re 0.135 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.135 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.135 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.135 * [taylor]: Taking taylor expansion of im in re 0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.136 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.136 * [taylor]: Taking taylor expansion of re in re 0.138 * [taylor]: Taking taylor expansion of 1 in im 0.138 * [taylor]: Taking taylor expansion of 0 in im 0.140 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.140 * [taylor]: Taking taylor expansion of 1/2 in im 0.140 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.140 * [taylor]: Taking taylor expansion of im in im 0.143 * [taylor]: Taking taylor expansion of 0 in im 0.144 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 2) 0.144 * [approximate]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in (re im) around 0 0.144 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in im 0.144 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.144 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.144 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.144 * [taylor]: Taking taylor expansion of re in im 0.144 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.144 * [taylor]: Taking taylor expansion of im in im 0.145 * [taylor]: Taking taylor expansion of re in im 0.145 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re 0.145 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.145 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.145 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.145 * [taylor]: Taking taylor expansion of re in re 0.145 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.145 * [taylor]: Taking taylor expansion of im in re 0.145 * [taylor]: Taking taylor expansion of re in re 0.145 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re 0.145 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.145 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.145 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.145 * [taylor]: Taking taylor expansion of re in re 0.145 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.145 * [taylor]: Taking taylor expansion of im in re 0.146 * [taylor]: Taking taylor expansion of re in re 0.146 * [taylor]: Taking taylor expansion of im in im 0.147 * [taylor]: Taking taylor expansion of -1 in im 0.148 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 0.148 * [taylor]: Taking taylor expansion of 1/2 in im 0.148 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.148 * [taylor]: Taking taylor expansion of im in im 0.150 * [taylor]: Taking taylor expansion of 0 in im 0.152 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in (re im) around 0 0.152 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in im 0.152 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.152 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.152 * [taylor]: Taking taylor expansion of im in im 0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.152 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.152 * [taylor]: Taking taylor expansion of re in im 0.154 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.154 * [taylor]: Taking taylor expansion of re in im 0.154 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re 0.154 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.154 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.154 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.154 * [taylor]: Taking taylor expansion of im in re 0.154 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.155 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.155 * [taylor]: Taking taylor expansion of re in re 0.157 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.157 * [taylor]: Taking taylor expansion of re in re 0.157 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re 0.157 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.157 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.157 * [taylor]: Taking taylor expansion of im in re 0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.157 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.157 * [taylor]: Taking taylor expansion of re in re 0.159 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.159 * [taylor]: Taking taylor expansion of re in re 0.160 * [taylor]: Taking taylor expansion of 0 in im 0.161 * [taylor]: Taking taylor expansion of 0 in im 0.164 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.164 * [taylor]: Taking taylor expansion of 1/2 in im 0.164 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.164 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.164 * [taylor]: Taking taylor expansion of im in im 0.171 * [taylor]: Taking taylor expansion of 0 in im 0.173 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.173 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.173 * [taylor]: Taking taylor expansion of re in im 0.173 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.173 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.173 * [taylor]: Taking taylor expansion of im in im 0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.173 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.173 * [taylor]: Taking taylor expansion of re in im 0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.175 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.175 * [taylor]: Taking taylor expansion of re in re 0.175 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.176 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.176 * [taylor]: Taking taylor expansion of im in re 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.176 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.176 * [taylor]: Taking taylor expansion of re in re 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.178 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.178 * [taylor]: Taking taylor expansion of re in re 0.178 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.178 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.178 * [taylor]: Taking taylor expansion of im in re 0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.178 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.178 * [taylor]: Taking taylor expansion of re in re 0.181 * [taylor]: Taking taylor expansion of 2 in im 0.181 * [taylor]: Taking taylor expansion of 0 in im 0.184 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.184 * [taylor]: Taking taylor expansion of 1/2 in im 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.184 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.184 * [taylor]: Taking taylor expansion of im in im 0.188 * [taylor]: Taking taylor expansion of 0 in im 0.190 * * * [progress]: simplifying candidates 0.191 * [simplify]: Simplifying using # : (expm1 (sqrt (+ (* re re) (* im im)))) (log1p (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt 1) (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (/ 1 2) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (fma (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt 1) (sqrt (+ (* re re) (* im im))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt 1) (sqrt (+ (* re re) (* im im))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt 1) (sqrt (+ (* re re) (* im im))) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma 1 (sqrt (+ (* re re) (* im im))) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma 1 (sqrt (+ (* re re) (* im im))) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma 1 (sqrt (+ (* re re) (* im im))) (- (* re 1))) (fma (- re) 1 (* re 1)) (expm1 (- (sqrt (+ (* re re) (* im im))) re)) (log1p (- (sqrt (+ (* re re) (* im im))) re)) (- re) (- re) (- re) (- re) (- re) (- re) (/ (exp (sqrt (+ (* re re) (* im im)))) (exp re)) (log (- (sqrt (+ (* re re) (* im im))) re)) (exp (- (sqrt (+ (* re re) (* im im))) re)) (* (cbrt (- (sqrt (+ (* re re) (* im im))) re)) (cbrt (- (sqrt (+ (* re re) (* im im))) re))) (cbrt (- (sqrt (+ (* re re) (* im im))) re)) (* (* (- (sqrt (+ (* re re) (* im im))) re) (- (sqrt (+ (* re re) (* im im))) re)) (- (sqrt (+ (* re re) (* im im))) re)) (sqrt (- (sqrt (+ (* re re) (* im im))) re)) (sqrt (- (sqrt (+ (* re re) (* im im))) re)) (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3)) (+ (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (+ (* re re) (* (sqrt (+ (* re re) (* im im))) re))) (- re) (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re)) (+ (sqrt (+ (* re re) (* im im))) re) (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (sqrt (+ (* re re) (* im im))) re) (- re) im re (* -1 re) (- im re) 0 (* -2 re) 0.191 * [simplify]: Sending expressions to egg_math: (expm1 (sqrt (+ (* h0 h0) (* h1 h1)))) (log1p (sqrt (+ (* h0 h0) (* h1 h1)))) (log (sqrt (+ (* h0 h0) (* h1 h1)))) (exp (sqrt (+ (* h0 h0) (* h1 h1)))) (* (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1))))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (* (* (sqrt (+ (* h0 h0) (* h1 h1))) (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (* (cbrt (+ (* h0 h0) (* h1 h1))) (cbrt (+ (* h0 h0) (* h1 h1))))) (sqrt (cbrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt 1) (sqrt (+ (* h0 h0) (* h1 h1))) (sqrt (+ (pow (* h0 h0) 3) (pow (* h1 h1) 3))) (sqrt (+ (* (* h0 h0) (* h0 h0)) (- (* (* h1 h1) (* h1 h1)) (* (* h0 h0) (* h1 h1))))) (sqrt (- (* (* h0 h0) (* h0 h0)) (* (* h1 h1) (* h1 h1)))) (sqrt (- (* h0 h0) (* h1 h1))) (/ 1 2) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (fma (* (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1))))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (* (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1))))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (* (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1))))) (cbrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (* (cbrt (+ (* h0 h0) (* h1 h1))) (cbrt (+ (* h0 h0) (* h1 h1))))) (sqrt (cbrt (+ (* h0 h0) (* h1 h1)))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (* (cbrt (+ (* h0 h0) (* h1 h1))) (cbrt (+ (* h0 h0) (* h1 h1))))) (sqrt (cbrt (+ (* h0 h0) (* h1 h1)))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (* (cbrt (+ (* h0 h0) (* h1 h1))) (cbrt (+ (* h0 h0) (* h1 h1))))) (sqrt (cbrt (+ (* h0 h0) (* h1 h1)))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt 1) (sqrt (+ (* h0 h0) (* h1 h1))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt 1) (sqrt (+ (* h0 h0) (* h1 h1))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt 1) (sqrt (+ (* h0 h0) (* h1 h1))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma 1 (sqrt (+ (* h0 h0) (* h1 h1))) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma 1 (sqrt (+ (* h0 h0) (* h1 h1))) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma 1 (sqrt (+ (* h0 h0) (* h1 h1))) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (expm1 (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (log1p (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (- h0) (- h0) (- h0) (- h0) (- h0) (- h0) (/ (exp (sqrt (+ (* h0 h0) (* h1 h1)))) (exp h0)) (log (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (exp (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (* (cbrt (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (cbrt (- (sqrt (+ (* h0 h0) (* h1 h1))) h0))) (cbrt (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (* (* (- (sqrt (+ (* h0 h0) (* h1 h1))) h0) (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (sqrt (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (sqrt (- (sqrt (+ (* h0 h0) (* h1 h1))) h0)) (- (pow (sqrt (+ (* h0 h0) (* h1 h1))) 3) (pow h0 3)) (+ (* (sqrt (+ (* h0 h0) (* h1 h1))) (sqrt (+ (* h0 h0) (* h1 h1)))) (+ (* h0 h0) (* (sqrt (+ (* h0 h0) (* h1 h1))) h0))) (- h0) (- (* (sqrt (+ (* h0 h0) (* h1 h1))) (sqrt (+ (* h0 h0) (* h1 h1)))) (* h0 h0)) (+ (sqrt (+ (* h0 h0) (* h1 h1))) h0) (+ (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt h0)) (- (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt h0)) (+ (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt h0)) (- (sqrt (sqrt (+ (* h0 h0) (* h1 h1)))) (sqrt h0)) (- (sqrt (+ (* h0 h0) (* h1 h1))) h0) (- h0) h1 h0 (* -1 h0) (- h1 h0) 0 (* -2 h0) 0.195 * * [simplify]: iteration 0 : 211 enodes (cost 590 ) 0.199 * * [simplify]: iteration 1 : 687 enodes (cost 366 ) 0.216 * * [simplify]: iteration 2 : 3279 enodes (cost 321 ) 0.292 * * [simplify]: iteration 3 : 5001 enodes (cost 295 ) 0.294 * [simplify]: Simplified to: (expm1 (sqrt (+ (* re re) (* im im)))) (log1p (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (pow (exp 1) (hypot re im)) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (hypot re im) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (hypot re im) (hypot (pow im 3) (pow re 3)) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) 1/2 (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (fma (- (sqrt re)) (sqrt re) (pow (cbrt (sqrt (+ (* re re) (* im im)))) 3)) 0 (fma (- (sqrt re)) (sqrt re) (pow (cbrt (sqrt (+ (* re re) (* im im)))) 3)) 0 (fma (- (sqrt re)) (sqrt re) (pow (cbrt (sqrt (+ (* re re) (* im im)))) 3)) 0 (fma (sqrt (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im)))) (* -1 re)) 0 (fma (sqrt (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im)))) (* -1 re)) 0 (fma (sqrt (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im)))) (* -1 re)) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (expm1 (- (sqrt (+ (* re re) (* im im))) re)) (log1p (- (sqrt (+ (* re re) (* im im))) re)) (* -1 re) (* -1 re) (* -1 re) (* -1 re) (* -1 re) (* -1 re) (exp (- (hypot re im) re)) (log (- (sqrt (+ (* re re) (* im im))) re)) (exp (- (hypot re im) re)) (* (cbrt (- (sqrt (+ (* re re) (* im im))) re)) (cbrt (- (sqrt (+ (* re re) (* im im))) re))) (cbrt (- (sqrt (+ (* re re) (* im im))) re)) (pow (- (hypot re im) re) 3) (sqrt (- (sqrt (+ (* re re) (* im im))) re)) (sqrt (- (sqrt (+ (* re re) (* im im))) re)) (fma -1 (pow re 3) (pow (hypot re im) 3)) (fma re (+ re (hypot re im)) (fma re re (* im im))) (* -1 re) (fma im im 0) (+ re (hypot re im)) (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re)) (- (hypot re im) re) (* -1 re) im re (* -1 re) (- im re) 0 (* -2 re) 0.295 * * * [progress]: adding candidates to table 0.422 * * [progress]: iteration 2 / 4 0.422 * * * [progress]: picking best candidate 0.434 * * * * [pick]: Picked # 0.434 * * * [progress]: localizing error 0.443 * * * [progress]: generating rewritten candidates 0.444 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1 2 1) 0.453 * * * [progress]: generating series expansions 0.453 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1 2 1) 0.453 * [approximate]: Taking taylor expansion of (- (hypot re im) re) in (re im) around 0 0.453 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in im 0.453 * [taylor]: Taking taylor expansion of (hypot re im) in im 0.454 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.455 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 0.455 * [taylor]: Taking taylor expansion of (* re re) in im 0.455 * [taylor]: Taking taylor expansion of re in im 0.455 * [taylor]: Taking taylor expansion of re in im 0.455 * [taylor]: Taking taylor expansion of (* im im) in im 0.455 * [taylor]: Taking taylor expansion of im in im 0.455 * [taylor]: Taking taylor expansion of im in im 0.456 * [taylor]: Taking taylor expansion of re in im 0.456 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.456 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.456 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.456 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.456 * [taylor]: Taking taylor expansion of (* re re) in re 0.456 * [taylor]: Taking taylor expansion of re in re 0.456 * [taylor]: Taking taylor expansion of re in re 0.456 * [taylor]: Taking taylor expansion of (* im im) in re 0.456 * [taylor]: Taking taylor expansion of im in re 0.456 * [taylor]: Taking taylor expansion of im in re 0.457 * [taylor]: Taking taylor expansion of re in re 0.457 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.457 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.457 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.457 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.457 * [taylor]: Taking taylor expansion of (* re re) in re 0.457 * [taylor]: Taking taylor expansion of re in re 0.458 * [taylor]: Taking taylor expansion of re in re 0.458 * [taylor]: Taking taylor expansion of (* im im) in re 0.458 * [taylor]: Taking taylor expansion of im in re 0.458 * [taylor]: Taking taylor expansion of im in re 0.459 * [taylor]: Taking taylor expansion of re in re 0.459 * [taylor]: Taking taylor expansion of im in im 0.459 * [taylor]: Taking taylor expansion of -1 in im 0.461 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 0.461 * [taylor]: Taking taylor expansion of 1/2 in im 0.461 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.461 * [taylor]: Taking taylor expansion of im in im 0.464 * [taylor]: Taking taylor expansion of 0 in im 0.465 * [approximate]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in (re im) around 0 0.465 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in im 0.465 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 0.465 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.465 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 0.465 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.465 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.465 * [taylor]: Taking taylor expansion of re in im 0.465 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.465 * [taylor]: Taking taylor expansion of re in im 0.465 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.465 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.465 * [taylor]: Taking taylor expansion of im in im 0.465 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.465 * [taylor]: Taking taylor expansion of im in im 0.468 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.468 * [taylor]: Taking taylor expansion of re in im 0.468 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.468 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.468 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.468 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.468 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.468 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.468 * [taylor]: Taking taylor expansion of re in re 0.468 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.468 * [taylor]: Taking taylor expansion of re in re 0.469 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.469 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.469 * [taylor]: Taking taylor expansion of im in re 0.469 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.469 * [taylor]: Taking taylor expansion of im in re 0.471 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.471 * [taylor]: Taking taylor expansion of re in re 0.471 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.471 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.471 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.471 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.472 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.472 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.472 * [taylor]: Taking taylor expansion of re in re 0.472 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.472 * [taylor]: Taking taylor expansion of re in re 0.472 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.472 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.472 * [taylor]: Taking taylor expansion of im in re 0.472 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.472 * [taylor]: Taking taylor expansion of im in re 0.474 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.474 * [taylor]: Taking taylor expansion of re in re 0.475 * [taylor]: Taking taylor expansion of 0 in im 0.476 * [taylor]: Taking taylor expansion of 0 in im 0.479 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.479 * [taylor]: Taking taylor expansion of 1/2 in im 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.479 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.484 * [taylor]: Taking taylor expansion of 0 in im 0.485 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in (re im) around 0 0.485 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in im 0.485 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.485 * [taylor]: Taking taylor expansion of re in im 0.485 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 0.485 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.485 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 0.485 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.485 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.485 * [taylor]: Taking taylor expansion of -1 in im 0.485 * [taylor]: Taking taylor expansion of re in im 0.486 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.486 * [taylor]: Taking taylor expansion of -1 in im 0.486 * [taylor]: Taking taylor expansion of re in im 0.486 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.486 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.486 * [taylor]: Taking taylor expansion of -1 in im 0.486 * [taylor]: Taking taylor expansion of im in im 0.486 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.486 * [taylor]: Taking taylor expansion of -1 in im 0.486 * [taylor]: Taking taylor expansion of im in im 0.489 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.489 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.489 * [taylor]: Taking taylor expansion of re in re 0.489 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.489 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.489 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.489 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.489 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.489 * [taylor]: Taking taylor expansion of -1 in re 0.489 * [taylor]: Taking taylor expansion of re in re 0.489 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.489 * [taylor]: Taking taylor expansion of -1 in re 0.489 * [taylor]: Taking taylor expansion of re in re 0.490 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.490 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.490 * [taylor]: Taking taylor expansion of -1 in re 0.490 * [taylor]: Taking taylor expansion of im in re 0.490 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.490 * [taylor]: Taking taylor expansion of -1 in re 0.490 * [taylor]: Taking taylor expansion of im in re 0.492 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.492 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.492 * [taylor]: Taking taylor expansion of re in re 0.492 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.493 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.493 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.493 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.493 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.493 * [taylor]: Taking taylor expansion of -1 in re 0.493 * [taylor]: Taking taylor expansion of re in re 0.493 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.493 * [taylor]: Taking taylor expansion of -1 in re 0.493 * [taylor]: Taking taylor expansion of re in re 0.493 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.494 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.494 * [taylor]: Taking taylor expansion of -1 in re 0.494 * [taylor]: Taking taylor expansion of im in re 0.494 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.494 * [taylor]: Taking taylor expansion of -1 in re 0.494 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of 2 in im 0.497 * [taylor]: Taking taylor expansion of 0 in im 0.500 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.500 * [taylor]: Taking taylor expansion of 1/2 in im 0.500 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.500 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.500 * [taylor]: Taking taylor expansion of im in im 0.504 * [taylor]: Taking taylor expansion of 0 in im 0.506 * * * [progress]: simplifying candidates 0.507 * [simplify]: Simplifying using # : (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma 1 (hypot re im) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma 1 (hypot re im) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma 1 (hypot re im) (- (* re 1))) (fma (- re) 1 (* re 1)) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (/ (exp (hypot re im)) (exp re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (* (* (- (hypot re im) re) (- (hypot re im) re)) (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re))) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (- im re) 0 (* -2 re) 0.507 * [simplify]: Sending expressions to egg_math: (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma 1 (hypot h0 h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma 1 (hypot h0 h1) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma 1 (hypot h0 h1) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (expm1 (- (hypot h0 h1) h0)) (log1p (- (hypot h0 h1) h0)) (- h0) (- h0) (- h0) (/ (exp (hypot h0 h1)) (exp h0)) (log (- (hypot h0 h1) h0)) (exp (- (hypot h0 h1) h0)) (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0))) (cbrt (- (hypot h0 h1) h0)) (* (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (- (pow (hypot h0 h1) 3) (pow h0 3)) (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0))) (- h0) (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)) (+ (hypot h0 h1) h0) (+ (sqrt (hypot h0 h1)) (sqrt h0)) (- (sqrt (hypot h0 h1)) (sqrt h0)) (- (hypot h0 h1) h0) (- h0) (- h1 h0) 0 (* -2 h0) 0.510 * * [simplify]: iteration 0 : 119 enodes (cost 199 ) 0.512 * * [simplify]: iteration 1 : 333 enodes (cost 125 ) 0.520 * * [simplify]: iteration 2 : 1490 enodes (cost 116 ) 0.551 * * [simplify]: iteration 3 : 5001 enodes (cost 85 ) 0.552 * [simplify]: Simplified to: (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (- (hypot re im) re) 0 (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (exp (- (hypot re im) re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (pow (- (hypot re im) re) 3) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (fma (hypot re im) (+ (hypot re im) re) (* re re)) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (- im re) 0 (* -2 re) 0.552 * * * [progress]: adding candidates to table 0.608 * * [progress]: iteration 3 / 4 0.608 * * * [progress]: picking best candidate 0.624 * * * * [pick]: Picked # 0.624 * * * [progress]: localizing error 0.635 * * * [progress]: generating rewritten candidates 0.635 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 1) 0.642 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1) 0.648 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 0.688 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2) 0.703 * * * [progress]: generating series expansions 0.703 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 1) 0.703 * [approximate]: Taking taylor expansion of (- (hypot re im) re) in (re im) around 0 0.703 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in im 0.703 * [taylor]: Taking taylor expansion of (hypot re im) in im 0.703 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.703 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 0.703 * [taylor]: Taking taylor expansion of (* re re) in im 0.703 * [taylor]: Taking taylor expansion of re in im 0.703 * [taylor]: Taking taylor expansion of re in im 0.703 * [taylor]: Taking taylor expansion of (* im im) in im 0.703 * [taylor]: Taking taylor expansion of im in im 0.703 * [taylor]: Taking taylor expansion of im in im 0.705 * [taylor]: Taking taylor expansion of re in im 0.705 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.705 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.705 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.705 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.705 * [taylor]: Taking taylor expansion of (* re re) in re 0.705 * [taylor]: Taking taylor expansion of re in re 0.705 * [taylor]: Taking taylor expansion of re in re 0.705 * [taylor]: Taking taylor expansion of (* im im) in re 0.705 * [taylor]: Taking taylor expansion of im in re 0.705 * [taylor]: Taking taylor expansion of im in re 0.706 * [taylor]: Taking taylor expansion of re in re 0.706 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.706 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.706 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.706 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.706 * [taylor]: Taking taylor expansion of (* re re) in re 0.706 * [taylor]: Taking taylor expansion of re in re 0.706 * [taylor]: Taking taylor expansion of re in re 0.706 * [taylor]: Taking taylor expansion of (* im im) in re 0.706 * [taylor]: Taking taylor expansion of im in re 0.706 * [taylor]: Taking taylor expansion of im in re 0.707 * [taylor]: Taking taylor expansion of re in re 0.708 * [taylor]: Taking taylor expansion of im in im 0.708 * [taylor]: Taking taylor expansion of -1 in im 0.710 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 0.710 * [taylor]: Taking taylor expansion of 1/2 in im 0.710 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.710 * [taylor]: Taking taylor expansion of im in im 0.712 * [taylor]: Taking taylor expansion of 0 in im 0.714 * [approximate]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in (re im) around 0 0.714 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in im 0.714 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 0.714 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.714 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 0.714 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.714 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.714 * [taylor]: Taking taylor expansion of re in im 0.714 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.714 * [taylor]: Taking taylor expansion of re in im 0.714 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.714 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.714 * [taylor]: Taking taylor expansion of im in im 0.714 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.714 * [taylor]: Taking taylor expansion of im in im 0.717 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.717 * [taylor]: Taking taylor expansion of re in im 0.717 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.717 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.717 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.717 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.717 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.717 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.717 * [taylor]: Taking taylor expansion of re in re 0.717 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.717 * [taylor]: Taking taylor expansion of re in re 0.718 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.718 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.718 * [taylor]: Taking taylor expansion of im in re 0.718 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.718 * [taylor]: Taking taylor expansion of im in re 0.720 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.720 * [taylor]: Taking taylor expansion of re in re 0.720 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.720 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.720 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.720 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.720 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.720 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.721 * [taylor]: Taking taylor expansion of re in re 0.721 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.721 * [taylor]: Taking taylor expansion of re in re 0.721 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.721 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.721 * [taylor]: Taking taylor expansion of im in re 0.721 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.721 * [taylor]: Taking taylor expansion of im in re 0.723 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.723 * [taylor]: Taking taylor expansion of re in re 0.724 * [taylor]: Taking taylor expansion of 0 in im 0.725 * [taylor]: Taking taylor expansion of 0 in im 0.728 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.728 * [taylor]: Taking taylor expansion of 1/2 in im 0.728 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.728 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.728 * [taylor]: Taking taylor expansion of im in im 0.733 * [taylor]: Taking taylor expansion of 0 in im 0.734 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in (re im) around 0 0.734 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in im 0.734 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.734 * [taylor]: Taking taylor expansion of re in im 0.734 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 0.734 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.734 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 0.734 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.734 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.734 * [taylor]: Taking taylor expansion of -1 in im 0.735 * [taylor]: Taking taylor expansion of re in im 0.735 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.735 * [taylor]: Taking taylor expansion of -1 in im 0.735 * [taylor]: Taking taylor expansion of re in im 0.735 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.735 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.735 * [taylor]: Taking taylor expansion of -1 in im 0.735 * [taylor]: Taking taylor expansion of im in im 0.735 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.735 * [taylor]: Taking taylor expansion of -1 in im 0.735 * [taylor]: Taking taylor expansion of im in im 0.738 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.738 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.738 * [taylor]: Taking taylor expansion of re in re 0.738 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.738 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.738 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.738 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.738 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.738 * [taylor]: Taking taylor expansion of -1 in re 0.738 * [taylor]: Taking taylor expansion of re in re 0.738 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.738 * [taylor]: Taking taylor expansion of -1 in re 0.738 * [taylor]: Taking taylor expansion of re in re 0.739 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.739 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.739 * [taylor]: Taking taylor expansion of -1 in re 0.739 * [taylor]: Taking taylor expansion of im in re 0.739 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.739 * [taylor]: Taking taylor expansion of -1 in re 0.739 * [taylor]: Taking taylor expansion of im in re 0.741 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.741 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.741 * [taylor]: Taking taylor expansion of re in re 0.742 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.742 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.742 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.742 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.742 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.742 * [taylor]: Taking taylor expansion of -1 in re 0.742 * [taylor]: Taking taylor expansion of re in re 0.742 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.742 * [taylor]: Taking taylor expansion of -1 in re 0.742 * [taylor]: Taking taylor expansion of re in re 0.742 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.742 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.742 * [taylor]: Taking taylor expansion of -1 in re 0.742 * [taylor]: Taking taylor expansion of im in re 0.742 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.742 * [taylor]: Taking taylor expansion of -1 in re 0.742 * [taylor]: Taking taylor expansion of im in re 0.745 * [taylor]: Taking taylor expansion of 2 in im 0.746 * [taylor]: Taking taylor expansion of 0 in im 0.749 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.749 * [taylor]: Taking taylor expansion of 1/2 in im 0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.749 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.749 * [taylor]: Taking taylor expansion of im in im 0.754 * [taylor]: Taking taylor expansion of 0 in im 0.755 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1) 0.755 * [approximate]: Taking taylor expansion of (- (hypot re im) re) in (re im) around 0 0.755 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in im 0.755 * [taylor]: Taking taylor expansion of (hypot re im) in im 0.755 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.755 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 0.755 * [taylor]: Taking taylor expansion of (* re re) in im 0.755 * [taylor]: Taking taylor expansion of re in im 0.755 * [taylor]: Taking taylor expansion of re in im 0.755 * [taylor]: Taking taylor expansion of (* im im) in im 0.756 * [taylor]: Taking taylor expansion of im in im 0.756 * [taylor]: Taking taylor expansion of im in im 0.757 * [taylor]: Taking taylor expansion of re in im 0.757 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.757 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.757 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.757 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.757 * [taylor]: Taking taylor expansion of (* re re) in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.757 * [taylor]: Taking taylor expansion of (* im im) in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.758 * [taylor]: Taking taylor expansion of re in re 0.758 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.758 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.761 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.761 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.761 * [taylor]: Taking taylor expansion of (* re re) in re 0.761 * [taylor]: Taking taylor expansion of re in re 0.761 * [taylor]: Taking taylor expansion of re in re 0.761 * [taylor]: Taking taylor expansion of (* im im) in re 0.761 * [taylor]: Taking taylor expansion of im in re 0.762 * [taylor]: Taking taylor expansion of im in re 0.763 * [taylor]: Taking taylor expansion of re in re 0.763 * [taylor]: Taking taylor expansion of im in im 0.764 * [taylor]: Taking taylor expansion of -1 in im 0.765 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 0.765 * [taylor]: Taking taylor expansion of 1/2 in im 0.765 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.765 * [taylor]: Taking taylor expansion of im in im 0.768 * [taylor]: Taking taylor expansion of 0 in im 0.769 * [approximate]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in (re im) around 0 0.769 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in im 0.769 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 0.769 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.769 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 0.769 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.769 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.769 * [taylor]: Taking taylor expansion of re in im 0.769 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.769 * [taylor]: Taking taylor expansion of re in im 0.769 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.769 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.769 * [taylor]: Taking taylor expansion of im in im 0.770 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.770 * [taylor]: Taking taylor expansion of im in im 0.772 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.772 * [taylor]: Taking taylor expansion of re in im 0.772 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.772 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.772 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.772 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.772 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.772 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.772 * [taylor]: Taking taylor expansion of re in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.773 * [taylor]: Taking taylor expansion of re in re 0.773 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.775 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.775 * [taylor]: Taking taylor expansion of re in re 0.776 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.776 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.776 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.776 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.776 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.776 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.776 * [taylor]: Taking taylor expansion of re in re 0.776 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.776 * [taylor]: Taking taylor expansion of re in re 0.776 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.776 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.776 * [taylor]: Taking taylor expansion of im in re 0.776 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.776 * [taylor]: Taking taylor expansion of im in re 0.779 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.779 * [taylor]: Taking taylor expansion of re in re 0.779 * [taylor]: Taking taylor expansion of 0 in im 0.780 * [taylor]: Taking taylor expansion of 0 in im 0.783 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.783 * [taylor]: Taking taylor expansion of 1/2 in im 0.784 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.784 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.784 * [taylor]: Taking taylor expansion of im in im 0.788 * [taylor]: Taking taylor expansion of 0 in im 0.790 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in (re im) around 0 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in im 0.790 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.790 * [taylor]: Taking taylor expansion of re in im 0.790 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 0.790 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.790 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 0.790 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.790 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.790 * [taylor]: Taking taylor expansion of -1 in im 0.790 * [taylor]: Taking taylor expansion of re in im 0.790 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.790 * [taylor]: Taking taylor expansion of -1 in im 0.790 * [taylor]: Taking taylor expansion of re in im 0.790 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.790 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.790 * [taylor]: Taking taylor expansion of -1 in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.790 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.790 * [taylor]: Taking taylor expansion of -1 in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.793 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.793 * [taylor]: Taking taylor expansion of re in re 0.793 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.793 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.794 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.794 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.794 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.794 * [taylor]: Taking taylor expansion of -1 in re 0.794 * [taylor]: Taking taylor expansion of re in re 0.794 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.794 * [taylor]: Taking taylor expansion of -1 in re 0.794 * [taylor]: Taking taylor expansion of re in re 0.794 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.794 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.794 * [taylor]: Taking taylor expansion of -1 in re 0.794 * [taylor]: Taking taylor expansion of im in re 0.794 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.794 * [taylor]: Taking taylor expansion of -1 in re 0.794 * [taylor]: Taking taylor expansion of im in re 0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.797 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.797 * [taylor]: Taking taylor expansion of re in re 0.797 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.797 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.797 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.797 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.797 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.797 * [taylor]: Taking taylor expansion of -1 in re 0.797 * [taylor]: Taking taylor expansion of re in re 0.797 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.797 * [taylor]: Taking taylor expansion of -1 in re 0.797 * [taylor]: Taking taylor expansion of re in re 0.798 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.798 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.798 * [taylor]: Taking taylor expansion of -1 in re 0.798 * [taylor]: Taking taylor expansion of im in re 0.798 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.798 * [taylor]: Taking taylor expansion of -1 in re 0.798 * [taylor]: Taking taylor expansion of im in re 0.801 * [taylor]: Taking taylor expansion of 2 in im 0.801 * [taylor]: Taking taylor expansion of 0 in im 0.804 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.804 * [taylor]: Taking taylor expansion of 1/2 in im 0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.804 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.804 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of 0 in im 0.810 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 0.811 * [approximate]: Taking taylor expansion of (- (hypot re im) re) in (re im) around 0 0.811 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in im 0.811 * [taylor]: Taking taylor expansion of (hypot re im) in im 0.811 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.811 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 0.811 * [taylor]: Taking taylor expansion of (* re re) in im 0.811 * [taylor]: Taking taylor expansion of re in im 0.811 * [taylor]: Taking taylor expansion of re in im 0.811 * [taylor]: Taking taylor expansion of (* im im) in im 0.811 * [taylor]: Taking taylor expansion of im in im 0.811 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of re in im 0.812 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.812 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.812 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.812 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.812 * [taylor]: Taking taylor expansion of (* re re) in re 0.812 * [taylor]: Taking taylor expansion of re in re 0.812 * [taylor]: Taking taylor expansion of re in re 0.812 * [taylor]: Taking taylor expansion of (* im im) in re 0.812 * [taylor]: Taking taylor expansion of im in re 0.812 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of re in re 0.813 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.813 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.813 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.813 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.813 * [taylor]: Taking taylor expansion of (* re re) in re 0.813 * [taylor]: Taking taylor expansion of re in re 0.813 * [taylor]: Taking taylor expansion of re in re 0.813 * [taylor]: Taking taylor expansion of (* im im) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.815 * [taylor]: Taking taylor expansion of re in re 0.815 * [taylor]: Taking taylor expansion of im in im 0.815 * [taylor]: Taking taylor expansion of -1 in im 0.817 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 0.817 * [taylor]: Taking taylor expansion of 1/2 in im 0.817 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.817 * [taylor]: Taking taylor expansion of im in im 0.820 * [taylor]: Taking taylor expansion of 0 in im 0.821 * [approximate]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in (re im) around 0 0.821 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in im 0.821 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 0.821 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.821 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 0.821 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.821 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.821 * [taylor]: Taking taylor expansion of re in im 0.821 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.821 * [taylor]: Taking taylor expansion of re in im 0.821 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.821 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.821 * [taylor]: Taking taylor expansion of im in im 0.822 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.822 * [taylor]: Taking taylor expansion of im in im 0.824 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.824 * [taylor]: Taking taylor expansion of re in im 0.824 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.824 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.824 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.824 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.824 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.824 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.824 * [taylor]: Taking taylor expansion of re in re 0.825 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.825 * [taylor]: Taking taylor expansion of re in re 0.825 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.825 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.825 * [taylor]: Taking taylor expansion of im in re 0.825 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.825 * [taylor]: Taking taylor expansion of im in re 0.827 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.827 * [taylor]: Taking taylor expansion of re in re 0.828 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.828 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.828 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.828 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.828 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.828 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.828 * [taylor]: Taking taylor expansion of re in re 0.828 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.828 * [taylor]: Taking taylor expansion of re in re 0.828 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.828 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.828 * [taylor]: Taking taylor expansion of im in re 0.828 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.828 * [taylor]: Taking taylor expansion of im in re 0.831 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.831 * [taylor]: Taking taylor expansion of re in re 0.831 * [taylor]: Taking taylor expansion of 0 in im 0.832 * [taylor]: Taking taylor expansion of 0 in im 0.835 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.835 * [taylor]: Taking taylor expansion of 1/2 in im 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.835 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.835 * [taylor]: Taking taylor expansion of im in im 0.840 * [taylor]: Taking taylor expansion of 0 in im 0.842 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in (re im) around 0 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.842 * [taylor]: Taking taylor expansion of re in im 0.842 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 0.842 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.842 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 0.842 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.842 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.842 * [taylor]: Taking taylor expansion of -1 in im 0.842 * [taylor]: Taking taylor expansion of re in im 0.842 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.842 * [taylor]: Taking taylor expansion of -1 in im 0.842 * [taylor]: Taking taylor expansion of re in im 0.842 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.842 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.842 * [taylor]: Taking taylor expansion of -1 in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.842 * [taylor]: Taking taylor expansion of -1 in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.845 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.845 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.845 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.845 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.845 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.846 * [taylor]: Taking taylor expansion of -1 in re 0.846 * [taylor]: Taking taylor expansion of re in re 0.846 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.846 * [taylor]: Taking taylor expansion of -1 in re 0.846 * [taylor]: Taking taylor expansion of re in re 0.846 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.846 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.846 * [taylor]: Taking taylor expansion of -1 in re 0.846 * [taylor]: Taking taylor expansion of im in re 0.846 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.846 * [taylor]: Taking taylor expansion of -1 in re 0.846 * [taylor]: Taking taylor expansion of im in re 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.851 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.851 * [taylor]: Taking taylor expansion of re in re 0.851 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.852 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.852 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.852 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.852 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.852 * [taylor]: Taking taylor expansion of -1 in re 0.852 * [taylor]: Taking taylor expansion of re in re 0.852 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.852 * [taylor]: Taking taylor expansion of -1 in re 0.852 * [taylor]: Taking taylor expansion of re in re 0.852 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.852 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.852 * [taylor]: Taking taylor expansion of -1 in re 0.852 * [taylor]: Taking taylor expansion of im in re 0.852 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.852 * [taylor]: Taking taylor expansion of -1 in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.855 * [taylor]: Taking taylor expansion of 2 in im 0.856 * [taylor]: Taking taylor expansion of 0 in im 0.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.859 * [taylor]: Taking taylor expansion of 1/2 in im 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.859 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.859 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of 0 in im 0.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2) 0.865 * [approximate]: Taking taylor expansion of (sqrt (- (hypot re im) re)) in (re im) around 0 0.865 * [taylor]: Taking taylor expansion of (sqrt (- (hypot re im) re)) in im 0.865 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in im 0.865 * [taylor]: Taking taylor expansion of (hypot re im) in im 0.865 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.865 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 0.865 * [taylor]: Taking taylor expansion of (* re re) in im 0.865 * [taylor]: Taking taylor expansion of re in im 0.865 * [taylor]: Taking taylor expansion of re in im 0.866 * [taylor]: Taking taylor expansion of (* im im) in im 0.866 * [taylor]: Taking taylor expansion of im in im 0.866 * [taylor]: Taking taylor expansion of im in im 0.867 * [taylor]: Taking taylor expansion of re in im 0.870 * [taylor]: Taking taylor expansion of (sqrt (- (hypot re im) re)) in re 0.870 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.870 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.871 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.871 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.871 * [taylor]: Taking taylor expansion of (* re re) in re 0.871 * [taylor]: Taking taylor expansion of re in re 0.871 * [taylor]: Taking taylor expansion of re in re 0.871 * [taylor]: Taking taylor expansion of (* im im) in re 0.871 * [taylor]: Taking taylor expansion of im in re 0.871 * [taylor]: Taking taylor expansion of im in re 0.872 * [taylor]: Taking taylor expansion of re in re 0.872 * [taylor]: Taking taylor expansion of (sqrt (- (hypot re im) re)) in re 0.872 * [taylor]: Taking taylor expansion of (- (hypot re im) re) in re 0.872 * [taylor]: Taking taylor expansion of (hypot re im) in re 0.873 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 0.873 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 0.873 * [taylor]: Taking taylor expansion of (* re re) in re 0.873 * [taylor]: Taking taylor expansion of re in re 0.873 * [taylor]: Taking taylor expansion of re in re 0.873 * [taylor]: Taking taylor expansion of (* im im) in re 0.873 * [taylor]: Taking taylor expansion of im in re 0.873 * [taylor]: Taking taylor expansion of im in re 0.874 * [taylor]: Taking taylor expansion of re in re 0.875 * [taylor]: Taking taylor expansion of (sqrt im) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.876 * [taylor]: Taking taylor expansion of (* -1/2 (sqrt (/ 1 im))) in im 0.876 * [taylor]: Taking taylor expansion of -1/2 in im 0.876 * [taylor]: Taking taylor expansion of (sqrt (/ 1 im)) in im 0.876 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.876 * [taylor]: Taking taylor expansion of im in im 0.883 * [approximate]: Taking taylor expansion of (sqrt (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re))) in (re im) around 0 0.883 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re))) in im 0.883 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in im 0.883 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 0.883 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.883 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 0.883 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.883 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.883 * [taylor]: Taking taylor expansion of re in im 0.883 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.883 * [taylor]: Taking taylor expansion of re in im 0.883 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.883 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.883 * [taylor]: Taking taylor expansion of im in im 0.884 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.884 * [taylor]: Taking taylor expansion of im in im 0.886 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.886 * [taylor]: Taking taylor expansion of re in im 0.887 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re))) in re 0.887 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.887 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.888 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.888 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.888 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.888 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.888 * [taylor]: Taking taylor expansion of re in re 0.888 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.888 * [taylor]: Taking taylor expansion of re in re 0.888 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.888 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.888 * [taylor]: Taking taylor expansion of im in re 0.888 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.888 * [taylor]: Taking taylor expansion of im in re 0.891 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.891 * [taylor]: Taking taylor expansion of re in re 0.896 * [taylor]: Taking taylor expansion of (sqrt (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re))) in re 0.896 * [taylor]: Taking taylor expansion of (- (hypot (/ 1 re) (/ 1 im)) (/ 1 re)) in re 0.896 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 0.896 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 0.896 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 0.896 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.896 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.896 * [taylor]: Taking taylor expansion of re in re 0.896 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.896 * [taylor]: Taking taylor expansion of re in re 0.896 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.896 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.896 * [taylor]: Taking taylor expansion of im in re 0.896 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.896 * [taylor]: Taking taylor expansion of im in re 0.899 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.899 * [taylor]: Taking taylor expansion of re in re 0.904 * [taylor]: Taking taylor expansion of 0 in im 0.904 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow im 2)) in im 0.904 * [taylor]: Taking taylor expansion of +nan.0 in im 0.904 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.904 * [taylor]: Taking taylor expansion of im in im 0.909 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow im 4)) in im 0.909 * [taylor]: Taking taylor expansion of +nan.0 in im 0.909 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.909 * [taylor]: Taking taylor expansion of im in im 0.919 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1/8 (/ 1 (pow im 4))) (- (* +nan.0 (/ 1 (pow im 6)))))) in im 0.919 * [taylor]: Taking taylor expansion of +nan.0 in im 0.920 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow im 4))) (- (* +nan.0 (/ 1 (pow im 6))))) in im 0.920 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow im 4))) in im 0.920 * [taylor]: Taking taylor expansion of 1/8 in im 0.920 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 0.920 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.920 * [taylor]: Taking taylor expansion of im in im 0.920 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow im 6)))) in im 0.920 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow im 6))) in im 0.920 * [taylor]: Taking taylor expansion of +nan.0 in im 0.920 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 0.920 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.920 * [taylor]: Taking taylor expansion of im in im 0.946 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im)))) in (re im) around 0 0.946 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im)))) in im 0.946 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in im 0.946 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.946 * [taylor]: Taking taylor expansion of re in im 0.946 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 0.947 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.947 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 0.947 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.947 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.947 * [taylor]: Taking taylor expansion of -1 in im 0.947 * [taylor]: Taking taylor expansion of re in im 0.947 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.947 * [taylor]: Taking taylor expansion of -1 in im 0.947 * [taylor]: Taking taylor expansion of re in im 0.947 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.947 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.947 * [taylor]: Taking taylor expansion of -1 in im 0.947 * [taylor]: Taking taylor expansion of im in im 0.947 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.947 * [taylor]: Taking taylor expansion of -1 in im 0.947 * [taylor]: Taking taylor expansion of im in im 0.951 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im)))) in re 0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.951 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.951 * [taylor]: Taking taylor expansion of re in re 0.952 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.952 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.952 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.952 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.952 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.952 * [taylor]: Taking taylor expansion of -1 in re 0.952 * [taylor]: Taking taylor expansion of re in re 0.952 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.952 * [taylor]: Taking taylor expansion of -1 in re 0.952 * [taylor]: Taking taylor expansion of re in re 0.952 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.952 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.952 * [taylor]: Taking taylor expansion of -1 in re 0.952 * [taylor]: Taking taylor expansion of im in re 0.952 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.952 * [taylor]: Taking taylor expansion of -1 in re 0.952 * [taylor]: Taking taylor expansion of im in re 0.956 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im)))) in re 0.956 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (hypot (/ -1 re) (/ -1 im))) in re 0.956 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.956 * [taylor]: Taking taylor expansion of re in re 0.956 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 0.957 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 0.957 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 0.957 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.957 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.957 * [taylor]: Taking taylor expansion of -1 in re 0.957 * [taylor]: Taking taylor expansion of re in re 0.957 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.957 * [taylor]: Taking taylor expansion of -1 in re 0.957 * [taylor]: Taking taylor expansion of re in re 0.957 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.957 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.957 * [taylor]: Taking taylor expansion of -1 in re 0.957 * [taylor]: Taking taylor expansion of im in re 0.957 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.957 * [taylor]: Taking taylor expansion of -1 in re 0.957 * [taylor]: Taking taylor expansion of im in re 0.961 * [taylor]: Taking taylor expansion of 0 in im 0.961 * [taylor]: Taking taylor expansion of +nan.0 in im 0.963 * [taylor]: Taking taylor expansion of +nan.0 in im 0.967 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1/2 (/ 1 (pow im 2))) +nan.0)) in im 0.967 * [taylor]: Taking taylor expansion of +nan.0 in im 0.967 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow im 2))) +nan.0) in im 0.967 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im 0.967 * [taylor]: Taking taylor expansion of 1/2 in im 0.967 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.967 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.967 * [taylor]: Taking taylor expansion of im in im 0.968 * [taylor]: Taking taylor expansion of +nan.0 in im 0.974 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0))) in im 0.974 * [taylor]: Taking taylor expansion of +nan.0 in im 0.974 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0)) in im 0.974 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow im 2))) in im 0.974 * [taylor]: Taking taylor expansion of +nan.0 in im 0.974 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.974 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.974 * [taylor]: Taking taylor expansion of im in im 0.974 * [taylor]: Taking taylor expansion of (- +nan.0) in im 0.974 * [taylor]: Taking taylor expansion of +nan.0 in im 0.981 * * * [progress]: simplifying candidates 0.983 * [simplify]: Simplifying using # : (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma 1 (hypot re im) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma 1 (hypot re im) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma 1 (hypot re im) (- (* re 1))) (fma (- re) 1 (* re 1)) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (/ (exp (hypot re im)) (exp re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (* (* (- (hypot re im) re) (- (hypot re im) re)) (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re))) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- (* re 1))) (fma (- re) 1 (* re 1)) (fma 1 (hypot re im) (- (* (cbrt re) (* (cbrt re) (cbrt re))))) (fma (- (cbrt re)) (* (cbrt re) (cbrt re)) (* (cbrt re) (* (cbrt re) (cbrt re)))) (fma 1 (hypot re im) (- (* (sqrt re) (sqrt re)))) (fma (- (sqrt re)) (sqrt re) (* (sqrt re) (sqrt re))) (fma 1 (hypot re im) (- (* re 1))) (fma (- re) 1 (* re 1)) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (/ (exp (hypot re im)) (exp re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (* (* (- (hypot re im) re) (- (hypot re im) re)) (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re))) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (expm1 (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (log1p (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (- (hypot re im) re) (- (hypot re im) re)) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (- (hypot re im) re) (- (hypot re im) re)) (+ 1 1) (+ (log (sqrt (- (hypot re im) re))) (log (sqrt (- (hypot re im) re)))) (log (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (exp (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (* (* (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (* (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re)))) (* (cbrt (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (cbrt (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))))) (cbrt (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (* (* (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (* (- (hypot re im) re) (- (hypot re im) re)) (sqrt (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (sqrt (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)))) (* (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (- (pow (hypot re im) 3) (pow re 3)))) (* (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re)))) (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re))))) (* (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re)))) (sqrt (+ (hypot re im) re))) (* (sqrt (- (* (hypot re im) (hypot re im)) (* re re))) (sqrt (- (pow (hypot re im) 3) (pow re 3)))) (* (sqrt (+ (hypot re im) re)) (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re))))) (* (sqrt (- (* (hypot re im) (hypot re im)) (* re re))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (+ (hypot re im) re)) (sqrt (+ (hypot re im) re))) (* (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re)))) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re))))) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re)))) (* (sqrt (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re)))) (sqrt (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))))) (* (sqrt (cbrt (- (hypot re im) re))) (sqrt (cbrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (+ (sqrt (hypot re im)) (sqrt re))) (sqrt (+ (sqrt (hypot re im)) (sqrt re)))) (* (sqrt (- (sqrt (hypot re im)) (sqrt re))) (sqrt (- (sqrt (hypot re im)) (sqrt re)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* 1 1) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (- (hypot re im) re)) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re))))) (* (sqrt (- (hypot re im) re)) (sqrt (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))))) (* (sqrt (- (hypot re im) re)) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (- (hypot re im) re)) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (+ (sqrt (hypot re im)) (sqrt re)))) (* (sqrt (- (hypot re im) re)) (sqrt 1)) (* (sqrt (- (hypot re im) re)) (sqrt (sqrt (- (hypot re im) re)))) (* (sqrt (- (hypot re im) re)) 1) (* (cbrt (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (* (sqrt (cbrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (- (sqrt (hypot re im)) (sqrt re))) (sqrt (- (hypot re im) re))) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (* (sqrt (- (hypot re im) re)) (sqrt (- (pow (hypot re im) 3) (pow re 3)))) (* (sqrt (- (hypot re im) re)) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (- (hypot re im) re))) (* (sqrt (- (* (hypot re im) (hypot re im)) (* re re))) (sqrt (- (hypot re im) re))) (expm1 (sqrt (- (hypot re im) re))) (log1p (sqrt (- (hypot re im) re))) (log (sqrt (- (hypot re im) re))) (exp (sqrt (- (hypot re im) re))) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re)))) (cbrt (sqrt (- (hypot re im) re))) (* (* (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (sqrt (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re)))) (sqrt (cbrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) (sqrt 1) (sqrt (- (hypot re im) re)) (sqrt (+ (sqrt (hypot re im)) (sqrt re))) (sqrt (- (sqrt (hypot re im)) (sqrt re))) (sqrt 1) (sqrt (- (hypot re im) re)) (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re)))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re))) (sqrt (+ (hypot re im) re)) (/ 1 2) (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) (- im re) 0 (* -2 re) (- im re) 0 (* -2 re) (- im re) 0 (* -2 re) (- (+ (* +nan.0 im) (- (+ (* +nan.0 (* re im)) (- (* +nan.0 (pow im 2))))))) 0 (- (+ (* +nan.0 (/ 1 (pow re 2))) (- (+ (* +nan.0 (/ 1 re)) (- +nan.0))))) 0.983 * [simplify]: Sending expressions to egg_math: (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma 1 (hypot h0 h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma 1 (hypot h0 h1) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma 1 (hypot h0 h1) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (expm1 (- (hypot h0 h1) h0)) (log1p (- (hypot h0 h1) h0)) (- h0) (- h0) (- h0) (/ (exp (hypot h0 h1)) (exp h0)) (log (- (hypot h0 h1) h0)) (exp (- (hypot h0 h1) h0)) (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0))) (cbrt (- (hypot h0 h1) h0)) (* (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (- (pow (hypot h0 h1) 3) (pow h0 3)) (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0))) (- h0) (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)) (+ (hypot h0 h1) h0) (+ (sqrt (hypot h0 h1)) (sqrt h0)) (- (sqrt (hypot h0 h1)) (sqrt h0)) (- (hypot h0 h1) h0) (- h0) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (* (cbrt (hypot h0 h1)) (cbrt (hypot h0 h1))) (cbrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (fma 1 (hypot h0 h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (fma 1 (hypot h0 h1) (- (* (sqrt h0) (sqrt h0)))) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (fma 1 (hypot h0 h1) (- (* h0 1))) (fma (- h0) 1 (* h0 1)) (expm1 (- (hypot h0 h1) h0)) (log1p (- (hypot h0 h1) h0)) (- h0) (- h0) (- h0) (/ (exp (hypot h0 h1)) (exp h0)) (log (- (hypot h0 h1) h0)) (exp (- (hypot h0 h1) h0)) (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0))) (cbrt (- (hypot h0 h1) h0)) (* (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)) (- (pow (hypot h0 h1) 3) (pow h0 3)) (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0))) (- h0) (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)) (+ (hypot h0 h1) h0) (+ (sqrt (hypot h0 h1)) (sqrt h0)) (- (sqrt (hypot h0 h1)) (sqrt h0)) (- (hypot h0 h1) h0) (- h0) (expm1 (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (log1p (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (+ 1 1) (+ (log (sqrt (- (hypot h0 h1) h0))) (log (sqrt (- (hypot h0 h1) h0)))) (log (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (exp (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (* (* (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (* (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0)))) (* (cbrt (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (cbrt (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))))) (cbrt (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (* (* (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (* (- (hypot h0 h1) h0) (- (hypot h0 h1) h0)) (sqrt (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (sqrt (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3))) (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3)))) (* (sqrt (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0)))) (sqrt (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0))))) (* (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3))) (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)))) (* (sqrt (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0)))) (sqrt (+ (hypot h0 h1) h0))) (* (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0))) (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3)))) (* (sqrt (+ (hypot h0 h1) h0)) (sqrt (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0))))) (* (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0))) (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)))) (* (sqrt (+ (hypot h0 h1) h0)) (sqrt (+ (hypot h0 h1) h0))) (* (* (cbrt (sqrt (- (hypot h0 h1) h0))) (cbrt (sqrt (- (hypot h0 h1) h0)))) (* (cbrt (sqrt (- (hypot h0 h1) h0))) (cbrt (sqrt (- (hypot h0 h1) h0))))) (* (cbrt (sqrt (- (hypot h0 h1) h0))) (cbrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0)))) (sqrt (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0))))) (* (sqrt (cbrt (- (hypot h0 h1) h0))) (sqrt (cbrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (+ (sqrt (hypot h0 h1)) (sqrt h0))) (sqrt (+ (sqrt (hypot h0 h1)) (sqrt h0)))) (* (sqrt (- (sqrt (hypot h0 h1)) (sqrt h0))) (sqrt (- (sqrt (hypot h0 h1)) (sqrt h0)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt 1) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* 1 1) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (- (hypot h0 h1) h0)) (* (cbrt (sqrt (- (hypot h0 h1) h0))) (cbrt (sqrt (- (hypot h0 h1) h0))))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0))))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (+ (sqrt (hypot h0 h1)) (sqrt h0)))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt 1)) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (sqrt (- (hypot h0 h1) h0)))) (* (sqrt (- (hypot h0 h1) h0)) 1) (* (cbrt (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (cbrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (sqrt (hypot h0 h1)) (sqrt h0))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3)))) (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0)))) (* (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3))) (sqrt (- (hypot h0 h1) h0))) (* (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0))) (sqrt (- (hypot h0 h1) h0))) (expm1 (sqrt (- (hypot h0 h1) h0))) (log1p (sqrt (- (hypot h0 h1) h0))) (log (sqrt (- (hypot h0 h1) h0))) (exp (sqrt (- (hypot h0 h1) h0))) (* (cbrt (sqrt (- (hypot h0 h1) h0))) (cbrt (sqrt (- (hypot h0 h1) h0)))) (cbrt (sqrt (- (hypot h0 h1) h0))) (* (* (sqrt (- (hypot h0 h1) h0)) (sqrt (- (hypot h0 h1) h0))) (sqrt (- (hypot h0 h1) h0))) (sqrt (* (cbrt (- (hypot h0 h1) h0)) (cbrt (- (hypot h0 h1) h0)))) (sqrt (cbrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt 1) (sqrt (- (hypot h0 h1) h0)) (sqrt (+ (sqrt (hypot h0 h1)) (sqrt h0))) (sqrt (- (sqrt (hypot h0 h1)) (sqrt h0))) (sqrt 1) (sqrt (- (hypot h0 h1) h0)) (sqrt (- (pow (hypot h0 h1) 3) (pow h0 3))) (sqrt (+ (* (hypot h0 h1) (hypot h0 h1)) (+ (* h0 h0) (* (hypot h0 h1) h0)))) (sqrt (- (* (hypot h0 h1) (hypot h0 h1)) (* h0 h0))) (sqrt (+ (hypot h0 h1) h0)) (/ 1 2) (sqrt (sqrt (- (hypot h0 h1) h0))) (sqrt (sqrt (- (hypot h0 h1) h0))) (- h1 h0) 0 (* -2 h0) (- h1 h0) 0 (* -2 h0) (- h1 h0) 0 (* -2 h0) (- (+ (* h2 h1) (- (+ (* h2 (* h0 h1)) (- (* h2 (pow h1 2))))))) 0 (- (+ (* h2 (/ 1 (pow h0 2))) (- (+ (* h2 (/ 1 h0)) (- h2))))) 0.989 * * [simplify]: iteration 0 : 286 enodes (cost 899 ) 0.994 * * [simplify]: iteration 1 : 1123 enodes (cost 706 ) 1.023 * * [simplify]: iteration 2 : 5001 enodes (cost 691 ) 1.026 * [simplify]: Simplified to: (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (exp (- (hypot re im) re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (pow (- (hypot re im) re) 3) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (fma (hypot re im) (hypot re im) (fma re re (* (hypot re im) re))) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (- (hypot re im) re) (fma (- re) 1 re) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) (- re) (- re) (- re) (exp (- (hypot re im) re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (pow (- (hypot re im) re) 3) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (fma (hypot re im) (hypot re im) (fma re re (* (hypot re im) re))) (- re) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) (- (hypot re im) re) (- re) (expm1 (- (hypot re im) re)) (log1p (- (hypot re im) re)) 1 1 2 1 1 (pow (sqrt (- (hypot re im) re)) 4) (- (hypot re im) re) (pow (sqrt (- (hypot re im) re)) 4) 2 (log (- (hypot re im) re)) (log (- (hypot re im) re)) (exp (- (hypot re im) re)) (pow (- (hypot re im) re) 3) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (pow (- (hypot re im) re) 3) (pow (sqrt (- (hypot re im) re)) 4) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (- (pow (hypot re im) 3) (pow re 3)) (fma (hypot re im) (hypot re im) (fma re re (* (hypot re im) re))) (* (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re)))) (sqrt (+ (hypot re im) re))) (* (sqrt (- (pow (hypot re im) 3) (pow re 3))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (+ (* (hypot re im) (hypot re im)) (+ (* re re) (* (hypot re im) re)))) (sqrt (+ (hypot re im) re))) (- (* (hypot re im) (hypot re im)) (* re re)) (+ (hypot re im) re) (pow (cbrt (sqrt (- (hypot re im) re))) 4) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re)))) (* (cbrt (- (hypot re im) re)) (cbrt (- (hypot re im) re))) (cbrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) 1 (- (hypot re im) re) 1 (- (hypot re im) re) (+ (sqrt (hypot re im)) (sqrt re)) (- (sqrt (hypot re im)) (sqrt re)) 1 (- (hypot re im) re) 1 (- (hypot re im) re) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) 1 (- (hypot re im) re) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) (sqrt (- (hypot re im) re)) 1 2 1 (* (sqrt (- (hypot re im) re)) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re))))) (* (fabs (cbrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (pow (sqrt (sqrt (- (hypot re im) re))) 3) (sqrt (- (hypot re im) re)) (* (sqrt (- (hypot re im) re)) (sqrt (+ (sqrt (hypot re im)) (sqrt re)))) (sqrt (- (hypot re im) re)) (pow (sqrt (sqrt (- (hypot re im) re))) 3) (sqrt (- (hypot re im) re)) (pow (cbrt (sqrt (- (hypot re im) re))) 4) (* (sqrt (cbrt (- (hypot re im) re))) (sqrt (- (hypot re im) re))) (pow (sqrt (sqrt (- (hypot re im) re))) 3) (- (hypot re im) re) (* (sqrt (- (sqrt (hypot re im)) (sqrt re))) (sqrt (- (hypot re im) re))) (- (hypot re im) re) (pow (sqrt (sqrt (- (hypot re im) re))) 3) (- (hypot re im) re) (* (sqrt (- (hypot re im) re)) (sqrt (- (pow (hypot re im) 3) (pow re 3)))) (* (sqrt (- (hypot re im) re)) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (* (sqrt (- (hypot re im) re)) (sqrt (- (pow (hypot re im) 3) (pow re 3)))) (* (sqrt (- (hypot re im) re)) (sqrt (- (* (hypot re im) (hypot re im)) (* re re)))) (expm1 (sqrt (- (hypot re im) re))) (log1p (sqrt (- (hypot re im) re))) (log (sqrt (- (hypot re im) re))) (exp (sqrt (- (hypot re im) re))) (* (cbrt (sqrt (- (hypot re im) re))) (cbrt (sqrt (- (hypot re im) re)))) (cbrt (sqrt (- (hypot re im) re))) (pow (sqrt (- (hypot re im) re)) 3) (fabs (cbrt (- (hypot re im) re))) (sqrt (cbrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) 1 (sqrt (- (hypot re im) re)) (sqrt (+ (sqrt (hypot re im)) (sqrt re))) (sqrt (- (sqrt (hypot re im)) (sqrt re))) 1 (sqrt (- (hypot re im) re)) (sqrt (- (pow (hypot re im) 3) (pow re 3))) (hypot (hypot re im) (* (sqrt re) (sqrt (+ (hypot re im) re)))) (sqrt (- (* (hypot re im) (hypot re im)) (* re re))) (sqrt (+ (hypot re im) re)) 1/2 (sqrt (sqrt (- (hypot re im) re))) (sqrt (sqrt (- (hypot re im) re))) (- im re) 0 (* -2 re) (- im re) 0 (* -2 re) (- im re) 0 (* -2 re) (fma (- im) +nan.0 (* +nan.0 (- (* re im) (pow im 2)))) 0 (+ (/ +nan.0 re) (- (fma +nan.0 1 (/ +nan.0 (pow re 2))))) 1.027 * * * [progress]: adding candidates to table 1.354 * * [progress]: iteration 4 / 4 1.354 * * * [progress]: picking best candidate 1.366 * * * * [pick]: Picked # 1.366 * * * [progress]: localizing error 1.378 * * * [progress]: generating rewritten candidates 1.378 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1 2 1) 1.379 * * * [progress]: generating series expansions 1.379 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1 2 1) 1.379 * [approximate]: Taking taylor expansion of (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)) in (re im) around 0 1.379 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)) in im 1.380 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot re im)) (sqrt (hypot re im))) (- re)) 1.380 * [taylor]: Taking taylor expansion of (* (sqrt (hypot re im)) (sqrt (hypot re im))) in im 1.380 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in im 1.380 * [taylor]: Taking taylor expansion of (hypot re im) in im 1.380 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.380 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 1.380 * [taylor]: Taking taylor expansion of (* re re) in im 1.380 * [taylor]: Taking taylor expansion of re in im 1.380 * [taylor]: Taking taylor expansion of re in im 1.380 * [taylor]: Taking taylor expansion of (* im im) in im 1.380 * [taylor]: Taking taylor expansion of im in im 1.380 * [taylor]: Taking taylor expansion of im in im 1.381 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in im 1.381 * [taylor]: Taking taylor expansion of (hypot re im) in im 1.381 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.381 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in im 1.381 * [taylor]: Taking taylor expansion of (* re re) in im 1.381 * [taylor]: Taking taylor expansion of re in im 1.381 * [taylor]: Taking taylor expansion of re in im 1.381 * [taylor]: Taking taylor expansion of (* im im) in im 1.381 * [taylor]: Taking taylor expansion of im in im 1.381 * [taylor]: Taking taylor expansion of im in im 1.385 * [taylor]: Taking taylor expansion of (- re) in im 1.385 * [taylor]: Taking taylor expansion of re in im 1.385 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)) in re 1.385 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot re im)) (sqrt (hypot re im))) (- re)) 1.385 * [taylor]: Taking taylor expansion of (* (sqrt (hypot re im)) (sqrt (hypot re im))) in re 1.385 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in re 1.385 * [taylor]: Taking taylor expansion of (hypot re im) in re 1.385 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.385 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 1.385 * [taylor]: Taking taylor expansion of (* re re) in re 1.385 * [taylor]: Taking taylor expansion of re in re 1.385 * [taylor]: Taking taylor expansion of re in re 1.385 * [taylor]: Taking taylor expansion of (* im im) in re 1.385 * [taylor]: Taking taylor expansion of im in re 1.385 * [taylor]: Taking taylor expansion of im in re 1.387 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in re 1.387 * [taylor]: Taking taylor expansion of (hypot re im) in re 1.387 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.387 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 1.387 * [taylor]: Taking taylor expansion of (* re re) in re 1.387 * [taylor]: Taking taylor expansion of re in re 1.387 * [taylor]: Taking taylor expansion of re in re 1.387 * [taylor]: Taking taylor expansion of (* im im) in re 1.387 * [taylor]: Taking taylor expansion of im in re 1.387 * [taylor]: Taking taylor expansion of im in re 1.388 * [taylor]: Taking taylor expansion of (- re) in re 1.388 * [taylor]: Taking taylor expansion of re in re 1.388 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)) in re 1.388 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot re im)) (sqrt (hypot re im))) (- re)) 1.388 * [taylor]: Taking taylor expansion of (* (sqrt (hypot re im)) (sqrt (hypot re im))) in re 1.388 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in re 1.388 * [taylor]: Taking taylor expansion of (hypot re im) in re 1.388 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.388 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 1.388 * [taylor]: Taking taylor expansion of (* re re) in re 1.388 * [taylor]: Taking taylor expansion of re in re 1.388 * [taylor]: Taking taylor expansion of re in re 1.388 * [taylor]: Taking taylor expansion of (* im im) in re 1.388 * [taylor]: Taking taylor expansion of im in re 1.388 * [taylor]: Taking taylor expansion of im in re 1.389 * [taylor]: Taking taylor expansion of (sqrt (hypot re im)) in re 1.389 * [taylor]: Taking taylor expansion of (hypot re im) in re 1.389 * [taylor]: Rewrote expression to (sqrt (+ (* re re) (* im im))) 1.390 * [taylor]: Taking taylor expansion of (+ (* re re) (* im im)) in re 1.390 * [taylor]: Taking taylor expansion of (* re re) in re 1.390 * [taylor]: Taking taylor expansion of re in re 1.390 * [taylor]: Taking taylor expansion of re in re 1.390 * [taylor]: Taking taylor expansion of (* im im) in re 1.390 * [taylor]: Taking taylor expansion of im in re 1.390 * [taylor]: Taking taylor expansion of im in re 1.391 * [taylor]: Taking taylor expansion of (- re) in re 1.391 * [taylor]: Taking taylor expansion of re in re 1.391 * [taylor]: Taking taylor expansion of im in im 1.392 * [taylor]: Taking taylor expansion of -1 in im 1.396 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 1.396 * [taylor]: Taking taylor expansion of 1/2 in im 1.396 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.396 * [taylor]: Taking taylor expansion of im in im 1.401 * [taylor]: Taking taylor expansion of 0 in im 1.402 * [approximate]: Taking taylor expansion of (fma (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im))) (- (/ 1 re))) in (re im) around 0 1.402 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im))) (- (/ 1 re))) in im 1.402 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) (- (/ 1 re))) 1.402 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) in im 1.402 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in im 1.402 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 1.402 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.402 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 1.402 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.402 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.402 * [taylor]: Taking taylor expansion of re in im 1.402 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.402 * [taylor]: Taking taylor expansion of re in im 1.402 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.402 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.402 * [taylor]: Taking taylor expansion of im in im 1.403 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.403 * [taylor]: Taking taylor expansion of im in im 1.406 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in im 1.406 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in im 1.406 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.406 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in im 1.406 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.406 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.406 * [taylor]: Taking taylor expansion of re in im 1.406 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.406 * [taylor]: Taking taylor expansion of re in im 1.407 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.407 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.407 * [taylor]: Taking taylor expansion of im in im 1.407 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.407 * [taylor]: Taking taylor expansion of im in im 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 re)) in im 1.410 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.410 * [taylor]: Taking taylor expansion of re in im 1.410 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im))) (- (/ 1 re))) in re 1.410 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) (- (/ 1 re))) 1.410 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) in re 1.410 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in re 1.410 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 1.411 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.411 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 1.411 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.411 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.411 * [taylor]: Taking taylor expansion of re in re 1.411 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.411 * [taylor]: Taking taylor expansion of re in re 1.411 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.411 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.411 * [taylor]: Taking taylor expansion of im in re 1.411 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.411 * [taylor]: Taking taylor expansion of im in re 1.414 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in re 1.414 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 1.415 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.415 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 1.415 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.415 * [taylor]: Taking taylor expansion of re in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.415 * [taylor]: Taking taylor expansion of re in re 1.415 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.415 * [taylor]: Taking taylor expansion of im in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.415 * [taylor]: Taking taylor expansion of im in re 1.419 * [taylor]: Taking taylor expansion of (- (/ 1 re)) in re 1.419 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.419 * [taylor]: Taking taylor expansion of re in re 1.419 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im))) (- (/ 1 re))) in re 1.419 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) (- (/ 1 re))) 1.419 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ 1 re) (/ 1 im))) (sqrt (hypot (/ 1 re) (/ 1 im)))) in re 1.419 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in re 1.419 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 1.419 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.419 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 1.419 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.419 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.419 * [taylor]: Taking taylor expansion of re in re 1.420 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.420 * [taylor]: Taking taylor expansion of re in re 1.420 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.420 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.420 * [taylor]: Taking taylor expansion of im in re 1.420 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.420 * [taylor]: Taking taylor expansion of im in re 1.423 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ 1 re) (/ 1 im))) in re 1.423 * [taylor]: Taking taylor expansion of (hypot (/ 1 re) (/ 1 im)) in re 1.423 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) 1.424 * [taylor]: Taking taylor expansion of (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) in re 1.424 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.424 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.424 * [taylor]: Taking taylor expansion of re in re 1.424 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.424 * [taylor]: Taking taylor expansion of re in re 1.424 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.424 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.424 * [taylor]: Taking taylor expansion of im in re 1.424 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.424 * [taylor]: Taking taylor expansion of im in re 1.428 * [taylor]: Taking taylor expansion of (- (/ 1 re)) in re 1.428 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.428 * [taylor]: Taking taylor expansion of re in re 1.428 * [taylor]: Taking taylor expansion of 0 in im 1.429 * [taylor]: Taking taylor expansion of -1 in im 1.435 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.435 * [taylor]: Taking taylor expansion of +nan.0 in im 1.444 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.444 * [taylor]: Taking taylor expansion of +nan.0 in im 1.452 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0))) in im 1.452 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0)) in im 1.452 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow im 2))) in im 1.452 * [taylor]: Taking taylor expansion of +nan.0 in im 1.452 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.452 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.452 * [taylor]: Taking taylor expansion of im in im 1.453 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.453 * [taylor]: Taking taylor expansion of +nan.0 in im 1.455 * [approximate]: Taking taylor expansion of (fma (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im))) (/ 1 re)) in (re im) around 0 1.455 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im))) (/ 1 re)) in im 1.455 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) (/ 1 re)) 1.455 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) in im 1.455 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in im 1.455 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 1.455 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.455 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 1.455 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.455 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.455 * [taylor]: Taking taylor expansion of -1 in im 1.455 * [taylor]: Taking taylor expansion of re in im 1.455 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.455 * [taylor]: Taking taylor expansion of -1 in im 1.455 * [taylor]: Taking taylor expansion of re in im 1.456 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.456 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.456 * [taylor]: Taking taylor expansion of -1 in im 1.456 * [taylor]: Taking taylor expansion of im in im 1.456 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.456 * [taylor]: Taking taylor expansion of -1 in im 1.456 * [taylor]: Taking taylor expansion of im in im 1.459 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in im 1.459 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in im 1.460 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.460 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in im 1.460 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.460 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.460 * [taylor]: Taking taylor expansion of -1 in im 1.460 * [taylor]: Taking taylor expansion of re in im 1.460 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.460 * [taylor]: Taking taylor expansion of -1 in im 1.460 * [taylor]: Taking taylor expansion of re in im 1.460 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.460 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.460 * [taylor]: Taking taylor expansion of -1 in im 1.460 * [taylor]: Taking taylor expansion of im in im 1.460 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.460 * [taylor]: Taking taylor expansion of -1 in im 1.460 * [taylor]: Taking taylor expansion of im in im 1.464 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.464 * [taylor]: Taking taylor expansion of re in im 1.464 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im))) (/ 1 re)) in re 1.464 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) (/ 1 re)) 1.464 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) in re 1.464 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in re 1.464 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 1.464 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.464 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 1.464 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.464 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.464 * [taylor]: Taking taylor expansion of -1 in re 1.464 * [taylor]: Taking taylor expansion of re in re 1.464 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.464 * [taylor]: Taking taylor expansion of -1 in re 1.464 * [taylor]: Taking taylor expansion of re in re 1.465 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.465 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.465 * [taylor]: Taking taylor expansion of -1 in re 1.465 * [taylor]: Taking taylor expansion of im in re 1.465 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.465 * [taylor]: Taking taylor expansion of -1 in re 1.465 * [taylor]: Taking taylor expansion of im in re 1.468 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in re 1.468 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 1.468 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.468 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 1.468 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.468 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.468 * [taylor]: Taking taylor expansion of -1 in re 1.468 * [taylor]: Taking taylor expansion of re in re 1.469 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.469 * [taylor]: Taking taylor expansion of -1 in re 1.469 * [taylor]: Taking taylor expansion of re in re 1.469 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.469 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.469 * [taylor]: Taking taylor expansion of -1 in re 1.469 * [taylor]: Taking taylor expansion of im in re 1.469 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.469 * [taylor]: Taking taylor expansion of -1 in re 1.469 * [taylor]: Taking taylor expansion of im in re 1.472 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.473 * [taylor]: Taking taylor expansion of re in re 1.473 * [taylor]: Taking taylor expansion of (fma (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im))) (/ 1 re)) in re 1.476 * [taylor]: Rewrote expression to (+ (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) (/ 1 re)) 1.476 * [taylor]: Taking taylor expansion of (* (sqrt (hypot (/ -1 re) (/ -1 im))) (sqrt (hypot (/ -1 re) (/ -1 im)))) in re 1.476 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in re 1.476 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 1.476 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.476 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 1.476 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.476 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.476 * [taylor]: Taking taylor expansion of -1 in re 1.476 * [taylor]: Taking taylor expansion of re in re 1.476 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.476 * [taylor]: Taking taylor expansion of -1 in re 1.476 * [taylor]: Taking taylor expansion of re in re 1.477 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.477 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.477 * [taylor]: Taking taylor expansion of -1 in re 1.477 * [taylor]: Taking taylor expansion of im in re 1.477 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.477 * [taylor]: Taking taylor expansion of -1 in re 1.477 * [taylor]: Taking taylor expansion of im in re 1.480 * [taylor]: Taking taylor expansion of (sqrt (hypot (/ -1 re) (/ -1 im))) in re 1.480 * [taylor]: Taking taylor expansion of (hypot (/ -1 re) (/ -1 im)) in re 1.480 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im)))) 1.480 * [taylor]: Taking taylor expansion of (+ (* (/ -1 re) (/ -1 re)) (* (/ -1 im) (/ -1 im))) in re 1.480 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.480 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.480 * [taylor]: Taking taylor expansion of -1 in re 1.480 * [taylor]: Taking taylor expansion of re in re 1.481 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.481 * [taylor]: Taking taylor expansion of -1 in re 1.481 * [taylor]: Taking taylor expansion of re in re 1.481 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.481 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.481 * [taylor]: Taking taylor expansion of -1 in re 1.481 * [taylor]: Taking taylor expansion of im in re 1.481 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.481 * [taylor]: Taking taylor expansion of -1 in re 1.481 * [taylor]: Taking taylor expansion of im in re 1.484 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.484 * [taylor]: Taking taylor expansion of re in re 1.485 * [taylor]: Taking taylor expansion of 0 in im 1.486 * [taylor]: Taking taylor expansion of 1 in im 1.491 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.491 * [taylor]: Taking taylor expansion of +nan.0 in im 1.500 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.500 * [taylor]: Taking taylor expansion of +nan.0 in im 1.508 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0))) in im 1.508 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow im 2))) (- +nan.0)) in im 1.508 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow im 2))) in im 1.508 * [taylor]: Taking taylor expansion of +nan.0 in im 1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.508 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.508 * [taylor]: Taking taylor expansion of im in im 1.509 * [taylor]: Taking taylor expansion of (- +nan.0) in im 1.509 * [taylor]: Taking taylor expansion of +nan.0 in im 1.511 * * * [progress]: simplifying candidates 1.512 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (log1p (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (* (sqrt (hypot re im)) (sqrt (hypot re im))) (log (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (exp (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (* (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)))) (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (* (* (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (sqrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (sqrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (- im re) (- (+ (* +nan.0 (/ (pow im 2) (pow re 2))) (- re +nan.0))) (- (+ (* +nan.0 (/ (pow im 2) (pow re 2))) (- re +nan.0))) 1.512 * [simplify]: Sending expressions to egg_math: (expm1 (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (log1p (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (* (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1))) (log (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (exp (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (* (cbrt (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (cbrt (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0)))) (cbrt (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (* (* (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0)) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (sqrt (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (sqrt (fma (sqrt (hypot h0 h1)) (sqrt (hypot h0 h1)) (- h0))) (- h1 h0) (- (+ (* h2 (/ (pow h1 2) (pow h0 2))) (- h0 h2))) (- (+ (* h2 (/ (pow h1 2) (pow h0 2))) (- h0 h2))) 1.514 * * [simplify]: iteration 0 : 48 enodes (cost 100 ) 1.516 * * [simplify]: iteration 1 : 133 enodes (cost 85 ) 1.519 * * [simplify]: iteration 2 : 439 enodes (cost 82 ) 1.527 * * [simplify]: iteration 3 : 1931 enodes (cost 78 ) 1.563 * * [simplify]: iteration 4 : 5001 enodes (cost 78 ) 1.564 * [simplify]: Simplified to: (expm1 (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (log1p (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (hypot re im) (log (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (/ (exp (hypot re im)) (exp re)) (* (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re)))) (cbrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (pow (- (hypot re im) re) 3) (sqrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (sqrt (fma (sqrt (hypot re im)) (sqrt (hypot re im)) (- re))) (- im re) (+ (- (fma +nan.0 (/ (pow im 2) (pow re 2)) re)) +nan.0) (+ (- (fma +nan.0 (/ (pow im 2) (pow re 2)) re)) +nan.0) 1.564 * * * [progress]: adding candidates to table 1.604 * [progress]: [Phase 3 of 3] Extracting. 1.604 * * [regime]: Finding splitpoints for: (# # # # # # # #) 1.607 * * * [regime-changes]: Trying 3 branch expressions: ((* im im) im re) 1.607 * * * * [regimes]: Trying to branch on (* im im) from (# # # # # # # #) 1.638 * * * * [regimes]: Trying to branch on (* im im) from (# #) 1.653 * * * * [regimes]: Trying to branch on im from (# # # # # # # #) 1.704 * * * * [regimes]: Trying to branch on re from (# # # # # # # #) 1.766 * * * [regime]: Found split indices: #