20.878 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.467 * * * [progress]: [2/2] Setting up program.
0.469 * [progress]: [Phase 2 of 3] Improving.
0.469 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
0.595 * * [simplify]: iteration  0 :  5741  enodes  (cost  19 )
0.596 * [simplify]: Simplified to:
   (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
0.600 * * [progress]: iteration 1 / 4
0.600 * * * [progress]: picking best candidate
0.603 * * * * [pick]: Picked  #<alt (λ (re im base) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))>
0.603 * * * [progress]: localizing error
0.613 * * * [progress]: generating rewritten candidates
0.613 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.617 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.625 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.632 * * * [progress]: generating series expansions
0.632 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.632 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.632 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.632 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.632 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.632 * [taylor]: Taking taylor expansion of re in im
0.632 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.632 * [taylor]: Taking taylor expansion of im in im
0.633 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.633 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.633 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.633 * [taylor]: Taking taylor expansion of re in re
0.633 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.633 * [taylor]: Taking taylor expansion of im in re
0.634 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.634 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.634 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.634 * [taylor]: Taking taylor expansion of re in re
0.634 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.634 * [taylor]: Taking taylor expansion of im in re
0.635 * [taylor]: Taking taylor expansion of im in im
0.635 * [taylor]: Taking taylor expansion of 0 in im
0.636 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.636 * [taylor]: Taking taylor expansion of 1/2 in im
0.636 * [taylor]: Taking taylor expansion of im in im
0.638 * [taylor]: Taking taylor expansion of 0 in im
0.639 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.639 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.639 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.639 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.639 * [taylor]: Taking taylor expansion of im in im
0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.639 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.639 * [taylor]: Taking taylor expansion of re in im
0.640 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.640 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.640 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.640 * [taylor]: Taking taylor expansion of im in re
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.641 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.641 * [taylor]: Taking taylor expansion of re in re
0.641 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.642 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.642 * [taylor]: Taking taylor expansion of im in re
0.642 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.642 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.642 * [taylor]: Taking taylor expansion of re in re
0.643 * [taylor]: Taking taylor expansion of 1 in im
0.643 * [taylor]: Taking taylor expansion of 0 in im
0.644 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.644 * [taylor]: Taking taylor expansion of 1/2 in im
0.644 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.644 * [taylor]: Taking taylor expansion of im in im
0.647 * [taylor]: Taking taylor expansion of 0 in im
0.648 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.648 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.649 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.649 * [taylor]: Taking taylor expansion of im in im
0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.649 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.649 * [taylor]: Taking taylor expansion of re in im
0.649 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.650 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.650 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.650 * [taylor]: Taking taylor expansion of im in re
0.650 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.650 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.650 * [taylor]: Taking taylor expansion of re in re
0.651 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.651 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.651 * [taylor]: Taking taylor expansion of im in re
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.651 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.651 * [taylor]: Taking taylor expansion of re in re
0.652 * [taylor]: Taking taylor expansion of 1 in im
0.652 * [taylor]: Taking taylor expansion of 0 in im
0.653 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.653 * [taylor]: Taking taylor expansion of 1/2 in im
0.653 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.653 * [taylor]: Taking taylor expansion of im in im
0.655 * [taylor]: Taking taylor expansion of 0 in im
0.656 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.657 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
0.657 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
0.657 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
0.657 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
0.657 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
0.657 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.657 * [taylor]: Taking taylor expansion of re in base
0.657 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.657 * [taylor]: Taking taylor expansion of im in base
0.658 * [taylor]: Taking taylor expansion of (log base) in base
0.658 * [taylor]: Taking taylor expansion of base in base
0.659 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
0.660 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
0.660 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.660 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.660 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.660 * [taylor]: Taking taylor expansion of re in im
0.660 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.660 * [taylor]: Taking taylor expansion of im in im
0.660 * [taylor]: Taking taylor expansion of (log base) in im
0.660 * [taylor]: Taking taylor expansion of base in im
0.661 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.661 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.661 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.661 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.661 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.661 * [taylor]: Taking taylor expansion of re in re
0.661 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.661 * [taylor]: Taking taylor expansion of im in re
0.662 * [taylor]: Taking taylor expansion of (log base) in re
0.662 * [taylor]: Taking taylor expansion of base in re
0.662 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
0.662 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
0.662 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.662 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.662 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.662 * [taylor]: Taking taylor expansion of re in re
0.662 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.662 * [taylor]: Taking taylor expansion of im in re
0.663 * [taylor]: Taking taylor expansion of (log base) in re
0.663 * [taylor]: Taking taylor expansion of base in re
0.663 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im
0.663 * [taylor]: Taking taylor expansion of (log im) in im
0.663 * [taylor]: Taking taylor expansion of im in im
0.663 * [taylor]: Taking taylor expansion of (log base) in im
0.663 * [taylor]: Taking taylor expansion of base in im
0.664 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base
0.664 * [taylor]: Taking taylor expansion of (log im) in base
0.664 * [taylor]: Taking taylor expansion of im in base
0.664 * [taylor]: Taking taylor expansion of (log base) in base
0.664 * [taylor]: Taking taylor expansion of base in base
0.666 * [taylor]: Taking taylor expansion of 0 in im
0.666 * [taylor]: Taking taylor expansion of 0 in base
0.667 * [taylor]: Taking taylor expansion of 0 in base
0.672 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im
0.672 * [taylor]: Taking taylor expansion of 1/2 in im
0.672 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im
0.672 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im
0.672 * [taylor]: Taking taylor expansion of (log base) in im
0.672 * [taylor]: Taking taylor expansion of base in im
0.672 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.672 * [taylor]: Taking taylor expansion of im in im
0.675 * [taylor]: Taking taylor expansion of 0 in base
0.675 * [taylor]: Taking taylor expansion of 0 in base
0.677 * [taylor]: Taking taylor expansion of 0 in base
0.678 * [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.679 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
0.679 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.679 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.679 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.679 * [taylor]: Taking taylor expansion of im in base
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.679 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.679 * [taylor]: Taking taylor expansion of re in base
0.682 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.682 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.682 * [taylor]: Taking taylor expansion of base in base
0.683 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
0.683 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.683 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.683 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.683 * [taylor]: Taking taylor expansion of im in im
0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.683 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.683 * [taylor]: Taking taylor expansion of re in im
0.684 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.684 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.684 * [taylor]: Taking taylor expansion of base in im
0.685 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.685 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.685 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.685 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.685 * [taylor]: Taking taylor expansion of im in re
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.685 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.685 * [taylor]: Taking taylor expansion of re in re
0.686 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.686 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.686 * [taylor]: Taking taylor expansion of base in re
0.687 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
0.687 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.687 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.687 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.687 * [taylor]: Taking taylor expansion of im in re
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.687 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.687 * [taylor]: Taking taylor expansion of re in re
0.688 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
0.688 * [taylor]: Taking taylor expansion of (/ 1 base) in re
0.688 * [taylor]: Taking taylor expansion of base in re
0.689 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im
0.689 * [taylor]: Taking taylor expansion of -1 in im
0.689 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im
0.689 * [taylor]: Taking taylor expansion of (log re) in im
0.689 * [taylor]: Taking taylor expansion of re in im
0.689 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.689 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.689 * [taylor]: Taking taylor expansion of base in im
0.690 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base
0.690 * [taylor]: Taking taylor expansion of -1 in base
0.690 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base
0.690 * [taylor]: Taking taylor expansion of (log re) in base
0.690 * [taylor]: Taking taylor expansion of re in base
0.690 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
0.690 * [taylor]: Taking taylor expansion of (/ 1 base) in base
0.690 * [taylor]: Taking taylor expansion of base in base
0.693 * [taylor]: Taking taylor expansion of 0 in im
0.693 * [taylor]: Taking taylor expansion of 0 in base
0.695 * [taylor]: Taking taylor expansion of 0 in base
0.702 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im
0.702 * [taylor]: Taking taylor expansion of 1/2 in im
0.702 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im
0.702 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im
0.702 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.702 * [taylor]: Taking taylor expansion of im in im
0.702 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
0.702 * [taylor]: Taking taylor expansion of (/ 1 base) in im
0.702 * [taylor]: Taking taylor expansion of base in im
0.707 * [taylor]: Taking taylor expansion of 0 in base
0.707 * [taylor]: Taking taylor expansion of 0 in base
0.710 * [taylor]: Taking taylor expansion of 0 in base
0.711 * [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.711 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
0.711 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
0.711 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
0.712 * [taylor]: Taking taylor expansion of (pow im 2) in base
0.712 * [taylor]: Taking taylor expansion of im in base
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
0.712 * [taylor]: Taking taylor expansion of (pow re 2) in base
0.712 * [taylor]: Taking taylor expansion of re in base
0.715 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.715 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.715 * [taylor]: Taking taylor expansion of -1 in base
0.715 * [taylor]: Taking taylor expansion of base in base
0.716 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
0.716 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.716 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.716 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.716 * [taylor]: Taking taylor expansion of im in im
0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.716 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.716 * [taylor]: Taking taylor expansion of re in im
0.717 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.717 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.717 * [taylor]: Taking taylor expansion of -1 in im
0.717 * [taylor]: Taking taylor expansion of base in im
0.718 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.718 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.718 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.718 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.718 * [taylor]: Taking taylor expansion of im in re
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.718 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.718 * [taylor]: Taking taylor expansion of re in re
0.719 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.719 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.719 * [taylor]: Taking taylor expansion of -1 in re
0.719 * [taylor]: Taking taylor expansion of base in re
0.720 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
0.720 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.720 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.720 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.720 * [taylor]: Taking taylor expansion of im in re
0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.720 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.720 * [taylor]: Taking taylor expansion of re in re
0.721 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
0.721 * [taylor]: Taking taylor expansion of (/ -1 base) in re
0.721 * [taylor]: Taking taylor expansion of -1 in re
0.721 * [taylor]: Taking taylor expansion of base in re
0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im
0.722 * [taylor]: Taking taylor expansion of -1 in im
0.722 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im
0.722 * [taylor]: Taking taylor expansion of (log re) in im
0.722 * [taylor]: Taking taylor expansion of re in im
0.722 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.722 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.722 * [taylor]: Taking taylor expansion of -1 in im
0.722 * [taylor]: Taking taylor expansion of base in im
0.723 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base
0.723 * [taylor]: Taking taylor expansion of -1 in base
0.723 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base
0.723 * [taylor]: Taking taylor expansion of (log re) in base
0.723 * [taylor]: Taking taylor expansion of re in base
0.723 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
0.723 * [taylor]: Taking taylor expansion of (/ -1 base) in base
0.723 * [taylor]: Taking taylor expansion of -1 in base
0.723 * [taylor]: Taking taylor expansion of base in base
0.726 * [taylor]: Taking taylor expansion of 0 in im
0.726 * [taylor]: Taking taylor expansion of 0 in base
0.729 * [taylor]: Taking taylor expansion of 0 in base
0.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im
0.736 * [taylor]: Taking taylor expansion of 1/2 in im
0.736 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im
0.736 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im
0.736 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
0.736 * [taylor]: Taking taylor expansion of (/ -1 base) in im
0.736 * [taylor]: Taking taylor expansion of -1 in im
0.736 * [taylor]: Taking taylor expansion of base in im
0.736 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.736 * [taylor]: Taking taylor expansion of im in im
0.741 * [taylor]: Taking taylor expansion of 0 in base
0.741 * [taylor]: Taking taylor expansion of 0 in base
0.744 * [taylor]: Taking taylor expansion of 0 in base
0.745 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.745 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
0.746 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.746 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.746 * [taylor]: Taking taylor expansion of re in im
0.746 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.746 * [taylor]: Taking taylor expansion of im in im
0.746 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.746 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.746 * [taylor]: Taking taylor expansion of re in re
0.746 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.746 * [taylor]: Taking taylor expansion of im in re
0.746 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.746 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.746 * [taylor]: Taking taylor expansion of re in re
0.746 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.746 * [taylor]: Taking taylor expansion of im in re
0.746 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.746 * [taylor]: Taking taylor expansion of im in im
0.747 * [taylor]: Taking taylor expansion of 0 in im
0.747 * [taylor]: Taking taylor expansion of 1 in im
0.748 * [taylor]: Taking taylor expansion of 0 in im
0.748 * [taylor]: Taking taylor expansion of 0 in im
0.750 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.750 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.750 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.750 * [taylor]: Taking taylor expansion of im in im
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.750 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.750 * [taylor]: Taking taylor expansion of re in im
0.750 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.750 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.750 * [taylor]: Taking taylor expansion of im in re
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.750 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.750 * [taylor]: Taking taylor expansion of re in re
0.750 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.750 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.750 * [taylor]: Taking taylor expansion of im in re
0.751 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.751 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.751 * [taylor]: Taking taylor expansion of re in re
0.751 * [taylor]: Taking taylor expansion of 1 in im
0.751 * [taylor]: Taking taylor expansion of 0 in im
0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.752 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.752 * [taylor]: Taking taylor expansion of im in im
0.756 * [taylor]: Taking taylor expansion of 0 in im
0.758 * [taylor]: Taking taylor expansion of 0 in im
0.760 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.760 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.760 * [taylor]: Taking taylor expansion of im in im
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.760 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.760 * [taylor]: Taking taylor expansion of re in im
0.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.760 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.760 * [taylor]: Taking taylor expansion of im in re
0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.761 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.761 * [taylor]: Taking taylor expansion of re in re
0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.761 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.761 * [taylor]: Taking taylor expansion of im in re
0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.761 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.761 * [taylor]: Taking taylor expansion of re in re
0.761 * [taylor]: Taking taylor expansion of 1 in im
0.762 * [taylor]: Taking taylor expansion of 0 in im
0.762 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.763 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.763 * [taylor]: Taking taylor expansion of im in im
0.764 * [taylor]: Taking taylor expansion of 0 in im
0.766 * [taylor]: Taking taylor expansion of 0 in im
0.768 * * * [progress]: simplifying candidates
0.769 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (-.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 (log.f64 base)))
  (exp.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (*.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (/.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)))
  (sqrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (sqrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (neg.f64 (log.f64 base))
  (/.f64 1/2 1)
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))
  (/.f64 1/2 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))
  (/.f64 1/2 1)
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 1 1)
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (log.f64 base)))
  (/.f64 1 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (/.f64 1 1)
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 (/.f64 1 2) 1)
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 (/.f64 1 2) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))
  (/.f64 (/.f64 1 2) (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))
  (/.f64 (/.f64 1 2) 1)
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 1)
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 base)))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 1)
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 1)
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 1)
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 1 1)
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (log.f64 base)))
  (/.f64 1 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (/.f64 1 1)
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 1 (log.f64 base))
  (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (log.f64 base) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (log.f64 base) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1)
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1)
  (*.f64 (exp.f64 (*.f64 re re)) (exp.f64 (*.f64 im im)))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))
  (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im))))
  (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im)))
  (-.f64 (*.f64 re re) (*.f64 im im))
  im
  re
  (*.f64 -1 re)
  (/.f64 (log.f64 im) (log.f64 base))
  (/.f64 (log.f64 (/.f64 1 re)) (log.f64 (/.f64 1 base)))
  (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base)))))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
