33.253 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.424 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.426 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.427 * * * * [points]: Setting MPFR precision to 64
0.428 * * * * [points]: Setting MPFR precision to 320
0.428 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.429 * * * * [points]: Setting MPFR precision to 64
0.430 * * * * [points]: Setting MPFR precision to 320
0.431 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.431 * * * * [points]: Setting MPFR precision to 64
0.433 * * * * [points]: Setting MPFR precision to 320
0.435 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.435 * * * * [points]: Setting MPFR precision to 64
0.439 * * * * [points]: Setting MPFR precision to 320
0.442 * * * * [points]: Computing exacts for 256 points
0.442 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.463 * * * * [points]: Filtering points with unrepresentable outputs
0.464 * * * * [points]: Sampling 25 additional inputs, on iter 1 have 231 / 256
0.464 * * * * [points]: Computing exacts for 25 points
0.464 * * * * [points]: Setting MPFR precision to 64
0.465 * * * * [points]: Setting MPFR precision to 320
0.466 * * * * [points]: Filtering points with unrepresentable outputs
0.466 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 253 / 256
0.466 * * * * [points]: Computing exacts for 4 points
0.467 * * * * [points]: Setting MPFR precision to 64
0.467 * * * * [points]: Setting MPFR precision to 320
0.467 * * * * [points]: Filtering points with unrepresentable outputs
0.467 * * * * [points]: Sampled 257 points with exact outputs
0.490 * * * [progress]: [2/2] Setting up program.
0.497 * [progress]: [Phase 2 of 3] Improving.
0.497 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.500 * * [simplify]: iteration  0 :  23  enodes  (cost  28 )
0.500 * * [simplify]: iteration  1 :  23  enodes  (cost  28 )
0.500 * [simplify]: Simplified to:
   (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.500 * * [progress]: iteration 1 / 4
0.500 * * * [progress]: picking best candidate
0.504 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))>
0.504 * * * [progress]: localizing error
0.525 * * * [progress]: generating rewritten candidates
0.525 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
0.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.541 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.554 * * * [progress]: generating series expansions
0.554 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
0.554 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.554 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.554 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.554 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.554 * [taylor]: Taking taylor expansion of re in im
0.554 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.554 * [taylor]: Taking taylor expansion of im in im
0.554 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.554 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.555 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.555 * [taylor]: Taking taylor expansion of re in re
0.555 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.555 * [taylor]: Taking taylor expansion of im in re
0.555 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.555 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.555 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.555 * [taylor]: Taking taylor expansion of re in re
0.555 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.555 * [taylor]: Taking taylor expansion of im in re
0.555 * [taylor]: Taking taylor expansion of im in im
0.555 * [taylor]: Taking taylor expansion of 0 in im
0.555 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.555 * [taylor]: Taking taylor expansion of 1/2 in im
0.555 * [taylor]: Taking taylor expansion of im in im
0.556 * [taylor]: Taking taylor expansion of 0 in im
0.556 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.556 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.556 * [taylor]: Taking taylor expansion of im in im
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.556 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.556 * [taylor]: Taking taylor expansion of re in im
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.556 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.556 * [taylor]: Taking taylor expansion of im in re
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.556 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.556 * [taylor]: Taking taylor expansion of re in re
0.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.557 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.557 * [taylor]: Taking taylor expansion of im in re
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.557 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.557 * [taylor]: Taking taylor expansion of re in re
0.557 * [taylor]: Taking taylor expansion of 1 in im
0.557 * [taylor]: Taking taylor expansion of 0 in im
0.557 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.557 * [taylor]: Taking taylor expansion of 1/2 in im
0.557 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.557 * [taylor]: Taking taylor expansion of im in im
0.558 * [taylor]: Taking taylor expansion of 0 in im
0.558 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.558 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.558 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.558 * [taylor]: Taking taylor expansion of im in im
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.558 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.558 * [taylor]: Taking taylor expansion of re in im
0.558 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.558 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.558 * [taylor]: Taking taylor expansion of im in re
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.558 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.559 * [taylor]: Taking taylor expansion of re in re
0.559 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.559 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.559 * [taylor]: Taking taylor expansion of im in re
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.559 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.559 * [taylor]: Taking taylor expansion of re in re
0.559 * [taylor]: Taking taylor expansion of 1 in im
0.559 * [taylor]: Taking taylor expansion of 0 in im
0.559 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.559 * [taylor]: Taking taylor expansion of 1/2 in im
0.559 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.559 * [taylor]: Taking taylor expansion of im in im
0.560 * [taylor]: Taking taylor expansion of 0 in im
0.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.560 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
0.560 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
0.560 * [taylor]: Taking taylor expansion of (log base) in base
0.560 * [taylor]: Taking taylor expansion of base in base
0.560 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
0.560 * [taylor]: Taking taylor expansion of (log base) in base
0.560 * [taylor]: Taking taylor expansion of base in base
0.565 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
0.565 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
0.565 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.565 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.565 * [taylor]: Taking taylor expansion of base in base
0.565 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
0.565 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.565 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.565 * [taylor]: Taking taylor expansion of base in base
0.570 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
0.570 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
0.570 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.570 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.570 * [taylor]: Taking taylor expansion of -1 in base
0.570 * [taylor]: Taking taylor expansion of base in base
0.571 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
0.571 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.571 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.571 * [taylor]: Taking taylor expansion of -1 in base
0.571 * [taylor]: Taking taylor expansion of base in base
0.576 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.576 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
0.576 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
0.576 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
0.576 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
0.576 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
0.576 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.576 * [taylor]: Taking taylor expansion of re in base
0.576 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.576 * [taylor]: Taking taylor expansion of im in base
0.576 * [taylor]: Taking taylor expansion of (log base) in base
0.576 * [taylor]: Taking taylor expansion of base in base
0.576 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
0.576 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.576 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.576 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.577 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.577 * [taylor]: Taking taylor expansion of re in im
0.577 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.577 * [taylor]: Taking taylor expansion of im in im
0.577 * [taylor]: Taking taylor expansion of (log base) in im
0.577 * [taylor]: Taking taylor expansion of base in im
0.577 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.577 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.577 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.577 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.577 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.577 * [taylor]: Taking taylor expansion of re in re
0.577 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.577 * [taylor]: Taking taylor expansion of im in re
0.577 * [taylor]: Taking taylor expansion of (log base) in re
0.577 * [taylor]: Taking taylor expansion of base in re
0.577 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.577 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.577 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.577 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.577 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.577 * [taylor]: Taking taylor expansion of re in re
0.577 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.577 * [taylor]: Taking taylor expansion of im in re
0.578 * [taylor]: Taking taylor expansion of (log base) in re
0.578 * [taylor]: Taking taylor expansion of base in re
0.578 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
0.578 * [taylor]: Taking taylor expansion of (log im) in im
0.578 * [taylor]: Taking taylor expansion of im in im
0.578 * [taylor]: Taking taylor expansion of (log base) in im
0.578 * [taylor]: Taking taylor expansion of base in im
0.578 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base
0.578 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base
0.578 * [taylor]: Taking taylor expansion of (log 1) in base
0.578 * [taylor]: Taking taylor expansion of 1 in base
0.578 * [taylor]: Taking taylor expansion of (log im) in base
0.578 * [taylor]: Taking taylor expansion of im in base
0.578 * [taylor]: Taking taylor expansion of (log base) in base
0.578 * [taylor]: Taking taylor expansion of base in base
0.579 * [taylor]: Taking taylor expansion of 0 in im
0.579 * [taylor]: Taking taylor expansion of 0 in base
0.579 * [taylor]: Taking taylor expansion of 0 in base
0.580 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
0.580 * [taylor]: Taking taylor expansion of 1/2 in im
0.580 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
0.580 * [taylor]: Taking taylor expansion of (log base) in im
0.580 * [taylor]: Taking taylor expansion of base in im
0.580 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.580 * [taylor]: Taking taylor expansion of im in im
0.581 * [taylor]: Taking taylor expansion of 0 in base
0.581 * [taylor]: Taking taylor expansion of 0 in base
0.581 * [taylor]: Taking taylor expansion of 0 in base
0.582 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
0.582 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
0.582 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.582 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.582 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.582 * [taylor]: Taking taylor expansion of im in base
0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.582 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.582 * [taylor]: Taking taylor expansion of re in base
0.583 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.583 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.583 * [taylor]: Taking taylor expansion of base in base
0.583 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
0.583 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.583 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.583 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.583 * [taylor]: Taking taylor expansion of im in im
0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.583 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.583 * [taylor]: Taking taylor expansion of re in im
0.583 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.583 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.583 * [taylor]: Taking taylor expansion of base in im
0.583 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.583 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.583 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.583 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.583 * [taylor]: Taking taylor expansion of im in re
0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.583 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.583 * [taylor]: Taking taylor expansion of re in re
0.583 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.584 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.584 * [taylor]: Taking taylor expansion of base in re
0.584 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.584 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.584 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.584 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.584 * [taylor]: Taking taylor expansion of im in re
0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.584 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.584 * [taylor]: Taking taylor expansion of re in re
0.584 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.584 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.584 * [taylor]: Taking taylor expansion of base in re
0.584 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im
0.584 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
0.584 * [taylor]: Taking taylor expansion of (log 1) in im
0.584 * [taylor]: Taking taylor expansion of 1 in im
0.584 * [taylor]: Taking taylor expansion of (log re) in im
0.584 * [taylor]: Taking taylor expansion of re in im
0.584 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.584 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.584 * [taylor]: Taking taylor expansion of base in im
0.584 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base
0.584 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
0.584 * [taylor]: Taking taylor expansion of (log 1) in base
0.585 * [taylor]: Taking taylor expansion of 1 in base
0.585 * [taylor]: Taking taylor expansion of (log re) in base
0.585 * [taylor]: Taking taylor expansion of re in base
0.585 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.585 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.585 * [taylor]: Taking taylor expansion of base in base
0.585 * [taylor]: Taking taylor expansion of 0 in im
0.585 * [taylor]: Taking taylor expansion of 0 in base
0.586 * [taylor]: Taking taylor expansion of 0 in base
0.590 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
0.590 * [taylor]: Taking taylor expansion of 1/2 in im
0.590 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
0.590 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.590 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.590 * [taylor]: Taking taylor expansion of base in im
0.590 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.590 * [taylor]: Taking taylor expansion of im in im
0.591 * [taylor]: Taking taylor expansion of 0 in base
0.591 * [taylor]: Taking taylor expansion of 0 in base
0.591 * [taylor]: Taking taylor expansion of 0 in base
0.592 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
0.592 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
0.592 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.592 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.592 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.592 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.592 * [taylor]: Taking taylor expansion of im in base
0.592 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.592 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.592 * [taylor]: Taking taylor expansion of re in base
0.593 * [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.593 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
0.593 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.593 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.593 * [taylor]: Taking taylor expansion of im in im
0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.593 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.593 * [taylor]: Taking taylor expansion of re in im
0.593 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.593 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.593 * [taylor]: Taking taylor expansion of -1 in im
0.593 * [taylor]: Taking taylor expansion of base in im
0.593 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.593 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.593 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.593 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.593 * [taylor]: Taking taylor expansion of im in re
0.593 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.594 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.594 * [taylor]: Taking taylor expansion of re in re
0.594 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.594 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.594 * [taylor]: Taking taylor expansion of -1 in re
0.594 * [taylor]: Taking taylor expansion of base in re
0.594 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.594 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.594 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.594 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.594 * [taylor]: Taking taylor expansion of im in re
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.594 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.594 * [taylor]: Taking taylor expansion of re in re
0.594 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.594 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.594 * [taylor]: Taking taylor expansion of -1 in re
0.594 * [taylor]: Taking taylor expansion of base in re
0.594 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im
0.594 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.594 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.594 * [taylor]: Taking taylor expansion of -1 in im
0.594 * [taylor]: Taking taylor expansion of base in im
0.594 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
0.595 * [taylor]: Taking taylor expansion of (log 1) in im
0.595 * [taylor]: Taking taylor expansion of 1 in im
0.595 * [taylor]: Taking taylor expansion of (log re) in im
0.595 * [taylor]: Taking taylor expansion of re in im
0.595 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base
0.595 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.595 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.595 * [taylor]: Taking taylor expansion of -1 in base
0.595 * [taylor]: Taking taylor expansion of base in base
0.595 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
0.595 * [taylor]: Taking taylor expansion of (log 1) in base
0.595 * [taylor]: Taking taylor expansion of 1 in base
0.595 * [taylor]: Taking taylor expansion of (log re) in base
0.595 * [taylor]: Taking taylor expansion of re in base
0.596 * [taylor]: Taking taylor expansion of 0 in im
0.596 * [taylor]: Taking taylor expansion of 0 in base
0.596 * [taylor]: Taking taylor expansion of 0 in base
0.597 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
0.597 * [taylor]: Taking taylor expansion of 1/2 in im
0.598 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
0.598 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.598 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.598 * [taylor]: Taking taylor expansion of -1 in im
0.598 * [taylor]: Taking taylor expansion of base in im
0.598 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.598 * [taylor]: Taking taylor expansion of im in im
0.598 * [taylor]: Taking taylor expansion of 0 in base
0.598 * [taylor]: Taking taylor expansion of 0 in base
0.599 * [taylor]: Taking taylor expansion of 0 in base
0.599 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.600 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
0.600 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
0.600 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
0.600 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
0.600 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
0.600 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.600 * [taylor]: Taking taylor expansion of re in base
0.600 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.600 * [taylor]: Taking taylor expansion of im in base
0.600 * [taylor]: Taking taylor expansion of (log base) in base
0.600 * [taylor]: Taking taylor expansion of base in base
0.601 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
0.601 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.601 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.601 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.601 * [taylor]: Taking taylor expansion of re in im
0.601 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.601 * [taylor]: Taking taylor expansion of im in im
0.601 * [taylor]: Taking taylor expansion of (log base) in im
0.601 * [taylor]: Taking taylor expansion of base in im
0.601 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.601 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.601 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.601 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.601 * [taylor]: Taking taylor expansion of re in re
0.601 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.601 * [taylor]: Taking taylor expansion of im in re
0.601 * [taylor]: Taking taylor expansion of (log base) in re
0.601 * [taylor]: Taking taylor expansion of base in re
0.602 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.602 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.602 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.602 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.602 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.602 * [taylor]: Taking taylor expansion of re in re
0.602 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.602 * [taylor]: Taking taylor expansion of im in re
0.602 * [taylor]: Taking taylor expansion of (log base) in re
0.602 * [taylor]: Taking taylor expansion of base in re
0.602 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im
0.602 * [taylor]: Taking taylor expansion of (log im) in im
0.602 * [taylor]: Taking taylor expansion of im in im
0.602 * [taylor]: Taking taylor expansion of (log base) in im
0.602 * [taylor]: Taking taylor expansion of base in im
0.602 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log im)) (log base)) in base
0.602 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base
0.602 * [taylor]: Taking taylor expansion of (log 1) in base
0.602 * [taylor]: Taking taylor expansion of 1 in base
0.602 * [taylor]: Taking taylor expansion of (log im) in base
0.602 * [taylor]: Taking taylor expansion of im in base
0.602 * [taylor]: Taking taylor expansion of (log base) in base
0.602 * [taylor]: Taking taylor expansion of base in base
0.603 * [taylor]: Taking taylor expansion of 0 in im
0.603 * [taylor]: Taking taylor expansion of 0 in base
0.603 * [taylor]: Taking taylor expansion of 0 in base
0.605 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im
0.605 * [taylor]: Taking taylor expansion of 1/2 in im
0.605 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im
0.605 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im
0.605 * [taylor]: Taking taylor expansion of (log base) in im
0.605 * [taylor]: Taking taylor expansion of base in im
0.605 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.605 * [taylor]: Taking taylor expansion of im in im
0.606 * [taylor]: Taking taylor expansion of 0 in base
0.606 * [taylor]: Taking taylor expansion of 0 in base
0.606 * [taylor]: Taking taylor expansion of 0 in base
0.607 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in (re im base) around 0
0.607 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
0.607 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.607 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.607 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.607 * [taylor]: Taking taylor expansion of im in base
0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.607 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.607 * [taylor]: Taking taylor expansion of re in base
0.608 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.608 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.608 * [taylor]: Taking taylor expansion of base in base
0.608 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
0.608 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.608 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.608 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.608 * [taylor]: Taking taylor expansion of im in im
0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.608 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.608 * [taylor]: Taking taylor expansion of re in im
0.609 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.609 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.609 * [taylor]: Taking taylor expansion of base in im
0.609 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.609 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.609 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.609 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.609 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.609 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.609 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.609 * [taylor]: Taking taylor expansion of re in re
0.609 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.609 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.609 * [taylor]: Taking taylor expansion of base in re
0.609 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.609 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.609 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.609 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.609 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.610 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.610 * [taylor]: Taking taylor expansion of re in re
0.610 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.610 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.610 * [taylor]: Taking taylor expansion of base in re
0.610 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ 1 base))) in im
0.610 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
0.610 * [taylor]: Taking taylor expansion of (log 1) in im
0.610 * [taylor]: Taking taylor expansion of 1 in im
0.610 * [taylor]: Taking taylor expansion of (log re) in im
0.610 * [taylor]: Taking taylor expansion of re in im
0.610 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.610 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.610 * [taylor]: Taking taylor expansion of base in im
0.610 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ 1 base))) in base
0.610 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
0.610 * [taylor]: Taking taylor expansion of (log 1) in base
0.610 * [taylor]: Taking taylor expansion of 1 in base
0.610 * [taylor]: Taking taylor expansion of (log re) in base
0.610 * [taylor]: Taking taylor expansion of re in base
0.610 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.610 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.610 * [taylor]: Taking taylor expansion of base in base
0.611 * [taylor]: Taking taylor expansion of 0 in im
0.611 * [taylor]: Taking taylor expansion of 0 in base
0.612 * [taylor]: Taking taylor expansion of 0 in base
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im
0.613 * [taylor]: Taking taylor expansion of 1/2 in im
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im
0.613 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im
0.613 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.613 * [taylor]: Taking taylor expansion of im in im
0.613 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.613 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.613 * [taylor]: Taking taylor expansion of base in im
0.614 * [taylor]: Taking taylor expansion of 0 in base
0.614 * [taylor]: Taking taylor expansion of 0 in base
0.615 * [taylor]: Taking taylor expansion of 0 in base
0.616 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in (re im base) around 0
0.616 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
0.616 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.616 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.616 * [taylor]: Taking taylor expansion of im in base
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.616 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.616 * [taylor]: Taking taylor expansion of re in base
0.617 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.617 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.617 * [taylor]: Taking taylor expansion of -1 in base
0.617 * [taylor]: Taking taylor expansion of base in base
0.617 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
0.617 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.617 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.617 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.617 * [taylor]: Taking taylor expansion of im in im
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.617 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.617 * [taylor]: Taking taylor expansion of re in im
0.618 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.618 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.618 * [taylor]: Taking taylor expansion of -1 in im
0.618 * [taylor]: Taking taylor expansion of base in im
0.618 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.618 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.618 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.618 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.618 * [taylor]: Taking taylor expansion of im in re
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.618 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.618 * [taylor]: Taking taylor expansion of re in re
0.618 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.618 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.618 * [taylor]: Taking taylor expansion of -1 in re
0.618 * [taylor]: Taking taylor expansion of base in re
0.618 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.618 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.618 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.618 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.618 * [taylor]: Taking taylor expansion of im in re
0.619 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.619 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.619 * [taylor]: Taking taylor expansion of re in re
0.619 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.619 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.619 * [taylor]: Taking taylor expansion of -1 in re
0.619 * [taylor]: Taking taylor expansion of base in re
0.619 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ -1 base))) in im
0.619 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
0.619 * [taylor]: Taking taylor expansion of (log 1) in im
0.619 * [taylor]: Taking taylor expansion of 1 in im
0.619 * [taylor]: Taking taylor expansion of (log re) in im
0.619 * [taylor]: Taking taylor expansion of re in im
0.619 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.619 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.619 * [taylor]: Taking taylor expansion of -1 in im
0.619 * [taylor]: Taking taylor expansion of base in im
0.619 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log re)) (log (/ -1 base))) in base
0.619 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
0.619 * [taylor]: Taking taylor expansion of (log 1) in base
0.619 * [taylor]: Taking taylor expansion of 1 in base
0.619 * [taylor]: Taking taylor expansion of (log re) in base
0.619 * [taylor]: Taking taylor expansion of re in base
0.619 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.620 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.620 * [taylor]: Taking taylor expansion of -1 in base
0.620 * [taylor]: Taking taylor expansion of base in base
0.620 * [taylor]: Taking taylor expansion of 0 in im
0.620 * [taylor]: Taking taylor expansion of 0 in base
0.621 * [taylor]: Taking taylor expansion of 0 in base
0.622 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im
0.622 * [taylor]: Taking taylor expansion of 1/2 in im
0.622 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im
0.622 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im
0.622 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.623 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.623 * [taylor]: Taking taylor expansion of -1 in im
0.623 * [taylor]: Taking taylor expansion of base in im
0.623 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.623 * [taylor]: Taking taylor expansion of im in im
0.623 * [taylor]: Taking taylor expansion of 0 in base
0.624 * [taylor]: Taking taylor expansion of 0 in base
0.624 * [taylor]: Taking taylor expansion of 0 in base
0.625 * * * [progress]: simplifying candidates
0.626 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))))
0.691 * * [simplify]: iteration  0 :  5011  enodes  (cost  2020 )
0.698 * [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 6) (pow im 6)))
  (sqrt (+ (pow re 4) (- (pow im 4) (* re (* re (* im im))))))
  (sqrt (- (pow re 4) (pow im 4)))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  2
  (pow (log base) 2)
  2
  (* 2 (log (log base)))
  (* 2 (log (log base)))
  (pow base (log base))
  (pow (log base) 6)
  (* (cbrt (pow (log base) 2)) (cbrt (pow (log base) 2)))
  (cbrt (pow (log base) 2))
  (pow (log base) 6)
  (fabs (log base))
  (fabs (log base))
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (pow (cbrt (log base)) 4)
  (pow (cbrt (log base)) 2)
  (log base)
  (log base)
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (log base)
  (log base)
  2
  (* 2 (* (log base) (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log 1))
  (pow (log base) 2)
  (* 2 (* (log base) (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log 1))
  (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 base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (sqrt (log base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (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)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (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)))
  (* (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)))) (pow (cbrt (log base)) 2))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log base) (log (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (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 (sqrt (+ (* re re) (* im im)))) (log base))
  (log (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (log (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (exp (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)
  (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))))
  (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)
  (sqrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (sqrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))
  (- (* (atan2 im re) (neg 0.0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)))
  (- (neg (pow (log base) 2)) (* 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 (+ (pow (log base) 2) (* 0.0 0.0))) (cbrt (+ (pow (log base) 2) (* 0.0 0.0))))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (pow (log base) 2) (* 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 (+ (pow (log base) 2) (* 0.0 0.0)))))
  (/ (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (pow (log base) 2) (* 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))) (+ (pow (log base) 2) (* 0.0 0.0)))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (* (cbrt (+ (pow (log base) 2) (* 0.0 0.0))) (cbrt (+ (pow (log base) 2) (* 0.0 0.0)))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (cbrt (+ (pow (log base) 2) (* 0.0 0.0))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (pow (log base) 2) (* 0.0 0.0))))
  (/ (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))) (sqrt (+ (pow (log base) 2) (* 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))) (+ (pow (log base) 2) (* 0.0 0.0)))
  (/ 1 (* (cbrt (+ (pow (log base) 2) (* 0.0 0.0))) (cbrt (+ (pow (log base) 2) (* 0.0 0.0)))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (cbrt (+ (pow (log base) 2) (* 0.0 0.0))))
  (/ 1 (sqrt (+ (pow (log base) 2) (* 0.0 0.0))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (pow (log base) 2) (* 0.0 0.0))))
  1
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))
  (/ 1 (+ (pow (log base) 2) (* 0.0 0.0)))
  (/ (+ (pow (log base) 2) (* 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 (+ (pow (log base) 2) (* 0.0 0.0))) (cbrt (+ (pow (log base) 2) (* 0.0 0.0)))))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (pow (log base) 2) (* 0.0 0.0))))
  (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))
  (/ (+ (pow (log base) 2) (* 0.0 0.0)) (cbrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (pow (log base) 2) (* 0.0 0.0)) (sqrt (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0))))
  (/ (+ (pow (log base) 2) (* 0.0 0.0)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 6) (pow 0.0 6)))
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4)))
  (* (+ (pow (log base) 2) (* 0.0 0.0)) (+ (* (atan2 im re) (* (atan2 im re) (* 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)))))
  (* (+ (pow (log base) 2) (* 0.0 0.0)) (- (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)))
  im
  re
  (neg re)
  (pow (log base) 2)
  (pow (log base) 2)
  (pow (log base) 2)
  (* (log base) (+ (log 1) (log im)))
  (* (log base) (log re))
  (* (log base) (- (log 1) (log (/ -1 re))))
  (/ (+ (log 1) (log im)) (log base))
  (/ (log re) (log base))
  (/ (- (log 1) (log (/ -1 re))) (log base))
