28.704 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
0.023 * * [simplify]: iteration  0 :  11  enodes  (cost  7 )
0.024 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.024 * [simplify]: Simplified to:
   (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
0.025 * * [progress]: iteration 1 / 4
0.025 * * * [progress]: picking best candidate
0.027 * * * * [pick]: Picked  #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))>
0.027 * * * [progress]: localizing error
0.041 * * * [progress]: generating rewritten candidates
0.041 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.044 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.050 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.054 * * * [progress]: generating series expansions
0.054 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.054 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.054 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.054 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.054 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.054 * [taylor]: Taking taylor expansion of re in im
0.055 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.055 * [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.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.057 * [taylor]: Taking taylor expansion of im in re
0.057 * [taylor]: Taking taylor expansion of im in im
0.057 * [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.061 * [taylor]: Taking taylor expansion of 0 in im
0.061 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.062 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.062 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.062 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.062 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.062 * [taylor]: Taking taylor expansion of im in im
0.062 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.062 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.062 * [taylor]: Taking taylor expansion of re in im
0.064 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.064 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.064 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.064 * [taylor]: Taking taylor expansion of im in re
0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.064 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.064 * [taylor]: Taking taylor expansion of re in re
0.067 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.067 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.067 * [taylor]: Taking taylor expansion of im in re
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.067 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.067 * [taylor]: Taking taylor expansion of re in re
0.070 * [taylor]: Taking taylor expansion of 1 in im
0.070 * [taylor]: Taking taylor expansion of 0 in im
0.072 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.072 * [taylor]: Taking taylor expansion of 1/2 in im
0.072 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.072 * [taylor]: Taking taylor expansion of im in im
0.075 * [taylor]: Taking taylor expansion of 0 in im
0.076 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.076 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.076 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.076 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.076 * [taylor]: Taking taylor expansion of im in im
0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.077 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.077 * [taylor]: Taking taylor expansion of re in im
0.079 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.079 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.079 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.079 * [taylor]: Taking taylor expansion of im in re
0.079 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.079 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.079 * [taylor]: Taking taylor expansion of re in re
0.081 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.081 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.081 * [taylor]: Taking taylor expansion of im in re
0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.081 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.081 * [taylor]: Taking taylor expansion of re in re
0.084 * [taylor]: Taking taylor expansion of 1 in im
0.084 * [taylor]: Taking taylor expansion of 0 in im
0.086 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.086 * [taylor]: Taking taylor expansion of 1/2 in im
0.086 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.086 * [taylor]: Taking taylor expansion of im in im
0.089 * [taylor]: Taking taylor expansion of 0 in im
0.090 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.091 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in (re im) around 0
0.091 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in im
0.091 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.091 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.091 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.091 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.091 * [taylor]: Taking taylor expansion of re in im
0.091 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.091 * [taylor]: Taking taylor expansion of im in im
0.091 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.091 * [taylor]: Taking taylor expansion of 10.0 in im
0.092 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.092 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.092 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.092 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.092 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.092 * [taylor]: Taking taylor expansion of re in re
0.092 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.092 * [taylor]: Taking taylor expansion of im in re
0.092 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.093 * [taylor]: Taking taylor expansion of 10.0 in re
0.093 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.093 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.093 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.093 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 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.093 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.093 * [taylor]: Taking taylor expansion of im in re
0.094 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.094 * [taylor]: Taking taylor expansion of 10.0 in re
0.094 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in im
0.094 * [taylor]: Taking taylor expansion of (log im) in im
0.094 * [taylor]: Taking taylor expansion of im in im
0.095 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.095 * [taylor]: Taking taylor expansion of 10.0 in im
0.098 * [taylor]: Taking taylor expansion of 0 in im
0.105 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.105 * [taylor]: Taking taylor expansion of 1/2 in im
0.105 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.105 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.105 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.105 * [taylor]: Taking taylor expansion of 10.0 in im
0.106 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.106 * [taylor]: Taking taylor expansion of im in im
0.129 * [taylor]: Taking taylor expansion of 0 in im
0.130 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.130 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.130 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.130 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.130 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.130 * [taylor]: Taking taylor expansion of im in im
0.131 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.131 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.131 * [taylor]: Taking taylor expansion of re in im
0.133 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.133 * [taylor]: Taking taylor expansion of 10.0 in im
0.134 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.134 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.134 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.135 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.135 * [taylor]: Taking taylor expansion of im in re
0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.135 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.135 * [taylor]: Taking taylor expansion of re in re
0.137 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.137 * [taylor]: Taking taylor expansion of 10.0 in re
0.138 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.138 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.138 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.138 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.138 * [taylor]: Taking taylor expansion of im in re
0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.139 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.139 * [taylor]: Taking taylor expansion of re in re
0.141 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.141 * [taylor]: Taking taylor expansion of 10.0 in re
0.142 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.142 * [taylor]: Taking taylor expansion of -1 in im
0.142 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.142 * [taylor]: Taking taylor expansion of (log re) in im
0.142 * [taylor]: Taking taylor expansion of re in im
0.142 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.142 * [taylor]: Taking taylor expansion of 10.0 in im
0.146 * [taylor]: Taking taylor expansion of 0 in im
0.154 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.154 * [taylor]: Taking taylor expansion of 1/2 in im
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.154 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.154 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.154 * [taylor]: Taking taylor expansion of 10.0 in im
0.155 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.155 * [taylor]: Taking taylor expansion of im in im
0.175 * [taylor]: Taking taylor expansion of 0 in im
0.176 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.176 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.176 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.176 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.176 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.176 * [taylor]: Taking taylor expansion of im in im
0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.176 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.176 * [taylor]: Taking taylor expansion of re in im
0.179 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.179 * [taylor]: Taking taylor expansion of 10.0 in im
0.180 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.180 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.180 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.180 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.180 * [taylor]: Taking taylor expansion of im in re
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.180 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.180 * [taylor]: Taking taylor expansion of re in re
0.182 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.182 * [taylor]: Taking taylor expansion of 10.0 in re
0.184 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.184 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.184 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.184 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.184 * [taylor]: Taking taylor expansion of im in re
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.184 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.184 * [taylor]: Taking taylor expansion of re in re
0.186 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.186 * [taylor]: Taking taylor expansion of 10.0 in re
0.188 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.188 * [taylor]: Taking taylor expansion of -1 in im
0.188 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.188 * [taylor]: Taking taylor expansion of (log re) in im
0.188 * [taylor]: Taking taylor expansion of re in im
0.188 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.188 * [taylor]: Taking taylor expansion of 10.0 in im
0.191 * [taylor]: Taking taylor expansion of 0 in im
0.200 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.200 * [taylor]: Taking taylor expansion of 1/2 in im
0.200 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.200 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.200 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.200 * [taylor]: Taking taylor expansion of 10.0 in im
0.200 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.200 * [taylor]: Taking taylor expansion of im in im
0.225 * [taylor]: Taking taylor expansion of 0 in im
0.226 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.226 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
0.226 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.226 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.226 * [taylor]: Taking taylor expansion of re in im
0.226 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.226 * [taylor]: Taking taylor expansion of im in im
0.226 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.226 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.226 * [taylor]: Taking taylor expansion of re in re
0.226 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.226 * [taylor]: Taking taylor expansion of im in re
0.226 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.226 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.226 * [taylor]: Taking taylor expansion of re in re
0.226 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.226 * [taylor]: Taking taylor expansion of im in re
0.226 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.226 * [taylor]: Taking taylor expansion of im in im
0.227 * [taylor]: Taking taylor expansion of 0 in im
0.228 * [taylor]: Taking taylor expansion of 1 in im
0.229 * [taylor]: Taking taylor expansion of 0 in im
0.231 * [taylor]: Taking taylor expansion of 0 in im
0.231 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.231 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.231 * [taylor]: Taking taylor expansion of im in im
0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.232 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.232 * [taylor]: Taking taylor expansion of re in im
0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.232 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.232 * [taylor]: Taking taylor expansion of im in re
0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.232 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.232 * [taylor]: Taking taylor expansion of re in re
0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.233 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.233 * [taylor]: Taking taylor expansion of im in re
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.233 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.233 * [taylor]: Taking taylor expansion of re in re
0.234 * [taylor]: Taking taylor expansion of 1 in im
0.235 * [taylor]: Taking taylor expansion of 0 in im
0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.236 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.236 * [taylor]: Taking taylor expansion of im in im
0.238 * [taylor]: Taking taylor expansion of 0 in im
0.240 * [taylor]: Taking taylor expansion of 0 in im
0.242 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.242 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.242 * [taylor]: Taking taylor expansion of im in im
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.242 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.242 * [taylor]: Taking taylor expansion of re in im
0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.242 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.242 * [taylor]: Taking taylor expansion of im in re
0.242 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.243 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.243 * [taylor]: Taking taylor expansion of re in re
0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.243 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.243 * [taylor]: Taking taylor expansion of im in re
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.243 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.243 * [taylor]: Taking taylor expansion of re in re
0.244 * [taylor]: Taking taylor expansion of 1 in im
0.245 * [taylor]: Taking taylor expansion of 0 in im
0.246 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.246 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.246 * [taylor]: Taking taylor expansion of im in im
0.248 * [taylor]: Taking taylor expansion of 0 in im
0.251 * [taylor]: Taking taylor expansion of 0 in im
0.252 * * * [progress]: simplifying candidates
0.252 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.255 * * [simplify]: iteration  0 :  120  enodes  (cost  142 )
0.258 * * [simplify]: iteration  1 :  360  enodes  (cost  138 )
0.263 * * [simplify]: iteration  2 :  892  enodes  (cost  136 )
0.281 * * [simplify]: iteration  3 :  3575  enodes  (cost  136 )
0.374 * * [simplify]: iteration  4 :  5001  enodes  (cost  136 )
0.375 * [simplify]: Simplified to:
   (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))
  (- (pow im 4) (- (* (* re re) (* im im)) (pow re 4)))
  (+ (* (- (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)))
  (+ (pow re 2) (pow im 2))
  (+ (pow re 2) (pow im 2))
  (+ (pow re 2) (pow im 2))
0.375 * * * [progress]: adding candidates to table
0.436 * * [progress]: iteration 2 / 4
0.436 * * * [progress]: picking best candidate
0.447 * * * * [pick]: Picked  #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))>
0.447 * * * [progress]: localizing error
0.459 * * * [progress]: generating rewritten candidates
0.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.463 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.466 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.471 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
0.476 * * * [progress]: generating series expansions
0.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.477 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.477 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.477 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.477 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.477 * [taylor]: Taking taylor expansion of re in im
0.477 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.477 * [taylor]: Taking taylor expansion of im in im
0.477 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.477 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.478 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.478 * [taylor]: Taking taylor expansion of re in re
0.478 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.478 * [taylor]: Taking taylor expansion of im in re
0.478 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.478 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.478 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.478 * [taylor]: Taking taylor expansion of re in re
0.478 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.478 * [taylor]: Taking taylor expansion of im in re
0.479 * [taylor]: Taking taylor expansion of im in im
0.479 * [taylor]: Taking taylor expansion of 0 in im
0.480 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.480 * [taylor]: Taking taylor expansion of 1/2 in im
0.480 * [taylor]: Taking taylor expansion of im in im
0.482 * [taylor]: Taking taylor expansion of 0 in im
0.483 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.483 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.483 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.483 * [taylor]: Taking taylor expansion of im in im
0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.483 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.483 * [taylor]: Taking taylor expansion of re in im
0.485 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.486 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.486 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.486 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.486 * [taylor]: Taking taylor expansion of im in re
0.486 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.486 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.486 * [taylor]: Taking taylor expansion of re in re
0.488 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.488 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.488 * [taylor]: Taking taylor expansion of im in re
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.488 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.488 * [taylor]: Taking taylor expansion of re in re
0.491 * [taylor]: Taking taylor expansion of 1 in im
0.491 * [taylor]: Taking taylor expansion of 0 in im
0.493 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.493 * [taylor]: Taking taylor expansion of 1/2 in im
0.493 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.493 * [taylor]: Taking taylor expansion of im in im
0.496 * [taylor]: Taking taylor expansion of 0 in im
0.497 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.497 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.497 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.497 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.497 * [taylor]: Taking taylor expansion of im in im
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.498 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.498 * [taylor]: Taking taylor expansion of re in im
0.500 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.500 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.500 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.500 * [taylor]: Taking taylor expansion of im in re
0.500 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.500 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.500 * [taylor]: Taking taylor expansion of re in re
0.502 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.502 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.502 * [taylor]: Taking taylor expansion of im in re
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.503 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.503 * [taylor]: Taking taylor expansion of re in re
0.505 * [taylor]: Taking taylor expansion of 1 in im
0.505 * [taylor]: Taking taylor expansion of 0 in im
0.507 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.507 * [taylor]: Taking taylor expansion of 1/2 in im
0.507 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.507 * [taylor]: Taking taylor expansion of im in im
0.510 * [taylor]: Taking taylor expansion of 0 in im
0.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.512 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in (re im) around 0
0.512 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in im
0.512 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.512 * [taylor]: Taking taylor expansion of 10.0 in im
0.512 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.512 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.512 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.512 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.512 * [taylor]: Taking taylor expansion of re in im
0.512 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.512 * [taylor]: Taking taylor expansion of im in im
0.513 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
0.513 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.513 * [taylor]: Taking taylor expansion of 10.0 in re
0.513 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.513 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.513 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.513 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.513 * [taylor]: Taking taylor expansion of re in re
0.513 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.513 * [taylor]: Taking taylor expansion of im in re
0.514 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
0.514 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.514 * [taylor]: Taking taylor expansion of 10.0 in re
0.515 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.515 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.515 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.515 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.515 * [taylor]: Taking taylor expansion of re in re
0.515 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.515 * [taylor]: Taking taylor expansion of im in re
0.516 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in im
0.516 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.516 * [taylor]: Taking taylor expansion of 10.0 in im
0.516 * [taylor]: Taking taylor expansion of (log im) in im
0.516 * [taylor]: Taking taylor expansion of im in im
0.519 * [taylor]: Taking taylor expansion of 0 in im
0.525 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow im 2))))) in im
0.525 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow im 2)))) in im
0.525 * [taylor]: Taking taylor expansion of 1/2 in im
0.525 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow im 2))) in im
0.525 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.525 * [taylor]: Taking taylor expansion of 10.0 in im
0.526 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im
0.526 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im
0.526 * [taylor]: Taking taylor expansion of (log im) in im
0.526 * [taylor]: Taking taylor expansion of im in im
0.526 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.526 * [taylor]: Taking taylor expansion of im in im
0.547 * [taylor]: Taking taylor expansion of 0 in im
0.548 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
0.548 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
0.548 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.548 * [taylor]: Taking taylor expansion of 10.0 in im
0.548 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.548 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.548 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.548 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.548 * [taylor]: Taking taylor expansion of im in im
0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.549 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.549 * [taylor]: Taking taylor expansion of re in im
0.552 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) 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.552 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.552 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.552 * [taylor]: Taking taylor expansion of im in re
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) 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.556 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
0.556 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.556 * [taylor]: Taking taylor expansion of 10.0 in re
0.556 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.556 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.556 * [taylor]: Taking taylor expansion of im in re
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.556 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.556 * [taylor]: Taking taylor expansion of re in re
0.565 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log re))) in im
0.565 * [taylor]: Taking taylor expansion of -1 in im
0.565 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in im
0.565 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.565 * [taylor]: Taking taylor expansion of 10.0 in im
0.565 * [taylor]: Taking taylor expansion of (log re) in im
0.565 * [taylor]: Taking taylor expansion of re in im
0.569 * [taylor]: Taking taylor expansion of 0 in im
0.577 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2))))) in im
0.577 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2)))) in im
0.577 * [taylor]: Taking taylor expansion of 1/2 in im
0.577 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow im 2) (pow (log re) 2))) in im
0.577 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.577 * [taylor]: Taking taylor expansion of 10.0 in im
0.577 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
0.577 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.577 * [taylor]: Taking taylor expansion of im in im
0.577 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
0.577 * [taylor]: Taking taylor expansion of (log re) in im
0.577 * [taylor]: Taking taylor expansion of re in im
0.598 * [taylor]: Taking taylor expansion of 0 in im
0.599 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
0.599 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
0.599 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.599 * [taylor]: Taking taylor expansion of 10.0 in im
0.599 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.599 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.599 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.599 * [taylor]: Taking taylor expansion of im in im
0.600 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.600 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.600 * [taylor]: Taking taylor expansion of re in im
0.603 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
0.603 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.603 * [taylor]: Taking taylor expansion of 10.0 in re
0.603 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.603 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.603 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.603 * [taylor]: Taking taylor expansion of im in re
0.604 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.604 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.604 * [taylor]: Taking taylor expansion of re in re
0.607 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
0.607 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.607 * [taylor]: Taking taylor expansion of 10.0 in re
0.608 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.608 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.608 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.608 * [taylor]: Taking taylor expansion of im in re
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.608 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.608 * [taylor]: Taking taylor expansion of re in re
0.611 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log re))) in im
0.611 * [taylor]: Taking taylor expansion of -1 in im
0.611 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in im
0.611 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.611 * [taylor]: Taking taylor expansion of 10.0 in im
0.612 * [taylor]: Taking taylor expansion of (log re) in im
0.612 * [taylor]: Taking taylor expansion of re in im
0.615 * [taylor]: Taking taylor expansion of 0 in im
0.623 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2))))) in im
0.623 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2)))) in im
0.623 * [taylor]: Taking taylor expansion of 1/2 in im
0.623 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow im 2) (pow (log re) 2))) in im
0.623 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.623 * [taylor]: Taking taylor expansion of 10.0 in im
0.624 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
0.624 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.624 * [taylor]: Taking taylor expansion of im in im
0.624 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
0.624 * [taylor]: Taking taylor expansion of (log re) in im
0.624 * [taylor]: Taking taylor expansion of re in im
0.650 * [taylor]: Taking taylor expansion of 0 in im
0.651 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.651 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in (re im) around 0
0.651 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in im
0.651 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.651 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.651 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.651 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.651 * [taylor]: Taking taylor expansion of re in im
0.651 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.651 * [taylor]: Taking taylor expansion of im in im
0.652 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.652 * [taylor]: Taking taylor expansion of 10.0 in im
0.653 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.653 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.653 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.653 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.653 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.653 * [taylor]: Taking taylor expansion of re in re
0.653 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.653 * [taylor]: Taking taylor expansion of im in re
0.653 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.653 * [taylor]: Taking taylor expansion of 10.0 in re
0.654 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.654 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.654 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.654 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.654 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.654 * [taylor]: Taking taylor expansion of re in re
0.654 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.654 * [taylor]: Taking taylor expansion of im in re
0.655 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.655 * [taylor]: Taking taylor expansion of 10.0 in re
0.655 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in im
0.655 * [taylor]: Taking taylor expansion of (log im) in im
0.655 * [taylor]: Taking taylor expansion of im in im
0.656 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.656 * [taylor]: Taking taylor expansion of 10.0 in im
0.659 * [taylor]: Taking taylor expansion of 0 in im
0.667 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.667 * [taylor]: Taking taylor expansion of 1/2 in im
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.667 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.667 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.667 * [taylor]: Taking taylor expansion of 10.0 in im
0.667 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.667 * [taylor]: Taking taylor expansion of im in im
0.686 * [taylor]: Taking taylor expansion of 0 in im
0.687 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.687 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.687 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.687 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.687 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.687 * [taylor]: Taking taylor expansion of im in im
0.688 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.688 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.688 * [taylor]: Taking taylor expansion of re in im
0.690 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.690 * [taylor]: Taking taylor expansion of 10.0 in im
0.691 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.691 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.691 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.691 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.691 * [taylor]: Taking taylor expansion of im in re
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.692 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.692 * [taylor]: Taking taylor expansion of re in re
0.694 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.694 * [taylor]: Taking taylor expansion of 10.0 in re
0.695 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.695 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.695 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.695 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.695 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.695 * [taylor]: Taking taylor expansion of im in re
0.695 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.695 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.695 * [taylor]: Taking taylor expansion of re in re
0.698 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.698 * [taylor]: Taking taylor expansion of 10.0 in re
0.699 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.699 * [taylor]: Taking taylor expansion of -1 in im
0.699 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.699 * [taylor]: Taking taylor expansion of (log re) in im
0.699 * [taylor]: Taking taylor expansion of re in im
0.700 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.700 * [taylor]: Taking taylor expansion of 10.0 in im
0.703 * [taylor]: Taking taylor expansion of 0 in im
0.712 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.712 * [taylor]: Taking taylor expansion of 1/2 in im
0.712 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.712 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.712 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.712 * [taylor]: Taking taylor expansion of 10.0 in im
0.712 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.712 * [taylor]: Taking taylor expansion of im in im
0.738 * [taylor]: Taking taylor expansion of 0 in im
0.739 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.739 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.739 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.739 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.739 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.739 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.739 * [taylor]: Taking taylor expansion of im in im
0.739 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.739 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.739 * [taylor]: Taking taylor expansion of re in im
0.741 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.741 * [taylor]: Taking taylor expansion of 10.0 in im
0.743 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.743 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.743 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.743 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.743 * [taylor]: Taking taylor expansion of im in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.743 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.743 * [taylor]: Taking taylor expansion of re in re
0.745 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.745 * [taylor]: Taking taylor expansion of 10.0 in re
0.746 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.747 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.747 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.747 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.747 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.747 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.747 * [taylor]: Taking taylor expansion of im in re
0.747 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.747 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.747 * [taylor]: Taking taylor expansion of re in re
0.749 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.749 * [taylor]: Taking taylor expansion of 10.0 in re
0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.750 * [taylor]: Taking taylor expansion of -1 in im
0.750 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.751 * [taylor]: Taking taylor expansion of (log re) in im
0.751 * [taylor]: Taking taylor expansion of re in im
0.751 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.751 * [taylor]: Taking taylor expansion of 10.0 in im
0.754 * [taylor]: Taking taylor expansion of 0 in im
0.763 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.763 * [taylor]: Taking taylor expansion of 1/2 in im
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.763 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.763 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.763 * [taylor]: Taking taylor expansion of 10.0 in im
0.763 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.763 * [taylor]: Taking taylor expansion of im in im
0.784 * [taylor]: Taking taylor expansion of 0 in im
0.784 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
0.784 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
0.785 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.785 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.785 * [taylor]: Taking taylor expansion of re in im
0.785 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.785 * [taylor]: Taking taylor expansion of im in im
0.785 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.785 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.785 * [taylor]: Taking taylor expansion of re in re
0.785 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.785 * [taylor]: Taking taylor expansion of im in re
0.785 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.785 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.785 * [taylor]: Taking taylor expansion of re in re
0.785 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.785 * [taylor]: Taking taylor expansion of im in re
0.785 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.785 * [taylor]: Taking taylor expansion of im in im
0.785 * [taylor]: Taking taylor expansion of 0 in im
0.786 * [taylor]: Taking taylor expansion of 1 in im
0.788 * [taylor]: Taking taylor expansion of 0 in im
0.789 * [taylor]: Taking taylor expansion of 0 in im
0.790 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.790 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.790 * [taylor]: Taking taylor expansion of im in im
0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.790 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.790 * [taylor]: Taking taylor expansion of re in im
0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.791 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.791 * [taylor]: Taking taylor expansion of im in re
0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.791 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.791 * [taylor]: Taking taylor expansion of re in re
0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.791 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.791 * [taylor]: Taking taylor expansion of im in re
0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.791 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.791 * [taylor]: Taking taylor expansion of re in re
0.792 * [taylor]: Taking taylor expansion of 1 in im
0.793 * [taylor]: Taking taylor expansion of 0 in im
0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.794 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.794 * [taylor]: Taking taylor expansion of im in im
0.796 * [taylor]: Taking taylor expansion of 0 in im
0.799 * [taylor]: Taking taylor expansion of 0 in im
0.800 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.800 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.800 * [taylor]: Taking taylor expansion of im in im
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.801 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.801 * [taylor]: Taking taylor expansion of re in im
0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.801 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.801 * [taylor]: Taking taylor expansion of im in re
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.801 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.801 * [taylor]: Taking taylor expansion of re in re
0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.802 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.802 * [taylor]: Taking taylor expansion of im in re
0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.802 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.802 * [taylor]: Taking taylor expansion of re in re
0.803 * [taylor]: Taking taylor expansion of 1 in im
0.804 * [taylor]: Taking taylor expansion of 0 in im
0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.805 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.805 * [taylor]: Taking taylor expansion of im in im
0.807 * [taylor]: Taking taylor expansion of 0 in im
0.810 * [taylor]: Taking taylor expansion of 0 in im
0.811 * * * [progress]: simplifying candidates
0.812 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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 10.0))
  (- (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log (sqrt (+ (* re re) (* im im)))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ (log 10.0) 1/2)
  (- 1)
  (- (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
  (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
  (/ (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))) 1)
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ 1 (- (log 10.0)))
  (/ 1 1)
  (/ 1 (/ (log 10.0) 1/2))
  (+ (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 10.0) (log im))
  (* -1 (/ (log 10.0) (log (/ 1 re))))
  (* -1 (/ (log 10.0) (log (/ -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.814 * * [simplify]: iteration  0 :  138  enodes  (cost  147 )
0.817 * * [simplify]: iteration  1 :  437  enodes  (cost  141 )
0.824 * * [simplify]: iteration  2 :  1356  enodes  (cost  138 )
0.854 * * [simplify]: iteration  3 :  5001  enodes  (cost  136 )
0.856 * [simplify]: Simplified to:
   (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (* -1 (log 10.0))
  (- (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log (sqrt (+ (* re re) (* im im)))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ (log 10.0) 1/2)
  -1
  (- (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ -1 (log 10.0))
  1
  (/ 1/2 (log 10.0))
  (+ (pow (* re re) 3) (pow (* im im) 3))
  (- (pow im 4) (- (* (* re re) (* im im)) (pow re 4)))
  (+ (* (- (pow im 3)) im) (pow re 4))
  (- (* re re) (* im im))
  im
  re
  (* -1 re)
  (/ (log 10.0) (log im))
  (* 1 (/ (log 10.0) (log re)))
  (* -1 (/ (log 10.0) (log (/ -1 re))))
  (/ (log im) (log 10.0))
  (/ (log 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.856 * * * [progress]: adding candidates to table
0.934 * * [progress]: iteration 3 / 4
0.934 * * * [progress]: picking best candidate
0.950 * * * * [pick]: Picked  #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))>
0.950 * * * [progress]: localizing error
0.963 * * * [progress]: generating rewritten candidates
0.963 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
0.967 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.972 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.977 * * * [progress]: generating series expansions
0.977 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
0.977 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.977 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.977 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.977 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.978 * [taylor]: Taking taylor expansion of re in im
0.978 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.978 * [taylor]: Taking taylor expansion of im in im
0.978 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.978 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.978 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.978 * [taylor]: Taking taylor expansion of re in re
0.978 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.978 * [taylor]: Taking taylor expansion of im in re
0.979 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.979 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.979 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.979 * [taylor]: Taking taylor expansion of re in re
0.979 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.979 * [taylor]: Taking taylor expansion of im in re
0.980 * [taylor]: Taking taylor expansion of im in im
0.980 * [taylor]: Taking taylor expansion of 0 in im
0.981 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.981 * [taylor]: Taking taylor expansion of 1/2 in im
0.981 * [taylor]: Taking taylor expansion of im in im
0.983 * [taylor]: Taking taylor expansion of 0 in im
0.984 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.984 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.984 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.984 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.984 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.984 * [taylor]: Taking taylor expansion of im in im
0.984 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.984 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.984 * [taylor]: Taking taylor expansion of re in im
0.986 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.986 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.986 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.986 * [taylor]: Taking taylor expansion of im in re
0.986 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.986 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.986 * [taylor]: Taking taylor expansion of re in re
0.989 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.989 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.989 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.989 * [taylor]: Taking taylor expansion of im in re
0.989 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.989 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.989 * [taylor]: Taking taylor expansion of re in re
0.991 * [taylor]: Taking taylor expansion of 1 in im
0.991 * [taylor]: Taking taylor expansion of 0 in im
0.993 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.993 * [taylor]: Taking taylor expansion of 1/2 in im
0.993 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.993 * [taylor]: Taking taylor expansion of im in im
1.000 * [taylor]: Taking taylor expansion of 0 in im
1.002 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.002 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.002 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.002 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.002 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.002 * [taylor]: Taking taylor expansion of im in im
1.002 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.002 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.002 * [taylor]: Taking taylor expansion of re in im
1.004 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.004 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.004 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.004 * [taylor]: Taking taylor expansion of im in re
1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.004 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.004 * [taylor]: Taking taylor expansion of re in re
1.007 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.007 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.007 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.007 * [taylor]: Taking taylor expansion of im in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.007 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.007 * [taylor]: Taking taylor expansion of re in re
1.010 * [taylor]: Taking taylor expansion of 1 in im
1.010 * [taylor]: Taking taylor expansion of 0 in im
1.011 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.012 * [taylor]: Taking taylor expansion of 1/2 in im
1.012 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.012 * [taylor]: Taking taylor expansion of im in im
1.015 * [taylor]: Taking taylor expansion of 0 in im
1.016 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.016 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in (re im) around 0
1.016 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in im
1.016 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.016 * [taylor]: Taking taylor expansion of 10.0 in im
1.017 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.017 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.017 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.017 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.017 * [taylor]: Taking taylor expansion of re in im
1.017 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.017 * [taylor]: Taking taylor expansion of im in im
1.018 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
1.018 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.018 * [taylor]: Taking taylor expansion of 10.0 in re
1.018 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.018 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.018 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.018 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.018 * [taylor]: Taking taylor expansion of re in re
1.018 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.018 * [taylor]: Taking taylor expansion of im in re
1.019 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
1.019 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.019 * [taylor]: Taking taylor expansion of 10.0 in re
1.019 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.019 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.019 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.019 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.019 * [taylor]: Taking taylor expansion of re in re
1.019 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.019 * [taylor]: Taking taylor expansion of im in re
1.020 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log im)) in im
1.020 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.020 * [taylor]: Taking taylor expansion of 10.0 in im
1.020 * [taylor]: Taking taylor expansion of (log im) in im
1.020 * [taylor]: Taking taylor expansion of im in im
1.023 * [taylor]: Taking taylor expansion of 0 in im
1.030 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow im 2))))) in im
1.030 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow (log im) 2) (pow im 2)))) in im
1.030 * [taylor]: Taking taylor expansion of 1/2 in im
1.030 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow (log im) 2) (pow im 2))) in im
1.030 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.030 * [taylor]: Taking taylor expansion of 10.0 in im
1.030 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im
1.030 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im
1.030 * [taylor]: Taking taylor expansion of (log im) in im
1.030 * [taylor]: Taking taylor expansion of im in im
1.031 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.031 * [taylor]: Taking taylor expansion of im in im
1.051 * [taylor]: Taking taylor expansion of 0 in im
1.052 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
1.052 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.052 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.052 * [taylor]: Taking taylor expansion of 10.0 in im
1.053 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.053 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.053 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.053 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.053 * [taylor]: Taking taylor expansion of im in im
1.053 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.053 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.053 * [taylor]: Taking taylor expansion of re in im
1.056 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) 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.057 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.057 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.057 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.057 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.057 * [taylor]: Taking taylor expansion of im in re
1.057 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.057 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.057 * [taylor]: Taking taylor expansion of re in re
1.060 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.060 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.060 * [taylor]: Taking taylor expansion of 10.0 in re
1.061 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.061 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.061 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.061 * [taylor]: Taking taylor expansion of im in re
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.061 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.061 * [taylor]: Taking taylor expansion of re in re
1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log re))) in im
1.065 * [taylor]: Taking taylor expansion of -1 in im
1.065 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in im
1.065 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.065 * [taylor]: Taking taylor expansion of 10.0 in im
1.065 * [taylor]: Taking taylor expansion of (log re) in im
1.065 * [taylor]: Taking taylor expansion of re in im
1.068 * [taylor]: Taking taylor expansion of 0 in im
1.076 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2))))) in im
1.076 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2)))) in im
1.076 * [taylor]: Taking taylor expansion of 1/2 in im
1.076 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow im 2) (pow (log re) 2))) in im
1.076 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.076 * [taylor]: Taking taylor expansion of 10.0 in im
1.077 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
1.077 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.077 * [taylor]: Taking taylor expansion of im in im
1.077 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
1.077 * [taylor]: Taking taylor expansion of (log re) in im
1.077 * [taylor]: Taking taylor expansion of re in im
1.104 * [taylor]: Taking taylor expansion of 0 in im
1.105 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
1.105 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.105 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.105 * [taylor]: Taking taylor expansion of 10.0 in im
1.105 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.105 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.105 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.105 * [taylor]: Taking taylor expansion of im in im
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.106 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.106 * [taylor]: Taking taylor expansion of re in im
1.109 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) 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.109 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.109 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.109 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.109 * [taylor]: Taking taylor expansion of im in re
1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.109 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.110 * [taylor]: Taking taylor expansion of re in re
1.113 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.113 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.113 * [taylor]: Taking taylor expansion of 10.0 in re
1.113 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.113 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.113 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.113 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.113 * [taylor]: Taking taylor expansion of im in re
1.113 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.113 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.113 * [taylor]: Taking taylor expansion of re in re
1.117 * [taylor]: Taking taylor expansion of (* -1 (/ (log 10.0) (log re))) in im
1.117 * [taylor]: Taking taylor expansion of -1 in im
1.117 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log re)) in im
1.117 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.117 * [taylor]: Taking taylor expansion of 10.0 in im
1.117 * [taylor]: Taking taylor expansion of (log re) in im
1.117 * [taylor]: Taking taylor expansion of re in im
1.121 * [taylor]: Taking taylor expansion of 0 in im
1.129 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2))))) in im
1.129 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 10.0) (* (pow im 2) (pow (log re) 2)))) in im
1.129 * [taylor]: Taking taylor expansion of 1/2 in im
1.129 * [taylor]: Taking taylor expansion of (/ (log 10.0) (* (pow im 2) (pow (log re) 2))) in im
1.129 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.129 * [taylor]: Taking taylor expansion of 10.0 in im
1.129 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
1.129 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.129 * [taylor]: Taking taylor expansion of im in im
1.129 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
1.129 * [taylor]: Taking taylor expansion of (log re) in im
1.129 * [taylor]: Taking taylor expansion of re in im
1.150 * [taylor]: Taking taylor expansion of 0 in im
1.150 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.150 * [approximate]: Taking taylor expansion of (/ 1 (log (sqrt (+ (pow re 2) (pow im 2))))) in (re im) around 0
1.150 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (pow re 2) (pow im 2))))) in im
1.150 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.150 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.150 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.150 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.150 * [taylor]: Taking taylor expansion of re in im
1.150 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.150 * [taylor]: Taking taylor expansion of im in im
1.151 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (pow re 2) (pow im 2))))) in re
1.151 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.151 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.151 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.151 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.151 * [taylor]: Taking taylor expansion of re in re
1.151 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.151 * [taylor]: Taking taylor expansion of im in re
1.152 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (pow re 2) (pow im 2))))) in re
1.152 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.152 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.152 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.152 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.152 * [taylor]: Taking taylor expansion of re in re
1.152 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.152 * [taylor]: Taking taylor expansion of im in re
1.152 * [taylor]: Taking taylor expansion of (/ 1 (log im)) in im
1.152 * [taylor]: Taking taylor expansion of (log im) in im
1.152 * [taylor]: Taking taylor expansion of im in im
1.154 * [taylor]: Taking taylor expansion of 0 in im
1.157 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow (log im) 2) (pow im 2))))) in im
1.157 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow (log im) 2) (pow im 2)))) in im
1.157 * [taylor]: Taking taylor expansion of 1/2 in im
1.157 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (log im) 2) (pow im 2))) in im
1.157 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im
1.157 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im
1.157 * [taylor]: Taking taylor expansion of (log im) in im
1.157 * [taylor]: Taking taylor expansion of im in im
1.158 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.158 * [taylor]: Taking taylor expansion of im in im
1.170 * [taylor]: Taking taylor expansion of 0 in im
1.171 * [approximate]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
1.171 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.171 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.171 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.171 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.171 * [taylor]: Taking taylor expansion of im in im
1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.171 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.171 * [taylor]: Taking taylor expansion of re in im
1.179 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.179 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.179 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.179 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.179 * [taylor]: Taking taylor expansion of im in re
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.179 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.179 * [taylor]: Taking taylor expansion of re in re
1.182 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.182 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.182 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.182 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.182 * [taylor]: Taking taylor expansion of im in re
1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.182 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.182 * [taylor]: Taking taylor expansion of re in re
1.186 * [taylor]: Taking taylor expansion of (/ -1 (log re)) in im
1.186 * [taylor]: Taking taylor expansion of -1 in im
1.186 * [taylor]: Taking taylor expansion of (log re) in im
1.186 * [taylor]: Taking taylor expansion of re in im
1.187 * [taylor]: Taking taylor expansion of 0 in im
1.191 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow (log re) 2) (pow im 2))))) in im
1.191 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow (log re) 2) (pow im 2)))) in im
1.191 * [taylor]: Taking taylor expansion of 1/2 in im
1.191 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (log re) 2) (pow im 2))) in im
1.191 * [taylor]: Taking taylor expansion of (* (pow (log re) 2) (pow im 2)) in im
1.191 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
1.191 * [taylor]: Taking taylor expansion of (log re) in im
1.191 * [taylor]: Taking taylor expansion of re in im
1.191 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.191 * [taylor]: Taking taylor expansion of im in im
1.203 * [taylor]: Taking taylor expansion of 0 in im
1.203 * [approximate]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (re im) around 0
1.203 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.203 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.203 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.203 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.203 * [taylor]: Taking taylor expansion of im in im
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.204 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.204 * [taylor]: Taking taylor expansion of re in im
1.207 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.207 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.207 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.207 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.207 * [taylor]: Taking taylor expansion of im in re
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.207 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.207 * [taylor]: Taking taylor expansion of re in re
1.210 * [taylor]: Taking taylor expansion of (/ 1 (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.210 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.210 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.210 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.210 * [taylor]: Taking taylor expansion of im in re
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.210 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.210 * [taylor]: Taking taylor expansion of re in re
1.213 * [taylor]: Taking taylor expansion of (/ -1 (log re)) in im
1.213 * [taylor]: Taking taylor expansion of -1 in im
1.213 * [taylor]: Taking taylor expansion of (log re) in im
1.214 * [taylor]: Taking taylor expansion of re in im
1.215 * [taylor]: Taking taylor expansion of 0 in im
1.219 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow (log re) 2) (pow im 2))))) in im
1.219 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow (log re) 2) (pow im 2)))) in im
1.219 * [taylor]: Taking taylor expansion of 1/2 in im
1.219 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (log re) 2) (pow im 2))) in im
1.219 * [taylor]: Taking taylor expansion of (* (pow (log re) 2) (pow im 2)) in im
1.219 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
1.219 * [taylor]: Taking taylor expansion of (log re) in im
1.219 * [taylor]: Taking taylor expansion of re in im
1.219 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.219 * [taylor]: Taking taylor expansion of im in im
1.231 * [taylor]: Taking taylor expansion of 0 in im
1.231 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.231 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in (re im) around 0
1.231 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in im
1.231 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.231 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.231 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.231 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.231 * [taylor]: Taking taylor expansion of re in im
1.231 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.231 * [taylor]: Taking taylor expansion of im in im
1.232 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.232 * [taylor]: Taking taylor expansion of 10.0 in im
1.233 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
1.233 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.233 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.233 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.233 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.233 * [taylor]: Taking taylor expansion of re in re
1.233 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.233 * [taylor]: Taking taylor expansion of im in re
1.233 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.233 * [taylor]: Taking taylor expansion of 10.0 in re
1.234 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
1.234 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.234 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.234 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.234 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.234 * [taylor]: Taking taylor expansion of re in re
1.234 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.234 * [taylor]: Taking taylor expansion of im in re
1.234 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.234 * [taylor]: Taking taylor expansion of 10.0 in re
1.235 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in im
1.235 * [taylor]: Taking taylor expansion of (log im) in im
1.235 * [taylor]: Taking taylor expansion of im in im
1.235 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.235 * [taylor]: Taking taylor expansion of 10.0 in im
1.239 * [taylor]: Taking taylor expansion of 0 in im
1.246 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
1.246 * [taylor]: Taking taylor expansion of 1/2 in im
1.246 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
1.246 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
1.246 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.246 * [taylor]: Taking taylor expansion of 10.0 in im
1.246 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.246 * [taylor]: Taking taylor expansion of im in im
1.271 * [taylor]: Taking taylor expansion of 0 in im
1.272 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
1.272 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
1.272 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.272 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.272 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.272 * [taylor]: Taking taylor expansion of im in im
1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.272 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.272 * [taylor]: Taking taylor expansion of re in im
1.274 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.274 * [taylor]: Taking taylor expansion of 10.0 in im
1.276 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
1.276 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.276 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.276 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.276 * [taylor]: Taking taylor expansion of im in re
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.276 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.276 * [taylor]: Taking taylor expansion of re in re
1.278 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.278 * [taylor]: Taking taylor expansion of 10.0 in re
1.279 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
1.280 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.280 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.280 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.280 * [taylor]: Taking taylor expansion of im in re
1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.280 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.280 * [taylor]: Taking taylor expansion of re in re
1.282 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.282 * [taylor]: Taking taylor expansion of 10.0 in re
1.283 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
1.283 * [taylor]: Taking taylor expansion of -1 in im
1.283 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
1.284 * [taylor]: Taking taylor expansion of (log re) in im
1.284 * [taylor]: Taking taylor expansion of re in im
1.284 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.284 * [taylor]: Taking taylor expansion of 10.0 in im
1.287 * [taylor]: Taking taylor expansion of 0 in im
1.295 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
1.295 * [taylor]: Taking taylor expansion of 1/2 in im
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
1.296 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
1.296 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.296 * [taylor]: Taking taylor expansion of 10.0 in im
1.296 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.296 * [taylor]: Taking taylor expansion of im in im
1.316 * [taylor]: Taking taylor expansion of 0 in im
1.317 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
1.317 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
1.317 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.317 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.317 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.317 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.317 * [taylor]: Taking taylor expansion of im in im
1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.318 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.318 * [taylor]: Taking taylor expansion of re in im
1.320 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.320 * [taylor]: Taking taylor expansion of 10.0 in im
1.321 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
1.321 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.321 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.321 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.321 * [taylor]: Taking taylor expansion of im in re
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.321 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.321 * [taylor]: Taking taylor expansion of re in re
1.324 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.324 * [taylor]: Taking taylor expansion of 10.0 in re
1.325 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
1.325 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.325 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.325 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.325 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.325 * [taylor]: Taking taylor expansion of im in re
1.325 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.325 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.325 * [taylor]: Taking taylor expansion of re in re
1.328 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.328 * [taylor]: Taking taylor expansion of 10.0 in re
1.329 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
1.329 * [taylor]: Taking taylor expansion of -1 in im
1.329 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
1.329 * [taylor]: Taking taylor expansion of (log re) in im
1.329 * [taylor]: Taking taylor expansion of re in im
1.329 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.329 * [taylor]: Taking taylor expansion of 10.0 in im
1.333 * [taylor]: Taking taylor expansion of 0 in im
1.341 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
1.341 * [taylor]: Taking taylor expansion of 1/2 in im
1.341 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
1.341 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
1.341 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.341 * [taylor]: Taking taylor expansion of 10.0 in im
1.342 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.342 * [taylor]: Taking taylor expansion of im in im
1.367 * [taylor]: Taking taylor expansion of 0 in im
1.368 * * * [progress]: simplifying candidates
1.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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 10.0) 1)
  (* (log 10.0) 1)
  (* (log 10.0) (- 1))
  (* (log 10.0) 1)
  (* (log 10.0) (/ 1 1/2))
  (- 1)
  (- (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log (sqrt (+ (* re re) (* im im)))))
  (/ (log (sqrt (+ (* re re) (* im im)))) 1)
  (/ 1 1/2)
  (- 1)
  (- (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im)))))))
  (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im)))))))
  (/ (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im)))))) 1)
  (/ 1 (log 10.0))
  (/ 1 (* (log 10.0) 1))
  (/ 1 (/ 1 (log (sqrt (+ (* re re) (* im im))))))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ 1 (* (log 10.0) 1))
  (/ 1 (* (log 10.0) (- 1)))
  (/ 1 (* (log 10.0) 1))
  (/ 1 (* (log 10.0) (/ 1 1/2)))
  im
  re
  (* -1 re)
  (/ (log 10.0) (log im))
  (* -1 (/ (log 10.0) (log (/ 1 re))))
  (* -1 (/ (log 10.0) (log (/ -1 re))))
  (/ 1 (log im))
  (/ -1 (log (/ 1 re)))
  (/ -1 (log (/ -1 re)))
  (/ (log im) (log 10.0))
  (* -1 (/ (log (/ 1 re)) (log 10.0)))
  (* -1 (/ (log (/ -1 re)) (log 10.0)))