0.854 * * [simplify]: iteration  0 :  5289  enodes  (cost  1833 )
0.863 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (exp.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 3)
  (*.f64 (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (cbrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 3)
  (sqrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (sqrt.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (neg.f64 (log.f64 base))
  1/2
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))
  (/.f64 1/2 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))
  1/2
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  1
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (log.f64 base)))
  (/.f64 1 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  1
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  1/2
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))
  (/.f64 1/2 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))
  1/2
  (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 base)))
  (/.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  1
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (log.f64 base)))
  (/.f64 1 (sqrt.f64 (log.f64 base)))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  1
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))) (log.f64 base))
  (/.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 1 (log.f64 base))
  (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (log.f64 base) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (log.f64 base) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (/.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (+.f64 (pow.f64 re 6) (pow.f64 im 6))
  (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im))))
  (-.f64 (pow.f64 re 4) (pow.f64 im 4))
  (-.f64 (*.f64 re re) (*.f64 im im))
  im
  re
  (neg.f64 re)
  (/.f64 (log.f64 im) (log.f64 base))
  (/.f64 (log.f64 re) (log.f64 base))
  (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base)))
  (+.f64 (*.f64 re re) (*.f64 im im))
  (+.f64 (*.f64 re re) (*.f64 im im))
  (+.f64 (*.f64 re re) (*.f64 im im))