0.698 * * * [progress]: adding candidates to table
0.884 * * [progress]: iteration 2 / 4
0.884 * * * [progress]: picking best candidate
0.936 * * * * [pick]: Picked  #<alt (λ (re im base) (* (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>
0.936 * * * [progress]: localizing error
0.965 * * * [progress]: generating rewritten candidates
0.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
0.969 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.986 * * * [progress]: generating series expansions
0.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
0.986 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.986 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.986 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.986 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.986 * [taylor]: Taking taylor expansion of re in im
0.986 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.986 * [taylor]: Taking taylor expansion of im in im
0.986 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.986 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.986 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.986 * [taylor]: Taking taylor expansion of re in re
0.986 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.986 * [taylor]: Taking taylor expansion of im in re
0.986 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.986 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.986 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.987 * [taylor]: Taking taylor expansion of re in re
0.987 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.987 * [taylor]: Taking taylor expansion of im in re
0.987 * [taylor]: Taking taylor expansion of im in im
0.987 * [taylor]: Taking taylor expansion of 0 in im
0.987 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.987 * [taylor]: Taking taylor expansion of 1/2 in im
0.987 * [taylor]: Taking taylor expansion of im in im
0.987 * [taylor]: Taking taylor expansion of 0 in im
0.987 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.988 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.988 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.988 * [taylor]: Taking taylor expansion of im in im
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.988 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.988 * [taylor]: Taking taylor expansion of re in im
0.988 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.988 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.988 * [taylor]: Taking taylor expansion of im in re
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.988 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.988 * [taylor]: Taking taylor expansion of re in re
0.988 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.988 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.988 * [taylor]: Taking taylor expansion of im in re
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.988 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.988 * [taylor]: Taking taylor expansion of re in re
0.988 * [taylor]: Taking taylor expansion of 1 in im
0.989 * [taylor]: Taking taylor expansion of 0 in im
0.989 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.989 * [taylor]: Taking taylor expansion of 1/2 in im
0.989 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.989 * [taylor]: Taking taylor expansion of im in im
0.989 * [taylor]: Taking taylor expansion of 0 in im
0.990 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.990 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.990 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.990 * [taylor]: Taking taylor expansion of im in im
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.990 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.990 * [taylor]: Taking taylor expansion of re in im
0.990 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.990 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.990 * [taylor]: Taking taylor expansion of im in re
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.990 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.990 * [taylor]: Taking taylor expansion of re in re
0.990 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.990 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.990 * [taylor]: Taking taylor expansion of im in re
0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.990 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.990 * [taylor]: Taking taylor expansion of re in re
0.991 * [taylor]: Taking taylor expansion of 1 in im
0.991 * [taylor]: Taking taylor expansion of 0 in im
0.991 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.991 * [taylor]: Taking taylor expansion of 1/2 in im
0.991 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.991 * [taylor]: Taking taylor expansion of im in im
0.991 * [taylor]: Taking taylor expansion of 0 in im
0.992 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.992 * [approximate]: Taking taylor expansion of (pow (log base) 4) in (base) around 0
0.992 * [taylor]: Taking taylor expansion of (pow (log base) 4) in base
0.992 * [taylor]: Taking taylor expansion of (log base) in base
0.992 * [taylor]: Taking taylor expansion of base in base
0.992 * [taylor]: Taking taylor expansion of (pow (log base) 4) in base
0.992 * [taylor]: Taking taylor expansion of (log base) in base
0.992 * [taylor]: Taking taylor expansion of base in base
0.997 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 4) in (base) around 0
0.997 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 4) in base
0.997 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.997 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.997 * [taylor]: Taking taylor expansion of base in base
0.998 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 4) in base
0.998 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.998 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.998 * [taylor]: Taking taylor expansion of base in base
1.004 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 4) in (base) around 0
1.004 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 4) in base
1.004 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.004 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.004 * [taylor]: Taking taylor expansion of -1 in base
1.004 * [taylor]: Taking taylor expansion of base in base
1.004 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 4) in base
1.004 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.004 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.004 * [taylor]: Taking taylor expansion of -1 in base
1.004 * [taylor]: Taking taylor expansion of base in base
1.010 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.010 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
1.010 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.010 * [taylor]: Taking taylor expansion of (log base) in base
1.010 * [taylor]: Taking taylor expansion of base in base
1.010 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.010 * [taylor]: Taking taylor expansion of (log base) in base
1.010 * [taylor]: Taking taylor expansion of base in base
1.015 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
1.015 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
1.015 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.015 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.015 * [taylor]: Taking taylor expansion of base in base
1.015 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
1.015 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.015 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.015 * [taylor]: Taking taylor expansion of base in base
1.020 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
1.020 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) 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 (pow (log (/ -1 base)) 2) 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.025 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.025 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
1.025 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
1.025 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
1.025 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
1.025 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
1.025 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.025 * [taylor]: Taking taylor expansion of re in base
1.025 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.025 * [taylor]: Taking taylor expansion of im in base
1.026 * [taylor]: Taking taylor expansion of (log base) in base
1.026 * [taylor]: Taking taylor expansion of base in base
1.026 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
1.026 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.026 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.026 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.026 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.026 * [taylor]: Taking taylor expansion of re in im
1.026 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.026 * [taylor]: Taking taylor expansion of im in im
1.026 * [taylor]: Taking taylor expansion of (log base) in im
1.026 * [taylor]: Taking taylor expansion of base in im
1.026 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.026 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.026 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.026 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.026 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.026 * [taylor]: Taking taylor expansion of re in re
1.026 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.026 * [taylor]: Taking taylor expansion of im in re
1.026 * [taylor]: Taking taylor expansion of (log base) in re
1.026 * [taylor]: Taking taylor expansion of base in re
1.026 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.026 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.026 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.026 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.026 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.026 * [taylor]: Taking taylor expansion of re in re
1.027 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.027 * [taylor]: Taking taylor expansion of im in re
1.027 * [taylor]: Taking taylor expansion of (log base) in re
1.027 * [taylor]: Taking taylor expansion of base in re
1.027 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
1.027 * [taylor]: Taking taylor expansion of (log im) in im
1.027 * [taylor]: Taking taylor expansion of im in im
1.027 * [taylor]: Taking taylor expansion of (log base) in im
1.027 * [taylor]: Taking taylor expansion of base in im
1.027 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base
1.027 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base
1.027 * [taylor]: Taking taylor expansion of (log 1) in base
1.027 * [taylor]: Taking taylor expansion of 1 in base
1.027 * [taylor]: Taking taylor expansion of (log im) in base
1.027 * [taylor]: Taking taylor expansion of im in base
1.027 * [taylor]: Taking taylor expansion of (log base) in base
1.027 * [taylor]: Taking taylor expansion of base in base
1.028 * [taylor]: Taking taylor expansion of 0 in im
1.028 * [taylor]: Taking taylor expansion of 0 in base
1.028 * [taylor]: Taking taylor expansion of 0 in base
1.029 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
1.029 * [taylor]: Taking taylor expansion of 1/2 in im
1.029 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
1.029 * [taylor]: Taking taylor expansion of (log base) in im
1.029 * [taylor]: Taking taylor expansion of base in im
1.029 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.029 * [taylor]: Taking taylor expansion of im in im
1.030 * [taylor]: Taking taylor expansion of 0 in base
1.030 * [taylor]: Taking taylor expansion of 0 in base
1.030 * [taylor]: Taking taylor expansion of 0 in base
1.031 * [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.031 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
1.031 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.031 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.031 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.031 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.031 * [taylor]: Taking taylor expansion of im in base
1.031 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.031 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.031 * [taylor]: Taking taylor expansion of re in base
1.032 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.032 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.032 * [taylor]: Taking taylor expansion of base in base
1.032 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
1.032 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.032 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.032 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.032 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.032 * [taylor]: Taking taylor expansion of im in im
1.032 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.032 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.032 * [taylor]: Taking taylor expansion of re in im
1.032 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.032 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.032 * [taylor]: Taking taylor expansion of base in im
1.032 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.032 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.032 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.032 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.032 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.032 * [taylor]: Taking taylor expansion of im in re
1.032 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.032 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.032 * [taylor]: Taking taylor expansion of re in re
1.033 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.033 * [taylor]: Taking taylor expansion of base in re
1.033 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.033 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.033 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.033 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.033 * [taylor]: Taking taylor expansion of im in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.033 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.033 * [taylor]: Taking taylor expansion of re in re
1.033 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.033 * [taylor]: Taking taylor expansion of base in re
1.033 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im
1.033 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
1.033 * [taylor]: Taking taylor expansion of (log 1) in im
1.033 * [taylor]: Taking taylor expansion of 1 in im
1.033 * [taylor]: Taking taylor expansion of (log re) in im
1.033 * [taylor]: Taking taylor expansion of re in im
1.033 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.033 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.033 * [taylor]: Taking taylor expansion of base in im
1.034 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base
1.034 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
1.034 * [taylor]: Taking taylor expansion of (log 1) in base
1.034 * [taylor]: Taking taylor expansion of 1 in base
1.034 * [taylor]: Taking taylor expansion of (log re) in base
1.034 * [taylor]: Taking taylor expansion of re in base
1.034 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.034 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.034 * [taylor]: Taking taylor expansion of base in base
1.034 * [taylor]: Taking taylor expansion of 0 in im
1.034 * [taylor]: Taking taylor expansion of 0 in base
1.035 * [taylor]: Taking taylor expansion of 0 in base
1.036 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
1.036 * [taylor]: Taking taylor expansion of 1/2 in im
1.036 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
1.036 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.036 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.036 * [taylor]: Taking taylor expansion of base in im
1.036 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.036 * [taylor]: Taking taylor expansion of im in im
1.037 * [taylor]: Taking taylor expansion of 0 in base
1.037 * [taylor]: Taking taylor expansion of 0 in base
1.038 * [taylor]: Taking taylor expansion of 0 in base
1.038 * [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.038 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
1.038 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.038 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.038 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.038 * [taylor]: Taking taylor expansion of im in base
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.038 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.038 * [taylor]: Taking taylor expansion of re in base
1.039 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.039 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.039 * [taylor]: Taking taylor expansion of -1 in base
1.039 * [taylor]: Taking taylor expansion of base in base
1.039 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
1.039 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.039 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.039 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.039 * [taylor]: Taking taylor expansion of im in im
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.040 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.040 * [taylor]: Taking taylor expansion of re in im
1.040 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.040 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.040 * [taylor]: Taking taylor expansion of -1 in im
1.040 * [taylor]: Taking taylor expansion of base in im
1.040 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.040 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.040 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.040 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.040 * [taylor]: Taking taylor expansion of im in re
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.040 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.040 * [taylor]: Taking taylor expansion of re in re
1.040 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.040 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.040 * [taylor]: Taking taylor expansion of -1 in re
1.040 * [taylor]: Taking taylor expansion of base in re
1.040 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.040 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.040 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.040 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.040 * [taylor]: Taking taylor expansion of im in re
1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.041 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.041 * [taylor]: Taking taylor expansion of re in re
1.041 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.041 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.041 * [taylor]: Taking taylor expansion of -1 in re
1.041 * [taylor]: Taking taylor expansion of base in re
1.041 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im
1.041 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.041 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.041 * [taylor]: Taking taylor expansion of -1 in im
1.041 * [taylor]: Taking taylor expansion of base in im
1.041 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
1.041 * [taylor]: Taking taylor expansion of (log 1) in im
1.041 * [taylor]: Taking taylor expansion of 1 in im
1.041 * [taylor]: Taking taylor expansion of (log re) in im
1.041 * [taylor]: Taking taylor expansion of re in im
1.041 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base
1.041 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.041 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.041 * [taylor]: Taking taylor expansion of -1 in base
1.041 * [taylor]: Taking taylor expansion of base in base
1.041 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
1.041 * [taylor]: Taking taylor expansion of (log 1) in base
1.041 * [taylor]: Taking taylor expansion of 1 in base
1.041 * [taylor]: Taking taylor expansion of (log re) in base
1.041 * [taylor]: Taking taylor expansion of re in base
1.042 * [taylor]: Taking taylor expansion of 0 in im
1.042 * [taylor]: Taking taylor expansion of 0 in base
1.043 * [taylor]: Taking taylor expansion of 0 in base
1.047 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
1.047 * [taylor]: Taking taylor expansion of 1/2 in im
1.047 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
1.047 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.047 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.047 * [taylor]: Taking taylor expansion of -1 in im
1.047 * [taylor]: Taking taylor expansion of base in im
1.047 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.047 * [taylor]: Taking taylor expansion of im in im
1.048 * [taylor]: Taking taylor expansion of 0 in base
1.048 * [taylor]: Taking taylor expansion of 0 in base
1.049 * [taylor]: Taking taylor expansion of 0 in base
1.049 * * * [progress]: simplifying candidates
1.050 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))))
  (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt 1)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (/ 1 2)
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (* (log (log base)) 4)
  (* (log (log base)) 4)
  (* 1 4)
  (pow (log base) (* (cbrt 4) (cbrt 4)))
  (pow (log base) (sqrt 4))
  (pow (log base) 1)
  (pow 1 4)
  (pow (log base) 4)
  (pow (* (cbrt (log base)) (cbrt (log base))) 4)
  (pow (cbrt (log base)) 4)
  (pow (sqrt (log base)) 4)
  (pow (sqrt (log base)) 4)
  (pow 1 4)
  (pow (log base) 4)
  (log (pow (log base) 4))
  (exp (pow (log base) 4))
  (* (cbrt (pow (log base) 4)) (cbrt (pow (log base) 4)))
  (cbrt (pow (log base) 4))
  (* (* (pow (log base) 4) (pow (log base) 4)) (pow (log base) 4))
  (sqrt (pow (log base) 4))
  (sqrt (pow (log base) 4))
  (pow (log base) (/ 4 2))
  (pow (log base) (/ 4 2))
  (+ 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)) 4)
  (pow (- (log 1) (log (/ 1 base))) 4)
  (pow (- (log -1) (log (/ -1 base))) 4)
  (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.090 * * [simplify]: iteration  0 :  5046  enodes  (cost  938 )
1.094 * [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 6) (pow im 6)))
  (sqrt (+ (pow re 4) (- (pow im 4) (* re (* re (* im im))))))
  (sqrt (- (pow re 4) (pow im 4)))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (* (log (log base)) 4)
  (* (log (log base)) 4)
  4
  (pow (log base) (* (cbrt 4) (cbrt 4)))
  (pow (log base) 2)
  (log base)
  1
  (pow (log base) 4)
  (pow (cbrt (log base)) 8)
  (pow (cbrt (log base)) 4)
  (pow (log base) 2)
  (pow (log base) 2)
  1
  (pow (log base) 4)
  (* (log (log base)) 4)
  (exp (pow (log base) 4))
  (* (cbrt (pow (log base) 4)) (cbrt (pow (log base) 4)))
  (cbrt (pow (log base) 4))
  (pow (log base) 12)
  (sqrt (pow (log base) 4))
  (sqrt (pow (log base) 4))
  (pow (log base) 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 (pow (log base) 2)) (cbrt (pow (log base) 2)))
  (cbrt (pow (log base) 2))
  (pow (log base) 6)
  (fabs (log base))
  (fabs (log base))
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (pow (cbrt (log base)) 4)
  (pow (cbrt (log base)) 2)
  (log base)
  (log base)
  1
  (pow (log base) 2)
  1
  (pow (log base) 2)
  (log base)
  (log base)
  2
  (* 2 (* (log base) (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log 1))
  (pow (log base) 2)
  (* 2 (* (log base) (log (cbrt base))))
  (* (log base) (log (cbrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log (sqrt base)))
  (* (log base) (log 1))
  (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 base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (sqrt (log base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (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)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (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)))
  (* (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)))) (pow (cbrt (log base)) 2))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log base) (log (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (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 (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (neg re)
  (pow (log base) 4)
  (pow (log base) 4)
  (pow (log base) 4)
  (pow (log base) 2)
  (pow (log base) 2)
  (pow (log base) 2)
  (* (log base) (+ (log 1) (log im)))
  (* (log base) (log re))
  (* (log base) (neg (log (/ -1 re))))
1.095 * * * [progress]: adding candidates to table
1.236 * * [progress]: iteration 3 / 4
1.236 * * * [progress]: picking best candidate
1.299 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))>
1.299 * * * [progress]: localizing error
1.323 * * * [progress]: generating rewritten candidates
1.323 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.327 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.332 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.341 * * * [progress]: generating series expansions
1.341 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.342 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.342 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.342 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.342 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.342 * [taylor]: Taking taylor expansion of re in im
1.342 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.342 * [taylor]: Taking taylor expansion of im in im
1.342 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.342 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.342 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.342 * [taylor]: Taking taylor expansion of re in re
1.342 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.342 * [taylor]: Taking taylor expansion of im in re
1.342 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.342 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.342 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.342 * [taylor]: Taking taylor expansion of re in re
1.342 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.342 * [taylor]: Taking taylor expansion of im in re
1.343 * [taylor]: Taking taylor expansion of im in im
1.343 * [taylor]: Taking taylor expansion of 0 in im
1.343 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.343 * [taylor]: Taking taylor expansion of 1/2 in im
1.343 * [taylor]: Taking taylor expansion of im in im
1.343 * [taylor]: Taking taylor expansion of 0 in im
1.343 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.343 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.343 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.343 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.343 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.343 * [taylor]: Taking taylor expansion of im in im
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.344 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.344 * [taylor]: Taking taylor expansion of re in im
1.344 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.344 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.344 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.344 * [taylor]: Taking taylor expansion of re in re
1.344 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.344 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.344 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.344 * [taylor]: Taking taylor expansion of re in re
1.344 * [taylor]: Taking taylor expansion of 1 in im
1.344 * [taylor]: Taking taylor expansion of 0 in im
1.345 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.345 * [taylor]: Taking taylor expansion of 1/2 in im
1.345 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.345 * [taylor]: Taking taylor expansion of im in im
1.345 * [taylor]: Taking taylor expansion of 0 in im
1.345 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.346 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.346 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.346 * [taylor]: Taking taylor expansion of im in im
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.346 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.346 * [taylor]: Taking taylor expansion of re in im
1.346 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.346 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.346 * [taylor]: Taking taylor expansion of im in re
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.346 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.346 * [taylor]: Taking taylor expansion of re in re
1.346 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.346 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.346 * [taylor]: Taking taylor expansion of im in re
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.346 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.346 * [taylor]: Taking taylor expansion of re in re
1.346 * [taylor]: Taking taylor expansion of 1 in im
1.347 * [taylor]: Taking taylor expansion of 0 in im
1.347 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.347 * [taylor]: Taking taylor expansion of 1/2 in im
1.347 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.347 * [taylor]: Taking taylor expansion of im in im
1.347 * [taylor]: Taking taylor expansion of 0 in im
1.347 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.348 * [approximate]: Taking taylor expansion of (pow (log base) 6) in (base) around 0
1.348 * [taylor]: Taking taylor expansion of (pow (log base) 6) in base
1.348 * [taylor]: Taking taylor expansion of (log base) in base
1.348 * [taylor]: Taking taylor expansion of base in base
1.348 * [taylor]: Taking taylor expansion of (pow (log base) 6) in base
1.348 * [taylor]: Taking taylor expansion of (log base) in base
1.348 * [taylor]: Taking taylor expansion of base in base
1.354 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 6) in (base) around 0
1.354 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 6) in base
1.354 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.354 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.354 * [taylor]: Taking taylor expansion of base in base
1.354 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 6) in base
1.354 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.355 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.355 * [taylor]: Taking taylor expansion of base in base
1.362 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 6) in (base) around 0
1.362 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 6) in base
1.362 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.362 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.362 * [taylor]: Taking taylor expansion of -1 in base
1.362 * [taylor]: Taking taylor expansion of base in base
1.362 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 6) in base
1.362 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.362 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.362 * [taylor]: Taking taylor expansion of -1 in base
1.362 * [taylor]: Taking taylor expansion of base in base
1.369 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.369 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
1.369 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.369 * [taylor]: Taking taylor expansion of (log base) in base
1.369 * [taylor]: Taking taylor expansion of base in base
1.369 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.369 * [taylor]: Taking taylor expansion of (log base) in base
1.369 * [taylor]: Taking taylor expansion of base in base
1.374 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
1.374 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
1.374 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.374 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.374 * [taylor]: Taking taylor expansion of base in base
1.374 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
1.374 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.374 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.374 * [taylor]: Taking taylor expansion of base in base
1.379 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
1.379 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
1.379 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.379 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.379 * [taylor]: Taking taylor expansion of -1 in base
1.379 * [taylor]: Taking taylor expansion of base in base
1.379 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
1.379 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.379 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.379 * [taylor]: Taking taylor expansion of -1 in base
1.379 * [taylor]: Taking taylor expansion of base in base
1.384 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.384 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
1.384 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
1.384 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
1.384 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
1.384 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
1.384 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.384 * [taylor]: Taking taylor expansion of re in base
1.384 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.384 * [taylor]: Taking taylor expansion of im in base
1.385 * [taylor]: Taking taylor expansion of (log base) in base
1.385 * [taylor]: Taking taylor expansion of base in base
1.385 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
1.385 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.385 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.385 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.385 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.385 * [taylor]: Taking taylor expansion of re in im
1.385 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.385 * [taylor]: Taking taylor expansion of im in im
1.385 * [taylor]: Taking taylor expansion of (log base) in im
1.385 * [taylor]: Taking taylor expansion of base in im
1.385 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.385 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.385 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.386 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.386 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.386 * [taylor]: Taking taylor expansion of re in re
1.386 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.386 * [taylor]: Taking taylor expansion of im in re
1.386 * [taylor]: Taking taylor expansion of (log base) in re
1.386 * [taylor]: Taking taylor expansion of base in re
1.386 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.386 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.386 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.386 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.386 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.386 * [taylor]: Taking taylor expansion of re in re
1.386 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.386 * [taylor]: Taking taylor expansion of im in re
1.386 * [taylor]: Taking taylor expansion of (log base) in re
1.386 * [taylor]: Taking taylor expansion of base in re
1.386 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
1.386 * [taylor]: Taking taylor expansion of (log im) in im
1.386 * [taylor]: Taking taylor expansion of im in im
1.386 * [taylor]: Taking taylor expansion of (log base) in im
1.386 * [taylor]: Taking taylor expansion of base in im
1.387 * [taylor]: Taking taylor expansion of (* (+ (log 1) (log im)) (log base)) in base
1.387 * [taylor]: Taking taylor expansion of (+ (log 1) (log im)) in base
1.387 * [taylor]: Taking taylor expansion of (log 1) in base
1.387 * [taylor]: Taking taylor expansion of 1 in base
1.387 * [taylor]: Taking taylor expansion of (log im) in base
1.387 * [taylor]: Taking taylor expansion of im in base
1.387 * [taylor]: Taking taylor expansion of (log base) in base
1.387 * [taylor]: Taking taylor expansion of base in base
1.387 * [taylor]: Taking taylor expansion of 0 in im
1.387 * [taylor]: Taking taylor expansion of 0 in base
1.387 * [taylor]: Taking taylor expansion of 0 in base
1.389 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
1.389 * [taylor]: Taking taylor expansion of 1/2 in im
1.389 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
1.389 * [taylor]: Taking taylor expansion of (log base) in im
1.389 * [taylor]: Taking taylor expansion of base in im
1.389 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.389 * [taylor]: Taking taylor expansion of im in im
1.389 * [taylor]: Taking taylor expansion of 0 in base
1.389 * [taylor]: Taking taylor expansion of 0 in base
1.390 * [taylor]: Taking taylor expansion of 0 in base
1.390 * [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.390 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
1.390 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.390 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.390 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.390 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.390 * [taylor]: Taking taylor expansion of im in base
1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.390 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.390 * [taylor]: Taking taylor expansion of re in base
1.391 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.391 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.391 * [taylor]: Taking taylor expansion of base in base
1.391 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
1.391 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.391 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.391 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.392 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.392 * [taylor]: Taking taylor expansion of im in im
1.392 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.392 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.392 * [taylor]: Taking taylor expansion of re in im
1.392 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.392 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.392 * [taylor]: Taking taylor expansion of base in im
1.392 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.392 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.392 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.392 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.392 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.392 * [taylor]: Taking taylor expansion of im in re
1.392 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.392 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.392 * [taylor]: Taking taylor expansion of re in re
1.392 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.392 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.392 * [taylor]: Taking taylor expansion of base in re
1.392 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.392 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.392 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.392 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.392 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.392 * [taylor]: Taking taylor expansion of im in re
1.393 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.393 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.393 * [taylor]: Taking taylor expansion of re in re
1.393 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.393 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.393 * [taylor]: Taking taylor expansion of base in re
1.393 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in im
1.393 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
1.393 * [taylor]: Taking taylor expansion of (log 1) in im
1.393 * [taylor]: Taking taylor expansion of 1 in im
1.393 * [taylor]: Taking taylor expansion of (log re) in im
1.393 * [taylor]: Taking taylor expansion of re in im
1.393 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.393 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.393 * [taylor]: Taking taylor expansion of base in im
1.393 * [taylor]: Taking taylor expansion of (* (- (log 1) (log re)) (log (/ 1 base))) in base
1.393 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
1.393 * [taylor]: Taking taylor expansion of (log 1) in base
1.393 * [taylor]: Taking taylor expansion of 1 in base
1.393 * [taylor]: Taking taylor expansion of (log re) in base
1.393 * [taylor]: Taking taylor expansion of re in base
1.393 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.393 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.393 * [taylor]: Taking taylor expansion of base in base
1.394 * [taylor]: Taking taylor expansion of 0 in im
1.394 * [taylor]: Taking taylor expansion of 0 in base
1.394 * [taylor]: Taking taylor expansion of 0 in base
1.396 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
1.396 * [taylor]: Taking taylor expansion of 1/2 in im
1.396 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
1.396 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.396 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.396 * [taylor]: Taking taylor expansion of base in im
1.396 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.396 * [taylor]: Taking taylor expansion of im in im
1.397 * [taylor]: Taking taylor expansion of 0 in base
1.397 * [taylor]: Taking taylor expansion of 0 in base
1.398 * [taylor]: Taking taylor expansion of 0 in base
1.398 * [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.398 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
1.398 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.398 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.398 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.398 * [taylor]: Taking taylor expansion of im in base
1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.398 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.398 * [taylor]: Taking taylor expansion of re in base
1.399 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.399 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.399 * [taylor]: Taking taylor expansion of -1 in base
1.399 * [taylor]: Taking taylor expansion of base in base
1.399 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
1.399 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.399 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.399 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.399 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.399 * [taylor]: Taking taylor expansion of im in im
1.399 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.399 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.399 * [taylor]: Taking taylor expansion of re in im
1.399 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.399 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.399 * [taylor]: Taking taylor expansion of -1 in im
1.400 * [taylor]: Taking taylor expansion of base in im
1.400 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.400 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.400 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.400 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.400 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.400 * [taylor]: Taking taylor expansion of im in re
1.400 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.400 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.400 * [taylor]: Taking taylor expansion of re in re
1.400 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.400 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.400 * [taylor]: Taking taylor expansion of -1 in re
1.400 * [taylor]: Taking taylor expansion of base in re
1.400 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.400 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.400 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.400 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.400 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.400 * [taylor]: Taking taylor expansion of im in re
1.400 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.400 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.400 * [taylor]: Taking taylor expansion of re in re
1.400 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.400 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.400 * [taylor]: Taking taylor expansion of -1 in re
1.400 * [taylor]: Taking taylor expansion of base in re
1.401 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in im
1.401 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.401 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.401 * [taylor]: Taking taylor expansion of -1 in im
1.401 * [taylor]: Taking taylor expansion of base in im
1.401 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in im
1.401 * [taylor]: Taking taylor expansion of (log 1) in im
1.401 * [taylor]: Taking taylor expansion of 1 in im
1.401 * [taylor]: Taking taylor expansion of (log re) in im
1.401 * [taylor]: Taking taylor expansion of re in im
1.401 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (- (log 1) (log re))) in base
1.401 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.401 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.401 * [taylor]: Taking taylor expansion of -1 in base
1.401 * [taylor]: Taking taylor expansion of base in base
1.401 * [taylor]: Taking taylor expansion of (- (log 1) (log re)) in base
1.401 * [taylor]: Taking taylor expansion of (log 1) in base
1.401 * [taylor]: Taking taylor expansion of 1 in base
1.401 * [taylor]: Taking taylor expansion of (log re) in base
1.401 * [taylor]: Taking taylor expansion of re in base
1.402 * [taylor]: Taking taylor expansion of 0 in im
1.402 * [taylor]: Taking taylor expansion of 0 in base
1.402 * [taylor]: Taking taylor expansion of 0 in base
1.404 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
1.404 * [taylor]: Taking taylor expansion of 1/2 in im
1.404 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
1.404 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.404 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.404 * [taylor]: Taking taylor expansion of -1 in im
1.404 * [taylor]: Taking taylor expansion of base in im
1.404 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.404 * [taylor]: Taking taylor expansion of im in im
1.405 * [taylor]: Taking taylor expansion of 0 in base
1.405 * [taylor]: Taking taylor expansion of 0 in base
1.405 * [taylor]: Taking taylor expansion of 0 in base
1.406 * * * [progress]: simplifying candidates
1.407 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))))
  (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt 1)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (/ 1 2)
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (* (log (log base)) 6)
  (* (log (log base)) 6)
  (* 1 6)
  (pow (log base) (* (cbrt 6) (cbrt 6)))
  (pow (log base) (sqrt 6))
  (pow (log base) 1)
  (pow 1 6)
  (pow (log base) 6)
  (pow (* (cbrt (log base)) (cbrt (log base))) 6)
  (pow (cbrt (log base)) 6)
  (pow (sqrt (log base)) 6)
  (pow (sqrt (log base)) 6)
  (pow 1 6)
  (pow (log base) 6)
  (log (pow (log base) 6))
  (exp (pow (log base) 6))
  (* (cbrt (pow (log base) 6)) (cbrt (pow (log base) 6)))
  (cbrt (pow (log base) 6))
  (* (* (pow (log base) 6) (pow (log base) 6)) (pow (log base) 6))
  (sqrt (pow (log base) 6))
  (sqrt (pow (log base) 6))
  (pow (log base) (/ 6 2))
  (pow (log base) (/ 6 2))
  (log (cbrt (pow (log base) 6)))
  (exp (cbrt (pow (log base) 6)))
  (cbrt (pow 1 6))
  (cbrt (pow (log base) 6))
  (cbrt (pow (* (cbrt (log base)) (cbrt (log base))) 6))
  (cbrt (pow (cbrt (log base)) 6))
  (cbrt (pow (sqrt (log base)) 6))
  (cbrt (pow (sqrt (log base)) 6))
  (cbrt (pow 1 6))
  (cbrt (pow (log base) 6))
  (cbrt (* (cbrt (pow (log base) 6)) (cbrt (pow (log base) 6))))
  (cbrt (cbrt (pow (log base) 6)))
  (cbrt (sqrt (pow (log base) 6)))
  (cbrt (sqrt (pow (log base) 6)))
  (cbrt 1)
  (cbrt (pow (log base) 6))
  (cbrt (pow (log base) (/ 6 2)))
  (cbrt (pow (log base) (/ 6 2)))
  (* (cbrt (cbrt (pow (log base) 6))) (cbrt (cbrt (pow (log base) 6))))
  (cbrt (cbrt (pow (log base) 6)))
  (* (* (cbrt (pow (log base) 6)) (cbrt (pow (log base) 6))) (cbrt (pow (log base) 6)))
  (sqrt (cbrt (pow (log base) 6)))
  (sqrt (cbrt (pow (log base) 6)))
  (* (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)) 6)
  (pow (- (log 1) (log (/ 1 base))) 6)
  (pow (- (log -1) (log (/ -1 base))) 6)
  (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.452 * * [simplify]: iteration  0 :  5206  enodes  (cost  835 )
1.455 * [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 6) (pow im 6)))
  (sqrt (+ (pow re 4) (- (pow im 4) (* re (* re (* im im))))))
  (sqrt (- (pow re 4) (pow im 4)))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (* (log (log base)) 6)
  (* (log (log base)) 6)
  6
  (pow (log base) (* (cbrt 6) (cbrt 6)))
  (pow (log base) (sqrt 6))
  (log base)
  1
  (pow (log base) 6)
  (pow (log base) 4)
  (pow (log base) 2)
  (pow (log base) 3)
  (pow (log base) 3)
  1
  (pow (log base) 6)
  (* (log (log base)) 6)
  (exp (pow (log base) 6))
  (pow (log base) 4)
  (pow (log base) 2)
  (pow (pow (log base) 6) 3)
  (sqrt (pow (log base) 6))
  (sqrt (pow (log base) 6))
  (pow (log base) 3)
  (pow (log base) 3)
  (* 2 (log (log base)))
  (pow base (log base))
  (cbrt 1)
  (pow (log base) 2)
  (cbrt (pow (log base) 4))
  (cbrt (pow (log base) 2))
  (log base)
  (log base)
  (cbrt 1)
  (pow (log base) 2)
  (cbrt (pow (log base) 4))
  (cbrt (pow (log base) 2))
  (cbrt (sqrt (pow (log base) 6)))
  (cbrt (sqrt (pow (log base) 6)))
  (cbrt 1)
  (pow (log base) 2)
  (log base)
  (log base)
  (pow (cbrt (log base)) 4)
  (cbrt (pow (log base) 2))
  (pow (log base) 6)
  (sqrt (pow (log base) 2))
  (sqrt (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 base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (sqrt (log base)) (sqrt (log (sqrt (+ (* re re) (* im im))))))
  (* (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)))
  (* (log (sqrt (+ (* re re) (* im im)))) (log 1))
  (* (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)))
  (* (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)))) (cbrt (pow (log base) 2)))
  (* (log (sqrt (+ (* re re) (* im im)))) (sqrt (log base)))
  (log (sqrt (+ (* re re) (* im im))))
  (* (log base) (log (+ (* re re) (* im im))))
  (* (log (sqrt (+ (* re re) (* im im)))) (log base))
  (* (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 (sqrt (+ (* re re) (* im im)))) (log base))
  im
  re
  (neg re)
  (pow (log base) 6)
  (pow (log base) 6)
  (pow (log base) 6)
  (pow (log base) 2)
  (pow (log base) 2)
  (pow (log base) 2)
  (* (log base) (+ (log 1) (log im)))
  (* (log base) (log re))
  (* (log base) (- (log 1) (log (/ -1 re))))