1.371 * * [simplify]: iteration  0 :  146  enodes  (cost  140 )
1.374 * * [simplify]: iteration  1 :  431  enodes  (cost  136 )
1.381 * * [simplify]: iteration  2 :  1106  enodes  (cost  130 )
1.399 * * [simplify]: iteration  3 :  2933  enodes  (cost  127 )
1.459 * * [simplify]: iteration  4 :  5002  enodes  (cost  127 )
1.460 * [simplify]: Simplified to:
   (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 10.0)
  (log 10.0)
  (- (log 10.0))
  (log 10.0)
  (* (log 10.0) 2)
  -1
  (- (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log (sqrt (+ (* re re) (* im im)))))
  (log (sqrt (+ (* re re) (* im im))))
  2
  -1
  (/ (- (log 10.0)) (log (sqrt (+ (* re re) (* im im)))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (log (sqrt (+ (* re re) (* im im))))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ -1 (log 10.0))
  (/ 1 (log 10.0))
  (/ 1/2 (log 10.0))
  im
  re
  (* -1 re)
  (/ (log 10.0) (log im))
  (/ (log 10.0) (log re))
  (* -1 (/ (log 10.0) (log (/ -1 re))))
  (/ 1 (log im))
  (/ 1 (log re))
  (/ -1 (log (/ -1 re)))
  (/ (log im) (log 10.0))
  (/ (log re) (log 10.0))
  (* -1 (/ (log (/ -1 re)) (log 10.0)))
1.460 * * * [progress]: adding candidates to table
1.533 * * [progress]: iteration 4 / 4
1.534 * * * [progress]: picking best candidate
1.551 * * * * [pick]: Picked  #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))>
1.551 * * * [progress]: localizing error
1.559 * * * [progress]: generating rewritten candidates
1.559 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.565 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.568 * * * [progress]: generating series expansions
1.568 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.569 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (* -1 re))) in (re) around 0
1.569 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (* -1 re))) in re
1.569 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.569 * [taylor]: Taking taylor expansion of 10.0 in re
1.569 * [taylor]: Taking taylor expansion of (log (* -1 re)) in re
1.569 * [taylor]: Taking taylor expansion of (* -1 re) in re
1.569 * [taylor]: Taking taylor expansion of -1 in re
1.569 * [taylor]: Taking taylor expansion of re in re
1.572 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (* -1 re))) in re
1.572 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.572 * [taylor]: Taking taylor expansion of 10.0 in re
1.572 * [taylor]: Taking taylor expansion of (log (* -1 re)) in re
1.572 * [taylor]: Taking taylor expansion of (* -1 re) in re
1.572 * [taylor]: Taking taylor expansion of -1 in re
1.572 * [taylor]: Taking taylor expansion of re in re
1.675 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (/ -1 re))) in (re) around 0
1.675 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (/ -1 re))) in re
1.675 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.675 * [taylor]: Taking taylor expansion of 10.0 in re
1.675 * [taylor]: Taking taylor expansion of (log (/ -1 re)) in re
1.675 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.675 * [taylor]: Taking taylor expansion of -1 in re
1.675 * [taylor]: Taking taylor expansion of re in re
1.677 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (/ -1 re))) in re
1.677 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.677 * [taylor]: Taking taylor expansion of 10.0 in re
1.678 * [taylor]: Taking taylor expansion of (log (/ -1 re)) in re
1.678 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.678 * [taylor]: Taking taylor expansion of -1 in re
1.678 * [taylor]: Taking taylor expansion of re in re
1.779 * [approximate]: Taking taylor expansion of (/ (log 10.0) (log (/ 1 re))) in (re) around 0
1.779 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (/ 1 re))) in re
1.779 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.779 * [taylor]: Taking taylor expansion of 10.0 in re
1.780 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in re
1.780 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.780 * [taylor]: Taking taylor expansion of re in re
1.781 * [taylor]: Taking taylor expansion of (/ (log 10.0) (log (/ 1 re))) in re
1.781 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.781 * [taylor]: Taking taylor expansion of 10.0 in re
1.781 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in re
1.781 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.781 * [taylor]: Taking taylor expansion of re in re
1.872 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.872 * [approximate]: Taking taylor expansion of (/ (log (* -1 re)) (log 10.0)) in (re) around 0
1.872 * [taylor]: Taking taylor expansion of (/ (log (* -1 re)) (log 10.0)) in re
1.872 * [taylor]: Taking taylor expansion of (log (* -1 re)) in re
1.872 * [taylor]: Taking taylor expansion of (* -1 re) in re
1.872 * [taylor]: Taking taylor expansion of -1 in re
1.872 * [taylor]: Taking taylor expansion of re in re
1.873 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.873 * [taylor]: Taking taylor expansion of 10.0 in re
1.875 * [taylor]: Taking taylor expansion of (/ (log (* -1 re)) (log 10.0)) in re
1.875 * [taylor]: Taking taylor expansion of (log (* -1 re)) in re
1.875 * [taylor]: Taking taylor expansion of (* -1 re) in re
1.875 * [taylor]: Taking taylor expansion of -1 in re
1.875 * [taylor]: Taking taylor expansion of re in re
1.876 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.876 * [taylor]: Taking taylor expansion of 10.0 in re
1.965 * [approximate]: Taking taylor expansion of (/ (log (/ -1 re)) (log 10.0)) in (re) around 0
1.965 * [taylor]: Taking taylor expansion of (/ (log (/ -1 re)) (log 10.0)) in re
1.965 * [taylor]: Taking taylor expansion of (log (/ -1 re)) in re
1.965 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.965 * [taylor]: Taking taylor expansion of -1 in re
1.965 * [taylor]: Taking taylor expansion of re in re
1.966 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.966 * [taylor]: Taking taylor expansion of 10.0 in re
1.968 * [taylor]: Taking taylor expansion of (/ (log (/ -1 re)) (log 10.0)) in re
1.968 * [taylor]: Taking taylor expansion of (log (/ -1 re)) in re
1.968 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.968 * [taylor]: Taking taylor expansion of -1 in re
1.968 * [taylor]: Taking taylor expansion of re in re
1.968 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.968 * [taylor]: Taking taylor expansion of 10.0 in re
2.059 * [approximate]: Taking taylor expansion of (/ (log (/ 1 re)) (log 10.0)) in (re) around 0
2.060 * [taylor]: Taking taylor expansion of (/ (log (/ 1 re)) (log 10.0)) in re
2.060 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in re
2.060 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.060 * [taylor]: Taking taylor expansion of re in re
2.060 * [taylor]: Taking taylor expansion of (log 10.0) in re
2.060 * [taylor]: Taking taylor expansion of 10.0 in re
2.061 * [taylor]: Taking taylor expansion of (/ (log (/ 1 re)) (log 10.0)) in re
2.061 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in re
2.061 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.061 * [taylor]: Taking taylor expansion of re in re
2.062 * [taylor]: Taking taylor expansion of (log 10.0) in re
2.062 * [taylor]: Taking taylor expansion of 10.0 in re
2.150 * * * [progress]: simplifying candidates
2.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log 10.0))
  (- (log (* -1 re)))
  (/ 1 (log (* -1 re)))
  (/ (log (* -1 re)) (log 10.0))
  (- 1)
  (- (/ (log 10.0) (log (* -1 re))))
  (/ 1 (/ (log 10.0) (log (* -1 re))))
  (/ (/ (log 10.0) (log (* -1 re))) 1)
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ 1 (- (log 10.0)))
  (/ 1 1)
  (/ (log 10.0) (+ (log -1) (log re)))
  (/ (log 10.0) (- (log -1) (log (/ 1 re))))
  (* -1 (/ (log 10.0) (log (/ -1 re))))
  (/ (+ (log -1) (log re)) (log 10.0))
  (/ (- (log -1) (log (/ 1 re))) (log 10.0))
  (* -1 (/ (log (/ -1 re)) (log 10.0)))
