23.944 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
0.021 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
0.022 * * [simplify]: iteration  1 :  11  enodes  (cost  12 )
0.024 * * [simplify]: iteration  done :  11  enodes  (cost  12 )
0.024 * [simplify]: Simplified to:
   (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.026 * * * * [pick]: Picked  #<alt (λ (re im) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))>
0.026 * * * [progress]: localizing error
0.037 * * * [progress]: generating rewritten candidates
0.037 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.041 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.055 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.060 * * * [progress]: generating series expansions
0.060 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.060 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.060 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.060 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.060 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.060 * [taylor]: Taking taylor expansion of re in im
0.060 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.060 * [taylor]: Taking taylor expansion of im in im
0.061 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.061 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.061 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.061 * [taylor]: Taking taylor expansion of re in re
0.061 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.061 * [taylor]: Taking taylor expansion of im in re
0.061 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.061 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.061 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.061 * [taylor]: Taking taylor expansion of re in re
0.061 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.061 * [taylor]: Taking taylor expansion of im in re
0.062 * [taylor]: Taking taylor expansion of im in im
0.062 * [taylor]: Taking taylor expansion of 0 in im
0.063 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.063 * [taylor]: Taking taylor expansion of 1/2 in im
0.063 * [taylor]: Taking taylor expansion of im in im
0.065 * [taylor]: Taking taylor expansion of 0 in im
0.066 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.066 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.066 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.066 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.066 * [taylor]: Taking taylor expansion of im in im
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.067 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.067 * [taylor]: Taking taylor expansion of re in im
0.069 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.069 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.069 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.069 * [taylor]: Taking taylor expansion of im in re
0.069 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.069 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.069 * [taylor]: Taking taylor expansion of re in re
0.071 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.071 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.071 * [taylor]: Taking taylor expansion of im in re
0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.072 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.072 * [taylor]: Taking taylor expansion of re in re
0.074 * [taylor]: Taking taylor expansion of 1 in im
0.074 * [taylor]: Taking taylor expansion of 0 in im
0.076 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.076 * [taylor]: Taking taylor expansion of 1/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.079 * [taylor]: Taking taylor expansion of 0 in im
0.081 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.081 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.081 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.081 * [taylor]: Taking taylor expansion of im in im
0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.081 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.081 * [taylor]: Taking taylor expansion of re in im
0.083 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.083 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.083 * [taylor]: Taking taylor expansion of im in re
0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.083 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.083 * [taylor]: Taking taylor expansion of re in re
0.086 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.086 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.086 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.086 * [taylor]: Taking taylor expansion of im in re
0.086 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.086 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.086 * [taylor]: Taking taylor expansion of re in re
0.088 * [taylor]: Taking taylor expansion of 1 in im
0.088 * [taylor]: Taking taylor expansion of 0 in im
0.090 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.090 * [taylor]: Taking taylor expansion of 1/2 in im
0.090 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.090 * [taylor]: Taking taylor expansion of im in im
0.093 * [taylor]: Taking taylor expansion of 0 in im
0.094 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.095 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in (re im) around 0
0.095 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in im
0.095 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.095 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.095 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.095 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.095 * [taylor]: Taking taylor expansion of re in im
0.095 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.095 * [taylor]: Taking taylor expansion of im in im
0.096 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.096 * [taylor]: Taking taylor expansion of 10.0 in im
0.096 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.096 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.096 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.096 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.096 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.096 * [taylor]: Taking taylor expansion of re in re
0.096 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.096 * [taylor]: Taking taylor expansion of im in re
0.097 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.097 * [taylor]: Taking taylor expansion of 10.0 in re
0.097 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log 10.0)) in re
0.097 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.097 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.097 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.097 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.097 * [taylor]: Taking taylor expansion of re in re
0.098 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.098 * [taylor]: Taking taylor expansion of im in re
0.098 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.098 * [taylor]: Taking taylor expansion of 10.0 in re
0.099 * [taylor]: Taking taylor expansion of (/ (log im) (log 10.0)) in im
0.099 * [taylor]: Taking taylor expansion of (log im) in im
0.099 * [taylor]: Taking taylor expansion of im in im
0.099 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.099 * [taylor]: Taking taylor expansion of 10.0 in im
0.102 * [taylor]: Taking taylor expansion of 0 in im
0.109 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.109 * [taylor]: Taking taylor expansion of 1/2 in im
0.109 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.110 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.110 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.110 * [taylor]: Taking taylor expansion of 10.0 in im
0.110 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.110 * [taylor]: Taking taylor expansion of im in im
0.132 * [taylor]: Taking taylor expansion of 0 in im
0.133 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.133 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.133 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.133 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.133 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.133 * [taylor]: Taking taylor expansion of im in im
0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.134 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.134 * [taylor]: Taking taylor expansion of re in im
0.136 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.136 * [taylor]: Taking taylor expansion of 10.0 in im
0.137 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.137 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.137 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.137 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.137 * [taylor]: Taking taylor expansion of im in re
0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.137 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.137 * [taylor]: Taking taylor expansion of re in re
0.140 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.140 * [taylor]: Taking taylor expansion of 10.0 in re
0.141 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.141 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.141 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.141 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.141 * [taylor]: Taking taylor expansion of im in re
0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.141 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.141 * [taylor]: Taking taylor expansion of re in re
0.144 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.144 * [taylor]: Taking taylor expansion of 10.0 in re
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.145 * [taylor]: Taking taylor expansion of -1 in im
0.145 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.145 * [taylor]: Taking taylor expansion of (log re) in im
0.145 * [taylor]: Taking taylor expansion of re in im
0.145 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.145 * [taylor]: Taking taylor expansion of 10.0 in im
0.149 * [taylor]: Taking taylor expansion of 0 in im
0.157 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.157 * [taylor]: Taking taylor expansion of 1/2 in im
0.157 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.157 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.157 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.157 * [taylor]: Taking taylor expansion of 10.0 in im
0.158 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.158 * [taylor]: Taking taylor expansion of im in im
0.178 * [taylor]: Taking taylor expansion of 0 in im
0.179 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in (re im) around 0
0.179 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in im
0.179 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.179 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.179 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.179 * [taylor]: Taking taylor expansion of im in im
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.179 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.179 * [taylor]: Taking taylor expansion of re in im
0.182 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.182 * [taylor]: Taking taylor expansion of 10.0 in im
0.183 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.183 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.183 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.183 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.183 * [taylor]: Taking taylor expansion of im in re
0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.183 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.183 * [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.187 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log 10.0)) in re
0.187 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.187 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.187 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.187 * [taylor]: Taking taylor expansion of im in re
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.187 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.187 * [taylor]: Taking taylor expansion of re in re
0.189 * [taylor]: Taking taylor expansion of (log 10.0) in re
0.189 * [taylor]: Taking taylor expansion of 10.0 in re
0.191 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
0.191 * [taylor]: Taking taylor expansion of -1 in im
0.191 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
0.191 * [taylor]: Taking taylor expansion of (log re) in im
0.191 * [taylor]: Taking taylor expansion of re in im
0.191 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.191 * [taylor]: Taking taylor expansion of 10.0 in im
0.194 * [taylor]: Taking taylor expansion of 0 in im
0.203 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
0.203 * [taylor]: Taking taylor expansion of 1/2 in im
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
0.203 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
0.203 * [taylor]: Taking taylor expansion of (log 10.0) in im
0.203 * [taylor]: Taking taylor expansion of 10.0 in im
0.203 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.203 * [taylor]: Taking taylor expansion of im in im
0.226 * [taylor]: Taking taylor expansion of 0 in im
0.227 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.227 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
0.227 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.227 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.227 * [taylor]: Taking taylor expansion of re in im
0.227 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.227 * [taylor]: Taking taylor expansion of im in im
0.227 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.227 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.227 * [taylor]: Taking taylor expansion of re in re
0.227 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.227 * [taylor]: Taking taylor expansion of im in re
0.227 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.227 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.227 * [taylor]: Taking taylor expansion of re in re
0.227 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.227 * [taylor]: Taking taylor expansion of im in re
0.227 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.227 * [taylor]: Taking taylor expansion of im in im
0.228 * [taylor]: Taking taylor expansion of 0 in im
0.229 * [taylor]: Taking taylor expansion of 1 in im
0.230 * [taylor]: Taking taylor expansion of 0 in im
0.232 * [taylor]: Taking taylor expansion of 0 in im
0.232 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.232 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.232 * [taylor]: Taking taylor expansion of im in im
0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.233 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.233 * [taylor]: Taking taylor expansion of re in im
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 (pow im 2)) (/ 1 (pow re 2))) in re
0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.234 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.234 * [taylor]: Taking taylor expansion of im in re
0.234 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.234 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.234 * [taylor]: Taking taylor expansion of re in re
0.235 * [taylor]: Taking taylor expansion of 1 in im
0.236 * [taylor]: Taking taylor expansion of 0 in im
0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.237 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.237 * [taylor]: Taking taylor expansion of im in im
0.239 * [taylor]: Taking taylor expansion of 0 in im
0.242 * [taylor]: Taking taylor expansion of 0 in im
0.243 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.243 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.243 * [taylor]: Taking taylor expansion of im in im
0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.244 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.244 * [taylor]: Taking taylor expansion of re in im
0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.244 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.244 * [taylor]: Taking taylor expansion of im in re
0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.244 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.244 * [taylor]: Taking taylor expansion of re in re
0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.244 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.244 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.244 * [taylor]: Taking taylor expansion of im in re
0.245 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.245 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.245 * [taylor]: Taking taylor expansion of re in re
0.245 * [taylor]: Taking taylor expansion of 1 in im
0.246 * [taylor]: Taking taylor expansion of 0 in im
0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.248 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.248 * [taylor]: Taking taylor expansion of im in im
0.250 * [taylor]: Taking taylor expansion of 0 in im
0.252 * [taylor]: Taking taylor expansion of 0 in im
0.254 * * * [progress]: simplifying candidates
0.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))))
  (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt 1)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (/ 1 2)
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (- (log (log (sqrt (+ (* re re) (* im im))))) (log (log 10.0)))
  (log (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (exp (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10.0) (log 10.0)) (log 10.0)))
  (* (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))) (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))))
  (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (* (* (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (sqrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (sqrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (- (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/2 1)
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ 1/2 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (log 10.0)))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1/2 1)
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ 1 1)
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (cbrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ 1 1)
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ (/ 1 2) 1)
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ (/ 1 2) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (log 10.0)))
  (/ (/ 1 2) (sqrt (log 10.0)))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ (/ 1 2) 1)
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) 1)
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log 10.0)))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (sqrt (log 10.0)))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) 1)
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) 1)
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log 10.0)))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) 1)
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ 1 1)
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (cbrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ 1 1)
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (log 10.0))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (/ (log (sqrt (+ (* re re) (* im im)))) 1)
  (/ (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (log (sqrt (+ (* re re) (* im im)))) 1)
  (/ (log 10.0) (log (+ (* re re) (* im im))))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (/ (log 10.0) (log (+ (* re re) (* im im))))
  (/ (log 10.0) (cbrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (log 10.0) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (* (exp (* re re)) (exp (* im im)))
  (log (+ (* re re) (* im im)))
  (exp (+ (* re re) (* im im)))
  (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))
  (cbrt (+ (* re re) (* im im)))
  (* (* (+ (* re re) (* im im)) (+ (* re re) (* im im))) (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (* 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.259 * * [simplify]: iteration  0 :  125  enodes  (cost  1357 )
0.284 * * [simplify]: iteration  1 :  255  enodes  (cost  1281 )
0.336 * * [simplify]: iteration  2 :  681  enodes  (cost  1165 )
0.627 * * [simplify]: iteration  3 :  2076  enodes  (cost  1163 )
1.383 * * [simplify]: iteration  done :  5000  enodes  (cost  1163 )
1.383 * [simplify]: Simplified to:
   (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (pow (sqrt (+ (* re re) (* im im))) 3)
  (fabs (cbrt (+ (* re re) (* im im))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  1
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow im 6) (pow re 6)))
  (sqrt (+ (* (* im im) (- (* im im) (* re re))) (pow re 4)))
  (sqrt (- (pow re 4) (pow im 4)))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (log (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (log (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (exp (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3)
  (* (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))) (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))))
  (cbrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3)
  (sqrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (sqrt (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
  (- (log (sqrt (+ (* re re) (* im im)))))
  (- (log 10.0))
  (/ (log (sqrt (+ (pow im 6) (pow re 6)))) (log 10.0))
  (/ (log (sqrt (+ (* (* im im) (- (* im im) (* re re))) (pow re 4)))) (log 10.0))
  (/ (log (sqrt (- (pow re 4) (pow im 4)))) (log 10.0))
  (/ (log (sqrt (- (* re re) (* im im)))) (log 10.0))
  1/2
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ 1/2 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (log 10.0)))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  1/2
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  1
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (cbrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  1
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  1/2
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (/ 1/2 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (log 10.0)))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  1/2
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log 10.0)))
  (/ (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (sqrt (log 10.0)))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (cbrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (sqrt (log (sqrt (+ (* re re) (* im im)))))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log 10.0)))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))
  (sqrt (log (sqrt (+ (* re re) (* im im)))))
  (/ (sqrt (log (sqrt (+ (* re re) (* im im))))) (log 10.0))
  1
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (cbrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  1
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
  (/ 1 (log 10.0))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (log (sqrt (+ (* re re) (* im im))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (log (sqrt (+ (* re re) (* im im))))
  (/ (log 10.0) (log (+ (* re re) (* im im))))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (/ (log 10.0) (log (+ (* re re) (* im im))))
  (/ (log 10.0) (cbrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (log 10.0) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
  (exp (+ (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (exp (+ (* re re) (* im im)))
  (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))
  (cbrt (+ (* re re) (* im im)))
  (pow (+ (* re re) (* im im)) 3)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (+ (pow im 6) (pow re 6))
  (+ (* (* im im) (- (* im im) (* re re))) (pow re 4))
  (- (pow re 4) (pow im 4))
  (- (* re re) (* im im))
  im
  re
  (- re)
  (/ (log im) (log 10.0))
  (/ (log re) (log 10.0))
  (- (/ (log (/ -1 re)) (log 10.0)))
  (+ (* re re) (* im im))
  (+ (* re re) (* im im))
  (+ (* re re) (* im im))
1.384 * * * [progress]: adding candidates to table
1.584 * * [progress]: iteration 2 / 4
1.584 * * * [progress]: picking best candidate
1.613 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))>
1.613 * * * [progress]: localizing error
1.629 * * * [progress]: generating rewritten candidates
1.629 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.632 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.642 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.674 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.684 * * * [progress]: generating series expansions
1.684 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.684 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0
1.684 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
1.684 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.684 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.684 * [taylor]: Taking taylor expansion of re in im
1.684 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.684 * [taylor]: Taking taylor expansion of im in im
1.684 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.684 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.684 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.684 * [taylor]: Taking taylor expansion of re in re
1.684 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.684 * [taylor]: Taking taylor expansion of im in re
1.685 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.685 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.685 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.685 * [taylor]: Taking taylor expansion of re in re
1.685 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.685 * [taylor]: Taking taylor expansion of im in re
1.685 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
1.685 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.685 * [taylor]: Taking taylor expansion of im in im
1.687 * [taylor]: Taking taylor expansion of 0 in im
1.690 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.690 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.690 * [taylor]: Taking taylor expansion of im in im
1.697 * [taylor]: Taking taylor expansion of 0 in im
1.697 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.697 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.697 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.697 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.697 * [taylor]: Taking taylor expansion of im in im
1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.698 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.698 * [taylor]: Taking taylor expansion of re in im
1.702 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.702 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.702 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.702 * [taylor]: Taking taylor expansion of im in re
1.703 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.703 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.703 * [taylor]: Taking taylor expansion of re in re
1.704 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.704 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.704 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.704 * [taylor]: Taking taylor expansion of im in re
1.704 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.704 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.704 * [taylor]: Taking taylor expansion of re in re
1.705 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
1.705 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
1.705 * [taylor]: Taking taylor expansion of 2 in im
1.706 * [taylor]: Taking taylor expansion of (log re) in im
1.706 * [taylor]: Taking taylor expansion of re in im
1.707 * [taylor]: Taking taylor expansion of 0 in im
1.711 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.711 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.711 * [taylor]: Taking taylor expansion of im in im
1.718 * [taylor]: Taking taylor expansion of 0 in im
1.719 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.719 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.719 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.719 * [taylor]: Taking taylor expansion of im in im
1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.719 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.719 * [taylor]: Taking taylor expansion of re in im
1.720 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.720 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.720 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.720 * [taylor]: Taking taylor expansion of im in re
1.720 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.720 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.720 * [taylor]: Taking taylor expansion of re in re
1.721 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.721 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.721 * [taylor]: Taking taylor expansion of im in re
1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.721 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.721 * [taylor]: Taking taylor expansion of re in re
1.723 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
1.723 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
1.723 * [taylor]: Taking taylor expansion of 2 in im
1.723 * [taylor]: Taking taylor expansion of (log re) in im
1.723 * [taylor]: Taking taylor expansion of re in im
1.725 * [taylor]: Taking taylor expansion of 0 in im
1.728 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.728 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.728 * [taylor]: Taking taylor expansion of im in im
1.735 * [taylor]: Taking taylor expansion of 0 in im
1.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.737 * [approximate]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (sqrt (/ 1 (log 10.0)))) in (re im) around 0
1.737 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (sqrt (/ 1 (log 10.0)))) in im
1.737 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
1.737 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.737 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.737 * [taylor]: Taking taylor expansion of re in im
1.737 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.737 * [taylor]: Taking taylor expansion of im in im
1.737 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.737 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.737 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.737 * [taylor]: Taking taylor expansion of 10.0 in im
1.740 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (sqrt (/ 1 (log 10.0)))) in re
1.741 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.741 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.741 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.741 * [taylor]: Taking taylor expansion of re in re
1.741 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.741 * [taylor]: Taking taylor expansion of im in re
1.741 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.741 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.741 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.741 * [taylor]: Taking taylor expansion of 10.0 in re
1.745 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (sqrt (/ 1 (log 10.0)))) in re
1.745 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.745 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.745 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.745 * [taylor]: Taking taylor expansion of re in re
1.745 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.745 * [taylor]: Taking taylor expansion of im in re
1.745 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.745 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.745 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.745 * [taylor]: Taking taylor expansion of 10.0 in re
1.750 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (log (pow im 2))) in im
1.750 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.750 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.750 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.750 * [taylor]: Taking taylor expansion of 10.0 in im
1.753 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
1.753 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.753 * [taylor]: Taking taylor expansion of im in im
1.758 * [taylor]: Taking taylor expansion of 0 in im
1.766 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (/ 1 (pow im 2))) in im
1.766 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.766 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.766 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.766 * [taylor]: Taking taylor expansion of 10.0 in im
1.770 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.770 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.770 * [taylor]: Taking taylor expansion of im in im
1.792 * [taylor]: Taking taylor expansion of 0 in im
1.794 * [approximate]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in (re im) around 0
1.794 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in im
1.794 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.794 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.794 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.794 * [taylor]: Taking taylor expansion of im in im
1.795 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.795 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.795 * [taylor]: Taking taylor expansion of re in im
1.795 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.795 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.795 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.795 * [taylor]: Taking taylor expansion of 10.0 in im
1.799 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in re
1.799 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.799 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.799 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.799 * [taylor]: Taking taylor expansion of im in re
1.799 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.799 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.799 * [taylor]: Taking taylor expansion of re in re
1.800 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.800 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.800 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.800 * [taylor]: Taking taylor expansion of 10.0 in re
1.804 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in re
1.804 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.804 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.804 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.804 * [taylor]: Taking taylor expansion of im in re
1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.804 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.804 * [taylor]: Taking taylor expansion of re in re
1.805 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.805 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.805 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.805 * [taylor]: Taking taylor expansion of 10.0 in re
1.810 * [taylor]: Taking taylor expansion of (* -2 (* (sqrt (/ 1 (log 10.0))) (log re))) in im
1.811 * [taylor]: Taking taylor expansion of -2 in im
1.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (log re)) in im
1.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.811 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.811 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.811 * [taylor]: Taking taylor expansion of 10.0 in im
1.814 * [taylor]: Taking taylor expansion of (log re) in im
1.814 * [taylor]: Taking taylor expansion of re in im
1.820 * [taylor]: Taking taylor expansion of 0 in im
1.829 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (/ 1 (pow im 2))) in im
1.829 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.829 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.829 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.829 * [taylor]: Taking taylor expansion of 10.0 in im
1.832 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.833 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.833 * [taylor]: Taking taylor expansion of im in im
1.853 * [taylor]: Taking taylor expansion of 0 in im
1.855 * [approximate]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in (re im) around 0
1.855 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in im
1.855 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.855 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.855 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.855 * [taylor]: Taking taylor expansion of im in im
1.855 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.855 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.856 * [taylor]: Taking taylor expansion of re in im
1.856 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.856 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.856 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.856 * [taylor]: Taking taylor expansion of 10.0 in im
1.860 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in re
1.860 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.860 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.860 * [taylor]: Taking taylor expansion of im in re
1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.860 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.860 * [taylor]: Taking taylor expansion of re in re
1.861 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.861 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.861 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.861 * [taylor]: Taking taylor expansion of 10.0 in re
1.871 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (sqrt (/ 1 (log 10.0)))) in re
1.871 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.871 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.871 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.871 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.871 * [taylor]: Taking taylor expansion of im in re
1.871 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.871 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.871 * [taylor]: Taking taylor expansion of re in re
1.872 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in re
1.872 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in re
1.872 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.872 * [taylor]: Taking taylor expansion of 10.0 in re
1.877 * [taylor]: Taking taylor expansion of (* -2 (* (sqrt (/ 1 (log 10.0))) (log re))) in im
1.877 * [taylor]: Taking taylor expansion of -2 in im
1.877 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (log re)) in im
1.877 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.877 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.877 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.877 * [taylor]: Taking taylor expansion of 10.0 in im
1.881 * [taylor]: Taking taylor expansion of (log re) in im
1.881 * [taylor]: Taking taylor expansion of re in im
1.886 * [taylor]: Taking taylor expansion of 0 in im
1.895 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (log 10.0))) (/ 1 (pow im 2))) in im
1.895 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (log 10.0))) in im
1.895 * [taylor]: Taking taylor expansion of (/ 1 (log 10.0)) in im
1.895 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.895 * [taylor]: Taking taylor expansion of 10.0 in im
1.899 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.899 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.899 * [taylor]: Taking taylor expansion of im in im
1.921 * [taylor]: Taking taylor expansion of 0 in im
1.922 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.923 * [approximate]: Taking taylor expansion of (* 1/2 (/ (log (+ (pow re 2) (pow im 2))) (log 10.0))) in (re im) around 0
1.923 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (pow re 2) (pow im 2))) (log 10.0))) in im
1.923 * [taylor]: Taking taylor expansion of 1/2 in im
1.923 * [taylor]: Taking taylor expansion of (/ (log (+ (pow re 2) (pow im 2))) (log 10.0)) in im
1.923 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
1.923 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.923 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.924 * [taylor]: Taking taylor expansion of re in im
1.924 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.924 * [taylor]: Taking taylor expansion of im in im
1.924 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.924 * [taylor]: Taking taylor expansion of 10.0 in im
1.924 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (pow re 2) (pow im 2))) (log 10.0))) in re
1.924 * [taylor]: Taking taylor expansion of 1/2 in re
1.924 * [taylor]: Taking taylor expansion of (/ (log (+ (pow re 2) (pow im 2))) (log 10.0)) in re
1.924 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.924 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.924 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.924 * [taylor]: Taking taylor expansion of re in re
1.925 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.925 * [taylor]: Taking taylor expansion of im in re
1.925 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.925 * [taylor]: Taking taylor expansion of 10.0 in re
1.925 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (pow re 2) (pow im 2))) (log 10.0))) in re
1.925 * [taylor]: Taking taylor expansion of 1/2 in re
1.925 * [taylor]: Taking taylor expansion of (/ (log (+ (pow re 2) (pow im 2))) (log 10.0)) in re
1.925 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.925 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.925 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.925 * [taylor]: Taking taylor expansion of re in re
1.925 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.925 * [taylor]: Taking taylor expansion of im in re
1.926 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.926 * [taylor]: Taking taylor expansion of 10.0 in re
1.927 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (pow im 2)) (log 10.0))) in im
1.927 * [taylor]: Taking taylor expansion of 1/2 in im
1.927 * [taylor]: Taking taylor expansion of (/ (log (pow im 2)) (log 10.0)) in im
1.927 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
1.927 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.927 * [taylor]: Taking taylor expansion of im in im
1.927 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.927 * [taylor]: Taking taylor expansion of 10.0 in im
1.932 * [taylor]: Taking taylor expansion of 0 in im
1.941 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
1.941 * [taylor]: Taking taylor expansion of 1/2 in im
1.941 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
1.941 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
1.941 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.941 * [taylor]: Taking taylor expansion of 10.0 in im
1.941 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.941 * [taylor]: Taking taylor expansion of im in im
1.969 * [taylor]: Taking taylor expansion of 0 in im
1.971 * [approximate]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in (re im) around 0
1.971 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in im
1.971 * [taylor]: Taking taylor expansion of 1/2 in im
1.971 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in im
1.971 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.972 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.972 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.972 * [taylor]: Taking taylor expansion of im in im
1.972 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.972 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.972 * [taylor]: Taking taylor expansion of re in im
1.973 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.973 * [taylor]: Taking taylor expansion of 10.0 in im
1.974 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in re
1.974 * [taylor]: Taking taylor expansion of 1/2 in re
1.974 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in re
1.974 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.974 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.974 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.974 * [taylor]: Taking taylor expansion of im in re
1.974 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.974 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.974 * [taylor]: Taking taylor expansion of re in re
1.975 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.975 * [taylor]: Taking taylor expansion of 10.0 in re
1.976 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in re
1.976 * [taylor]: Taking taylor expansion of 1/2 in re
1.976 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in re
1.976 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.976 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.976 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.976 * [taylor]: Taking taylor expansion of im in re
1.976 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.976 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.977 * [taylor]: Taking taylor expansion of re in re
1.977 * [taylor]: Taking taylor expansion of (log 10.0) in re
1.977 * [taylor]: Taking taylor expansion of 10.0 in re
1.979 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
1.979 * [taylor]: Taking taylor expansion of -1 in im
1.979 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
1.979 * [taylor]: Taking taylor expansion of (log re) in im
1.979 * [taylor]: Taking taylor expansion of re in im
1.979 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.979 * [taylor]: Taking taylor expansion of 10.0 in im
1.984 * [taylor]: Taking taylor expansion of 0 in im
1.993 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
1.993 * [taylor]: Taking taylor expansion of 1/2 in im
1.993 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
1.993 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
1.993 * [taylor]: Taking taylor expansion of (log 10.0) in im
1.993 * [taylor]: Taking taylor expansion of 10.0 in im
1.993 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.993 * [taylor]: Taking taylor expansion of im in im
2.015 * [taylor]: Taking taylor expansion of 0 in im
2.017 * [approximate]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in (re im) around 0
2.017 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in im
2.017 * [taylor]: Taking taylor expansion of 1/2 in im
2.017 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in im
2.017 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
2.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
2.017 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.017 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.017 * [taylor]: Taking taylor expansion of im in im
2.018 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
2.018 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.018 * [taylor]: Taking taylor expansion of re in im
2.019 * [taylor]: Taking taylor expansion of (log 10.0) in im
2.019 * [taylor]: Taking taylor expansion of 10.0 in im
2.020 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in re
2.020 * [taylor]: Taking taylor expansion of 1/2 in re
2.020 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in re
2.020 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.020 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.020 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.020 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.020 * [taylor]: Taking taylor expansion of im in re
2.020 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.020 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.020 * [taylor]: Taking taylor expansion of re in re
2.021 * [taylor]: Taking taylor expansion of (log 10.0) in re
2.021 * [taylor]: Taking taylor expansion of 10.0 in re
2.022 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0))) in re
2.022 * [taylor]: Taking taylor expansion of 1/2 in re
2.022 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log 10.0)) in re
2.022 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.022 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.022 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.022 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.022 * [taylor]: Taking taylor expansion of im in re
2.023 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.023 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.023 * [taylor]: Taking taylor expansion of re in re
2.023 * [taylor]: Taking taylor expansion of (log 10.0) in re
2.024 * [taylor]: Taking taylor expansion of 10.0 in re
2.025 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log 10.0))) in im
2.025 * [taylor]: Taking taylor expansion of -1 in im
2.025 * [taylor]: Taking taylor expansion of (/ (log re) (log 10.0)) in im
2.025 * [taylor]: Taking taylor expansion of (log re) in im
2.025 * [taylor]: Taking taylor expansion of re in im
2.025 * [taylor]: Taking taylor expansion of (log 10.0) in im
2.025 * [taylor]: Taking taylor expansion of 10.0 in im
2.030 * [taylor]: Taking taylor expansion of 0 in im
2.046 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log 10.0) (pow im 2)))) in im
2.046 * [taylor]: Taking taylor expansion of 1/2 in im
2.046 * [taylor]: Taking taylor expansion of (/ 1 (* (log 10.0) (pow im 2))) in im
2.046 * [taylor]: Taking taylor expansion of (* (log 10.0) (pow im 2)) in im
2.046 * [taylor]: Taking taylor expansion of (log 10.0) in im
2.046 * [taylor]: Taking taylor expansion of 10.0 in im
2.046 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.046 * [taylor]: Taking taylor expansion of im in im
2.068 * [taylor]: Taking taylor expansion of 0 in im
2.069 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
2.069 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
2.069 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
2.069 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.069 * [taylor]: Taking taylor expansion of re in im
2.069 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.069 * [taylor]: Taking taylor expansion of im in im
2.069 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
2.069 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.069 * [taylor]: Taking taylor expansion of re in re
2.069 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.069 * [taylor]: Taking taylor expansion of im in re
2.069 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
2.069 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.069 * [taylor]: Taking taylor expansion of re in re
2.069 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.069 * [taylor]: Taking taylor expansion of im in re
2.069 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.069 * [taylor]: Taking taylor expansion of im in im
2.069 * [taylor]: Taking taylor expansion of 0 in im
2.070 * [taylor]: Taking taylor expansion of 1 in im
2.072 * [taylor]: Taking taylor expansion of 0 in im
2.073 * [taylor]: Taking taylor expansion of 0 in im
2.074 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
2.074 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.074 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.074 * [taylor]: Taking taylor expansion of im in im
2.074 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
2.075 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.075 * [taylor]: Taking taylor expansion of re in im
2.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.075 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.075 * [taylor]: Taking taylor expansion of im in re
2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.075 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.075 * [taylor]: Taking taylor expansion of re in re
2.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.075 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.075 * [taylor]: Taking taylor expansion of im in re
2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.076 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.076 * [taylor]: Taking taylor expansion of re in re
2.076 * [taylor]: Taking taylor expansion of 1 in im
2.077 * [taylor]: Taking taylor expansion of 0 in im
2.078 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.078 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.079 * [taylor]: Taking taylor expansion of im in im
2.080 * [taylor]: Taking taylor expansion of 0 in im
2.083 * [taylor]: Taking taylor expansion of 0 in im
2.085 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
2.085 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
2.085 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.085 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.085 * [taylor]: Taking taylor expansion of im in im
2.086 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
2.086 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.086 * [taylor]: Taking taylor expansion of re in im
2.086 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.086 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.086 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.086 * [taylor]: Taking taylor expansion of im in re
2.086 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.086 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.086 * [taylor]: Taking taylor expansion of re in re
2.086 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.086 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.086 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.087 * [taylor]: Taking taylor expansion of im in re
2.087 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.087 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.087 * [taylor]: Taking taylor expansion of re in re
2.087 * [taylor]: Taking taylor expansion of 1 in im
2.088 * [taylor]: Taking taylor expansion of 0 in im
2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.090 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.090 * [taylor]: Taking taylor expansion of im in im
2.092 * [taylor]: Taking taylor expansion of 0 in im
2.095 * [taylor]: Taking taylor expansion of 0 in im
2.096 * * * [progress]: simplifying candidates
2.099 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log 1)
  (log (+ (* re re) (* im im)))
  (log (+ (pow (* re re) 3) (pow (* im im) 3)))
  (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (exp (log (+ (* re re) (* im im))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (- (log (log (+ (* re re) (* im im)))) (log (sqrt (log 10.0))))
  (log (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (exp (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0))))
  (* (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (- (log (+ (* re re) (* im im))))
  (- (sqrt (log 10.0)))
  (/ (log (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (log 10.0)))
  (/ (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (log 10.0)))
  (/ (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (log 10.0)))
  (/ (log (- (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (cbrt (sqrt (log 10.0))))
  (/ 1 (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (sqrt (cbrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ 1 1)
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (cbrt (sqrt (log 10.0))))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt 1))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (cbrt (log 10.0))))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt 1))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) 1)
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (cbrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt 1))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (cbrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt 1))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) 1)
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (cbrt (sqrt (log 10.0))))
  (/ 1 (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (sqrt (cbrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ 1 1)
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (/ (log (+ (* re re) (* im im))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt 1))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) 1)
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (/ (sqrt (log 10.0)) (cbrt (log (+ (* re re) (* im im)))))
  (/ (sqrt (log 10.0)) (sqrt (log (+ (* re re) (* im im)))))
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (+ (- (log 1/2) (log (sqrt (log 10.0)))) (- (log (log (+ (* re re) (* im im)))) (log (sqrt (log 10.0)))))
  (+ (- (log 1/2) (log (sqrt (log 10.0)))) (log (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (+ (log (/ 1/2 (sqrt (log 10.0)))) (- (log (log (+ (* re re) (* im im)))) (log (sqrt (log 10.0)))))
  (+ (log (/ 1/2 (sqrt (log 10.0)))) (log (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (log (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (exp (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))))
  (* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (* (* (/ 1/2 (sqrt (log 10.0))) (/ 1/2 (sqrt (log 10.0)))) (/ 1/2 (sqrt (log 10.0)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10.0)) (sqrt (log 10.0))) (sqrt (log 10.0)))))
  (* (* (* (/ 1/2 (sqrt (log 10.0))) (/ 1/2 (sqrt (log 10.0)))) (/ 1/2 (sqrt (log 10.0)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (cbrt (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (cbrt (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))
  (cbrt (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (* (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (sqrt (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (sqrt (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* 1/2 (log (+ (* re re) (* im im))))
  (* (sqrt (log 10.0)) (sqrt (log 10.0)))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (* (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 1))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) 1))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) 1))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt 1)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ 1 1))
  (* (/ 1/2 (sqrt (log 10.0))) 1)
  (* (/ 1/2 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
  (* (cbrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
  (* 1/2 (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (exp (* re re)) (exp (* im im)))
  (log (+ (* re re) (* im im)))
  (exp (+ (* re re) (* im im)))
  (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))
  (cbrt (+ (* re re) (* im im)))
  (* (* (+ (* re re) (* im im)) (+ (* re re) (* im im))) (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (* 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))
  (* 2 (log im))
  (- (* 2 (log (/ 1 re))))
  (- (* 2 (log (/ -1 re))))
  (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))
  (* -2 (* (log (/ 1 re)) (sqrt (/ 1 (log 10.0)))))
  (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))
  (/ (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))
2.107 * * [simplify]: iteration  0 :  214  enodes  (cost  3631 )
2.162 * * [simplify]: iteration  1 :  562  enodes  (cost  3427 )
2.384 * * [simplify]: iteration  2 :  1697  enodes  (cost  3032 )
2.949 * * [simplify]: iteration  done :  5000  enodes  (cost  2997 )
2.956 * [simplify]: Simplified to:
   (* 2 (log (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  0
  (log (+ (* re re) (* im im)))
  (log (+ (pow re 6) (pow im 6)))
  (log (+ (* (* im im) (- (* im im) (* re re))) (pow re 4)))
  (log (- (pow re 4) (pow im 4)))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (+ (* re re) (* im im))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (pow (log (+ (* re re) (* im im))) 3)
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (log (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (log (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (exp (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (pow (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))) 3)
  (* (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (pow (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))) 3)
  (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (- (log (+ (* re re) (* im im))))
  (- (sqrt (log 10.0)))
  (/ (log (+ (pow re 6) (pow im 6))) (sqrt (log 10.0)))
  (/ (log (+ (* (* im im) (- (* im im) (* re re))) (pow re 4))) (sqrt (log 10.0)))
  (/ (log (- (pow re 4) (pow im 4))) (sqrt (log 10.0)))
  (/ (log (- (* re re) (* im im))) (sqrt (log 10.0)))
  (/ (/ 1 (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (fabs (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (cbrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (fabs (cbrt (log 10.0))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (cbrt (log 10.0))))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (/ (cbrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (cbrt (sqrt (log 10.0))))
  (sqrt (log (+ (* re re) (* im im))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (fabs (cbrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (cbrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (sqrt (log (+ (* re re) (* im im))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0))))
  (sqrt (log (+ (* re re) (* im im))))
  (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
  (/ (/ 1 (cbrt (sqrt (log 10.0)))) (cbrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (cbrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (fabs (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (cbrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  1
  (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
  (/ 1 (sqrt (log 10.0)))
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (/ (log (+ (* re re) (* im im))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (log (+ (* re re) (* im im)))
  (/ (log (+ (* re re) (* im im))) (fabs (cbrt (log 10.0))))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (log (+ (* re re) (* im im)))
  (/ (log (+ (* re re) (* im im))) (sqrt (sqrt (log 10.0))))
  (log (+ (* re re) (* im im)))
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (/ (sqrt (log 10.0)) (cbrt (log (+ (* re re) (* im im)))))
  (/ (sqrt (log 10.0)) (sqrt (log (+ (* re re) (* im im)))))
  (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
  (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))
  (log (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (log (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (log (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (log (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (log (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (exp (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (pow (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)) 3)
  (pow (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)) 3)
  (pow (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)) 3)
  (pow (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)) 3)
  (* (cbrt (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))) (cbrt (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))))
  (cbrt (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (pow (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)) 3)
  (sqrt (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (sqrt (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0)))
  (* 1/2 (log (+ (* re re) (* im im))))
  (log 10.0)
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (* (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))) (cbrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (sqrt (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
  (/ (/ 1/2 (sqrt (log 10.0))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (/ 1/2 (sqrt (log 10.0))) (fabs (cbrt (log 10.0))))
  (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (sqrt (log 10.0))))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (sqrt (log 10.0))))
  (/ 1/2 (sqrt (log 10.0)))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (/ 1/2 (sqrt (log 10.0))))
  (/ (* (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (/ 1/2 (sqrt (log 10.0)))) (fabs (cbrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0)))))
  (* (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (/ 1/2 (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (sqrt (sqrt (log 10.0)))))
  (* (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (/ 1/2 (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (* (/ 1/2 (sqrt (log 10.0))) (sqrt (log (+ (* re re) (* im im)))))
  (* (/ (sqrt (log (+ (* re re) (* im im)))) (fabs (cbrt (log 10.0)))) (/ 1/2 (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (sqrt (log (+ (* re re) (* im im)))))
  (* (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log (+ (* re re) (* im im)))) (sqrt (sqrt (log 10.0)))))
  (* (/ 1/2 (sqrt (log 10.0))) (sqrt (log (+ (* re re) (* im im)))))
  (/ (/ 1/2 (sqrt (log 10.0))) (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (/ 1/2 (sqrt (log 10.0))) (fabs (cbrt (log 10.0))))
  (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (sqrt (log 10.0))))
  (/ 1/2 (sqrt (log 10.0)))
  (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (sqrt (log 10.0))))
  (/ 1/2 (sqrt (log 10.0)))
  (/ 1/2 (sqrt (log 10.0)))
  (* (/ 1/2 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
  (* (cbrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (cbrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (cbrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (cbrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
  (* (/ (sqrt 1/2) (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))
  (* (/ (sqrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))
  (* (/ (sqrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))
  (* (/ 1/2 (cbrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))
  (* (/ 1/2 (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ 1/2 (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))
  (* (/ 1/2 (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))
  (/ (* 1/2 (log (+ (* re re) (* im im)))) (log 10.0))
  (/ (log (+ (* re re) (* im im))) (log 10.0))
  (* (/ 1/2 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
  (* (/ 1/2 (sqrt (log 10.0))) (log (+ (* re re) (* im im))))
  (exp (+ (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (exp (+ (* re re) (* im im)))
  (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))
  (cbrt (+ (* re re) (* im im)))
  (pow (+ (* re re) (* im im)) 3)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (+ (pow re 6) (pow im 6))
  (+ (* (* im im) (- (* im im) (* re re))) (pow re 4))
  (- (pow re 4) (pow im 4))
  (- (* re re) (* im im))
  (* 2 (log im))
  (* 2 (log re))
  (* -2 (log (/ -1 re)))
  (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))
  (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))
  (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))
  (/ (log im) (log 10.0))
  (/ (log re) (log 10.0))
  (- (/ (log (/ -1 re)) (log 10.0)))
  (+ (* re re) (* im im))
  (+ (* re re) (* im im))
  (+ (* re re) (* im im))
2.957 * * * [progress]: adding candidates to table
3.337 * * [progress]: iteration 3 / 4
3.337 * * * [progress]: picking best candidate
3.363 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))>
3.363 * * * [progress]: localizing error
3.382 * * * [progress]: generating rewritten candidates
3.382 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
3.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
3.387 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.400 * * * [progress]: generating series expansions
3.400 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
3.400 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0
3.400 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
3.400 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
3.400 * [taylor]: Taking taylor expansion of (pow re 2) in im
3.400 * [taylor]: Taking taylor expansion of re in im
3.400 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.400 * [taylor]: Taking taylor expansion of im in im
3.401 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
3.401 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
3.401 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.401 * [taylor]: Taking taylor expansion of re in re
3.401 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.401 * [taylor]: Taking taylor expansion of im in re
3.401 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
3.401 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
3.401 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.401 * [taylor]: Taking taylor expansion of re in re
3.401 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.401 * [taylor]: Taking taylor expansion of im in re
3.401 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
3.401 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.401 * [taylor]: Taking taylor expansion of im in im
3.403 * [taylor]: Taking taylor expansion of 0 in im
3.410 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.410 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.410 * [taylor]: Taking taylor expansion of im in im
3.417 * [taylor]: Taking taylor expansion of 0 in im
3.418 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
3.418 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
3.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
3.418 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.418 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.418 * [taylor]: Taking taylor expansion of im in im
3.418 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
3.418 * [taylor]: Taking taylor expansion of (pow re 2) in im
3.418 * [taylor]: Taking taylor expansion of re in im
3.419 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
3.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
3.419 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.419 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.419 * [taylor]: Taking taylor expansion of im in re
3.419 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.419 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.419 * [taylor]: Taking taylor expansion of re in re
3.420 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
3.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
3.420 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.420 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.420 * [taylor]: Taking taylor expansion of im in re
3.420 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.420 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.420 * [taylor]: Taking taylor expansion of re in re
3.422 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
3.422 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
3.422 * [taylor]: Taking taylor expansion of 2 in im
3.422 * [taylor]: Taking taylor expansion of (log re) in im
3.422 * [taylor]: Taking taylor expansion of re in im
3.424 * [taylor]: Taking taylor expansion of 0 in im
3.427 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.427 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.427 * [taylor]: Taking taylor expansion of im in im
3.435 * [taylor]: Taking taylor expansion of 0 in im
3.435 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
3.436 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
3.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
3.436 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.436 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.436 * [taylor]: Taking taylor expansion of im in im
3.436 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
3.436 * [taylor]: Taking taylor expansion of (pow re 2) in im
3.436 * [taylor]: Taking taylor expansion of re in im
3.437 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
3.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
3.437 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.437 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.437 * [taylor]: Taking taylor expansion of im in re
3.437 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.437 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.437 * [taylor]: Taking taylor expansion of re in re
3.438 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
3.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
3.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.439 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.439 * [taylor]: Taking taylor expansion of im in re
3.439 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.439 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.439 * [taylor]: Taking taylor expansion of re in re
3.440 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
3.440 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
3.440 * [taylor]: Taking taylor expansion of 2 in im
3.440 * [taylor]: Taking taylor expansion of (log re) in im
3.440 * [taylor]: Taking taylor expansion of re in im
3.442 * [taylor]: Taking taylor expansion of 0 in im
3.445 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.445 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.445 * [taylor]: Taking taylor expansion of im in im
3.453 * [taylor]: Taking taylor expansion of 0 in im
3.453 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
3.453 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.453 * * * [progress]: simplifying candidates
3.455 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log 1)
  (log (+ (* re re) (* im im)))
  (log (+ (pow (* re re) 3) (pow (* im im) 3)))
  (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (exp (log (+ (* re re) (* im im))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (log (sqrt (sqrt (log 10.0))))
  (exp (sqrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt (sqrt (log 10.0))))
  (* (* (sqrt (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0))))
  (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (sqrt (cbrt (sqrt (log 10.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (sqrt (sqrt (cbrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt 1)
  (sqrt (sqrt (log 10.0)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (log (sqrt (sqrt (log 10.0))))
  (exp (sqrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt (sqrt (log 10.0))))
  (* (* (sqrt (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0))))
  (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0)))))
  (sqrt (cbrt (sqrt (log 10.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (sqrt (sqrt (cbrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt 1))
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt 1)
  (sqrt (sqrt (log 10.0)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (- (log (cbrt 1/2)) (log (sqrt (sqrt (log 10.0)))))
  (log (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (exp (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (/ 1/2 (* (* (sqrt (sqrt (log 10.0))) (sqrt (sqrt (log 10.0)))) (sqrt (sqrt (log 10.0)))))
  (* (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))) (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))))
  (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (* (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))) (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (sqrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (sqrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (- (cbrt 1/2))
  (- (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt 1)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt 1)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt 1))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) 1)
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (sqrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt (sqrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt 1)))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt 1)))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt 1))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) 1)
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt 1) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ (cbrt 1) (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ (cbrt 1) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (cbrt 1) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1) (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ (cbrt 1) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1) (sqrt 1))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ (cbrt 1) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1) 1)
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt 1)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt 1)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt 1))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) 1)
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (sqrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (sqrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt 1)))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt 1)))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt 1))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) 1)
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ 1 (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ 1 (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (cbrt (sqrt (log 10.0)))))
  (/ 1 (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ 1 (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ 1 (sqrt 1))
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ 1 1)
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (/ (cbrt 1/2) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt 1)))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt 1))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) 1)
  (/ (sqrt (sqrt (log 10.0))) (cbrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt (sqrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (/ (sqrt (sqrt (log 10.0))) (cbrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (sqrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (* 2 (log im))
  (- (* 2 (log (/ 1 re))))
  (- (* 2 (log (/ -1 re))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
3.460 * * [simplify]: iteration  0 :  169  enodes  (cost  1907 )
3.496 * * [simplify]: iteration  1 :  284  enodes  (cost  1670 )
3.544 * * [simplify]: iteration  2 :  528  enodes  (cost  1616 )
3.663 * * [simplify]: iteration  3 :  1064  enodes  (cost  1604 )
3.959 * * [simplify]: iteration  4 :  1961  enodes  (cost  1603 )
4.690 * * [simplify]: iteration  5 :  3700  enodes  (cost  1603 )
5.605 * * [simplify]: iteration  done :  5000  enodes  (cost  1603 )
5.606 * [simplify]: Simplified to:
   (* 2 (log (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  0
  (log (+ (* re re) (* im im)))
  (log (+ (pow re 6) (pow im 6)))
  (log (- (pow im 4) (* (* re re) (- (* im im) (* re re)))))
  (log (- (pow re 4) (pow im 4)))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (+ (* im im) (* re re))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (pow (log (+ (* re re) (* im im))) 3)
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (log (sqrt (sqrt (log 10.0))))
  (exp (sqrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt (sqrt (log 10.0))))
  (pow (sqrt (sqrt (log 10.0))) 3)
  (fabs (cbrt (sqrt (log 10.0))))
  (sqrt (cbrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  (sqrt (fabs (cbrt (log 10.0))))
  (sqrt (sqrt (cbrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (log (sqrt (sqrt (log 10.0))))
  (exp (sqrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt (sqrt (log 10.0))))
  (pow (sqrt (sqrt (log 10.0))) 3)
  (fabs (cbrt (sqrt (log 10.0))))
  (sqrt (cbrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  (sqrt (fabs (cbrt (log 10.0))))
  (sqrt (sqrt (cbrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  1
  (sqrt (sqrt (log 10.0)))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (log 10.0))))
  (sqrt (sqrt (sqrt (log 10.0))))
  (log (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (log (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (exp (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (/ 1/2 (pow (sqrt (sqrt (log 10.0))) 3))
  (* (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))) (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))))
  (cbrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (/ 1/2 (pow (sqrt (sqrt (log 10.0))) 3))
  (sqrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (sqrt (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))))
  (- (cbrt 1/2))
  (- (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (fabs (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (cbrt (* (cbrt 1/2) (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (* (cbrt 1/2) (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (* (cbrt 1/2) (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (* (cbrt 1/2) (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (* (cbrt 1/2) (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (sqrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (fabs (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (cbrt (sqrt 1/2))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt 1/2))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt 1/2))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt (sqrt 1/2))
  (/ (cbrt (sqrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ 1 (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ 1 (fabs (cbrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (cbrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (fabs (cbrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2)))
  (/ (cbrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (sqrt (cbrt 1/2)) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (fabs (cbrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (cbrt (sqrt (log 10.0)))))
  (sqrt (cbrt 1/2))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (sqrt (cbrt 1/2))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (sqrt (cbrt 1/2))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (sqrt (log 10.0)))))
  (sqrt (cbrt 1/2))
  (/ (sqrt (cbrt 1/2)) (sqrt (sqrt (log 10.0))))
  (/ 1 (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (cbrt (sqrt (sqrt (log 10.0)))))
  (/ 1 (fabs (cbrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (cbrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (cbrt (log 10.0)))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (sqrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  1
  (/ (cbrt 1/2) (sqrt (sqrt (log 10.0))))
  (/ 1 (sqrt (sqrt (log 10.0))))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (/ (cbrt 1/2) (* (cbrt (sqrt (sqrt (log 10.0)))) (cbrt (sqrt (sqrt (log 10.0))))))
  (/ (cbrt 1/2) (fabs (cbrt (sqrt (log 10.0)))))
  (cbrt 1/2)
  (/ (cbrt 1/2) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt 1/2)
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt 1/2)
  (/ (cbrt 1/2) (sqrt (sqrt (sqrt (log 10.0)))))
  (cbrt 1/2)
  (/ (sqrt (sqrt (log 10.0))) (cbrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt (sqrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (/ (sqrt (sqrt (log 10.0))) (cbrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (sqrt (cbrt 1/2)))
  (/ (sqrt (sqrt (log 10.0))) (cbrt 1/2))
  (* 2 (log im))
  (* 2 (log re))
  (* (log (/ -1 re)) -2)
  (/ (* (cbrt 1/2) (log (+ (* re re) (* im im)))) (pow (sqrt (sqrt (log 10.0))) 3))
  (/ (* (cbrt 1/2) (log (+ (* re re) (* im im)))) (pow (sqrt (sqrt (log 10.0))) 3))
  (/ (* (cbrt 1/2) (log (+ (* re re) (* im im)))) (pow (sqrt (sqrt (log 10.0))) 3))
5.607 * * * [progress]: adding candidates to table
6.005 * * [progress]: iteration 4 / 4
6.005 * * * [progress]: picking best candidate
6.036 * * * * [pick]: Picked  #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))>
6.037 * * * [progress]: localizing error
6.060 * * * [progress]: generating rewritten candidates
6.060 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
6.062 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
6.072 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
6.087 * * * [progress]: generating series expansions
6.087 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
6.088 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0
6.088 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
6.088 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
6.088 * [taylor]: Taking taylor expansion of (pow re 2) in im
6.088 * [taylor]: Taking taylor expansion of re in im
6.088 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.088 * [taylor]: Taking taylor expansion of im in im
6.088 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
6.088 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
6.088 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.088 * [taylor]: Taking taylor expansion of re in re
6.088 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.088 * [taylor]: Taking taylor expansion of im in re
6.088 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
6.088 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
6.088 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.088 * [taylor]: Taking taylor expansion of re in re
6.088 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.088 * [taylor]: Taking taylor expansion of im in re
6.089 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
6.089 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.089 * [taylor]: Taking taylor expansion of im in im
6.091 * [taylor]: Taking taylor expansion of 0 in im
6.094 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
6.094 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.094 * [taylor]: Taking taylor expansion of im in im
6.101 * [taylor]: Taking taylor expansion of 0 in im
6.101 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
6.102 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
6.102 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
6.102 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
6.102 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.102 * [taylor]: Taking taylor expansion of im in im
6.102 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
6.102 * [taylor]: Taking taylor expansion of (pow re 2) in im
6.102 * [taylor]: Taking taylor expansion of re in im
6.103 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
6.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
6.103 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
6.103 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.103 * [taylor]: Taking taylor expansion of im in re
6.103 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
6.103 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.103 * [taylor]: Taking taylor expansion of re in re
6.104 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
6.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
6.104 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
6.104 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.104 * [taylor]: Taking taylor expansion of im in re
6.104 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
6.104 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.104 * [taylor]: Taking taylor expansion of re in re
6.105 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
6.105 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
6.105 * [taylor]: Taking taylor expansion of 2 in im
6.105 * [taylor]: Taking taylor expansion of (log re) in im
6.105 * [taylor]: Taking taylor expansion of re in im
6.107 * [taylor]: Taking taylor expansion of 0 in im
6.111 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
6.111 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.111 * [taylor]: Taking taylor expansion of im in im
6.118 * [taylor]: Taking taylor expansion of 0 in im
6.118 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
6.118 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
6.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
6.119 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
6.119 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.119 * [taylor]: Taking taylor expansion of im in im
6.119 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
6.119 * [taylor]: Taking taylor expansion of (pow re 2) in im
6.119 * [taylor]: Taking taylor expansion of re in im
6.120 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
6.120 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
6.120 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.120 * [taylor]: Taking taylor expansion of im in re
6.120 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
6.120 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.120 * [taylor]: Taking taylor expansion of re in re
6.121 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
6.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
6.121 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
6.121 * [taylor]: Taking taylor expansion of (pow im 2) in re
6.121 * [taylor]: Taking taylor expansion of im in re
6.121 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
6.121 * [taylor]: Taking taylor expansion of (pow re 2) in re
6.121 * [taylor]: Taking taylor expansion of re in re
6.122 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im
6.122 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
6.122 * [taylor]: Taking taylor expansion of 2 in im
6.122 * [taylor]: Taking taylor expansion of (log re) in im
6.122 * [taylor]: Taking taylor expansion of re in im
6.124 * [taylor]: Taking taylor expansion of 0 in im
6.127 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
6.127 * [taylor]: Taking taylor expansion of (pow im 2) in im
6.127 * [taylor]: Taking taylor expansion of im in im
6.135 * [taylor]: Taking taylor expansion of 0 in im
6.135 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
6.135 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.135 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
6.135 * * * [progress]: simplifying candidates
6.137 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log 1)
  (log (+ (* re re) (* im im)))
  (log (+ (pow (* re re) 3) (pow (* im im) 3)))
  (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (exp (log (+ (* re re) (* im im))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (log 10.0) (log 10.0))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (+ 1 1)
  (+ (log (cbrt (log 10.0))) (log (cbrt (log 10.0))))
  (log (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (exp (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (* (log 10.0) (log 10.0))
  (* (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (* (* (* (cbrt (log 10.0)) (cbrt (log 10.0))) (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0)))) (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0)))))
  (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* 1 1)
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (sqrt (cbrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (log 10.0)) (cbrt 1))
  (* (cbrt (log 10.0)) (cbrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (* (cbrt (log 10.0)) (cbrt (sqrt (log 10.0))))
  (* (cbrt (log 10.0)) (cbrt 1))
  (* (cbrt (log 10.0)) (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0)))))
  (* (cbrt (log 10.0)) (sqrt (cbrt (log 10.0))))
  (* (cbrt (log 10.0)) 1)
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt (cbrt (log 10.0))) (cbrt (log 10.0)))
  (* (cbrt (sqrt (log 10.0))) (cbrt (log 10.0)))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (* (cbrt (cbrt (log 10.0))) (cbrt (log 10.0)))
  (* (sqrt (cbrt (log 10.0))) (cbrt (log 10.0)))
  (* (cbrt (log 10.0)) (cbrt (log 10.0)))
  (- (+ (log (cbrt 1/2)) (log (cbrt 1/2))) (log (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (- (log (* (cbrt 1/2) (cbrt 1/2))) (log (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (log (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (exp (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (* 1/2 1/2) (* (* (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (* (* (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt 1/2) (cbrt 1/2))) (* (cbrt 1/2) (cbrt 1/2))) (* (* (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (cbrt (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (cbrt (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))))
  (cbrt (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (* (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))) (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (sqrt (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (sqrt (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (- (* (cbrt 1/2) (cbrt 1/2)))
  (- (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (* (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))))
  (/ (cbrt 1/2) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (cbrt (log 10.0))))
  (/ (cbrt 1/2) (sqrt (cbrt (log 10.0))))
  (/ (cbrt 1/2) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (cbrt 1/2) 1)
  (/ (cbrt 1/2) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ 1 (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (/ (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (* (cbrt 1/2) (cbrt 1/2)))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (cbrt (log 10.0))))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (/ (* (cbrt 1/2) (cbrt 1/2)) 1)
  (/ (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (cbrt 1/2))
  (log (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (exp (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (* (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))))
  (cbrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (* (* (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (sqrt (cbrt (log 10.0)))
  (sqrt (cbrt (log 10.0)))
  (/ (+ 1/3 1/3) 2)
  (/ (+ 1 1) 2)
  (/ 1/3 2)
  (/ 1 2)
  (/ 2 2)
  (/ (+ 1 1) 2)
  (/ 1 2)
  (/ (* 2 1/3) 2)
  (/ (* 2 1) 2)
  (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (sqrt (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0)))))
  (* 2 (log im))
  (- (* 2 (log (/ 1 re))))
  (- (* 2 (log (/ -1 re))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
6.141 * * [simplify]: iteration  0 :  141  enodes  (cost  1329 )
6.176 * * [simplify]: iteration  1 :  296  enodes  (cost  1039 )
6.228 * * [simplify]: iteration  2 :  745  enodes  (cost  929 )
6.734 * * [simplify]: iteration  3 :  2558  enodes  (cost  884 )
8.038 * * [simplify]: iteration  done :  5000  enodes  (cost  884 )
8.044 * [simplify]: Simplified to:
   (* 2 (log (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  0
  (log (+ (* re re) (* im im)))
  (log (+ (pow re 6) (pow im 6)))
  (log (+ (* (* im im) (- (* im im) (* re re))) (pow re 4)))
  (log (- (pow re 4) (pow im 4)))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (+ (* im im) (* re re))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (pow (log (+ (* re re) (* im im))) 3)
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  2/3
  2
  (* (log 10.0) (log 10.0))
  (pow (sqrt (cbrt (log 10.0))) 4)
  2
  (* 2 (log (cbrt (log 10.0))))
  (* 2 (log (cbrt (log 10.0))))
  (exp (pow (sqrt (cbrt (log 10.0))) 4))
  (* (log 10.0) (log 10.0))
  (* (cbrt (pow (sqrt (cbrt (log 10.0))) 4)) (cbrt (pow (sqrt (cbrt (log 10.0))) 4)))
  (cbrt (pow (sqrt (cbrt (log 10.0))) 4))
  (* (log 10.0) (log 10.0))
  (fabs (cbrt (log 10.0)))
  (fabs (cbrt (log 10.0)))
  1
  (pow (sqrt (cbrt (log 10.0))) 4)
  1
  (pow (sqrt (cbrt (log 10.0))) 4)
  (* (cbrt (pow (sqrt (cbrt (log 10.0))) 4)) (cbrt (pow (sqrt (cbrt (log 10.0))) 4)))
  (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  1
  (pow (sqrt (cbrt (log 10.0))) 4)
  1
  (pow (sqrt (cbrt (log 10.0))) 4)
  (pow (cbrt (cbrt (log 10.0))) 4)
  (* (cbrt (cbrt (log 10.0))) (cbrt (cbrt (log 10.0))))
  (cbrt (log 10.0))
  (cbrt (log 10.0))
  1
  (pow (sqrt (cbrt (log 10.0))) 4)
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (cbrt (sqrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (* (cbrt (sqrt (log 10.0))) (sqrt (cbrt (log 10.0))))
  (cbrt (log 10.0))
  (cbrt (log 10.0))
  2/3
  2
  (cbrt (log 10.0))
  (* (cbrt (pow (sqrt (cbrt (log 10.0))) 4)) (cbrt (log 10.0)))
  (* (cbrt (log 10.0)) (cbrt (sqrt (log 10.0))))
  (cbrt (log 10.0))
  (* (pow (cbrt (cbrt (log 10.0))) 4) (cbrt (cbrt (log 10.0))))
  (pow (sqrt (cbrt (log 10.0))) 3)
  (cbrt (log 10.0))
  (pow (sqrt (cbrt (log 10.0))) 4)
  (pow (cbrt (cbrt (log 10.0))) 4)
  (* (cbrt (log 10.0)) (cbrt (sqrt (log 10.0))))
  (pow (sqrt (cbrt (log 10.0))) 4)
  (pow (cbrt (cbrt (log 10.0))) 4)
  (pow (sqrt (cbrt (log 10.0))) 3)
  (pow (sqrt (cbrt (log 10.0))) 4)
  (log (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (log (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (log (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (exp (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (/ 1/4 (pow (fabs (cbrt (log 10.0))) 3))
  (/ 1/4 (pow (fabs (cbrt (log 10.0))) 3))
  (* (cbrt (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2)))) (cbrt (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2)))))
  (cbrt (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (/ 1/4 (pow (fabs (cbrt (log 10.0))) 3))
  (sqrt (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (sqrt (/ (cbrt 1/2) (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))))
  (- (* (cbrt 1/2) (cbrt 1/2)))
  (- (fabs (cbrt (log 10.0))))
  (/ (cbrt 1/2) (* (cbrt (fabs (cbrt (log 10.0)))) (cbrt (fabs (cbrt (log 10.0))))))
  (/ (cbrt 1/2) (cbrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (cbrt (log 10.0))))
  (/ (cbrt 1/2) (sqrt (cbrt (log 10.0))))
  (/ (cbrt 1/2) (sqrt (fabs (cbrt (log 10.0)))))
  (/ (cbrt 1/2) (sqrt (fabs (cbrt (log 10.0)))))
  (cbrt 1/2)
  (/ (cbrt 1/2) (fabs (cbrt (log 10.0))))
  (/ 1 (fabs (cbrt (log 10.0))))
  (/ (fabs (cbrt (log 10.0))) (* (cbrt 1/2) (cbrt 1/2)))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (* (cbrt (fabs (cbrt (log 10.0)))) (cbrt (fabs (cbrt (log 10.0))))))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (cbrt (log 10.0))))
  (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (fabs (cbrt (log 10.0)))))
  (* (cbrt 1/2) (cbrt 1/2))
  (/ (fabs (cbrt (log 10.0))) (cbrt 1/2))
  (log (fabs (cbrt (log 10.0))))
  (exp (fabs (cbrt (log 10.0))))
  (* (cbrt (fabs (cbrt (log 10.0)))) (cbrt (fabs (cbrt (log 10.0)))))
  (cbrt (fabs (cbrt (log 10.0))))
  (pow (fabs (cbrt (log 10.0))) 3)
  (sqrt (cbrt (log 10.0)))
  (sqrt (cbrt (log 10.0)))
  1/3
  1
  1/6
  1/2
  1
  1
  1/2
  1/3
  1
  (sqrt (fabs (cbrt (log 10.0))))
  (sqrt (fabs (cbrt (log 10.0))))
  (* 2 (log im))
  (* (log re) 2)
  (* -2 (log (/ -1 re)))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
  (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
8.045 * * * [progress]: adding candidates to table
8.593 * [progress]: [Phase 3 of 3] Extracting.
8.593 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
8.596 * * * [regime-changes]: Trying 5 branch expressions: ((* im im) (* re re) (+ (* re re) (* im im)) im re)
8.596 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
8.668 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))>)
8.729 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
8.790 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
8.825 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
8.896 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (#<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))>)
8.918 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
9.024 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
9.115 * * * [regime]: Found split indices: #<option (#s(si 8 31) #s(si 3 98) #s(si 10 129) #s(si 11 209) #s(si 7 255))>
9.116 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
9.288 * [regimes]: Found splitpoints: (#s(sp 8 re -4.7575996220618e+138) #s(sp 3 re -1.971567869430071e-177) #s(sp 10 re 8.204570037731928e-249) #s(sp 11 re 3.6267478666816686e+95) #s(sp 7 re +nan.0)) , with alts (#<alt (λ (re im) (/ (log im) (log 10.0)))> #<alt (λ (re im) (- (/ (log (/ -1 re)) (log 10.0))))> #<alt (λ (re im) (/ (log re) (log 10.0)))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* 2 (log re)) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (/ (log (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im))))) (sqrt (log 10.0)))))> #<alt (λ (re im) (* (/ (sqrt 1/2) 1) (/ (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (log 10.0))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (* (log (/ -1 re)) -2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* -2 (log (/ -1 re))) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* (log re) 2) (sqrt (log 10.0))))))> #<alt (λ (re im) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (* 2 (log im)) (sqrt (log 10.0))))))>)
9.288 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= re -4.7575996220618e+138) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))) (if (<= re -1.971567869430071e-177) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (if (<= re 8.204570037731928e-249) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))) (if (<= re 3.6267478666816686e+95) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0)))))))))
9.289 * * [simplify]: iteration  0 :  58  enodes  (cost  132 )
9.291 * * [simplify]: iteration  1 :  74  enodes  (cost  132 )
9.293 * * [simplify]: iteration  done :  74  enodes  (cost  132 )
9.293 * [simplify]: Simplified to:
   (if (<= re -4.7575996220618e+138) (* (/ 1/2 (sqrt (log 10.0))) (* -2 (* (log (/ -1 re)) (sqrt (/ 1 (log 10.0)))))) (if (<= re -1.971567869430071e-177) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (* (cbrt (log 10.0)) (cbrt (log 10.0))))) (* (/ (cbrt 1/2) (sqrt (cbrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (if (<= re 8.204570037731928e-249) (* (/ 1/2 (sqrt (log 10.0))) (* 2 (* (log im) (sqrt (/ 1 (log 10.0)))))) (if (<= re 3.6267478666816686e+95) (* (/ (* (cbrt 1/2) (cbrt 1/2)) (sqrt (sqrt (log 10.0)))) (* (/ (cbrt 1/2) (sqrt (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))) (* (/ 1/2 (sqrt (log 10.0))) (* (* 2 (log re)) (sqrt (/ 1 (log 10.0)))))))))
10.656 * [regime-testing]: Baseline error score: 32.580155482472335
10.657 * [regime-testing]: Oracle error score: 7.494354225617383
10.658 * [regime-testing]: End program error score: 18.223025209526256