0.863 * * * [progress]: adding candidates to table
0.934 * * [progress]: iteration 2 / 4
0.934 * * * [progress]: picking best candidate
0.948 * * * * [pick]: Picked  #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))>
0.948 * * * [progress]: localizing error
0.965 * * * [progress]: generating rewritten candidates
0.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
0.969 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
0.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
0.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.983 * * * [progress]: generating series expansions
0.983 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
0.984 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.984 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.984 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.984 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.984 * [taylor]: Taking taylor expansion of re in im
0.984 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.984 * [taylor]: Taking taylor expansion of im in im
0.985 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.985 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.985 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.985 * [taylor]: Taking taylor expansion of re in re
0.985 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.985 * [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.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.987 * [taylor]: Taking taylor expansion of im in im
0.987 * [taylor]: Taking taylor expansion of 0 in im
0.988 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.988 * [taylor]: Taking taylor expansion of 1/2 in im
0.988 * [taylor]: Taking taylor expansion of im in im
0.990 * [taylor]: Taking taylor expansion of 0 in im
0.991 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.991 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.991 * [taylor]: Taking taylor expansion of (/ 1 (pow im 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 (/ 1 (pow re 2)) in im
0.991 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.991 * [taylor]: Taking taylor expansion of re in im
0.992 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.992 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.992 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.992 * [taylor]: Taking taylor expansion of im in re
0.992 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.993 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.993 * [taylor]: Taking taylor expansion of re in re
0.993 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.993 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.993 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.993 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.993 * [taylor]: Taking taylor expansion of im in re
0.994 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.994 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.994 * [taylor]: Taking taylor expansion of re in re
0.995 * [taylor]: Taking taylor expansion of 1 in im
0.995 * [taylor]: Taking taylor expansion of 0 in im
0.996 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.996 * [taylor]: Taking taylor expansion of 1/2 in im
0.996 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.996 * [taylor]: Taking taylor expansion of im in im
0.999 * [taylor]: Taking taylor expansion of 0 in im
1.001 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.001 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.001 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.001 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.001 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.001 * [taylor]: Taking taylor expansion of im in im
1.001 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.001 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.001 * [taylor]: Taking taylor expansion of re in im
1.002 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.002 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.002 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.002 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.002 * [taylor]: Taking taylor expansion of im in re
1.003 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.003 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.003 * [taylor]: Taking taylor expansion of re in re
1.004 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.004 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.004 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.004 * [taylor]: Taking taylor expansion of im in re
1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.004 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.004 * [taylor]: Taking taylor expansion of re in re
1.005 * [taylor]: Taking taylor expansion of 1 in im
1.005 * [taylor]: Taking taylor expansion of 0 in im
1.006 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.006 * [taylor]: Taking taylor expansion of 1/2 in im
1.006 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.009 * [taylor]: Taking taylor expansion of 0 in im
1.010 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1.010 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.010 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.011 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.011 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.011 * [taylor]: Taking taylor expansion of re in im
1.011 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.011 * [taylor]: Taking taylor expansion of im in im
1.011 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.012 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.012 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.012 * [taylor]: Taking taylor expansion of re in re
1.012 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.012 * [taylor]: Taking taylor expansion of im in re
1.012 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.012 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.013 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.013 * [taylor]: Taking taylor expansion of re in re
1.013 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.013 * [taylor]: Taking taylor expansion of im in re
1.013 * [taylor]: Taking taylor expansion of im in im
1.014 * [taylor]: Taking taylor expansion of 0 in im
1.015 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.015 * [taylor]: Taking taylor expansion of 1/2 in im
1.015 * [taylor]: Taking taylor expansion of im in im
1.016 * [taylor]: Taking taylor expansion of 0 in im
1.017 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.017 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.017 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.017 * [taylor]: Taking taylor expansion of im in im
1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.017 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.017 * [taylor]: Taking taylor expansion of re in im
1.018 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.018 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.018 * [taylor]: Taking taylor expansion of im in re
1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.018 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.018 * [taylor]: Taking taylor expansion of re in re
1.019 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.019 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.019 * [taylor]: Taking taylor expansion of im in re
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.019 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.019 * [taylor]: Taking taylor expansion of re in re
1.020 * [taylor]: Taking taylor expansion of 1 in im
1.020 * [taylor]: Taking taylor expansion of 0 in im
1.021 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.021 * [taylor]: Taking taylor expansion of 1/2 in im
1.021 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.021 * [taylor]: Taking taylor expansion of im in im
1.024 * [taylor]: Taking taylor expansion of 0 in im
1.025 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.025 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.025 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.025 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.025 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.025 * [taylor]: Taking taylor expansion of im in im
1.026 * [taylor]: Taking taylor expansion of (/ 1 (pow re 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 (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.026 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.026 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) 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.027 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.027 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.027 * [taylor]: Taking taylor expansion of re in re
1.027 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.027 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.028 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.028 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.028 * [taylor]: Taking taylor expansion of im in re
1.028 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.028 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.028 * [taylor]: Taking taylor expansion of re in re
1.029 * [taylor]: Taking taylor expansion of 1 in im
1.029 * [taylor]: Taking taylor expansion of 0 in im
1.030 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.030 * [taylor]: Taking taylor expansion of 1/2 in im
1.030 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.030 * [taylor]: Taking taylor expansion of im in im
1.032 * [taylor]: Taking taylor expansion of 0 in im
1.033 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.034 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.034 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.034 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.034 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.034 * [taylor]: Taking taylor expansion of re in im
1.034 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.034 * [taylor]: Taking taylor expansion of im in im
1.034 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.034 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.035 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.035 * [taylor]: Taking taylor expansion of re in re
1.035 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.035 * [taylor]: Taking taylor expansion of im in re
1.035 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.035 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.035 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.035 * [taylor]: Taking taylor expansion of re in re
1.035 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.035 * [taylor]: Taking taylor expansion of im in re
1.036 * [taylor]: Taking taylor expansion of im in im
1.036 * [taylor]: Taking taylor expansion of 0 in im
1.037 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.037 * [taylor]: Taking taylor expansion of 1/2 in im
1.037 * [taylor]: Taking taylor expansion of im in im
1.038 * [taylor]: Taking taylor expansion of 0 in im
1.039 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
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 (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 (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.041 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.042 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.042 * [taylor]: Taking taylor expansion of im in re
1.042 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.042 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.042 * [taylor]: Taking taylor expansion of re in re
1.043 * [taylor]: Taking taylor expansion of 1 in im
1.043 * [taylor]: Taking taylor expansion of 0 in im
1.044 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.044 * [taylor]: Taking taylor expansion of 1/2 in im
1.044 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.044 * [taylor]: Taking taylor expansion of im in im
1.046 * [taylor]: Taking taylor expansion of 0 in im
1.048 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.048 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.048 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.048 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.048 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.048 * [taylor]: Taking taylor expansion of im in im
1.048 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.048 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.048 * [taylor]: Taking taylor expansion of re in im
1.049 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.049 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.049 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.049 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.049 * [taylor]: Taking taylor expansion of im in re
1.049 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.049 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.049 * [taylor]: Taking taylor expansion of re in re
1.050 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.050 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.050 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.050 * [taylor]: Taking taylor expansion of im in re
1.050 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.050 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.050 * [taylor]: Taking taylor expansion of re in re
1.051 * [taylor]: Taking taylor expansion of 1 in im
1.051 * [taylor]: Taking taylor expansion of 0 in im
1.052 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.052 * [taylor]: Taking taylor expansion of 1/2 in im
1.052 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.052 * [taylor]: Taking taylor expansion of im in im
1.055 * [taylor]: Taking taylor expansion of 0 in im
1.055 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.056 * [approximate]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in (re im) around 0
1.056 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in im
1.056 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in im
1.056 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in im
1.056 * [taylor]: Taking taylor expansion of 1/6 in im
1.056 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im
1.056 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.056 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.056 * [taylor]: Taking taylor expansion of re in im
1.056 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.056 * [taylor]: Taking taylor expansion of im in im
1.057 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in re
1.057 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in re
1.057 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in re
1.057 * [taylor]: Taking taylor expansion of 1/6 in re
1.057 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.057 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.057 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.057 * [taylor]: Taking taylor expansion of re in re
1.057 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.057 * [taylor]: Taking taylor expansion of im in re
1.058 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in re
1.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in re
1.058 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in re
1.058 * [taylor]: Taking taylor expansion of 1/6 in re
1.058 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re
1.058 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.058 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.058 * [taylor]: Taking taylor expansion of re in re
1.058 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.058 * [taylor]: Taking taylor expansion of im in re
1.059 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/6) in im
1.059 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (pow im 2)))) in im
1.059 * [taylor]: Taking taylor expansion of (* 1/6 (log (pow im 2))) in im
1.059 * [taylor]: Taking taylor expansion of 1/6 in im
1.059 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im
1.059 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.059 * [taylor]: Taking taylor expansion of im in im
1.061 * [taylor]: Taking taylor expansion of 0 in im
1.066 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (pow im 5)) 1/3)) in im
1.066 * [taylor]: Taking taylor expansion of 1/6 in im
1.066 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow im 5)) 1/3) in im
1.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow im 5))))) in im
1.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow im 5)))) in im
1.066 * [taylor]: Taking taylor expansion of 1/3 in im
1.066 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 5))) in im
1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im
1.066 * [taylor]: Taking taylor expansion of (pow im 5) in im
1.066 * [taylor]: Taking taylor expansion of im in im
1.073 * [taylor]: Taking taylor expansion of 0 in im
1.080 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in (re im) around 0
1.080 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in im
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.080 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.080 * [taylor]: Taking taylor expansion of 1/6 in im
1.080 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.080 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.080 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.080 * [taylor]: Taking taylor expansion of im in im
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.080 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.080 * [taylor]: Taking taylor expansion of re in im
1.081 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re
1.081 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.081 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.081 * [taylor]: Taking taylor expansion of 1/6 in re
1.081 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.081 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.081 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.081 * [taylor]: Taking taylor expansion of im in re
1.081 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.081 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.081 * [taylor]: Taking taylor expansion of re in re
1.082 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re
1.082 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.082 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.082 * [taylor]: Taking taylor expansion of 1/6 in re
1.082 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.082 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.082 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.082 * [taylor]: Taking taylor expansion of im in re
1.082 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.082 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.082 * [taylor]: Taking taylor expansion of re in re
1.083 * [taylor]: Taking taylor expansion of (pow re -1/3) in im
1.083 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log re))) in im
1.083 * [taylor]: Taking taylor expansion of (* -1/3 (log re)) in im
1.083 * [taylor]: Taking taylor expansion of -1/3 in im
1.083 * [taylor]: Taking taylor expansion of (log re) in im
1.083 * [taylor]: Taking taylor expansion of re in im
1.086 * [taylor]: Taking taylor expansion of 0 in im
1.090 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2)))) in im
1.090 * [taylor]: Taking taylor expansion of 1/6 in im
1.090 * [taylor]: Taking taylor expansion of (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2))) in im
1.090 * [taylor]: Taking taylor expansion of (pow (/ 1 re) 1/3) in im
1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 re)))) in im
1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 re))) in im
1.090 * [taylor]: Taking taylor expansion of 1/3 in im
1.090 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in im
1.090 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.090 * [taylor]: Taking taylor expansion of re in im
1.091 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.091 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.091 * [taylor]: Taking taylor expansion of im in im
1.103 * [taylor]: Taking taylor expansion of 0 in im
1.104 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in (re im) around 0
1.104 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in im
1.104 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
1.104 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.104 * [taylor]: Taking taylor expansion of 1/6 in im
1.104 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.104 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.104 * [taylor]: Taking taylor expansion of im in im
1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.104 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.104 * [taylor]: Taking taylor expansion of re in im
1.105 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re
1.105 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.105 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.105 * [taylor]: Taking taylor expansion of 1/6 in re
1.105 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.105 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.105 * [taylor]: Taking taylor expansion of im in re
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.106 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.106 * [taylor]: Taking taylor expansion of re in re
1.106 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
1.106 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.106 * [taylor]: Taking taylor expansion of 1/6 in re
1.106 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.106 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.106 * [taylor]: Taking taylor expansion of im in re
1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.107 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.107 * [taylor]: Taking taylor expansion of re in re
1.111 * [taylor]: Taking taylor expansion of (pow re -1/3) in im
1.111 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log re))) in im
1.111 * [taylor]: Taking taylor expansion of (* -1/3 (log re)) in im
1.111 * [taylor]: Taking taylor expansion of -1/3 in im
1.111 * [taylor]: Taking taylor expansion of (log re) in im
1.111 * [taylor]: Taking taylor expansion of re in im
1.113 * [taylor]: Taking taylor expansion of 0 in im
1.118 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2)))) in im
1.118 * [taylor]: Taking taylor expansion of 1/6 in im
1.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2))) in im
1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 re) 1/3) in im
1.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 re)))) in im
1.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 re))) in im
1.118 * [taylor]: Taking taylor expansion of 1/3 in im
1.118 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in im
1.118 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.118 * [taylor]: Taking taylor expansion of re in im
1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.118 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.118 * [taylor]: Taking taylor expansion of im in im
1.130 * [taylor]: Taking taylor expansion of 0 in im
1.130 * * * [progress]: simplifying candidates
1.131 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (log.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 1))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 1)
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  im
  re
  (*.f64 -1 re)
  im
  re
  (*.f64 -1 re)
  im
  re
  (*.f64 -1 re)
  (+.f64 (pow.f64 im 1/3) (*.f64 1/6 (*.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 (pow.f64 im 5)) 1/3))))
  (pow.f64 (/.f64 1 re) -1/3)
  (pow.f64 (/.f64 -1 re) -1/3)