2.154 * * [simplify]: iteration  0 :  61  enodes  (cost  64 )
2.155 * * [simplify]: iteration  1 :  132  enodes  (cost  59 )
2.158 * * [simplify]: iteration  2 :  345  enodes  (cost  58 )
2.163 * * [simplify]: iteration  3 :  886  enodes  (cost  53 )
2.176 * * [simplify]: iteration  4 :  2223  enodes  (cost  53 )
2.222 * * [simplify]: iteration  5 :  5002  enodes  (cost  53 )
2.223 * [simplify]: Simplified to:
   (* -1 (log 10.0))
  (log (/ -1 re))
  (/ -1 (log (/ -1 re)))
  (/ (log (* -1 re)) (log 10.0))
  -1
  (/ (log 10.0) (log (/ -1 re)))
  (/ (log (* -1 re)) (log 10.0))
  (/ (log 10.0) (log (* -1 re)))
  (/ 1 (log 10.0))
  (/ 1 (log 10.0))
  (/ -1 (log 10.0))
  1
  (/ (log 10.0) (log (* -1 re)))
  (/ (log 10.0) (log (* -1 re)))
  (/ (log 10.0) (log (* -1 re)))
  (/ (log (* -1 re)) (log 10.0))
  (/ (log (* -1 re)) (log 10.0))
  (/ (log (* -1 re)) (log 10.0))