1.456 * * * [progress]: adding candidates to table
1.571 * * [progress]: iteration 4 / 4
1.571 * * * [progress]: picking best candidate
1.635 * * * * [pick]: Picked  #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))>
1.635 * * * [progress]: localizing error
1.668 * * * [progress]: generating rewritten candidates
1.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
1.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1)
1.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1)
1.677 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.679 * * * [progress]: generating series expansions
1.680 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
1.680 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0
1.680 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
1.680 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.680 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.680 * [taylor]: Taking taylor expansion of re in im
1.680 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.680 * [taylor]: Taking taylor expansion of im in im
1.680 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.680 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.680 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.680 * [taylor]: Taking taylor expansion of re in re
1.680 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.680 * [taylor]: Taking taylor expansion of im in re
1.680 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.680 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.680 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.680 * [taylor]: Taking taylor expansion of re in re
1.680 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.680 * [taylor]: Taking taylor expansion of im in re
1.680 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
1.680 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.681 * [taylor]: Taking taylor expansion of im in im
1.681 * [taylor]: Taking taylor expansion of 0 in im
1.681 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.681 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.681 * [taylor]: Taking taylor expansion of im in im
1.682 * [taylor]: Taking taylor expansion of 0 in im
1.682 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.682 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.682 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.682 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.682 * [taylor]: Taking taylor expansion of im in im
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.683 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.683 * [taylor]: Taking taylor expansion of re in im
1.683 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.683 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.683 * [taylor]: Taking taylor expansion of im in re
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.683 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.683 * [taylor]: Taking taylor expansion of re in re
1.683 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.683 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.683 * [taylor]: Taking taylor expansion of im in re
1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.683 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.683 * [taylor]: Taking taylor expansion of re in re
1.683 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log re))) in im
1.683 * [taylor]: Taking taylor expansion of (log 1) in im
1.683 * [taylor]: Taking taylor expansion of 1 in im
1.683 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
1.683 * [taylor]: Taking taylor expansion of 2 in im
1.683 * [taylor]: Taking taylor expansion of (log re) in im
1.683 * [taylor]: Taking taylor expansion of re in im
1.684 * [taylor]: Taking taylor expansion of 0 in im
1.684 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.684 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.684 * [taylor]: Taking taylor expansion of im in im
1.686 * [taylor]: Taking taylor expansion of 0 in im
1.686 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.686 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.686 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.686 * [taylor]: Taking taylor expansion of im in im
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.686 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.686 * [taylor]: Taking taylor expansion of re in im
1.686 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.686 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.686 * [taylor]: Taking taylor expansion of im in re
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.686 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.686 * [taylor]: Taking taylor expansion of re in re
1.686 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.686 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.686 * [taylor]: Taking taylor expansion of im in re
1.687 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.687 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.687 * [taylor]: Taking taylor expansion of re in re
1.687 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log re))) in im
1.687 * [taylor]: Taking taylor expansion of (log 1) in im
1.687 * [taylor]: Taking taylor expansion of 1 in im
1.687 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im
1.687 * [taylor]: Taking taylor expansion of 2 in im
1.687 * [taylor]: Taking taylor expansion of (log re) in im
1.687 * [taylor]: Taking taylor expansion of re in im
1.687 * [taylor]: Taking taylor expansion of 0 in im
1.688 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.688 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.688 * [taylor]: Taking taylor expansion of im in im
1.689 * [taylor]: Taking taylor expansion of 0 in im
1.689 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1)
1.689 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.689 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.689 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.689 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.689 * [taylor]: Taking taylor expansion of re in im
1.689 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.689 * [taylor]: Taking taylor expansion of im in im
1.690 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.690 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.690 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.690 * [taylor]: Taking taylor expansion of re in re
1.690 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.690 * [taylor]: Taking taylor expansion of im in re
1.690 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.690 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.690 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.690 * [taylor]: Taking taylor expansion of re in re
1.690 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.690 * [taylor]: Taking taylor expansion of im in re
1.690 * [taylor]: Taking taylor expansion of im in im
1.690 * [taylor]: Taking taylor expansion of 0 in im
1.690 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.690 * [taylor]: Taking taylor expansion of 1/2 in im
1.690 * [taylor]: Taking taylor expansion of im in im
1.691 * [taylor]: Taking taylor expansion of 0 in im
1.691 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.691 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.691 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.691 * [taylor]: Taking taylor expansion of im in im
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.691 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.691 * [taylor]: Taking taylor expansion of re in im
1.691 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.691 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.691 * [taylor]: Taking taylor expansion of im in re
1.691 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.691 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.691 * [taylor]: Taking taylor expansion of re in re
1.692 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.692 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.692 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.692 * [taylor]: Taking taylor expansion of im in re
1.692 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.692 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.692 * [taylor]: Taking taylor expansion of re in re
1.692 * [taylor]: Taking taylor expansion of 1 in im
1.692 * [taylor]: Taking taylor expansion of 0 in im
1.692 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.692 * [taylor]: Taking taylor expansion of 1/2 in im
1.692 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.692 * [taylor]: Taking taylor expansion of im in im
1.693 * [taylor]: Taking taylor expansion of 0 in im
1.693 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.693 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.693 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.693 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.693 * [taylor]: Taking taylor expansion of im in im
1.693 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.693 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.693 * [taylor]: Taking taylor expansion of re in im
1.693 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.693 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.693 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.693 * [taylor]: Taking taylor expansion of im in re
1.694 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.694 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.694 * [taylor]: Taking taylor expansion of re in re
1.694 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.694 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.694 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.694 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.694 * [taylor]: Taking taylor expansion of im in re
1.694 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.694 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.694 * [taylor]: Taking taylor expansion of re in re
1.694 * [taylor]: Taking taylor expansion of 1 in im
1.694 * [taylor]: Taking taylor expansion of 0 in im
1.694 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.694 * [taylor]: Taking taylor expansion of 1/2 in im
1.694 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.694 * [taylor]: Taking taylor expansion of im in im
1.695 * [taylor]: Taking taylor expansion of 0 in im
1.695 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1)
1.695 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
1.695 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.695 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.695 * [taylor]: Taking taylor expansion of 1/3 in base
1.695 * [taylor]: Taking taylor expansion of (log base) in base
1.695 * [taylor]: Taking taylor expansion of base in base
1.695 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.695 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.695 * [taylor]: Taking taylor expansion of 1/3 in base
1.695 * [taylor]: Taking taylor expansion of (log base) in base
1.695 * [taylor]: Taking taylor expansion of base in base
1.702 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
1.702 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.702 * [taylor]: Taking taylor expansion of 1/3 in base
1.702 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.702 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.702 * [taylor]: Taking taylor expansion of base in base
1.702 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.702 * [taylor]: Taking taylor expansion of 1/3 in base
1.702 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.702 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.702 * [taylor]: Taking taylor expansion of base in base
1.709 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
1.709 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.709 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.709 * [taylor]: Taking taylor expansion of -1 in base
1.709 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.709 * [taylor]: Taking taylor expansion of 1/3 in base
1.709 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.709 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.709 * [taylor]: Taking taylor expansion of base in base
1.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.710 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.710 * [taylor]: Taking taylor expansion of -1 in base
1.710 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.710 * [taylor]: Taking taylor expansion of 1/3 in base
1.710 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.710 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.710 * [taylor]: Taking taylor expansion of base in base
1.718 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.718 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
1.718 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.718 * [taylor]: Taking taylor expansion of 1/3 in base
1.718 * [taylor]: Taking taylor expansion of (log base) in base
1.718 * [taylor]: Taking taylor expansion of base in base
1.719 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.719 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.719 * [taylor]: Taking taylor expansion of 1/3 in base
1.719 * [taylor]: Taking taylor expansion of (log base) in base
1.719 * [taylor]: Taking taylor expansion of base in base
1.725 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
1.725 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.725 * [taylor]: Taking taylor expansion of 1/3 in base
1.725 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.725 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.725 * [taylor]: Taking taylor expansion of base in base
1.725 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.725 * [taylor]: Taking taylor expansion of 1/3 in base
1.725 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.725 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.725 * [taylor]: Taking taylor expansion of base in base
1.732 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
1.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.732 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.732 * [taylor]: Taking taylor expansion of -1 in base
1.732 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.732 * [taylor]: Taking taylor expansion of 1/3 in base
1.732 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.732 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.732 * [taylor]: Taking taylor expansion of base in base
1.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.732 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.732 * [taylor]: Taking taylor expansion of -1 in base
1.732 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.732 * [taylor]: Taking taylor expansion of 1/3 in base
1.732 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.732 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.732 * [taylor]: Taking taylor expansion of base in base
1.741 * * * [progress]: simplifying candidates
1.744 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log 1)
  (log (+ (* re re) (* im im)))
  (log (+ (pow (* re re) 3) (pow (* im im) 3)))
  (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (exp (log (+ (* re re) (* im im))))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))))
  (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt 1)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (/ 1 2)
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (* (cbrt base) (cbrt base)))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  (cbrt 1)
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  (* (* (cbrt base) (cbrt base)) (cbrt base))
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (* (cbrt base) (cbrt base)))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  (cbrt 1)
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  (* (* (cbrt base) (cbrt base)) (cbrt base))
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (+ (log 1) (* 2 (log im)))
  (- (log 1) (* 2 (log (/ 1 re))))
  (- (log 1) (* 2 (log (/ -1 re))))
  im
  re
  (* -1 re)
  (exp (* 1/3 (+ (log 1) (log base))))
  (exp (* 1/3 (- (log 1) (log (/ 1 base)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 base))))))
  (exp (* 1/3 (+ (log 1) (log base))))
  (exp (* 1/3 (- (log 1) (log (/ 1 base)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 base))))))