1.203 * * [simplify]: iteration  0 :  4901  enodes  (cost  1087 )
1.204 * * [simplify]: iteration  1 :  4901  enodes  (cost  1087 )
1.209 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (log.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
  (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im))))))
  (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
  (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 1)
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 1)
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  im
  re
  (neg.f64 re)
  im
  re
  (neg.f64 re)
  im
  re
  (neg.f64 re)
  (+.f64 (cbrt.f64 im) (*.f64 1/6 (*.f64 (*.f64 re re) (cbrt.f64 (/.f64 1 (pow.f64 im 5))))))
  (pow.f64 (/.f64 1 re) -1/3)
  (pow.f64 (/.f64 -1 re) -1/3)
1.210 * * * [progress]: adding candidates to table
1.280 * * [progress]: iteration 3 / 4
1.280 * * * [progress]: picking best candidate
1.292 * * * * [pick]: Picked  #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>
1.292 * * * [progress]: localizing error
1.311 * * * [progress]: generating rewritten candidates
1.311 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.316 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.321 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.331 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.340 * * * [progress]: generating series expansions
1.340 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.341 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.341 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.341 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.341 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.341 * [taylor]: Taking taylor expansion of re in im
1.341 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.341 * [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.343 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.343 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.343 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.343 * [taylor]: Taking taylor expansion of re in re
1.343 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.343 * [taylor]: Taking taylor expansion of im in re
1.344 * [taylor]: Taking taylor expansion of im in im
1.344 * [taylor]: Taking taylor expansion of 0 in im
1.345 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.345 * [taylor]: Taking taylor expansion of 1/2 in im
1.345 * [taylor]: Taking taylor expansion of im in im
1.346 * [taylor]: Taking taylor expansion of 0 in im
1.348 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.348 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.348 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.348 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.348 * [taylor]: Taking taylor expansion of im in im
1.348 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.348 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.348 * [taylor]: Taking taylor expansion of re in im
1.349 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.349 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.349 * [taylor]: Taking taylor expansion of im in re
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.349 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.349 * [taylor]: Taking taylor expansion of re in re
1.350 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.350 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.350 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.350 * [taylor]: Taking taylor expansion of im in re
1.351 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.351 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.351 * [taylor]: Taking taylor expansion of re in re
1.354 * [taylor]: Taking taylor expansion of 1 in im
1.354 * [taylor]: Taking taylor expansion of 0 in im
1.355 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.355 * [taylor]: Taking taylor expansion of 1/2 in im
1.355 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.356 * [taylor]: Taking taylor expansion of im in im
1.358 * [taylor]: Taking taylor expansion of 0 in im
1.360 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.360 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.360 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.360 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.360 * [taylor]: Taking taylor expansion of im in im
1.360 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.360 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.360 * [taylor]: Taking taylor expansion of re in im
1.361 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.361 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.361 * [taylor]: Taking taylor expansion of im in re
1.362 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.362 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.362 * [taylor]: Taking taylor expansion of re in re
1.362 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.363 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.363 * [taylor]: Taking taylor expansion of im in re
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.363 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.363 * [taylor]: Taking taylor expansion of re in re
1.364 * [taylor]: Taking taylor expansion of 1 in im
1.364 * [taylor]: Taking taylor expansion of 0 in im
1.366 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.366 * [taylor]: Taking taylor expansion of 1/2 in im
1.366 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.366 * [taylor]: Taking taylor expansion of im in im
1.368 * [taylor]: Taking taylor expansion of 0 in im
1.369 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.370 * [approximate]: Taking taylor expansion of (pow (log base) 2) in (base) around 0
1.370 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.370 * [taylor]: Taking taylor expansion of (log base) in base
1.370 * [taylor]: Taking taylor expansion of base in base
1.370 * [taylor]: Taking taylor expansion of (pow (log base) 2) in base
1.370 * [taylor]: Taking taylor expansion of (log base) in base
1.370 * [taylor]: Taking taylor expansion of base in base
1.390 * [approximate]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in (base) around 0
1.390 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) in base
1.390 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.390 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.390 * [taylor]: Taking taylor expansion of base in base
1.391 * [taylor]: Taking taylor expansion of (pow (log (/ 1 base)) 2) 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.415 * [approximate]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in (base) around 0
1.415 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
1.415 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.415 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.415 * [taylor]: Taking taylor expansion of -1 in base
1.415 * [taylor]: Taking taylor expansion of base in base
1.416 * [taylor]: Taking taylor expansion of (pow (log (/ -1 base)) 2) in base
1.416 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.416 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.416 * [taylor]: Taking taylor expansion of -1 in base
1.416 * [taylor]: Taking taylor expansion of base in base
1.439 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.440 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
1.440 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
1.440 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
1.440 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
1.440 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
1.440 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.440 * [taylor]: Taking taylor expansion of re in base
1.440 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.440 * [taylor]: Taking taylor expansion of im in base
1.442 * [taylor]: Taking taylor expansion of (log base) in base
1.442 * [taylor]: Taking taylor expansion of base in base
1.443 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
1.443 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.443 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.443 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.443 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.443 * [taylor]: Taking taylor expansion of re in im
1.443 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.443 * [taylor]: Taking taylor expansion of im in im
1.444 * [taylor]: Taking taylor expansion of (log base) in im
1.444 * [taylor]: Taking taylor expansion of base in im
1.444 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.444 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.444 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.444 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.444 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.444 * [taylor]: Taking taylor expansion of re in re
1.444 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.444 * [taylor]: Taking taylor expansion of im in re
1.445 * [taylor]: Taking taylor expansion of (log base) in re
1.445 * [taylor]: Taking taylor expansion of base in re
1.445 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.445 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.445 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.445 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.445 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.445 * [taylor]: Taking taylor expansion of re in re
1.445 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.445 * [taylor]: Taking taylor expansion of im in re
1.446 * [taylor]: Taking taylor expansion of (log base) in re
1.446 * [taylor]: Taking taylor expansion of base in re
1.446 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im
1.446 * [taylor]: Taking taylor expansion of (log im) in im
1.446 * [taylor]: Taking taylor expansion of im in im
1.446 * [taylor]: Taking taylor expansion of (log base) in im
1.446 * [taylor]: Taking taylor expansion of base in im
1.447 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base
1.447 * [taylor]: Taking taylor expansion of (log im) in base
1.447 * [taylor]: Taking taylor expansion of im in base
1.447 * [taylor]: Taking taylor expansion of (log base) in base
1.447 * [taylor]: Taking taylor expansion of base in base
1.449 * [taylor]: Taking taylor expansion of 0 in im
1.449 * [taylor]: Taking taylor expansion of 0 in base
1.451 * [taylor]: Taking taylor expansion of 0 in base
1.455 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im
1.455 * [taylor]: Taking taylor expansion of 1/2 in im
1.455 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im
1.455 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im
1.455 * [taylor]: Taking taylor expansion of (log base) in im
1.455 * [taylor]: Taking taylor expansion of base in im
1.456 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.456 * [taylor]: Taking taylor expansion of im in im
1.459 * [taylor]: Taking taylor expansion of 0 in base
1.459 * [taylor]: Taking taylor expansion of 0 in base
1.461 * [taylor]: Taking taylor expansion of 0 in base
1.463 * [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.463 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
1.463 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.463 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.463 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.463 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.463 * [taylor]: Taking taylor expansion of im in base
1.463 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.463 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.463 * [taylor]: Taking taylor expansion of re in base
1.467 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.467 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.467 * [taylor]: Taking taylor expansion of base in base
1.468 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
1.468 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.468 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.468 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.468 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.468 * [taylor]: Taking taylor expansion of im in im
1.468 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.468 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.468 * [taylor]: Taking taylor expansion of re in im
1.469 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.469 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.469 * [taylor]: Taking taylor expansion of base in im
1.470 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.470 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.470 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.470 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.470 * [taylor]: Taking taylor expansion of im in re
1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.470 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.470 * [taylor]: Taking taylor expansion of re in re
1.471 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.471 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.471 * [taylor]: Taking taylor expansion of base in re
1.472 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.472 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.472 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.472 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.472 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.472 * [taylor]: Taking taylor expansion of im in re
1.472 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.472 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.472 * [taylor]: Taking taylor expansion of re in re
1.473 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.473 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.473 * [taylor]: Taking taylor expansion of base in re
1.474 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im
1.474 * [taylor]: Taking taylor expansion of -1 in im
1.474 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im
1.474 * [taylor]: Taking taylor expansion of (log re) in im
1.474 * [taylor]: Taking taylor expansion of re in im
1.474 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.474 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.474 * [taylor]: Taking taylor expansion of base in im
1.475 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base
1.475 * [taylor]: Taking taylor expansion of -1 in base
1.475 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base
1.475 * [taylor]: Taking taylor expansion of (log re) in base
1.475 * [taylor]: Taking taylor expansion of re in base
1.475 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.475 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.475 * [taylor]: Taking taylor expansion of base in base
1.478 * [taylor]: Taking taylor expansion of 0 in im
1.478 * [taylor]: Taking taylor expansion of 0 in base
1.480 * [taylor]: Taking taylor expansion of 0 in base
1.487 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im
1.487 * [taylor]: Taking taylor expansion of 1/2 in im
1.487 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im
1.487 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im
1.487 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.487 * [taylor]: Taking taylor expansion of im in im
1.487 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.487 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.487 * [taylor]: Taking taylor expansion of base in im
1.492 * [taylor]: Taking taylor expansion of 0 in base
1.492 * [taylor]: Taking taylor expansion of 0 in base
1.496 * [taylor]: Taking taylor expansion of 0 in base
1.499 * [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.499 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
1.499 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.499 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.499 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.499 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.499 * [taylor]: Taking taylor expansion of im in base
1.499 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.499 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.499 * [taylor]: Taking taylor expansion of re in base
1.502 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.502 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.502 * [taylor]: Taking taylor expansion of -1 in base
1.502 * [taylor]: Taking taylor expansion of base in base
1.503 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
1.504 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.504 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.504 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.504 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.504 * [taylor]: Taking taylor expansion of im in im
1.504 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.504 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.504 * [taylor]: Taking taylor expansion of re in im
1.505 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.505 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.505 * [taylor]: Taking taylor expansion of -1 in im
1.505 * [taylor]: Taking taylor expansion of base in im
1.506 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.506 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.506 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.506 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.506 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.506 * [taylor]: Taking taylor expansion of im in re
1.506 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.506 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.506 * [taylor]: Taking taylor expansion of re in re
1.507 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.507 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.507 * [taylor]: Taking taylor expansion of -1 in re
1.507 * [taylor]: Taking taylor expansion of base in re
1.508 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.508 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.508 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.508 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.508 * [taylor]: Taking taylor expansion of im in re
1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.508 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.508 * [taylor]: Taking taylor expansion of re in re
1.509 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.509 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.509 * [taylor]: Taking taylor expansion of -1 in re
1.509 * [taylor]: Taking taylor expansion of base in re
1.510 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im
1.510 * [taylor]: Taking taylor expansion of -1 in im
1.510 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im
1.510 * [taylor]: Taking taylor expansion of (log re) in im
1.510 * [taylor]: Taking taylor expansion of re in im
1.510 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.510 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.510 * [taylor]: Taking taylor expansion of -1 in im
1.510 * [taylor]: Taking taylor expansion of base in im
1.511 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base
1.511 * [taylor]: Taking taylor expansion of -1 in base
1.511 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base
1.511 * [taylor]: Taking taylor expansion of (log re) in base
1.511 * [taylor]: Taking taylor expansion of re in base
1.511 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.511 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.511 * [taylor]: Taking taylor expansion of -1 in base
1.511 * [taylor]: Taking taylor expansion of base in base
1.514 * [taylor]: Taking taylor expansion of 0 in im
1.514 * [taylor]: Taking taylor expansion of 0 in base
1.517 * [taylor]: Taking taylor expansion of 0 in base
1.524 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im
1.524 * [taylor]: Taking taylor expansion of 1/2 in im
1.524 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im
1.524 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im
1.524 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.524 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.524 * [taylor]: Taking taylor expansion of -1 in im
1.524 * [taylor]: Taking taylor expansion of base in im
1.524 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.524 * [taylor]: Taking taylor expansion of im in im
1.529 * [taylor]: Taking taylor expansion of 0 in base
1.529 * [taylor]: Taking taylor expansion of 0 in base
1.532 * [taylor]: Taking taylor expansion of 0 in base
1.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.534 * [approximate]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0
1.534 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base
1.534 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base
1.534 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base
1.534 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base
1.534 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.534 * [taylor]: Taking taylor expansion of re in base
1.534 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.534 * [taylor]: Taking taylor expansion of im in base
1.535 * [taylor]: Taking taylor expansion of (log base) in base
1.535 * [taylor]: Taking taylor expansion of base in base
1.536 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im
1.536 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im
1.536 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.536 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.536 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.536 * [taylor]: Taking taylor expansion of re in im
1.536 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.536 * [taylor]: Taking taylor expansion of im in im
1.536 * [taylor]: Taking taylor expansion of (log base) in im
1.536 * [taylor]: Taking taylor expansion of base in im
1.537 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.537 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.537 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.537 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.537 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.537 * [taylor]: Taking taylor expansion of re in re
1.537 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.537 * [taylor]: Taking taylor expansion of im in re
1.537 * [taylor]: Taking taylor expansion of (log base) in re
1.537 * [taylor]: Taking taylor expansion of base in re
1.538 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re
1.538 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re
1.538 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.538 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.538 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.538 * [taylor]: Taking taylor expansion of re in re
1.538 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.538 * [taylor]: Taking taylor expansion of im in re
1.539 * [taylor]: Taking taylor expansion of (log base) in re
1.539 * [taylor]: Taking taylor expansion of base in re
1.539 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in im
1.539 * [taylor]: Taking taylor expansion of (log im) in im
1.539 * [taylor]: Taking taylor expansion of im in im
1.539 * [taylor]: Taking taylor expansion of (log base) in im
1.539 * [taylor]: Taking taylor expansion of base in im
1.539 * [taylor]: Taking taylor expansion of (* (log im) (log base)) in base
1.539 * [taylor]: Taking taylor expansion of (log im) in base
1.539 * [taylor]: Taking taylor expansion of im in base
1.539 * [taylor]: Taking taylor expansion of (log base) in base
1.539 * [taylor]: Taking taylor expansion of base in base
1.541 * [taylor]: Taking taylor expansion of 0 in im
1.541 * [taylor]: Taking taylor expansion of 0 in base
1.542 * [taylor]: Taking taylor expansion of 0 in base
1.548 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log base) (pow im 2))) in im
1.548 * [taylor]: Taking taylor expansion of 1/2 in im
1.548 * [taylor]: Taking taylor expansion of (/ (log base) (pow im 2)) in im
1.548 * [taylor]: Taking taylor expansion of (log base) in im
1.548 * [taylor]: Taking taylor expansion of base in im
1.548 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.548 * [taylor]: Taking taylor expansion of im in im
1.551 * [taylor]: Taking taylor expansion of 0 in base
1.551 * [taylor]: Taking taylor expansion of 0 in base
1.553 * [taylor]: Taking taylor expansion of 0 in base
1.554 * [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.554 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base
1.554 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.554 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.554 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.554 * [taylor]: Taking taylor expansion of im in base
1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.554 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.554 * [taylor]: Taking taylor expansion of re in base
1.557 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.557 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.557 * [taylor]: Taking taylor expansion of base in base
1.557 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im
1.558 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.558 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.558 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.558 * [taylor]: Taking taylor expansion of im in im
1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.558 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.558 * [taylor]: Taking taylor expansion of re in im
1.559 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.559 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.559 * [taylor]: Taking taylor expansion of base in im
1.559 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.559 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.559 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.559 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.559 * [taylor]: Taking taylor expansion of im in re
1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.559 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.559 * [taylor]: Taking taylor expansion of re in re
1.560 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.560 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.560 * [taylor]: Taking taylor expansion of base in re
1.560 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re
1.560 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.560 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.560 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.560 * [taylor]: Taking taylor expansion of im in re
1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.560 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.561 * [taylor]: Taking taylor expansion of re in re
1.561 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re
1.561 * [taylor]: Taking taylor expansion of (/ 1 base) in re
1.561 * [taylor]: Taking taylor expansion of base in re
1.562 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in im
1.562 * [taylor]: Taking taylor expansion of -1 in im
1.562 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in im
1.562 * [taylor]: Taking taylor expansion of (log re) in im
1.562 * [taylor]: Taking taylor expansion of re in im
1.562 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.562 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.562 * [taylor]: Taking taylor expansion of base in im
1.563 * [taylor]: Taking taylor expansion of (* -1 (* (log re) (log (/ 1 base)))) in base
1.563 * [taylor]: Taking taylor expansion of -1 in base
1.563 * [taylor]: Taking taylor expansion of (* (log re) (log (/ 1 base))) in base
1.563 * [taylor]: Taking taylor expansion of (log re) in base
1.563 * [taylor]: Taking taylor expansion of re in base
1.563 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.563 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.563 * [taylor]: Taking taylor expansion of base in base
1.566 * [taylor]: Taking taylor expansion of 0 in im
1.566 * [taylor]: Taking taylor expansion of 0 in base
1.568 * [taylor]: Taking taylor expansion of 0 in base
1.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ 1 base)) (pow im 2))) in im
1.574 * [taylor]: Taking taylor expansion of 1/2 in im
1.574 * [taylor]: Taking taylor expansion of (/ (log (/ 1 base)) (pow im 2)) in im
1.574 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im
1.574 * [taylor]: Taking taylor expansion of (/ 1 base) in im
1.574 * [taylor]: Taking taylor expansion of base in im
1.574 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.574 * [taylor]: Taking taylor expansion of im in im
1.577 * [taylor]: Taking taylor expansion of 0 in base
1.577 * [taylor]: Taking taylor expansion of 0 in base
1.580 * [taylor]: Taking taylor expansion of 0 in base
1.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
1.582 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base
1.582 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base
1.582 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base
1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base
1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base
1.582 * [taylor]: Taking taylor expansion of (pow im 2) in base
1.582 * [taylor]: Taking taylor expansion of im in base
1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base
1.582 * [taylor]: Taking taylor expansion of (pow re 2) in base
1.582 * [taylor]: Taking taylor expansion of re in base
1.585 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.585 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.585 * [taylor]: Taking taylor expansion of -1 in base
1.585 * [taylor]: Taking taylor expansion of base in base
1.585 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im
1.585 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
1.585 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.586 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.586 * [taylor]: Taking taylor expansion of im in im
1.586 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.586 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.586 * [taylor]: Taking taylor expansion of re in im
1.587 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.587 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.587 * [taylor]: Taking taylor expansion of -1 in im
1.587 * [taylor]: Taking taylor expansion of base in im
1.587 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.587 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.587 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.587 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.587 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.587 * [taylor]: Taking taylor expansion of im in re
1.587 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.587 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.587 * [taylor]: Taking taylor expansion of re in re
1.588 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.588 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.588 * [taylor]: Taking taylor expansion of -1 in re
1.588 * [taylor]: Taking taylor expansion of base in re
1.588 * [taylor]: Taking taylor expansion of (* (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re
1.588 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
1.588 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.588 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.588 * [taylor]: Taking taylor expansion of im in re
1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.589 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.589 * [taylor]: Taking taylor expansion of re in re
1.589 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re
1.589 * [taylor]: Taking taylor expansion of (/ -1 base) in re
1.589 * [taylor]: Taking taylor expansion of -1 in re
1.589 * [taylor]: Taking taylor expansion of base in re
1.590 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in im
1.590 * [taylor]: Taking taylor expansion of -1 in im
1.590 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in im
1.590 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.590 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.590 * [taylor]: Taking taylor expansion of -1 in im
1.590 * [taylor]: Taking taylor expansion of base in im
1.590 * [taylor]: Taking taylor expansion of (log re) in im
1.590 * [taylor]: Taking taylor expansion of re in im
1.591 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 base)) (log re))) in base
1.591 * [taylor]: Taking taylor expansion of -1 in base
1.591 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log re)) in base
1.591 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
1.591 * [taylor]: Taking taylor expansion of (/ -1 base) in base
1.591 * [taylor]: Taking taylor expansion of -1 in base
1.591 * [taylor]: Taking taylor expansion of base in base
1.591 * [taylor]: Taking taylor expansion of (log re) in base
1.591 * [taylor]: Taking taylor expansion of re in base
1.594 * [taylor]: Taking taylor expansion of 0 in im
1.594 * [taylor]: Taking taylor expansion of 0 in base
1.596 * [taylor]: Taking taylor expansion of 0 in base
1.603 * [taylor]: Taking taylor expansion of (* 1/2 (/ (log (/ -1 base)) (pow im 2))) in im
1.603 * [taylor]: Taking taylor expansion of 1/2 in im
1.603 * [taylor]: Taking taylor expansion of (/ (log (/ -1 base)) (pow im 2)) in im
1.603 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im
1.603 * [taylor]: Taking taylor expansion of (/ -1 base) in im
1.603 * [taylor]: Taking taylor expansion of -1 in im
1.603 * [taylor]: Taking taylor expansion of base in im
1.603 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.603 * [taylor]: Taking taylor expansion of im in im
1.607 * [taylor]: Taking taylor expansion of 0 in base
1.607 * [taylor]: Taking taylor expansion of 0 in base
1.610 * [taylor]: Taking taylor expansion of 0 in base
1.611 * * * [progress]: simplifying candidates
1.612 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (log.f64 base) (log.f64 base))
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (log.f64 base)) (log.f64 (log.f64 base)))
  (exp.f64 (*.f64 (log.f64 base) (log.f64 base)))
  (log.f64 (*.f64 (log.f64 base) (log.f64 base)))
  (*.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 (log.f64 base) (log.f64 base))) (*.f64 (log.f64 base) (log.f64 base)))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 base) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 base) (log.f64 base))))
  (cbrt.f64 (*.f64 (log.f64 base) (log.f64 base)))
  (*.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 base) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 base) (log.f64 base)))
  (*.f64 2 1)
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 base)))
  (*.f64 1 1)
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 1 1)
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 base)))
  (*.f64 1 1)
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 1 1)
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 1) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 1))
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (cbrt.f64 (log.f64 base)) (log.f64 base))
  (*.f64 (sqrt.f64 (log.f64 base)) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 base))
  (*.f64 (log.f64 base) 1)
  (*.f64 (log.f64 base) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (*.f64 (log.f64 base) (sqrt.f64 (log.f64 base)))
  (*.f64 (log.f64 base) 1)
  (-.f64 (log.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (log.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (exp.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (log.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))))
  (cbrt.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (*.f64 (*.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (sqrt.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (sqrt.f64 (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (neg.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))
  (neg.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))))
  (/.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))) 1)
  (/.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))))
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) 1)
  (/.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 1 (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 1 1)
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
  (/.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))
  (/.f64 1 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))
  (*.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (+.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (-.f64 (*.f64 (*.f64 (atan2.f64 im re) 0) (*.f64 (atan2.f64 im re) 0)) (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))))
  (*.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (pow.f64 (*.f64 (log.f64 base) (log.f64 base)) 3) (pow.f64 (*.f64 0 0) 3)))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (-.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 (log.f64 base) (log.f64 base))) (*.f64 (*.f64 0 0) (*.f64 0 0))))
  (/.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (cbrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))))
  (/.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (sqrt.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0))))
  (/.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)) (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) (cbrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0)))))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (sqrt.f64 (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))
  (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) 1)
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (+.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 (log.f64 base)))
  (exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (log.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base)))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 (sqrt.f64 base)) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 (sqrt.f64 base)) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 1) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 1))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1)
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1)
  im
  re
  (*.f64 -1 re)
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (log.f64 (/.f64 1 base)) 2)
  (pow.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base))) 2)
  (/.f64 (log.f64 im) (log.f64 base))
  (/.f64 (log.f64 (/.f64 1 re)) (log.f64 (/.f64 1 base)))
  (*.f64 -1 (/.f64 (log.f64 (/.f64 -1 re)) (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base)))))
  (*.f64 (log.f64 im) (log.f64 base))
  (*.f64 (log.f64 (/.f64 1 re)) (log.f64 (/.f64 1 base)))
  (*.f64 -1 (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base))) (log.f64 (/.f64 -1 re))))
