20.145 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 0.025 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.026 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.028 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 0.028 * [simplify]: Simplified to: (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.031 * * * [progress]: localizing error 0.041 * * * [progress]: generating rewritten candidates 0.041 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.045 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.051 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.055 * * * [progress]: generating series expansions 0.055 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.056 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.056 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.056 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.056 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.056 * [taylor]: Taking taylor expansion of re in im 0.056 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.056 * [taylor]: Taking taylor expansion of im in im 0.056 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.056 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.056 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.056 * [taylor]: Taking taylor expansion of re in re 0.056 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.056 * [taylor]: Taking taylor expansion of im in re 0.057 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.057 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.057 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.057 * [taylor]: Taking taylor expansion of re in re 0.057 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.057 * [taylor]: Taking taylor expansion of im in re 0.058 * [taylor]: Taking taylor expansion of im in im 0.058 * [taylor]: Taking taylor expansion of 0 in im 0.059 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.059 * [taylor]: Taking taylor expansion of 1/2 in im 0.059 * [taylor]: Taking taylor expansion of im in im 0.062 * [taylor]: Taking taylor expansion of 0 in im 0.063 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.063 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.063 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.064 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.064 * [taylor]: Taking taylor expansion of im in im 0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.064 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.064 * [taylor]: Taking taylor expansion of re in im 0.068 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.068 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.068 * [taylor]: Taking taylor expansion of im in re 0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.068 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.068 * [taylor]: Taking taylor expansion of re in re 0.072 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.072 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.072 * [taylor]: Taking taylor expansion of im in re 0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.072 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.072 * [taylor]: Taking taylor expansion of re in re 0.076 * [taylor]: Taking taylor expansion of 1 in im 0.076 * [taylor]: Taking taylor expansion of 0 in im 0.079 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.079 * [taylor]: Taking taylor expansion of 1/2 in im 0.079 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.079 * [taylor]: Taking taylor expansion of im in im 0.084 * [taylor]: Taking taylor expansion of 0 in im 0.087 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.087 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.087 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.087 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.087 * [taylor]: Taking taylor expansion of im in im 0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.088 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.088 * [taylor]: Taking taylor expansion of re in im 0.091 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.091 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.091 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.091 * [taylor]: Taking taylor expansion of im in re 0.091 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.091 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.091 * [taylor]: Taking taylor expansion of re in re 0.093 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.093 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.093 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.093 * [taylor]: Taking taylor expansion of im in re 0.093 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.093 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.093 * [taylor]: Taking taylor expansion of re in re 0.096 * [taylor]: Taking taylor expansion of 1 in im 0.096 * [taylor]: Taking taylor expansion of 0 in im 0.098 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.098 * [taylor]: Taking taylor expansion of 1/2 in im 0.098 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.098 * [taylor]: Taking taylor expansion of im in im 0.101 * [taylor]: Taking taylor expansion of 0 in im 0.102 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.102 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in (re im) around 0 0.102 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in im 0.102 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 0.102 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.102 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.102 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.102 * [taylor]: Taking taylor expansion of re in im 0.102 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.102 * [taylor]: Taking taylor expansion of im in im 0.103 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.103 * [taylor]: Taking taylor expansion of 10.0 in im 0.104 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re 0.104 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 0.104 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.104 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.104 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.104 * [taylor]: Taking taylor expansion of re in re 0.104 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.104 * [taylor]: Taking taylor expansion of im in re 0.104 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.104 * [taylor]: Taking taylor expansion of 10.0 in re 0.105 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re 0.105 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 0.105 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.105 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.105 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.105 * [taylor]: Taking taylor expansion of re in re 0.105 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.105 * [taylor]: Taking taylor expansion of im in re 0.106 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.106 * [taylor]: Taking taylor expansion of 10.0 in re 0.106 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in im 0.106 * [taylor]: Taking taylor expansion of (log im) in im 0.106 * [taylor]: Taking taylor expansion of im in im 0.107 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.107 * [taylor]: Taking taylor expansion of 10.0 in im 0.110 * [taylor]: Taking taylor expansion of 0 in im 0.118 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im 0.118 * [taylor]: Taking taylor expansion of 1/2 in im 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im 0.118 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im 0.118 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.118 * [taylor]: Taking taylor expansion of 10.0 in im 0.118 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.118 * [taylor]: Taking taylor expansion of im in im 0.141 * [taylor]: Taking taylor expansion of 0 in im 0.142 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0 0.142 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im 0.142 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.142 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.142 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.142 * [taylor]: Taking taylor expansion of im in im 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.142 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.142 * [taylor]: Taking taylor expansion of re in im 0.144 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.144 * [taylor]: Taking taylor expansion of 10.0 in im 0.145 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re 0.145 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.145 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) 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 (/ 1 (pow re 2)) in re 0.146 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.146 * [taylor]: Taking taylor expansion of re in re 0.148 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.148 * [taylor]: Taking taylor expansion of 10.0 in re 0.149 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re 0.149 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.149 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.149 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.149 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.149 * [taylor]: Taking taylor expansion of im in re 0.149 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.149 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.149 * [taylor]: Taking taylor expansion of re in re 0.152 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.152 * [taylor]: Taking taylor expansion of 10.0 in re 0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im 0.153 * [taylor]: Taking taylor expansion of -1 in im 0.153 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im 0.153 * [taylor]: Taking taylor expansion of (log re) in im 0.153 * [taylor]: Taking taylor expansion of re in im 0.153 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.153 * [taylor]: Taking taylor expansion of 10.0 in im 0.157 * [taylor]: Taking taylor expansion of 0 in im 0.171 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im 0.171 * [taylor]: Taking taylor expansion of 1/2 in im 0.171 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im 0.171 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im 0.171 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.171 * [taylor]: Taking taylor expansion of 10.0 in im 0.171 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.171 * [taylor]: Taking taylor expansion of im in im 0.201 * [taylor]: Taking taylor expansion of 0 in im 0.202 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0 0.202 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im 0.202 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.202 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.202 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.202 * [taylor]: Taking taylor expansion of im in im 0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.202 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.202 * [taylor]: Taking taylor expansion of re in im 0.204 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.204 * [taylor]: Taking taylor expansion of 10.0 in im 0.206 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re 0.206 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.206 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.206 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.206 * [taylor]: Taking taylor expansion of im in re 0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.206 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.206 * [taylor]: Taking taylor expansion of re in re 0.208 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.208 * [taylor]: Taking taylor expansion of 10.0 in re 0.209 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re 0.209 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.209 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.209 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.209 * [taylor]: Taking taylor expansion of im in re 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.210 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.210 * [taylor]: Taking taylor expansion of re in re 0.212 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.212 * [taylor]: Taking taylor expansion of 10.0 in re 0.213 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im 0.213 * [taylor]: Taking taylor expansion of -1 in im 0.213 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im 0.213 * [taylor]: Taking taylor expansion of (log re) in im 0.213 * [taylor]: Taking taylor expansion of re in im 0.213 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.213 * [taylor]: Taking taylor expansion of 10.0 in im 0.223 * [taylor]: Taking taylor expansion of 0 in im 0.232 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im 0.232 * [taylor]: Taking taylor expansion of 1/2 in im 0.232 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im 0.232 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im 0.232 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.232 * [taylor]: Taking taylor expansion of 10.0 in im 0.232 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.232 * [taylor]: Taking taylor expansion of im in im 0.252 * [taylor]: Taking taylor expansion of 0 in im 0.252 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.252 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0 0.252 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.252 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.252 * [taylor]: Taking taylor expansion of re in im 0.252 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.252 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.252 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.252 * [taylor]: Taking taylor expansion of re in re 0.252 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.252 * [taylor]: Taking taylor expansion of im in re 0.252 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.252 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.252 * [taylor]: Taking taylor expansion of re in re 0.252 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.252 * [taylor]: Taking taylor expansion of im in re 0.253 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of 0 in im 0.254 * [taylor]: Taking taylor expansion of 1 in im 0.255 * [taylor]: Taking taylor expansion of 0 in im 0.257 * [taylor]: Taking taylor expansion of 0 in im 0.257 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0 0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.257 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.257 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.257 * [taylor]: Taking taylor expansion of im in im 0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.258 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.258 * [taylor]: Taking taylor expansion of re in im 0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.258 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.258 * [taylor]: Taking taylor expansion of im in re 0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.258 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.258 * [taylor]: Taking taylor expansion of re in re 0.259 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.259 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.259 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.259 * [taylor]: Taking taylor expansion of im in re 0.259 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.259 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.259 * [taylor]: Taking taylor expansion of re in re 0.260 * [taylor]: Taking taylor expansion of 1 in im 0.261 * [taylor]: Taking taylor expansion of 0 in im 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.262 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.262 * [taylor]: Taking taylor expansion of im in im 0.264 * [taylor]: Taking taylor expansion of 0 in im 0.266 * [taylor]: Taking taylor expansion of 0 in im 0.268 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.268 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.268 * [taylor]: Taking taylor expansion of im in im 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.268 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.268 * [taylor]: Taking taylor expansion of re in im 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.268 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.268 * [taylor]: Taking taylor expansion of im in re 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.268 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.268 * [taylor]: Taking taylor expansion of re in re 0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.269 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.269 * [taylor]: Taking taylor expansion of im in re 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.269 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.269 * [taylor]: Taking taylor expansion of re in re 0.270 * [taylor]: Taking taylor expansion of 1 in im 0.271 * [taylor]: Taking taylor expansion of 0 in im 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.272 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.272 * [taylor]: Taking taylor expansion of im in im 0.274 * [taylor]: Taking taylor expansion of 0 in im 0.276 * [taylor]: Taking taylor expansion of 0 in im 0.278 * * * [progress]: simplifying candidates 0.278 * [simplify]: Simplifying using # : (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))) (- (log (sqrt (+ (* re re) (* im im))))) (- (log 10.0)) (/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10.0)) (/ (log (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (log 10.0)) (/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10.0)) (/ (log (sqrt (- (* re re) (* im im)))) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))) (/ (log 10.0) (log (+ (* re re) (* im im)))) (+ (pow (* re re) 3) (pow (* im im) 3)) (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (- (* re re) (* im im)) im re (* -1 re) (/ (log im) (log 10.0)) (* -1 (/ (log (/ 1 re)) (log 10.0))) (* -1 (/ (log (/ -1 re)) (log 10.0))) (+ (pow re 2) (pow im 2)) (+ (pow re 2) (pow im 2)) (+ (pow re 2) (pow im 2)) 0.281 * * [simplify]: iteration 0 : 126 enodes (cost 138 ) 0.284 * * [simplify]: iteration 1 : 402 enodes (cost 134 ) 0.289 * * [simplify]: iteration 2 : 1024 enodes (cost 128 ) 0.310 * * [simplify]: iteration 3 : 3969 enodes (cost 126 ) 0.403 * * [simplify]: iteration 4 : 5001 enodes (cost 126 ) 0.404 * [simplify]: Simplified to: (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))) (- (log (sqrt (+ (* re re) (* im im))))) (- (log 10.0)) (/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10.0)) (/ (log (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (log 10.0)) (/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10.0)) (/ (log (sqrt (- (* re re) (* im im)))) (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))) (/ (log 10.0) (log (+ (* re re) (* im im)))) (fma im (pow im 5) (pow re 6)) (fma im (- (pow im 3) (* (pow re 2) im)) (pow re 4)) (fma (- (pow im 3)) im (pow re 4)) (- (* re re) (* im im)) im re (* -1 re) (/ (log im) (log 10.0)) (/ (log re) (log 10.0)) (* -1 (/ (log (/ -1 re)) (log 10.0))) (fma re re (* im im)) (fma re re (* im im)) (fma re re (* im im)) 0.404 * * * [progress]: adding candidates to table 0.466 * * [progress]: iteration 2 / 4 0.466 * * * [progress]: picking best candidate 0.474 * * * * [pick]: Picked # 0.474 * * * [progress]: localizing error 0.484 * * * [progress]: generating rewritten candidates 0.485 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.487 * * * [progress]: generating series expansions 0.487 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.488 * [approximate]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in (im re) around 0 0.488 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in re 0.488 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 0.488 * [taylor]: Taking taylor expansion of (hypot im re) in re 0.488 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.488 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 0.488 * [taylor]: Taking taylor expansion of (* im im) in re 0.488 * [taylor]: Taking taylor expansion of im in re 0.488 * [taylor]: Taking taylor expansion of im in re 0.488 * [taylor]: Taking taylor expansion of (* re re) in re 0.488 * [taylor]: Taking taylor expansion of re in re 0.488 * [taylor]: Taking taylor expansion of re in re 0.489 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.489 * [taylor]: Taking taylor expansion of 10.0 in re 0.490 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 0.490 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.490 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.490 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.490 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.490 * [taylor]: Taking taylor expansion of (* im im) in im 0.490 * [taylor]: Taking taylor expansion of im in im 0.490 * [taylor]: Taking taylor expansion of im in im 0.490 * [taylor]: Taking taylor expansion of (* re re) in im 0.490 * [taylor]: Taking taylor expansion of re in im 0.490 * [taylor]: Taking taylor expansion of re in im 0.491 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.491 * [taylor]: Taking taylor expansion of 10.0 in im 0.491 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 0.492 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.492 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.492 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.492 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.492 * [taylor]: Taking taylor expansion of (* im im) in im 0.492 * [taylor]: Taking taylor expansion of im in im 0.492 * [taylor]: Taking taylor expansion of im in im 0.492 * [taylor]: Taking taylor expansion of (* re re) in im 0.492 * [taylor]: Taking taylor expansion of re in im 0.492 * [taylor]: Taking taylor expansion of re in im 0.493 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.493 * [taylor]: Taking taylor expansion of 10.0 in im 0.493 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in re 0.493 * [taylor]: Taking taylor expansion of (log re) in re 0.493 * [taylor]: Taking taylor expansion of re in re 0.494 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.494 * [taylor]: Taking taylor expansion of 10.0 in re 0.497 * [taylor]: Taking taylor expansion of 0 in re 0.505 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 0.505 * [taylor]: Taking taylor expansion of 1/2 in re 0.505 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 0.505 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 0.505 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.505 * [taylor]: Taking taylor expansion of re in re 0.505 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.505 * [taylor]: Taking taylor expansion of 10.0 in re 0.524 * [taylor]: Taking taylor expansion of 0 in re 0.524 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in (im re) around 0 0.524 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in re 0.524 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 0.524 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 0.525 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.525 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 0.525 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.525 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.525 * [taylor]: Taking taylor expansion of im in re 0.525 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.525 * [taylor]: Taking taylor expansion of im in re 0.525 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.525 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.525 * [taylor]: Taking taylor expansion of re in re 0.525 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.525 * [taylor]: Taking taylor expansion of re in re 0.528 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.528 * [taylor]: Taking taylor expansion of 10.0 in re 0.529 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 0.529 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 0.529 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 0.529 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.529 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 0.529 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.529 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.529 * [taylor]: Taking taylor expansion of im in im 0.530 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.530 * [taylor]: Taking taylor expansion of im in im 0.530 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.530 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.530 * [taylor]: Taking taylor expansion of re in im 0.530 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.530 * [taylor]: Taking taylor expansion of re in im 0.533 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.533 * [taylor]: Taking taylor expansion of 10.0 in im 0.534 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 0.534 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 0.534 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 0.534 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.534 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 0.534 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.534 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.534 * [taylor]: Taking taylor expansion of im in im 0.534 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.534 * [taylor]: Taking taylor expansion of im in im 0.535 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.535 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.535 * [taylor]: Taking taylor expansion of re in im 0.535 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.535 * [taylor]: Taking taylor expansion of re in im 0.538 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.538 * [taylor]: Taking taylor expansion of 10.0 in im 0.539 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 0.539 * [taylor]: Taking taylor expansion of -1 in re 0.539 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 0.539 * [taylor]: Taking taylor expansion of (log im) in re 0.539 * [taylor]: Taking taylor expansion of im in re 0.539 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.539 * [taylor]: Taking taylor expansion of 10.0 in re 0.543 * [taylor]: Taking taylor expansion of 0 in re 0.552 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 0.552 * [taylor]: Taking taylor expansion of 1/2 in re 0.552 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 0.552 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 0.552 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.552 * [taylor]: Taking taylor expansion of re in re 0.552 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.552 * [taylor]: Taking taylor expansion of 10.0 in re 0.580 * [taylor]: Taking taylor expansion of 0 in re 0.580 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in (im re) around 0 0.580 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in re 0.581 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 0.581 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 0.581 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.581 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 0.581 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.581 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.581 * [taylor]: Taking taylor expansion of -1 in re 0.581 * [taylor]: Taking taylor expansion of im in re 0.581 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.581 * [taylor]: Taking taylor expansion of -1 in re 0.581 * [taylor]: Taking taylor expansion of im in re 0.581 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.581 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.581 * [taylor]: Taking taylor expansion of -1 in re 0.581 * [taylor]: Taking taylor expansion of re in re 0.581 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.581 * [taylor]: Taking taylor expansion of -1 in re 0.581 * [taylor]: Taking taylor expansion of re in re 0.584 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.584 * [taylor]: Taking taylor expansion of 10.0 in re 0.585 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 0.585 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 0.585 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 0.586 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.586 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 0.586 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.586 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.586 * [taylor]: Taking taylor expansion of -1 in im 0.586 * [taylor]: Taking taylor expansion of im in im 0.586 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.586 * [taylor]: Taking taylor expansion of -1 in im 0.586 * [taylor]: Taking taylor expansion of im in im 0.586 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.586 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.586 * [taylor]: Taking taylor expansion of -1 in im 0.586 * [taylor]: Taking taylor expansion of re in im 0.586 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.586 * [taylor]: Taking taylor expansion of -1 in im 0.586 * [taylor]: Taking taylor expansion of re in im 0.589 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.589 * [taylor]: Taking taylor expansion of 10.0 in im 0.590 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 0.590 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 0.590 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 0.591 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.591 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 0.591 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of im in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of im in im 0.591 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of re in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of re in im 0.594 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.594 * [taylor]: Taking taylor expansion of 10.0 in im 0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 0.595 * [taylor]: Taking taylor expansion of -1 in re 0.595 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 0.595 * [taylor]: Taking taylor expansion of (log im) in re 0.595 * [taylor]: Taking taylor expansion of im in re 0.596 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.596 * [taylor]: Taking taylor expansion of 10.0 in re 0.599 * [taylor]: Taking taylor expansion of 0 in re 0.609 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 0.609 * [taylor]: Taking taylor expansion of 1/2 in re 0.609 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 0.609 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 0.609 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.609 * [taylor]: Taking taylor expansion of re in re 0.609 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.609 * [taylor]: Taking taylor expansion of 10.0 in re 0.630 * [taylor]: Taking taylor expansion of 0 in re 0.630 * * * [progress]: simplifying candidates 0.630 * [simplify]: Simplifying using # : (- (log (hypot im re))) (- (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (hypot im re))) (/ (log re) (log 10.0)) (* -1 (/ (log (/ 1 im)) (log 10.0))) (* -1 (/ (log (/ -1 im)) (log 10.0))) 0.633 * * [simplify]: iteration 0 : 38 enodes (cost 24 ) 0.634 * * [simplify]: iteration 1 : 58 enodes (cost 24 ) 0.636 * * [simplify]: iteration 2 : 98 enodes (cost 22 ) 0.638 * * [simplify]: iteration 3 : 301 enodes (cost 22 ) 0.647 * * [simplify]: iteration 4 : 1391 enodes (cost 22 ) 0.684 * * [simplify]: iteration 5 : 5002 enodes (cost 22 ) 0.685 * [simplify]: Simplified to: (- (log (hypot im re))) (- (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (hypot im re))) (/ (log re) (log 10.0)) (/ (log im) (log 10.0)) (* -1 (/ (log (/ -1 im)) (log 10.0))) 0.685 * * * [progress]: adding candidates to table 0.704 * * [progress]: iteration 3 / 4 0.704 * * * [progress]: picking best candidate 0.710 * * * * [pick]: Picked # 0.710 * * * [progress]: localizing error 0.719 * * * [progress]: generating rewritten candidates 0.719 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.721 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.724 * * * [progress]: generating series expansions 0.724 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.725 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in (im re) around 0 0.725 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in re 0.725 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.725 * [taylor]: Taking taylor expansion of 10.0 in re 0.725 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 0.725 * [taylor]: Taking taylor expansion of (hypot im re) in re 0.726 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.726 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 0.726 * [taylor]: Taking taylor expansion of (* im im) in re 0.726 * [taylor]: Taking taylor expansion of im in re 0.726 * [taylor]: Taking taylor expansion of im in re 0.726 * [taylor]: Taking taylor expansion of (* re re) in re 0.726 * [taylor]: Taking taylor expansion of re in re 0.726 * [taylor]: Taking taylor expansion of re in re 0.727 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in im 0.727 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.727 * [taylor]: Taking taylor expansion of 10.0 in im 0.727 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.727 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.727 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.727 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.727 * [taylor]: Taking taylor expansion of (* im im) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.728 * [taylor]: Taking taylor expansion of (* re re) in im 0.728 * [taylor]: Taking taylor expansion of re in im 0.728 * [taylor]: Taking taylor expansion of re in im 0.729 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in im 0.729 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.729 * [taylor]: Taking taylor expansion of 10.0 in im 0.729 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.729 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.729 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.729 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.729 * [taylor]: Taking taylor expansion of (* im im) in im 0.729 * [taylor]: Taking taylor expansion of im in im 0.729 * [taylor]: Taking taylor expansion of im in im 0.729 * [taylor]: Taking taylor expansion of (* re re) in im 0.729 * [taylor]: Taking taylor expansion of re in im 0.729 * [taylor]: Taking taylor expansion of re in im 0.731 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in re 0.731 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.731 * [taylor]: Taking taylor expansion of 10.0 in re 0.731 * [taylor]: Taking taylor expansion of (log re) in re 0.731 * [taylor]: Taking taylor expansion of re in re 0.734 * [taylor]: Taking taylor expansion of 0 in re 0.740 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow re 2) (pow (log re) 2))))) in re 0.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow re 2) (pow (log re) 2)))) in re 0.740 * [taylor]: Taking taylor expansion of 1/2 in re 0.740 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow re 2) (pow (log re) 2))) in re 0.740 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.740 * [taylor]: Taking taylor expansion of 10.0 in re 0.741 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow (log re) 2)) in re 0.741 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.741 * [taylor]: Taking taylor expansion of re in re 0.741 * [taylor]: Taking taylor expansion of (pow (log re) 2) in re 0.741 * [taylor]: Taking taylor expansion of (log re) in re 0.741 * [taylor]: Taking taylor expansion of re in re 0.762 * [taylor]: Taking taylor expansion of 0 in re 0.762 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in (im re) around 0 0.762 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in re 0.762 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.762 * [taylor]: Taking taylor expansion of 10.0 in re 0.763 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 0.763 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 0.763 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.763 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 0.763 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.763 * [taylor]: Taking taylor expansion of re in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.763 * [taylor]: Taking taylor expansion of re in re 0.767 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in im 0.767 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.767 * [taylor]: Taking taylor expansion of 10.0 in im 0.767 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 0.767 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 0.767 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.767 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 0.767 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.767 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.767 * [taylor]: Taking taylor expansion of im in im 0.768 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.768 * [taylor]: Taking taylor expansion of im in im 0.768 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.768 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.768 * [taylor]: Taking taylor expansion of re in im 0.768 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.768 * [taylor]: Taking taylor expansion of re in im 0.771 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in im 0.771 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.771 * [taylor]: Taking taylor expansion of 10.0 in im 0.772 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 0.772 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 0.772 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 0.772 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 0.772 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 0.772 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.772 * [taylor]: Taking taylor expansion of im in im 0.772 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.772 * [taylor]: Taking taylor expansion of im in im 0.772 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.772 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.772 * [taylor]: Taking taylor expansion of re in im 0.773 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.773 * [taylor]: Taking taylor expansion of re in im 0.780 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log im))) in re 0.780 * [taylor]: Taking taylor expansion of -1 in re 0.780 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in re 0.780 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.780 * [taylor]: Taking taylor expansion of 10.0 in re 0.781 * [taylor]: Taking taylor expansion of (log im) in re 0.781 * [taylor]: Taking taylor expansion of im in re 0.784 * [taylor]: Taking taylor expansion of 0 in re 0.792 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2))))) in re 0.792 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2)))) in re 0.792 * [taylor]: Taking taylor expansion of 1/2 in re 0.792 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow re 2))) in re 0.792 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.792 * [taylor]: Taking taylor expansion of 10.0 in re 0.793 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow re 2)) in re 0.793 * [taylor]: Taking taylor expansion of (pow (log im) 2) in re 0.793 * [taylor]: Taking taylor expansion of (log im) in re 0.793 * [taylor]: Taking taylor expansion of im in re 0.793 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.793 * [taylor]: Taking taylor expansion of re in re 0.813 * [taylor]: Taking taylor expansion of 0 in re 0.814 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in (im re) around 0 0.814 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in re 0.814 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.814 * [taylor]: Taking taylor expansion of 10.0 in re 0.814 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 0.814 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 0.814 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.814 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 0.814 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 0.814 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.814 * [taylor]: Taking taylor expansion of -1 in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.814 * [taylor]: Taking taylor expansion of -1 in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.814 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.815 * [taylor]: Taking taylor expansion of -1 in re 0.815 * [taylor]: Taking taylor expansion of re in re 0.815 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.815 * [taylor]: Taking taylor expansion of -1 in re 0.815 * [taylor]: Taking taylor expansion of re in re 0.819 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in im 0.819 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.819 * [taylor]: Taking taylor expansion of 10.0 in im 0.819 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 0.819 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 0.819 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.819 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 0.819 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.819 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.819 * [taylor]: Taking taylor expansion of -1 in im 0.819 * [taylor]: Taking taylor expansion of im in im 0.819 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.819 * [taylor]: Taking taylor expansion of -1 in im 0.819 * [taylor]: Taking taylor expansion of im in im 0.820 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.820 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.820 * [taylor]: Taking taylor expansion of -1 in im 0.820 * [taylor]: Taking taylor expansion of re in im 0.820 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.820 * [taylor]: Taking taylor expansion of -1 in im 0.820 * [taylor]: Taking taylor expansion of re in im 0.823 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in im 0.823 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.823 * [taylor]: Taking taylor expansion of 10.0 in im 0.824 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 0.824 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 0.824 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 0.824 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 0.824 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 0.824 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.824 * [taylor]: Taking taylor expansion of -1 in im 0.824 * [taylor]: Taking taylor expansion of im in im 0.824 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.824 * [taylor]: Taking taylor expansion of -1 in im 0.824 * [taylor]: Taking taylor expansion of im in im 0.824 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.825 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.825 * [taylor]: Taking taylor expansion of -1 in im 0.825 * [taylor]: Taking taylor expansion of re in im 0.825 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.825 * [taylor]: Taking taylor expansion of -1 in im 0.825 * [taylor]: Taking taylor expansion of re in im 0.828 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log im))) in re 0.828 * [taylor]: Taking taylor expansion of -1 in re 0.828 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in re 0.828 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.828 * [taylor]: Taking taylor expansion of 10.0 in re 0.829 * [taylor]: Taking taylor expansion of (log im) in re 0.829 * [taylor]: Taking taylor expansion of im in re 0.832 * [taylor]: Taking taylor expansion of 0 in re 0.841 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2))))) in re 0.841 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2)))) in re 0.841 * [taylor]: Taking taylor expansion of 1/2 in re 0.841 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow re 2))) in re 0.841 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.841 * [taylor]: Taking taylor expansion of 10.0 in re 0.841 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow re 2)) in re 0.841 * [taylor]: Taking taylor expansion of (pow (log im) 2) in re 0.841 * [taylor]: Taking taylor expansion of (log im) in re 0.841 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.841 * [taylor]: Taking taylor expansion of re in re 0.992 * [taylor]: Taking taylor expansion of 0 in re 0.992 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.993 * [approximate]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in (im re) around 0 0.993 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in re 0.993 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 0.993 * [taylor]: Taking taylor expansion of (hypot im re) in re 0.993 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.993 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 0.993 * [taylor]: Taking taylor expansion of (* im im) in re 0.993 * [taylor]: Taking taylor expansion of im in re 0.993 * [taylor]: Taking taylor expansion of im in re 0.993 * [taylor]: Taking taylor expansion of (* re re) in re 0.993 * [taylor]: Taking taylor expansion of re in re 0.993 * [taylor]: Taking taylor expansion of re in re 0.994 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.994 * [taylor]: Taking taylor expansion of 10.0 in re 0.995 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 0.995 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.995 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.995 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.995 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.995 * [taylor]: Taking taylor expansion of (* im im) in im 0.995 * [taylor]: Taking taylor expansion of im in im 0.995 * [taylor]: Taking taylor expansion of im in im 0.995 * [taylor]: Taking taylor expansion of (* re re) in im 0.995 * [taylor]: Taking taylor expansion of re in im 0.995 * [taylor]: Taking taylor expansion of re in im 0.996 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.996 * [taylor]: Taking taylor expansion of 10.0 in im 0.997 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 0.997 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 0.997 * [taylor]: Taking taylor expansion of (hypot im re) in im 0.997 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 0.997 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 0.997 * [taylor]: Taking taylor expansion of (* im im) in im 0.997 * [taylor]: Taking taylor expansion of im in im 0.997 * [taylor]: Taking taylor expansion of im in im 0.997 * [taylor]: Taking taylor expansion of (* re re) in im 0.997 * [taylor]: Taking taylor expansion of re in im 0.997 * [taylor]: Taking taylor expansion of re in im 0.998 * [taylor]: Taking taylor expansion of (log 10.0) in im 0.998 * [taylor]: Taking taylor expansion of 10.0 in im 0.999 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in re 0.999 * [taylor]: Taking taylor expansion of (log re) in re 0.999 * [taylor]: Taking taylor expansion of re in re 0.999 * [taylor]: Taking taylor expansion of (log 10.0) in re 0.999 * [taylor]: Taking taylor expansion of 10.0 in re 1.003 * [taylor]: Taking taylor expansion of 0 in re 1.010 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.010 * [taylor]: Taking taylor expansion of 1/2 in re 1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.010 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.010 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.010 * [taylor]: Taking taylor expansion of re in re 1.010 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.010 * [taylor]: Taking taylor expansion of 10.0 in re 1.029 * [taylor]: Taking taylor expansion of 0 in re 1.029 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in (im re) around 0 1.029 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in re 1.029 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 1.029 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 1.029 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.029 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 1.030 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.030 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.030 * [taylor]: Taking taylor expansion of im in re 1.030 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.030 * [taylor]: Taking taylor expansion of im in re 1.030 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.030 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.030 * [taylor]: Taking taylor expansion of re in re 1.030 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.030 * [taylor]: Taking taylor expansion of re in re 1.033 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.033 * [taylor]: Taking taylor expansion of 10.0 in re 1.034 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.034 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.034 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.034 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.034 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.034 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.034 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.034 * [taylor]: Taking taylor expansion of im in im 1.034 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.034 * [taylor]: Taking taylor expansion of im in im 1.035 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.035 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.035 * [taylor]: Taking taylor expansion of re in im 1.035 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.035 * [taylor]: Taking taylor expansion of re in im 1.037 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.037 * [taylor]: Taking taylor expansion of 10.0 in im 1.039 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.039 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.039 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.039 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.039 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.039 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.039 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.039 * [taylor]: Taking taylor expansion of im in im 1.039 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.039 * [taylor]: Taking taylor expansion of im in im 1.040 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.040 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.040 * [taylor]: Taking taylor expansion of re in im 1.040 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.040 * [taylor]: Taking taylor expansion of re in im 1.042 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.042 * [taylor]: Taking taylor expansion of 10.0 in im 1.043 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.043 * [taylor]: Taking taylor expansion of -1 in re 1.043 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.043 * [taylor]: Taking taylor expansion of (log im) in re 1.043 * [taylor]: Taking taylor expansion of im in re 1.044 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.044 * [taylor]: Taking taylor expansion of 10.0 in re 1.047 * [taylor]: Taking taylor expansion of 0 in re 1.056 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.056 * [taylor]: Taking taylor expansion of 1/2 in re 1.056 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.056 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.056 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.056 * [taylor]: Taking taylor expansion of re in re 1.056 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.056 * [taylor]: Taking taylor expansion of 10.0 in re 1.081 * [taylor]: Taking taylor expansion of 0 in re 1.081 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in (im re) around 0 1.081 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in re 1.081 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 1.081 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 1.082 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.082 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 1.082 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.082 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.082 * [taylor]: Taking taylor expansion of -1 in re 1.082 * [taylor]: Taking taylor expansion of im in re 1.082 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.082 * [taylor]: Taking taylor expansion of -1 in re 1.082 * [taylor]: Taking taylor expansion of im in re 1.082 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.082 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.082 * [taylor]: Taking taylor expansion of -1 in re 1.082 * [taylor]: Taking taylor expansion of re in re 1.082 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.082 * [taylor]: Taking taylor expansion of -1 in re 1.082 * [taylor]: Taking taylor expansion of re in re 1.085 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.085 * [taylor]: Taking taylor expansion of 10.0 in re 1.086 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.086 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.086 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.086 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.086 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.086 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.086 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.086 * [taylor]: Taking taylor expansion of -1 in im 1.086 * [taylor]: Taking taylor expansion of im in im 1.087 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.087 * [taylor]: Taking taylor expansion of -1 in im 1.087 * [taylor]: Taking taylor expansion of im in im 1.087 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.087 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.087 * [taylor]: Taking taylor expansion of -1 in im 1.087 * [taylor]: Taking taylor expansion of re in im 1.087 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.087 * [taylor]: Taking taylor expansion of -1 in im 1.087 * [taylor]: Taking taylor expansion of re in im 1.090 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.090 * [taylor]: Taking taylor expansion of 10.0 in im 1.091 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.091 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.091 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.092 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.092 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.092 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.092 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.092 * [taylor]: Taking taylor expansion of -1 in im 1.092 * [taylor]: Taking taylor expansion of im in im 1.092 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.092 * [taylor]: Taking taylor expansion of -1 in im 1.092 * [taylor]: Taking taylor expansion of im in im 1.092 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.092 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.092 * [taylor]: Taking taylor expansion of -1 in im 1.092 * [taylor]: Taking taylor expansion of re in im 1.092 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.092 * [taylor]: Taking taylor expansion of -1 in im 1.092 * [taylor]: Taking taylor expansion of re in im 1.095 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.095 * [taylor]: Taking taylor expansion of 10.0 in im 1.096 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.096 * [taylor]: Taking taylor expansion of -1 in re 1.096 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.096 * [taylor]: Taking taylor expansion of (log im) in re 1.096 * [taylor]: Taking taylor expansion of im in re 1.096 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.096 * [taylor]: Taking taylor expansion of 10.0 in re 1.100 * [taylor]: Taking taylor expansion of 0 in re 1.109 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.109 * [taylor]: Taking taylor expansion of 1/2 in re 1.109 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.109 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.109 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.109 * [taylor]: Taking taylor expansion of re in re 1.109 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.109 * [taylor]: Taking taylor expansion of 10.0 in re 1.130 * [taylor]: Taking taylor expansion of 0 in re 1.131 * * * [progress]: simplifying candidates 1.131 * [simplify]: Simplifying using # : (- (log 10.0)) (- (log (hypot im re))) (/ 1 (log (hypot im re))) (/ (log (hypot im re)) (log 10.0)) (- 1) (- (/ (log 10.0) (log (hypot im re)))) (/ 1 (/ (log 10.0) (log (hypot im re)))) (/ (/ (log 10.0) (log (hypot im re))) 1) (/ 1 (log 10.0)) (/ 1 (log 10.0)) (/ 1 (- (log 10.0))) (/ 1 1) (/ (log 10.0) (log re)) (* -1 (/ (log 10.0) (log (/ 1 im)))) (* -1 (/ (log 10.0) (log (/ -1 im)))) (/ (log re) (log 10.0)) (* -1 (/ (log (/ 1 im)) (log 10.0))) (* -1 (/ (log (/ -1 im)) (log 10.0))) 1.134 * * [simplify]: iteration 0 : 62 enodes (cost 60 ) 1.135 * * [simplify]: iteration 1 : 119 enodes (cost 59 ) 1.138 * * [simplify]: iteration 2 : 257 enodes (cost 56 ) 1.143 * * [simplify]: iteration 3 : 861 enodes (cost 53 ) 1.163 * * [simplify]: iteration 4 : 3309 enodes (cost 53 ) 1.274 * * [simplify]: iteration 5 : 5001 enodes (cost 53 ) 1.275 * [simplify]: Simplified to: (* -1 (log 10.0)) (- (log (hypot im re))) (/ 1 (log (hypot im re))) (/ (log (hypot im re)) (log 10.0)) -1 (- (/ (log 10.0) (log (hypot im re)))) (/ (log (hypot im re)) (log 10.0)) (/ (log 10.0) (log (hypot im re))) (/ 1 (log 10.0)) (/ 1 (log 10.0)) (/ -1 (log 10.0)) 1 (/ (log 10.0) (log re)) (/ (log 10.0) (log im)) (* -1 (/ (log 10.0) (log (/ -1 im)))) (/ (log re) (log 10.0)) (/ (log im) (log 10.0)) (* -1 (/ (log (/ -1 im)) (log 10.0))) 1.275 * * * [progress]: adding candidates to table 1.313 * * [progress]: iteration 4 / 4 1.313 * * * [progress]: picking best candidate 1.321 * * * * [pick]: Picked # 1.321 * * * [progress]: localizing error 1.331 * * * [progress]: generating rewritten candidates 1.331 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 1.333 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.337 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.341 * * * [progress]: generating series expansions 1.341 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 1.341 * [approximate]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in (im re) around 0 1.341 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in re 1.341 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 1.341 * [taylor]: Taking taylor expansion of (hypot im re) in re 1.341 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.341 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 1.341 * [taylor]: Taking taylor expansion of (* im im) in re 1.341 * [taylor]: Taking taylor expansion of im in re 1.341 * [taylor]: Taking taylor expansion of im in re 1.341 * [taylor]: Taking taylor expansion of (* re re) in re 1.341 * [taylor]: Taking taylor expansion of re in re 1.341 * [taylor]: Taking taylor expansion of re in re 1.343 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.343 * [taylor]: Taking taylor expansion of 10.0 in re 1.343 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 1.343 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.343 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.343 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.343 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.343 * [taylor]: Taking taylor expansion of (* im im) in im 1.343 * [taylor]: Taking taylor expansion of im in im 1.343 * [taylor]: Taking taylor expansion of im in im 1.343 * [taylor]: Taking taylor expansion of (* re re) in im 1.343 * [taylor]: Taking taylor expansion of re in im 1.343 * [taylor]: Taking taylor expansion of re in im 1.345 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.345 * [taylor]: Taking taylor expansion of 10.0 in im 1.345 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 1.345 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.345 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.345 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.345 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.345 * [taylor]: Taking taylor expansion of (* im im) in im 1.345 * [taylor]: Taking taylor expansion of im in im 1.345 * [taylor]: Taking taylor expansion of im in im 1.345 * [taylor]: Taking taylor expansion of (* re re) in im 1.345 * [taylor]: Taking taylor expansion of re in im 1.345 * [taylor]: Taking taylor expansion of re in im 1.347 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.347 * [taylor]: Taking taylor expansion of 10.0 in im 1.347 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in re 1.347 * [taylor]: Taking taylor expansion of (log re) in re 1.347 * [taylor]: Taking taylor expansion of re in re 1.347 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.347 * [taylor]: Taking taylor expansion of 10.0 in re 1.351 * [taylor]: Taking taylor expansion of 0 in re 1.361 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.361 * [taylor]: Taking taylor expansion of 1/2 in re 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.361 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.361 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.361 * [taylor]: Taking taylor expansion of re in re 1.361 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.361 * [taylor]: Taking taylor expansion of 10.0 in re 1.380 * [taylor]: Taking taylor expansion of 0 in re 1.381 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in (im re) around 0 1.381 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in re 1.381 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 1.381 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 1.381 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.381 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 1.381 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.381 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.381 * [taylor]: Taking taylor expansion of im in re 1.381 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.381 * [taylor]: Taking taylor expansion of im in re 1.381 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.381 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.381 * [taylor]: Taking taylor expansion of re in re 1.381 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.381 * [taylor]: Taking taylor expansion of re in re 1.384 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.384 * [taylor]: Taking taylor expansion of 10.0 in re 1.386 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.386 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.386 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.386 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.386 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.386 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.386 * [taylor]: Taking taylor expansion of im in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.386 * [taylor]: Taking taylor expansion of im in im 1.386 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.386 * [taylor]: Taking taylor expansion of re in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.386 * [taylor]: Taking taylor expansion of re in im 1.389 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.389 * [taylor]: Taking taylor expansion of 10.0 in im 1.390 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.390 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.390 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.390 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.390 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.390 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.390 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.390 * [taylor]: Taking taylor expansion of im in im 1.391 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.391 * [taylor]: Taking taylor expansion of im in im 1.391 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.391 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.391 * [taylor]: Taking taylor expansion of re in im 1.391 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.391 * [taylor]: Taking taylor expansion of re in im 1.394 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.394 * [taylor]: Taking taylor expansion of 10.0 in im 1.395 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.395 * [taylor]: Taking taylor expansion of -1 in re 1.395 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.395 * [taylor]: Taking taylor expansion of (log im) in re 1.395 * [taylor]: Taking taylor expansion of im in re 1.395 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.395 * [taylor]: Taking taylor expansion of 10.0 in re 1.398 * [taylor]: Taking taylor expansion of 0 in re 1.407 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.407 * [taylor]: Taking taylor expansion of 1/2 in re 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.407 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.407 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.407 * [taylor]: Taking taylor expansion of re in re 1.407 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.407 * [taylor]: Taking taylor expansion of 10.0 in re 1.428 * [taylor]: Taking taylor expansion of 0 in re 1.428 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in (im re) around 0 1.428 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in re 1.428 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 1.428 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 1.429 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.429 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 1.429 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.429 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.429 * [taylor]: Taking taylor expansion of -1 in re 1.429 * [taylor]: Taking taylor expansion of im in re 1.429 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.429 * [taylor]: Taking taylor expansion of -1 in re 1.429 * [taylor]: Taking taylor expansion of im in re 1.429 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.429 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.429 * [taylor]: Taking taylor expansion of -1 in re 1.429 * [taylor]: Taking taylor expansion of re in re 1.429 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.429 * [taylor]: Taking taylor expansion of -1 in re 1.429 * [taylor]: Taking taylor expansion of re in re 1.435 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.435 * [taylor]: Taking taylor expansion of 10.0 in re 1.436 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.436 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.436 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.437 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.437 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.437 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.437 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.437 * [taylor]: Taking taylor expansion of -1 in im 1.437 * [taylor]: Taking taylor expansion of im in im 1.437 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.437 * [taylor]: Taking taylor expansion of -1 in im 1.437 * [taylor]: Taking taylor expansion of im in im 1.437 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.437 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.437 * [taylor]: Taking taylor expansion of -1 in im 1.437 * [taylor]: Taking taylor expansion of re in im 1.437 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.437 * [taylor]: Taking taylor expansion of -1 in im 1.437 * [taylor]: Taking taylor expansion of re in im 1.440 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.440 * [taylor]: Taking taylor expansion of 10.0 in im 1.441 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.441 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.441 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.441 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.441 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.441 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.441 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.441 * [taylor]: Taking taylor expansion of -1 in im 1.441 * [taylor]: Taking taylor expansion of im in im 1.442 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.442 * [taylor]: Taking taylor expansion of -1 in im 1.442 * [taylor]: Taking taylor expansion of im in im 1.442 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.442 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.442 * [taylor]: Taking taylor expansion of -1 in im 1.442 * [taylor]: Taking taylor expansion of re in im 1.442 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.442 * [taylor]: Taking taylor expansion of -1 in im 1.442 * [taylor]: Taking taylor expansion of re in im 1.445 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.445 * [taylor]: Taking taylor expansion of 10.0 in im 1.446 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.446 * [taylor]: Taking taylor expansion of -1 in re 1.446 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.446 * [taylor]: Taking taylor expansion of (log im) in re 1.446 * [taylor]: Taking taylor expansion of im in re 1.446 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.446 * [taylor]: Taking taylor expansion of 10.0 in re 1.450 * [taylor]: Taking taylor expansion of 0 in re 1.458 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.458 * [taylor]: Taking taylor expansion of 1/2 in re 1.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.458 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.458 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.458 * [taylor]: Taking taylor expansion of re in re 1.458 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.458 * [taylor]: Taking taylor expansion of 10.0 in re 1.479 * [taylor]: Taking taylor expansion of 0 in re 1.479 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.480 * [approximate]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in (im re) around 0 1.480 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in re 1.480 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 1.480 * [taylor]: Taking taylor expansion of (hypot im re) in re 1.480 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.480 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 1.480 * [taylor]: Taking taylor expansion of (* im im) in re 1.480 * [taylor]: Taking taylor expansion of im in re 1.480 * [taylor]: Taking taylor expansion of im in re 1.480 * [taylor]: Taking taylor expansion of (* re re) in re 1.480 * [taylor]: Taking taylor expansion of re in re 1.480 * [taylor]: Taking taylor expansion of re in re 1.481 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.481 * [taylor]: Taking taylor expansion of 10.0 in re 1.482 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 1.482 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.482 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.482 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.482 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.482 * [taylor]: Taking taylor expansion of (* im im) in im 1.482 * [taylor]: Taking taylor expansion of im in im 1.482 * [taylor]: Taking taylor expansion of im in im 1.482 * [taylor]: Taking taylor expansion of (* re re) in im 1.482 * [taylor]: Taking taylor expansion of re in im 1.482 * [taylor]: Taking taylor expansion of re in im 1.483 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.483 * [taylor]: Taking taylor expansion of 10.0 in im 1.484 * [taylor]: Taking taylor expansion of (/ (log (hypot im re)) (log 10.0)) in im 1.484 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.484 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.484 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.484 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.484 * [taylor]: Taking taylor expansion of (* im im) in im 1.484 * [taylor]: Taking taylor expansion of im in im 1.484 * [taylor]: Taking taylor expansion of im in im 1.484 * [taylor]: Taking taylor expansion of (* re re) in im 1.484 * [taylor]: Taking taylor expansion of re in im 1.484 * [taylor]: Taking taylor expansion of re in im 1.485 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.485 * [taylor]: Taking taylor expansion of 10.0 in im 1.486 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in re 1.486 * [taylor]: Taking taylor expansion of (log re) in re 1.486 * [taylor]: Taking taylor expansion of re in re 1.486 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.486 * [taylor]: Taking taylor expansion of 10.0 in re 1.489 * [taylor]: Taking taylor expansion of 0 in re 1.497 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.497 * [taylor]: Taking taylor expansion of 1/2 in re 1.497 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.497 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.497 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.497 * [taylor]: Taking taylor expansion of re in re 1.497 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.497 * [taylor]: Taking taylor expansion of 10.0 in re 1.518 * [taylor]: Taking taylor expansion of 0 in re 1.519 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in (im re) around 0 1.519 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in re 1.519 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 1.519 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 1.519 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.519 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 1.519 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.519 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.519 * [taylor]: Taking taylor expansion of im in re 1.519 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.519 * [taylor]: Taking taylor expansion of im in re 1.519 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.519 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.519 * [taylor]: Taking taylor expansion of re in re 1.520 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.520 * [taylor]: Taking taylor expansion of re in re 1.522 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.522 * [taylor]: Taking taylor expansion of 10.0 in re 1.524 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.524 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.524 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.524 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.524 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.524 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.524 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.524 * [taylor]: Taking taylor expansion of im in im 1.524 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.524 * [taylor]: Taking taylor expansion of im in im 1.524 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.524 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.524 * [taylor]: Taking taylor expansion of re in im 1.524 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.524 * [taylor]: Taking taylor expansion of re in im 1.527 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.527 * [taylor]: Taking taylor expansion of 10.0 in im 1.528 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ 1 im) (/ 1 re))) (log 10.0)) in im 1.528 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.528 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.528 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.528 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.528 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.528 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.528 * [taylor]: Taking taylor expansion of im in im 1.529 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.529 * [taylor]: Taking taylor expansion of im in im 1.529 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.529 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.529 * [taylor]: Taking taylor expansion of re in im 1.529 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.529 * [taylor]: Taking taylor expansion of re in im 1.532 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.532 * [taylor]: Taking taylor expansion of 10.0 in im 1.533 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.533 * [taylor]: Taking taylor expansion of -1 in re 1.533 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.533 * [taylor]: Taking taylor expansion of (log im) in re 1.533 * [taylor]: Taking taylor expansion of im in re 1.533 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.533 * [taylor]: Taking taylor expansion of 10.0 in re 1.536 * [taylor]: Taking taylor expansion of 0 in re 1.545 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.545 * [taylor]: Taking taylor expansion of 1/2 in re 1.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.545 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.545 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.545 * [taylor]: Taking taylor expansion of re in re 1.545 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.545 * [taylor]: Taking taylor expansion of 10.0 in re 1.566 * [taylor]: Taking taylor expansion of 0 in re 1.567 * [approximate]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in (im re) around 0 1.567 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in re 1.567 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 1.567 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 1.567 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.567 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 1.567 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.567 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.567 * [taylor]: Taking taylor expansion of -1 in re 1.567 * [taylor]: Taking taylor expansion of im in re 1.567 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.567 * [taylor]: Taking taylor expansion of -1 in re 1.567 * [taylor]: Taking taylor expansion of im in re 1.567 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.567 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.567 * [taylor]: Taking taylor expansion of -1 in re 1.567 * [taylor]: Taking taylor expansion of re in re 1.567 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.568 * [taylor]: Taking taylor expansion of -1 in re 1.568 * [taylor]: Taking taylor expansion of re in re 1.571 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.571 * [taylor]: Taking taylor expansion of 10.0 in re 1.572 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.572 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.572 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.572 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.572 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.572 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.572 * [taylor]: Taking taylor expansion of -1 in im 1.572 * [taylor]: Taking taylor expansion of im in im 1.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.572 * [taylor]: Taking taylor expansion of -1 in im 1.572 * [taylor]: Taking taylor expansion of im in im 1.572 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.573 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.573 * [taylor]: Taking taylor expansion of -1 in im 1.573 * [taylor]: Taking taylor expansion of re in im 1.573 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.573 * [taylor]: Taking taylor expansion of -1 in im 1.573 * [taylor]: Taking taylor expansion of re in im 1.575 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.575 * [taylor]: Taking taylor expansion of 10.0 in im 1.577 * [taylor]: Taking taylor expansion of (/ (log (hypot (/ -1 im) (/ -1 re))) (log 10.0)) in im 1.577 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.577 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.577 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.577 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.577 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.577 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.577 * [taylor]: Taking taylor expansion of -1 in im 1.577 * [taylor]: Taking taylor expansion of im in im 1.577 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.577 * [taylor]: Taking taylor expansion of -1 in im 1.577 * [taylor]: Taking taylor expansion of im in im 1.577 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.577 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.577 * [taylor]: Taking taylor expansion of -1 in im 1.577 * [taylor]: Taking taylor expansion of re in im 1.577 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.577 * [taylor]: Taking taylor expansion of -1 in im 1.577 * [taylor]: Taking taylor expansion of re in im 1.580 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.580 * [taylor]: Taking taylor expansion of 10.0 in im 1.581 * [taylor]: Taking taylor expansion of (* -1 (/ (log im) (log 10.0))) in re 1.581 * [taylor]: Taking taylor expansion of -1 in re 1.581 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in re 1.581 * [taylor]: Taking taylor expansion of (log im) in re 1.582 * [taylor]: Taking taylor expansion of im in re 1.582 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.582 * [taylor]: Taking taylor expansion of 10.0 in re 1.585 * [taylor]: Taking taylor expansion of 0 in re 1.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow re 2) (log 10.0)))) in re 1.599 * [taylor]: Taking taylor expansion of 1/2 in re 1.599 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (log 10.0))) in re 1.599 * [taylor]: Taking taylor expansion of (* (pow re 2) (log 10.0)) in re 1.599 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.599 * [taylor]: Taking taylor expansion of re in re 1.599 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.599 * [taylor]: Taking taylor expansion of 10.0 in re 1.620 * [taylor]: Taking taylor expansion of 0 in re 1.621 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.621 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in (im re) around 0 1.621 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in re 1.621 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.621 * [taylor]: Taking taylor expansion of 10.0 in re 1.622 * [taylor]: Taking taylor expansion of (log (hypot im re)) in re 1.622 * [taylor]: Taking taylor expansion of (hypot im re) in re 1.622 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.622 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in re 1.622 * [taylor]: Taking taylor expansion of (* im im) in re 1.622 * [taylor]: Taking taylor expansion of im in re 1.622 * [taylor]: Taking taylor expansion of im in re 1.622 * [taylor]: Taking taylor expansion of (* re re) in re 1.622 * [taylor]: Taking taylor expansion of re in re 1.622 * [taylor]: Taking taylor expansion of re in re 1.623 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in im 1.623 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.623 * [taylor]: Taking taylor expansion of 10.0 in im 1.624 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.624 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.624 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.624 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.624 * [taylor]: Taking taylor expansion of (* im im) in im 1.624 * [taylor]: Taking taylor expansion of im in im 1.624 * [taylor]: Taking taylor expansion of im in im 1.624 * [taylor]: Taking taylor expansion of (* re re) in im 1.624 * [taylor]: Taking taylor expansion of re in im 1.624 * [taylor]: Taking taylor expansion of re in im 1.625 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot im re))) in im 1.625 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.625 * [taylor]: Taking taylor expansion of 10.0 in im 1.625 * [taylor]: Taking taylor expansion of (log (hypot im re)) in im 1.625 * [taylor]: Taking taylor expansion of (hypot im re) in im 1.626 * [taylor]: Rewrote expression to (sqrt (+ (* im im) (* re re))) 1.626 * [taylor]: Taking taylor expansion of (+ (* im im) (* re re)) in im 1.626 * [taylor]: Taking taylor expansion of (* im im) in im 1.626 * [taylor]: Taking taylor expansion of im in im 1.626 * [taylor]: Taking taylor expansion of im in im 1.626 * [taylor]: Taking taylor expansion of (* re re) in im 1.626 * [taylor]: Taking taylor expansion of re in im 1.626 * [taylor]: Taking taylor expansion of re in im 1.627 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in re 1.627 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.627 * [taylor]: Taking taylor expansion of 10.0 in re 1.627 * [taylor]: Taking taylor expansion of (log re) in re 1.627 * [taylor]: Taking taylor expansion of re in re 1.630 * [taylor]: Taking taylor expansion of 0 in re 1.637 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow re 2) (pow (log re) 2))))) in re 1.637 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow re 2) (pow (log re) 2)))) in re 1.637 * [taylor]: Taking taylor expansion of 1/2 in re 1.637 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow re 2) (pow (log re) 2))) in re 1.637 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.637 * [taylor]: Taking taylor expansion of 10.0 in re 1.638 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow (log re) 2)) in re 1.638 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.638 * [taylor]: Taking taylor expansion of re in re 1.638 * [taylor]: Taking taylor expansion of (pow (log re) 2) in re 1.638 * [taylor]: Taking taylor expansion of (log re) in re 1.638 * [taylor]: Taking taylor expansion of re in re 1.659 * [taylor]: Taking taylor expansion of 0 in re 1.660 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in (im re) around 0 1.660 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in re 1.660 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.660 * [taylor]: Taking taylor expansion of 10.0 in re 1.660 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in re 1.660 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in re 1.660 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.660 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in re 1.660 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in re 1.660 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.660 * [taylor]: Taking taylor expansion of im in re 1.660 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.660 * [taylor]: Taking taylor expansion of im in re 1.660 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 1.660 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.660 * [taylor]: Taking taylor expansion of re in re 1.661 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.661 * [taylor]: Taking taylor expansion of re in re 1.665 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in im 1.665 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.665 * [taylor]: Taking taylor expansion of 10.0 in im 1.665 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.665 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.665 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.665 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.665 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.665 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.665 * [taylor]: Taking taylor expansion of im in im 1.665 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.665 * [taylor]: Taking taylor expansion of im in im 1.666 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.666 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.666 * [taylor]: Taking taylor expansion of re in im 1.666 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.666 * [taylor]: Taking taylor expansion of re in im 1.669 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ 1 im) (/ 1 re)))) in im 1.669 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.669 * [taylor]: Taking taylor expansion of 10.0 in im 1.670 * [taylor]: Taking taylor expansion of (log (hypot (/ 1 im) (/ 1 re))) in im 1.670 * [taylor]: Taking taylor expansion of (hypot (/ 1 im) (/ 1 re)) in im 1.670 * [taylor]: Rewrote expression to (sqrt (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re)))) 1.670 * [taylor]: Taking taylor expansion of (+ (* (/ 1 im) (/ 1 im)) (* (/ 1 re) (/ 1 re))) in im 1.670 * [taylor]: Taking taylor expansion of (* (/ 1 im) (/ 1 im)) in im 1.670 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.670 * [taylor]: Taking taylor expansion of im in im 1.670 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.670 * [taylor]: Taking taylor expansion of im in im 1.670 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 1.670 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.670 * [taylor]: Taking taylor expansion of re in im 1.670 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.670 * [taylor]: Taking taylor expansion of re in im 1.674 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log im))) in re 1.674 * [taylor]: Taking taylor expansion of -1 in re 1.674 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in re 1.674 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.674 * [taylor]: Taking taylor expansion of 10.0 in re 1.674 * [taylor]: Taking taylor expansion of (log im) in re 1.674 * [taylor]: Taking taylor expansion of im in re 1.681 * [taylor]: Taking taylor expansion of 0 in re 1.690 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2))))) in re 1.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2)))) in re 1.690 * [taylor]: Taking taylor expansion of 1/2 in re 1.690 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow re 2))) in re 1.690 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.690 * [taylor]: Taking taylor expansion of 10.0 in re 1.690 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow re 2)) in re 1.691 * [taylor]: Taking taylor expansion of (pow (log im) 2) in re 1.691 * [taylor]: Taking taylor expansion of (log im) in re 1.691 * [taylor]: Taking taylor expansion of im in re 1.691 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.691 * [taylor]: Taking taylor expansion of re in re 1.712 * [taylor]: Taking taylor expansion of 0 in re 1.713 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in (im re) around 0 1.713 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in re 1.713 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.713 * [taylor]: Taking taylor expansion of 10.0 in re 1.713 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in re 1.713 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in re 1.713 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.713 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in re 1.713 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in re 1.713 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.713 * [taylor]: Taking taylor expansion of -1 in re 1.713 * [taylor]: Taking taylor expansion of im in re 1.713 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.713 * [taylor]: Taking taylor expansion of -1 in re 1.713 * [taylor]: Taking taylor expansion of im in re 1.713 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 1.713 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.713 * [taylor]: Taking taylor expansion of -1 in re 1.713 * [taylor]: Taking taylor expansion of re in re 1.714 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.714 * [taylor]: Taking taylor expansion of -1 in re 1.714 * [taylor]: Taking taylor expansion of re in re 1.718 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in im 1.718 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.718 * [taylor]: Taking taylor expansion of 10.0 in im 1.718 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.718 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.718 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.718 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.718 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.718 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.718 * [taylor]: Taking taylor expansion of -1 in im 1.718 * [taylor]: Taking taylor expansion of im in im 1.719 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.719 * [taylor]: Taking taylor expansion of -1 in im 1.719 * [taylor]: Taking taylor expansion of im in im 1.719 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.719 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.719 * [taylor]: Taking taylor expansion of -1 in im 1.719 * [taylor]: Taking taylor expansion of re in im 1.719 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.719 * [taylor]: Taking taylor expansion of -1 in im 1.719 * [taylor]: Taking taylor expansion of re in im 1.723 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (hypot (/ -1 im) (/ -1 re)))) in im 1.723 * [taylor]: Taking taylor expansion of (log 10.0) in im 1.723 * [taylor]: Taking taylor expansion of 10.0 in im 1.723 * [taylor]: Taking taylor expansion of (log (hypot (/ -1 im) (/ -1 re))) in im 1.723 * [taylor]: Taking taylor expansion of (hypot (/ -1 im) (/ -1 re)) in im 1.723 * [taylor]: Rewrote expression to (sqrt (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re)))) 1.723 * [taylor]: Taking taylor expansion of (+ (* (/ -1 im) (/ -1 im)) (* (/ -1 re) (/ -1 re))) in im 1.723 * [taylor]: Taking taylor expansion of (* (/ -1 im) (/ -1 im)) in im 1.723 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.723 * [taylor]: Taking taylor expansion of -1 in im 1.723 * [taylor]: Taking taylor expansion of im in im 1.724 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.724 * [taylor]: Taking taylor expansion of -1 in im 1.724 * [taylor]: Taking taylor expansion of im in im 1.724 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 1.724 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.724 * [taylor]: Taking taylor expansion of -1 in im 1.724 * [taylor]: Taking taylor expansion of re in im 1.724 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.724 * [taylor]: Taking taylor expansion of -1 in im 1.724 * [taylor]: Taking taylor expansion of re in im 1.728 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log im))) in re 1.728 * [taylor]: Taking taylor expansion of -1 in re 1.728 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in re 1.728 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.728 * [taylor]: Taking taylor expansion of 10.0 in re 1.728 * [taylor]: Taking taylor expansion of (log im) in re 1.728 * [taylor]: Taking taylor expansion of im in re 1.731 * [taylor]: Taking taylor expansion of 0 in re 1.740 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2))))) in re 1.740 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow re 2)))) in re 1.740 * [taylor]: Taking taylor expansion of 1/2 in re 1.740 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow re 2))) in re 1.740 * [taylor]: Taking taylor expansion of (log 10.0) in re 1.740 * [taylor]: Taking taylor expansion of 10.0 in re 1.741 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow re 2)) in re 1.741 * [taylor]: Taking taylor expansion of (pow (log im) 2) in re 1.741 * [taylor]: Taking taylor expansion of (log im) in re 1.741 * [taylor]: Taking taylor expansion of im in re 1.741 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.741 * [taylor]: Taking taylor expansion of re in re 1.762 * [taylor]: Taking taylor expansion of 0 in re 1.766 * * * [progress]: simplifying candidates 1.766 * [simplify]: Simplifying using # : (- (log (hypot im re))) (- (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (hypot im re))) (- -1) (- 1) (- (/ 1 (/ (log (hypot im re)) (log 10.0)))) (/ 1 (/ 1 (/ (log (hypot im re)) (log 10.0)))) (/ (/ 1 (/ (log (hypot im re)) (log 10.0))) 1) (/ 1 1) (/ 1 (/ 1 (log (hypot im re)))) (/ 1 (/ 1 (- (log (hypot im re))))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (- 1)) (/ 1 1) (/ 1 (/ 1 (log (hypot im re)))) (- 1) (- (/ (log (hypot im re)) (log 10.0))) (/ 1 (/ (log (hypot im re)) (log 10.0))) (/ (/ (log (hypot im re)) (log 10.0)) 1) (/ 1 (log (hypot im re))) (/ 1 (log (hypot im re))) (/ 1 (- (log (hypot im re)))) (/ 1 1) (/ (log re) (log 10.0)) (* -1 (/ (log (/ 1 im)) (log 10.0))) (* -1 (/ (log (/ -1 im)) (log 10.0))) (/ (log re) (log 10.0)) (* -1 (/ (log (/ 1 im)) (log 10.0))) (* -1 (/ (log (/ -1 im)) (log 10.0))) (/ (log 10.0) (log re)) (* -1 (/ (log 10.0) (log (/ 1 im)))) (* -1 (/ (log 10.0) (log (/ -1 im)))) 1.769 * * [simplify]: iteration 0 : 76 enodes (cost 101 ) 1.772 * * [simplify]: iteration 1 : 200 enodes (cost 99 ) 1.775 * * [simplify]: iteration 2 : 507 enodes (cost 94 ) 1.786 * * [simplify]: iteration 3 : 1825 enodes (cost 86 ) 1.819 * * [simplify]: iteration 4 : 5001 enodes (cost 86 ) 1.820 * [simplify]: Simplified to: (- (log (hypot im re))) (* -1 (log 10.0)) (/ 1 (log 10.0)) (/ (log 10.0) (log (hypot im re))) 1 -1 (/ (* -1 (log 10.0)) (log (hypot im re))) (/ (log (hypot im re)) (log 10.0)) (/ (log 10.0) (log (hypot im re))) 1 (log (hypot im re)) (- (log (hypot im re))) 1 1 -1 1 (log (hypot im re)) -1 (- (/ (log (hypot im re)) (log 10.0))) (/ (log 10.0) (log (hypot im re))) (/ (log (hypot im re)) (log 10.0)) (/ 1 (log (hypot im re))) (/ 1 (log (hypot im re))) (/ -1 (log (hypot im re))) 1 (/ (log re) (log 10.0)) (/ (log im) (log 10.0)) (* -1 (/ (log (/ -1 im)) (log 10.0))) (/ (log re) (log 10.0)) (/ (log im) (log 10.0)) (* -1 (/ (log (/ -1 im)) (log 10.0))) (/ (log 10.0) (log re)) (/ (log 10.0) (log im)) (* -1 (/ (log 10.0) (log (/ -1 im)))) 1.820 * * * [progress]: adding candidates to table 1.889 * [progress]: [Phase 3 of 3] Extracting. 1.889 * * [regime]: Finding splitpoints for: (# # # # #) 1.891 * * * [regime-changes]: Trying 4 branch expressions: ((* im im) (* re re) im re) 1.891 * * * * [regimes]: Trying to branch on (* im im) from (# # # # #) 1.913 * * * * [regimes]: Trying to branch on (* re re) from (# # # # #) 1.932 * * * * [regimes]: Trying to branch on im from (# # # # #) 1.955 * * * * [regimes]: Trying to branch on re from (# # # # #) 1.976 * * * [regime]: Found split indices: #