40.613 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.137 * * * [progress]: [2/2] Setting up program. 1.142 * [progress]: [Phase 2 of 3] Improving. 1.142 * [simplify]: Simplifying using # : (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 1.144 * * [simplify]: iteration 0 : 23 enodes (cost 16 ) 1.145 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 1.145 * [simplify]: Simplified to: (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 1.145 * * [progress]: iteration 1 / 4 1.145 * * * [progress]: picking best candidate 1.149 * * * * [pick]: Picked # 1.149 * * * [progress]: localizing error 1.167 * * * [progress]: generating rewritten candidates 1.167 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 1.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.193 * * * [progress]: generating series expansions 1.193 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 1.193 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.193 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.193 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.193 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.193 * [taylor]: Taking taylor expansion of re in im 1.193 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.193 * [taylor]: Taking taylor expansion of im in im 1.193 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.194 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.194 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.194 * [taylor]: Taking taylor expansion of re in re 1.194 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.194 * [taylor]: Taking taylor expansion of im in re 1.194 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.194 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.194 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.194 * [taylor]: Taking taylor expansion of re in re 1.194 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.194 * [taylor]: Taking taylor expansion of im in re 1.194 * [taylor]: Taking taylor expansion of im in im 1.194 * [taylor]: Taking taylor expansion of 0 in im 1.194 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.194 * [taylor]: Taking taylor expansion of 1/2 in im 1.194 * [taylor]: Taking taylor expansion of im in im 1.195 * [taylor]: Taking taylor expansion of 0 in im 1.195 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.195 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.195 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.195 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.195 * [taylor]: Taking taylor expansion of im in im 1.195 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.195 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.195 * [taylor]: Taking taylor expansion of re in im 1.195 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.195 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.195 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.195 * [taylor]: Taking taylor expansion of im in re 1.195 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.195 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.195 * [taylor]: Taking taylor expansion of re in re 1.195 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.196 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.196 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.196 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.196 * [taylor]: Taking taylor expansion of im in re 1.196 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.196 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.196 * [taylor]: Taking taylor expansion of re in re 1.196 * [taylor]: Taking taylor expansion of 1 in im 1.196 * [taylor]: Taking taylor expansion of 0 in im 1.196 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.196 * [taylor]: Taking taylor expansion of 1/2 in im 1.196 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.196 * [taylor]: Taking taylor expansion of im in im 1.197 * [taylor]: Taking taylor expansion of 0 in im 1.197 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.197 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.197 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.197 * [taylor]: Taking taylor expansion of im in im 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.197 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.197 * [taylor]: Taking taylor expansion of re in im 1.197 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.197 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.197 * [taylor]: Taking taylor expansion of im in re 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.197 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.197 * [taylor]: Taking taylor expansion of re in re 1.197 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.198 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.198 * [taylor]: Taking taylor expansion of im in re 1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.198 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.198 * [taylor]: Taking taylor expansion of re in re 1.198 * [taylor]: Taking taylor expansion of 1 in im 1.198 * [taylor]: Taking taylor expansion of 0 in im 1.198 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.198 * [taylor]: Taking taylor expansion of 1/2 in im 1.198 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.198 * [taylor]: Taking taylor expansion of im in im 1.199 * [taylor]: Taking taylor expansion of 0 in im 1.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.199 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 1.199 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.199 * [taylor]: Taking taylor expansion of (log base) in base 1.199 * [taylor]: Taking taylor expansion of base in base 1.199 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.199 * [taylor]: Taking taylor expansion of (log base) in base 1.199 * [taylor]: Taking taylor expansion of base in base 1.204 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 1.204 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.204 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.204 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.204 * [taylor]: Taking taylor expansion of base in base 1.204 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.204 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.204 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.204 * [taylor]: Taking taylor expansion of base in base 1.208 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 1.208 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.208 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.208 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.208 * [taylor]: Taking taylor expansion of -1 in base 1.208 * [taylor]: Taking taylor expansion of base in base 1.209 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.209 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.209 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.209 * [taylor]: Taking taylor expansion of -1 in base 1.209 * [taylor]: Taking taylor expansion of base in base 1.215 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.216 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 1.216 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 1.216 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 1.216 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 1.216 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 1.216 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.216 * [taylor]: Taking taylor expansion of re in base 1.216 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.216 * [taylor]: Taking taylor expansion of im in base 1.216 * [taylor]: Taking taylor expansion of (log base) in base 1.216 * [taylor]: Taking taylor expansion of base in base 1.216 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 1.216 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 1.216 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.216 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.216 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.216 * [taylor]: Taking taylor expansion of re in im 1.216 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.216 * [taylor]: Taking taylor expansion of im in im 1.217 * [taylor]: Taking taylor expansion of (log base) in im 1.217 * [taylor]: Taking taylor expansion of base in im 1.217 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.217 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.217 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.217 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.217 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.217 * [taylor]: Taking taylor expansion of re in re 1.217 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.217 * [taylor]: Taking taylor expansion of im in re 1.217 * [taylor]: Taking taylor expansion of (log base) in re 1.217 * [taylor]: Taking taylor expansion of base in re 1.217 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.217 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.217 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.217 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.217 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.217 * [taylor]: Taking taylor expansion of re in re 1.217 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.217 * [taylor]: Taking taylor expansion of im in re 1.217 * [taylor]: Taking taylor expansion of (log base) in re 1.217 * [taylor]: Taking taylor expansion of base in re 1.218 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im 1.218 * [taylor]: Taking taylor expansion of (log im) in im 1.218 * [taylor]: Taking taylor expansion of im in im 1.218 * [taylor]: Taking taylor expansion of (log base) in im 1.218 * [taylor]: Taking taylor expansion of base in im 1.218 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base 1.218 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base 1.218 * [taylor]: Taking taylor expansion of (log 1) in base 1.218 * [taylor]: Taking taylor expansion of 1 in base 1.218 * [taylor]: Taking taylor expansion of (log im) in base 1.218 * [taylor]: Taking taylor expansion of im in base 1.218 * [taylor]: Taking taylor expansion of (log base) in base 1.218 * [taylor]: Taking taylor expansion of base in base 1.218 * [taylor]: Taking taylor expansion of 0 in im 1.218 * [taylor]: Taking taylor expansion of 0 in base 1.219 * [taylor]: Taking taylor expansion of 0 in base 1.220 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im 1.220 * [taylor]: Taking taylor expansion of 1/2 in im 1.220 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im 1.220 * [taylor]: Taking taylor expansion of (log base) in im 1.220 * [taylor]: Taking taylor expansion of base in im 1.220 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.220 * [taylor]: Taking taylor expansion of im in im 1.220 * [taylor]: Taking taylor expansion of 0 in base 1.220 * [taylor]: Taking taylor expansion of 0 in base 1.221 * [taylor]: Taking taylor expansion of 0 in base 1.221 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0 1.221 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 1.221 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.221 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.221 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.221 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.221 * [taylor]: Taking taylor expansion of im in base 1.221 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.221 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.221 * [taylor]: Taking taylor expansion of re in base 1.222 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.222 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.222 * [taylor]: Taking taylor expansion of base in base 1.222 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 1.222 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.222 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.222 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.222 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.222 * [taylor]: Taking taylor expansion of im in im 1.222 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.222 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.222 * [taylor]: Taking taylor expansion of re in im 1.223 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.223 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.223 * [taylor]: Taking taylor expansion of base in im 1.223 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.223 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.223 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.223 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.223 * [taylor]: Taking taylor expansion of im in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.223 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.223 * [taylor]: Taking taylor expansion of re in re 1.223 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.223 * [taylor]: Taking taylor expansion of base in re 1.223 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.223 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.223 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.223 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.223 * [taylor]: Taking taylor expansion of im in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.223 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.223 * [taylor]: Taking taylor expansion of re in re 1.223 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.223 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.223 * [taylor]: Taking taylor expansion of base in re 1.224 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im 1.224 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.224 * [taylor]: Taking taylor expansion of (log 1) in im 1.224 * [taylor]: Taking taylor expansion of 1 in im 1.224 * [taylor]: Taking taylor expansion of (log re) in im 1.224 * [taylor]: Taking taylor expansion of re in im 1.224 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.224 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.224 * [taylor]: Taking taylor expansion of base in im 1.224 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base 1.224 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.224 * [taylor]: Taking taylor expansion of (log 1) in base 1.224 * [taylor]: Taking taylor expansion of 1 in base 1.224 * [taylor]: Taking taylor expansion of (log re) in base 1.224 * [taylor]: Taking taylor expansion of re in base 1.224 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.224 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.224 * [taylor]: Taking taylor expansion of base in base 1.225 * [taylor]: Taking taylor expansion of 0 in im 1.225 * [taylor]: Taking taylor expansion of 0 in base 1.225 * [taylor]: Taking taylor expansion of 0 in base 1.226 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im 1.227 * [taylor]: Taking taylor expansion of 1/2 in im 1.227 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im 1.227 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.227 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.227 * [taylor]: Taking taylor expansion of base in im 1.227 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.227 * [taylor]: Taking taylor expansion of im in im 1.227 * [taylor]: Taking taylor expansion of 0 in base 1.227 * [taylor]: Taking taylor expansion of 0 in base 1.228 * [taylor]: Taking taylor expansion of 0 in base 1.228 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0 1.228 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 1.228 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.228 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.228 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.228 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.228 * [taylor]: Taking taylor expansion of im in base 1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.229 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.229 * [taylor]: Taking taylor expansion of re in base 1.229 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.229 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.229 * [taylor]: Taking taylor expansion of -1 in base 1.229 * [taylor]: Taking taylor expansion of base in base 1.229 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 1.229 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.230 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.230 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.230 * [taylor]: Taking taylor expansion of im in im 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.230 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.230 * [taylor]: Taking taylor expansion of re in im 1.230 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.230 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.230 * [taylor]: Taking taylor expansion of -1 in im 1.230 * [taylor]: Taking taylor expansion of base in im 1.230 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.230 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.230 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.230 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.230 * [taylor]: Taking taylor expansion of im in re 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.230 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.230 * [taylor]: Taking taylor expansion of re in re 1.230 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.230 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.230 * [taylor]: Taking taylor expansion of -1 in re 1.230 * [taylor]: Taking taylor expansion of base in re 1.230 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.230 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.230 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.230 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.230 * [taylor]: Taking taylor expansion of im in re 1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.231 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.231 * [taylor]: Taking taylor expansion of re in re 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.231 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.231 * [taylor]: Taking taylor expansion of -1 in re 1.231 * [taylor]: Taking taylor expansion of base in re 1.231 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.231 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.231 * [taylor]: Taking taylor expansion of -1 in im 1.231 * [taylor]: Taking taylor expansion of base in im 1.231 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.231 * [taylor]: Taking taylor expansion of (log 1) in im 1.231 * [taylor]: Taking taylor expansion of 1 in im 1.231 * [taylor]: Taking taylor expansion of (log re) in im 1.231 * [taylor]: Taking taylor expansion of re in im 1.231 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.231 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.231 * [taylor]: Taking taylor expansion of -1 in base 1.231 * [taylor]: Taking taylor expansion of base in base 1.231 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.231 * [taylor]: Taking taylor expansion of (log 1) in base 1.231 * [taylor]: Taking taylor expansion of 1 in base 1.231 * [taylor]: Taking taylor expansion of (log re) in base 1.231 * [taylor]: Taking taylor expansion of re in base 1.232 * [taylor]: Taking taylor expansion of 0 in im 1.232 * [taylor]: Taking taylor expansion of 0 in base 1.232 * [taylor]: Taking taylor expansion of 0 in base 1.234 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im 1.234 * [taylor]: Taking taylor expansion of 1/2 in im 1.234 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im 1.234 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.234 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.234 * [taylor]: Taking taylor expansion of -1 in im 1.234 * [taylor]: Taking taylor expansion of base in im 1.234 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.234 * [taylor]: Taking taylor expansion of im in im 1.235 * [taylor]: Taking taylor expansion of 0 in base 1.235 * [taylor]: Taking taylor expansion of 0 in base 1.235 * [taylor]: Taking taylor expansion of 0 in base 1.236 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.236 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 1.236 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 1.236 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 1.236 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 1.236 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 1.236 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.236 * [taylor]: Taking taylor expansion of re in base 1.236 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.236 * [taylor]: Taking taylor expansion of im in base 1.236 * [taylor]: Taking taylor expansion of (log base) in base 1.237 * [taylor]: Taking taylor expansion of base in base 1.237 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 1.237 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 1.237 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.237 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.237 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.237 * [taylor]: Taking taylor expansion of re in im 1.237 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.237 * [taylor]: Taking taylor expansion of im in im 1.237 * [taylor]: Taking taylor expansion of (log base) in im 1.237 * [taylor]: Taking taylor expansion of base in im 1.237 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.237 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.237 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.237 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.237 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.237 * [taylor]: Taking taylor expansion of re in re 1.237 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.237 * [taylor]: Taking taylor expansion of im in re 1.237 * [taylor]: Taking taylor expansion of (log base) in re 1.238 * [taylor]: Taking taylor expansion of base in re 1.238 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.238 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.238 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.238 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.238 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.238 * [taylor]: Taking taylor expansion of re in re 1.238 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.238 * [taylor]: Taking taylor expansion of im in re 1.238 * [taylor]: Taking taylor expansion of (log base) in re 1.238 * [taylor]: Taking taylor expansion of base in re 1.238 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im 1.238 * [taylor]: Taking taylor expansion of (log im) in im 1.238 * [taylor]: Taking taylor expansion of im in im 1.238 * [taylor]: Taking taylor expansion of (log base) in im 1.238 * [taylor]: Taking taylor expansion of base in im 1.238 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log im)) (log base)) in base 1.238 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base 1.239 * [taylor]: Taking taylor expansion of (log 1) in base 1.239 * [taylor]: Taking taylor expansion of 1 in base 1.239 * [taylor]: Taking taylor expansion of (log im) in base 1.239 * [taylor]: Taking taylor expansion of im in base 1.239 * [taylor]: Taking taylor expansion of (log base) in base 1.239 * [taylor]: Taking taylor expansion of base in base 1.239 * [taylor]: Taking taylor expansion of 0 in im 1.239 * [taylor]: Taking taylor expansion of 0 in base 1.239 * [taylor]: Taking taylor expansion of 0 in base 1.241 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im 1.241 * [taylor]: Taking taylor expansion of 1/2 in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im 1.241 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im 1.241 * [taylor]: Taking taylor expansion of (log base) in im 1.241 * [taylor]: Taking taylor expansion of base in im 1.241 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.241 * [taylor]: Taking taylor expansion of im in im 1.241 * [taylor]: Taking taylor expansion of 0 in base 1.241 * [taylor]: Taking taylor expansion of 0 in base 1.242 * [taylor]: Taking taylor expansion of 0 in base 1.242 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0 1.242 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 1.242 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.242 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.242 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.242 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.242 * [taylor]: Taking taylor expansion of im in base 1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.243 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.243 * [taylor]: Taking taylor expansion of re in base 1.243 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.243 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.243 * [taylor]: Taking taylor expansion of base in base 1.244 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 1.244 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.244 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.244 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.244 * [taylor]: Taking taylor expansion of im in im 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.244 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.244 * [taylor]: Taking taylor expansion of re in im 1.244 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.244 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.244 * [taylor]: Taking taylor expansion of base in im 1.244 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.244 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.244 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.244 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.244 * [taylor]: Taking taylor expansion of im in re 1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.245 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.245 * [taylor]: Taking taylor expansion of re in re 1.245 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.245 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.245 * [taylor]: Taking taylor expansion of base in re 1.245 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.245 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.245 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.245 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.245 * [taylor]: Taking taylor expansion of im in re 1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.245 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.245 * [taylor]: Taking taylor expansion of re in re 1.245 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.245 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.245 * [taylor]: Taking taylor expansion of base in re 1.245 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ 1 base))) in im 1.245 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.246 * [taylor]: Taking taylor expansion of (log 1) in im 1.246 * [taylor]: Taking taylor expansion of 1 in im 1.246 * [taylor]: Taking taylor expansion of (log re) in im 1.246 * [taylor]: Taking taylor expansion of re in im 1.246 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.246 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.246 * [taylor]: Taking taylor expansion of base in im 1.246 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ 1 base))) in base 1.246 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.246 * [taylor]: Taking taylor expansion of (log 1) in base 1.246 * [taylor]: Taking taylor expansion of 1 in base 1.246 * [taylor]: Taking taylor expansion of (log re) in base 1.246 * [taylor]: Taking taylor expansion of re in base 1.246 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.246 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.246 * [taylor]: Taking taylor expansion of base in base 1.247 * [taylor]: Taking taylor expansion of 0 in im 1.247 * [taylor]: Taking taylor expansion of 0 in base 1.247 * [taylor]: Taking taylor expansion of 0 in base 1.249 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im 1.249 * [taylor]: Taking taylor expansion of 1/2 in im 1.249 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im 1.249 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im 1.249 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.249 * [taylor]: Taking taylor expansion of im in im 1.249 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.249 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.249 * [taylor]: Taking taylor expansion of base in im 1.250 * [taylor]: Taking taylor expansion of 0 in base 1.250 * [taylor]: Taking taylor expansion of 0 in base 1.251 * [taylor]: Taking taylor expansion of 0 in base 1.251 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0 1.251 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 1.251 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.251 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.251 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.251 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.251 * [taylor]: Taking taylor expansion of im in base 1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.251 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.251 * [taylor]: Taking taylor expansion of re in base 1.252 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.252 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.252 * [taylor]: Taking taylor expansion of -1 in base 1.252 * [taylor]: Taking taylor expansion of base in base 1.252 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 1.252 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.253 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.253 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.253 * [taylor]: Taking taylor expansion of im in im 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.253 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.253 * [taylor]: Taking taylor expansion of re in im 1.253 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.253 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.253 * [taylor]: Taking taylor expansion of -1 in im 1.253 * [taylor]: Taking taylor expansion of base in im 1.253 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.253 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.253 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.253 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.253 * [taylor]: Taking taylor expansion of im in re 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.253 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.253 * [taylor]: Taking taylor expansion of re in re 1.253 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.253 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.253 * [taylor]: Taking taylor expansion of -1 in re 1.253 * [taylor]: Taking taylor expansion of base in re 1.254 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.254 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.254 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.254 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.254 * [taylor]: Taking taylor expansion of im in re 1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.254 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.254 * [taylor]: Taking taylor expansion of re in re 1.254 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.254 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.254 * [taylor]: Taking taylor expansion of -1 in re 1.254 * [taylor]: Taking taylor expansion of base in re 1.254 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ -1 base))) in im 1.254 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.254 * [taylor]: Taking taylor expansion of (log 1) in im 1.254 * [taylor]: Taking taylor expansion of 1 in im 1.254 * [taylor]: Taking taylor expansion of (log re) in im 1.254 * [taylor]: Taking taylor expansion of re in im 1.254 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.254 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.254 * [taylor]: Taking taylor expansion of -1 in im 1.254 * [taylor]: Taking taylor expansion of base in im 1.255 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ -1 base))) in base 1.255 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.255 * [taylor]: Taking taylor expansion of (log 1) in base 1.255 * [taylor]: Taking taylor expansion of 1 in base 1.255 * [taylor]: Taking taylor expansion of (log re) in base 1.255 * [taylor]: Taking taylor expansion of re in base 1.255 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.255 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.255 * [taylor]: Taking taylor expansion of -1 in base 1.255 * [taylor]: Taking taylor expansion of base in base 1.255 * [taylor]: Taking taylor expansion of 0 in im 1.255 * [taylor]: Taking taylor expansion of 0 in base 1.256 * [taylor]: Taking taylor expansion of 0 in base 1.257 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im 1.257 * [taylor]: Taking taylor expansion of 1/2 in im 1.257 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im 1.258 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im 1.258 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.258 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.258 * [taylor]: Taking taylor expansion of -1 in im 1.258 * [taylor]: Taking taylor expansion of base in im 1.258 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.258 * [taylor]: Taking taylor expansion of im in im 1.259 * [taylor]: Taking taylor expansion of 0 in base 1.259 * [taylor]: Taking taylor expansion of 0 in base 1.259 * [taylor]: Taking taylor expansion of 0 in base 1.260 * * * [progress]: simplifying candidates 1.261 * [simplify]: Simplifying using # : (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)))) (neg (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (neg (+ (* (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 1) (log base)) 2) (pow (- (log 1) (log (/ 1 base))) 2) (pow (- (log -1) (log (/ -1 base))) 2) (* (+ (log 1) (log im)) (+ (log 1) (log base))) (* (- (log 1) (log (/ 1 base))) (- (log 1) (log (/ 1 re)))) (* (- (log -1) (log (/ -1 base))) (- (log 1) (log (/ -1 re)))) (/ (+ (log 1) (log im)) (+ (log 1) (log base))) (/ (- (log 1) (log (/ 1 re))) (- (log 1) (log (/ 1 base)))) (/ (- (log 1) (log (/ -1 re))) (- (log -1) (log (/ -1 base)))) 1.268 * * [simplify]: iteration 0 : 457 enodes (cost 1397 ) 1.276 * * [simplify]: iteration 1 : 1716 enodes (cost 1276 ) 1.310 * * [simplify]: iteration 2 : 5001 enodes (cost 1225 ) 1.316 * [simplify]: Simplified to: (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* 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)))) 2 (* (log base) (log base)) 2 (* 2 (log (log base))) (* 2 (log (log base))) (pow base (log base)) (pow (log base) 6) (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base)))) (cbrt (* (log base) (log base))) (pow (log base) 6) (fabs (log base)) (fabs (log base)) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (pow (cbrt (log base)) 4) (* (cbrt (log base)) (cbrt (log base))) (log base) (log base) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (log base) (log base) 2 (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (log base) (* (pow (cbrt (log base)) 4) (cbrt (log base))) (pow (sqrt (log base)) 3) (log base) (* (log base) (log base)) (pow (cbrt (log base)) 4) (pow (sqrt (log base)) 3) (* (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 (cbrt base)) (log (+ (* re re) (* im im)))) (* (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 (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (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 (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)) (log (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (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)))) (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 3) (* (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)))) (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 3) (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)))) (neg (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (neg (+ (* (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)))) (/ (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))) (/ (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 (/ (+ (* (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)) (/ (+ (* (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)) (+ (* (neg (pow 0.0 3)) 0.0) (* (pow (log base) 3) (log base)))) (* (+ (* (* (atan2 im re) 0.0) (- (* (atan2 im re) 0.0) (* (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 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))) im re (* -1 re) (* (log base) (log base)) (* (log base) (log base)) (* (log base) (log base)) (* (log base) (log im)) (* (log re) (log base)) (* (neg (log (/ -1 re))) (log base)) (/ (+ (log 1) (log im)) (+ (log 1) (log base))) (/ (log re) (+ 0 (log base))) (neg (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) 1.316 * * * [progress]: adding candidates to table 1.478 * * [progress]: iteration 2 / 4 1.478 * * * [progress]: picking best candidate 1.534 * * * * [pick]: Picked # 1.535 * * * [progress]: localizing error 1.557 * * * [progress]: generating rewritten candidates 1.557 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1) 1.561 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1) 1.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1.579 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.589 * * * [progress]: generating series expansions 1.589 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2 1) 1.589 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.589 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.589 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.589 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.589 * [taylor]: Taking taylor expansion of re in im 1.589 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.589 * [taylor]: Taking taylor expansion of im in im 1.589 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.589 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.589 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.589 * [taylor]: Taking taylor expansion of re in re 1.589 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.590 * [taylor]: Taking taylor expansion of im in re 1.590 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.590 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.590 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.590 * [taylor]: Taking taylor expansion of re in re 1.590 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.590 * [taylor]: Taking taylor expansion of im in re 1.590 * [taylor]: Taking taylor expansion of im in im 1.590 * [taylor]: Taking taylor expansion of 0 in im 1.590 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.590 * [taylor]: Taking taylor expansion of 1/2 in im 1.590 * [taylor]: Taking taylor expansion of im in im 1.591 * [taylor]: Taking taylor expansion of 0 in im 1.591 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.591 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.591 * [taylor]: Taking taylor expansion of im in im 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.591 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.591 * [taylor]: Taking taylor expansion of re in im 1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.591 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.591 * [taylor]: Taking taylor expansion of im in re 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.591 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.591 * [taylor]: Taking taylor expansion of re in re 1.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.591 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.591 * [taylor]: Taking taylor expansion of im in re 1.592 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.592 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.592 * [taylor]: Taking taylor expansion of re in re 1.592 * [taylor]: Taking taylor expansion of 1 in im 1.592 * [taylor]: Taking taylor expansion of 0 in im 1.592 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.592 * [taylor]: Taking taylor expansion of 1/2 in im 1.592 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.592 * [taylor]: Taking taylor expansion of im in im 1.592 * [taylor]: Taking taylor expansion of 0 in im 1.593 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.593 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.593 * [taylor]: Taking taylor expansion of im in im 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.593 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.593 * [taylor]: Taking taylor expansion of re in im 1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.593 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.593 * [taylor]: Taking taylor expansion of im in re 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.593 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.593 * [taylor]: Taking taylor expansion of re in re 1.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.593 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.593 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.593 * [taylor]: Taking taylor expansion of im in re 1.594 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.594 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.594 * [taylor]: Taking taylor expansion of re in re 1.594 * [taylor]: Taking taylor expansion of 1 in im 1.594 * [taylor]: Taking taylor expansion of 0 in im 1.594 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.594 * [taylor]: Taking taylor expansion of 1/2 in im 1.594 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.594 * [taylor]: Taking taylor expansion of im in im 1.595 * [taylor]: Taking taylor expansion of 0 in im 1.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1) 1.595 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.595 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.595 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.595 * [taylor]: Taking taylor expansion of re in im 1.595 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.595 * [taylor]: Taking taylor expansion of im in im 1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.595 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.595 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.595 * [taylor]: Taking taylor expansion of re in re 1.595 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.595 * [taylor]: Taking taylor expansion of im in re 1.595 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.595 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.595 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.595 * [taylor]: Taking taylor expansion of re in re 1.595 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.595 * [taylor]: Taking taylor expansion of im in re 1.596 * [taylor]: Taking taylor expansion of im in im 1.596 * [taylor]: Taking taylor expansion of 0 in im 1.596 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.596 * [taylor]: Taking taylor expansion of 1/2 in im 1.596 * [taylor]: Taking taylor expansion of im in im 1.596 * [taylor]: Taking taylor expansion of 0 in im 1.596 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.596 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.596 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.596 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.596 * [taylor]: Taking taylor expansion of im in im 1.596 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.597 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.597 * [taylor]: Taking taylor expansion of re in im 1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.597 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.597 * [taylor]: Taking taylor expansion of im in re 1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.597 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.597 * [taylor]: Taking taylor expansion of re in re 1.597 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.597 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.597 * [taylor]: Taking taylor expansion of im in re 1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.597 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.597 * [taylor]: Taking taylor expansion of re in re 1.597 * [taylor]: Taking taylor expansion of 1 in im 1.597 * [taylor]: Taking taylor expansion of 0 in im 1.598 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.598 * [taylor]: Taking taylor expansion of 1/2 in im 1.598 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.598 * [taylor]: Taking taylor expansion of im in im 1.598 * [taylor]: Taking taylor expansion of 0 in im 1.598 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.598 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.598 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.598 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.598 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.598 * [taylor]: Taking taylor expansion of im in im 1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.599 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.599 * [taylor]: Taking taylor expansion of re in im 1.599 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.599 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.599 * [taylor]: Taking taylor expansion of im in re 1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.599 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.599 * [taylor]: Taking taylor expansion of re in re 1.599 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.599 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.599 * [taylor]: Taking taylor expansion of im in re 1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.599 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.599 * [taylor]: Taking taylor expansion of re in re 1.599 * [taylor]: Taking taylor expansion of 1 in im 1.599 * [taylor]: Taking taylor expansion of 0 in im 1.600 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.600 * [taylor]: Taking taylor expansion of 1/2 in im 1.600 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.600 * [taylor]: Taking taylor expansion of im in im 1.600 * [taylor]: Taking taylor expansion of 0 in im 1.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 1.600 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.601 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.601 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.601 * [taylor]: Taking taylor expansion of re in im 1.601 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.601 * [taylor]: Taking taylor expansion of im in im 1.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.601 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.601 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.601 * [taylor]: Taking taylor expansion of re in re 1.601 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.601 * [taylor]: Taking taylor expansion of im in re 1.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.601 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.601 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.601 * [taylor]: Taking taylor expansion of re in re 1.601 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.601 * [taylor]: Taking taylor expansion of im in re 1.601 * [taylor]: Taking taylor expansion of im in im 1.601 * [taylor]: Taking taylor expansion of 0 in im 1.602 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.602 * [taylor]: Taking taylor expansion of 1/2 in im 1.602 * [taylor]: Taking taylor expansion of im in im 1.602 * [taylor]: Taking taylor expansion of 0 in im 1.602 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.602 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.602 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.602 * [taylor]: Taking taylor expansion of im in im 1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.602 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.602 * [taylor]: Taking taylor expansion of re in im 1.603 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.603 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.603 * [taylor]: Taking taylor expansion of im in re 1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.603 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.603 * [taylor]: Taking taylor expansion of re in re 1.603 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.603 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.603 * [taylor]: Taking taylor expansion of im in re 1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.603 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.603 * [taylor]: Taking taylor expansion of re in re 1.603 * [taylor]: Taking taylor expansion of 1 in im 1.603 * [taylor]: Taking taylor expansion of 0 in im 1.603 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.604 * [taylor]: Taking taylor expansion of 1/2 in im 1.604 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.604 * [taylor]: Taking taylor expansion of im in im 1.604 * [taylor]: Taking taylor expansion of 0 in im 1.604 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.604 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.604 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.604 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.604 * [taylor]: Taking taylor expansion of im in im 1.604 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.605 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.605 * [taylor]: Taking taylor expansion of re in im 1.605 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.605 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.605 * [taylor]: Taking taylor expansion of im in re 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.605 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.605 * [taylor]: Taking taylor expansion of re in re 1.605 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.605 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.605 * [taylor]: Taking taylor expansion of im in re 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.605 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.605 * [taylor]: Taking taylor expansion of re in re 1.605 * [taylor]: Taking taylor expansion of 1 in im 1.605 * [taylor]: Taking taylor expansion of 0 in im 1.606 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.606 * [taylor]: Taking taylor expansion of 1/2 in im 1.606 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.606 * [taylor]: Taking taylor expansion of im in im 1.606 * [taylor]: Taking taylor expansion of 0 in im 1.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.606 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 1.606 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.606 * [taylor]: Taking taylor expansion of (log base) in base 1.606 * [taylor]: Taking taylor expansion of base in base 1.607 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.607 * [taylor]: Taking taylor expansion of (log base) in base 1.607 * [taylor]: Taking taylor expansion of base in base 1.611 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 1.611 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.611 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.611 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.611 * [taylor]: Taking taylor expansion of base in base 1.611 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.611 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.611 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.611 * [taylor]: Taking taylor expansion of base in base 1.616 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 1.616 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.616 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.616 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.616 * [taylor]: Taking taylor expansion of -1 in base 1.616 * [taylor]: Taking taylor expansion of base in base 1.616 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.616 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.616 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.616 * [taylor]: Taking taylor expansion of -1 in base 1.616 * [taylor]: Taking taylor expansion of base in base 1.621 * * * [progress]: simplifying candidates 1.622 * [simplify]: Simplifying using # : (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 (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/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1/2 2) (/ 1/2 2)) (+ (/ 1/2 2) (/ (/ 1 2) 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ (/ 1 2) 2) (/ 1/2 2)) (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (+ (* re re) (* im im)) (+ (* re re) (* im im))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* (+ (* re re) (* im im)) (+ (* re re) (* im im))) (+ 1 1) (+ (log (sqrt (sqrt (+ (* re re) (* im im))))) (log (sqrt (sqrt (+ (* re re) (* im im)))))) (log (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (exp (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (cbrt (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (cbrt (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))))) (cbrt (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (sqrt (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))) (* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im))))) (* (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))) (* (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (* (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (sqrt (+ (* re re) (* im im))))))) (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))) (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (cbrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))) (sqrt (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (cbrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* 1 1) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* 2 1/2) (* 2 1) (* 2 (/ 1/2 2)) (* 2 (/ 1 2)) (* 2 (/ (/ 1 2) 2)) (* (sqrt (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (sqrt (+ (* re re) (* im im))))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt 1)) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) 1) (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* 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)) im re (* -1 re) im re (* -1 re) im re (* -1 re) (pow (+ (log 1) (log base)) 2) (pow (- (log 1) (log (/ 1 base))) 2) (pow (- (log -1) (log (/ -1 base))) 2) 1.633 * * [simplify]: iteration 0 : 301 enodes (cost 1061 ) 1.640 * * [simplify]: iteration 1 : 1141 enodes (cost 972 ) 1.667 * * [simplify]: iteration 2 : 5002 enodes (cost 934 ) 1.673 * [simplify]: Simplified to: (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* 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 (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* 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 2 1/2 1/2 1 1 1/2 1/2 (+ (* re re) (* im im)) (sqrt (+ (* re re) (* im im))) (pow (sqrt (+ (* re re) (* im im))) 4) (+ (* re re) (* im im)) (pow (sqrt (+ (* re re) (* im im))) 4) 2 (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (* (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) (+ (* re re) (* im im)) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (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 (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im))))) (* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (pow (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) 4) (* (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 2 1/2 1 1/2 (* (pow (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) 4) (cbrt (sqrt (sqrt (+ (* re re) (* im im)))))) (* (fabs (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (sqrt (+ (* re re) (* im im)))) (pow (cbrt (sqrt (sqrt (+ (* re re) (* im im))))) 4) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im))))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (+ (* re re) (* im im))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (+ (* re re) (* im im))) (pow (sqrt (sqrt (sqrt (+ (* re re) (* im im))))) 3) (sqrt (+ (* re re) (* im im))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) 2 (* (log base) (log base)) 2 (* 2 (log (log base))) (* 2 (log (log base))) (pow base (log base)) (pow (log base) 6) (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base)))) (cbrt (* (log base) (log base))) (pow (log base) 6) (fabs (log base)) (fabs (log base)) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (pow (cbrt (log base)) 4) (* (cbrt (log base)) (cbrt (log base))) (log base) (log base) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (log base) (log base) 2 (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (log base) (* (pow (cbrt (log base)) 4) (cbrt (log base))) (pow (sqrt (log base)) 3) (log base) (* (log base) (log base)) (pow (cbrt (log base)) 4) (pow (sqrt (log base)) 3) (* (log base) (log base)) im re (* -1 re) im re (* -1 re) im re (* -1 re) (* (log base) (log base)) (* (log base) (log base)) (* (log base) (log base)) 1.674 * * * [progress]: adding candidates to table 1.801 * * [progress]: iteration 3 / 4 1.801 * * * [progress]: picking best candidate 1.854 * * * * [pick]: Picked # 1.855 * * * [progress]: localizing error 1.877 * * * [progress]: generating rewritten candidates 1.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1) 1.881 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.885 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1.890 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.898 * * * [progress]: generating series expansions 1.899 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1) 1.899 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.899 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.899 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.899 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.899 * [taylor]: Taking taylor expansion of re in im 1.899 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.899 * [taylor]: Taking taylor expansion of im in im 1.899 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.899 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.899 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.899 * [taylor]: Taking taylor expansion of re in re 1.899 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.899 * [taylor]: Taking taylor expansion of im in re 1.899 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.899 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.899 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.899 * [taylor]: Taking taylor expansion of re in re 1.899 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.899 * [taylor]: Taking taylor expansion of im in re 1.900 * [taylor]: Taking taylor expansion of im in im 1.900 * [taylor]: Taking taylor expansion of 0 in im 1.900 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.900 * [taylor]: Taking taylor expansion of 1/2 in im 1.900 * [taylor]: Taking taylor expansion of im in im 1.900 * [taylor]: Taking taylor expansion of 0 in im 1.900 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.900 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.900 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.900 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.900 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.900 * [taylor]: Taking taylor expansion of im in im 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.901 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.901 * [taylor]: Taking taylor expansion of re in im 1.901 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.901 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.901 * [taylor]: Taking taylor expansion of im in re 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.901 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.901 * [taylor]: Taking taylor expansion of re in re 1.901 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.901 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.901 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.901 * [taylor]: Taking taylor expansion of im in re 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.901 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.901 * [taylor]: Taking taylor expansion of re in re 1.901 * [taylor]: Taking taylor expansion of 1 in im 1.901 * [taylor]: Taking taylor expansion of 0 in im 1.902 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.902 * [taylor]: Taking taylor expansion of 1/2 in im 1.902 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.902 * [taylor]: Taking taylor expansion of im in im 1.902 * [taylor]: Taking taylor expansion of 0 in im 1.902 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.902 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.902 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.902 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.903 * [taylor]: Taking taylor expansion of im in im 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.903 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.903 * [taylor]: Taking taylor expansion of re in im 1.903 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.903 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.903 * [taylor]: Taking taylor expansion of im in re 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.903 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.903 * [taylor]: Taking taylor expansion of re in re 1.903 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.903 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.903 * [taylor]: Taking taylor expansion of im in re 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.903 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.903 * [taylor]: Taking taylor expansion of re in re 1.903 * [taylor]: Taking taylor expansion of 1 in im 1.903 * [taylor]: Taking taylor expansion of 0 in im 1.904 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.904 * [taylor]: Taking taylor expansion of 1/2 in im 1.904 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.904 * [taylor]: Taking taylor expansion of im in im 1.904 * [taylor]: Taking taylor expansion of 0 in im 1.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.904 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 1.904 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.904 * [taylor]: Taking taylor expansion of (log base) in base 1.904 * [taylor]: Taking taylor expansion of base in base 1.905 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.905 * [taylor]: Taking taylor expansion of (log base) in base 1.905 * [taylor]: Taking taylor expansion of base in base 1.909 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 1.909 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.909 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.909 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.909 * [taylor]: Taking taylor expansion of base in base 1.909 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.909 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.909 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.909 * [taylor]: Taking taylor expansion of base in base 1.914 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 1.914 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.914 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.914 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.914 * [taylor]: Taking taylor expansion of -1 in base 1.914 * [taylor]: Taking taylor expansion of base in base 1.914 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.914 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.914 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.914 * [taylor]: Taking taylor expansion of -1 in base 1.914 * [taylor]: Taking taylor expansion of base in base 1.919 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 1.919 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 1.919 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.919 * [taylor]: Taking taylor expansion of (log base) in base 1.919 * [taylor]: Taking taylor expansion of base in base 1.919 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 1.919 * [taylor]: Taking taylor expansion of (log base) in base 1.919 * [taylor]: Taking taylor expansion of base in base 1.923 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 1.923 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.923 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.923 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.923 * [taylor]: Taking taylor expansion of base in base 1.923 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 1.923 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.923 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.923 * [taylor]: Taking taylor expansion of base in base 1.930 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 1.930 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.930 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.930 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.930 * [taylor]: Taking taylor expansion of -1 in base 1.930 * [taylor]: Taking taylor expansion of base in base 1.930 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 1.930 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.930 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.930 * [taylor]: Taking taylor expansion of -1 in base 1.930 * [taylor]: Taking taylor expansion of base in base 1.935 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1.935 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 1.935 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 1.935 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 1.935 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 1.935 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 1.935 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.935 * [taylor]: Taking taylor expansion of re in base 1.935 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.935 * [taylor]: Taking taylor expansion of im in base 1.936 * [taylor]: Taking taylor expansion of (log base) in base 1.936 * [taylor]: Taking taylor expansion of base in base 1.936 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 1.936 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 1.936 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.936 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.936 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.936 * [taylor]: Taking taylor expansion of re in im 1.936 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.936 * [taylor]: Taking taylor expansion of im in im 1.936 * [taylor]: Taking taylor expansion of (log base) in im 1.936 * [taylor]: Taking taylor expansion of base in im 1.936 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.936 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.936 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.936 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.936 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.936 * [taylor]: Taking taylor expansion of re in re 1.936 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.937 * [taylor]: Taking taylor expansion of im in re 1.937 * [taylor]: Taking taylor expansion of (log base) in re 1.937 * [taylor]: Taking taylor expansion of base in re 1.937 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.937 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.937 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.937 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.937 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.937 * [taylor]: Taking taylor expansion of re in re 1.937 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.937 * [taylor]: Taking taylor expansion of im in re 1.937 * [taylor]: Taking taylor expansion of (log base) in re 1.937 * [taylor]: Taking taylor expansion of base in re 1.937 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im 1.937 * [taylor]: Taking taylor expansion of (log im) in im 1.937 * [taylor]: Taking taylor expansion of im in im 1.937 * [taylor]: Taking taylor expansion of (log base) in im 1.937 * [taylor]: Taking taylor expansion of base in im 1.937 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base 1.937 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base 1.937 * [taylor]: Taking taylor expansion of (log 1) in base 1.937 * [taylor]: Taking taylor expansion of 1 in base 1.938 * [taylor]: Taking taylor expansion of (log im) in base 1.938 * [taylor]: Taking taylor expansion of im in base 1.938 * [taylor]: Taking taylor expansion of (log base) in base 1.938 * [taylor]: Taking taylor expansion of base in base 1.938 * [taylor]: Taking taylor expansion of 0 in im 1.938 * [taylor]: Taking taylor expansion of 0 in base 1.938 * [taylor]: Taking taylor expansion of 0 in base 1.939 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im 1.939 * [taylor]: Taking taylor expansion of 1/2 in im 1.939 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im 1.940 * [taylor]: Taking taylor expansion of (log base) in im 1.940 * [taylor]: Taking taylor expansion of base in im 1.940 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.940 * [taylor]: Taking taylor expansion of im in im 1.940 * [taylor]: Taking taylor expansion of 0 in base 1.940 * [taylor]: Taking taylor expansion of 0 in base 1.941 * [taylor]: Taking taylor expansion of 0 in base 1.941 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0 1.941 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 1.941 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.941 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.941 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.941 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.941 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.941 * [taylor]: Taking taylor expansion of im in base 1.941 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.941 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.941 * [taylor]: Taking taylor expansion of re in base 1.942 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.942 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.942 * [taylor]: Taking taylor expansion of base in base 1.942 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 1.942 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.942 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.942 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.942 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.942 * [taylor]: Taking taylor expansion of im in im 1.942 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.942 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.942 * [taylor]: Taking taylor expansion of re in im 1.942 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.942 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.942 * [taylor]: Taking taylor expansion of base in im 1.942 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.942 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.942 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.942 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.943 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.943 * [taylor]: Taking taylor expansion of im in re 1.943 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.943 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.943 * [taylor]: Taking taylor expansion of re in re 1.943 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.943 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.943 * [taylor]: Taking taylor expansion of base in re 1.943 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.943 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.943 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.943 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.943 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.943 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.943 * [taylor]: Taking taylor expansion of im in re 1.943 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.943 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.943 * [taylor]: Taking taylor expansion of re in re 1.943 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.943 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.943 * [taylor]: Taking taylor expansion of base in re 1.943 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im 1.943 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.943 * [taylor]: Taking taylor expansion of (log 1) in im 1.943 * [taylor]: Taking taylor expansion of 1 in im 1.944 * [taylor]: Taking taylor expansion of (log re) in im 1.944 * [taylor]: Taking taylor expansion of re in im 1.944 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.944 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.944 * [taylor]: Taking taylor expansion of base in im 1.944 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base 1.944 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.944 * [taylor]: Taking taylor expansion of (log 1) in base 1.944 * [taylor]: Taking taylor expansion of 1 in base 1.944 * [taylor]: Taking taylor expansion of (log re) in base 1.944 * [taylor]: Taking taylor expansion of re in base 1.944 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.944 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.944 * [taylor]: Taking taylor expansion of base in base 1.944 * [taylor]: Taking taylor expansion of 0 in im 1.945 * [taylor]: Taking taylor expansion of 0 in base 1.945 * [taylor]: Taking taylor expansion of 0 in base 1.946 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im 1.946 * [taylor]: Taking taylor expansion of 1/2 in im 1.946 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im 1.946 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.946 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.946 * [taylor]: Taking taylor expansion of base in im 1.946 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.946 * [taylor]: Taking taylor expansion of im in im 1.947 * [taylor]: Taking taylor expansion of 0 in base 1.947 * [taylor]: Taking taylor expansion of 0 in base 1.948 * [taylor]: Taking taylor expansion of 0 in base 1.948 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0 1.948 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 1.948 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.948 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.948 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.948 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.948 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.948 * [taylor]: Taking taylor expansion of im in base 1.948 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.948 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.948 * [taylor]: Taking taylor expansion of re in base 1.949 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.949 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.949 * [taylor]: Taking taylor expansion of -1 in base 1.949 * [taylor]: Taking taylor expansion of base in base 1.949 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 1.949 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.949 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.949 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.949 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.949 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.949 * [taylor]: Taking taylor expansion of im in im 1.949 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.950 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.950 * [taylor]: Taking taylor expansion of re in im 1.950 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.950 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.950 * [taylor]: Taking taylor expansion of -1 in im 1.950 * [taylor]: Taking taylor expansion of base in im 1.950 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.950 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.950 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.950 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.950 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.950 * [taylor]: Taking taylor expansion of im in re 1.950 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.950 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.950 * [taylor]: Taking taylor expansion of re in re 1.950 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.950 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.950 * [taylor]: Taking taylor expansion of -1 in re 1.950 * [taylor]: Taking taylor expansion of base in re 1.950 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.950 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.950 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.950 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.950 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.950 * [taylor]: Taking taylor expansion of im in re 1.951 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.951 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.951 * [taylor]: Taking taylor expansion of re in re 1.951 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.951 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.951 * [taylor]: Taking taylor expansion of -1 in re 1.951 * [taylor]: Taking taylor expansion of base in re 1.951 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im 1.951 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.951 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.951 * [taylor]: Taking taylor expansion of -1 in im 1.951 * [taylor]: Taking taylor expansion of base in im 1.951 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 1.951 * [taylor]: Taking taylor expansion of (log 1) in im 1.951 * [taylor]: Taking taylor expansion of 1 in im 1.951 * [taylor]: Taking taylor expansion of (log re) in im 1.951 * [taylor]: Taking taylor expansion of re in im 1.951 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base 1.951 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.951 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.951 * [taylor]: Taking taylor expansion of -1 in base 1.951 * [taylor]: Taking taylor expansion of base in base 1.951 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 1.951 * [taylor]: Taking taylor expansion of (log 1) in base 1.951 * [taylor]: Taking taylor expansion of 1 in base 1.951 * [taylor]: Taking taylor expansion of (log re) in base 1.951 * [taylor]: Taking taylor expansion of re in base 1.952 * [taylor]: Taking taylor expansion of 0 in im 1.952 * [taylor]: Taking taylor expansion of 0 in base 1.952 * [taylor]: Taking taylor expansion of 0 in base 1.954 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im 1.954 * [taylor]: Taking taylor expansion of 1/2 in im 1.954 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im 1.954 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.954 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.954 * [taylor]: Taking taylor expansion of -1 in im 1.954 * [taylor]: Taking taylor expansion of base in im 1.954 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.954 * [taylor]: Taking taylor expansion of im in im 1.955 * [taylor]: Taking taylor expansion of 0 in base 1.955 * [taylor]: Taking taylor expansion of 0 in base 1.956 * [taylor]: Taking taylor expansion of 0 in base 1.956 * * * [progress]: simplifying candidates 1.957 * [simplify]: Simplifying using # : (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)) (+ 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)) im re (* -1 re) (pow (+ (log 1) (log base)) 2) (pow (- (log 1) (log (/ 1 base))) 2) (pow (- (log -1) (log (/ -1 base))) 2) (pow (+ (log 1) (log base)) 2) (pow (- (log 1) (log (/ 1 base))) 2) (pow (- (log -1) (log (/ -1 base))) 2) (* (+ (log 1) (log im)) (+ (log 1) (log base))) (* (- (log 1) (log (/ 1 base))) (- (log 1) (log (/ 1 re)))) (* (- (log -1) (log (/ -1 base))) (- (log 1) (log (/ -1 re)))) 1.962 * * [simplify]: iteration 0 : 273 enodes (cost 768 ) 1.968 * * [simplify]: iteration 1 : 973 enodes (cost 677 ) 1.990 * * [simplify]: iteration 2 : 4633 enodes (cost 614 ) 2.101 * * [simplify]: iteration 3 : 5001 enodes (cost 580 ) 2.105 * [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)))) (pow (sqrt (+ (* re re) (* im im))) 1/2) (pow (sqrt (+ (* re re) (* im im))) 1/2) 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 (pow (sqrt (+ (* re re) (* im im))) 1/2) (pow (sqrt (+ (* re re) (* im im))) 1/2) 2 (pow (log base) 2) 2 (* 2 (log (log base))) (* 2 (log (log base))) (pow base (log base)) (pow (log base) 6) (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base)))) (cbrt (* (log base) (log base))) (pow (log base) 6) (fabs (log base)) (fabs (log base)) 1 (pow (log base) 2) 1 (pow (log base) 2) (pow (cbrt (log base)) 4) (* (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 base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (pow (log base) 2) (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (pow (log base) 2) (log base) (pow (cbrt (log base)) 5) (pow (log base) 3/2) (log base) (pow (log base) 2) (pow (cbrt (log base)) 4) (pow (log base) 3/2) (pow (log base) 2) 2 (pow (log base) 2) 2 (* 2 (log (log base))) (* 2 (log (log base))) (pow base (log base)) (pow (log base) 6) (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base)))) (cbrt (* (log base) (log base))) (pow (log base) 6) (fabs (log base)) (fabs (log base)) 1 (pow (log base) 2) 1 (pow (log base) 2) (pow (cbrt (log base)) 4) (* (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 base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (pow (log base) 2) (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (pow (log base) 2) (log base) (pow (cbrt (log base)) 5) (pow (log base) 3/2) (log base) (pow (log base) 2) (pow (cbrt (log base)) 4) (pow (log base) 3/2) (pow (log base) 2) (* (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)))) (* (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 (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (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 (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 (* -1 re) (pow (log base) 2) (pow (log base) 2) (pow (log base) 2) (pow (log base) 2) (pow (log base) 2) (pow (log base) 2) (* (log base) (log im)) (* (log re) (log base)) (* (neg (log (/ -1 re))) (log base)) 2.105 * * * [progress]: adding candidates to table 2.253 * * [progress]: iteration 4 / 4 2.253 * * * [progress]: picking best candidate 2.320 * * * * [pick]: Picked # 2.320 * * * [progress]: localizing error 2.339 * * * [progress]: generating rewritten candidates 2.340 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1) 2.343 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 2.348 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 2.353 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.365 * * * [progress]: generating series expansions 2.365 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1) 2.365 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 2.365 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 2.365 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 2.365 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.365 * [taylor]: Taking taylor expansion of re in im 2.365 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.365 * [taylor]: Taking taylor expansion of im in im 2.365 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.365 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.366 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.366 * [taylor]: Taking taylor expansion of re in re 2.366 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.366 * [taylor]: Taking taylor expansion of im in re 2.366 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.366 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.366 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.366 * [taylor]: Taking taylor expansion of re in re 2.366 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.366 * [taylor]: Taking taylor expansion of im in re 2.366 * [taylor]: Taking taylor expansion of im in im 2.366 * [taylor]: Taking taylor expansion of 0 in im 2.366 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 2.366 * [taylor]: Taking taylor expansion of 1/2 in im 2.366 * [taylor]: Taking taylor expansion of im in im 2.367 * [taylor]: Taking taylor expansion of 0 in im 2.367 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 2.367 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.367 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.367 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.367 * [taylor]: Taking taylor expansion of im in im 2.367 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.367 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.367 * [taylor]: Taking taylor expansion of re in im 2.367 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.367 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.367 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.367 * [taylor]: Taking taylor expansion of im in re 2.367 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.367 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.367 * [taylor]: Taking taylor expansion of re in re 2.367 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.367 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.367 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.367 * [taylor]: Taking taylor expansion of im in re 2.368 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.368 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.368 * [taylor]: Taking taylor expansion of re in re 2.368 * [taylor]: Taking taylor expansion of 1 in im 2.368 * [taylor]: Taking taylor expansion of 0 in im 2.368 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 2.368 * [taylor]: Taking taylor expansion of 1/2 in im 2.368 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.368 * [taylor]: Taking taylor expansion of im in im 2.369 * [taylor]: Taking taylor expansion of 0 in im 2.369 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 2.369 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.369 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.369 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.369 * [taylor]: Taking taylor expansion of im in im 2.369 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.369 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.369 * [taylor]: Taking taylor expansion of re in im 2.369 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.369 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.369 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.369 * [taylor]: Taking taylor expansion of im in re 2.369 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.369 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.369 * [taylor]: Taking taylor expansion of re in re 2.370 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.370 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.370 * [taylor]: Taking taylor expansion of im in re 2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.370 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.370 * [taylor]: Taking taylor expansion of re in re 2.370 * [taylor]: Taking taylor expansion of 1 in im 2.370 * [taylor]: Taking taylor expansion of 0 in im 2.370 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 2.370 * [taylor]: Taking taylor expansion of 1/2 in im 2.370 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.370 * [taylor]: Taking taylor expansion of im in im 2.371 * [taylor]: Taking taylor expansion of 0 in im 2.371 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 2.371 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 2.371 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 2.371 * [taylor]: Taking taylor expansion of (log base) in base 2.371 * [taylor]: Taking taylor expansion of base in base 2.371 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 2.371 * [taylor]: Taking taylor expansion of (log base) in base 2.371 * [taylor]: Taking taylor expansion of base in base 2.375 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 2.375 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 2.375 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.375 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.375 * [taylor]: Taking taylor expansion of base in base 2.375 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 2.375 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.375 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.375 * [taylor]: Taking taylor expansion of base in base 2.380 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 2.380 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 2.380 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.380 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.380 * [taylor]: Taking taylor expansion of -1 in base 2.380 * [taylor]: Taking taylor expansion of base in base 2.380 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 2.380 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.380 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.380 * [taylor]: Taking taylor expansion of -1 in base 2.380 * [taylor]: Taking taylor expansion of base in base 2.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 2.385 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 2.385 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 2.385 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 2.385 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 2.385 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 2.385 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.385 * [taylor]: Taking taylor expansion of re in base 2.385 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.385 * [taylor]: Taking taylor expansion of im in base 2.386 * [taylor]: Taking taylor expansion of (log base) in base 2.386 * [taylor]: Taking taylor expansion of base in base 2.386 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 2.386 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 2.386 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 2.386 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 2.386 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.386 * [taylor]: Taking taylor expansion of re in im 2.386 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.386 * [taylor]: Taking taylor expansion of im in im 2.386 * [taylor]: Taking taylor expansion of (log base) in im 2.386 * [taylor]: Taking taylor expansion of base in im 2.386 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 2.386 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 2.386 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.386 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.386 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.386 * [taylor]: Taking taylor expansion of re in re 2.386 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.386 * [taylor]: Taking taylor expansion of im in re 2.387 * [taylor]: Taking taylor expansion of (log base) in re 2.387 * [taylor]: Taking taylor expansion of base in re 2.387 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 2.387 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 2.387 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.387 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.387 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.387 * [taylor]: Taking taylor expansion of re in re 2.387 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.387 * [taylor]: Taking taylor expansion of im in re 2.387 * [taylor]: Taking taylor expansion of (log base) in re 2.387 * [taylor]: Taking taylor expansion of base in re 2.387 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im 2.387 * [taylor]: Taking taylor expansion of (log im) in im 2.387 * [taylor]: Taking taylor expansion of im in im 2.387 * [taylor]: Taking taylor expansion of (log base) in im 2.387 * [taylor]: Taking taylor expansion of base in im 2.387 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base 2.387 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base 2.387 * [taylor]: Taking taylor expansion of (log 1) in base 2.387 * [taylor]: Taking taylor expansion of 1 in base 2.387 * [taylor]: Taking taylor expansion of (log im) in base 2.387 * [taylor]: Taking taylor expansion of im in base 2.387 * [taylor]: Taking taylor expansion of (log base) in base 2.387 * [taylor]: Taking taylor expansion of base in base 2.388 * [taylor]: Taking taylor expansion of 0 in im 2.388 * [taylor]: Taking taylor expansion of 0 in base 2.388 * [taylor]: Taking taylor expansion of 0 in base 2.389 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im 2.389 * [taylor]: Taking taylor expansion of 1/2 in im 2.389 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im 2.389 * [taylor]: Taking taylor expansion of (log base) in im 2.389 * [taylor]: Taking taylor expansion of base in im 2.389 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.389 * [taylor]: Taking taylor expansion of im in im 2.390 * [taylor]: Taking taylor expansion of 0 in base 2.390 * [taylor]: Taking taylor expansion of 0 in base 2.392 * [taylor]: Taking taylor expansion of 0 in base 2.393 * [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.393 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 2.393 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.393 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.393 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.393 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.393 * [taylor]: Taking taylor expansion of im in base 2.393 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.393 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.393 * [taylor]: Taking taylor expansion of re in base 2.394 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.394 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.394 * [taylor]: Taking taylor expansion of base in base 2.394 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 2.394 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 2.394 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.394 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.394 * [taylor]: Taking taylor expansion of im in im 2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.394 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.394 * [taylor]: Taking taylor expansion of re in im 2.394 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 2.394 * [taylor]: Taking taylor expansion of (/ 1 base) in im 2.394 * [taylor]: Taking taylor expansion of base in im 2.394 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 2.394 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.394 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.394 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.394 * [taylor]: Taking taylor expansion of im in re 2.394 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.394 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.394 * [taylor]: Taking taylor expansion of re in re 2.395 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 2.395 * [taylor]: Taking taylor expansion of (/ 1 base) in re 2.395 * [taylor]: Taking taylor expansion of base in re 2.395 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 2.395 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.395 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.395 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.395 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.395 * [taylor]: Taking taylor expansion of im in re 2.395 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.395 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.395 * [taylor]: Taking taylor expansion of re in re 2.395 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 2.395 * [taylor]: Taking taylor expansion of (/ 1 base) in re 2.395 * [taylor]: Taking taylor expansion of base in re 2.395 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im 2.395 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.395 * [taylor]: Taking taylor expansion of (log 1) in im 2.395 * [taylor]: Taking taylor expansion of 1 in im 2.395 * [taylor]: Taking taylor expansion of (log re) in im 2.395 * [taylor]: Taking taylor expansion of re in im 2.395 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 2.395 * [taylor]: Taking taylor expansion of (/ 1 base) in im 2.395 * [taylor]: Taking taylor expansion of base in im 2.396 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base 2.396 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 2.396 * [taylor]: Taking taylor expansion of (log 1) in base 2.396 * [taylor]: Taking taylor expansion of 1 in base 2.396 * [taylor]: Taking taylor expansion of (log re) in base 2.396 * [taylor]: Taking taylor expansion of re in base 2.396 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.396 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.396 * [taylor]: Taking taylor expansion of base in base 2.396 * [taylor]: Taking taylor expansion of 0 in im 2.396 * [taylor]: Taking taylor expansion of 0 in base 2.397 * [taylor]: Taking taylor expansion of 0 in base 2.398 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im 2.398 * [taylor]: Taking taylor expansion of 1/2 in im 2.398 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im 2.398 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 2.398 * [taylor]: Taking taylor expansion of (/ 1 base) in im 2.398 * [taylor]: Taking taylor expansion of base in im 2.398 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.398 * [taylor]: Taking taylor expansion of im in im 2.399 * [taylor]: Taking taylor expansion of 0 in base 2.399 * [taylor]: Taking taylor expansion of 0 in base 2.400 * [taylor]: Taking taylor expansion of 0 in base 2.400 * [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.400 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 2.400 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.400 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.400 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.400 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.400 * [taylor]: Taking taylor expansion of im in base 2.400 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.400 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.400 * [taylor]: Taking taylor expansion of re in base 2.401 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.401 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.401 * [taylor]: Taking taylor expansion of -1 in base 2.401 * [taylor]: Taking taylor expansion of base in base 2.401 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 2.401 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 2.401 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.401 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.401 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.401 * [taylor]: Taking taylor expansion of im in im 2.401 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.401 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.401 * [taylor]: Taking taylor expansion of re in im 2.402 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 2.402 * [taylor]: Taking taylor expansion of (/ -1 base) in im 2.402 * [taylor]: Taking taylor expansion of -1 in im 2.402 * [taylor]: Taking taylor expansion of base in im 2.402 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 2.402 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.402 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.402 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.402 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.402 * [taylor]: Taking taylor expansion of im in re 2.402 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.402 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.402 * [taylor]: Taking taylor expansion of re in re 2.402 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 2.402 * [taylor]: Taking taylor expansion of (/ -1 base) in re 2.402 * [taylor]: Taking taylor expansion of -1 in re 2.402 * [taylor]: Taking taylor expansion of base in re 2.402 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 2.402 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.402 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.402 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.402 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.402 * [taylor]: Taking taylor expansion of im in re 2.402 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.402 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.402 * [taylor]: Taking taylor expansion of re in re 2.402 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 2.402 * [taylor]: Taking taylor expansion of (/ -1 base) in re 2.402 * [taylor]: Taking taylor expansion of -1 in re 2.402 * [taylor]: Taking taylor expansion of base in re 2.403 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im 2.403 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 2.403 * [taylor]: Taking taylor expansion of (/ -1 base) in im 2.403 * [taylor]: Taking taylor expansion of -1 in im 2.403 * [taylor]: Taking taylor expansion of base in im 2.403 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.403 * [taylor]: Taking taylor expansion of (log 1) in im 2.403 * [taylor]: Taking taylor expansion of 1 in im 2.403 * [taylor]: Taking taylor expansion of (log re) in im 2.403 * [taylor]: Taking taylor expansion of re in im 2.403 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base 2.403 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.403 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.403 * [taylor]: Taking taylor expansion of -1 in base 2.403 * [taylor]: Taking taylor expansion of base in base 2.403 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base 2.403 * [taylor]: Taking taylor expansion of (log 1) in base 2.403 * [taylor]: Taking taylor expansion of 1 in base 2.403 * [taylor]: Taking taylor expansion of (log re) in base 2.403 * [taylor]: Taking taylor expansion of re in base 2.404 * [taylor]: Taking taylor expansion of 0 in im 2.404 * [taylor]: Taking taylor expansion of 0 in base 2.404 * [taylor]: Taking taylor expansion of 0 in base 2.406 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im 2.406 * [taylor]: Taking taylor expansion of 1/2 in im 2.406 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im 2.406 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 2.406 * [taylor]: Taking taylor expansion of (/ -1 base) in im 2.406 * [taylor]: Taking taylor expansion of -1 in im 2.406 * [taylor]: Taking taylor expansion of base in im 2.406 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.406 * [taylor]: Taking taylor expansion of im in im 2.407 * [taylor]: Taking taylor expansion of 0 in base 2.407 * [taylor]: Taking taylor expansion of 0 in base 2.407 * [taylor]: Taking taylor expansion of 0 in base 2.407 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 2.408 * [approximate]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in (base re im) around 0 2.408 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in im 2.408 * [taylor]: Taking taylor expansion of (log base) in im 2.408 * [taylor]: Taking taylor expansion of base in im 2.408 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 2.408 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 2.408 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 2.408 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.408 * [taylor]: Taking taylor expansion of re in im 2.408 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.408 * [taylor]: Taking taylor expansion of im in im 2.408 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in re 2.408 * [taylor]: Taking taylor expansion of (log base) in re 2.408 * [taylor]: Taking taylor expansion of base in re 2.408 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 2.408 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.408 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.408 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.408 * [taylor]: Taking taylor expansion of re in re 2.408 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.408 * [taylor]: Taking taylor expansion of im in re 2.409 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in base 2.409 * [taylor]: Taking taylor expansion of (log base) in base 2.409 * [taylor]: Taking taylor expansion of base in base 2.409 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 2.409 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 2.409 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 2.409 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.409 * [taylor]: Taking taylor expansion of re in base 2.409 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.409 * [taylor]: Taking taylor expansion of im in base 2.409 * [taylor]: Taking taylor expansion of (/ (log base) (log (sqrt (+ (pow re 2) (pow im 2))))) in base 2.409 * [taylor]: Taking taylor expansion of (log base) in base 2.410 * [taylor]: Taking taylor expansion of base in base 2.410 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 2.410 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 2.410 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 2.410 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.410 * [taylor]: Taking taylor expansion of re in base 2.410 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.410 * [taylor]: Taking taylor expansion of im in base 2.410 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log base)) (log (sqrt (+ (pow re 2) (pow im 2))))) in re 2.410 * [taylor]: Taking taylor expansion of (+ (log 1) (log base)) in re 2.410 * [taylor]: Taking taylor expansion of (log 1) in re 2.410 * [taylor]: Taking taylor expansion of 1 in re 2.410 * [taylor]: Taking taylor expansion of (log base) in re 2.410 * [taylor]: Taking taylor expansion of base in re 2.411 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 2.411 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 2.411 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 2.411 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.411 * [taylor]: Taking taylor expansion of re in re 2.411 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.411 * [taylor]: Taking taylor expansion of im in re 2.411 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log base)) (log im)) in im 2.411 * [taylor]: Taking taylor expansion of (+ (log 1) (log base)) in im 2.411 * [taylor]: Taking taylor expansion of (log 1) in im 2.411 * [taylor]: Taking taylor expansion of 1 in im 2.411 * [taylor]: Taking taylor expansion of (log base) in im 2.411 * [taylor]: Taking taylor expansion of base in im 2.411 * [taylor]: Taking taylor expansion of (log im) in im 2.411 * [taylor]: Taking taylor expansion of im in im 2.412 * [taylor]: Taking taylor expansion of 0 in re 2.412 * [taylor]: Taking taylor expansion of 0 in im 2.413 * [taylor]: Taking taylor expansion of 0 in im 2.414 * [taylor]: Taking taylor expansion of 0 in re 2.414 * [taylor]: Taking taylor expansion of 0 in im 2.414 * [taylor]: Taking taylor expansion of 0 in im 2.415 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ (log 1) (* (pow (log im) 2) (pow im 2)))) (* 1/2 (/ (log base) (* (pow (log im) 2) (pow im 2)))))) in im 2.415 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (log 1) (* (pow (log im) 2) (pow im 2)))) (* 1/2 (/ (log base) (* (pow (log im) 2) (pow im 2))))) in im 2.416 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 1) (* (pow (log im) 2) (pow im 2)))) in im 2.416 * [taylor]: Taking taylor expansion of 1/2 in im 2.416 * [taylor]: Taking taylor expansion of (/ (log 1) (* (pow (log im) 2) (pow im 2))) in im 2.416 * [taylor]: Taking taylor expansion of (log 1) in im 2.416 * [taylor]: Taking taylor expansion of 1 in im 2.416 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im 2.416 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im 2.416 * [taylor]: Taking taylor expansion of (log im) in im 2.416 * [taylor]: Taking taylor expansion of im in im 2.416 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.416 * [taylor]: Taking taylor expansion of im in im 2.416 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow (log im) 2) (pow im 2)))) in im 2.416 * [taylor]: Taking taylor expansion of 1/2 in im 2.416 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow (log im) 2) (pow im 2))) in im 2.416 * [taylor]: Taking taylor expansion of (log base) in im 2.416 * [taylor]: Taking taylor expansion of base in im 2.416 * [taylor]: Taking taylor expansion of (* (pow (log im) 2) (pow im 2)) in im 2.416 * [taylor]: Taking taylor expansion of (pow (log im) 2) in im 2.416 * [taylor]: Taking taylor expansion of (log im) in im 2.416 * [taylor]: Taking taylor expansion of im in im 2.416 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.416 * [taylor]: Taking taylor expansion of im in im 2.420 * [approximate]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (base re im) around 0 2.420 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 2.420 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 2.420 * [taylor]: Taking taylor expansion of (/ 1 base) in im 2.420 * [taylor]: Taking taylor expansion of base in im 2.420 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 2.420 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.420 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.420 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.420 * [taylor]: Taking taylor expansion of im in im 2.420 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.420 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.420 * [taylor]: Taking taylor expansion of re in im 2.421 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 2.421 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 2.421 * [taylor]: Taking taylor expansion of (/ 1 base) in re 2.421 * [taylor]: Taking taylor expansion of base in re 2.421 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.421 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.421 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.421 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.421 * [taylor]: Taking taylor expansion of im in re 2.421 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.421 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.421 * [taylor]: Taking taylor expansion of re in re 2.421 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base 2.421 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.421 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.421 * [taylor]: Taking taylor expansion of base in base 2.421 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.421 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.422 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.422 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.422 * [taylor]: Taking taylor expansion of im in base 2.422 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.422 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.422 * [taylor]: Taking taylor expansion of re in base 2.423 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base 2.423 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 2.423 * [taylor]: Taking taylor expansion of (/ 1 base) in base 2.423 * [taylor]: Taking taylor expansion of base in base 2.423 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.423 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.423 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.423 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.423 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.423 * [taylor]: Taking taylor expansion of im in base 2.423 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.423 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.423 * [taylor]: Taking taylor expansion of re in base 2.424 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 2.424 * [taylor]: Taking taylor expansion of (- (log 1) (log base)) in re 2.424 * [taylor]: Taking taylor expansion of (log 1) in re 2.424 * [taylor]: Taking taylor expansion of 1 in re 2.424 * [taylor]: Taking taylor expansion of (log base) in re 2.424 * [taylor]: Taking taylor expansion of base in re 2.424 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.424 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.424 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.424 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.424 * [taylor]: Taking taylor expansion of im in re 2.424 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.424 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.424 * [taylor]: Taking taylor expansion of re in re 2.425 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log base)) (- (log 1) (log re))) in im 2.425 * [taylor]: Taking taylor expansion of (- (log 1) (log base)) in im 2.425 * [taylor]: Taking taylor expansion of (log 1) in im 2.425 * [taylor]: Taking taylor expansion of 1 in im 2.425 * [taylor]: Taking taylor expansion of (log base) in im 2.425 * [taylor]: Taking taylor expansion of base in im 2.425 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.425 * [taylor]: Taking taylor expansion of (log 1) in im 2.425 * [taylor]: Taking taylor expansion of 1 in im 2.425 * [taylor]: Taking taylor expansion of (log re) in im 2.425 * [taylor]: Taking taylor expansion of re in im 2.426 * [taylor]: Taking taylor expansion of 0 in re 2.426 * [taylor]: Taking taylor expansion of 0 in im 2.427 * [taylor]: Taking taylor expansion of 0 in im 2.429 * [taylor]: Taking taylor expansion of 0 in re 2.429 * [taylor]: Taking taylor expansion of 0 in im 2.429 * [taylor]: Taking taylor expansion of 0 in im 2.430 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) (* 1/2 (/ (log 1) (* (pow (- (log 1) (log re)) 2) (pow im 2))))) in im 2.430 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) in im 2.430 * [taylor]: Taking taylor expansion of 1/2 in im 2.430 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2))) in im 2.430 * [taylor]: Taking taylor expansion of (log base) in im 2.430 * [taylor]: Taking taylor expansion of base in im 2.430 * [taylor]: Taking taylor expansion of (* (pow (- (log 1) (log re)) 2) (pow im 2)) in im 2.430 * [taylor]: Taking taylor expansion of (pow (- (log 1) (log re)) 2) in im 2.430 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.430 * [taylor]: Taking taylor expansion of (log 1) in im 2.430 * [taylor]: Taking taylor expansion of 1 in im 2.430 * [taylor]: Taking taylor expansion of (log re) in im 2.430 * [taylor]: Taking taylor expansion of re in im 2.431 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.431 * [taylor]: Taking taylor expansion of im in im 2.431 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log 1) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) in im 2.431 * [taylor]: Taking taylor expansion of 1/2 in im 2.431 * [taylor]: Taking taylor expansion of (/ (log 1) (* (pow (- (log 1) (log re)) 2) (pow im 2))) in im 2.431 * [taylor]: Taking taylor expansion of (log 1) in im 2.431 * [taylor]: Taking taylor expansion of 1 in im 2.431 * [taylor]: Taking taylor expansion of (* (pow (- (log 1) (log re)) 2) (pow im 2)) in im 2.431 * [taylor]: Taking taylor expansion of (pow (- (log 1) (log re)) 2) in im 2.431 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.431 * [taylor]: Taking taylor expansion of (log 1) in im 2.431 * [taylor]: Taking taylor expansion of 1 in im 2.431 * [taylor]: Taking taylor expansion of (log re) in im 2.431 * [taylor]: Taking taylor expansion of re in im 2.431 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.431 * [taylor]: Taking taylor expansion of im in im 2.435 * [approximate]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in (base re im) around 0 2.435 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 2.435 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 2.435 * [taylor]: Taking taylor expansion of (/ -1 base) in im 2.435 * [taylor]: Taking taylor expansion of -1 in im 2.435 * [taylor]: Taking taylor expansion of base in im 2.435 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 2.435 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 2.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 2.435 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 2.435 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.435 * [taylor]: Taking taylor expansion of im in im 2.436 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 2.436 * [taylor]: Taking taylor expansion of (pow re 2) in im 2.436 * [taylor]: Taking taylor expansion of re in im 2.436 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 2.436 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 2.436 * [taylor]: Taking taylor expansion of (/ -1 base) in re 2.436 * [taylor]: Taking taylor expansion of -1 in re 2.436 * [taylor]: Taking taylor expansion of base in re 2.436 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.436 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.436 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.436 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.436 * [taylor]: Taking taylor expansion of im in re 2.436 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.436 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.436 * [taylor]: Taking taylor expansion of re in re 2.436 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base 2.436 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.437 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.437 * [taylor]: Taking taylor expansion of -1 in base 2.437 * [taylor]: Taking taylor expansion of base in base 2.437 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.437 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.437 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.437 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.437 * [taylor]: Taking taylor expansion of im in base 2.437 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.437 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.437 * [taylor]: Taking taylor expansion of re in base 2.438 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in base 2.438 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 2.438 * [taylor]: Taking taylor expansion of (/ -1 base) in base 2.438 * [taylor]: Taking taylor expansion of -1 in base 2.438 * [taylor]: Taking taylor expansion of base in base 2.438 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 2.438 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 2.438 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 2.438 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 2.438 * [taylor]: Taking taylor expansion of (pow im 2) in base 2.438 * [taylor]: Taking taylor expansion of im in base 2.438 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 2.438 * [taylor]: Taking taylor expansion of (pow re 2) in base 2.438 * [taylor]: Taking taylor expansion of re in base 2.439 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 2.439 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in re 2.439 * [taylor]: Taking taylor expansion of (log -1) in re 2.439 * [taylor]: Taking taylor expansion of -1 in re 2.439 * [taylor]: Taking taylor expansion of (log base) in re 2.439 * [taylor]: Taking taylor expansion of base in re 2.439 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 2.439 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 2.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 2.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 2.439 * [taylor]: Taking taylor expansion of (pow im 2) in re 2.439 * [taylor]: Taking taylor expansion of im in re 2.440 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 2.440 * [taylor]: Taking taylor expansion of (pow re 2) in re 2.440 * [taylor]: Taking taylor expansion of re in re 2.440 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (- (log 1) (log re))) in im 2.440 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in im 2.440 * [taylor]: Taking taylor expansion of (log -1) in im 2.440 * [taylor]: Taking taylor expansion of -1 in im 2.440 * [taylor]: Taking taylor expansion of (log base) in im 2.440 * [taylor]: Taking taylor expansion of base in im 2.440 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.440 * [taylor]: Taking taylor expansion of (log 1) in im 2.440 * [taylor]: Taking taylor expansion of 1 in im 2.440 * [taylor]: Taking taylor expansion of (log re) in im 2.440 * [taylor]: Taking taylor expansion of re in im 2.441 * [taylor]: Taking taylor expansion of 0 in re 2.441 * [taylor]: Taking taylor expansion of 0 in im 2.442 * [taylor]: Taking taylor expansion of 0 in im 2.444 * [taylor]: Taking taylor expansion of 0 in re 2.444 * [taylor]: Taking taylor expansion of 0 in im 2.444 * [taylor]: Taking taylor expansion of 0 in im 2.445 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) (* 1/2 (/ (log -1) (* (pow (- (log 1) (log re)) 2) (pow im 2))))) in im 2.445 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) in im 2.445 * [taylor]: Taking taylor expansion of 1/2 in im 2.445 * [taylor]: Taking taylor expansion of (/ (log base) (* (pow (- (log 1) (log re)) 2) (pow im 2))) in im 2.445 * [taylor]: Taking taylor expansion of (log base) in im 2.445 * [taylor]: Taking taylor expansion of base in im 2.445 * [taylor]: Taking taylor expansion of (* (pow (- (log 1) (log re)) 2) (pow im 2)) in im 2.445 * [taylor]: Taking taylor expansion of (pow (- (log 1) (log re)) 2) in im 2.446 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.446 * [taylor]: Taking taylor expansion of (log 1) in im 2.446 * [taylor]: Taking taylor expansion of 1 in im 2.446 * [taylor]: Taking taylor expansion of (log re) in im 2.446 * [taylor]: Taking taylor expansion of re in im 2.446 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.446 * [taylor]: Taking taylor expansion of im in im 2.446 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log -1) (* (pow (- (log 1) (log re)) 2) (pow im 2)))) in im 2.446 * [taylor]: Taking taylor expansion of 1/2 in im 2.446 * [taylor]: Taking taylor expansion of (/ (log -1) (* (pow (- (log 1) (log re)) 2) (pow im 2))) in im 2.446 * [taylor]: Taking taylor expansion of (log -1) in im 2.446 * [taylor]: Taking taylor expansion of -1 in im 2.446 * [taylor]: Taking taylor expansion of (* (pow (- (log 1) (log re)) 2) (pow im 2)) in im 2.446 * [taylor]: Taking taylor expansion of (pow (- (log 1) (log re)) 2) in im 2.446 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im 2.446 * [taylor]: Taking taylor expansion of (log 1) in im 2.446 * [taylor]: Taking taylor expansion of 1 in im 2.446 * [taylor]: Taking taylor expansion of (log re) in im 2.446 * [taylor]: Taking taylor expansion of re in im 2.446 * [taylor]: Taking taylor expansion of (pow im 2) in im 2.446 * [taylor]: Taking taylor expansion of im in im 2.450 * * * [progress]: simplifying candidates 2.452 * [simplify]: Simplifying using # : (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 base) (log base)) (* 0.0 0.0))) (log (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (log (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (exp (/ (+ (* (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 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))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 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)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))) (cbrt (/ (+ (* (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)) (+ (* (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)))) (sqrt (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (neg (+ (* (log base) (log base)) (* 0.0 0.0))) (neg (+ (* (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 (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 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)))) (/ (* (cbrt (+ (* (log base) (log base)) (* 0.0 0.0))) (cbrt (+ (* (log base) (log base)) (* 0.0 0.0)))) 1) (/ (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))) (* (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))) (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))) 1) (/ (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))) (+ (* (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))))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (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)))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (/ 1 1) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (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)) (+ (* (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))) (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)) 1) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 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)) (+ (* (log base) (log base)) (* 0.0 0.0))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3) (pow (* (atan2 im re) 0.0) 3))) (/ (+ (* (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)) (* (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)) (* (atan2 im re) 0.0)) (- (* (log base) (log base)) (* 0.0 0.0))) im re (* -1 re) (pow (+ (log 1) (log base)) 2) (pow (- (log 1) (log (/ 1 base))) 2) (pow (- (log -1) (log (/ -1 base))) 2) (* (+ (log 1) (log im)) (+ (log 1) (log base))) (* (- (log 1) (log (/ 1 base))) (- (log 1) (log (/ 1 re)))) (* (- (log -1) (log (/ -1 base))) (- (log 1) (log (/ -1 re)))) (/ (+ (log 1) (log base)) (+ (log 1) (log im))) (/ (- (log 1) (log (/ 1 base))) (- (log 1) (log (/ 1 re)))) (/ (- (log -1) (log (/ -1 base))) (- (log 1) (log (/ -1 re)))) 2.459 * * [simplify]: iteration 0 : 464 enodes (cost 1397 ) 2.467 * * [simplify]: iteration 1 : 1754 enodes (cost 1281 ) 2.501 * * [simplify]: iteration 2 : 5002 enodes (cost 1229 ) 2.507 * [simplify]: Simplified to: (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* 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)))) 2 (* (log base) (log base)) 2 (* 2 (log (log base))) (* 2 (log (log base))) (pow base (log base)) (pow (log base) 6) (* (cbrt (* (log base) (log base))) (cbrt (* (log base) (log base)))) (cbrt (* (log base) (log base))) (pow (log base) 6) (fabs (log base)) (fabs (log base)) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (pow (cbrt (log base)) 4) (* (cbrt (log base)) (cbrt (log base))) (log base) (log base) 1 (* (log base) (log base)) 1 (* (log base) (log base)) (log base) (log base) 2 (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (* (log base) (* 2 (log (cbrt base)))) (* (log base) (log (cbrt base))) (* (log base) (log (sqrt base))) (* (log base) (log (sqrt base))) 0 (* (log base) (log base)) (log base) (* (pow (cbrt (log base)) 4) (cbrt (log base))) (pow (sqrt (log base)) 3) (log base) (* (log base) (log base)) (pow (cbrt (log base)) 4) (pow (sqrt (log base)) 3) (* (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 (cbrt base)) (log (+ (* re re) (* im im)))) (* (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 (sqrt (+ (* re re) (* im im)))) (log base)) (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (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 (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)) (log (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (log (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (exp (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (pow (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3) (* (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)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))) (cbrt (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (pow (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) 3) (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)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) (neg (+ (* (log base) (log base)) (* 0.0 0.0))) (neg (+ (* (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 (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 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)))) (* (cbrt (+ (* (log base) (log base)) (* 0.0 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))) (* (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))) (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 base) (log base)) (* 0.0 0.0))) (+ (* (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))))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (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)))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))) 1 (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (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)) (+ (* (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))) (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)) (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)) (+ (* (log base) (log base)) (* 0.0 0.0))) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (pow (* (log (sqrt (+ (* re re) (* im im)))) (log base)) 3) (pow (* (atan2 im re) 0.0) 3))) (/ (+ (* (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)))) (* (+ (* (* 0.0 0.0) (- (* 0.0 0.0) (* (log base) (log base)))) (* (* (log base) (log base)) (* (log base) (log base)))) (+ (* (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))) im re (* -1 re) (* (log base) (log base)) (* (log base) (log base)) (* (log base) (log base)) (* (log base) (log im)) (* (log re) (log base)) (* (neg (log (/ -1 re))) (log base)) (/ (+ (log 1) (log base)) (+ (log 1) (log im))) (/ (log base) (- (log 1) (log (/ 1 re)))) (/ (log base) (- (log 1) (log (/ -1 re)))) 2.508 * * * [progress]: adding candidates to table 2.638 * [progress]: [Phase 3 of 3] Extracting. 2.639 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # #) 2.647 * * * [regime-changes]: Trying 4 branch expressions: ((log base) base im re) 2.647 * * * * [regimes]: Trying to branch on (log base) from (# # # # # # # # # # # # # # # # # #) 2.766 * * * * [regimes]: Trying to branch on base from (# # # # # # # # # # # # # # # # # #) 2.881 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # # # # # # # # #) 3.031 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # # # # # # # # #) 3.164 * * * [regime]: Found split indices: #