1.716 * * [simplify]: iteration  0 :  4884  enodes  (cost  2437 )
1.716 * * [simplify]: iteration  1 :  4884  enodes  (cost  2437 )
1.728 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (pow.f64 (log.f64 base) 2)
  2
  2
  (*.f64 2 (log.f64 (log.f64 base)))
  (pow.f64 base (log.f64 base))
  (*.f64 2 (log.f64 (log.f64 base)))
  (pow.f64 (log.f64 base) 6)
  (*.f64 (cbrt.f64 (pow.f64 (log.f64 base) 2)) (cbrt.f64 (pow.f64 (log.f64 base) 2)))
  (cbrt.f64 (pow.f64 (log.f64 base) 2))
  (pow.f64 (log.f64 base) 6)
  (fabs.f64 (log.f64 base))
  (fabs.f64 (log.f64 base))
  2
  (log.f64 base)
  (log.f64 base)
  1
  (pow.f64 (log.f64 base) 2)
  1
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (cbrt.f64 (log.f64 base)) 4)
  (pow.f64 (cbrt.f64 (log.f64 base)) 2)
  (log.f64 base)
  (log.f64 base)
  1
  (pow.f64 (log.f64 base) 2)
  1
  (pow.f64 (log.f64 base) 2)
  (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 1))
  (pow.f64 (log.f64 base) 2)
  (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 1))
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (cbrt.f64 (log.f64 base)) 4)
  (pow.f64 (log.f64 base) 3/2)
  (pow.f64 (log.f64 base) 2)
  (log.f64 base)
  (pow.f64 (cbrt.f64 (log.f64 base)) 5)
  (pow.f64 (log.f64 base) 3/2)
  (log.f64 base)
  (log.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (exp.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (log.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (pow.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base))) (cbrt.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base))))
  (cbrt.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (pow.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)) 3)
  (sqrt.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (sqrt.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base)))
  (neg.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (neg.f64 (pow.f64 (log.f64 base) 2))
  (/.f64 (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))) (*.f64 (cbrt.f64 (pow.f64 (log.f64 base) 2)) (cbrt.f64 (pow.f64 (log.f64 base) 2))))
  (/.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (pow.f64 (log.f64 base) 2)))
  (/.f64 (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))) (fabs.f64 (log.f64 base)))
  (/.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (fabs.f64 (log.f64 base)))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (/.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (pow.f64 (log.f64 base) 2))
  (/.f64 (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (*.f64 (cbrt.f64 (pow.f64 (log.f64 base) 2)) (cbrt.f64 (pow.f64 (log.f64 base) 2))))
  (/.f64 (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (pow.f64 (log.f64 base) 2)))
  (/.f64 (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (fabs.f64 (log.f64 base)))
  (/.f64 (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (fabs.f64 (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (/.f64 (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (pow.f64 (log.f64 base) 2))
  (/.f64 1 (*.f64 (cbrt.f64 (pow.f64 (log.f64 base) 2)) (cbrt.f64 (pow.f64 (log.f64 base) 2))))
  (/.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (cbrt.f64 (pow.f64 (log.f64 base) 2)))
  (/.f64 1 (fabs.f64 (log.f64 base)))
  (/.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (fabs.f64 (log.f64 base)))
  1
  (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (log.f64 base))
  (/.f64 (log.f64 base) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1))
  (/.f64 1 (pow.f64 (log.f64 base) 2))
  (*.f64 (pow.f64 (log.f64 base) 4) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (log.f64 base) 3))
  (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 5))
  (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3))
  (/.f64 (pow.f64 (log.f64 base) 2) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (/.f64 (pow.f64 (log.f64 base) 2) (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (/.f64 (log.f64 base) (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1))
  (/.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (cbrt.f64 (pow.f64 (log.f64 base) 2)) (cbrt.f64 (pow.f64 (log.f64 base) 2))))
  (/.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (fabs.f64 (log.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (log.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 base))
  (log.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (pow.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 3)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))))
  (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (pow.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 3)
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 1))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 base)))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 1))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (log.f64 base) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (*.f64 (log.f64 base) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (cbrt.f64 (log.f64 base)) 2))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base)))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  im
  re
  (neg.f64 re)
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (log.f64 base) 2)
  (pow.f64 (log.f64 base) 2)
  (/.f64 (log.f64 im) (log.f64 base))
  (/.f64 (neg.f64 (log.f64 re)) (neg.f64 (log.f64 base)))
  (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base)))
  (*.f64 (log.f64 base) (log.f64 im))
  (*.f64 (log.f64 base) (log.f64 re))
  (*.f64 (neg.f64 (log.f64 base)) (log.f64 (/.f64 -1 re)))