1.790 * * [simplify]: iteration  0 :  4844  enodes  (cost  455 )
1.790 * * [simplify]: iteration  1 :  4844  enodes  (cost  455 )
1.792 * [simplify]: Simplified to:
   (* (log (cbrt (+ (* re re) (* im im)))) 2)
  (log (cbrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log (sqrt (+ (* re re) (* im im))))
  (log 1)
  (log (+ (* re re) (* im im)))
  (log (+ (pow re 6) (pow im 6)))
  (log (+ (pow re 4) (- (pow im 4) (* re (* re (* im im))))))
  (log (- (pow re 4) (pow im 4)))
  (log (- (* re re) (* im im)))
  (log (+ (* re re) (* im im)))
  (log (log (+ (* re re) (* im im))))
  (+ (* re re) (* im im))
  (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))
  (cbrt (log (+ (* re re) (* im im))))
  (pow (log (+ (* re re) (* im im))) 3)
  (sqrt (log (+ (* re re) (* im im))))
  (sqrt (log (+ (* re re) (* im im))))
  (log (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 6) (pow im 6)))
  (sqrt (+ (pow re 4) (- (pow im 4) (* re (* re (* im im))))))
  (sqrt (- (pow re 4) (pow im 4)))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (pow base 2/3))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  1
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  base
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (log (cbrt base))
  (exp (cbrt base))
  (cbrt (pow base 2/3))
  (cbrt (cbrt base))
  (cbrt (sqrt base))
  (cbrt (sqrt base))
  1
  (cbrt base)
  (* (cbrt (cbrt base)) (cbrt (cbrt base)))
  (cbrt (cbrt base))
  base
  (sqrt (cbrt base))
  (sqrt (cbrt base))
  (+ (log 1) (* 2 (log im)))
  (+ (log 1) (* 2 (log re)))
  (+ (log 1) (* (log (/ -1 re)) -2))
  im
  re
  (neg re)
  (cbrt base)
  (cbrt base)
  (* (cbrt -1) (cbrt (* base -1)))
  (cbrt base)
  (cbrt base)
  (* (cbrt -1) (cbrt (* base -1)))
