28.569 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.055 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.060 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.061 * * [simplify]: iteration  0 :  18  enodes  (cost  28 )
0.063 * * [simplify]: iteration  1 :  23  enodes  (cost  28 )
0.065 * * [simplify]: iteration  done :  23  enodes  (cost  28 )
0.065 * [simplify]: Simplified to:
   (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.066 * * [progress]: iteration 1 / 4
0.066 * * * [progress]: picking best candidate
0.069 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))>
0.070 * * * [progress]: localizing error
0.089 * * * [progress]: generating rewritten candidates
0.089 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
0.092 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.103 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.121 * * * [progress]: generating series expansions
0.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
0.121 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.121 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.121 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.121 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.121 * [taylor]: Taking taylor expansion of re in im
0.121 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.121 * [taylor]: Taking taylor expansion of im in im
0.122 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.122 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.122 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.122 * [taylor]: Taking taylor expansion of re in re
0.122 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.122 * [taylor]: Taking taylor expansion of im in re
0.122 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.122 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.122 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.122 * [taylor]: Taking taylor expansion of re in re
0.122 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.122 * [taylor]: Taking taylor expansion of im in re
0.123 * [taylor]: Taking taylor expansion of im in im
0.123 * [taylor]: Taking taylor expansion of 0 in im
0.124 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.124 * [taylor]: Taking taylor expansion of 1/2 in im
0.124 * [taylor]: Taking taylor expansion of im in im
0.127 * [taylor]: Taking taylor expansion of 0 in im
0.127 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.127 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.127 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.127 * [taylor]: Taking taylor expansion of im in im
0.128 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.128 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.128 * [taylor]: Taking taylor expansion of re in im
0.130 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.130 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.130 * [taylor]: Taking taylor expansion of im in re
0.130 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.130 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.130 * [taylor]: Taking taylor expansion of re in re
0.133 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.133 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.133 * [taylor]: Taking taylor expansion of im in re
0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.133 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.133 * [taylor]: Taking taylor expansion of re in re
0.135 * [taylor]: Taking taylor expansion of 1 in im
0.135 * [taylor]: Taking taylor expansion of 0 in im
0.137 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.137 * [taylor]: Taking taylor expansion of 1/2 in im
0.137 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.137 * [taylor]: Taking taylor expansion of im in im
0.144 * [taylor]: Taking taylor expansion of 0 in im
0.145 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.145 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.145 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.145 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.145 * [taylor]: Taking taylor expansion of im in im
0.146 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.146 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.146 * [taylor]: Taking taylor expansion of re in im
0.148 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.148 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.148 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.148 * [taylor]: Taking taylor expansion of im in re
0.148 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.148 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.148 * [taylor]: Taking taylor expansion of re in re
0.151 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.151 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.151 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.151 * [taylor]: Taking taylor expansion of im in re
0.151 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.151 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.151 * [taylor]: Taking taylor expansion of re in re
0.153 * [taylor]: Taking taylor expansion of 1 in im
0.153 * [taylor]: Taking taylor expansion of 0 in im
0.155 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.155 * [taylor]: Taking taylor expansion of 1/2 in im
0.155 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.156 * [taylor]: Taking taylor expansion of im in im
0.159 * [taylor]: Taking taylor expansion of 0 in im
0.160 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.160 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
0.160 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
0.160 * [taylor]: Taking taylor expansion of (log base) in base
0.160 * [taylor]: Taking taylor expansion of base in base
0.161 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
0.161 * [taylor]: Taking taylor expansion of (log base) in base
0.161 * [taylor]: Taking taylor expansion of base in base
0.202 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
0.202 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
0.202 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.202 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.202 * [taylor]: Taking taylor expansion of base in base
0.203 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
0.203 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.203 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.203 * [taylor]: Taking taylor expansion of base in base
0.250 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
0.250 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
0.250 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.250 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.250 * [taylor]: Taking taylor expansion of -1 in base
0.250 * [taylor]: Taking taylor expansion of base in base
0.251 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
0.251 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.251 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.251 * [taylor]: Taking taylor expansion of -1 in base
0.251 * [taylor]: Taking taylor expansion of base in base
0.308 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.308 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
0.308 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
0.308 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
0.308 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
0.308 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
0.308 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.308 * [taylor]: Taking taylor expansion of re in base
0.308 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.308 * [taylor]: Taking taylor expansion of im in base
0.309 * [taylor]: Taking taylor expansion of (log base) in base
0.309 * [taylor]: Taking taylor expansion of base in base
0.310 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
0.310 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.310 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.310 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.310 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.310 * [taylor]: Taking taylor expansion of re in im
0.310 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.310 * [taylor]: Taking taylor expansion of im in im
0.310 * [taylor]: Taking taylor expansion of (log base) in im
0.310 * [taylor]: Taking taylor expansion of base in im
0.310 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.310 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.310 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.310 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.310 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.310 * [taylor]: Taking taylor expansion of re in re
0.310 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.310 * [taylor]: Taking taylor expansion of im in re
0.311 * [taylor]: Taking taylor expansion of (log base) in re
0.311 * [taylor]: Taking taylor expansion of base in re
0.311 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.311 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.311 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.311 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.311 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.311 * [taylor]: Taking taylor expansion of re in re
0.311 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.311 * [taylor]: Taking taylor expansion of im in re
0.312 * [taylor]: Taking taylor expansion of (log base) in re
0.312 * [taylor]: Taking taylor expansion of base in re
0.312 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
0.312 * [taylor]: Taking taylor expansion of (log im) in im
0.312 * [taylor]: Taking taylor expansion of im in im
0.312 * [taylor]: Taking taylor expansion of (log base) in im
0.312 * [taylor]: Taking taylor expansion of base in im
0.313 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in base
0.313 * [taylor]: Taking taylor expansion of (log im) in base
0.313 * [taylor]: Taking taylor expansion of im in base
0.313 * [taylor]: Taking taylor expansion of (log base) in base
0.313 * [taylor]: Taking taylor expansion of base in base
0.315 * [taylor]: Taking taylor expansion of 0 in im
0.315 * [taylor]: Taking taylor expansion of 0 in base
0.316 * [taylor]: Taking taylor expansion of 0 in base
0.321 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
0.321 * [taylor]: Taking taylor expansion of 1/2 in im
0.321 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
0.321 * [taylor]: Taking taylor expansion of (log base) in im
0.321 * [taylor]: Taking taylor expansion of base in im
0.321 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.321 * [taylor]: Taking taylor expansion of im in im
0.326 * [taylor]: Taking taylor expansion of 0 in base
0.326 * [taylor]: Taking taylor expansion of 0 in base
0.329 * [taylor]: Taking taylor expansion of 0 in base
0.329 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
0.329 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
0.329 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.329 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.329 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.329 * [taylor]: Taking taylor expansion of im in base
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.330 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.330 * [taylor]: Taking taylor expansion of re in base
0.331 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.331 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.331 * [taylor]: Taking taylor expansion of base in base
0.331 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
0.331 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.332 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.332 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.332 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.332 * [taylor]: Taking taylor expansion of im in im
0.332 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.332 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.332 * [taylor]: Taking taylor expansion of re in im
0.334 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.334 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.334 * [taylor]: Taking taylor expansion of base in im
0.335 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.335 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.335 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.335 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.335 * [taylor]: Taking taylor expansion of im in re
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.335 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.335 * [taylor]: Taking taylor expansion of re in re
0.338 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.338 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.338 * [taylor]: Taking taylor expansion of base in re
0.338 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.338 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.338 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.338 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.338 * [taylor]: Taking taylor expansion of im in re
0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.338 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.338 * [taylor]: Taking taylor expansion of re in re
0.341 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.341 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.341 * [taylor]: Taking taylor expansion of base in re
0.341 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in im
0.341 * [taylor]: Taking taylor expansion of -1 in im
0.341 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in im
0.341 * [taylor]: Taking taylor expansion of (log re) in im
0.341 * [taylor]: Taking taylor expansion of re in im
0.341 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.341 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.341 * [taylor]: Taking taylor expansion of base in im
0.342 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in base
0.342 * [taylor]: Taking taylor expansion of -1 in base
0.342 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in base
0.342 * [taylor]: Taking taylor expansion of (log re) in base
0.342 * [taylor]: Taking taylor expansion of re in base
0.342 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.342 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.342 * [taylor]: Taking taylor expansion of base in base
0.344 * [taylor]: Taking taylor expansion of 0 in im
0.344 * [taylor]: Taking taylor expansion of 0 in base
0.346 * [taylor]: Taking taylor expansion of 0 in base
0.353 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
0.353 * [taylor]: Taking taylor expansion of 1/2 in im
0.353 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
0.353 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.353 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.353 * [taylor]: Taking taylor expansion of base in im
0.353 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.353 * [taylor]: Taking taylor expansion of im in im
0.358 * [taylor]: Taking taylor expansion of 0 in base
0.359 * [taylor]: Taking taylor expansion of 0 in base
0.362 * [taylor]: Taking taylor expansion of 0 in base
0.362 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
0.362 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
0.362 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.362 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.362 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.362 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.362 * [taylor]: Taking taylor expansion of im in base
0.362 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.362 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.362 * [taylor]: Taking taylor expansion of re in base
0.364 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.364 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.364 * [taylor]: Taking taylor expansion of -1 in base
0.364 * [taylor]: Taking taylor expansion of base in base
0.364 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
0.364 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.364 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.364 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.364 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.364 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.364 * [taylor]: Taking taylor expansion of im in im
0.365 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.365 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.365 * [taylor]: Taking taylor expansion of re in im
0.367 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.367 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.367 * [taylor]: Taking taylor expansion of -1 in im
0.367 * [taylor]: Taking taylor expansion of base in im
0.367 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.367 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.367 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.367 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.367 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.367 * [taylor]: Taking taylor expansion of im in re
0.368 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.368 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.368 * [taylor]: Taking taylor expansion of re in re
0.370 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.370 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.370 * [taylor]: Taking taylor expansion of -1 in re
0.370 * [taylor]: Taking taylor expansion of base in re
0.371 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.371 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.371 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.371 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.371 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.371 * [taylor]: Taking taylor expansion of im in re
0.371 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.371 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.371 * [taylor]: Taking taylor expansion of re in re
0.373 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.373 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.373 * [taylor]: Taking taylor expansion of -1 in re
0.373 * [taylor]: Taking taylor expansion of base in re
0.374 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in im
0.374 * [taylor]: Taking taylor expansion of -1 in im
0.374 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in im
0.374 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.374 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.374 * [taylor]: Taking taylor expansion of -1 in im
0.374 * [taylor]: Taking taylor expansion of base in im
0.374 * [taylor]: Taking taylor expansion of (log re) in im
0.374 * [taylor]: Taking taylor expansion of re in im
0.374 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in base
0.374 * [taylor]: Taking taylor expansion of -1 in base
0.374 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in base
0.374 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.374 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.374 * [taylor]: Taking taylor expansion of -1 in base
0.374 * [taylor]: Taking taylor expansion of base in base
0.375 * [taylor]: Taking taylor expansion of (log re) in base
0.375 * [taylor]: Taking taylor expansion of re in base
0.381 * [taylor]: Taking taylor expansion of 0 in im
0.381 * [taylor]: Taking taylor expansion of 0 in base
0.383 * [taylor]: Taking taylor expansion of 0 in base
0.391 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
0.391 * [taylor]: Taking taylor expansion of 1/2 in im
0.391 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
0.391 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.391 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.391 * [taylor]: Taking taylor expansion of -1 in im
0.391 * [taylor]: Taking taylor expansion of base in im
0.391 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.391 * [taylor]: Taking taylor expansion of im in im
0.396 * [taylor]: Taking taylor expansion of 0 in base
0.396 * [taylor]: Taking taylor expansion of 0 in base
0.399 * [taylor]: Taking taylor expansion of 0 in base
0.400 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.400 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
0.400 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
0.400 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
0.400 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
0.400 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
0.400 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.400 * [taylor]: Taking taylor expansion of re in base
0.400 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.400 * [taylor]: Taking taylor expansion of im in base
0.401 * [taylor]: Taking taylor expansion of (log base) in base
0.401 * [taylor]: Taking taylor expansion of base in base
0.403 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
0.403 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.403 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.403 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.403 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.403 * [taylor]: Taking taylor expansion of re in im
0.403 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.403 * [taylor]: Taking taylor expansion of im in im
0.403 * [taylor]: Taking taylor expansion of (log base) in im
0.403 * [taylor]: Taking taylor expansion of base in im
0.403 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.403 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.403 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.403 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.403 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.403 * [taylor]: Taking taylor expansion of re in re
0.403 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.403 * [taylor]: Taking taylor expansion of im in re
0.404 * [taylor]: Taking taylor expansion of (log base) in re
0.404 * [taylor]: Taking taylor expansion of base in re
0.404 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.404 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.404 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.404 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.404 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.404 * [taylor]: Taking taylor expansion of re in re
0.404 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.404 * [taylor]: Taking taylor expansion of im in re
0.405 * [taylor]: Taking taylor expansion of (log base) in re
0.405 * [taylor]: Taking taylor expansion of base in re
0.405 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im
0.405 * [taylor]: Taking taylor expansion of (log im) in im
0.405 * [taylor]: Taking taylor expansion of im in im
0.406 * [taylor]: Taking taylor expansion of (log base) in im
0.406 * [taylor]: Taking taylor expansion of base in im
0.406 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base
0.406 * [taylor]: Taking taylor expansion of (log im) in base
0.406 * [taylor]: Taking taylor expansion of im in base
0.406 * [taylor]: Taking taylor expansion of (log base) in base
0.406 * [taylor]: Taking taylor expansion of base in base
0.408 * [taylor]: Taking taylor expansion of 0 in im
0.408 * [taylor]: Taking taylor expansion of 0 in base
0.410 * [taylor]: Taking taylor expansion of 0 in base
0.415 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im
0.415 * [taylor]: Taking taylor expansion of 1/2 in im
0.415 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im
0.415 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im
0.415 * [taylor]: Taking taylor expansion of (log base) in im
0.415 * [taylor]: Taking taylor expansion of base in im
0.415 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.415 * [taylor]: Taking taylor expansion of im in im
0.419 * [taylor]: Taking taylor expansion of 0 in base
0.419 * [taylor]: Taking taylor expansion of 0 in base
0.422 * [taylor]: Taking taylor expansion of 0 in base
0.423 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
0.423 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
0.423 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.423 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.423 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.423 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.423 * [taylor]: Taking taylor expansion of im in base
0.423 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.423 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.423 * [taylor]: Taking taylor expansion of re in base
0.424 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.424 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.424 * [taylor]: Taking taylor expansion of base in base
0.426 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
0.426 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.426 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.426 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.426 * [taylor]: Taking taylor expansion of im in im
0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.426 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.426 * [taylor]: Taking taylor expansion of re in im
0.429 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.429 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.429 * [taylor]: Taking taylor expansion of base in im
0.429 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.429 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.429 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.430 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.430 * [taylor]: Taking taylor expansion of im in re
0.430 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.430 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.430 * [taylor]: Taking taylor expansion of re in re
0.433 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.433 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.433 * [taylor]: Taking taylor expansion of base in re
0.433 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.433 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.433 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.433 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.434 * [taylor]: Taking taylor expansion of im in re
0.434 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.434 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.434 * [taylor]: Taking taylor expansion of re in re
0.436 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.436 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.436 * [taylor]: Taking taylor expansion of base in re
0.437 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im
0.437 * [taylor]: Taking taylor expansion of -1 in im
0.437 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im
0.437 * [taylor]: Taking taylor expansion of (log re) in im
0.437 * [taylor]: Taking taylor expansion of re in im
0.437 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.437 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.437 * [taylor]: Taking taylor expansion of base in im
0.437 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base
0.437 * [taylor]: Taking taylor expansion of -1 in base
0.437 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base
0.438 * [taylor]: Taking taylor expansion of (log re) in base
0.438 * [taylor]: Taking taylor expansion of re in base
0.438 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.438 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.438 * [taylor]: Taking taylor expansion of base in base
0.440 * [taylor]: Taking taylor expansion of 0 in im
0.440 * [taylor]: Taking taylor expansion of 0 in base
0.442 * [taylor]: Taking taylor expansion of 0 in base
0.449 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im
0.449 * [taylor]: Taking taylor expansion of 1/2 in im
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im
0.449 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im
0.449 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.449 * [taylor]: Taking taylor expansion of im in im
0.449 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.449 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.449 * [taylor]: Taking taylor expansion of base in im
0.454 * [taylor]: Taking taylor expansion of 0 in base
0.454 * [taylor]: Taking taylor expansion of 0 in base
0.457 * [taylor]: Taking taylor expansion of 0 in base
0.458 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
0.458 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
0.458 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.458 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.458 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.458 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.458 * [taylor]: Taking taylor expansion of im in base
0.458 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.458 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.458 * [taylor]: Taking taylor expansion of re in base
0.460 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.460 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.460 * [taylor]: Taking taylor expansion of -1 in base
0.460 * [taylor]: Taking taylor expansion of base in base
0.462 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
0.462 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.462 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.462 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.462 * [taylor]: Taking taylor expansion of im in im
0.463 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.463 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.463 * [taylor]: Taking taylor expansion of re in im
0.465 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.465 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.465 * [taylor]: Taking taylor expansion of -1 in im
0.465 * [taylor]: Taking taylor expansion of base in im
0.466 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.466 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.466 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.466 * [taylor]: Taking taylor expansion of im in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.466 * [taylor]: Taking taylor expansion of re in re
0.468 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.469 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.469 * [taylor]: Taking taylor expansion of -1 in re
0.469 * [taylor]: Taking taylor expansion of base in re
0.469 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.469 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.469 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.469 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.469 * [taylor]: Taking taylor expansion of im in re
0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.470 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.470 * [taylor]: Taking taylor expansion of re in re
0.477 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.477 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.477 * [taylor]: Taking taylor expansion of -1 in re
0.477 * [taylor]: Taking taylor expansion of base in re
0.478 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im
0.478 * [taylor]: Taking taylor expansion of -1 in im
0.478 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im
0.478 * [taylor]: Taking taylor expansion of (log re) in im
0.478 * [taylor]: Taking taylor expansion of re in im
0.478 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.478 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.478 * [taylor]: Taking taylor expansion of -1 in im
0.478 * [taylor]: Taking taylor expansion of base in im
0.478 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base
0.478 * [taylor]: Taking taylor expansion of -1 in base
0.478 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base
0.478 * [taylor]: Taking taylor expansion of (log re) in base
0.478 * [taylor]: Taking taylor expansion of re in base
0.478 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.478 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.478 * [taylor]: Taking taylor expansion of -1 in base
0.478 * [taylor]: Taking taylor expansion of base in base
0.482 * [taylor]: Taking taylor expansion of 0 in im
0.483 * [taylor]: Taking taylor expansion of 0 in base
0.484 * [taylor]: Taking taylor expansion of 0 in base
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im
0.493 * [taylor]: Taking taylor expansion of 1/2 in im
0.493 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im
0.493 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im
0.493 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.493 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.493 * [taylor]: Taking taylor expansion of -1 in im
0.493 * [taylor]: Taking taylor expansion of base in im
0.493 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.493 * [taylor]: Taking taylor expansion of im in im
0.498 * [taylor]: Taking taylor expansion of 0 in base
0.498 * [taylor]: Taking taylor expansion of 0 in base
0.501 * [taylor]: Taking taylor expansion of 0 in base
0.501 * * * [progress]: simplifying candidates
0.503 * [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))))
  (+ 1 1)
  (* (log base) (log base))
  (+ 1 1)
  (+ (log (log base)) (log (log base)))
  (log (* (log base) (log base)))
  (exp (* (log base) (log base)))
  (* (* (* (log base) (log base)) (log base)) (* (* (log base) (log base)) (log base)))
  (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base))))
  (cbrt (* (log base) (log base)))
  (* (* (* (log base) (log base)) (* (log base) (log base))) (* (log base) (log base)))
  (sqrt (* (log base) (log base)))
  (sqrt (* (log base) (log base)))
  (* 1 1)
  (* (log base) (log base))
  (* 1 1)
  (* (log base) (log base))
  (* (* (cbrt (log base)) (cbrt (log base))) (* (cbrt (log base)) (cbrt (log base))))
  (* (cbrt (log base)) (cbrt (log base)))
  (* (sqrt (log base)) (sqrt (log base)))
  (* (sqrt (log base)) (sqrt (log base)))
  (* 1 1)
  (* (log base) (log base))
  (* 1 1)
  (* (log base) (log base))
  (* (sqrt (log base)) (sqrt (log base)))
  (* (sqrt (log base)) (sqrt (log base)))
  (* 2 1)
  (* (log base) (log (* (cbrt base) (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log 1))
  (* (log base) (log base))
  (* (log (* (cbrt base) (cbrt base))) (log base))
  (* (log (cbrt base)) (log base))
  (* (log (sqrt base)) (log base))
  (* (log (sqrt base)) (log base))
  (* (log 1) (log base))
  (* (log base) (log base))
  (* (log base) 1)
  (* (log base) (* (cbrt (log base)) (cbrt (log base))))
  (* (log base) (sqrt (log base)))
  (* (log base) 1)
  (* (log base) (log base))
  (* (cbrt (log base)) (log base))
  (* (sqrt (log base)) (log base))
  (* (log base) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (exp (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base)))
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (* (cbrt base) (cbrt base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (* (cbrt base) (cbrt base))) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (cbrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log 1) (log (sqrt (+ (* re re) (* im im)))))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (- (log (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (log (+ (* (log base) (log base)) (* 0.0 0.0))))
  (log (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (exp (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (* (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (* (* (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))))
  (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (* (* (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (sqrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (sqrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
  (- (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (- (+ (* (log base) (log base)) (* 0.0 0.0)))
  (/ (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (* (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) 1)
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* (log base) (log base)) (* 0.0 0.0)))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (* (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 1)
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* (log base) (log base)) (* 0.0 0.0)))
  (/ 1 (* (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ 1 (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ 1 1)
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
  (/ 1 (+ (* (log base) (log base)) (* 0.0 0.0)))
  (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (* (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) 1)
  (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (* (log base) (log base)) 3) (pow (* 0.0 0.0) 3)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (- (* (* (log base) (log base)) (* (log base) (log base))) (* (* 0.0 0.0) (* 0.0 0.0))))
  (* (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (- (* (* (atan2 im re) 0.0) (* (atan2 im re) 0.0)) (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (* (+ (* (log base) (log base)) (* 0.0 0.0)) (- (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  im
  re
  (* -1 re)
  (pow (log base) 2)
  (pow (log (/ 1 base)) 2)
  (pow (- (log -1) (log (/ -1 base))) 2)
  (* (log im) (log base))
  (* (log (/ 1 re)) (log (/ 1 base)))
  (* -1 (* (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
  (/ (log im) (log base))
  (/ (log (/ 1 re)) (log (/ 1 base)))
  (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
0.509 * * [simplify]: iteration  0 :  200  enodes  (cost  2451 )
0.552 * * [simplify]: iteration  1 :  441  enodes  (cost  2259 )
0.701 * * [simplify]: iteration  2 :  1349  enodes  (cost  2035 )
1.235 * * [simplify]: iteration  done :  5000  enodes  (cost  2023 )
1.236 * [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 (+ (* im im) (* re re)))
  (sqrt (+ (pow im 6) (pow re 6)))
  (sqrt (+ (* (* im im) (- (* im im) (* re re))) (* re (pow re 3))))
  (sqrt (- (* re (pow re 3)) (* im (pow im 3))))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  2
  (pow (log base) 2)
  2
  (* 2 (log (log base)))
  (* 2 (log (log base)))
  (pow base (log base))
  (pow (log base) 6)
  (* (cbrt (pow (log base) 2)) (cbrt (pow (log base) 2)))
  (cbrt (pow (log base) 2))
  (pow (log base) 6)
  (fabs (log base))
  (fabs (log base))
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (* (cbrt (log base)) (pow (cbrt (log base)) 3))
  (* (cbrt (log base)) (cbrt (log base)))
  (log base)
  (log base)
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (log base)
  (log base)
  2
  (* (log base) (* 2 (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log (sqrt base)) (log base))
  (* (log (sqrt base)) (log base))
  0
  (pow (log base) 2)
  (* (log base) (* 2 (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log (sqrt base)) (log base))
  (* (log (sqrt base)) (log base))
  0
  (pow (log base) 2)
  (log base)
  (* (log base) (* (cbrt (log base)) (cbrt (log base))))
  (pow (sqrt (log base)) 3)
  (log base)
  (pow (log base) 2)
  (* (cbrt (log base)) (log base))
  (pow (sqrt (log base)) 3)
  (pow (log base) 2)
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (sqrt (+ (* re re) (* im im))) (log base))
  (pow (* (log base) (log (sqrt (+ (* re re) (* im im))))) 3)
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (* (log base) (log (sqrt (+ (* re re) (* im im))))) 3)
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (cbrt base)) (log (+ (* im im) (* re re))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  0
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (cbrt base)) (log (+ (* im im) (* re re))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  0
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (log (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (log (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (pow (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))) 3)
  (* (cbrt (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2)))) (cbrt (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2)))))
  (cbrt (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (pow (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))) 3)
  (sqrt (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (sqrt (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))
  (- (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (- (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (/ 1 (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ 1 (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  1
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ 1 (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im))))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (pow 0.0 6) (pow (log base) 6)))
  (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0)))
  (* (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (log base) (log (sqrt (+ (* re re) (* im im))))) (- (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (* (* (atan2 im re) 0.0) (* (atan2 im re) 0.0))))
  (* (+ (* 0.0 0.0) (pow (log base) 2)) (- (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  im
  re
  (- re)
  (pow (log base) 2)
  (pow (log base) 2)
  (pow (- (log -1) (log (/ -1 base))) 2)
  (* (log im) (log base))
  (* (- (log re)) (- (log base)))
  (- (* (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
  (/ (log im) (log base))
  (/ (- (log re)) (- (log base)))
  (- (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
1.237 * * * [progress]: adding candidates to table
1.701 * * [progress]: iteration 2 / 4
1.701 * * * [progress]: picking best candidate
1.768 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>
1.768 * * * [progress]: localizing error
1.794 * * * [progress]: generating rewritten candidates
1.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.798 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
1.799 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1)
1.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.810 * * * [progress]: generating series expansions
1.810 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.811 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.811 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.811 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.811 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.811 * [taylor]: Taking taylor expansion of re in im
1.811 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.811 * [taylor]: Taking taylor expansion of im in im
1.812 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.812 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.812 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.812 * [taylor]: Taking taylor expansion of re in re
1.812 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.812 * [taylor]: Taking taylor expansion of im in re
1.813 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.813 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.813 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.813 * [taylor]: Taking taylor expansion of re in re
1.813 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.813 * [taylor]: Taking taylor expansion of im in re
1.813 * [taylor]: Taking taylor expansion of im in im
1.813 * [taylor]: Taking taylor expansion of 0 in im
1.815 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.815 * [taylor]: Taking taylor expansion of 1/2 in im
1.815 * [taylor]: Taking taylor expansion of im in im
1.817 * [taylor]: Taking taylor expansion of 0 in im
1.818 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.818 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.818 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.818 * [taylor]: Taking taylor expansion of im in im
1.819 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.819 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.819 * [taylor]: Taking taylor expansion of re in im
1.821 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.821 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.821 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.821 * [taylor]: Taking taylor expansion of im in re
1.821 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.821 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.821 * [taylor]: Taking taylor expansion of re in re
1.823 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.823 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.823 * [taylor]: Taking taylor expansion of im in re
1.824 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.824 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.824 * [taylor]: Taking taylor expansion of re in re
1.826 * [taylor]: Taking taylor expansion of 1 in im
1.826 * [taylor]: Taking taylor expansion of 0 in im
1.828 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.828 * [taylor]: Taking taylor expansion of 1/2 in im
1.828 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.828 * [taylor]: Taking taylor expansion of im in im
1.831 * [taylor]: Taking taylor expansion of 0 in im
1.833 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.833 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.833 * [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.833 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.833 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.833 * [taylor]: Taking taylor expansion of re in im
1.835 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.835 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.835 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.835 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.835 * [taylor]: Taking taylor expansion of im in re
1.836 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.836 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.836 * [taylor]: Taking taylor expansion of re in re
1.838 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.838 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.838 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.838 * [taylor]: Taking taylor expansion of im in re
1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.838 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.838 * [taylor]: Taking taylor expansion of re in re
1.841 * [taylor]: Taking taylor expansion of 1 in im
1.841 * [taylor]: Taking taylor expansion of 0 in im
1.843 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.843 * [taylor]: Taking taylor expansion of 1/2 in im
1.843 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.843 * [taylor]: Taking taylor expansion of im in im
1.846 * [taylor]: Taking taylor expansion of 0 in im
1.847 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1)
1.847 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
1.847 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.847 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.847 * [taylor]: Taking taylor expansion of 1/3 in base
1.847 * [taylor]: Taking taylor expansion of (log base) in base
1.847 * [taylor]: Taking taylor expansion of base in base
1.848 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.848 * [taylor]: Taking taylor expansion of 1/3 in base
1.848 * [taylor]: Taking taylor expansion of (log base) in base
1.848 * [taylor]: Taking taylor expansion of base in base
1.905 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
1.905 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.905 * [taylor]: Taking taylor expansion of 1/3 in base
1.905 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.905 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.905 * [taylor]: Taking taylor expansion of base in base
1.906 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.906 * [taylor]: Taking taylor expansion of 1/3 in base
1.906 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.906 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.906 * [taylor]: Taking taylor expansion of base in base
1.959 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
1.959 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.959 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.959 * [taylor]: Taking taylor expansion of -1 in base
1.960 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.960 * [taylor]: Taking taylor expansion of 1/3 in base
1.960 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.960 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.960 * [taylor]: Taking taylor expansion of base in base
1.961 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.961 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.961 * [taylor]: Taking taylor expansion of -1 in base
1.962 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.962 * [taylor]: Taking taylor expansion of 1/3 in base
1.962 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.962 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.962 * [taylor]: Taking taylor expansion of base in base
2.032 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1)
2.032 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
2.032 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
2.032 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
2.032 * [taylor]: Taking taylor expansion of 1/3 in base
2.032 * [taylor]: Taking taylor expansion of (log base) in base
2.032 * [taylor]: Taking taylor expansion of base in base
2.033 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
2.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
2.033 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
2.033 * [taylor]: Taking taylor expansion of 1/3 in base
2.033 * [taylor]: Taking taylor expansion of (log base) in base
2.033 * [taylor]: Taking taylor expansion of base in base
2.088 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
2.088 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.088 * [taylor]: Taking taylor expansion of 1/3 in base
2.088 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.088 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.088 * [taylor]: Taking taylor expansion of base in base
2.089 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.089 * [taylor]: Taking taylor expansion of 1/3 in base
2.089 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.089 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.089 * [taylor]: Taking taylor expansion of base in base
2.146 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
2.146 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.146 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.146 * [taylor]: Taking taylor expansion of -1 in base
2.147 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.147 * [taylor]: Taking taylor expansion of 1/3 in base
2.147 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.147 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.147 * [taylor]: Taking taylor expansion of base in base
2.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.148 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.148 * [taylor]: Taking taylor expansion of -1 in base
2.149 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.149 * [taylor]: Taking taylor expansion of 1/3 in base
2.149 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.149 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.149 * [taylor]: Taking taylor expansion of base in base
2.218 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.218 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
2.218 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
2.218 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
2.218 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
2.218 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
2.218 * [taylor]: Taking taylor expansion of (pow re 2) in base
2.218 * [taylor]: Taking taylor expansion of re in base
2.219 * [taylor]: Taking taylor expansion of (pow im 2) in base
2.219 * [taylor]: Taking taylor expansion of im in base
2.220 * [taylor]: Taking taylor expansion of (log base) in base
2.220 * [taylor]: Taking taylor expansion of base in base
2.220 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
2.220 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
2.220 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
2.220 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
2.220 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.220 * [taylor]: Taking taylor expansion of re in im
2.220 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.220 * [taylor]: Taking taylor expansion of im in im
2.221 * [taylor]: Taking taylor expansion of (log base) in im
2.221 * [taylor]: Taking taylor expansion of base in im
2.221 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
2.221 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
2.221 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
2.221 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
2.221 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.221 * [taylor]: Taking taylor expansion of re in re
2.221 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.221 * [taylor]: Taking taylor expansion of im in re
2.221 * [taylor]: Taking taylor expansion of (log base) in re
2.221 * [taylor]: Taking taylor expansion of base in re
2.221 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
2.221 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
2.221 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
2.222 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
2.222 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.222 * [taylor]: Taking taylor expansion of re in re
2.222 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.222 * [taylor]: Taking taylor expansion of im in re
2.222 * [taylor]: Taking taylor expansion of (log base) in re
2.222 * [taylor]: Taking taylor expansion of base in re
2.222 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
2.222 * [taylor]: Taking taylor expansion of (log im) in im
2.223 * [taylor]: Taking taylor expansion of im in im
2.223 * [taylor]: Taking taylor expansion of (log base) in im
2.223 * [taylor]: Taking taylor expansion of base in im
2.223 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in base
2.223 * [taylor]: Taking taylor expansion of (log im) in base
2.223 * [taylor]: Taking taylor expansion of im in base
2.223 * [taylor]: Taking taylor expansion of (log base) in base
2.223 * [taylor]: Taking taylor expansion of base in base
2.225 * [taylor]: Taking taylor expansion of 0 in im
2.225 * [taylor]: Taking taylor expansion of 0 in base
2.227 * [taylor]: Taking taylor expansion of 0 in base
2.231 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
2.231 * [taylor]: Taking taylor expansion of 1/2 in im
2.232 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
2.232 * [taylor]: Taking taylor expansion of (log base) in im
2.232 * [taylor]: Taking taylor expansion of base in im
2.232 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.232 * [taylor]: Taking taylor expansion of im in im
2.236 * [taylor]: Taking taylor expansion of 0 in base
2.236 * [taylor]: Taking taylor expansion of 0 in base
2.239 * [taylor]: Taking taylor expansion of 0 in base
2.239 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
2.240 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
2.240 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
2.240 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
2.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
2.240 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
2.240 * [taylor]: Taking taylor expansion of (pow im 2) in base
2.240 * [taylor]: Taking taylor expansion of im in base
2.240 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
2.240 * [taylor]: Taking taylor expansion of (pow re 2) in base
2.240 * [taylor]: Taking taylor expansion of re in base
2.241 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.241 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.241 * [taylor]: Taking taylor expansion of base in base
2.242 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
2.242 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
2.242 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
2.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
2.242 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.242 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.242 * [taylor]: Taking taylor expansion of im in im
2.242 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
2.242 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.242 * [taylor]: Taking taylor expansion of re in im
2.245 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
2.245 * [taylor]: Taking taylor expansion of (/ 1 base) in im
2.245 * [taylor]: Taking taylor expansion of base in im
2.245 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
2.245 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
2.245 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.245 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.245 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.245 * [taylor]: Taking taylor expansion of im in re
2.245 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.245 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.245 * [taylor]: Taking taylor expansion of re in re
2.248 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
2.248 * [taylor]: Taking taylor expansion of (/ 1 base) in re
2.248 * [taylor]: Taking taylor expansion of base in re
2.248 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
2.248 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
2.248 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.248 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.248 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.248 * [taylor]: Taking taylor expansion of im in re
2.248 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.248 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.248 * [taylor]: Taking taylor expansion of re in re
2.251 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
2.251 * [taylor]: Taking taylor expansion of (/ 1 base) in re
2.251 * [taylor]: Taking taylor expansion of base in re
2.251 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in im
2.251 * [taylor]: Taking taylor expansion of -1 in im
2.251 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in im
2.251 * [taylor]: Taking taylor expansion of (log re) in im
2.251 * [taylor]: Taking taylor expansion of re in im
2.251 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
2.251 * [taylor]: Taking taylor expansion of (/ 1 base) in im
2.251 * [taylor]: Taking taylor expansion of base in im
2.252 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in base
2.252 * [taylor]: Taking taylor expansion of -1 in base
2.252 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in base
2.252 * [taylor]: Taking taylor expansion of (log re) in base
2.252 * [taylor]: Taking taylor expansion of re in base
2.252 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.252 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.252 * [taylor]: Taking taylor expansion of base in base
2.254 * [taylor]: Taking taylor expansion of 0 in im
2.254 * [taylor]: Taking taylor expansion of 0 in base
2.256 * [taylor]: Taking taylor expansion of 0 in base
2.263 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
2.263 * [taylor]: Taking taylor expansion of 1/2 in im
2.263 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
2.263 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
2.263 * [taylor]: Taking taylor expansion of (/ 1 base) in im
2.263 * [taylor]: Taking taylor expansion of base in im
2.264 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.264 * [taylor]: Taking taylor expansion of im in im
2.269 * [taylor]: Taking taylor expansion of 0 in base
2.269 * [taylor]: Taking taylor expansion of 0 in base
2.272 * [taylor]: Taking taylor expansion of 0 in base
2.272 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
2.272 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
2.272 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
2.272 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
2.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
2.272 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
2.272 * [taylor]: Taking taylor expansion of (pow im 2) in base
2.272 * [taylor]: Taking taylor expansion of im in base
2.273 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
2.273 * [taylor]: Taking taylor expansion of (pow re 2) in base
2.273 * [taylor]: Taking taylor expansion of re in base
2.274 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
2.274 * [taylor]: Taking taylor expansion of (/ -1 base) in base
2.274 * [taylor]: Taking taylor expansion of -1 in base
2.274 * [taylor]: Taking taylor expansion of base in base
2.275 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
2.275 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
2.275 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
2.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
2.275 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
2.275 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.275 * [taylor]: Taking taylor expansion of im in im
2.275 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
2.275 * [taylor]: Taking taylor expansion of (pow re 2) in im
2.275 * [taylor]: Taking taylor expansion of re in im
2.278 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
2.278 * [taylor]: Taking taylor expansion of (/ -1 base) in im
2.278 * [taylor]: Taking taylor expansion of -1 in im
2.278 * [taylor]: Taking taylor expansion of base in im
2.278 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
2.278 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
2.278 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.278 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.278 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.278 * [taylor]: Taking taylor expansion of im in re
2.278 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.278 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.278 * [taylor]: Taking taylor expansion of re in re
2.281 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
2.281 * [taylor]: Taking taylor expansion of (/ -1 base) in re
2.281 * [taylor]: Taking taylor expansion of -1 in re
2.281 * [taylor]: Taking taylor expansion of base in re
2.281 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
2.281 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
2.281 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
2.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
2.281 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
2.281 * [taylor]: Taking taylor expansion of (pow im 2) in re
2.281 * [taylor]: Taking taylor expansion of im in re
2.281 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
2.281 * [taylor]: Taking taylor expansion of (pow re 2) in re
2.281 * [taylor]: Taking taylor expansion of re in re
2.284 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
2.284 * [taylor]: Taking taylor expansion of (/ -1 base) in re
2.284 * [taylor]: Taking taylor expansion of -1 in re
2.284 * [taylor]: Taking taylor expansion of base in re
2.284 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in im
2.284 * [taylor]: Taking taylor expansion of -1 in im
2.285 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in im
2.285 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
2.285 * [taylor]: Taking taylor expansion of (/ -1 base) in im
2.285 * [taylor]: Taking taylor expansion of -1 in im
2.285 * [taylor]: Taking taylor expansion of base in im
2.285 * [taylor]: Taking taylor expansion of (log re) in im
2.285 * [taylor]: Taking taylor expansion of re in im
2.285 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in base
2.285 * [taylor]: Taking taylor expansion of -1 in base
2.285 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in base
2.285 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
2.285 * [taylor]: Taking taylor expansion of (/ -1 base) in base
2.285 * [taylor]: Taking taylor expansion of -1 in base
2.285 * [taylor]: Taking taylor expansion of base in base
2.285 * [taylor]: Taking taylor expansion of (log re) in base
2.286 * [taylor]: Taking taylor expansion of re in base
2.289 * [taylor]: Taking taylor expansion of 0 in im
2.289 * [taylor]: Taking taylor expansion of 0 in base
2.290 * [taylor]: Taking taylor expansion of 0 in base
2.303 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
2.303 * [taylor]: Taking taylor expansion of 1/2 in im
2.303 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
2.303 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
2.303 * [taylor]: Taking taylor expansion of (/ -1 base) in im
2.303 * [taylor]: Taking taylor expansion of -1 in im
2.303 * [taylor]: Taking taylor expansion of base in im
2.304 * [taylor]: Taking taylor expansion of (pow im 2) in im
2.304 * [taylor]: Taking taylor expansion of im in im
2.308 * [taylor]: Taking taylor expansion of 0 in base
2.309 * [taylor]: Taking taylor expansion of 0 in base
2.312 * [taylor]: Taking taylor expansion of 0 in base
2.313 * * * [progress]: simplifying candidates
2.314 * [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 (cbrt base))
  (exp (cbrt base))
  (cbrt (* (cbrt base) (cbrt base)))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  (cbrt 1)
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  (* (* (cbrt base) (cbrt base)) (cbrt base))
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (* (cbrt base) (cbrt base)))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  (cbrt 1)
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  (* (* (cbrt base) (cbrt base)) (cbrt base))
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (exp (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base)))
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (* (cbrt base) (cbrt base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (* (cbrt base) (cbrt base))) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (cbrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log 1) (log (sqrt (+ (* re re) (* im im)))))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (* -1 re)
  (pow base 1/3)
  (pow (/ 1 base) -1/3)
  (* (pow (* -1 base) 1/3) (cbrt -1))
  (pow base 1/3)
  (pow (/ 1 base) -1/3)
  (* (pow (* -1 base) 1/3) (cbrt -1))
  (* (log im) (log base))
  (* (log (/ 1 re)) (log (/ 1 base)))
  (* -1 (* (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
2.317 * * [simplify]: iteration  0 :  116  enodes  (cost  875 )
2.336 * * [simplify]: iteration  1 :  229  enodes  (cost  828 )
2.381 * * [simplify]: iteration  2 :  555  enodes  (cost  728 )
2.553 * * [simplify]: iteration  3 :  1255  enodes  (cost  707 )
3.097 * * [simplify]: iteration  4 :  2981  enodes  (cost  705 )
3.791 * * [simplify]: iteration  done :  5000  enodes  (cost  705 )
3.791 * [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 (+ (* im im) (* re re)))
  (sqrt (+ (pow im 6) (pow re 6)))
  (sqrt (- (pow im 4) (* (* re re) (- (* im im) (* re re)))))
  (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 (cbrt base))
  (exp (cbrt base))
  (cbrt (pow base 2/3))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  1
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  base
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (pow base 2/3))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  1
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  base
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (sqrt (+ (* re re) (* im im))) (log base))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (cbrt base)) (log (+ (* re re) (* im im))))
  (* 1/6 (* (log (+ (* re re) (* im im))) (log base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (cbrt base)) (log (+ (* re re) (* im im))))
  (* 1/6 (* (log (+ (* re re) (* im im))) (log base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (- re)
  (cbrt base)
  (pow (/ 1 base) -1/3)
  (* (cbrt -1) (cbrt (- base)))
  (cbrt base)
  (pow (/ 1 base) -1/3)
  (* (cbrt -1) (cbrt (- base)))
  (* (log im) (log base))
  (* (log re) (log base))
  (* (- (log (/ -1 re))) (log base))
3.792 * * * [progress]: adding candidates to table
4.154 * * [progress]: iteration 3 / 4
4.154 * * * [progress]: picking best candidate
4.224 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>
4.224 * * * [progress]: localizing error
4.265 * * * [progress]: generating rewritten candidates
4.265 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.269 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 2 1)
4.273 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1)
4.273 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.282 * * * [progress]: generating series expansions
4.282 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.282 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
4.282 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
4.282 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
4.282 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.282 * [taylor]: Taking taylor expansion of re in im
4.282 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.282 * [taylor]: Taking taylor expansion of im in im
4.283 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
4.283 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
4.283 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.283 * [taylor]: Taking taylor expansion of re in re
4.283 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.283 * [taylor]: Taking taylor expansion of im in re
4.284 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
4.284 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
4.284 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.284 * [taylor]: Taking taylor expansion of re in re
4.284 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.284 * [taylor]: Taking taylor expansion of im in re
4.285 * [taylor]: Taking taylor expansion of im in im
4.285 * [taylor]: Taking taylor expansion of 0 in im
4.287 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
4.287 * [taylor]: Taking taylor expansion of 1/2 in im
4.287 * [taylor]: Taking taylor expansion of im in im
4.289 * [taylor]: Taking taylor expansion of 0 in im
4.290 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
4.290 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
4.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
4.290 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.290 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.290 * [taylor]: Taking taylor expansion of im in im
4.290 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
4.290 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.290 * [taylor]: Taking taylor expansion of re in im
4.292 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.292 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.292 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.292 * [taylor]: Taking taylor expansion of im in re
4.293 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.293 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.293 * [taylor]: Taking taylor expansion of re in re
4.295 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.295 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.295 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.295 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.295 * [taylor]: Taking taylor expansion of im in re
4.295 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.295 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.295 * [taylor]: Taking taylor expansion of re in re
4.298 * [taylor]: Taking taylor expansion of 1 in im
4.298 * [taylor]: Taking taylor expansion of 0 in im
4.300 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
4.300 * [taylor]: Taking taylor expansion of 1/2 in im
4.300 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.300 * [taylor]: Taking taylor expansion of im in im
4.303 * [taylor]: Taking taylor expansion of 0 in im
4.305 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
4.305 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
4.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
4.305 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.305 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.305 * [taylor]: Taking taylor expansion of im in im
4.306 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
4.306 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.306 * [taylor]: Taking taylor expansion of re in im
4.308 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.308 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.308 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.308 * [taylor]: Taking taylor expansion of im in re
4.308 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.308 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.308 * [taylor]: Taking taylor expansion of re in re
4.310 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.310 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.310 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.310 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.310 * [taylor]: Taking taylor expansion of im in re
4.311 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.311 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.311 * [taylor]: Taking taylor expansion of re in re
4.313 * [taylor]: Taking taylor expansion of 1 in im
4.313 * [taylor]: Taking taylor expansion of 0 in im
4.315 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
4.315 * [taylor]: Taking taylor expansion of 1/2 in im
4.315 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.315 * [taylor]: Taking taylor expansion of im in im
4.318 * [taylor]: Taking taylor expansion of 0 in im
4.320 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 2 1)
4.320 * [approximate]: Taking taylor expansion of (pow (/ 1 base) -1/3) in (base) around 0
4.320 * [taylor]: Taking taylor expansion of (pow (/ 1 base) -1/3) in base
4.320 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 base)))) in base
4.320 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 base))) in base
4.320 * [taylor]: Taking taylor expansion of -1/3 in base
4.320 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.320 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.320 * [taylor]: Taking taylor expansion of base in base
4.321 * [taylor]: Taking taylor expansion of (pow (/ 1 base) -1/3) in base
4.321 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 base)))) in base
4.321 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 base))) in base
4.321 * [taylor]: Taking taylor expansion of -1/3 in base
4.321 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.321 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.321 * [taylor]: Taking taylor expansion of base in base
4.378 * [approximate]: Taking taylor expansion of (pow base -1/3) in (base) around 0
4.379 * [taylor]: Taking taylor expansion of (pow base -1/3) in base
4.379 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log base))) in base
4.379 * [taylor]: Taking taylor expansion of (* -1/3 (log base)) in base
4.379 * [taylor]: Taking taylor expansion of -1/3 in base
4.379 * [taylor]: Taking taylor expansion of (log base) in base
4.379 * [taylor]: Taking taylor expansion of base in base
4.379 * [taylor]: Taking taylor expansion of (pow base -1/3) in base
4.379 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log base))) in base
4.379 * [taylor]: Taking taylor expansion of (* -1/3 (log base)) in base
4.379 * [taylor]: Taking taylor expansion of -1/3 in base
4.379 * [taylor]: Taking taylor expansion of (log base) in base
4.379 * [taylor]: Taking taylor expansion of base in base
4.435 * [approximate]: Taking taylor expansion of (pow (* -1 base) -1/3) in (base) around 0
4.435 * [taylor]: Taking taylor expansion of (pow (* -1 base) -1/3) in base
4.435 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 base)))) in base
4.435 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 base))) in base
4.435 * [taylor]: Taking taylor expansion of -1/3 in base
4.435 * [taylor]: Taking taylor expansion of (log (* -1 base)) in base
4.435 * [taylor]: Taking taylor expansion of (* -1 base) in base
4.435 * [taylor]: Taking taylor expansion of -1 in base
4.435 * [taylor]: Taking taylor expansion of base in base
4.438 * [taylor]: Taking taylor expansion of (pow (* -1 base) -1/3) in base
4.438 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 base)))) in base
4.438 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 base))) in base
4.438 * [taylor]: Taking taylor expansion of -1/3 in base
4.438 * [taylor]: Taking taylor expansion of (log (* -1 base)) in base
4.438 * [taylor]: Taking taylor expansion of (* -1 base) in base
4.438 * [taylor]: Taking taylor expansion of -1 in base
4.438 * [taylor]: Taking taylor expansion of base in base
4.507 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1)
4.507 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
4.507 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
4.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
4.507 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
4.508 * [taylor]: Taking taylor expansion of 1/3 in base
4.508 * [taylor]: Taking taylor expansion of (log base) in base
4.508 * [taylor]: Taking taylor expansion of base in base
4.508 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
4.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
4.508 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
4.508 * [taylor]: Taking taylor expansion of 1/3 in base
4.508 * [taylor]: Taking taylor expansion of (log base) in base
4.508 * [taylor]: Taking taylor expansion of base in base
4.558 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
4.559 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
4.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
4.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
4.559 * [taylor]: Taking taylor expansion of 1/3 in base
4.559 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.559 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.559 * [taylor]: Taking taylor expansion of base in base
4.560 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
4.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
4.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
4.560 * [taylor]: Taking taylor expansion of 1/3 in base
4.560 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.560 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.560 * [taylor]: Taking taylor expansion of base in base
4.619 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
4.619 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
4.619 * [taylor]: Taking taylor expansion of (cbrt -1) in base
4.620 * [taylor]: Taking taylor expansion of -1 in base
4.620 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
4.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
4.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
4.620 * [taylor]: Taking taylor expansion of 1/3 in base
4.620 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.620 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.620 * [taylor]: Taking taylor expansion of base in base
4.621 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
4.621 * [taylor]: Taking taylor expansion of (cbrt -1) in base
4.621 * [taylor]: Taking taylor expansion of -1 in base
4.622 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
4.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
4.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
4.622 * [taylor]: Taking taylor expansion of 1/3 in base
4.622 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.622 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.622 * [taylor]: Taking taylor expansion of base in base
4.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.693 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
4.693 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
4.694 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
4.694 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
4.694 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
4.694 * [taylor]: Taking taylor expansion of (pow re 2) in base
4.694 * [taylor]: Taking taylor expansion of re in base
4.694 * [taylor]: Taking taylor expansion of (pow im 2) in base
4.694 * [taylor]: Taking taylor expansion of im in base
4.695 * [taylor]: Taking taylor expansion of (log base) in base
4.695 * [taylor]: Taking taylor expansion of base in base
4.695 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
4.695 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
4.695 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
4.695 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
4.695 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.695 * [taylor]: Taking taylor expansion of re in im
4.695 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.695 * [taylor]: Taking taylor expansion of im in im
4.696 * [taylor]: Taking taylor expansion of (log base) in im
4.696 * [taylor]: Taking taylor expansion of base in im
4.696 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
4.696 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
4.696 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
4.696 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
4.696 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.696 * [taylor]: Taking taylor expansion of re in re
4.696 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.696 * [taylor]: Taking taylor expansion of im in re
4.696 * [taylor]: Taking taylor expansion of (log base) in re
4.696 * [taylor]: Taking taylor expansion of base in re
4.696 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
4.696 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
4.696 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
4.696 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
4.696 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.697 * [taylor]: Taking taylor expansion of re in re
4.697 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.697 * [taylor]: Taking taylor expansion of im in re
4.697 * [taylor]: Taking taylor expansion of (log base) in re
4.697 * [taylor]: Taking taylor expansion of base in re
4.697 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
4.697 * [taylor]: Taking taylor expansion of (log im) in im
4.697 * [taylor]: Taking taylor expansion of im in im
4.698 * [taylor]: Taking taylor expansion of (log base) in im
4.698 * [taylor]: Taking taylor expansion of base in im
4.698 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in base
4.698 * [taylor]: Taking taylor expansion of (log im) in base
4.698 * [taylor]: Taking taylor expansion of im in base
4.698 * [taylor]: Taking taylor expansion of (log base) in base
4.698 * [taylor]: Taking taylor expansion of base in base
4.700 * [taylor]: Taking taylor expansion of 0 in im
4.700 * [taylor]: Taking taylor expansion of 0 in base
4.702 * [taylor]: Taking taylor expansion of 0 in base
4.707 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
4.707 * [taylor]: Taking taylor expansion of 1/2 in im
4.707 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
4.707 * [taylor]: Taking taylor expansion of (log base) in im
4.707 * [taylor]: Taking taylor expansion of base in im
4.707 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.707 * [taylor]: Taking taylor expansion of im in im
4.712 * [taylor]: Taking taylor expansion of 0 in base
4.712 * [taylor]: Taking taylor expansion of 0 in base
4.715 * [taylor]: Taking taylor expansion of 0 in base
4.715 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
4.715 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
4.715 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
4.715 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
4.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
4.716 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
4.716 * [taylor]: Taking taylor expansion of (pow im 2) in base
4.716 * [taylor]: Taking taylor expansion of im in base
4.716 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
4.716 * [taylor]: Taking taylor expansion of (pow re 2) in base
4.716 * [taylor]: Taking taylor expansion of re in base
4.717 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.717 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.717 * [taylor]: Taking taylor expansion of base in base
4.718 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
4.718 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
4.718 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
4.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
4.718 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.718 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.718 * [taylor]: Taking taylor expansion of im in im
4.718 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
4.718 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.718 * [taylor]: Taking taylor expansion of re in im
4.721 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
4.721 * [taylor]: Taking taylor expansion of (/ 1 base) in im
4.721 * [taylor]: Taking taylor expansion of base in im
4.721 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
4.721 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
4.721 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.721 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.721 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.721 * [taylor]: Taking taylor expansion of im in re
4.721 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.721 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.721 * [taylor]: Taking taylor expansion of re in re
4.724 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
4.724 * [taylor]: Taking taylor expansion of (/ 1 base) in re
4.724 * [taylor]: Taking taylor expansion of base in re
4.724 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
4.724 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
4.724 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.724 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.724 * [taylor]: Taking taylor expansion of im in re
4.724 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.724 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.724 * [taylor]: Taking taylor expansion of re in re
4.727 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
4.727 * [taylor]: Taking taylor expansion of (/ 1 base) in re
4.727 * [taylor]: Taking taylor expansion of base in re
4.727 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in im
4.727 * [taylor]: Taking taylor expansion of -1 in im
4.727 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in im
4.727 * [taylor]: Taking taylor expansion of (log re) in im
4.727 * [taylor]: Taking taylor expansion of re in im
4.727 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
4.728 * [taylor]: Taking taylor expansion of (/ 1 base) in im
4.728 * [taylor]: Taking taylor expansion of base in im
4.728 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in base
4.728 * [taylor]: Taking taylor expansion of -1 in base
4.728 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in base
4.728 * [taylor]: Taking taylor expansion of (log re) in base
4.728 * [taylor]: Taking taylor expansion of re in base
4.728 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
4.728 * [taylor]: Taking taylor expansion of (/ 1 base) in base
4.728 * [taylor]: Taking taylor expansion of base in base
4.730 * [taylor]: Taking taylor expansion of 0 in im
4.730 * [taylor]: Taking taylor expansion of 0 in base
4.732 * [taylor]: Taking taylor expansion of 0 in base
4.739 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
4.739 * [taylor]: Taking taylor expansion of 1/2 in im
4.739 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
4.739 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
4.739 * [taylor]: Taking taylor expansion of (/ 1 base) in im
4.739 * [taylor]: Taking taylor expansion of base in im
4.739 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.739 * [taylor]: Taking taylor expansion of im in im
4.745 * [taylor]: Taking taylor expansion of 0 in base
4.745 * [taylor]: Taking taylor expansion of 0 in base
4.753 * [taylor]: Taking taylor expansion of 0 in base
4.754 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
4.754 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
4.754 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
4.754 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
4.754 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
4.754 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
4.754 * [taylor]: Taking taylor expansion of (pow im 2) in base
4.754 * [taylor]: Taking taylor expansion of im in base
4.754 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
4.754 * [taylor]: Taking taylor expansion of (pow re 2) in base
4.754 * [taylor]: Taking taylor expansion of re in base
4.755 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
4.755 * [taylor]: Taking taylor expansion of (/ -1 base) in base
4.755 * [taylor]: Taking taylor expansion of -1 in base
4.755 * [taylor]: Taking taylor expansion of base in base
4.756 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
4.756 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
4.756 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
4.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
4.756 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.756 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.756 * [taylor]: Taking taylor expansion of im in im
4.757 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
4.757 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.757 * [taylor]: Taking taylor expansion of re in im
4.759 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
4.759 * [taylor]: Taking taylor expansion of (/ -1 base) in im
4.759 * [taylor]: Taking taylor expansion of -1 in im
4.759 * [taylor]: Taking taylor expansion of base in im
4.759 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
4.759 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
4.759 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.759 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.759 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.759 * [taylor]: Taking taylor expansion of im in re
4.760 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.760 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.760 * [taylor]: Taking taylor expansion of re in re
4.762 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
4.762 * [taylor]: Taking taylor expansion of (/ -1 base) in re
4.762 * [taylor]: Taking taylor expansion of -1 in re
4.762 * [taylor]: Taking taylor expansion of base in re
4.762 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
4.762 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
4.762 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
4.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
4.762 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.763 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.763 * [taylor]: Taking taylor expansion of im in re
4.763 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.763 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.763 * [taylor]: Taking taylor expansion of re in re
4.765 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
4.765 * [taylor]: Taking taylor expansion of (/ -1 base) in re
4.765 * [taylor]: Taking taylor expansion of -1 in re
4.765 * [taylor]: Taking taylor expansion of base in re
4.766 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in im
4.766 * [taylor]: Taking taylor expansion of -1 in im
4.766 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in im
4.766 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
4.766 * [taylor]: Taking taylor expansion of (/ -1 base) in im
4.766 * [taylor]: Taking taylor expansion of -1 in im
4.766 * [taylor]: Taking taylor expansion of base in im
4.766 * [taylor]: Taking taylor expansion of (log re) in im
4.766 * [taylor]: Taking taylor expansion of re in im
4.766 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in base
4.766 * [taylor]: Taking taylor expansion of -1 in base
4.766 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in base
4.766 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
4.766 * [taylor]: Taking taylor expansion of (/ -1 base) in base
4.766 * [taylor]: Taking taylor expansion of -1 in base
4.766 * [taylor]: Taking taylor expansion of base in base
4.767 * [taylor]: Taking taylor expansion of (log re) in base
4.767 * [taylor]: Taking taylor expansion of re in base
4.770 * [taylor]: Taking taylor expansion of 0 in im
4.770 * [taylor]: Taking taylor expansion of 0 in base
4.772 * [taylor]: Taking taylor expansion of 0 in base
4.780 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
4.780 * [taylor]: Taking taylor expansion of 1/2 in im
4.780 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
4.780 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
4.780 * [taylor]: Taking taylor expansion of (/ -1 base) in im
4.780 * [taylor]: Taking taylor expansion of -1 in im
4.780 * [taylor]: Taking taylor expansion of base in im
4.780 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.780 * [taylor]: Taking taylor expansion of im in im
4.785 * [taylor]: Taking taylor expansion of 0 in base
4.785 * [taylor]: Taking taylor expansion of 0 in base
4.788 * [taylor]: Taking taylor expansion of 0 in base
4.789 * * * [progress]: simplifying candidates
4.791 * [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 base)) -1/3)
  (* (- 0 (log base)) -1/3)
  (* (- (log 1) (log base)) -1/3)
  (* (log (/ 1 base)) -1/3)
  (* (log (/ 1 base)) -1/3)
  (* -1 -1/3)
  (* (- 1) -1/3)
  (* 1 -1/3)
  (pow (/ 1 base) (* (cbrt -1/3) (cbrt -1/3)))
  (pow (/ 1 base) (sqrt -1/3))
  (pow (/ 1 base) 1)
  (pow (* (cbrt (/ 1 base)) (cbrt (/ 1 base))) -1/3)
  (pow (cbrt (/ 1 base)) -1/3)
  (pow (sqrt (/ 1 base)) -1/3)
  (pow (sqrt (/ 1 base)) -1/3)
  (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt base) (cbrt base))) -1/3)
  (pow (/ (cbrt 1) (cbrt base)) -1/3)
  (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt base)) -1/3)
  (pow (/ (cbrt 1) (sqrt base)) -1/3)
  (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)
  (pow (/ (cbrt 1) base) -1/3)
  (pow (/ (sqrt 1) (* (cbrt base) (cbrt base))) -1/3)
  (pow (/ (sqrt 1) (cbrt base)) -1/3)
  (pow (/ (sqrt 1) (sqrt base)) -1/3)
  (pow (/ (sqrt 1) (sqrt base)) -1/3)
  (pow (/ (sqrt 1) 1) -1/3)
  (pow (/ (sqrt 1) base) -1/3)
  (pow (/ 1 (* (cbrt base) (cbrt base))) -1/3)
  (pow (/ 1 (cbrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  (pow (/ 1 1) -1/3)
  (pow (/ 1 base) -1/3)
  (pow 1 -1/3)
  (pow (/ 1 base) -1/3)
  (pow 1 -1/3)
  (pow (/ 1 base) -1/3)
  (log (pow (/ 1 base) -1/3))
  (exp (pow (/ 1 base) -1/3))
  (* (cbrt (pow (/ 1 base) -1/3)) (cbrt (pow (/ 1 base) -1/3)))
  (cbrt (pow (/ 1 base) -1/3))
  (* (* (pow (/ 1 base) -1/3) (pow (/ 1 base) -1/3)) (pow (/ 1 base) -1/3))
  (sqrt (pow (/ 1 base) -1/3))
  (sqrt (pow (/ 1 base) -1/3))
  (pow (/ 1 base) (/ -1/3 2))
  (pow (/ 1 base) (/ -1/3 2))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (* (cbrt base) (cbrt base)))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  (cbrt 1)
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  (* (* (cbrt base) (cbrt base)) (cbrt base))
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (exp (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base)))
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (* (cbrt base) (cbrt base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (* (cbrt base) (cbrt base))) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (cbrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log 1) (log (sqrt (+ (* re re) (* im im)))))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (* -1 re)
  (pow base 1/3)
  (pow (/ 1 base) -1/3)
  (exp (* -1/3 (+ (log -1) (log (/ -1 base)))))
  (pow base 1/3)
  (pow (/ 1 base) -1/3)
  (* (pow (* -1 base) 1/3) (cbrt -1))
  (* (log im) (log base))
  (* (log (/ 1 re)) (log (/ 1 base)))
  (* -1 (* (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
4.795 * * [simplify]: iteration  0 :  184  enodes  (cost  1139 )
4.847 * * [simplify]: iteration  1 :  379  enodes  (cost  1033 )
4.926 * * [simplify]: iteration  2 :  803  enodes  (cost  927 )
5.183 * * [simplify]: iteration  3 :  1752  enodes  (cost  898 )
6.401 * * [simplify]: iteration  4 :  4941  enodes  (cost  892 )
7.205 * * [simplify]: iteration  done :  5000  enodes  (cost  892 )
7.205 * [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 (+ (* im im) (* re re)))
  (sqrt (+ (pow im 6) (pow re 6)))
  (sqrt (+ (* (* re re) (- (* re re) (* im im))) (pow im 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 (cbrt base))
  (log (cbrt base))
  (log (cbrt base))
  (log (cbrt base))
  (log (cbrt base))
  1/3
  1/3
  -1/3
  (pow (/ 1 base) (* (cbrt -1/3) (cbrt -1/3)))
  (pow (/ 1 base) (sqrt -1/3))
  (/ 1 base)
  (pow (* (cbrt (/ 1 base)) (cbrt (/ 1 base))) -1/3)
  (pow (cbrt (/ 1 base)) -1/3)
  (pow (sqrt (/ 1 base)) -1/3)
  (pow (sqrt (/ 1 base)) -1/3)
  (pow (/ 1 (pow base 2/3)) -1/3)
  (pow (/ 1 (cbrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  1
  (pow (/ 1 base) -1/3)
  (pow (/ 1 (pow base 2/3)) -1/3)
  (pow (/ 1 (cbrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  1
  (pow (/ 1 base) -1/3)
  (pow (/ 1 (pow base 2/3)) -1/3)
  (pow (/ 1 (cbrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  (pow (/ 1 (sqrt base)) -1/3)
  1
  (pow (/ 1 base) -1/3)
  1
  (pow (/ 1 base) -1/3)
  1
  (pow (/ 1 base) -1/3)
  (log (cbrt base))
  (exp (pow (/ 1 base) -1/3))
  (* (cbrt (pow (/ 1 base) -1/3)) (cbrt (pow (/ 1 base) -1/3)))
  (cbrt (pow (/ 1 base) -1/3))
  (pow (pow (/ 1 base) -1/3) 3)
  (sqrt (pow (/ 1 base) -1/3))
  (sqrt (pow (/ 1 base) -1/3))
  (pow (/ 1 base) -1/6)
  (pow (/ 1 base) -1/6)
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (pow base 2/3))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  1
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  base
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (sqrt (+ (* re re) (* im im))) (log base))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (+ (* re re) (* im im))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (- re)
  (cbrt base)
  (pow (/ 1 base) -1/3)
  (pow (/ 1 base) -1/3)
  (cbrt base)
  (pow (/ 1 base) -1/3)
  (* (cbrt -1) (cbrt (- base)))
  (* (log im) (log base))
  (* (log re) (log base))
  (* (log base) (- (log (/ -1 re))))
7.206 * * * [progress]: adding candidates to table
7.858 * * [progress]: iteration 4 / 4
7.859 * * * [progress]: picking best candidate
7.936 * * * * [pick]: Picked  #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))>
7.936 * * * [progress]: localizing error
7.958 * * * [progress]: generating rewritten candidates
7.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1)
7.962 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
7.964 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
7.970 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
7.997 * * * [progress]: generating series expansions
7.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1)
7.997 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
7.997 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
7.997 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
7.997 * [taylor]: Taking taylor expansion of (pow re 2) in im
7.997 * [taylor]: Taking taylor expansion of re in im
7.997 * [taylor]: Taking taylor expansion of (pow im 2) in im
7.997 * [taylor]: Taking taylor expansion of im in im
7.998 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
7.998 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
7.998 * [taylor]: Taking taylor expansion of (pow re 2) in re
7.998 * [taylor]: Taking taylor expansion of re in re
7.998 * [taylor]: Taking taylor expansion of (pow im 2) in re
7.998 * [taylor]: Taking taylor expansion of im in re
7.999 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
7.999 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
7.999 * [taylor]: Taking taylor expansion of (pow re 2) in re
7.999 * [taylor]: Taking taylor expansion of re in re
7.999 * [taylor]: Taking taylor expansion of (pow im 2) in re
7.999 * [taylor]: Taking taylor expansion of im in re
7.999 * [taylor]: Taking taylor expansion of im in im
7.999 * [taylor]: Taking taylor expansion of 0 in im
8.001 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
8.001 * [taylor]: Taking taylor expansion of 1/2 in im
8.001 * [taylor]: Taking taylor expansion of im in im
8.003 * [taylor]: Taking taylor expansion of 0 in im
8.004 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
8.004 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.004 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.004 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.004 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.004 * [taylor]: Taking taylor expansion of im in im
8.004 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.004 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.004 * [taylor]: Taking taylor expansion of re in im
8.006 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.007 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.007 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.007 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.007 * [taylor]: Taking taylor expansion of im in re
8.007 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.007 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.007 * [taylor]: Taking taylor expansion of re in re
8.009 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.009 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.009 * [taylor]: Taking taylor expansion of im in re
8.009 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.009 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.009 * [taylor]: Taking taylor expansion of re in re
8.012 * [taylor]: Taking taylor expansion of 1 in im
8.012 * [taylor]: Taking taylor expansion of 0 in im
8.014 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
8.014 * [taylor]: Taking taylor expansion of 1/2 in im
8.014 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.014 * [taylor]: Taking taylor expansion of im in im
8.018 * [taylor]: Taking taylor expansion of 0 in im
8.019 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
8.019 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.019 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.019 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.019 * [taylor]: Taking taylor expansion of im in im
8.020 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.020 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.020 * [taylor]: Taking taylor expansion of re in im
8.022 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.022 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.022 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.022 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.022 * [taylor]: Taking taylor expansion of im in re
8.022 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.022 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.022 * [taylor]: Taking taylor expansion of re in re
8.024 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.024 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.024 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.024 * [taylor]: Taking taylor expansion of im in re
8.025 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.025 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.025 * [taylor]: Taking taylor expansion of re in re
8.027 * [taylor]: Taking taylor expansion of 1 in im
8.027 * [taylor]: Taking taylor expansion of 0 in im
8.029 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
8.029 * [taylor]: Taking taylor expansion of 1/2 in im
8.029 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.029 * [taylor]: Taking taylor expansion of im in im
8.033 * [taylor]: Taking taylor expansion of 0 in im
8.035 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
8.035 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
8.035 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
8.035 * [taylor]: Taking taylor expansion of (log base) in base
8.035 * [taylor]: Taking taylor expansion of base in base
8.035 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
8.035 * [taylor]: Taking taylor expansion of (log base) in base
8.035 * [taylor]: Taking taylor expansion of base in base
8.081 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
8.082 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
8.082 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.082 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.082 * [taylor]: Taking taylor expansion of base in base
8.082 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
8.082 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.082 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.083 * [taylor]: Taking taylor expansion of base in base
8.128 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
8.128 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
8.128 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.128 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.128 * [taylor]: Taking taylor expansion of -1 in base
8.128 * [taylor]: Taking taylor expansion of base in base
8.129 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
8.129 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.130 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.130 * [taylor]: Taking taylor expansion of -1 in base
8.130 * [taylor]: Taking taylor expansion of base in base
8.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
8.188 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
8.188 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
8.188 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
8.188 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
8.188 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
8.188 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.188 * [taylor]: Taking taylor expansion of re in base
8.188 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.188 * [taylor]: Taking taylor expansion of im in base
8.189 * [taylor]: Taking taylor expansion of (log base) in base
8.189 * [taylor]: Taking taylor expansion of base in base
8.189 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
8.189 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
8.189 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
8.189 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
8.189 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.189 * [taylor]: Taking taylor expansion of re in im
8.189 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.189 * [taylor]: Taking taylor expansion of im in im
8.190 * [taylor]: Taking taylor expansion of (log base) in im
8.190 * [taylor]: Taking taylor expansion of base in im
8.190 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
8.190 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
8.190 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
8.190 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
8.190 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.190 * [taylor]: Taking taylor expansion of re in re
8.190 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.190 * [taylor]: Taking taylor expansion of im in re
8.190 * [taylor]: Taking taylor expansion of (log base) in re
8.190 * [taylor]: Taking taylor expansion of base in re
8.190 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
8.191 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
8.191 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
8.191 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
8.191 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.191 * [taylor]: Taking taylor expansion of re in re
8.191 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.191 * [taylor]: Taking taylor expansion of im in re
8.191 * [taylor]: Taking taylor expansion of (log base) in re
8.191 * [taylor]: Taking taylor expansion of base in re
8.191 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
8.191 * [taylor]: Taking taylor expansion of (log im) in im
8.191 * [taylor]: Taking taylor expansion of im in im
8.192 * [taylor]: Taking taylor expansion of (log base) in im
8.192 * [taylor]: Taking taylor expansion of base in im
8.192 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in base
8.192 * [taylor]: Taking taylor expansion of (log im) in base
8.192 * [taylor]: Taking taylor expansion of im in base
8.192 * [taylor]: Taking taylor expansion of (log base) in base
8.192 * [taylor]: Taking taylor expansion of base in base
8.194 * [taylor]: Taking taylor expansion of 0 in im
8.194 * [taylor]: Taking taylor expansion of 0 in base
8.195 * [taylor]: Taking taylor expansion of 0 in base
8.201 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
8.201 * [taylor]: Taking taylor expansion of 1/2 in im
8.201 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
8.201 * [taylor]: Taking taylor expansion of (log base) in im
8.201 * [taylor]: Taking taylor expansion of base in im
8.201 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.201 * [taylor]: Taking taylor expansion of im in im
8.205 * [taylor]: Taking taylor expansion of 0 in base
8.205 * [taylor]: Taking taylor expansion of 0 in base
8.209 * [taylor]: Taking taylor expansion of 0 in base
8.209 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
8.209 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
8.209 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.209 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.209 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.209 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.209 * [taylor]: Taking taylor expansion of im in base
8.209 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.209 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.209 * [taylor]: Taking taylor expansion of re in base
8.211 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.211 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.211 * [taylor]: Taking taylor expansion of base in base
8.212 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
8.212 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
8.212 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.212 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.212 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.212 * [taylor]: Taking taylor expansion of im in im
8.212 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.212 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.212 * [taylor]: Taking taylor expansion of re in im
8.215 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
8.215 * [taylor]: Taking taylor expansion of (/ 1 base) in im
8.215 * [taylor]: Taking taylor expansion of base in im
8.215 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
8.215 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.215 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.215 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.215 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.215 * [taylor]: Taking taylor expansion of im in re
8.215 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.215 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.215 * [taylor]: Taking taylor expansion of re in re
8.218 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
8.218 * [taylor]: Taking taylor expansion of (/ 1 base) in re
8.218 * [taylor]: Taking taylor expansion of base in re
8.218 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
8.218 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.218 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.218 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.218 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.218 * [taylor]: Taking taylor expansion of im in re
8.218 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.218 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.218 * [taylor]: Taking taylor expansion of re in re
8.221 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
8.221 * [taylor]: Taking taylor expansion of (/ 1 base) in re
8.221 * [taylor]: Taking taylor expansion of base in re
8.221 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in im
8.221 * [taylor]: Taking taylor expansion of -1 in im
8.221 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in im
8.221 * [taylor]: Taking taylor expansion of (log re) in im
8.221 * [taylor]: Taking taylor expansion of re in im
8.221 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
8.221 * [taylor]: Taking taylor expansion of (/ 1 base) in im
8.221 * [taylor]: Taking taylor expansion of base in im
8.222 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in base
8.222 * [taylor]: Taking taylor expansion of -1 in base
8.222 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in base
8.222 * [taylor]: Taking taylor expansion of (log re) in base
8.222 * [taylor]: Taking taylor expansion of re in base
8.222 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.222 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.222 * [taylor]: Taking taylor expansion of base in base
8.224 * [taylor]: Taking taylor expansion of 0 in im
8.224 * [taylor]: Taking taylor expansion of 0 in base
8.226 * [taylor]: Taking taylor expansion of 0 in base
8.239 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
8.239 * [taylor]: Taking taylor expansion of 1/2 in im
8.239 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
8.239 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
8.239 * [taylor]: Taking taylor expansion of (/ 1 base) in im
8.239 * [taylor]: Taking taylor expansion of base in im
8.239 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.239 * [taylor]: Taking taylor expansion of im in im
8.244 * [taylor]: Taking taylor expansion of 0 in base
8.244 * [taylor]: Taking taylor expansion of 0 in base
8.248 * [taylor]: Taking taylor expansion of 0 in base
8.248 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
8.248 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
8.248 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.248 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.248 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.248 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.248 * [taylor]: Taking taylor expansion of im in base
8.248 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.248 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.248 * [taylor]: Taking taylor expansion of re in base
8.250 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.250 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.250 * [taylor]: Taking taylor expansion of -1 in base
8.250 * [taylor]: Taking taylor expansion of base in base
8.250 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
8.250 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
8.250 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.250 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.250 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.250 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.250 * [taylor]: Taking taylor expansion of im in im
8.251 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.251 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.251 * [taylor]: Taking taylor expansion of re in im
8.253 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
8.253 * [taylor]: Taking taylor expansion of (/ -1 base) in im
8.253 * [taylor]: Taking taylor expansion of -1 in im
8.253 * [taylor]: Taking taylor expansion of base in im
8.253 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
8.253 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.253 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.253 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.253 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.253 * [taylor]: Taking taylor expansion of im in re
8.254 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.254 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.254 * [taylor]: Taking taylor expansion of re in re
8.256 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
8.256 * [taylor]: Taking taylor expansion of (/ -1 base) in re
8.256 * [taylor]: Taking taylor expansion of -1 in re
8.256 * [taylor]: Taking taylor expansion of base in re
8.257 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
8.257 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.257 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.257 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.257 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.257 * [taylor]: Taking taylor expansion of im in re
8.257 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.257 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.257 * [taylor]: Taking taylor expansion of re in re
8.260 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
8.260 * [taylor]: Taking taylor expansion of (/ -1 base) in re
8.260 * [taylor]: Taking taylor expansion of -1 in re
8.260 * [taylor]: Taking taylor expansion of base in re
8.261 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in im
8.261 * [taylor]: Taking taylor expansion of -1 in im
8.261 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in im
8.261 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
8.261 * [taylor]: Taking taylor expansion of (/ -1 base) in im
8.261 * [taylor]: Taking taylor expansion of -1 in im
8.261 * [taylor]: Taking taylor expansion of base in im
8.261 * [taylor]: Taking taylor expansion of (log re) in im
8.261 * [taylor]: Taking taylor expansion of re in im
8.261 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in base
8.261 * [taylor]: Taking taylor expansion of -1 in base
8.261 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in base
8.261 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.261 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.261 * [taylor]: Taking taylor expansion of -1 in base
8.261 * [taylor]: Taking taylor expansion of base in base
8.262 * [taylor]: Taking taylor expansion of (log re) in base
8.262 * [taylor]: Taking taylor expansion of re in base
8.265 * [taylor]: Taking taylor expansion of 0 in im
8.265 * [taylor]: Taking taylor expansion of 0 in base
8.266 * [taylor]: Taking taylor expansion of 0 in base
8.275 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
8.275 * [taylor]: Taking taylor expansion of 1/2 in im
8.275 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
8.275 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
8.275 * [taylor]: Taking taylor expansion of (/ -1 base) in im
8.275 * [taylor]: Taking taylor expansion of -1 in im
8.275 * [taylor]: Taking taylor expansion of base in im
8.275 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.275 * [taylor]: Taking taylor expansion of im in im
8.280 * [taylor]: Taking taylor expansion of 0 in base
8.280 * [taylor]: Taking taylor expansion of 0 in base
8.283 * [taylor]: Taking taylor expansion of 0 in base
8.284 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.284 * [approximate]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in (base re im) around 0
8.284 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in im
8.284 * [taylor]: Taking taylor expansion of (log base) in im
8.284 * [taylor]: Taking taylor expansion of base in im
8.284 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
8.285 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
8.285 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
8.285 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.285 * [taylor]: Taking taylor expansion of re in im
8.285 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.285 * [taylor]: Taking taylor expansion of im in im
8.285 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
8.285 * [taylor]: Taking taylor expansion of (log base) in re
8.285 * [taylor]: Taking taylor expansion of base in re
8.285 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
8.285 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
8.285 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
8.285 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.285 * [taylor]: Taking taylor expansion of re in re
8.285 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.285 * [taylor]: Taking taylor expansion of im in re
8.286 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in base
8.286 * [taylor]: Taking taylor expansion of (log base) in base
8.286 * [taylor]: Taking taylor expansion of base in base
8.286 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
8.286 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
8.286 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
8.286 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.286 * [taylor]: Taking taylor expansion of re in base
8.286 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.286 * [taylor]: Taking taylor expansion of im in base
8.288 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in base
8.288 * [taylor]: Taking taylor expansion of (log base) in base
8.288 * [taylor]: Taking taylor expansion of base in base
8.288 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
8.288 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
8.288 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
8.289 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.289 * [taylor]: Taking taylor expansion of re in base
8.289 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.289 * [taylor]: Taking taylor expansion of im in base
8.290 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in re
8.290 * [taylor]: Taking taylor expansion of (log base) in re
8.290 * [taylor]: Taking taylor expansion of base in re
8.290 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
8.290 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
8.290 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
8.290 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.290 * [taylor]: Taking taylor expansion of re in re
8.290 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.290 * [taylor]: Taking taylor expansion of im in re
8.291 * [taylor]: Taking taylor expansion of (/ (log base) (log im)) in im
8.291 * [taylor]: Taking taylor expansion of (log base) in im
8.291 * [taylor]: Taking taylor expansion of base in im
8.291 * [taylor]: Taking taylor expansion of (log im) in im
8.291 * [taylor]: Taking taylor expansion of im in im
8.294 * [taylor]: Taking taylor expansion of 0 in re
8.294 * [taylor]: Taking taylor expansion of 0 in im
8.295 * [taylor]: Taking taylor expansion of 0 in im
8.302 * [taylor]: Taking taylor expansion of 0 in re
8.302 * [taylor]: Taking taylor expansion of 0 in im
8.302 * [taylor]: Taking taylor expansion of 0 in im
8.306 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log base) (* (pow (log im) 2) (pow im 2))))) in im
8.306 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow (log im) 2) (pow im 2)))) in im
8.306 * [taylor]: Taking taylor expansion of 1/2 in im
8.306 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow (log im) 2) (pow im 2))) in im
8.306 * [taylor]: Taking taylor expansion of (log base) in im
8.306 * [taylor]: Taking taylor expansion of base in im
8.306 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im
8.306 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im
8.306 * [taylor]: Taking taylor expansion of (log im) in im
8.306 * [taylor]: Taking taylor expansion of im in im
8.307 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.307 * [taylor]: Taking taylor expansion of im in im
8.317 * [approximate]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (base re im) around 0
8.317 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
8.317 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
8.317 * [taylor]: Taking taylor expansion of (/ 1 base) in im
8.317 * [taylor]: Taking taylor expansion of base in im
8.317 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
8.317 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.317 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.317 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.318 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.318 * [taylor]: Taking taylor expansion of im in im
8.318 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.318 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.318 * [taylor]: Taking taylor expansion of re in im
8.321 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
8.321 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
8.321 * [taylor]: Taking taylor expansion of (/ 1 base) in re
8.321 * [taylor]: Taking taylor expansion of base in re
8.321 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.321 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.321 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.321 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.321 * [taylor]: Taking taylor expansion of im in re
8.321 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.321 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.321 * [taylor]: Taking taylor expansion of re in re
8.325 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base
8.325 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.325 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.325 * [taylor]: Taking taylor expansion of base in base
8.325 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.325 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.325 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.325 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.325 * [taylor]: Taking taylor expansion of im in base
8.326 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.326 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.326 * [taylor]: Taking taylor expansion of re in base
8.333 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base
8.333 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
8.333 * [taylor]: Taking taylor expansion of (/ 1 base) in base
8.333 * [taylor]: Taking taylor expansion of base in base
8.333 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.333 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.333 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.333 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.333 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.333 * [taylor]: Taking taylor expansion of im in base
8.334 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.334 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.334 * [taylor]: Taking taylor expansion of re in base
8.336 * [taylor]: Taking taylor expansion of (* -1 (/ (log base) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))) in re
8.336 * [taylor]: Taking taylor expansion of -1 in re
8.336 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
8.336 * [taylor]: Taking taylor expansion of (log base) in re
8.336 * [taylor]: Taking taylor expansion of base in re
8.336 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.336 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.336 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.336 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.336 * [taylor]: Taking taylor expansion of im in re
8.336 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.336 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.336 * [taylor]: Taking taylor expansion of re in re
8.340 * [taylor]: Taking taylor expansion of (/ (log base) (log re)) in im
8.340 * [taylor]: Taking taylor expansion of (log base) in im
8.340 * [taylor]: Taking taylor expansion of base in im
8.340 * [taylor]: Taking taylor expansion of (log re) in im
8.340 * [taylor]: Taking taylor expansion of re in im
8.342 * [taylor]: Taking taylor expansion of 0 in re
8.343 * [taylor]: Taking taylor expansion of 0 in im
8.345 * [taylor]: Taking taylor expansion of 0 in im
8.352 * [taylor]: Taking taylor expansion of 0 in re
8.352 * [taylor]: Taking taylor expansion of 0 in im
8.352 * [taylor]: Taking taylor expansion of 0 in im
8.359 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow im 2) (pow (log re) 2)))) in im
8.359 * [taylor]: Taking taylor expansion of 1/2 in im
8.359 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow im 2) (pow (log re) 2))) in im
8.359 * [taylor]: Taking taylor expansion of (log base) in im
8.359 * [taylor]: Taking taylor expansion of base in im
8.359 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
8.359 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.359 * [taylor]: Taking taylor expansion of im in im
8.359 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
8.359 * [taylor]: Taking taylor expansion of (log re) in im
8.359 * [taylor]: Taking taylor expansion of re in im
8.367 * [approximate]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (base re im) around 0
8.367 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
8.367 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
8.367 * [taylor]: Taking taylor expansion of (/ -1 base) in im
8.367 * [taylor]: Taking taylor expansion of -1 in im
8.367 * [taylor]: Taking taylor expansion of base in im
8.367 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
8.367 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
8.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
8.367 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
8.367 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.367 * [taylor]: Taking taylor expansion of im in im
8.368 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
8.368 * [taylor]: Taking taylor expansion of (pow re 2) in im
8.368 * [taylor]: Taking taylor expansion of re in im
8.371 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
8.371 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
8.371 * [taylor]: Taking taylor expansion of (/ -1 base) in re
8.371 * [taylor]: Taking taylor expansion of -1 in re
8.371 * [taylor]: Taking taylor expansion of base in re
8.371 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.371 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.371 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.371 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.371 * [taylor]: Taking taylor expansion of im in re
8.371 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.371 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.371 * [taylor]: Taking taylor expansion of re in re
8.375 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base
8.375 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.375 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.375 * [taylor]: Taking taylor expansion of -1 in base
8.375 * [taylor]: Taking taylor expansion of base in base
8.375 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.375 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.375 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.375 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.375 * [taylor]: Taking taylor expansion of im in base
8.376 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.376 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.376 * [taylor]: Taking taylor expansion of re in base
8.379 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base
8.379 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
8.379 * [taylor]: Taking taylor expansion of (/ -1 base) in base
8.379 * [taylor]: Taking taylor expansion of -1 in base
8.379 * [taylor]: Taking taylor expansion of base in base
8.379 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
8.379 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
8.379 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
8.379 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
8.379 * [taylor]: Taking taylor expansion of (pow im 2) in base
8.379 * [taylor]: Taking taylor expansion of im in base
8.379 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
8.379 * [taylor]: Taking taylor expansion of (pow re 2) in base
8.380 * [taylor]: Taking taylor expansion of re in base
8.382 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
8.382 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in re
8.382 * [taylor]: Taking taylor expansion of (log -1) in re
8.383 * [taylor]: Taking taylor expansion of -1 in re
8.383 * [taylor]: Taking taylor expansion of (log base) in re
8.383 * [taylor]: Taking taylor expansion of base in re
8.383 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
8.383 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
8.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
8.383 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
8.383 * [taylor]: Taking taylor expansion of (pow im 2) in re
8.383 * [taylor]: Taking taylor expansion of im in re
8.383 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
8.383 * [taylor]: Taking taylor expansion of (pow re 2) in re
8.383 * [taylor]: Taking taylor expansion of re in re
8.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log base)) (log re))) in im
8.387 * [taylor]: Taking taylor expansion of -1 in im
8.387 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (log re)) in im
8.387 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in im
8.387 * [taylor]: Taking taylor expansion of (log -1) in im
8.387 * [taylor]: Taking taylor expansion of -1 in im
8.387 * [taylor]: Taking taylor expansion of (log base) in im
8.387 * [taylor]: Taking taylor expansion of base in im
8.387 * [taylor]: Taking taylor expansion of (log re) in im
8.387 * [taylor]: Taking taylor expansion of re in im
8.392 * [taylor]: Taking taylor expansion of 0 in re
8.392 * [taylor]: Taking taylor expansion of 0 in im
8.396 * [taylor]: Taking taylor expansion of 0 in im
8.406 * [taylor]: Taking taylor expansion of 0 in re
8.406 * [taylor]: Taking taylor expansion of 0 in im
8.406 * [taylor]: Taking taylor expansion of 0 in im
8.413 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log base) (* (pow im 2) (pow (log re) 2)))) (* 1/2 (/ (log -1) (* (pow im 2) (pow (log re) 2))))) in im
8.413 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow im 2) (pow (log re) 2)))) in im
8.413 * [taylor]: Taking taylor expansion of 1/2 in im
8.413 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow im 2) (pow (log re) 2))) in im
8.413 * [taylor]: Taking taylor expansion of (log base) in im
8.413 * [taylor]: Taking taylor expansion of base in im
8.413 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
8.414 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.414 * [taylor]: Taking taylor expansion of im in im
8.414 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
8.414 * [taylor]: Taking taylor expansion of (log re) in im
8.414 * [taylor]: Taking taylor expansion of re in im
8.414 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log -1) (* (pow im 2) (pow (log re) 2)))) in im
8.414 * [taylor]: Taking taylor expansion of 1/2 in im
8.414 * [taylor]: Taking taylor expansion of (/ (log -1) (* (pow im 2) (pow (log re) 2))) in im
8.414 * [taylor]: Taking taylor expansion of (log -1) in im
8.414 * [taylor]: Taking taylor expansion of -1 in im
8.415 * [taylor]: Taking taylor expansion of (* (pow im 2) (pow (log re) 2)) in im
8.415 * [taylor]: Taking taylor expansion of (pow im 2) in im
8.415 * [taylor]: Taking taylor expansion of im in im
8.415 * [taylor]: Taking taylor expansion of (pow (log re) 2) in im
8.415 * [taylor]: Taking taylor expansion of (log re) in im
8.415 * [taylor]: Taking taylor expansion of re in im
8.437 * * * [progress]: simplifying candidates
8.438 * [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 base)) 2)
  (* (log (log base)) 2)
  (* 1 2)
  (pow (log base) (* (cbrt 2) (cbrt 2)))
  (pow (log base) (sqrt 2))
  (pow (log base) 1)
  (pow 1 2)
  (pow (log base) 2)
  (pow (* (cbrt (log base)) (cbrt (log base))) 2)
  (pow (cbrt (log base)) 2)
  (pow (sqrt (log base)) 2)
  (pow (sqrt (log base)) 2)
  (pow 1 2)
  (pow (log base) 2)
  (log (pow (log base) 2))
  (exp (pow (log base) 2))
  (* (cbrt (pow (log base) 2)) (cbrt (pow (log base) 2)))
  (cbrt (pow (log base) 2))
  (* (* (pow (log base) 2) (pow (log base) 2)) (pow (log base) 2))
  (sqrt (pow (log base) 2))
  (sqrt (pow (log base) 2))
  (pow (log base) (/ 2 2))
  (pow (log base) (/ 2 2))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (exp (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log base) (log base)) (log base)))
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (* (cbrt base) (cbrt base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (* (cbrt base) (cbrt base))) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (cbrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log 1) (log (sqrt (+ (* re re) (* im im)))))
  (* (log base) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base))))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (* (log (sqrt (+ (* re re) (* im im)))) 1)
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (- (log (+ (* 0.0 0.0) (pow (log base) 2))) (log (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (log (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (exp (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (* (* (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* 0.0 0.0) (pow (log base) 2))) (+ (* 0.0 0.0) (pow (log base) 2))) (* (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (* (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (* (* (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (sqrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (sqrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (- (+ (* 0.0 0.0) (pow (log base) 2)))
  (- (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) 1)
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) 1)
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ 1 (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ 1 (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ 1 1)
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ 1 (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) 1)
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3) (pow (* (atan2 im re) 0.0) 3)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (- (* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (* (* (atan2 im re) 0.0) (* (atan2 im re) 0.0))))
  (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (* 0.0 0.0) (* 0.0 0.0)) (- (* (pow (log base) 2) (pow (log base) 2)) (* (* 0.0 0.0) (pow (log base) 2)))))
  (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (- (* 0.0 0.0) (pow (log base) 2)))
  im
  re
  (* -1 re)
  (pow (log base) 2)
  (pow (log (/ 1 base)) 2)
  (pow (- (log -1) (log (/ -1 base))) 2)
  (* (log im) (log base))
  (* (log (/ 1 re)) (log (/ 1 base)))
  (* -1 (* (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
  (/ (log base) (log im))
  (/ (log (/ 1 base)) (log (/ 1 re)))
  (* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
8.445 * * [simplify]: iteration  0 :  194  enodes  (cost  2235 )
8.484 * * [simplify]: iteration  1 :  442  enodes  (cost  2127 )
8.614 * * [simplify]: iteration  2 :  1237  enodes  (cost  1939 )
9.245 * * [simplify]: iteration  3 :  4499  enodes  (cost  1910 )
10.477 * * [simplify]: iteration  done :  5000  enodes  (cost  1910 )
10.478 * [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 (+ (* im im) (* re re))) 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 (+ (* im im) (* re re)))
  (sqrt (+ (pow im 6) (pow re 6)))
  (sqrt (+ (pow im 4) (* (* re re) (- (* re re) (* im im)))))
  (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 (pow (log base) 2))
  (log (pow (log base) 2))
  2
  (pow (log base) (* (cbrt 2) (cbrt 2)))
  (pow (log base) (sqrt 2))
  (log base)
  1
  (pow (log base) 2)
  (pow (cbrt (log base)) 4)
  (pow (cbrt (log base)) 2)
  (log base)
  (log base)
  1
  (pow (log base) 2)
  (log (pow (log base) 2))
  (pow base (log base))
  (* (cbrt (pow (log base) 2)) (cbrt (pow (log base) 2)))
  (cbrt (pow (log base) 2))
  (pow (log base) 6)
  (fabs (log base))
  (fabs (log base))
  (log base)
  (log base)
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (log (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (sqrt (+ (* re re) (* im im))) (log base))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (* (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))) (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base))))
  (cbrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (sqrt (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (sqrt (log base)))
  (* (log (+ (* re re) (* im im))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log (cbrt base)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  (* (log (sqrt base)) (log (sqrt (+ (* re re) (* im im)))))
  0
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (pow (cbrt (log base)) 2))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (log (+ (* re re) (* im im))) (log base))
  (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (sqrt (log (sqrt (+ (* re re) (* im im))))) (log base))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (log (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (log (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (exp (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3)
  (* (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (cbrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3)
  (sqrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (sqrt (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (- (+ (* 0.0 0.0) (pow (log base) 2)))
  (- (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2)))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (* (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (cbrt (+ (* 0.0 0.0) (pow (log base) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (sqrt (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (sqrt (+ (* 0.0 0.0) (pow (log base) 2))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ 1 (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ 1 (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  1
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ 1 (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (* (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (+ (pow (log base) 2) (* 0.0 0.0))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (cbrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* 0.0 0.0) (pow (log base) 2))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* 0.0 0.0) (pow (log base) 2)))
  (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3) (pow (* (atan2 im re) 0.0) 3)))
  (/ (+ (pow (log base) 2) (* 0.0 0.0)) (- (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (pow (log base) 2)) (* (* (atan2 im re) 0.0) (* (atan2 im re) 0.0))))
  (* (+ (pow (log base) 4) (* (* 0.0 0.0) (- (* 0.0 0.0) (pow (log base) 2)))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (- (* 0.0 0.0) (pow (log base) 2)))
  im
  re
  (- re)
  (pow (log base) 2)
  (pow (log base) 2)
  (pow (+ (log base) 0) 2)
  (* (log im) (log base))
  (* (- (log re)) (- (log base)))
  (* (- (log base)) (log (/ -1 re)))
  (/ (log base) (log im))
  (/ (- (log base)) (- (log re)))
  (/ (- (log base)) (log (/ -1 re)))
10.479 * * * [progress]: adding candidates to table
10.911 * [progress]: [Phase 3 of 3] Extracting.
10.911 * * [regime]: Finding splitpoints for: (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
10.922 * * * [regime-changes]: Trying 4 branch expressions: ((log base) base im re)
10.922 * * * * [regimes]: Trying to branch on (log base) from (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.036 * * * * [regimes]: Trying to branch on (log base) from (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))>)
11.109 * * * * [regimes]: Trying to branch on base from (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.219 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.370 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.505 * * * [regime]: Found split indices: #<option (#s(si 19 41) #s(si 17 227) #s(si 9 255))>
11.506 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.665 * [regimes]: Found splitpoints: (#s(sp 19 re -9.507267753592183e+141) #s(sp 17 re 1.978996135853368e+145) #s(sp 9 re +nan.0)) , with alts (#<alt (λ (re im base) (/ 1 (/ (- (log base)) (log (/ -1 re)))))> #<alt (λ (re im base) (/ 1 (cbrt (pow (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (cbrt (pow (log base) 6))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (log base) (log im))))> #<alt (λ (re im base) (log (exp (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (+ (* 0.0 0.0) (pow (log base) 2))))))> #<alt (λ (re im base) (* (/ (+ (* (atan2 im re) 0.0) (* (log base) (log (sqrt (+ (* re re) (* im im)))))) (- (pow (log base) 4) (* (pow 0.0 3) 0.0))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (- (log re)) (- (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (* (cbrt (log base)) (cbrt (log base)))) (cbrt (log base))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log im) (log base)))> #<alt (λ (re im base) (/ (- (log re)) (- (log base))))> #<alt (λ (re im base) (/ (+ (* (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base))) (sqrt (log base))) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (log base))) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (+ (* 0.0 0.0) (pow (log base) 2)) (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)))))> #<alt (λ (re im base) (/ 1 (/ (- (log base)) (- (log re)))))> #<alt (λ (re im base) (/ (+ (cbrt (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))))>)
11.666 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= re -9.507267753592183e+141) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))) (if (<= re 1.978996135853368e+145) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))) (/ (- (log re)) (- (log base)))))
11.666 * * [simplify]: iteration  0 :  44  enodes  (cost  91 )
11.668 * * [simplify]: iteration  1 :  59  enodes  (cost  91 )
11.669 * * [simplify]: iteration  done :  59  enodes  (cost  91 )
11.669 * [simplify]: Simplified to:
   (if (<= re -9.507267753592183e+141) (/ (+ (* (log (- re)) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))) (if (<= re 1.978996135853368e+145) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (+ (* (log base) (* 2 (log (pow (/ 1 base) -1/3)))) (* (log base) (log (cbrt base)))) (* 0.0 0.0))) (/ (- (log re)) (- (log base)))))
14.728 * [regime-testing]: Baseline error score: 31.812141532235604
14.728 * [regime-testing]: Oracle error score: 7.226994956122681
14.730 * [regime-testing]: End program error score: 17.26288199265948