1.729 * * * [progress]: adding candidates to table
1.828 * * [progress]: iteration 4 / 4
1.828 * * * [progress]: picking best candidate
1.843 * * * * [pick]: Picked  #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))>
1.843 * * * [progress]: localizing error
1.867 * * * [progress]: generating rewritten candidates
1.868 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
1.873 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1)
1.874 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.881 * * * [progress]: generating series expansions
1.882 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.882 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
1.882 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
1.882 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
1.882 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.882 * [taylor]: Taking taylor expansion of re in im
1.882 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.882 * [taylor]: Taking taylor expansion of im in im
1.883 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.883 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.883 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.883 * [taylor]: Taking taylor expansion of re in re
1.883 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.883 * [taylor]: Taking taylor expansion of im in re
1.884 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
1.884 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
1.884 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.884 * [taylor]: Taking taylor expansion of re in re
1.884 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.884 * [taylor]: Taking taylor expansion of im in re
1.885 * [taylor]: Taking taylor expansion of im in im
1.885 * [taylor]: Taking taylor expansion of 0 in im
1.886 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
1.886 * [taylor]: Taking taylor expansion of 1/2 in im
1.886 * [taylor]: Taking taylor expansion of im in im
1.888 * [taylor]: Taking taylor expansion of 0 in im
1.889 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.889 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.889 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.889 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.889 * [taylor]: Taking taylor expansion of im in im
1.889 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.889 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.889 * [taylor]: Taking taylor expansion of re in im
1.890 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.890 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.890 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.890 * [taylor]: Taking taylor expansion of im in re
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.891 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.891 * [taylor]: Taking taylor expansion of re in re
1.892 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.892 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.892 * [taylor]: Taking taylor expansion of im in re
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.892 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.892 * [taylor]: Taking taylor expansion of re in re
1.893 * [taylor]: Taking taylor expansion of 1 in im
1.893 * [taylor]: Taking taylor expansion of 0 in im
1.895 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.895 * [taylor]: Taking taylor expansion of 1/2 in im
1.895 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.895 * [taylor]: Taking taylor expansion of im in im
1.898 * [taylor]: Taking taylor expansion of 0 in im
1.902 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
1.902 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
1.902 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
1.902 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.902 * [taylor]: Taking taylor expansion of im in im
1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
1.902 * [taylor]: Taking taylor expansion of (pow re 2) in im
1.902 * [taylor]: Taking taylor expansion of re in im
1.903 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.903 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.903 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.903 * [taylor]: Taking taylor expansion of im in re
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.904 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.904 * [taylor]: Taking taylor expansion of re in re
1.904 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
1.904 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
1.904 * [taylor]: Taking taylor expansion of (pow im 2) in re
1.904 * [taylor]: Taking taylor expansion of im in re
1.905 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.905 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.905 * [taylor]: Taking taylor expansion of re in re
1.905 * [taylor]: Taking taylor expansion of 1 in im
1.905 * [taylor]: Taking taylor expansion of 0 in im
1.907 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
1.907 * [taylor]: Taking taylor expansion of 1/2 in im
1.907 * [taylor]: Taking taylor expansion of (pow im 2) in im
1.907 * [taylor]: Taking taylor expansion of im in im
1.909 * [taylor]: Taking taylor expansion of 0 in im
1.910 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1)
1.910 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
1.910 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.910 * [taylor]: Taking taylor expansion of 1/3 in base
1.910 * [taylor]: Taking taylor expansion of (log base) in base
1.910 * [taylor]: Taking taylor expansion of base in base
1.911 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.911 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.911 * [taylor]: Taking taylor expansion of 1/3 in base
1.911 * [taylor]: Taking taylor expansion of (log base) in base
1.911 * [taylor]: Taking taylor expansion of base in base
1.934 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
1.934 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.934 * [taylor]: Taking taylor expansion of 1/3 in base
1.934 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.934 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.934 * [taylor]: Taking taylor expansion of base in base
1.934 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.935 * [taylor]: Taking taylor expansion of 1/3 in base
1.935 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.935 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.935 * [taylor]: Taking taylor expansion of base in base
1.960 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
1.961 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.961 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.961 * [taylor]: Taking taylor expansion of -1 in base
1.961 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.961 * [taylor]: Taking taylor expansion of 1/3 in base
1.961 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.961 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.961 * [taylor]: Taking taylor expansion of base in base
1.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
1.962 * [taylor]: Taking taylor expansion of (cbrt -1) in base
1.962 * [taylor]: Taking taylor expansion of -1 in base
1.962 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
1.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
1.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
1.962 * [taylor]: Taking taylor expansion of 1/3 in base
1.962 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
1.962 * [taylor]: Taking taylor expansion of (/ 1 base) in base
1.962 * [taylor]: Taking taylor expansion of base in base
1.995 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1)
1.996 * [approximate]: Taking taylor expansion of (pow base 1/3) in (base) around 0
1.996 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.996 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.996 * [taylor]: Taking taylor expansion of 1/3 in base
1.996 * [taylor]: Taking taylor expansion of (log base) in base
1.996 * [taylor]: Taking taylor expansion of base in base
1.996 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
1.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
1.996 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
1.996 * [taylor]: Taking taylor expansion of 1/3 in base
1.996 * [taylor]: Taking taylor expansion of (log base) in base
1.996 * [taylor]: Taking taylor expansion of base in base
2.019 * [approximate]: Taking taylor expansion of (pow (/ 1 base) 1/3) in (base) around 0
2.019 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.019 * [taylor]: Taking taylor expansion of 1/3 in base
2.019 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.019 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.019 * [taylor]: Taking taylor expansion of base in base
2.019 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.019 * [taylor]: Taking taylor expansion of 1/3 in base
2.019 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.019 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.019 * [taylor]: Taking taylor expansion of base in base
2.045 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in (base) around 0
2.046 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.046 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.046 * [taylor]: Taking taylor expansion of -1 in base
2.046 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.046 * [taylor]: Taking taylor expansion of 1/3 in base
2.046 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.046 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.046 * [taylor]: Taking taylor expansion of base in base
2.047 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.047 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.047 * [taylor]: Taking taylor expansion of -1 in base
2.047 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.047 * [taylor]: Taking taylor expansion of 1/3 in base
2.047 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.047 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.047 * [taylor]: Taking taylor expansion of base in base
2.080 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.080 * [approximate]: Taking taylor expansion of (* (log base) (log (pow base 1/3))) in (base) around 0
2.080 * [taylor]: Taking taylor expansion of (* (log base) (log (pow base 1/3))) in base
2.080 * [taylor]: Taking taylor expansion of (log base) in base
2.080 * [taylor]: Taking taylor expansion of base in base
2.081 * [taylor]: Taking taylor expansion of (log (pow base 1/3)) in base
2.081 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
2.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
2.081 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
2.081 * [taylor]: Taking taylor expansion of 1/3 in base
2.081 * [taylor]: Taking taylor expansion of (log base) in base
2.081 * [taylor]: Taking taylor expansion of base in base
2.081 * [taylor]: Taking taylor expansion of (* (log base) (log (pow base 1/3))) in base
2.081 * [taylor]: Taking taylor expansion of (log base) in base
2.081 * [taylor]: Taking taylor expansion of base in base
2.082 * [taylor]: Taking taylor expansion of (log (pow base 1/3)) in base
2.082 * [taylor]: Taking taylor expansion of (pow base 1/3) in base
2.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log base))) in base
2.082 * [taylor]: Taking taylor expansion of (* 1/3 (log base)) in base
2.082 * [taylor]: Taking taylor expansion of 1/3 in base
2.082 * [taylor]: Taking taylor expansion of (log base) in base
2.082 * [taylor]: Taking taylor expansion of base in base
2.139 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 base) 1/3)) (log (/ 1 base))) in (base) around 0
2.139 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 base) 1/3)) (log (/ 1 base))) in base
2.139 * [taylor]: Taking taylor expansion of (log (pow (/ 1 base) 1/3)) in base
2.139 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.139 * [taylor]: Taking taylor expansion of 1/3 in base
2.139 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.139 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.139 * [taylor]: Taking taylor expansion of base in base
2.140 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.140 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.140 * [taylor]: Taking taylor expansion of base in base
2.140 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 base) 1/3)) (log (/ 1 base))) in base
2.140 * [taylor]: Taking taylor expansion of (log (pow (/ 1 base) 1/3)) in base
2.140 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.140 * [taylor]: Taking taylor expansion of 1/3 in base
2.140 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.140 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.140 * [taylor]: Taking taylor expansion of base in base
2.141 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.141 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.141 * [taylor]: Taking taylor expansion of base in base
2.199 * [approximate]: Taking taylor expansion of (* (log (/ -1 base)) (log (* (cbrt -1) (pow (/ 1 base) 1/3)))) in (base) around 0
2.199 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log (* (cbrt -1) (pow (/ 1 base) 1/3)))) in base
2.199 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
2.199 * [taylor]: Taking taylor expansion of (/ -1 base) in base
2.199 * [taylor]: Taking taylor expansion of -1 in base
2.199 * [taylor]: Taking taylor expansion of base in base
2.199 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 base) 1/3))) in base
2.199 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.199 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.199 * [taylor]: Taking taylor expansion of -1 in base
2.200 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.200 * [taylor]: Taking taylor expansion of 1/3 in base
2.200 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.200 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.200 * [taylor]: Taking taylor expansion of base in base
2.201 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (log (* (cbrt -1) (pow (/ 1 base) 1/3)))) in base
2.201 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base
2.201 * [taylor]: Taking taylor expansion of (/ -1 base) in base
2.201 * [taylor]: Taking taylor expansion of -1 in base
2.201 * [taylor]: Taking taylor expansion of base in base
2.201 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 base) 1/3))) in base
2.201 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 base) 1/3)) in base
2.201 * [taylor]: Taking taylor expansion of (cbrt -1) in base
2.201 * [taylor]: Taking taylor expansion of -1 in base
2.202 * [taylor]: Taking taylor expansion of (pow (/ 1 base) 1/3) in base
2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 base)))) in base
2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 base))) in base
2.202 * [taylor]: Taking taylor expansion of 1/3 in base
2.202 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base
2.202 * [taylor]: Taking taylor expansion of (/ 1 base) in base
2.202 * [taylor]: Taking taylor expansion of base in base
2.281 * * * [progress]: simplifying candidates
2.282 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 1 2)
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (cbrt.f64 base))
  (log.f64 (cbrt.f64 base))
  (*.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)) (cbrt.f64 base))
  (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 1)
  (cbrt.f64 base)
  (sqrt.f64 (cbrt.f64 base))
  (sqrt.f64 (cbrt.f64 base))
  (exp.f64 (cbrt.f64 base))
  (log.f64 (cbrt.f64 base))
  (*.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)) (cbrt.f64 base))
  (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 1)
  (cbrt.f64 base)
  (sqrt.f64 (cbrt.f64 base))
  (sqrt.f64 (cbrt.f64 base))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (+.f64 (log.f64 (log.f64 base)) (log.f64 (log.f64 (cbrt.f64 base))))
  (exp.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (log.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (cbrt.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))))
  (cbrt.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)) (*.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 (cbrt.f64 base))) (log.f64 (cbrt.f64 base))))
  (sqrt.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (sqrt.f64 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base))))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 1)) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 base))) (log.f64 base))
  (*.f64 (log.f64 1) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 base) (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 1)))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (sqrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 1))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (cbrt.f64 (log.f64 base)) (log.f64 (cbrt.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))
  (*.f64 (log.f64 base) 1/3)
  (*.f64 (log.f64 base) 1)
  (*.f64 (log.f64 base) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 base))) (cbrt.f64 (log.f64 (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) 1)
  im
  re
  (*.f64 -1 re)
  (pow.f64 base 1/3)
  (pow.f64 (/.f64 1 base) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 base) 1/3) (cbrt.f64 -1))
  (pow.f64 base 1/3)
  (pow.f64 (/.f64 1 base) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 base) 1/3) (cbrt.f64 -1))
  (*.f64 (log.f64 base) (log.f64 (pow.f64 base 1/3)))
  (*.f64 -1 (*.f64 (log.f64 (pow.f64 (/.f64 1 base) -1/3)) (log.f64 (/.f64 1 base))))
  (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base))) (log.f64 (*.f64 (pow.f64 (*.f64 -1 base) 1/3) (cbrt.f64 -1))))