1.793 * * * [progress]: adding candidates to table
1.875 * [progress]: [Phase 3 of 3] Extracting.
1.875 * * [regime]: Finding splitpoints for: (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
1.882 * * * [regime-changes]: Trying 4 branch expressions: ((log base) base im re)
1.882 * * * * [regimes]: Trying to branch on (log base) from (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
1.996 * * * * [regimes]: Trying to branch on base from (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
2.105 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
2.247 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
2.391 * * * [regime]: Found split indices: #<option (#s(si 0 41) #s(si 10 136) #s(si 5 156) #s(si 1 198) #s(si 7 256))>
2.392 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
2.392 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.392 * * * * [points]: Computing exacts for 16 points
2.392 * * * * [points]: Setting MPFR precision to 64
2.393 * * * * [points]: Setting MPFR precision to 320
2.394 * * * * [points]: Filtering points with unrepresentable outputs
2.394 * * * * [points]: Sampling 8 additional inputs, on iter 1 have 8 / 16
2.394 * * * * [points]: Computing exacts for 8 points
2.394 * * * * [points]: Setting MPFR precision to 64
2.395 * * * * [points]: Setting MPFR precision to 320
2.395 * * * * [points]: Filtering points with unrepresentable outputs
2.395 * * * * [points]: Sampling 6 additional inputs, on iter 2 have 10 / 16
2.395 * * * * [points]: Computing exacts for 6 points
2.395 * * * * [points]: Setting MPFR precision to 64
2.395 * * * * [points]: Setting MPFR precision to 320
2.396 * * * * [points]: Filtering points with unrepresentable outputs
2.396 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 12 / 16
2.396 * * * * [points]: Computing exacts for 4 points
2.396 * * * * [points]: Setting MPFR precision to 64
2.396 * * * * [points]: Setting MPFR precision to 320
2.396 * * * * [points]: Filtering points with unrepresentable outputs
2.396 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 13 / 16
2.396 * * * * [points]: Computing exacts for 4 points
2.397 * * * * [points]: Setting MPFR precision to 64
2.397 * * * * [points]: Setting MPFR precision to 320
2.397 * * * * [points]: Filtering points with unrepresentable outputs
2.397 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 15 / 16
2.397 * * * * [points]: Computing exacts for 4 points
2.397 * * * * [points]: Setting MPFR precision to 64
2.397 * * * * [points]: Setting MPFR precision to 320
2.398 * * * * [points]: Filtering points with unrepresentable outputs
2.398 * * * * [points]: Sampled 19 points with exact outputs
2.400 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.400 * * * * [points]: Computing exacts for 16 points
2.400 * * * * [points]: Setting MPFR precision to 64
2.401 * * * * [points]: Setting MPFR precision to 320
2.402 * * * * [points]: Filtering points with unrepresentable outputs
2.402 * * * * [points]: Sampling 10 additional inputs, on iter 1 have 6 / 16
2.402 * * * * [points]: Computing exacts for 10 points
2.402 * * * * [points]: Setting MPFR precision to 64
2.402 * * * * [points]: Setting MPFR precision to 320
2.403 * * * * [points]: Filtering points with unrepresentable outputs
2.403 * * * * [points]: Sampling 5 additional inputs, on iter 2 have 11 / 16
2.403 * * * * [points]: Computing exacts for 5 points
2.403 * * * * [points]: Setting MPFR precision to 64
2.403 * * * * [points]: Setting MPFR precision to 320
2.403 * * * * [points]: Filtering points with unrepresentable outputs
2.403 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 14 / 16
2.403 * * * * [points]: Computing exacts for 4 points
2.404 * * * * [points]: Setting MPFR precision to 64
2.404 * * * * [points]: Setting MPFR precision to 320
2.404 * * * * [points]: Filtering points with unrepresentable outputs
2.404 * * * * [points]: Sampled 16 points with exact outputs
2.406 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.407 * * * * [points]: Computing exacts for 16 points
2.407 * * * * [points]: Setting MPFR precision to 64
2.407 * * * * [points]: Setting MPFR precision to 320
2.408 * * * * [points]: Filtering points with unrepresentable outputs
2.408 * * * * [points]: Sampling 6 additional inputs, on iter 1 have 10 / 16
2.408 * * * * [points]: Computing exacts for 6 points
2.408 * * * * [points]: Setting MPFR precision to 64
2.408 * * * * [points]: Setting MPFR precision to 320
2.409 * * * * [points]: Filtering points with unrepresentable outputs
2.409 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.409 * * * * [points]: Computing exacts for 4 points
2.409 * * * * [points]: Setting MPFR precision to 64
2.409 * * * * [points]: Setting MPFR precision to 320
2.409 * * * * [points]: Filtering points with unrepresentable outputs
2.409 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 13 / 16
2.409 * * * * [points]: Computing exacts for 4 points
2.410 * * * * [points]: Setting MPFR precision to 64
2.410 * * * * [points]: Setting MPFR precision to 320
2.410 * * * * [points]: Filtering points with unrepresentable outputs
2.410 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 14 / 16
2.410 * * * * [points]: Computing exacts for 4 points
2.410 * * * * [points]: Setting MPFR precision to 64
2.410 * * * * [points]: Setting MPFR precision to 320
2.411 * * * * [points]: Filtering points with unrepresentable outputs
2.411 * * * * [points]: Sampled 16 points with exact outputs
2.413 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.413 * * * * [points]: Computing exacts for 16 points
2.413 * * * * [points]: Setting MPFR precision to 64
2.414 * * * * [points]: Setting MPFR precision to 320
2.415 * * * * [points]: Filtering points with unrepresentable outputs
2.415 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.415 * * * * [points]: Computing exacts for 7 points
2.415 * * * * [points]: Setting MPFR precision to 64
2.415 * * * * [points]: Setting MPFR precision to 320
2.415 * * * * [points]: Filtering points with unrepresentable outputs
2.416 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.416 * * * * [points]: Computing exacts for 4 points
2.416 * * * * [points]: Setting MPFR precision to 64
2.416 * * * * [points]: Setting MPFR precision to 320
2.416 * * * * [points]: Filtering points with unrepresentable outputs
2.416 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 14 / 16
2.416 * * * * [points]: Computing exacts for 4 points
2.416 * * * * [points]: Setting MPFR precision to 64
2.417 * * * * [points]: Setting MPFR precision to 320
2.417 * * * * [points]: Filtering points with unrepresentable outputs
2.417 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 15 / 16
2.417 * * * * [points]: Computing exacts for 4 points
2.417 * * * * [points]: Setting MPFR precision to 64
2.417 * * * * [points]: Setting MPFR precision to 320
2.417 * * * * [points]: Filtering points with unrepresentable outputs
2.417 * * * * [points]: Sampled 16 points with exact outputs
2.420 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.420 * * * * [points]: Computing exacts for 16 points
2.420 * * * * [points]: Setting MPFR precision to 64
2.420 * * * * [points]: Setting MPFR precision to 320
2.421 * * * * [points]: Filtering points with unrepresentable outputs
2.421 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.421 * * * * [points]: Computing exacts for 7 points
2.421 * * * * [points]: Setting MPFR precision to 64
2.422 * * * * [points]: Setting MPFR precision to 320
2.422 * * * * [points]: Filtering points with unrepresentable outputs
2.422 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 13 / 16
2.422 * * * * [points]: Computing exacts for 4 points
2.422 * * * * [points]: Setting MPFR precision to 64
2.422 * * * * [points]: Setting MPFR precision to 320
2.423 * * * * [points]: Filtering points with unrepresentable outputs
2.423 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.423 * * * * [points]: Computing exacts for 4 points
2.423 * * * * [points]: Setting MPFR precision to 64
2.423 * * * * [points]: Setting MPFR precision to 320
2.423 * * * * [points]: Filtering points with unrepresentable outputs
2.423 * * * * [points]: Sampled 16 points with exact outputs
2.426 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.426 * * * * [points]: Computing exacts for 16 points
2.426 * * * * [points]: Setting MPFR precision to 64
2.427 * * * * [points]: Setting MPFR precision to 320
2.427 * * * * [points]: Filtering points with unrepresentable outputs
2.427 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.427 * * * * [points]: Computing exacts for 7 points
2.427 * * * * [points]: Setting MPFR precision to 64
2.428 * * * * [points]: Setting MPFR precision to 320
2.428 * * * * [points]: Filtering points with unrepresentable outputs
2.428 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.428 * * * * [points]: Computing exacts for 4 points
2.428 * * * * [points]: Setting MPFR precision to 64
2.429 * * * * [points]: Setting MPFR precision to 320
2.429 * * * * [points]: Filtering points with unrepresentable outputs
2.429 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.429 * * * * [points]: Computing exacts for 4 points
2.429 * * * * [points]: Setting MPFR precision to 64
2.429 * * * * [points]: Setting MPFR precision to 320
2.429 * * * * [points]: Filtering points with unrepresentable outputs
2.429 * * * * [points]: Sampled 16 points with exact outputs
2.432 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.432 * * * * [points]: Computing exacts for 16 points
2.432 * * * * [points]: Setting MPFR precision to 64
2.433 * * * * [points]: Setting MPFR precision to 320
2.433 * * * * [points]: Filtering points with unrepresentable outputs
2.433 * * * * [points]: Sampling 8 additional inputs, on iter 1 have 8 / 16
2.434 * * * * [points]: Computing exacts for 8 points
2.434 * * * * [points]: Setting MPFR precision to 64
2.434 * * * * [points]: Setting MPFR precision to 320
2.434 * * * * [points]: Filtering points with unrepresentable outputs
2.434 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.435 * * * * [points]: Computing exacts for 4 points
2.435 * * * * [points]: Setting MPFR precision to 64
2.435 * * * * [points]: Setting MPFR precision to 320
2.435 * * * * [points]: Filtering points with unrepresentable outputs
2.435 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 14 / 16
2.435 * * * * [points]: Computing exacts for 4 points
2.435 * * * * [points]: Setting MPFR precision to 64
2.436 * * * * [points]: Setting MPFR precision to 320
2.436 * * * * [points]: Filtering points with unrepresentable outputs
2.436 * * * * [points]: Sampled 16 points with exact outputs
2.438 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.438 * * * * [points]: Computing exacts for 16 points
2.439 * * * * [points]: Setting MPFR precision to 64
2.439 * * * * [points]: Setting MPFR precision to 320
2.440 * * * * [points]: Filtering points with unrepresentable outputs
2.440 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.440 * * * * [points]: Computing exacts for 7 points
2.440 * * * * [points]: Setting MPFR precision to 64
2.440 * * * * [points]: Setting MPFR precision to 320
2.441 * * * * [points]: Filtering points with unrepresentable outputs
2.441 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.441 * * * * [points]: Computing exacts for 4 points
2.441 * * * * [points]: Setting MPFR precision to 64
2.441 * * * * [points]: Setting MPFR precision to 320
2.441 * * * * [points]: Filtering points with unrepresentable outputs
2.441 * * * * [points]: Sampled 17 points with exact outputs
2.446 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.446 * * * * [points]: Computing exacts for 16 points
2.446 * * * * [points]: Setting MPFR precision to 64
2.447 * * * * [points]: Setting MPFR precision to 320
2.447 * * * * [points]: Filtering points with unrepresentable outputs
2.447 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.448 * * * * [points]: Computing exacts for 7 points
2.448 * * * * [points]: Setting MPFR precision to 64
2.448 * * * * [points]: Setting MPFR precision to 320
2.448 * * * * [points]: Filtering points with unrepresentable outputs
2.448 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.448 * * * * [points]: Computing exacts for 4 points
2.449 * * * * [points]: Setting MPFR precision to 64
2.449 * * * * [points]: Setting MPFR precision to 320
2.449 * * * * [points]: Filtering points with unrepresentable outputs
2.449 * * * * [points]: Sampled 18 points with exact outputs
2.451 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.451 * * * * [points]: Computing exacts for 16 points
2.452 * * * * [points]: Setting MPFR precision to 64
2.452 * * * * [points]: Setting MPFR precision to 320
2.453 * * * * [points]: Filtering points with unrepresentable outputs
2.453 * * * * [points]: Sampling 8 additional inputs, on iter 1 have 8 / 16
2.453 * * * * [points]: Computing exacts for 8 points
2.453 * * * * [points]: Setting MPFR precision to 64
2.454 * * * * [points]: Setting MPFR precision to 320
2.454 * * * * [points]: Filtering points with unrepresentable outputs
2.454 * * * * [points]: Sampling 5 additional inputs, on iter 2 have 11 / 16
2.454 * * * * [points]: Computing exacts for 5 points
2.454 * * * * [points]: Setting MPFR precision to 64
2.454 * * * * [points]: Setting MPFR precision to 320
2.455 * * * * [points]: Filtering points with unrepresentable outputs
2.455 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 14 / 16
2.455 * * * * [points]: Computing exacts for 4 points
2.455 * * * * [points]: Setting MPFR precision to 64
2.455 * * * * [points]: Setting MPFR precision to 320
2.455 * * * * [points]: Filtering points with unrepresentable outputs
2.455 * * * * [points]: Sampled 17 points with exact outputs
2.458 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.458 * * * * [points]: Computing exacts for 16 points
2.458 * * * * [points]: Setting MPFR precision to 64
2.459 * * * * [points]: Setting MPFR precision to 320
2.459 * * * * [points]: Filtering points with unrepresentable outputs
2.459 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.459 * * * * [points]: Computing exacts for 7 points
2.460 * * * * [points]: Setting MPFR precision to 64
2.460 * * * * [points]: Setting MPFR precision to 320
2.460 * * * * [points]: Filtering points with unrepresentable outputs
2.460 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.460 * * * * [points]: Computing exacts for 4 points
2.460 * * * * [points]: Setting MPFR precision to 64
2.461 * * * * [points]: Setting MPFR precision to 320
2.461 * * * * [points]: Filtering points with unrepresentable outputs
2.461 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 13 / 16
2.461 * * * * [points]: Computing exacts for 4 points
2.461 * * * * [points]: Setting MPFR precision to 64
2.461 * * * * [points]: Setting MPFR precision to 320
2.461 * * * * [points]: Filtering points with unrepresentable outputs
2.461 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 15 / 16
2.462 * * * * [points]: Computing exacts for 4 points
2.462 * * * * [points]: Setting MPFR precision to 64
2.462 * * * * [points]: Setting MPFR precision to 320
2.462 * * * * [points]: Filtering points with unrepresentable outputs
2.462 * * * * [points]: Sampled 16 points with exact outputs
2.464 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.465 * * * * [points]: Computing exacts for 16 points
2.465 * * * * [points]: Setting MPFR precision to 64
2.465 * * * * [points]: Setting MPFR precision to 320
2.466 * * * * [points]: Filtering points with unrepresentable outputs
2.466 * * * * [points]: Sampling 13 additional inputs, on iter 1 have 3 / 16
2.466 * * * * [points]: Computing exacts for 13 points
2.466 * * * * [points]: Setting MPFR precision to 64
2.467 * * * * [points]: Setting MPFR precision to 320
2.467 * * * * [points]: Filtering points with unrepresentable outputs
2.467 * * * * [points]: Sampling 7 additional inputs, on iter 2 have 9 / 16
2.468 * * * * [points]: Computing exacts for 7 points
2.468 * * * * [points]: Setting MPFR precision to 64
2.468 * * * * [points]: Setting MPFR precision to 320
2.468 * * * * [points]: Filtering points with unrepresentable outputs
2.468 * * * * [points]: Sampling 5 additional inputs, on iter 3 have 11 / 16
2.468 * * * * [points]: Computing exacts for 5 points
2.469 * * * * [points]: Setting MPFR precision to 64
2.469 * * * * [points]: Setting MPFR precision to 320
2.469 * * * * [points]: Filtering points with unrepresentable outputs
2.469 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 12 / 16
2.469 * * * * [points]: Computing exacts for 4 points
2.469 * * * * [points]: Setting MPFR precision to 64
2.469 * * * * [points]: Setting MPFR precision to 320
2.470 * * * * [points]: Filtering points with unrepresentable outputs
2.470 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 15 / 16
2.470 * * * * [points]: Computing exacts for 4 points
2.470 * * * * [points]: Setting MPFR precision to 64
2.470 * * * * [points]: Setting MPFR precision to 320
2.470 * * * * [points]: Filtering points with unrepresentable outputs
2.470 * * * * [points]: Sampled 18 points with exact outputs
2.473 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.473 * * * * [points]: Computing exacts for 16 points
2.473 * * * * [points]: Setting MPFR precision to 64
2.474 * * * * [points]: Setting MPFR precision to 320
2.474 * * * * [points]: Filtering points with unrepresentable outputs
2.474 * * * * [points]: Sampling 9 additional inputs, on iter 1 have 7 / 16
2.474 * * * * [points]: Computing exacts for 9 points
2.475 * * * * [points]: Setting MPFR precision to 64
2.475 * * * * [points]: Setting MPFR precision to 320
2.475 * * * * [points]: Filtering points with unrepresentable outputs
2.475 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.475 * * * * [points]: Computing exacts for 4 points
2.476 * * * * [points]: Setting MPFR precision to 64
2.476 * * * * [points]: Setting MPFR precision to 320
2.476 * * * * [points]: Filtering points with unrepresentable outputs
2.476 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 13 / 16
2.476 * * * * [points]: Computing exacts for 4 points
2.476 * * * * [points]: Setting MPFR precision to 64
2.476 * * * * [points]: Setting MPFR precision to 320
2.477 * * * * [points]: Filtering points with unrepresentable outputs
2.477 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 13 / 16
2.477 * * * * [points]: Computing exacts for 4 points
2.477 * * * * [points]: Setting MPFR precision to 64
2.477 * * * * [points]: Setting MPFR precision to 320
2.477 * * * * [points]: Filtering points with unrepresentable outputs
2.477 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 13 / 16
2.477 * * * * [points]: Computing exacts for 4 points
2.477 * * * * [points]: Setting MPFR precision to 64
2.478 * * * * [points]: Setting MPFR precision to 320
2.478 * * * * [points]: Filtering points with unrepresentable outputs
2.478 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 15 / 16
2.478 * * * * [points]: Computing exacts for 4 points
2.478 * * * * [points]: Setting MPFR precision to 64
2.478 * * * * [points]: Setting MPFR precision to 320
2.478 * * * * [points]: Filtering points with unrepresentable outputs
2.478 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 15 / 16
2.478 * * * * [points]: Computing exacts for 4 points
2.479 * * * * [points]: Setting MPFR precision to 64
2.479 * * * * [points]: Setting MPFR precision to 320
2.479 * * * * [points]: Filtering points with unrepresentable outputs
2.479 * * * * [points]: Sampled 16 points with exact outputs
2.481 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.482 * * * * [points]: Computing exacts for 16 points
2.482 * * * * [points]: Setting MPFR precision to 64
2.482 * * * * [points]: Setting MPFR precision to 320
2.483 * * * * [points]: Filtering points with unrepresentable outputs
2.483 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.483 * * * * [points]: Computing exacts for 7 points
2.483 * * * * [points]: Setting MPFR precision to 64
2.484 * * * * [points]: Setting MPFR precision to 320
2.484 * * * * [points]: Filtering points with unrepresentable outputs
2.484 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.484 * * * * [points]: Computing exacts for 4 points
2.484 * * * * [points]: Setting MPFR precision to 64
2.484 * * * * [points]: Setting MPFR precision to 320
2.485 * * * * [points]: Filtering points with unrepresentable outputs
2.485 * * * * [points]: Sampled 18 points with exact outputs
2.487 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.487 * * * * [points]: Computing exacts for 16 points
2.487 * * * * [points]: Setting MPFR precision to 64
2.488 * * * * [points]: Setting MPFR precision to 320
2.489 * * * * [points]: Filtering points with unrepresentable outputs
2.489 * * * * [points]: Sampling 8 additional inputs, on iter 1 have 8 / 16
2.489 * * * * [points]: Computing exacts for 8 points
2.489 * * * * [points]: Setting MPFR precision to 64
2.489 * * * * [points]: Setting MPFR precision to 320
2.490 * * * * [points]: Filtering points with unrepresentable outputs
2.490 * * * * [points]: Sampling 6 additional inputs, on iter 2 have 10 / 16
2.490 * * * * [points]: Computing exacts for 6 points
2.490 * * * * [points]: Setting MPFR precision to 64
2.490 * * * * [points]: Setting MPFR precision to 320
2.490 * * * * [points]: Filtering points with unrepresentable outputs
2.490 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.491 * * * * [points]: Computing exacts for 4 points
2.491 * * * * [points]: Setting MPFR precision to 64
2.491 * * * * [points]: Setting MPFR precision to 320
2.491 * * * * [points]: Filtering points with unrepresentable outputs
2.491 * * * * [points]: Sampled 16 points with exact outputs
2.493 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.494 * * * * [points]: Computing exacts for 16 points
2.494 * * * * [points]: Setting MPFR precision to 64
2.495 * * * * [points]: Setting MPFR precision to 320
2.495 * * * * [points]: Filtering points with unrepresentable outputs
2.495 * * * * [points]: Sampling 11 additional inputs, on iter 1 have 5 / 16
2.496 * * * * [points]: Computing exacts for 11 points
2.496 * * * * [points]: Setting MPFR precision to 64
2.496 * * * * [points]: Setting MPFR precision to 320
2.497 * * * * [points]: Filtering points with unrepresentable outputs
2.497 * * * * [points]: Sampling 7 additional inputs, on iter 2 have 9 / 16
2.497 * * * * [points]: Computing exacts for 7 points
2.497 * * * * [points]: Setting MPFR precision to 64
2.497 * * * * [points]: Setting MPFR precision to 320
2.497 * * * * [points]: Filtering points with unrepresentable outputs
2.498 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 14 / 16
2.498 * * * * [points]: Computing exacts for 4 points
2.498 * * * * [points]: Setting MPFR precision to 64
2.498 * * * * [points]: Setting MPFR precision to 320
2.498 * * * * [points]: Filtering points with unrepresentable outputs
2.498 * * * * [points]: Sampled 17 points with exact outputs
2.500 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.501 * * * * [points]: Computing exacts for 16 points
2.501 * * * * [points]: Setting MPFR precision to 64
2.501 * * * * [points]: Setting MPFR precision to 320
2.502 * * * * [points]: Filtering points with unrepresentable outputs
2.502 * * * * [points]: Sampling 10 additional inputs, on iter 1 have 6 / 16
2.502 * * * * [points]: Computing exacts for 10 points
2.502 * * * * [points]: Setting MPFR precision to 64
2.503 * * * * [points]: Setting MPFR precision to 320
2.503 * * * * [points]: Filtering points with unrepresentable outputs
2.503 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.503 * * * * [points]: Computing exacts for 4 points
2.503 * * * * [points]: Setting MPFR precision to 64
2.504 * * * * [points]: Setting MPFR precision to 320
2.504 * * * * [points]: Filtering points with unrepresentable outputs
2.504 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.504 * * * * [points]: Computing exacts for 4 points
2.504 * * * * [points]: Setting MPFR precision to 64
2.504 * * * * [points]: Setting MPFR precision to 320
2.505 * * * * [points]: Filtering points with unrepresentable outputs
2.505 * * * * [points]: Sampled 18 points with exact outputs
2.507 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.507 * * * * [points]: Computing exacts for 16 points
2.507 * * * * [points]: Setting MPFR precision to 64
2.508 * * * * [points]: Setting MPFR precision to 320
2.509 * * * * [points]: Filtering points with unrepresentable outputs
2.509 * * * * [points]: Sampling 5 additional inputs, on iter 1 have 11 / 16
2.509 * * * * [points]: Computing exacts for 5 points
2.509 * * * * [points]: Setting MPFR precision to 64
2.509 * * * * [points]: Setting MPFR precision to 320
2.509 * * * * [points]: Filtering points with unrepresentable outputs
2.509 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 13 / 16
2.509 * * * * [points]: Computing exacts for 4 points
2.509 * * * * [points]: Setting MPFR precision to 64
2.510 * * * * [points]: Setting MPFR precision to 320
2.510 * * * * [points]: Filtering points with unrepresentable outputs
2.510 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.510 * * * * [points]: Computing exacts for 4 points
2.510 * * * * [points]: Setting MPFR precision to 64
2.510 * * * * [points]: Setting MPFR precision to 320
2.510 * * * * [points]: Filtering points with unrepresentable outputs
2.511 * * * * [points]: Sampled 18 points with exact outputs
2.513 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.513 * * * * [points]: Computing exacts for 16 points
2.513 * * * * [points]: Setting MPFR precision to 64
2.514 * * * * [points]: Setting MPFR precision to 320
2.515 * * * * [points]: Filtering points with unrepresentable outputs
2.515 * * * * [points]: Sampling 9 additional inputs, on iter 1 have 7 / 16
2.515 * * * * [points]: Computing exacts for 9 points
2.515 * * * * [points]: Setting MPFR precision to 64
2.515 * * * * [points]: Setting MPFR precision to 320
2.516 * * * * [points]: Filtering points with unrepresentable outputs
2.516 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 13 / 16
2.516 * * * * [points]: Computing exacts for 4 points
2.516 * * * * [points]: Setting MPFR precision to 64
2.516 * * * * [points]: Setting MPFR precision to 320
2.516 * * * * [points]: Filtering points with unrepresentable outputs
2.516 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 13 / 16
2.516 * * * * [points]: Computing exacts for 4 points
2.516 * * * * [points]: Setting MPFR precision to 64
2.517 * * * * [points]: Setting MPFR precision to 320
2.517 * * * * [points]: Filtering points with unrepresentable outputs
2.517 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 15 / 16
2.517 * * * * [points]: Computing exacts for 4 points
2.517 * * * * [points]: Setting MPFR precision to 64
2.517 * * * * [points]: Setting MPFR precision to 320
2.517 * * * * [points]: Filtering points with unrepresentable outputs
2.517 * * * * [points]: Sampled 16 points with exact outputs
2.520 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.520 * * * * [points]: Computing exacts for 16 points
2.520 * * * * [points]: Setting MPFR precision to 64
2.521 * * * * [points]: Setting MPFR precision to 320
2.522 * * * * [points]: Filtering points with unrepresentable outputs
2.522 * * * * [points]: Sampling 6 additional inputs, on iter 1 have 10 / 16
2.522 * * * * [points]: Computing exacts for 6 points
2.522 * * * * [points]: Setting MPFR precision to 64
2.522 * * * * [points]: Setting MPFR precision to 320
2.522 * * * * [points]: Filtering points with unrepresentable outputs
2.522 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.522 * * * * [points]: Computing exacts for 4 points
2.523 * * * * [points]: Setting MPFR precision to 64
2.523 * * * * [points]: Setting MPFR precision to 320
2.523 * * * * [points]: Filtering points with unrepresentable outputs
2.523 * * * * [points]: Sampled 16 points with exact outputs
2.525 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.526 * * * * [points]: Computing exacts for 16 points
2.526 * * * * [points]: Setting MPFR precision to 64
2.526 * * * * [points]: Setting MPFR precision to 320
2.527 * * * * [points]: Filtering points with unrepresentable outputs
2.527 * * * * [points]: Sampling 9 additional inputs, on iter 1 have 7 / 16
2.527 * * * * [points]: Computing exacts for 9 points
2.527 * * * * [points]: Setting MPFR precision to 64
2.528 * * * * [points]: Setting MPFR precision to 320
2.528 * * * * [points]: Filtering points with unrepresentable outputs
2.528 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 12 / 16
2.528 * * * * [points]: Computing exacts for 4 points
2.528 * * * * [points]: Setting MPFR precision to 64
2.529 * * * * [points]: Setting MPFR precision to 320
2.529 * * * * [points]: Filtering points with unrepresentable outputs
2.529 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 13 / 16
2.529 * * * * [points]: Computing exacts for 4 points
2.529 * * * * [points]: Setting MPFR precision to 64
2.529 * * * * [points]: Setting MPFR precision to 320
2.529 * * * * [points]: Filtering points with unrepresentable outputs
2.529 * * * * [points]: Sampled 16 points with exact outputs
2.532 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.532 * * * * [points]: Computing exacts for 16 points
2.532 * * * * [points]: Setting MPFR precision to 64
2.533 * * * * [points]: Setting MPFR precision to 320
2.533 * * * * [points]: Filtering points with unrepresentable outputs
2.534 * * * * [points]: Sampling 9 additional inputs, on iter 1 have 7 / 16
2.534 * * * * [points]: Computing exacts for 9 points
2.534 * * * * [points]: Setting MPFR precision to 64
2.534 * * * * [points]: Setting MPFR precision to 320
2.535 * * * * [points]: Filtering points with unrepresentable outputs
2.535 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.535 * * * * [points]: Computing exacts for 4 points
2.535 * * * * [points]: Setting MPFR precision to 64
2.535 * * * * [points]: Setting MPFR precision to 320
2.535 * * * * [points]: Filtering points with unrepresentable outputs
2.535 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.535 * * * * [points]: Computing exacts for 4 points
2.535 * * * * [points]: Setting MPFR precision to 64
2.536 * * * * [points]: Setting MPFR precision to 320
2.536 * * * * [points]: Filtering points with unrepresentable outputs
2.536 * * * * [points]: Sampled 19 points with exact outputs
2.538 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.538 * * * * [points]: Computing exacts for 16 points
2.539 * * * * [points]: Setting MPFR precision to 64
2.539 * * * * [points]: Setting MPFR precision to 320
2.540 * * * * [points]: Filtering points with unrepresentable outputs
2.540 * * * * [points]: Sampling 7 additional inputs, on iter 1 have 9 / 16
2.540 * * * * [points]: Computing exacts for 7 points
2.540 * * * * [points]: Setting MPFR precision to 64
2.541 * * * * [points]: Setting MPFR precision to 320
2.541 * * * * [points]: Filtering points with unrepresentable outputs
2.541 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 13 / 16
2.541 * * * * [points]: Computing exacts for 4 points
2.541 * * * * [points]: Setting MPFR precision to 64
2.541 * * * * [points]: Setting MPFR precision to 320
2.542 * * * * [points]: Filtering points with unrepresentable outputs
2.542 * * * * [points]: Sampled 16 points with exact outputs
2.544 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.545 * * * * [points]: Computing exacts for 16 points
2.545 * * * * [points]: Setting MPFR precision to 64
2.545 * * * * [points]: Setting MPFR precision to 320
2.546 * * * * [points]: Filtering points with unrepresentable outputs
2.546 * * * * [points]: Sampling 6 additional inputs, on iter 1 have 10 / 16
2.546 * * * * [points]: Computing exacts for 6 points
2.546 * * * * [points]: Setting MPFR precision to 64
2.547 * * * * [points]: Setting MPFR precision to 320
2.547 * * * * [points]: Filtering points with unrepresentable outputs
2.547 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 14 / 16
2.547 * * * * [points]: Computing exacts for 4 points
2.547 * * * * [points]: Setting MPFR precision to 64
2.547 * * * * [points]: Setting MPFR precision to 320
2.547 * * * * [points]: Filtering points with unrepresentable outputs
2.547 * * * * [points]: Sampled 16 points with exact outputs
2.550 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.550 * * * * [points]: Computing exacts for 16 points
2.550 * * * * [points]: Setting MPFR precision to 64
2.551 * * * * [points]: Setting MPFR precision to 320
2.551 * * * * [points]: Filtering points with unrepresentable outputs
2.551 * * * * [points]: Sampling 8 additional inputs, on iter 1 have 8 / 16
2.552 * * * * [points]: Computing exacts for 8 points
2.552 * * * * [points]: Setting MPFR precision to 64
2.552 * * * * [points]: Setting MPFR precision to 320
2.552 * * * * [points]: Filtering points with unrepresentable outputs
2.552 * * * * [points]: Sampling 4 additional inputs, on iter 2 have 15 / 16
2.553 * * * * [points]: Computing exacts for 4 points
2.553 * * * * [points]: Setting MPFR precision to 64
2.553 * * * * [points]: Setting MPFR precision to 320
2.553 * * * * [points]: Filtering points with unrepresentable outputs
2.553 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 15 / 16
2.553 * * * * [points]: Computing exacts for 4 points
2.553 * * * * [points]: Setting MPFR precision to 64
2.553 * * * * [points]: Setting MPFR precision to 320
2.554 * * * * [points]: Filtering points with unrepresentable outputs
2.554 * * * * [points]: Sampled 16 points with exact outputs
2.558 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.558 * * * * [points]: Computing exacts for 16 points
2.558 * * * * [points]: Setting MPFR precision to 64
2.559 * * * * [points]: Setting MPFR precision to 320
2.560 * * * * [points]: Filtering points with unrepresentable outputs
2.560 * * * * [points]: Sampling 10 additional inputs, on iter 1 have 6 / 16
2.560 * * * * [points]: Computing exacts for 10 points
2.560 * * * * [points]: Setting MPFR precision to 64
2.560 * * * * [points]: Setting MPFR precision to 320
2.561 * * * * [points]: Filtering points with unrepresentable outputs
2.561 * * * * [points]: Sampling 6 additional inputs, on iter 2 have 10 / 16
2.561 * * * * [points]: Computing exacts for 6 points
2.561 * * * * [points]: Setting MPFR precision to 64
2.561 * * * * [points]: Setting MPFR precision to 320
2.561 * * * * [points]: Filtering points with unrepresentable outputs
2.562 * * * * [points]: Sampling 5 additional inputs, on iter 3 have 11 / 16
2.562 * * * * [points]: Computing exacts for 5 points
2.562 * * * * [points]: Setting MPFR precision to 64
2.562 * * * * [points]: Setting MPFR precision to 320
2.562 * * * * [points]: Filtering points with unrepresentable outputs
2.562 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 12 / 16
2.562 * * * * [points]: Computing exacts for 4 points
2.562 * * * * [points]: Setting MPFR precision to 64
2.563 * * * * [points]: Setting MPFR precision to 320
2.563 * * * * [points]: Filtering points with unrepresentable outputs
2.563 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 14 / 16
2.563 * * * * [points]: Computing exacts for 4 points
2.563 * * * * [points]: Setting MPFR precision to 64
2.563 * * * * [points]: Setting MPFR precision to 320
2.563 * * * * [points]: Filtering points with unrepresentable outputs
2.563 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 15 / 16
2.563 * * * * [points]: Computing exacts for 4 points
2.564 * * * * [points]: Setting MPFR precision to 64
2.564 * * * * [points]: Setting MPFR precision to 320
2.564 * * * * [points]: Filtering points with unrepresentable outputs
2.564 * * * * [points]: Sampled 17 points with exact outputs
2.566 * * * * [points]: Sampling 16 additional inputs, on iter 0 have 0 / 16
2.567 * * * * [points]: Computing exacts for 16 points
2.567 * * * * [points]: Setting MPFR precision to 64
2.567 * * * * [points]: Setting MPFR precision to 320
2.568 * * * * [points]: Filtering points with unrepresentable outputs
2.568 * * * * [points]: Sampling 12 additional inputs, on iter 1 have 4 / 16
2.568 * * * * [points]: Computing exacts for 12 points
2.568 * * * * [points]: Setting MPFR precision to 64
2.569 * * * * [points]: Setting MPFR precision to 320
2.569 * * * * [points]: Filtering points with unrepresentable outputs
2.569 * * * * [points]: Sampling 7 additional inputs, on iter 2 have 9 / 16
2.570 * * * * [points]: Computing exacts for 7 points
2.570 * * * * [points]: Setting MPFR precision to 64
2.570 * * * * [points]: Setting MPFR precision to 320
2.570 * * * * [points]: Filtering points with unrepresentable outputs
2.570 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 12 / 16
2.570 * * * * [points]: Computing exacts for 4 points
2.570 * * * * [points]: Setting MPFR precision to 64
2.571 * * * * [points]: Setting MPFR precision to 320
2.571 * * * * [points]: Filtering points with unrepresentable outputs
2.571 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 15 / 16
2.571 * * * * [points]: Computing exacts for 4 points
2.571 * * * * [points]: Setting MPFR precision to 64
2.571 * * * * [points]: Setting MPFR precision to 320
2.572 * * * * [points]: Filtering points with unrepresentable outputs
2.572 * * * * [points]: Sampled 19 points with exact outputs
2.574 * [regimes]: Found splitpoints: (#s(sp 0 re -3.2792927917367154e+72) #s(sp 10 re 1.3644360600461893e-269) #s(sp 5 re 3.4160082491612644e-169) #s(sp 1 re 7.175104160147713e+17) #s(sp 7 re +nan.0)) , with alts (#<alt (λ (re im base) (/ (- (log 1) (log (/ -1 re))) (log base)))> #<alt (λ (re im base) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)))> #<alt (λ (re im base) (* (* (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0)))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))) (cbrt (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))))))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (log 1) (log im)) (log base)))> #<alt (λ (re im base) (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (log re) (log base)))> #<alt (λ (re im base) (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log (neg re)) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))))> #<alt (λ (re im 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)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log im) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (/ (+ (+ (* (log (cbrt base)) (log (+ (* re re) (* im im)))) (* (log (sqrt (+ (* re re) (* im im)))) (log (cbrt base)))) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))> #<alt (λ (re im base) (* (/ (+ (* (log re) (log base)) (* (atan2 im re) 0.0)) (- (pow (log base) 4) (pow 0.0 4))) (- (* (log base) (log base)) (* 0.0 0.0))))>)
2.574 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= re -3.2792927917367154e+72) (/ (- (log 1) (log (/ -1 re))) (log base)) (if (<= re 1.3644360600461893e-269) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))) (if (<= re 3.4160082491612644e-169) (/ (+ (log 1) (log im)) (log base)) (if (<= re 7.175104160147713e+17) (cbrt (pow (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (pow (log base) 2) (* 0.0 0.0))) 3)) (/ (log re) (log base))))))
2.575 * * [simplify]: iteration  0 :  67  enodes  (cost  97 )
2.575 * * [simplify]: iteration  1 :  67  enodes  (cost  97 )
2.576 * [simplify]: Simplified to:
   (if (<= re -3.2792927917367154e+72) (/ (- (log 1) (log (/ -1 re))) (log base)) (if (<= re 1.3644360600461893e-269) (/ (+ (* (log base) (log (sqrt (+ (* re re) (* im im))))) (* (atan2 im re) 0.0)) (+ (cbrt (pow (log base) 6)) (* 0.0 0.0))) (if (<= re 3.4160082491612644e-169) (/ (+ (log 1) (log im)) (log base)) (if (<= re 7.175104160147713e+17) (cbrt (pow (/ (+ (* (log base) (log (sqrt (+ (* re re) (* im im))))) (* (atan2 im re) 0.0)) (+ (* 0.0 0.0) (pow (log base) 2))) 3)) (/ (log re) (log base))))))