2.223 * * * [progress]: adding candidates to table
2.249 * [progress]: [Phase 3 of 3] Extracting.
2.249 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.251 * * * [regime-changes]: Trying 8 branch expressions: ((* im im) (* re re) (+ (* re re) (* im im)) (sqrt (+ (* re re) (* im im))) (log (sqrt (+ (* re re) (* im im)))) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) im re)
2.251 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.296 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.336 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.389 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))>)
2.425 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.479 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (#<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))>)
2.493 * * * * [regimes]: Trying to branch on (sqrt (+ (* re re) (* im im))) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.549 * * * * [regimes]: Trying to branch on (sqrt (+ (* re re) (* im im))) from (#<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))>)
2.567 * * * * [regimes]: Trying to branch on (log (sqrt (+ (* re re) (* im im)))) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.625 * * * * [regimes]: Trying to branch on (log (sqrt (+ (* re re) (* im im)))) from (#<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))>)
2.645 * * * * [regimes]: Trying to branch on (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.707 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.765 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.824 * * * [regime]: Found split indices: #<option (#s(si 4 72) #s(si 7 215) #s(si 1 255))>
2.825 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.887 * [regimes]: Found splitpoints: (#s(sp 4 re -222.33808009768373) #s(sp 7 re 3.110542402831786e+46) #s(sp 1 re +nan.0)) , with alts (#<alt (λ (re im) (- (/ (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))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log im)))))> #<alt (λ (re im) (* 1 (/ (log (* -1 re)) (log 10.0))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log re))))> #<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))))> #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (sqrt (+ (* re re) (* im im))))))))> #<alt (λ (re im) (/ (/ 1 (log 10.0)) (/ 1 (log (* -1 re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log re)))))> #<alt (λ (re im) (/ 1 (* (log 10.0) (/ 1 (log (* -1 re))))))>)
2.887 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= re -222.33808009768373) (/ 1 (/ (log 10.0) (log (* -1 re)))) (if (<= re 3.110542402831786e+46) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))) (/ (log re) (log 10.0))))
2.888 * * [simplify]: iteration  0 :  30  enodes  (cost  16 )
2.888 * * [simplify]: iteration  1 :  30  enodes  (cost  16 )
2.889 * [simplify]: Simplified to:
   (if (<= re -222.33808009768373) (/ 1 (/ (log 10.0) (log (* -1 re)))) (if (<= re 3.110542402831786e+46) (/ 1 (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))) (/ (log re) (log 10.0))))
3.953 * [regime-testing]: Baseline error score: 32.084076721960756
3.954 * [regime-testing]: Oracle error score: 7.862810751601712
3.956 * [regime-testing]: End program error score: 19.05162750167879