2.364 * * [simplify]: iteration  0 :  5043  enodes  (cost  955 )
2.371 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1/2
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (cbrt.f64 base))
  (log.f64 (cbrt.f64 base))
  base
  (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (pow.f64 base 2/3))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 1)
  (cbrt.f64 base)
  (pow.f64 base 1/6)
  (pow.f64 base 1/6)
  (exp.f64 (cbrt.f64 base))
  (log.f64 (cbrt.f64 base))
  base
  (*.f64 (cbrt.f64 (cbrt.f64 base)) (cbrt.f64 (cbrt.f64 base)))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (pow.f64 base 2/3))
  (cbrt.f64 (cbrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 (sqrt.f64 base))
  (cbrt.f64 1)
  (cbrt.f64 base)
  (pow.f64 base 1/6)
  (pow.f64 base 1/6)
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (log.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base)))
  (pow.f64 base (log.f64 (cbrt.f64 base)))
  (log.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base)))
  (*.f64 (pow.f64 (log.f64 base) 6) 1/27)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))) (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))))
  (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base)))
  (*.f64 (pow.f64 (log.f64 base) 6) 1/27)
  (sqrt.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base)))
  (sqrt.f64 (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base)))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (*.f64 (sqrt.f64 (log.f64 base)) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (pow.f64 base 2/3))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 1)))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 base) (*.f64 (log.f64 base) 1/6))
  (*.f64 (log.f64 base) (*.f64 (log.f64 base) 1/6))
  (*.f64 (log.f64 base) (log.f64 1))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (pow.f64 base 2/3))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (cbrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 (sqrt.f64 base))))
  (*.f64 (log.f64 base) (log.f64 (cbrt.f64 1)))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 base) (*.f64 (log.f64 base) 1/6))
  (*.f64 (log.f64 base) (*.f64 (log.f64 base) 1/6))
  (*.f64 (log.f64 base) (log.f64 1))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (cbrt.f64 (log.f64 base)))
  (*.f64 (log.f64 (cbrt.f64 base)) (sqrt.f64 (log.f64 base)))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (log.f64 (cbrt.f64 base))
  (log.f64 base)
  (*.f64 (log.f64 base) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 base))) (cbrt.f64 (log.f64 (cbrt.f64 base)))))
  (*.f64 (log.f64 base) (sqrt.f64 (log.f64 (cbrt.f64 base))))
  (log.f64 base)
  im
  re
  (neg.f64 re)
  (cbrt.f64 base)
  (cbrt.f64 base)
  (*.f64 (cbrt.f64 (neg.f64 base)) (cbrt.f64 -1))
  (cbrt.f64 base)
  (cbrt.f64 base)
  (*.f64 (cbrt.f64 (neg.f64 base)) (cbrt.f64 -1))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 (cbrt.f64 base)) (log.f64 base))
  (*.f64 (log.f64 base) (log.f64 (*.f64 (cbrt.f64 (neg.f64 base)) (cbrt.f64 -1))))