2.576 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
2.669 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
2.670 * * * * [points]: Setting MPFR precision to 64
2.670 * * * * [points]: Setting MPFR precision to 320
2.671 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.671 * * * * [points]: Setting MPFR precision to 64
2.672 * * * * [points]: Setting MPFR precision to 320
2.674 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.674 * * * * [points]: Setting MPFR precision to 64
2.676 * * * * [points]: Setting MPFR precision to 320
2.680 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.680 * * * * [points]: Setting MPFR precision to 64
2.684 * * * * [points]: Setting MPFR precision to 320
2.690 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.690 * * * * [points]: Setting MPFR precision to 64
2.698 * * * * [points]: Setting MPFR precision to 320
2.709 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.710 * * * * [points]: Setting MPFR precision to 64
2.730 * * * * [points]: Setting MPFR precision to 320
2.752 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.753 * * * * [points]: Setting MPFR precision to 64
2.787 * * * * [points]: Setting MPFR precision to 320
2.832 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.832 * * * * [points]: Setting MPFR precision to 64
2.901 * * * * [points]: Setting MPFR precision to 320
2.990 * * * * [points]: Computing exacts for 8000 points
2.990 * * * * [points]: Setting MPFR precision to 64
3.268 * * * * [points]: Setting MPFR precision to 320
3.614 * * * * [points]: Filtering points with unrepresentable outputs
3.626 * * * * [points]: Sampling 909 additional inputs, on iter 1 have 7091 / 8000
3.637 * * * * [points]: Computing exacts on every 56 of 909 points to ramp up precision
3.637 * * * * [points]: Setting MPFR precision to 64
3.637 * * * * [points]: Setting MPFR precision to 320
3.638 * * * * [points]: Computing exacts on every 28 of 909 points to ramp up precision
3.638 * * * * [points]: Setting MPFR precision to 64
3.639 * * * * [points]: Setting MPFR precision to 320
3.641 * * * * [points]: Computing exacts on every 14 of 909 points to ramp up precision
3.641 * * * * [points]: Setting MPFR precision to 64
3.643 * * * * [points]: Setting MPFR precision to 320
3.645 * * * * [points]: Computing exacts on every 7 of 909 points to ramp up precision
3.646 * * * * [points]: Setting MPFR precision to 64
3.649 * * * * [points]: Setting MPFR precision to 320
3.654 * * * * [points]: Computing exacts on every 3 of 909 points to ramp up precision
3.655 * * * * [points]: Setting MPFR precision to 64
3.663 * * * * [points]: Setting MPFR precision to 320
3.673 * * * * [points]: Computing exacts for 909 points
3.673 * * * * [points]: Setting MPFR precision to 64
3.707 * * * * [points]: Setting MPFR precision to 320
3.746 * * * * [points]: Filtering points with unrepresentable outputs
3.748 * * * * [points]: Sampling 95 additional inputs, on iter 2 have 7905 / 8000
3.749 * * * * [points]: Computing exacts on every 5 of 95 points to ramp up precision
3.749 * * * * [points]: Setting MPFR precision to 64
3.750 * * * * [points]: Setting MPFR precision to 320
3.751 * * * * [points]: Computing exacts on every 2 of 95 points to ramp up precision
3.751 * * * * [points]: Setting MPFR precision to 64
3.752 * * * * [points]: Setting MPFR precision to 320
3.753 * * * * [points]: Computing exacts for 95 points
3.753 * * * * [points]: Setting MPFR precision to 64
3.757 * * * * [points]: Setting MPFR precision to 320
3.761 * * * * [points]: Filtering points with unrepresentable outputs
3.761 * * * * [points]: Sampling 13 additional inputs, on iter 3 have 7987 / 8000
3.761 * * * * [points]: Computing exacts for 13 points
3.761 * * * * [points]: Setting MPFR precision to 64
3.762 * * * * [points]: Setting MPFR precision to 320
3.763 * * * * [points]: Filtering points with unrepresentable outputs
3.763 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 7998 / 8000
3.763 * * * * [points]: Computing exacts for 4 points
3.763 * * * * [points]: Setting MPFR precision to 64
3.763 * * * * [points]: Setting MPFR precision to 320
3.763 * * * * [points]: Filtering points with unrepresentable outputs
3.763 * * * * [points]: Sampled 8001 points with exact outputs
6.662 * [regime-testing]: End program error score: 18.545941169810355