10.358 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.052 * * * [progress]: [2/2] Setting up program. 0.056 * [progress]: [Phase 2 of 3] Improving. 0.056 * [simplify]: Simplifying using # : (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 0.058 * * [simplify]: iteration 0 : 31 enodes (cost 16 ) 0.060 * * [simplify]: iteration 1 : 52 enodes (cost 16 ) 0.061 * * [simplify]: iteration 2 : 68 enodes (cost 16 ) 0.063 * * [simplify]: iteration 3 : 88 enodes (cost 16 ) 0.064 * * [simplify]: iteration 4 : 102 enodes (cost 16 ) 0.066 * * [simplify]: iteration 5 : 106 enodes (cost 16 ) 0.068 * * [simplify]: iteration 6 : 106 enodes (cost 16 ) 0.068 * [simplify]: Simplified to: (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))) 0.069 * * [progress]: iteration 1 / 4 0.069 * * * [progress]: picking best candidate 0.072 * * * * [pick]: Picked # 0.072 * * * [progress]: localizing error 0.094 * * * [progress]: generating rewritten candidates 0.094 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.099 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.101 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.103 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.113 * * * [progress]: generating series expansions 0.113 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.114 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.114 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.114 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.114 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.114 * [taylor]: Taking taylor expansion of re in im 0.114 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.114 * [taylor]: Taking taylor expansion of im in im 0.115 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.115 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.115 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.115 * [taylor]: Taking taylor expansion of re in re 0.115 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.115 * [taylor]: Taking taylor expansion of im in re 0.115 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.115 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.115 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.115 * [taylor]: Taking taylor expansion of re in re 0.115 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.115 * [taylor]: Taking taylor expansion of im in re 0.116 * [taylor]: Taking taylor expansion of im in im 0.116 * [taylor]: Taking taylor expansion of 0 in im 0.117 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.117 * [taylor]: Taking taylor expansion of 1/2 in im 0.117 * [taylor]: Taking taylor expansion of im in im 0.119 * [taylor]: Taking taylor expansion of 0 in im 0.120 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.120 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.120 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.120 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.120 * [taylor]: Taking taylor expansion of im in im 0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.121 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.121 * [taylor]: Taking taylor expansion of re in im 0.123 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.123 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.123 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.123 * [taylor]: Taking taylor expansion of im in re 0.123 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.123 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.123 * [taylor]: Taking taylor expansion of re in re 0.125 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.125 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.125 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.125 * [taylor]: Taking taylor expansion of im in re 0.125 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.125 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.125 * [taylor]: Taking taylor expansion of re in re 0.128 * [taylor]: Taking taylor expansion of 1 in im 0.128 * [taylor]: Taking taylor expansion of 0 in im 0.129 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.130 * [taylor]: Taking taylor expansion of 1/2 in im 0.130 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.130 * [taylor]: Taking taylor expansion of im in im 0.133 * [taylor]: Taking taylor expansion of 0 in im 0.134 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.134 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.134 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.134 * [taylor]: Taking taylor expansion of im in im 0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.134 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.134 * [taylor]: Taking taylor expansion of re in im 0.136 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.136 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.136 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.136 * [taylor]: Taking taylor expansion of im in re 0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.137 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.137 * [taylor]: Taking taylor expansion of re in re 0.139 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.139 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.139 * [taylor]: Taking taylor expansion of im in re 0.139 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.139 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.139 * [taylor]: Taking taylor expansion of re in re 0.141 * [taylor]: Taking taylor expansion of 1 in im 0.141 * [taylor]: Taking taylor expansion of 0 in im 0.143 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.143 * [taylor]: Taking taylor expansion of 1/2 in im 0.143 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.143 * [taylor]: Taking taylor expansion of im in im 0.146 * [taylor]: Taking taylor expansion of 0 in im 0.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.147 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0 0.147 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 0.148 * [taylor]: Taking taylor expansion of (log base) in base 0.148 * [taylor]: Taking taylor expansion of base in base 0.148 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base 0.148 * [taylor]: Taking taylor expansion of (log base) in base 0.148 * [taylor]: Taking taylor expansion of base in base 0.193 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0 0.193 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 0.193 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.193 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.193 * [taylor]: Taking taylor expansion of base in base 0.194 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base 0.194 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.194 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.194 * [taylor]: Taking taylor expansion of base in base 0.242 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0 0.242 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 0.242 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.242 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.242 * [taylor]: Taking taylor expansion of -1 in base 0.242 * [taylor]: Taking taylor expansion of base in base 0.243 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base 0.243 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.243 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.243 * [taylor]: Taking taylor expansion of -1 in base 0.243 * [taylor]: Taking taylor expansion of base in base 0.294 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.295 * [approximate]: Taking taylor expansion of (* (atan2 im re) (log base)) in (im re base) around 0 0.295 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in base 0.295 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.295 * [taylor]: Taking taylor expansion of (log base) in base 0.295 * [taylor]: Taking taylor expansion of base in base 0.295 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in re 0.295 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.295 * [taylor]: Taking taylor expansion of (log base) in re 0.295 * [taylor]: Taking taylor expansion of base in re 0.295 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in im 0.295 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.295 * [taylor]: Taking taylor expansion of (log base) in im 0.295 * [taylor]: Taking taylor expansion of base in im 0.295 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in im 0.295 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.295 * [taylor]: Taking taylor expansion of (log base) in im 0.295 * [taylor]: Taking taylor expansion of base in im 0.296 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in re 0.296 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.296 * [taylor]: Taking taylor expansion of (log base) in re 0.296 * [taylor]: Taking taylor expansion of base in re 0.296 * [taylor]: Taking taylor expansion of (* (atan2 im re) (log base)) in base 0.296 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.296 * [taylor]: Taking taylor expansion of (log base) in base 0.296 * [taylor]: Taking taylor expansion of base in base 0.297 * [taylor]: Taking taylor expansion of 0 in re 0.297 * [taylor]: Taking taylor expansion of 0 in base 0.298 * [taylor]: Taking taylor expansion of 0 in base 0.300 * [taylor]: Taking taylor expansion of 0 in re 0.300 * [taylor]: Taking taylor expansion of 0 in base 0.300 * [taylor]: Taking taylor expansion of 0 in base 0.301 * [taylor]: Taking taylor expansion of 0 in base 0.301 * [approximate]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in (im re base) around 0 0.301 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.301 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.302 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.302 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.302 * [taylor]: Taking taylor expansion of base in base 0.302 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.302 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.302 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.302 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.302 * [taylor]: Taking taylor expansion of base in re 0.302 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.302 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.302 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.302 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.302 * [taylor]: Taking taylor expansion of base in im 0.302 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.302 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.302 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.302 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.303 * [taylor]: Taking taylor expansion of base in im 0.303 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.303 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.303 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.303 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.303 * [taylor]: Taking taylor expansion of base in re 0.303 * [taylor]: Taking taylor expansion of (* (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.303 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.303 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.303 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.303 * [taylor]: Taking taylor expansion of base in base 0.305 * [taylor]: Taking taylor expansion of 0 in re 0.305 * [taylor]: Taking taylor expansion of 0 in base 0.305 * [taylor]: Taking taylor expansion of 0 in base 0.308 * [taylor]: Taking taylor expansion of 0 in re 0.308 * [taylor]: Taking taylor expansion of 0 in base 0.308 * [taylor]: Taking taylor expansion of 0 in base 0.310 * [taylor]: Taking taylor expansion of 0 in base 0.310 * [approximate]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in (im re base) around 0 0.310 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in base 0.310 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.310 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.310 * [taylor]: Taking taylor expansion of -1 in base 0.310 * [taylor]: Taking taylor expansion of base in base 0.310 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.311 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in re 0.311 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.311 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.311 * [taylor]: Taking taylor expansion of -1 in re 0.311 * [taylor]: Taking taylor expansion of base in re 0.311 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.311 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in im 0.311 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.311 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.311 * [taylor]: Taking taylor expansion of -1 in im 0.311 * [taylor]: Taking taylor expansion of base in im 0.311 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.311 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in im 0.311 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.311 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.311 * [taylor]: Taking taylor expansion of -1 in im 0.311 * [taylor]: Taking taylor expansion of base in im 0.311 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.311 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in re 0.311 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.311 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.311 * [taylor]: Taking taylor expansion of -1 in re 0.311 * [taylor]: Taking taylor expansion of base in re 0.311 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.312 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in base 0.312 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.312 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.312 * [taylor]: Taking taylor expansion of -1 in base 0.312 * [taylor]: Taking taylor expansion of base in base 0.312 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.314 * [taylor]: Taking taylor expansion of 0 in re 0.314 * [taylor]: Taking taylor expansion of 0 in base 0.315 * [taylor]: Taking taylor expansion of 0 in base 0.323 * [taylor]: Taking taylor expansion of 0 in re 0.323 * [taylor]: Taking taylor expansion of 0 in base 0.323 * [taylor]: Taking taylor expansion of 0 in base 0.325 * [taylor]: Taking taylor expansion of 0 in base 0.325 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.326 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log base)) in (im re base) around 0 0.326 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.326 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.326 * [taylor]: Taking taylor expansion of (log base) in base 0.326 * [taylor]: Taking taylor expansion of base in base 0.327 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.327 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.327 * [taylor]: Taking taylor expansion of (log base) in re 0.327 * [taylor]: Taking taylor expansion of base in re 0.327 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.327 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.327 * [taylor]: Taking taylor expansion of (log base) in im 0.327 * [taylor]: Taking taylor expansion of base in im 0.327 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.327 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.327 * [taylor]: Taking taylor expansion of (log base) in im 0.327 * [taylor]: Taking taylor expansion of base in im 0.327 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.327 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.327 * [taylor]: Taking taylor expansion of (log base) in re 0.328 * [taylor]: Taking taylor expansion of base in re 0.328 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.328 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.328 * [taylor]: Taking taylor expansion of (log base) in base 0.328 * [taylor]: Taking taylor expansion of base in base 0.329 * [taylor]: Taking taylor expansion of 0 in re 0.329 * [taylor]: Taking taylor expansion of 0 in base 0.330 * [taylor]: Taking taylor expansion of 0 in base 0.332 * [taylor]: Taking taylor expansion of 0 in re 0.332 * [taylor]: Taking taylor expansion of 0 in base 0.332 * [taylor]: Taking taylor expansion of 0 in base 0.334 * [taylor]: Taking taylor expansion of 0 in base 0.334 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in (im re base) around 0 0.334 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.334 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.334 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.334 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.334 * [taylor]: Taking taylor expansion of base in base 0.335 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.335 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.336 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.336 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.336 * [taylor]: Taking taylor expansion of base in re 0.336 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.336 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.336 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.336 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.336 * [taylor]: Taking taylor expansion of base in im 0.336 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.336 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.336 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.336 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.336 * [taylor]: Taking taylor expansion of base in im 0.336 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.336 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.336 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.336 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.336 * [taylor]: Taking taylor expansion of base in re 0.337 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.337 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.337 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.337 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.337 * [taylor]: Taking taylor expansion of base in base 0.339 * [taylor]: Taking taylor expansion of 0 in re 0.339 * [taylor]: Taking taylor expansion of 0 in base 0.339 * [taylor]: Taking taylor expansion of 0 in base 0.342 * [taylor]: Taking taylor expansion of 0 in re 0.342 * [taylor]: Taking taylor expansion of 0 in base 0.342 * [taylor]: Taking taylor expansion of 0 in base 0.344 * [taylor]: Taking taylor expansion of 0 in base 0.345 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in (im re base) around 0 0.345 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.345 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.345 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.345 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.345 * [taylor]: Taking taylor expansion of -1 in base 0.345 * [taylor]: Taking taylor expansion of base in base 0.347 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.347 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.347 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.347 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.347 * [taylor]: Taking taylor expansion of -1 in re 0.347 * [taylor]: Taking taylor expansion of base in re 0.347 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.347 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.347 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.347 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.347 * [taylor]: Taking taylor expansion of -1 in im 0.347 * [taylor]: Taking taylor expansion of base in im 0.347 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.347 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.347 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.347 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.347 * [taylor]: Taking taylor expansion of -1 in im 0.347 * [taylor]: Taking taylor expansion of base in im 0.347 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.348 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.348 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.348 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.348 * [taylor]: Taking taylor expansion of -1 in re 0.348 * [taylor]: Taking taylor expansion of base in re 0.348 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.348 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.348 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.348 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.348 * [taylor]: Taking taylor expansion of -1 in base 0.348 * [taylor]: Taking taylor expansion of base in base 0.351 * [taylor]: Taking taylor expansion of 0 in re 0.351 * [taylor]: Taking taylor expansion of 0 in base 0.352 * [taylor]: Taking taylor expansion of 0 in base 0.356 * [taylor]: Taking taylor expansion of 0 in re 0.356 * [taylor]: Taking taylor expansion of 0 in base 0.356 * [taylor]: Taking taylor expansion of 0 in base 0.357 * [taylor]: Taking taylor expansion of 0 in base 0.358 * * * [progress]: simplifying candidates 0.358 * [simplify]: Simplifying using # : (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (- (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0))) (- (+ (* (log base) (log base)) (* 0.0 0.0))) (/ (* (atan2 im re) (log base)) (+ (* (log base) (log base)) (* 0.0 0.0))) (/ (* (log (sqrt (+ (* re re) (* im im)))) 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)) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0))) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (pow (* (log base) (log base)) 3) (pow (* 0.0 0.0) 3))) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 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)) (+ (* (* (atan2 im re) (log base)) (* (atan2 im re) (log base))) (+ (* (* (log (sqrt (+ (* re re) (* im im)))) 0.0) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (* (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0))))) (* (+ (* (log base) (log base)) (* 0.0 0.0)) (+ (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0))) im re (* -1 re) (pow (log base) 2) (pow (log (/ 1 base)) 2) (pow (- (log -1) (log (/ -1 base))) 2) (* (atan2 im re) (log base)) (* -1 (* (atan2 im re) (log (/ 1 base)))) (* (atan2 im re) (- (log -1) (log (/ -1 base)))) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (- (log -1) (log (/ -1 base)))) 0.362 * * [simplify]: iteration 0 : 228 enodes (cost 210 ) 0.366 * * [simplify]: iteration 1 : 741 enodes (cost 201 ) 0.379 * * [simplify]: iteration 2 : 2617 enodes (cost 188 ) 0.430 * * [simplify]: iteration 3 : 5002 enodes (cost 187 ) 0.431 * [simplify]: Simplified to: (hypot (pow im 3) (pow re 3)) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (fma (log (/ 1 base)) (atan2 im re) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (- (- (pow (log base) 2)) (* 0.0 0.0)) (/ (log base) (/ (fma 0.0 0.0 (pow (log base) 2)) (atan2 im re))) (/ 0.0 (/ (fma 0.0 0.0 (pow (log base) 2)) (log (sqrt (+ (* re re) (* im im)))))) (/ 2 (* (fma 0.0 0.0 (pow (log base) 2)) 2)) (/ (+ (* (log base) (log base)) (* 0.0 0.0)) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0))) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (pow (* (log base) (log base)) 3) (pow (* 0.0 0.0) 3))) (/ (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (fma 0.0 0.0 (pow (log base) 2))) (- (pow (log base) 2) (* 0.0 0.0))) (* (+ (* (* (log (sqrt (+ (* re re) (* im im)))) 0.0) (+ (* (log (sqrt (+ (* re re) (* im im)))) 0.0) (* (atan2 im re) (log base)))) (* (* (atan2 im re) (atan2 im re)) (pow (log base) 2))) (fma (log base) (log base) (* 0.0 0.0))) (* (fma (atan2 im re) (log base) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (fma (log base) (log base) (* 0.0 0.0))) im re (* -1 re) (pow (log base) 2) (pow (log base) 2) (pow (log base) 2) (* (atan2 im re) (log base)) (* (atan2 im re) (log base)) (* (atan2 im re) (log base)) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (log base)) 0.431 * * * [progress]: adding candidates to table 0.512 * * [progress]: iteration 2 / 4 0.512 * * * [progress]: picking best candidate 0.545 * * * * [pick]: Picked # 0.545 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.556 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.559 * * * [progress]: generating series expansions 0.559 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.559 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log base)) in (im re base) around 0 0.559 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.559 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.559 * [taylor]: Taking taylor expansion of (log base) in base 0.559 * [taylor]: Taking taylor expansion of base in base 0.560 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.561 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.561 * [taylor]: Taking taylor expansion of (log base) in re 0.561 * [taylor]: Taking taylor expansion of base in re 0.561 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.561 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.561 * [taylor]: Taking taylor expansion of (log base) in im 0.561 * [taylor]: Taking taylor expansion of base in im 0.561 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.561 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.561 * [taylor]: Taking taylor expansion of (log base) in im 0.561 * [taylor]: Taking taylor expansion of base in im 0.561 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.561 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.561 * [taylor]: Taking taylor expansion of (log base) in re 0.561 * [taylor]: Taking taylor expansion of base in re 0.562 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.562 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.562 * [taylor]: Taking taylor expansion of (log base) in base 0.562 * [taylor]: Taking taylor expansion of base in base 0.564 * [taylor]: Taking taylor expansion of 0 in re 0.564 * [taylor]: Taking taylor expansion of 0 in base 0.565 * [taylor]: Taking taylor expansion of 0 in base 0.569 * [taylor]: Taking taylor expansion of 0 in re 0.569 * [taylor]: Taking taylor expansion of 0 in base 0.569 * [taylor]: Taking taylor expansion of 0 in base 0.571 * [taylor]: Taking taylor expansion of 0 in base 0.571 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in (im re base) around 0 0.571 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.571 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.572 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.572 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.572 * [taylor]: Taking taylor expansion of base in base 0.573 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.573 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.573 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.573 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.573 * [taylor]: Taking taylor expansion of base in re 0.574 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.574 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.574 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.574 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.574 * [taylor]: Taking taylor expansion of base in im 0.574 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.574 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.574 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.574 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.574 * [taylor]: Taking taylor expansion of base in im 0.575 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.575 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.575 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.575 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.575 * [taylor]: Taking taylor expansion of base in re 0.575 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.575 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.575 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.575 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.575 * [taylor]: Taking taylor expansion of base in base 0.578 * [taylor]: Taking taylor expansion of 0 in re 0.578 * [taylor]: Taking taylor expansion of 0 in base 0.579 * [taylor]: Taking taylor expansion of 0 in base 0.585 * [taylor]: Taking taylor expansion of 0 in re 0.585 * [taylor]: Taking taylor expansion of 0 in base 0.585 * [taylor]: Taking taylor expansion of 0 in base 0.587 * [taylor]: Taking taylor expansion of 0 in base 0.587 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in (im re base) around 0 0.587 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.587 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.588 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.588 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.588 * [taylor]: Taking taylor expansion of -1 in base 0.588 * [taylor]: Taking taylor expansion of base in base 0.590 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.590 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.591 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.591 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.591 * [taylor]: Taking taylor expansion of -1 in re 0.591 * [taylor]: Taking taylor expansion of base in re 0.591 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.591 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.591 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of base in im 0.591 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.591 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.592 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.592 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.592 * [taylor]: Taking taylor expansion of -1 in im 0.592 * [taylor]: Taking taylor expansion of base in im 0.592 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.592 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.592 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.592 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.592 * [taylor]: Taking taylor expansion of -1 in re 0.592 * [taylor]: Taking taylor expansion of base in re 0.592 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.592 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.592 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.593 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.593 * [taylor]: Taking taylor expansion of -1 in base 0.593 * [taylor]: Taking taylor expansion of base in base 0.597 * [taylor]: Taking taylor expansion of 0 in re 0.597 * [taylor]: Taking taylor expansion of 0 in base 0.598 * [taylor]: Taking taylor expansion of 0 in base 0.605 * [taylor]: Taking taylor expansion of 0 in re 0.605 * [taylor]: Taking taylor expansion of 0 in base 0.605 * [taylor]: Taking taylor expansion of 0 in base 0.608 * [taylor]: Taking taylor expansion of 0 in base 0.608 * * * [progress]: simplifying candidates 0.609 * [simplify]: Simplifying using # : (- (atan2 im re)) (- (log base)) (/ 1 (log base)) (/ (log base) (atan2 im re)) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (- (log -1) (log (/ -1 base)))) 0.612 * * [simplify]: iteration 0 : 32 enodes (cost 23 ) 0.614 * * [simplify]: iteration 1 : 41 enodes (cost 23 ) 0.616 * * [simplify]: iteration 2 : 64 enodes (cost 23 ) 0.618 * * [simplify]: iteration 3 : 139 enodes (cost 20 ) 0.624 * * [simplify]: iteration 4 : 751 enodes (cost 20 ) 0.651 * * [simplify]: iteration 5 : 5002 enodes (cost 20 ) 0.651 * [simplify]: Simplified to: (* -1 (atan2 im re)) (log (/ 1 base)) (/ 1 (log base)) (/ (log base) (atan2 im re)) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (log base)) 0.652 * * * [progress]: adding candidates to table 0.674 * * [progress]: iteration 3 / 4 0.674 * * * [progress]: picking best candidate 0.709 * * * * [pick]: Picked # 0.709 * * * [progress]: localizing error 0.716 * * * [progress]: generating rewritten candidates 0.716 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.719 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.721 * * * [progress]: generating series expansions 0.721 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.721 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log base)) in (im re base) around 0 0.721 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.721 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.721 * [taylor]: Taking taylor expansion of (log base) in base 0.721 * [taylor]: Taking taylor expansion of base in base 0.722 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.722 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.722 * [taylor]: Taking taylor expansion of (log base) in re 0.722 * [taylor]: Taking taylor expansion of base in re 0.722 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.722 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.722 * [taylor]: Taking taylor expansion of (log base) in im 0.722 * [taylor]: Taking taylor expansion of base in im 0.723 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 0.723 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.723 * [taylor]: Taking taylor expansion of (log base) in im 0.723 * [taylor]: Taking taylor expansion of base in im 0.723 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 0.723 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.723 * [taylor]: Taking taylor expansion of (log base) in re 0.723 * [taylor]: Taking taylor expansion of base in re 0.723 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 0.723 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.723 * [taylor]: Taking taylor expansion of (log base) in base 0.723 * [taylor]: Taking taylor expansion of base in base 0.724 * [taylor]: Taking taylor expansion of 0 in re 0.724 * [taylor]: Taking taylor expansion of 0 in base 0.725 * [taylor]: Taking taylor expansion of 0 in base 0.728 * [taylor]: Taking taylor expansion of 0 in re 0.728 * [taylor]: Taking taylor expansion of 0 in base 0.728 * [taylor]: Taking taylor expansion of 0 in base 0.729 * [taylor]: Taking taylor expansion of 0 in base 0.729 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in (im re base) around 0 0.729 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.729 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.729 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.729 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.729 * [taylor]: Taking taylor expansion of base in base 0.730 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.730 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.730 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.730 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.730 * [taylor]: Taking taylor expansion of base in re 0.730 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.730 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.731 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.731 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.731 * [taylor]: Taking taylor expansion of base in im 0.731 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 0.731 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 0.731 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.731 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.731 * [taylor]: Taking taylor expansion of base in im 0.731 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 0.731 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 0.731 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.731 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.731 * [taylor]: Taking taylor expansion of base in re 0.731 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 0.731 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 0.731 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.731 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.731 * [taylor]: Taking taylor expansion of base in base 0.733 * [taylor]: Taking taylor expansion of 0 in re 0.733 * [taylor]: Taking taylor expansion of 0 in base 0.734 * [taylor]: Taking taylor expansion of 0 in base 0.737 * [taylor]: Taking taylor expansion of 0 in re 0.737 * [taylor]: Taking taylor expansion of 0 in base 0.737 * [taylor]: Taking taylor expansion of 0 in base 0.738 * [taylor]: Taking taylor expansion of 0 in base 0.739 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in (im re base) around 0 0.739 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.739 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.739 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.739 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.739 * [taylor]: Taking taylor expansion of -1 in base 0.739 * [taylor]: Taking taylor expansion of base in base 0.741 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.741 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.741 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.741 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.741 * [taylor]: Taking taylor expansion of -1 in re 0.741 * [taylor]: Taking taylor expansion of base in re 0.741 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.741 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.741 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.741 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.741 * [taylor]: Taking taylor expansion of -1 in im 0.741 * [taylor]: Taking taylor expansion of base in im 0.741 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 0.741 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 0.741 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.741 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.741 * [taylor]: Taking taylor expansion of -1 in im 0.741 * [taylor]: Taking taylor expansion of base in im 0.742 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 0.742 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 0.742 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.742 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.742 * [taylor]: Taking taylor expansion of -1 in re 0.742 * [taylor]: Taking taylor expansion of base in re 0.742 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 0.742 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 0.742 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.742 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.742 * [taylor]: Taking taylor expansion of -1 in base 0.742 * [taylor]: Taking taylor expansion of base in base 0.745 * [taylor]: Taking taylor expansion of 0 in re 0.745 * [taylor]: Taking taylor expansion of 0 in base 0.746 * [taylor]: Taking taylor expansion of 0 in base 0.750 * [taylor]: Taking taylor expansion of 0 in re 0.750 * [taylor]: Taking taylor expansion of 0 in base 0.750 * [taylor]: Taking taylor expansion of 0 in base 0.751 * [taylor]: Taking taylor expansion of 0 in base 0.752 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.752 * [approximate]: Taking taylor expansion of (/ 1 (log base)) in (base) around 0 0.752 * [taylor]: Taking taylor expansion of (/ 1 (log base)) in base 0.752 * [taylor]: Taking taylor expansion of (log base) in base 0.752 * [taylor]: Taking taylor expansion of base in base 0.753 * [taylor]: Taking taylor expansion of (/ 1 (log base)) in base 0.753 * [taylor]: Taking taylor expansion of (log base) in base 0.753 * [taylor]: Taking taylor expansion of base in base 0.794 * [approximate]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in (base) around 0 0.794 * [taylor]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in base 0.794 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.794 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.794 * [taylor]: Taking taylor expansion of base in base 0.795 * [taylor]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in base 0.795 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.795 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.795 * [taylor]: Taking taylor expansion of base in base 0.841 * [approximate]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in (base) around 0 0.841 * [taylor]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in base 0.841 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.841 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.841 * [taylor]: Taking taylor expansion of -1 in base 0.841 * [taylor]: Taking taylor expansion of base in base 0.843 * [taylor]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in base 0.843 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.843 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.843 * [taylor]: Taking taylor expansion of -1 in base 0.843 * [taylor]: Taking taylor expansion of base in base 0.898 * * * [progress]: simplifying candidates 0.898 * [simplify]: Simplifying using # : (* (atan2 im re) 1) (* (atan2 im re) 1) (* (atan2 im re) (- 1)) (* (atan2 im re) 1) (- 1) (- (log base)) (/ 1 (log base)) (/ (log base) 1) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (- (log -1) (log (/ -1 base)))) (/ 1 (log base)) (/ -1 (log (/ 1 base))) (/ 1 (- (log -1) (log (/ -1 base)))) 0.901 * * [simplify]: iteration 0 : 39 enodes (cost 35 ) 0.902 * * [simplify]: iteration 1 : 90 enodes (cost 35 ) 0.904 * * [simplify]: iteration 2 : 181 enodes (cost 32 ) 0.907 * * [simplify]: iteration 3 : 340 enodes (cost 28 ) 0.914 * * [simplify]: iteration 4 : 1524 enodes (cost 28 ) 0.939 * * [simplify]: iteration 5 : 5002 enodes (cost 25 ) 0.944 * [simplify]: Simplified to: (atan2 im re) (atan2 im re) (- (atan2 im re)) (atan2 im re) -1 (log (/ 1 base)) (/ 1 (log base)) (log base) (/ (atan2 im re) (log base)) (/ (atan2 im re) (log base)) (/ (atan2 im re) (log base)) (/ 1 (log base)) (/ 1 (log base)) (/ 1 (log base)) 0.945 * * * [progress]: adding candidates to table 0.960 * * [progress]: iteration 4 / 4 0.960 * * * [progress]: picking best candidate 0.980 * * * * [pick]: Picked # 0.980 * * * [progress]: localizing error 0.987 * * * [progress]: generating rewritten candidates 0.987 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.990 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.993 * * * [progress]: generating series expansions 0.993 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.993 * [approximate]: Taking taylor expansion of (/ (log base) (atan2 im re)) in (base im re) around 0 0.993 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in re 0.993 * [taylor]: Taking taylor expansion of (log base) in re 0.993 * [taylor]: Taking taylor expansion of base in re 0.993 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.993 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in im 0.993 * [taylor]: Taking taylor expansion of (log base) in im 0.993 * [taylor]: Taking taylor expansion of base in im 0.993 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.993 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in base 0.993 * [taylor]: Taking taylor expansion of (log base) in base 0.993 * [taylor]: Taking taylor expansion of base in base 0.994 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.994 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in base 0.994 * [taylor]: Taking taylor expansion of (log base) in base 0.994 * [taylor]: Taking taylor expansion of base in base 0.994 * [taylor]: Taking taylor expansion of (atan2 im re) in base 0.995 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in im 0.995 * [taylor]: Taking taylor expansion of (log base) in im 0.995 * [taylor]: Taking taylor expansion of base in im 0.995 * [taylor]: Taking taylor expansion of (atan2 im re) in im 0.995 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 im re)) in re 0.995 * [taylor]: Taking taylor expansion of (log base) in re 0.995 * [taylor]: Taking taylor expansion of base in re 0.995 * [taylor]: Taking taylor expansion of (atan2 im re) in re 0.996 * [taylor]: Taking taylor expansion of 0 in im 0.996 * [taylor]: Taking taylor expansion of 0 in re 0.997 * [taylor]: Taking taylor expansion of 0 in re 0.999 * [taylor]: Taking taylor expansion of 0 in im 0.999 * [taylor]: Taking taylor expansion of 0 in re 0.999 * [taylor]: Taking taylor expansion of 0 in re 1.000 * [taylor]: Taking taylor expansion of 0 in re 1.001 * [approximate]: Taking taylor expansion of (/ (log (/ 1 base)) (atan2 (/ 1 im) (/ 1 re))) in (base im re) around 0 1.001 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (atan2 (/ 1 im) (/ 1 re))) in re 1.001 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.001 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.001 * [taylor]: Taking taylor expansion of base in re 1.001 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.001 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (atan2 (/ 1 im) (/ 1 re))) in im 1.001 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.001 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.001 * [taylor]: Taking taylor expansion of base in im 1.001 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.001 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (atan2 (/ 1 im) (/ 1 re))) in base 1.001 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.001 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.001 * [taylor]: Taking taylor expansion of base in base 1.002 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 1.002 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (atan2 (/ 1 im) (/ 1 re))) in base 1.002 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.002 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.002 * [taylor]: Taking taylor expansion of base in base 1.003 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 1.004 * [taylor]: Taking taylor expansion of (* -1 (/ (log base) (atan2 (/ 1 im) (/ 1 re)))) in im 1.004 * [taylor]: Taking taylor expansion of -1 in im 1.004 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 (/ 1 im) (/ 1 re))) in im 1.004 * [taylor]: Taking taylor expansion of (log base) in im 1.004 * [taylor]: Taking taylor expansion of base in im 1.004 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.004 * [taylor]: Taking taylor expansion of (* -1 (/ (log base) (atan2 (/ 1 im) (/ 1 re)))) in re 1.004 * [taylor]: Taking taylor expansion of -1 in re 1.004 * [taylor]: Taking taylor expansion of (/ (log base) (atan2 (/ 1 im) (/ 1 re))) in re 1.004 * [taylor]: Taking taylor expansion of (log base) in re 1.004 * [taylor]: Taking taylor expansion of base in re 1.004 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.006 * [taylor]: Taking taylor expansion of 0 in im 1.006 * [taylor]: Taking taylor expansion of 0 in re 1.007 * [taylor]: Taking taylor expansion of 0 in re 1.015 * [taylor]: Taking taylor expansion of 0 in im 1.015 * [taylor]: Taking taylor expansion of 0 in re 1.015 * [taylor]: Taking taylor expansion of 0 in re 1.017 * [taylor]: Taking taylor expansion of 0 in re 1.017 * [approximate]: Taking taylor expansion of (/ (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in (base im re) around 0 1.017 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in re 1.017 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.017 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.017 * [taylor]: Taking taylor expansion of -1 in re 1.017 * [taylor]: Taking taylor expansion of base in re 1.017 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.017 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in im 1.017 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.017 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.017 * [taylor]: Taking taylor expansion of -1 in im 1.017 * [taylor]: Taking taylor expansion of base in im 1.017 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.018 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in base 1.018 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.018 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.018 * [taylor]: Taking taylor expansion of -1 in base 1.018 * [taylor]: Taking taylor expansion of base in base 1.018 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 1.020 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (atan2 (/ -1 im) (/ -1 re))) in base 1.020 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.020 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.020 * [taylor]: Taking taylor expansion of -1 in base 1.020 * [taylor]: Taking taylor expansion of base in base 1.020 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 1.022 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (atan2 (/ -1 im) (/ -1 re))) in im 1.022 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in im 1.022 * [taylor]: Taking taylor expansion of (log -1) in im 1.022 * [taylor]: Taking taylor expansion of -1 in im 1.022 * [taylor]: Taking taylor expansion of (log base) in im 1.022 * [taylor]: Taking taylor expansion of base in im 1.022 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.023 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log base)) (atan2 (/ -1 im) (/ -1 re))) in re 1.023 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in re 1.023 * [taylor]: Taking taylor expansion of (log -1) in re 1.023 * [taylor]: Taking taylor expansion of -1 in re 1.023 * [taylor]: Taking taylor expansion of (log base) in re 1.023 * [taylor]: Taking taylor expansion of base in re 1.023 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.026 * [taylor]: Taking taylor expansion of 0 in im 1.026 * [taylor]: Taking taylor expansion of 0 in re 1.028 * [taylor]: Taking taylor expansion of 0 in re 1.032 * [taylor]: Taking taylor expansion of 0 in im 1.032 * [taylor]: Taking taylor expansion of 0 in re 1.032 * [taylor]: Taking taylor expansion of 0 in re 1.036 * [taylor]: Taking taylor expansion of 0 in re 1.036 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.036 * [approximate]: Taking taylor expansion of (/ (atan2 im re) (log base)) in (base im re) around 0 1.036 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 1.036 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.036 * [taylor]: Taking taylor expansion of (log base) in re 1.036 * [taylor]: Taking taylor expansion of base in re 1.036 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 1.037 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.037 * [taylor]: Taking taylor expansion of (log base) in im 1.037 * [taylor]: Taking taylor expansion of base in im 1.037 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 1.037 * [taylor]: Taking taylor expansion of (atan2 im re) in base 1.037 * [taylor]: Taking taylor expansion of (log base) in base 1.037 * [taylor]: Taking taylor expansion of base in base 1.038 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in base 1.038 * [taylor]: Taking taylor expansion of (atan2 im re) in base 1.038 * [taylor]: Taking taylor expansion of (log base) in base 1.038 * [taylor]: Taking taylor expansion of base in base 1.038 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in im 1.038 * [taylor]: Taking taylor expansion of (atan2 im re) in im 1.039 * [taylor]: Taking taylor expansion of (log base) in im 1.039 * [taylor]: Taking taylor expansion of base in im 1.039 * [taylor]: Taking taylor expansion of (/ (atan2 im re) (log base)) in re 1.039 * [taylor]: Taking taylor expansion of (atan2 im re) in re 1.039 * [taylor]: Taking taylor expansion of (log base) in re 1.039 * [taylor]: Taking taylor expansion of base in re 1.040 * [taylor]: Taking taylor expansion of 0 in im 1.040 * [taylor]: Taking taylor expansion of 0 in re 1.041 * [taylor]: Taking taylor expansion of 0 in re 1.044 * [taylor]: Taking taylor expansion of 0 in im 1.044 * [taylor]: Taking taylor expansion of 0 in re 1.044 * [taylor]: Taking taylor expansion of 0 in re 1.045 * [taylor]: Taking taylor expansion of 0 in re 1.045 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in (base im re) around 0 1.045 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in re 1.045 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.045 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.045 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.045 * [taylor]: Taking taylor expansion of base in re 1.045 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in im 1.045 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.046 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.046 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.046 * [taylor]: Taking taylor expansion of base in im 1.046 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 1.046 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 1.046 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.046 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.046 * [taylor]: Taking taylor expansion of base in base 1.047 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log (/ 1 base))) in base 1.047 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in base 1.047 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.047 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.047 * [taylor]: Taking taylor expansion of base in base 1.048 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ 1 im) (/ 1 re)) (log base))) in im 1.048 * [taylor]: Taking taylor expansion of -1 in im 1.048 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log base)) in im 1.048 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in im 1.048 * [taylor]: Taking taylor expansion of (log base) in im 1.048 * [taylor]: Taking taylor expansion of base in im 1.048 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ 1 im) (/ 1 re)) (log base))) in re 1.048 * [taylor]: Taking taylor expansion of -1 in re 1.049 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 im) (/ 1 re)) (log base)) in re 1.049 * [taylor]: Taking taylor expansion of (atan2 (/ 1 im) (/ 1 re)) in re 1.049 * [taylor]: Taking taylor expansion of (log base) in re 1.049 * [taylor]: Taking taylor expansion of base in re 1.051 * [taylor]: Taking taylor expansion of 0 in im 1.051 * [taylor]: Taking taylor expansion of 0 in re 1.052 * [taylor]: Taking taylor expansion of 0 in re 1.056 * [taylor]: Taking taylor expansion of 0 in im 1.056 * [taylor]: Taking taylor expansion of 0 in re 1.056 * [taylor]: Taking taylor expansion of 0 in re 1.057 * [taylor]: Taking taylor expansion of 0 in re 1.058 * [approximate]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in (base im re) around 0 1.058 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in re 1.058 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.058 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.058 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.058 * [taylor]: Taking taylor expansion of -1 in re 1.058 * [taylor]: Taking taylor expansion of base in re 1.058 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in im 1.058 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.058 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.058 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.058 * [taylor]: Taking taylor expansion of -1 in im 1.058 * [taylor]: Taking taylor expansion of base in im 1.058 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 1.058 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 1.058 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.058 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.058 * [taylor]: Taking taylor expansion of -1 in base 1.058 * [taylor]: Taking taylor expansion of base in base 1.060 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (log (/ -1 base))) in base 1.060 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in base 1.060 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.060 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.060 * [taylor]: Taking taylor expansion of -1 in base 1.060 * [taylor]: Taking taylor expansion of base in base 1.062 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (- (log -1) (log base))) in im 1.062 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in im 1.062 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in im 1.062 * [taylor]: Taking taylor expansion of (log -1) in im 1.062 * [taylor]: Taking taylor expansion of -1 in im 1.063 * [taylor]: Taking taylor expansion of (log base) in im 1.063 * [taylor]: Taking taylor expansion of base in im 1.063 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 im) (/ -1 re)) (- (log -1) (log base))) in re 1.064 * [taylor]: Taking taylor expansion of (atan2 (/ -1 im) (/ -1 re)) in re 1.064 * [taylor]: Taking taylor expansion of (- (log -1) (log base)) in re 1.064 * [taylor]: Taking taylor expansion of (log -1) in re 1.064 * [taylor]: Taking taylor expansion of -1 in re 1.064 * [taylor]: Taking taylor expansion of (log base) in re 1.064 * [taylor]: Taking taylor expansion of base in re 1.068 * [taylor]: Taking taylor expansion of 0 in im 1.068 * [taylor]: Taking taylor expansion of 0 in re 1.071 * [taylor]: Taking taylor expansion of 0 in re 1.078 * [taylor]: Taking taylor expansion of 0 in im 1.078 * [taylor]: Taking taylor expansion of 0 in re 1.078 * [taylor]: Taking taylor expansion of 0 in re 1.082 * [taylor]: Taking taylor expansion of 0 in re 1.082 * * * [progress]: simplifying candidates 1.083 * [simplify]: Simplifying using # : (- (log base)) (- (atan2 im re)) (/ 1 (atan2 im re)) (/ (atan2 im re) (log base)) (- 1) (- (/ (log base) (atan2 im re))) (/ 1 (/ (log base) (atan2 im re))) (/ (/ (log base) (atan2 im re)) 1) (/ 1 (log base)) (/ 1 (log base)) (/ 1 (- (log base))) (/ 1 1) (/ (log base) (atan2 im re)) (* -1 (/ (log (/ 1 base)) (atan2 im re))) (/ (- (log -1) (log (/ -1 base))) (atan2 im re)) (/ (atan2 im re) (log base)) (* -1 (/ (atan2 im re) (log (/ 1 base)))) (/ (atan2 im re) (- (log -1) (log (/ -1 base)))) 1.085 * * [simplify]: iteration 0 : 52 enodes (cost 56 ) 1.087 * * [simplify]: iteration 1 : 112 enodes (cost 53 ) 1.089 * * [simplify]: iteration 2 : 336 enodes (cost 45 ) 1.096 * * [simplify]: iteration 3 : 1214 enodes (cost 43 ) 1.122 * * [simplify]: iteration 4 : 5001 enodes (cost 43 ) 1.122 * [simplify]: Simplified to: (log (/ 1 base)) (* -1 (atan2 im re)) (/ 1 (atan2 im re)) (/ (atan2 im re) (log base)) -1 (- (/ (log base) (atan2 im re))) (/ (atan2 im re) (log base)) (/ (log base) (atan2 im re)) (/ 1 (log base)) (/ 1 (log base)) (/ -1 (log base)) 1 (/ (log base) (atan2 im re)) (/ (log base) (atan2 im re)) (/ (log base) (atan2 im re)) (/ (atan2 im re) (log base)) (/ (atan2 im re) (log base)) (/ (atan2 im re) (log base)) 1.122 * * * [progress]: adding candidates to table 1.149 * [progress]: [Phase 3 of 3] Extracting. 1.149 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 1.154 * * * [regime-changes]: Trying 4 branch expressions: ((log base) base im re) 1.154 * * * * [regimes]: Trying to branch on (log base) from (# # # # # # # # # #) 1.201 * * * * [regimes]: Trying to branch on base from (# # # # # # # # # #) 1.243 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # #) 1.286 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # #) 1.330 * * * [regime]: Found split indices: #