2.371 * * * [progress]: adding candidates to table
2.457 * [progress]: [Phase 3 of 3] Extracting.
2.457 * * [regime]: Finding splitpoints for: (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.463 * * * [regime-changes]: Trying 4 branch expressions: ((log.f64 base) base im re)
2.463 * * * * [regimes]: Trying to branch on (log.f64 base) from (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.535 * * * * [regimes]: Trying to branch on (log.f64 base) from (#<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.590 * * * * [regimes]: Trying to branch on base from (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.659 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.726 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.777 * * * [regime]: Found split indices: #<option (#s(si 14 69) #s(si 15 227) #s(si 10 255))>
2.777 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.835 * [regimes]: Found splitpoints: (#s(sp 14 re -2309443542.211869) #s(sp 15 re 3.1078363892846655e+118) #s(sp 10 re +nan.0)) , with alts (#<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (exp.f64 (log.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (cbrt.f64 (log.f64 base))))> #<alt (λ (re im base) (*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 base)))))> #<alt (λ (re im base) (*.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base))))> #<alt (λ (re im base) (/.f64 1/2 (/.f64 (log.f64 base) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))> #<alt (λ (re im base) (/.f64 (log.f64 im) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (neg.f64 re)) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (log.f64 re) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 im) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (*.f64 (/.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (pow.f64 (log.f64 base) 3)) (-.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (+.f64 (*.f64 2 (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 (log.f64 base) (log.f64 (cbrt.f64 base)))) (*.f64 0 0))))> #<alt (λ (re im base) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))))> #<alt (λ (re im base) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))> #<alt (λ (re im base) (/.f64 (+.f64 (*.f64 (log.f64 re) (log.f64 base)) (*.f64 (atan2.f64 im re) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))))>)
2.835 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 re -4843254143436705/2097152) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))) (if (<=.f64 re 31078363892846655300374228546501629337647886105982145181915121338832297208489573507061941377382016130139149243527462912) (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)) (/.f64 (log.f64 re) (log.f64 base))))
2.839 * * [simplify]: iteration  0 :  43  enodes  (cost  86 )
2.839 * * [simplify]: iteration  1 :  43  enodes  (cost  86 )
2.839 * [simplify]: Simplified to:
   (if (<=.f64 re -4843254143436705/2097152) (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 base))) (if (<=.f64 re 31078363892846655300374228546501629337647886105982145181915121338832297208489573507061941377382016130139149243527462912) (/.f64 (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 base)) (/.f64 (log.f64 re) (log.f64 base))))
4.269 * [regime-testing]: End program error score: 17.919342761022893