30.655 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.481 * * * [progress]: [2/2] Setting up program. 0.485 * [progress]: [Phase 2 of 3] Improving. 0.485 * [simplify]: Simplifying using # : (/.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.574 * * [simplify]: iteration 0 : 5536 enodes (cost 12 ) 0.574 * [simplify]: Simplified to: (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 0.579 * * [progress]: iteration 1 / 4 0.579 * * * [progress]: picking best candidate 0.585 * * * * [pick]: Picked # 0.585 * * * [progress]: localizing error 0.595 * * * [progress]: generating rewritten candidates 0.595 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.600 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.610 * * * [progress]: generating series expansions 0.610 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.610 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.610 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.610 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.610 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.610 * [taylor]: Taking taylor expansion of re in im 0.610 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.610 * [taylor]: Taking taylor expansion of im in im 0.611 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.611 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.611 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.611 * [taylor]: Taking taylor expansion of re in re 0.611 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.611 * [taylor]: Taking taylor expansion of im in re 0.611 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.611 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.611 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.611 * [taylor]: Taking taylor expansion of re in re 0.611 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.611 * [taylor]: Taking taylor expansion of im in re 0.611 * [taylor]: Taking taylor expansion of im in im 0.611 * [taylor]: Taking taylor expansion of 0 in im 0.611 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.611 * [taylor]: Taking taylor expansion of 1/2 in im 0.611 * [taylor]: Taking taylor expansion of im in im 0.612 * [taylor]: Taking taylor expansion of 0 in im 0.612 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.612 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.612 * [taylor]: Taking taylor expansion of im in im 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.612 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.612 * [taylor]: Taking taylor expansion of re in im 0.612 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.612 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.612 * [taylor]: Taking taylor expansion of im in re 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.613 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.613 * [taylor]: Taking taylor expansion of re in re 0.613 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.613 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.613 * [taylor]: Taking taylor expansion of im in re 0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.613 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.613 * [taylor]: Taking taylor expansion of re in re 0.613 * [taylor]: Taking taylor expansion of 1 in im 0.613 * [taylor]: Taking taylor expansion of 0 in im 0.613 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.613 * [taylor]: Taking taylor expansion of 1/2 in im 0.613 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.614 * [taylor]: Taking taylor expansion of 0 in im 0.614 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.614 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.614 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.614 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.614 * [taylor]: Taking taylor expansion of re in im 0.615 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.615 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.615 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.615 * [taylor]: Taking taylor expansion of re in re 0.615 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.615 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.615 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.615 * [taylor]: Taking taylor expansion of re in re 0.615 * [taylor]: Taking taylor expansion of 1 in im 0.615 * [taylor]: Taking taylor expansion of 0 in im 0.616 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.616 * [taylor]: Taking taylor expansion of 1/2 in im 0.616 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.616 * [taylor]: Taking taylor expansion of im in im 0.616 * [taylor]: Taking taylor expansion of 0 in im 0.616 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.616 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 0.617 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 0.617 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 0.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 0.617 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 0.617 * [taylor]: Taking taylor expansion of (pow re 2) in base 0.617 * [taylor]: Taking taylor expansion of re in base 0.617 * [taylor]: Taking taylor expansion of (pow im 2) in base 0.617 * [taylor]: Taking taylor expansion of im in base 0.617 * [taylor]: Taking taylor expansion of (log base) in base 0.617 * [taylor]: Taking taylor expansion of base in base 0.617 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 0.617 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 0.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.618 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.618 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.618 * [taylor]: Taking taylor expansion of re in im 0.618 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.618 * [taylor]: Taking taylor expansion of im in im 0.618 * [taylor]: Taking taylor expansion of (log base) in im 0.618 * [taylor]: Taking taylor expansion of base in im 0.618 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 0.618 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 0.618 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.618 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.618 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.618 * [taylor]: Taking taylor expansion of re in re 0.618 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.618 * [taylor]: Taking taylor expansion of im in re 0.618 * [taylor]: Taking taylor expansion of (log base) in re 0.618 * [taylor]: Taking taylor expansion of base in re 0.618 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 0.618 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 0.618 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.618 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.618 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.618 * [taylor]: Taking taylor expansion of re in re 0.619 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.619 * [taylor]: Taking taylor expansion of im in re 0.619 * [taylor]: Taking taylor expansion of (log base) in re 0.619 * [taylor]: Taking taylor expansion of base in re 0.619 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im 0.619 * [taylor]: Taking taylor expansion of (log im) in im 0.619 * [taylor]: Taking taylor expansion of im in im 0.619 * [taylor]: Taking taylor expansion of (log base) in im 0.619 * [taylor]: Taking taylor expansion of base in im 0.619 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base 0.619 * [taylor]: Taking taylor expansion of (log im) in base 0.619 * [taylor]: Taking taylor expansion of im in base 0.619 * [taylor]: Taking taylor expansion of (log base) in base 0.619 * [taylor]: Taking taylor expansion of base in base 0.620 * [taylor]: Taking taylor expansion of 0 in im 0.620 * [taylor]: Taking taylor expansion of 0 in base 0.620 * [taylor]: Taking taylor expansion of 0 in base 0.621 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im 0.621 * [taylor]: Taking taylor expansion of 1/2 in im 0.621 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im 0.621 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im 0.621 * [taylor]: Taking taylor expansion of (log base) in im 0.621 * [taylor]: Taking taylor expansion of base in im 0.621 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.621 * [taylor]: Taking taylor expansion of im in im 0.622 * [taylor]: Taking taylor expansion of 0 in base 0.622 * [taylor]: Taking taylor expansion of 0 in base 0.622 * [taylor]: Taking taylor expansion of 0 in base 0.623 * [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.623 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 0.623 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 0.623 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 0.623 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 0.623 * [taylor]: Taking taylor expansion of (pow im 2) in base 0.623 * [taylor]: Taking taylor expansion of im in base 0.623 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 0.623 * [taylor]: Taking taylor expansion of (pow re 2) in base 0.623 * [taylor]: Taking taylor expansion of re in base 0.624 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.624 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.624 * [taylor]: Taking taylor expansion of base in base 0.624 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 0.624 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.624 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.624 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.624 * [taylor]: Taking taylor expansion of im in im 0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.625 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.625 * [taylor]: Taking taylor expansion of re in im 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.625 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.625 * [taylor]: Taking taylor expansion of base in im 0.625 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 0.625 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.625 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.625 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.625 * [taylor]: Taking taylor expansion of im in re 0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.625 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.625 * [taylor]: Taking taylor expansion of re in re 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.625 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.625 * [taylor]: Taking taylor expansion of base in re 0.626 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 0.626 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.626 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.626 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.626 * [taylor]: Taking taylor expansion of im in re 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.626 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.626 * [taylor]: Taking taylor expansion of re in re 0.626 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 0.626 * [taylor]: Taking taylor expansion of (/ 1 base) in re 0.626 * [taylor]: Taking taylor expansion of base in re 0.626 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im 0.626 * [taylor]: Taking taylor expansion of -1 in im 0.626 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im 0.626 * [taylor]: Taking taylor expansion of (log re) in im 0.626 * [taylor]: Taking taylor expansion of re in im 0.626 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.626 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.626 * [taylor]: Taking taylor expansion of base in im 0.626 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base 0.626 * [taylor]: Taking taylor expansion of -1 in base 0.627 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base 0.627 * [taylor]: Taking taylor expansion of (log re) in base 0.627 * [taylor]: Taking taylor expansion of re in base 0.627 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 0.627 * [taylor]: Taking taylor expansion of (/ 1 base) in base 0.627 * [taylor]: Taking taylor expansion of base in base 0.630 * [taylor]: Taking taylor expansion of 0 in im 0.630 * [taylor]: Taking taylor expansion of 0 in base 0.630 * [taylor]: Taking taylor expansion of 0 in base 0.632 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im 0.632 * [taylor]: Taking taylor expansion of 1/2 in im 0.632 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im 0.632 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) 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.632 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 0.632 * [taylor]: Taking taylor expansion of (/ 1 base) in im 0.632 * [taylor]: Taking taylor expansion of base in im 0.633 * [taylor]: Taking taylor expansion of 0 in base 0.633 * [taylor]: Taking taylor expansion of 0 in base 0.634 * [taylor]: Taking taylor expansion of 0 in base 0.634 * [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.634 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 0.634 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 0.634 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 0.634 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 0.634 * [taylor]: Taking taylor expansion of (pow im 2) in base 0.634 * [taylor]: Taking taylor expansion of im in base 0.634 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 0.634 * [taylor]: Taking taylor expansion of (pow re 2) in base 0.634 * [taylor]: Taking taylor expansion of re in base 0.635 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.635 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.635 * [taylor]: Taking taylor expansion of -1 in base 0.635 * [taylor]: Taking taylor expansion of base in base 0.636 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 0.636 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.636 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.636 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.636 * [taylor]: Taking taylor expansion of im in im 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.636 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.636 * [taylor]: Taking taylor expansion of re in im 0.636 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.636 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.636 * [taylor]: Taking taylor expansion of -1 in im 0.636 * [taylor]: Taking taylor expansion of base in im 0.636 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 0.636 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.636 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.636 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.636 * [taylor]: Taking taylor expansion of im in re 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.636 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.636 * [taylor]: Taking taylor expansion of re in re 0.637 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.637 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.637 * [taylor]: Taking taylor expansion of -1 in re 0.637 * [taylor]: Taking taylor expansion of base in re 0.637 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 0.637 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.637 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.637 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.637 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.637 * [taylor]: Taking taylor expansion of im in re 0.637 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.637 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.637 * [taylor]: Taking taylor expansion of re in re 0.637 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 0.637 * [taylor]: Taking taylor expansion of (/ -1 base) in re 0.637 * [taylor]: Taking taylor expansion of -1 in re 0.637 * [taylor]: Taking taylor expansion of base in re 0.637 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im 0.638 * [taylor]: Taking taylor expansion of -1 in im 0.638 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im 0.638 * [taylor]: Taking taylor expansion of (log re) in im 0.638 * [taylor]: Taking taylor expansion of re in im 0.638 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.638 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.638 * [taylor]: Taking taylor expansion of -1 in im 0.638 * [taylor]: Taking taylor expansion of base in im 0.638 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base 0.638 * [taylor]: Taking taylor expansion of -1 in base 0.638 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base 0.638 * [taylor]: Taking taylor expansion of (log re) in base 0.638 * [taylor]: Taking taylor expansion of re in base 0.638 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 0.638 * [taylor]: Taking taylor expansion of (/ -1 base) in base 0.638 * [taylor]: Taking taylor expansion of -1 in base 0.638 * [taylor]: Taking taylor expansion of base in base 0.639 * [taylor]: Taking taylor expansion of 0 in im 0.639 * [taylor]: Taking taylor expansion of 0 in base 0.639 * [taylor]: Taking taylor expansion of 0 in base 0.641 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im 0.641 * [taylor]: Taking taylor expansion of 1/2 in im 0.641 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im 0.641 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im 0.641 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 0.641 * [taylor]: Taking taylor expansion of (/ -1 base) in im 0.641 * [taylor]: Taking taylor expansion of -1 in im 0.641 * [taylor]: Taking taylor expansion of base in im 0.641 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.641 * [taylor]: Taking taylor expansion of im in im 0.642 * [taylor]: Taking taylor expansion of 0 in base 0.642 * [taylor]: Taking taylor expansion of 0 in base 0.642 * [taylor]: Taking taylor expansion of 0 in base 0.643 * * * [progress]: simplifying candidates 0.644 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (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))) (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))) (/.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))) (*.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 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))) (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 (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 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 1 (log.f64 base)) (/.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 (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))))) 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))))) 0.686 * * [simplify]: iteration 0 : 5798 enodes (cost 1032 ) 0.691 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (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))) (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))) (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)) (/.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)) 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 1 (log.f64 base)) (/.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)))) (/.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))))) 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))) 0.691 * * * [progress]: adding candidates to table 0.757 * * [progress]: iteration 2 / 4 0.757 * * * [progress]: picking best candidate 0.793 * * * * [pick]: Picked # 0.793 * * * [progress]: localizing error 0.808 * * * [progress]: generating rewritten candidates 0.808 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 0.812 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1) 0.816 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 0.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.840 * * * [progress]: generating series expansions 0.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 0.840 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.840 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.840 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.840 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.840 * [taylor]: Taking taylor expansion of re in im 0.840 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.840 * [taylor]: Taking taylor expansion of im in im 0.840 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.840 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.840 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.840 * [taylor]: Taking taylor expansion of re in re 0.840 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.841 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.841 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.841 * [taylor]: Taking taylor expansion of re in re 0.841 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.841 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of 0 in im 0.841 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.841 * [taylor]: Taking taylor expansion of 1/2 in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of 0 in im 0.842 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.842 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.842 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.842 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.842 * [taylor]: Taking taylor expansion of re in im 0.842 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.842 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.842 * [taylor]: Taking taylor expansion of im in re 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.842 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.842 * [taylor]: Taking taylor expansion of re in re 0.842 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.843 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.843 * [taylor]: Taking taylor expansion of im in re 0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.843 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.843 * [taylor]: Taking taylor expansion of re in re 0.843 * [taylor]: Taking taylor expansion of 1 in im 0.843 * [taylor]: Taking taylor expansion of 0 in im 0.843 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.843 * [taylor]: Taking taylor expansion of 1/2 in im 0.843 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.843 * [taylor]: Taking taylor expansion of im in im 0.844 * [taylor]: Taking taylor expansion of 0 in im 0.844 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.844 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.844 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.844 * [taylor]: Taking taylor expansion of im in im 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.844 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.844 * [taylor]: Taking taylor expansion of re in im 0.844 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.844 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.844 * [taylor]: Taking taylor expansion of im in re 0.845 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.845 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.845 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.845 * [taylor]: Taking taylor expansion of im in re 0.845 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.845 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [taylor]: Taking taylor expansion of 1 in im 0.845 * [taylor]: Taking taylor expansion of 0 in im 0.845 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.845 * [taylor]: Taking taylor expansion of 1/2 in im 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.845 * [taylor]: Taking taylor expansion of im in im 0.846 * [taylor]: Taking taylor expansion of 0 in im 0.846 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1) 0.846 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.846 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.846 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.846 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.846 * [taylor]: Taking taylor expansion of re in im 0.846 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.846 * [taylor]: Taking taylor expansion of im in im 0.847 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.847 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.847 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.847 * [taylor]: Taking taylor expansion of re in re 0.847 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.847 * [taylor]: Taking taylor expansion of im in re 0.847 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.847 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.847 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.847 * [taylor]: Taking taylor expansion of re in re 0.847 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.847 * [taylor]: Taking taylor expansion of im in re 0.847 * [taylor]: Taking taylor expansion of im in im 0.847 * [taylor]: Taking taylor expansion of 0 in im 0.847 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.847 * [taylor]: Taking taylor expansion of 1/2 in im 0.847 * [taylor]: Taking taylor expansion of im in im 0.848 * [taylor]: Taking taylor expansion of 0 in im 0.848 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.848 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.848 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.848 * [taylor]: Taking taylor expansion of im in im 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.848 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.848 * [taylor]: Taking taylor expansion of re in im 0.848 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.848 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.848 * [taylor]: Taking taylor expansion of im in re 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.849 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.849 * [taylor]: Taking taylor expansion of re in re 0.849 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.849 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.849 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.849 * [taylor]: Taking taylor expansion of im in re 0.849 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.849 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.849 * [taylor]: Taking taylor expansion of re in re 0.849 * [taylor]: Taking taylor expansion of 1 in im 0.849 * [taylor]: Taking taylor expansion of 0 in im 0.849 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.849 * [taylor]: Taking taylor expansion of 1/2 in im 0.849 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.850 * [taylor]: Taking taylor expansion of 0 in im 0.850 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.850 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.850 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.850 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.850 * [taylor]: Taking taylor expansion of im in im 0.850 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.850 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.850 * [taylor]: Taking taylor expansion of re in im 0.851 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.851 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.851 * [taylor]: Taking taylor expansion of im in re 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.851 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.851 * [taylor]: Taking taylor expansion of re in re 0.851 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.851 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.851 * [taylor]: Taking taylor expansion of im in re 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.851 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.851 * [taylor]: Taking taylor expansion of re in re 0.851 * [taylor]: Taking taylor expansion of 1 in im 0.851 * [taylor]: Taking taylor expansion of 0 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.852 * [taylor]: Taking taylor expansion of 1/2 in im 0.852 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of 0 in im 0.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 0.852 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.852 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.853 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.853 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.853 * [taylor]: Taking taylor expansion of re in im 0.853 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.853 * [taylor]: Taking taylor expansion of im in im 0.853 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.853 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.853 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.853 * [taylor]: Taking taylor expansion of re in re 0.853 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.853 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.853 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.853 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.853 * [taylor]: Taking taylor expansion of re in re 0.853 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.854 * [taylor]: Taking taylor expansion of im in im 0.854 * [taylor]: Taking taylor expansion of 0 in im 0.854 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.854 * [taylor]: Taking taylor expansion of 1/2 in im 0.854 * [taylor]: Taking taylor expansion of im in im 0.854 * [taylor]: Taking taylor expansion of 0 in im 0.854 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.854 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.854 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.854 * [taylor]: Taking taylor expansion of im in im 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.854 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.854 * [taylor]: Taking taylor expansion of re in im 0.855 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.855 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.855 * [taylor]: Taking taylor expansion of im in re 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.855 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.855 * [taylor]: Taking taylor expansion of re in re 0.855 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.855 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.855 * [taylor]: Taking taylor expansion of im in re 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.855 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.855 * [taylor]: Taking taylor expansion of re in re 0.855 * [taylor]: Taking taylor expansion of 1 in im 0.855 * [taylor]: Taking taylor expansion of 0 in im 0.856 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.856 * [taylor]: Taking taylor expansion of 1/2 in im 0.856 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.856 * [taylor]: Taking taylor expansion of im in im 0.856 * [taylor]: Taking taylor expansion of 0 in im 0.857 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.857 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.857 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.857 * [taylor]: Taking taylor expansion of im in im 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.857 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.857 * [taylor]: Taking taylor expansion of re in im 0.857 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.857 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.857 * [taylor]: Taking taylor expansion of im in re 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.857 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.857 * [taylor]: Taking taylor expansion of re in re 0.857 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.857 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.857 * [taylor]: Taking taylor expansion of im in re 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.858 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.858 * [taylor]: Taking taylor expansion of re in re 0.858 * [taylor]: Taking taylor expansion of 1 in im 0.858 * [taylor]: Taking taylor expansion of 0 in im 0.858 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.858 * [taylor]: Taking taylor expansion of 1/2 in im 0.858 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.859 * [taylor]: Taking taylor expansion of 0 in im 0.859 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 0.859 * [approximate]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in (re im) around 0 0.859 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in im 0.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in im 0.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in im 0.859 * [taylor]: Taking taylor expansion of 1/3 in im 0.859 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 0.859 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.859 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.859 * [taylor]: Taking taylor expansion of re in im 0.859 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.859 * [taylor]: Taking taylor expansion of im in im 0.860 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in re 0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in re 0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in re 0.860 * [taylor]: Taking taylor expansion of 1/3 in re 0.860 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.860 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.860 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.860 * [taylor]: Taking taylor expansion of re in re 0.860 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.860 * [taylor]: Taking taylor expansion of im in re 0.860 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in re 0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in re 0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in re 0.860 * [taylor]: Taking taylor expansion of 1/3 in re 0.860 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.860 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.860 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.860 * [taylor]: Taking taylor expansion of re in re 0.860 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.860 * [taylor]: Taking taylor expansion of im in re 0.861 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/3) in im 0.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow im 2)))) in im 0.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow im 2))) in im 0.861 * [taylor]: Taking taylor expansion of 1/3 in im 0.861 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.861 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.861 * [taylor]: Taking taylor expansion of im in im 0.862 * [taylor]: Taking taylor expansion of 0 in im 0.863 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow im 4)) 1/3)) in im 0.863 * [taylor]: Taking taylor expansion of 1/3 in im 0.863 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow im 4)) 1/3) in im 0.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow im 4))))) in im 0.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow im 4)))) in im 0.863 * [taylor]: Taking taylor expansion of 1/3 in im 0.863 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 4))) in im 0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 0.863 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.863 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of 0 in im 0.866 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in (re im) around 0 0.866 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in im 0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.866 * [taylor]: Taking taylor expansion of 1/3 in im 0.866 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.866 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.866 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.866 * [taylor]: Taking taylor expansion of im in im 0.866 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.866 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.866 * [taylor]: Taking taylor expansion of re in im 0.866 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 0.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 0.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.867 * [taylor]: Taking taylor expansion of 1/3 in re 0.867 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.867 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.867 * [taylor]: Taking taylor expansion of im in re 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.867 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.867 * [taylor]: Taking taylor expansion of re in re 0.867 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 0.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 0.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.867 * [taylor]: Taking taylor expansion of 1/3 in re 0.867 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.867 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.867 * [taylor]: Taking taylor expansion of im in re 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.867 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.867 * [taylor]: Taking taylor expansion of re in re 0.867 * [taylor]: Taking taylor expansion of (pow re -2/3) in im 0.867 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log re))) in im 0.867 * [taylor]: Taking taylor expansion of (* -2/3 (log re)) in im 0.867 * [taylor]: Taking taylor expansion of -2/3 in im 0.867 * [taylor]: Taking taylor expansion of (log re) in im 0.867 * [taylor]: Taking taylor expansion of re in im 0.868 * [taylor]: Taking taylor expansion of 0 in im 0.869 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2)))) in im 0.869 * [taylor]: Taking taylor expansion of 1/3 in im 0.869 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2))) in im 0.869 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow re 2)) 1/3) in im 0.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow re 2))))) in im 0.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow re 2)))) in im 0.869 * [taylor]: Taking taylor expansion of 1/3 in im 0.869 * [taylor]: Taking taylor expansion of (log (/ 1 (pow re 2))) in im 0.869 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.869 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.869 * [taylor]: Taking taylor expansion of re in im 0.869 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.869 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.869 * [taylor]: Taking taylor expansion of im in im 0.872 * [taylor]: Taking taylor expansion of 0 in im 0.873 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in (re im) around 0 0.873 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in im 0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 0.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.873 * [taylor]: Taking taylor expansion of 1/3 in im 0.873 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.873 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.873 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.873 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.873 * [taylor]: Taking taylor expansion of re in im 0.873 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 0.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.873 * [taylor]: Taking taylor expansion of 1/3 in re 0.873 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.873 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.873 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.873 * [taylor]: Taking taylor expansion of im in re 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.874 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.874 * [taylor]: Taking taylor expansion of re in re 0.874 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 0.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 0.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.874 * [taylor]: Taking taylor expansion of 1/3 in re 0.874 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.874 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.874 * [taylor]: Taking taylor expansion of im in re 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.874 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.874 * [taylor]: Taking taylor expansion of re in re 0.874 * [taylor]: Taking taylor expansion of (pow re -2/3) in im 0.874 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log re))) in im 0.874 * [taylor]: Taking taylor expansion of (* -2/3 (log re)) in im 0.874 * [taylor]: Taking taylor expansion of -2/3 in im 0.874 * [taylor]: Taking taylor expansion of (log re) in im 0.874 * [taylor]: Taking taylor expansion of re in im 0.875 * [taylor]: Taking taylor expansion of 0 in im 0.876 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2)))) in im 0.876 * [taylor]: Taking taylor expansion of 1/3 in im 0.876 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2))) in im 0.876 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow re 2)) 1/3) in im 0.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow re 2))))) in im 0.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow re 2)))) in im 0.876 * [taylor]: Taking taylor expansion of 1/3 in im 0.876 * [taylor]: Taking taylor expansion of (log (/ 1 (pow re 2))) in im 0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.876 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.876 * [taylor]: Taking taylor expansion of re in im 0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.876 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.876 * [taylor]: Taking taylor expansion of im in im 0.879 * [taylor]: Taking taylor expansion of 0 in im 0.880 * * * [progress]: simplifying candidates 0.881 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 1/3 1/3) (+.f64 1 1) (*.f64 (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))))) (+.f64 1 1) (+.f64 (log.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)))))) (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (exp.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (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 (*.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 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.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))))) (*.f64 (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 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (*.f64 (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 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))))) (*.f64 (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 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im))))))) (*.f64 (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 im im) (*.f64 im im)))))) (*.f64 (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 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (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))))))) (*.f64 (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 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.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))))) (*.f64 (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 (*.f64 (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)))))) (*.f64 (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 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (*.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 (sqrt.f64 1)) (cbrt.f64 (sqrt.f64 1))) (*.f64 (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 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (*.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)))))) (*.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))))))) (*.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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 1 1) (*.f64 (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 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (sqrt.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)))))) (*.f64 (sqrt.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)))))) (*.f64 (sqrt.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)))))) (*.f64 (sqrt.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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 2 1/3) (*.f64 2 1) (*.f64 (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))))))) (*.f64 (cbrt.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))))))) (*.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 1))) (*.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 1)) (*.f64 (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))))))) (*.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (*.f64 (cbrt.f64 (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 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (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))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (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))))) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (sqrt.f64 (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 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (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 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (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))))) im re (*.f64 -1 re) im re (*.f64 -1 re) im re (*.f64 -1 re) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 (pow.f64 im 4)) 1/3))) (pow.f64 im 2/3)) (pow.f64 (/.f64 1 re) -2/3) (pow.f64 (/.f64 -1 re) -2/3) 0.929 * * [simplify]: iteration 0 : 4986 enodes (cost 1753 ) 0.929 * * [simplify]: iteration 1 : 4986 enodes (cost 1753 ) 0.936 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 2/3 2 (+.f64 (*.f64 re re) (*.f64 im im)) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2 (log.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (*.f64 re re) (*.f64 im im)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 4) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))))) (*.f64 (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) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im))))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))) (*.f64 (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 (*.f64 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))) (*.f64 (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 (*.f64 re re) (*.f64 im im))))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 4) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 4) (cbrt.f64 (cbrt.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)))) 1 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.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)))) 2/3 2 (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 5) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 1)) (*.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)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 1)) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 5) (pow.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 4) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.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 (+.f64 (*.f64 re re) (*.f64 im im))) (*.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 (+.f64 (*.f64 re re) (*.f64 im im))) (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 4) (pow.f64 (sqrt.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 3) (cbrt.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 (pow.f64 re 6) (pow.f64 im 6))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))) (*.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))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))))) im re (neg.f64 re) im re (neg.f64 re) im re (neg.f64 re) (+.f64 (*.f64 1/3 (*.f64 (*.f64 re re) (cbrt.f64 (/.f64 1 (pow.f64 im 4))))) (pow.f64 im 2/3)) (pow.f64 (/.f64 1 re) -2/3) (pow.f64 (/.f64 -1 re) -2/3) 0.937 * * * [progress]: adding candidates to table 1.026 * * [progress]: iteration 3 / 4 1.026 * * * [progress]: picking best candidate 1.059 * * * * [pick]: Picked # 1.060 * * * [progress]: localizing error 1.078 * * * [progress]: generating rewritten candidates 1.078 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.093 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.110 * * * [progress]: generating series expansions 1.110 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.110 * [approximate]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in (re im) around 0 1.110 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in im 1.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in im 1.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in im 1.110 * [taylor]: Taking taylor expansion of 1/3 in im 1.110 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 1.110 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.110 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.110 * [taylor]: Taking taylor expansion of re in im 1.110 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.110 * [taylor]: Taking taylor expansion of im in im 1.110 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in re 1.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in re 1.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in re 1.110 * [taylor]: Taking taylor expansion of 1/3 in re 1.110 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.111 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.111 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.111 * [taylor]: Taking taylor expansion of re in re 1.111 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.111 * [taylor]: Taking taylor expansion of im in re 1.111 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/3) in re 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow re 2) (pow im 2))))) in re 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow re 2) (pow im 2)))) in re 1.111 * [taylor]: Taking taylor expansion of 1/3 in re 1.111 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.111 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.111 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.111 * [taylor]: Taking taylor expansion of re in re 1.111 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.111 * [taylor]: Taking taylor expansion of im in re 1.111 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/3) in im 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow im 2)))) in im 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow im 2))) in im 1.111 * [taylor]: Taking taylor expansion of 1/3 in im 1.111 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.111 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.111 * [taylor]: Taking taylor expansion of im in im 1.112 * [taylor]: Taking taylor expansion of 0 in im 1.113 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow im 4)) 1/3)) in im 1.113 * [taylor]: Taking taylor expansion of 1/3 in im 1.113 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow im 4)) 1/3) in im 1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow im 4))))) in im 1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow im 4)))) in im 1.113 * [taylor]: Taking taylor expansion of 1/3 in im 1.113 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 4))) in im 1.113 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 1.113 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.113 * [taylor]: Taking taylor expansion of im in im 1.115 * [taylor]: Taking taylor expansion of 0 in im 1.116 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in (re im) around 0 1.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in im 1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.116 * [taylor]: Taking taylor expansion of 1/3 in im 1.116 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.116 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.116 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.116 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.116 * [taylor]: Taking taylor expansion of im in im 1.116 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.116 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.116 * [taylor]: Taking taylor expansion of re in im 1.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.116 * [taylor]: Taking taylor expansion of 1/3 in re 1.116 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.116 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.116 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.116 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.116 * [taylor]: Taking taylor expansion of im in re 1.117 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.117 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.117 * [taylor]: Taking taylor expansion of re in re 1.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.117 * [taylor]: Taking taylor expansion of 1/3 in re 1.117 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.117 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.117 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.117 * [taylor]: Taking taylor expansion of im in re 1.117 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.117 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.117 * [taylor]: Taking taylor expansion of re in re 1.117 * [taylor]: Taking taylor expansion of (pow re -2/3) in im 1.117 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log re))) in im 1.117 * [taylor]: Taking taylor expansion of (* -2/3 (log re)) in im 1.117 * [taylor]: Taking taylor expansion of -2/3 in im 1.117 * [taylor]: Taking taylor expansion of (log re) in im 1.117 * [taylor]: Taking taylor expansion of re in im 1.118 * [taylor]: Taking taylor expansion of 0 in im 1.119 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2)))) in im 1.119 * [taylor]: Taking taylor expansion of 1/3 in im 1.119 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2))) in im 1.119 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow re 2)) 1/3) in im 1.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow re 2))))) in im 1.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow re 2)))) in im 1.119 * [taylor]: Taking taylor expansion of 1/3 in im 1.119 * [taylor]: Taking taylor expansion of (log (/ 1 (pow re 2))) in im 1.119 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.119 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.119 * [taylor]: Taking taylor expansion of re in im 1.119 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.119 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.119 * [taylor]: Taking taylor expansion of im in im 1.122 * [taylor]: Taking taylor expansion of 0 in im 1.123 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in (re im) around 0 1.123 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in im 1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.123 * [taylor]: Taking taylor expansion of 1/3 in im 1.123 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.123 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.123 * [taylor]: Taking taylor expansion of im in im 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.123 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.123 * [taylor]: Taking taylor expansion of re in im 1.123 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.123 * [taylor]: Taking taylor expansion of 1/3 in re 1.123 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.123 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.123 * [taylor]: Taking taylor expansion of im in re 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.123 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.123 * [taylor]: Taking taylor expansion of re in re 1.124 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/3) in re 1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.124 * [taylor]: Taking taylor expansion of 1/3 in re 1.124 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.124 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.124 * [taylor]: Taking taylor expansion of im in re 1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.124 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.124 * [taylor]: Taking taylor expansion of re in re 1.124 * [taylor]: Taking taylor expansion of (pow re -2/3) in im 1.124 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log re))) in im 1.124 * [taylor]: Taking taylor expansion of (* -2/3 (log re)) in im 1.124 * [taylor]: Taking taylor expansion of -2/3 in im 1.124 * [taylor]: Taking taylor expansion of (log re) in im 1.124 * [taylor]: Taking taylor expansion of re in im 1.124 * [taylor]: Taking taylor expansion of 0 in im 1.125 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2)))) in im 1.125 * [taylor]: Taking taylor expansion of 1/3 in im 1.125 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow re 2)) 1/3) (/ 1 (pow im 2))) in im 1.126 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow re 2)) 1/3) in im 1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow re 2))))) in im 1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow re 2)))) in im 1.126 * [taylor]: Taking taylor expansion of 1/3 in im 1.126 * [taylor]: Taking taylor expansion of (log (/ 1 (pow re 2))) in im 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.126 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.126 * [taylor]: Taking taylor expansion of re in im 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.126 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.126 * [taylor]: Taking taylor expansion of im in im 1.129 * [taylor]: Taking taylor expansion of 0 in im 1.129 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 1.129 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.129 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.129 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.129 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.129 * [taylor]: Taking taylor expansion of re in im 1.129 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.129 * [taylor]: Taking taylor expansion of im in im 1.130 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.130 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.130 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.130 * [taylor]: Taking taylor expansion of re in re 1.130 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.130 * [taylor]: Taking taylor expansion of im in re 1.130 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.130 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.130 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.130 * [taylor]: Taking taylor expansion of re in re 1.130 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.130 * [taylor]: Taking taylor expansion of im in re 1.130 * [taylor]: Taking taylor expansion of im in im 1.130 * [taylor]: Taking taylor expansion of 0 in im 1.131 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.131 * [taylor]: Taking taylor expansion of 1/2 in im 1.131 * [taylor]: Taking taylor expansion of im in im 1.131 * [taylor]: Taking taylor expansion of 0 in im 1.131 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.131 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.131 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.131 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.131 * [taylor]: Taking taylor expansion of im in im 1.131 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.131 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.131 * [taylor]: Taking taylor expansion of re in im 1.132 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.132 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.132 * [taylor]: Taking taylor expansion of im in re 1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.132 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.132 * [taylor]: Taking taylor expansion of re in re 1.132 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.132 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.132 * [taylor]: Taking taylor expansion of im in re 1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.132 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.132 * [taylor]: Taking taylor expansion of re in re 1.132 * [taylor]: Taking taylor expansion of 1 in im 1.132 * [taylor]: Taking taylor expansion of 0 in im 1.133 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.133 * [taylor]: Taking taylor expansion of 1/2 in im 1.133 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.133 * [taylor]: Taking taylor expansion of im in im 1.133 * [taylor]: Taking taylor expansion of 0 in im 1.133 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.133 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.133 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.133 * [taylor]: Taking taylor expansion of im in im 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.134 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.134 * [taylor]: Taking taylor expansion of re in im 1.134 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.134 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.134 * [taylor]: Taking taylor expansion of im in re 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.134 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.134 * [taylor]: Taking taylor expansion of re in re 1.134 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.134 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.134 * [taylor]: Taking taylor expansion of im in re 1.134 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.134 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.134 * [taylor]: Taking taylor expansion of re in re 1.134 * [taylor]: Taking taylor expansion of 1 in im 1.134 * [taylor]: Taking taylor expansion of 0 in im 1.135 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.135 * [taylor]: Taking taylor expansion of 1/2 in im 1.135 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.135 * [taylor]: Taking taylor expansion of im in im 1.135 * [taylor]: Taking taylor expansion of 0 in im 1.135 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.136 * [approximate]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in (re im) around 0 1.136 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in im 1.136 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in im 1.136 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in im 1.136 * [taylor]: Taking taylor expansion of 1/6 in im 1.136 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 1.136 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.136 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.136 * [taylor]: Taking taylor expansion of re in im 1.136 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.136 * [taylor]: Taking taylor expansion of im in im 1.138 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in re 1.138 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in re 1.138 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in re 1.138 * [taylor]: Taking taylor expansion of 1/6 in re 1.138 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.138 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.138 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.138 * [taylor]: Taking taylor expansion of re in re 1.138 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.138 * [taylor]: Taking taylor expansion of im in re 1.139 * [taylor]: Taking taylor expansion of (pow (+ (pow re 2) (pow im 2)) 1/6) in re 1.139 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (pow re 2) (pow im 2))))) in re 1.139 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (pow re 2) (pow im 2)))) in re 1.139 * [taylor]: Taking taylor expansion of 1/6 in re 1.139 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.139 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.139 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.139 * [taylor]: Taking taylor expansion of re in re 1.139 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.139 * [taylor]: Taking taylor expansion of im in re 1.139 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/6) in im 1.139 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (pow im 2)))) in im 1.139 * [taylor]: Taking taylor expansion of (* 1/6 (log (pow im 2))) in im 1.139 * [taylor]: Taking taylor expansion of 1/6 in im 1.139 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.139 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.139 * [taylor]: Taking taylor expansion of im in im 1.140 * [taylor]: Taking taylor expansion of 0 in im 1.141 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 (pow im 5)) 1/3)) in im 1.141 * [taylor]: Taking taylor expansion of 1/6 in im 1.141 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow im 5)) 1/3) in im 1.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow im 5))))) in im 1.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow im 5)))) in im 1.141 * [taylor]: Taking taylor expansion of 1/3 in im 1.141 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 5))) in im 1.141 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.141 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.141 * [taylor]: Taking taylor expansion of im in im 1.143 * [taylor]: Taking taylor expansion of 0 in im 1.144 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in (re im) around 0 1.144 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in im 1.144 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 1.144 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.144 * [taylor]: Taking taylor expansion of 1/6 in im 1.144 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.144 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.144 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.144 * [taylor]: Taking taylor expansion of im in im 1.144 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.144 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.144 * [taylor]: Taking taylor expansion of re in im 1.144 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re 1.144 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.144 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.144 * [taylor]: Taking taylor expansion of 1/6 in re 1.144 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.144 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.144 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.144 * [taylor]: Taking taylor expansion of im in re 1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.145 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.145 * [taylor]: Taking taylor expansion of re in re 1.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re 1.145 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.145 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.145 * [taylor]: Taking taylor expansion of 1/6 in re 1.145 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.145 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.145 * [taylor]: Taking taylor expansion of im in re 1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.145 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.145 * [taylor]: Taking taylor expansion of re in re 1.145 * [taylor]: Taking taylor expansion of (pow re -1/3) in im 1.145 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log re))) in im 1.145 * [taylor]: Taking taylor expansion of (* -1/3 (log re)) in im 1.145 * [taylor]: Taking taylor expansion of -1/3 in im 1.145 * [taylor]: Taking taylor expansion of (log re) in im 1.145 * [taylor]: Taking taylor expansion of re in im 1.146 * [taylor]: Taking taylor expansion of 0 in im 1.147 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2)))) in im 1.147 * [taylor]: Taking taylor expansion of 1/6 in im 1.147 * [taylor]: Taking taylor expansion of (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2))) in im 1.147 * [taylor]: Taking taylor expansion of (pow (/ 1 re) 1/3) in im 1.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 re)))) in im 1.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 re))) in im 1.147 * [taylor]: Taking taylor expansion of 1/3 in im 1.147 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in im 1.147 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.147 * [taylor]: Taking taylor expansion of re in im 1.147 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.147 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.147 * [taylor]: Taking taylor expansion of im in im 1.149 * [taylor]: Taking taylor expansion of 0 in im 1.150 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in (re im) around 0 1.150 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in im 1.150 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im 1.150 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.150 * [taylor]: Taking taylor expansion of 1/6 in im 1.150 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.150 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.150 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.150 * [taylor]: Taking taylor expansion of im in im 1.150 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.150 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.150 * [taylor]: Taking taylor expansion of re in im 1.150 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re 1.150 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.150 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.150 * [taylor]: Taking taylor expansion of 1/6 in re 1.150 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.150 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.150 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.150 * [taylor]: Taking taylor expansion of im in re 1.150 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.150 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.150 * [taylor]: Taking taylor expansion of re in re 1.150 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) 1/6) in re 1.151 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re 1.151 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.151 * [taylor]: Taking taylor expansion of 1/6 in re 1.151 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.151 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.151 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.151 * [taylor]: Taking taylor expansion of im in re 1.151 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.151 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.151 * [taylor]: Taking taylor expansion of re in re 1.151 * [taylor]: Taking taylor expansion of (pow re -1/3) in im 1.151 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log re))) in im 1.151 * [taylor]: Taking taylor expansion of (* -1/3 (log re)) in im 1.151 * [taylor]: Taking taylor expansion of -1/3 in im 1.151 * [taylor]: Taking taylor expansion of (log re) in im 1.151 * [taylor]: Taking taylor expansion of re in im 1.151 * [taylor]: Taking taylor expansion of 0 in im 1.152 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2)))) in im 1.152 * [taylor]: Taking taylor expansion of 1/6 in im 1.152 * [taylor]: Taking taylor expansion of (* (pow (/ 1 re) 1/3) (/ 1 (pow im 2))) in im 1.152 * [taylor]: Taking taylor expansion of (pow (/ 1 re) 1/3) in im 1.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 re)))) in im 1.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 re))) in im 1.153 * [taylor]: Taking taylor expansion of 1/3 in im 1.153 * [taylor]: Taking taylor expansion of (log (/ 1 re)) in im 1.153 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.153 * [taylor]: Taking taylor expansion of re in im 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.153 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.153 * [taylor]: Taking taylor expansion of im in im 1.155 * [taylor]: Taking taylor expansion of 0 in im 1.155 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.156 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 1.156 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 1.156 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 1.156 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 1.156 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 1.156 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.156 * [taylor]: Taking taylor expansion of re in base 1.156 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.156 * [taylor]: Taking taylor expansion of im in base 1.156 * [taylor]: Taking taylor expansion of (log base) in base 1.156 * [taylor]: Taking taylor expansion of base in base 1.156 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 1.157 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 1.157 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.157 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.157 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.157 * [taylor]: Taking taylor expansion of re in im 1.157 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.157 * [taylor]: Taking taylor expansion of im in im 1.157 * [taylor]: Taking taylor expansion of (log base) in im 1.157 * [taylor]: Taking taylor expansion of base in im 1.157 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.157 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.157 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.157 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.157 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.157 * [taylor]: Taking taylor expansion of re in re 1.157 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.157 * [taylor]: Taking taylor expansion of im in re 1.157 * [taylor]: Taking taylor expansion of (log base) in re 1.157 * [taylor]: Taking taylor expansion of base in re 1.157 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.157 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.157 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.157 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.157 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.158 * [taylor]: Taking taylor expansion of re in re 1.158 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.158 * [taylor]: Taking taylor expansion of im in re 1.158 * [taylor]: Taking taylor expansion of (log base) in re 1.158 * [taylor]: Taking taylor expansion of base in re 1.158 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im 1.158 * [taylor]: Taking taylor expansion of (log im) in im 1.158 * [taylor]: Taking taylor expansion of im in im 1.158 * [taylor]: Taking taylor expansion of (log base) in im 1.158 * [taylor]: Taking taylor expansion of base in im 1.158 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base 1.158 * [taylor]: Taking taylor expansion of (log im) in base 1.158 * [taylor]: Taking taylor expansion of im in base 1.158 * [taylor]: Taking taylor expansion of (log base) in base 1.158 * [taylor]: Taking taylor expansion of base in base 1.159 * [taylor]: Taking taylor expansion of 0 in im 1.159 * [taylor]: Taking taylor expansion of 0 in base 1.159 * [taylor]: Taking taylor expansion of 0 in base 1.160 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im 1.160 * [taylor]: Taking taylor expansion of 1/2 in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im 1.160 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im 1.160 * [taylor]: Taking taylor expansion of (log base) in im 1.160 * [taylor]: Taking taylor expansion of base in im 1.160 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.160 * [taylor]: Taking taylor expansion of im in im 1.161 * [taylor]: Taking taylor expansion of 0 in base 1.161 * [taylor]: Taking taylor expansion of 0 in base 1.161 * [taylor]: Taking taylor expansion of 0 in base 1.162 * [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.162 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 1.162 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.162 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.162 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.162 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.162 * [taylor]: Taking taylor expansion of im in base 1.162 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.162 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.162 * [taylor]: Taking taylor expansion of re in base 1.163 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.163 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.163 * [taylor]: Taking taylor expansion of base in base 1.163 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 1.163 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.163 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.163 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.163 * [taylor]: Taking taylor expansion of im in im 1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.163 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.163 * [taylor]: Taking taylor expansion of re in im 1.164 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.164 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.164 * [taylor]: Taking taylor expansion of base in im 1.164 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.164 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.164 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.164 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.164 * [taylor]: Taking taylor expansion of im in re 1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.164 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.164 * [taylor]: Taking taylor expansion of re in re 1.164 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.164 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.164 * [taylor]: Taking taylor expansion of base in re 1.164 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.164 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.164 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.165 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.165 * [taylor]: Taking taylor expansion of im in re 1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.165 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.165 * [taylor]: Taking taylor expansion of re in re 1.165 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.165 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.165 * [taylor]: Taking taylor expansion of base in re 1.165 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im 1.165 * [taylor]: Taking taylor expansion of -1 in im 1.165 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im 1.165 * [taylor]: Taking taylor expansion of (log re) in im 1.165 * [taylor]: Taking taylor expansion of re in im 1.165 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.165 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.165 * [taylor]: Taking taylor expansion of base in im 1.165 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base 1.165 * [taylor]: Taking taylor expansion of -1 in base 1.165 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base 1.165 * [taylor]: Taking taylor expansion of (log re) in base 1.165 * [taylor]: Taking taylor expansion of re in base 1.165 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.165 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.165 * [taylor]: Taking taylor expansion of base in base 1.166 * [taylor]: Taking taylor expansion of 0 in im 1.166 * [taylor]: Taking taylor expansion of 0 in base 1.167 * [taylor]: Taking taylor expansion of 0 in base 1.168 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im 1.168 * [taylor]: Taking taylor expansion of 1/2 in im 1.168 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im 1.168 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im 1.168 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.168 * [taylor]: Taking taylor expansion of im in im 1.168 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.168 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.168 * [taylor]: Taking taylor expansion of base in im 1.169 * [taylor]: Taking taylor expansion of 0 in base 1.169 * [taylor]: Taking taylor expansion of 0 in base 1.170 * [taylor]: Taking taylor expansion of 0 in base 1.170 * [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.170 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 1.170 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.170 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.170 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.170 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.170 * [taylor]: Taking taylor expansion of im in base 1.170 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.171 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.171 * [taylor]: Taking taylor expansion of re in base 1.171 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.172 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.172 * [taylor]: Taking taylor expansion of -1 in base 1.172 * [taylor]: Taking taylor expansion of base in base 1.172 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 1.172 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.172 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.172 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.172 * [taylor]: Taking taylor expansion of im in im 1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.172 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.172 * [taylor]: Taking taylor expansion of re in im 1.172 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.172 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.172 * [taylor]: Taking taylor expansion of -1 in im 1.172 * [taylor]: Taking taylor expansion of base in im 1.173 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.173 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.173 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.173 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.173 * [taylor]: Taking taylor expansion of im in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.173 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.173 * [taylor]: Taking taylor expansion of re in re 1.173 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.173 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.173 * [taylor]: Taking taylor expansion of -1 in re 1.173 * [taylor]: Taking taylor expansion of base in re 1.173 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.173 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.173 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.173 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.173 * [taylor]: Taking taylor expansion of im in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.173 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.173 * [taylor]: Taking taylor expansion of re in re 1.174 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.174 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.174 * [taylor]: Taking taylor expansion of -1 in re 1.174 * [taylor]: Taking taylor expansion of base in re 1.174 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im 1.174 * [taylor]: Taking taylor expansion of -1 in im 1.174 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im 1.174 * [taylor]: Taking taylor expansion of (log re) in im 1.174 * [taylor]: Taking taylor expansion of re in im 1.174 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.174 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.174 * [taylor]: Taking taylor expansion of -1 in im 1.174 * [taylor]: Taking taylor expansion of base in im 1.174 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base 1.174 * [taylor]: Taking taylor expansion of -1 in base 1.174 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base 1.174 * [taylor]: Taking taylor expansion of (log re) in base 1.174 * [taylor]: Taking taylor expansion of re in base 1.174 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.174 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.174 * [taylor]: Taking taylor expansion of -1 in base 1.174 * [taylor]: Taking taylor expansion of base in base 1.175 * [taylor]: Taking taylor expansion of 0 in im 1.175 * [taylor]: Taking taylor expansion of 0 in base 1.176 * [taylor]: Taking taylor expansion of 0 in base 1.177 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im 1.177 * [taylor]: Taking taylor expansion of 1/2 in im 1.177 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im 1.177 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im 1.177 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.177 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.177 * [taylor]: Taking taylor expansion of -1 in im 1.177 * [taylor]: Taking taylor expansion of base in im 1.177 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.177 * [taylor]: Taking taylor expansion of im in im 1.178 * [taylor]: Taking taylor expansion of 0 in base 1.178 * [taylor]: Taking taylor expansion of 0 in base 1.179 * [taylor]: Taking taylor expansion of 0 in base 1.179 * * * [progress]: simplifying candidates 1.181 * [simplify]: Simplifying using # : (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/3) (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/3) (*.f64 1 1/3) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 1/3)) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1/3) (pow.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/3) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/3) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/3) (pow.f64 1 1/3) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (log.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (exp.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3)) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (/.f64 1/3 2)) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (/.f64 1/3 2)) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (exp.f64 (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 (*.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 (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 (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)))) (*.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))))) (*.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))))) (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))))) (-.f64 (log.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 (log.f64 base))) (log.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (exp.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (/.f64 (*.f64 (*.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base))) (*.f64 (cbrt.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (cbrt.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)))) (cbrt.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (*.f64 (*.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (sqrt.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (sqrt.f64 (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base))) (neg.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (neg.f64 (log.f64 base)) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))))) (log.f64 base)) (/.f64 (log.f64 (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))))))) (log.f64 base)) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))))) (log.f64 base)) (/.f64 (log.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base)) (/.f64 1/3 1) (/.f64 (log.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base)) (/.f64 1/3 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (log.f64 base))) (/.f64 1/3 (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (log.f64 base))) (/.f64 1/3 1) (/.f64 (log.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base)) (/.f64 1 1) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (log.f64 base))) (/.f64 1 1) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)) (/.f64 (*.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) 1) (/.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 base)) (/.f64 (*.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 base))) (/.f64 (*.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (sqrt.f64 (log.f64 base))) (/.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (sqrt.f64 (log.f64 base))) (/.f64 (*.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) 1) (/.f64 (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 base)) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) 1) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 base)) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (cbrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (sqrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (sqrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) 1) (/.f64 (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (log.f64 base)) (/.f64 1 1) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.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 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (log.f64 base))) (/.f64 1 1) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (log.f64 base)) (/.f64 1 (log.f64 base)) (/.f64 (log.f64 base) (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 1) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (sqrt.f64 (log.f64 base))) (/.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 1) (/.f64 (log.f64 base) (log.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (/.f64 (log.f64 base) (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (/.f64 (log.f64 base) (cbrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (/.f64 (log.f64 base) (sqrt.f64 (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (/.f64 (log.f64 base) (log.f64 (*.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 re 2) (pow.f64 (/.f64 1 (pow.f64 im 4)) 1/3))) (pow.f64 im 2/3)) (pow.f64 (/.f64 1 re) -2/3) (pow.f64 (/.f64 -1 re) -2/3) 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) (/.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))))) 1.223 * * [simplify]: iteration 0 : 4998 enodes (cost 1431 ) 1.223 * * [simplify]: iteration 1 : 4998 enodes (cost 1431 ) 1.229 * [simplify]: Simplified to: (log.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1/3 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 1/3)) (+.f64 (*.f64 re re) (*.f64 im im)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2/3)) (cbrt.f64 (cbrt.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)))) 1 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (log.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2/3) (cbrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (*.f64 re re) (*.f64 im im)) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/6) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/6) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2/3) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3/2) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 1/6 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2/3)) (cbrt.f64 (cbrt.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))))) 1 (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))))) 1 (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)))) (*.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))))) (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))))) (log.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))) (exp.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)) (/.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))))) (log.f64 base)) (/.f64 (log.f64 (cbrt.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 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))))) (log.f64 base)) (/.f64 (log.f64 (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 base)) 1/3 (/.f64 (*.f64 3/2 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (/.f64 1/3 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (*.f64 3/2 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (log.f64 base))) (/.f64 1/3 (sqrt.f64 (log.f64 base))) (/.f64 (*.f64 3/2 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (log.f64 base))) 1/3 (/.f64 (*.f64 3/2 (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)) (*.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 1 (log.f64 base)) (/.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)))) (/.f64 (log.f64 base) (*.f64 3/2 (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) (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 (*.f64 1/3 (*.f64 (*.f64 re re) (cbrt.f64 (/.f64 1 (pow.f64 im 4))))) (pow.f64 im 2/3)) (pow.f64 (/.f64 1 re) -2/3) (pow.f64 (/.f64 -1 re) -2/3) 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) (/.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))) 1.230 * * * [progress]: adding candidates to table 1.310 * * [progress]: iteration 4 / 4 1.310 * * * [progress]: picking best candidate 1.340 * * * * [pick]: Picked # 1.340 * * * [progress]: localizing error 1.352 * * * [progress]: generating rewritten candidates 1.352 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.356 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.365 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.372 * * * [progress]: generating series expansions 1.372 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.372 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 1.372 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.372 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.372 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.372 * [taylor]: Taking taylor expansion of re in im 1.372 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.372 * [taylor]: Taking taylor expansion of im in im 1.372 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.373 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.373 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.373 * [taylor]: Taking taylor expansion of re in re 1.373 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.373 * [taylor]: Taking taylor expansion of im in re 1.373 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.373 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.373 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.373 * [taylor]: Taking taylor expansion of re in re 1.373 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.373 * [taylor]: Taking taylor expansion of im in re 1.373 * [taylor]: Taking taylor expansion of im in im 1.373 * [taylor]: Taking taylor expansion of 0 in im 1.373 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1.373 * [taylor]: Taking taylor expansion of 1/2 in im 1.373 * [taylor]: Taking taylor expansion of im in im 1.374 * [taylor]: Taking taylor expansion of 0 in im 1.374 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.374 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.374 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.374 * [taylor]: Taking taylor expansion of im in im 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.374 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.374 * [taylor]: Taking taylor expansion of re in im 1.374 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.374 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.374 * [taylor]: Taking taylor expansion of im in re 1.374 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.374 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.374 * [taylor]: Taking taylor expansion of re in re 1.375 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.375 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.375 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.375 * [taylor]: Taking taylor expansion of im in re 1.375 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.375 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.375 * [taylor]: Taking taylor expansion of re in re 1.375 * [taylor]: Taking taylor expansion of 1 in im 1.375 * [taylor]: Taking taylor expansion of 0 in im 1.375 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.375 * [taylor]: Taking taylor expansion of 1/2 in im 1.375 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.375 * [taylor]: Taking taylor expansion of im in im 1.376 * [taylor]: Taking taylor expansion of 0 in im 1.376 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.376 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.376 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.376 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.376 * [taylor]: Taking taylor expansion of im in im 1.376 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.376 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.376 * [taylor]: Taking taylor expansion of re in im 1.376 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.377 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.377 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.377 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.377 * [taylor]: Taking taylor expansion of im in re 1.377 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.377 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.377 * [taylor]: Taking taylor expansion of re in re 1.377 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.377 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.377 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.377 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.377 * [taylor]: Taking taylor expansion of im in re 1.377 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.377 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.377 * [taylor]: Taking taylor expansion of re in re 1.377 * [taylor]: Taking taylor expansion of 1 in im 1.377 * [taylor]: Taking taylor expansion of 0 in im 1.377 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1.377 * [taylor]: Taking taylor expansion of 1/2 in im 1.378 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.378 * [taylor]: Taking taylor expansion of im in im 1.378 * [taylor]: Taking taylor expansion of 0 in im 1.378 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.378 * [approximate]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in (re im base) around 0 1.378 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in base 1.378 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in base 1.378 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in base 1.378 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in base 1.379 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.379 * [taylor]: Taking taylor expansion of re in base 1.379 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.379 * [taylor]: Taking taylor expansion of im in base 1.379 * [taylor]: Taking taylor expansion of (log base) in base 1.379 * [taylor]: Taking taylor expansion of base in base 1.379 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in im 1.379 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in im 1.379 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 1.379 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.379 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.379 * [taylor]: Taking taylor expansion of re in im 1.379 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.379 * [taylor]: Taking taylor expansion of im in im 1.380 * [taylor]: Taking taylor expansion of (log base) in im 1.380 * [taylor]: Taking taylor expansion of base in im 1.380 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.380 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.380 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.380 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.380 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.380 * [taylor]: Taking taylor expansion of re in re 1.380 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.380 * [taylor]: Taking taylor expansion of im in re 1.380 * [taylor]: Taking taylor expansion of (log base) in re 1.380 * [taylor]: Taking taylor expansion of base in re 1.380 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (pow re 2) (pow im 2)))) (log base)) in re 1.380 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow re 2) (pow im 2)))) in re 1.380 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 1.380 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.380 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.380 * [taylor]: Taking taylor expansion of re in re 1.380 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.380 * [taylor]: Taking taylor expansion of im in re 1.381 * [taylor]: Taking taylor expansion of (log base) in re 1.381 * [taylor]: Taking taylor expansion of base in re 1.381 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in im 1.381 * [taylor]: Taking taylor expansion of (log im) in im 1.381 * [taylor]: Taking taylor expansion of im in im 1.381 * [taylor]: Taking taylor expansion of (log base) in im 1.381 * [taylor]: Taking taylor expansion of base in im 1.381 * [taylor]: Taking taylor expansion of (/ (log im) (log base)) in base 1.381 * [taylor]: Taking taylor expansion of (log im) in base 1.381 * [taylor]: Taking taylor expansion of im in base 1.381 * [taylor]: Taking taylor expansion of (log base) in base 1.381 * [taylor]: Taking taylor expansion of base in base 1.382 * [taylor]: Taking taylor expansion of 0 in im 1.382 * [taylor]: Taking taylor expansion of 0 in base 1.382 * [taylor]: Taking taylor expansion of 0 in base 1.383 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log base) (pow im 2)))) in im 1.383 * [taylor]: Taking taylor expansion of 1/2 in im 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* (log base) (pow im 2))) in im 1.383 * [taylor]: Taking taylor expansion of (* (log base) (pow im 2)) in im 1.383 * [taylor]: Taking taylor expansion of (log base) in im 1.383 * [taylor]: Taking taylor expansion of base in im 1.383 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.383 * [taylor]: Taking taylor expansion of im in im 1.384 * [taylor]: Taking taylor expansion of 0 in base 1.384 * [taylor]: Taking taylor expansion of 0 in base 1.384 * [taylor]: Taking taylor expansion of 0 in base 1.385 * [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.385 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in base 1.385 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.385 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.385 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.385 * [taylor]: Taking taylor expansion of im in base 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.385 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.385 * [taylor]: Taking taylor expansion of re in base 1.386 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.386 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.386 * [taylor]: Taking taylor expansion of base in base 1.386 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in im 1.386 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.386 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.386 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.386 * [taylor]: Taking taylor expansion of im in im 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.386 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.386 * [taylor]: Taking taylor expansion of re in im 1.387 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.387 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.387 * [taylor]: Taking taylor expansion of base in im 1.387 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.387 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.387 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.387 * [taylor]: Taking taylor expansion of im in re 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.387 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.387 * [taylor]: Taking taylor expansion of re in re 1.387 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.387 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.387 * [taylor]: Taking taylor expansion of base in re 1.387 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ 1 base))) in re 1.387 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.387 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.387 * [taylor]: Taking taylor expansion of im in re 1.388 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.388 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.388 * [taylor]: Taking taylor expansion of re in re 1.388 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in re 1.388 * [taylor]: Taking taylor expansion of (/ 1 base) in re 1.388 * [taylor]: Taking taylor expansion of base in re 1.388 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in im 1.388 * [taylor]: Taking taylor expansion of -1 in im 1.388 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in im 1.388 * [taylor]: Taking taylor expansion of (log re) in im 1.388 * [taylor]: Taking taylor expansion of re in im 1.388 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.388 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.388 * [taylor]: Taking taylor expansion of base in im 1.388 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ 1 base)))) in base 1.388 * [taylor]: Taking taylor expansion of -1 in base 1.388 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ 1 base))) in base 1.388 * [taylor]: Taking taylor expansion of (log re) in base 1.388 * [taylor]: Taking taylor expansion of re in base 1.388 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.388 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.388 * [taylor]: Taking taylor expansion of base in base 1.389 * [taylor]: Taking taylor expansion of 0 in im 1.389 * [taylor]: Taking taylor expansion of 0 in base 1.389 * [taylor]: Taking taylor expansion of 0 in base 1.391 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow im 2) (log (/ 1 base))))) in im 1.391 * [taylor]: Taking taylor expansion of 1/2 in im 1.391 * [taylor]: Taking taylor expansion of (/ 1 (* (pow im 2) (log (/ 1 base)))) in im 1.391 * [taylor]: Taking taylor expansion of (* (pow im 2) (log (/ 1 base))) in im 1.391 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.391 * [taylor]: Taking taylor expansion of im in im 1.391 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in im 1.391 * [taylor]: Taking taylor expansion of (/ 1 base) in im 1.391 * [taylor]: Taking taylor expansion of base in im 1.392 * [taylor]: Taking taylor expansion of 0 in base 1.392 * [taylor]: Taking taylor expansion of 0 in base 1.395 * [taylor]: Taking taylor expansion of 0 in base 1.395 * [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.395 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in base 1.395 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in base 1.395 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in base 1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in base 1.395 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in base 1.395 * [taylor]: Taking taylor expansion of (pow im 2) in base 1.395 * [taylor]: Taking taylor expansion of im in base 1.395 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in base 1.395 * [taylor]: Taking taylor expansion of (pow re 2) in base 1.395 * [taylor]: Taking taylor expansion of re in base 1.396 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.396 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.396 * [taylor]: Taking taylor expansion of -1 in base 1.396 * [taylor]: Taking taylor expansion of base in base 1.397 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in im 1.397 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.397 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.397 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.397 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.397 * [taylor]: Taking taylor expansion of im in im 1.397 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.397 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.397 * [taylor]: Taking taylor expansion of re in im 1.397 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.397 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.397 * [taylor]: Taking taylor expansion of -1 in im 1.397 * [taylor]: Taking taylor expansion of base in im 1.397 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.397 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.397 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.397 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.397 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.397 * [taylor]: Taking taylor expansion of im in re 1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.398 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.398 * [taylor]: Taking taylor expansion of re in re 1.398 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.398 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.398 * [taylor]: Taking taylor expansion of -1 in re 1.398 * [taylor]: Taking taylor expansion of base in re 1.398 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) (log (/ -1 base))) in re 1.398 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.398 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.398 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.398 * [taylor]: Taking taylor expansion of im in re 1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.398 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.398 * [taylor]: Taking taylor expansion of re in re 1.398 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in re 1.398 * [taylor]: Taking taylor expansion of (/ -1 base) in re 1.398 * [taylor]: Taking taylor expansion of -1 in re 1.398 * [taylor]: Taking taylor expansion of base in re 1.399 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in im 1.399 * [taylor]: Taking taylor expansion of -1 in im 1.399 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in im 1.399 * [taylor]: Taking taylor expansion of (log re) in im 1.399 * [taylor]: Taking taylor expansion of re in im 1.399 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.399 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.399 * [taylor]: Taking taylor expansion of -1 in im 1.399 * [taylor]: Taking taylor expansion of base in im 1.399 * [taylor]: Taking taylor expansion of (* -1 (/ (log re) (log (/ -1 base)))) in base 1.399 * [taylor]: Taking taylor expansion of -1 in base 1.399 * [taylor]: Taking taylor expansion of (/ (log re) (log (/ -1 base))) in base 1.399 * [taylor]: Taking taylor expansion of (log re) in base 1.399 * [taylor]: Taking taylor expansion of re in base 1.399 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.399 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.399 * [taylor]: Taking taylor expansion of -1 in base 1.399 * [taylor]: Taking taylor expansion of base in base 1.400 * [taylor]: Taking taylor expansion of 0 in im 1.400 * [taylor]: Taking taylor expansion of 0 in base 1.400 * [taylor]: Taking taylor expansion of 0 in base 1.402 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (log (/ -1 base)) (pow im 2)))) in im 1.402 * [taylor]: Taking taylor expansion of 1/2 in im 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* (log (/ -1 base)) (pow im 2))) in im 1.402 * [taylor]: Taking taylor expansion of (* (log (/ -1 base)) (pow im 2)) in im 1.402 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in im 1.402 * [taylor]: Taking taylor expansion of (/ -1 base) in im 1.402 * [taylor]: Taking taylor expansion of -1 in im 1.402 * [taylor]: Taking taylor expansion of base in im 1.402 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.402 * [taylor]: Taking taylor expansion of im in im 1.403 * [taylor]: Taking taylor expansion of 0 in base 1.403 * [taylor]: Taking taylor expansion of 0 in base 1.404 * [taylor]: Taking taylor expansion of 0 in base 1.404 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.404 * [approximate]: Taking taylor expansion of (/ 1 (log base)) in (base) around 0 1.404 * [taylor]: Taking taylor expansion of (/ 1 (log base)) in base 1.404 * [taylor]: Taking taylor expansion of (log base) in base 1.404 * [taylor]: Taking taylor expansion of base in base 1.404 * [taylor]: Taking taylor expansion of (/ 1 (log base)) in base 1.404 * [taylor]: Taking taylor expansion of (log base) in base 1.404 * [taylor]: Taking taylor expansion of base in base 1.408 * [approximate]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in (base) around 0 1.408 * [taylor]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in base 1.408 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.408 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.408 * [taylor]: Taking taylor expansion of base in base 1.408 * [taylor]: Taking taylor expansion of (/ 1 (log (/ 1 base))) in base 1.408 * [taylor]: Taking taylor expansion of (log (/ 1 base)) in base 1.408 * [taylor]: Taking taylor expansion of (/ 1 base) in base 1.408 * [taylor]: Taking taylor expansion of base in base 1.411 * [approximate]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in (base) around 0 1.411 * [taylor]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in base 1.412 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.412 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.412 * [taylor]: Taking taylor expansion of -1 in base 1.412 * [taylor]: Taking taylor expansion of base in base 1.412 * [taylor]: Taking taylor expansion of (/ 1 (log (/ -1 base))) in base 1.412 * [taylor]: Taking taylor expansion of (log (/ -1 base)) in base 1.412 * [taylor]: Taking taylor expansion of (/ -1 base) in base 1.412 * [taylor]: Taking taylor expansion of -1 in base 1.412 * [taylor]: Taking taylor expansion of base in base 1.416 * * * [progress]: simplifying candidates 1.418 * [simplify]: Simplifying using # : (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.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)))) (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))) (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))) (/.f64 1 2) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base))) (+.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (neg.f64 (log.f64 (log.f64 base)))) (+.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (-.f64 0 (log.f64 (log.f64 base)))) (+.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (-.f64 (log.f64 1) (log.f64 (log.f64 base)))) (+.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (log.f64 (/.f64 1 (log.f64 base)))) (log.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (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 (*.f64 1 1) 1) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (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 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base)))) (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base))))) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (*.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (/.f64 1 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (/.f64 1 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 (sqrt.f64 1) (sqrt.f64 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 1 (sqrt.f64 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 1 (sqrt.f64 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (/.f64 1 (log.f64 base))) (cbrt.f64 (/.f64 1 (log.f64 base))))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (/.f64 1 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.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)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (sqrt.f64 1) 1)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (sqrt.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)))) (/.f64 (sqrt.f64 1) (sqrt.f64 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (sqrt.f64 1) 1)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 1)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.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)))) (/.f64 1 (sqrt.f64 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 1)) (*.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)))) 1) (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (log.f64 base))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base))) (*.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (log.f64 base))) (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 1 (log.f64 base))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (/.f64 1 (log.f64 base))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 1 (log.f64 base))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 1) (neg.f64 1) (neg.f64 (log.f64 (log.f64 base))) (-.f64 0 (log.f64 (log.f64 base))) (-.f64 (log.f64 1) (log.f64 (log.f64 base))) (log.f64 (/.f64 1 (log.f64 base))) (exp.f64 (/.f64 1 (log.f64 base))) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base))) (*.f64 (cbrt.f64 (/.f64 1 (log.f64 base))) (cbrt.f64 (/.f64 1 (log.f64 base)))) (cbrt.f64 (/.f64 1 (log.f64 base))) (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))) (sqrt.f64 (/.f64 1 (log.f64 base))) (sqrt.f64 (/.f64 1 (log.f64 base))) (neg.f64 1) (neg.f64 (log.f64 base)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (log.f64 base)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (log.f64 base))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (log.f64 base))) (/.f64 (cbrt.f64 1) (sqrt.f64 (log.f64 base))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) 1) (/.f64 (cbrt.f64 1) (log.f64 base)) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (log.f64 base)) (/.f64 (sqrt.f64 1) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (sqrt.f64 1) (cbrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 1) (sqrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 1) (sqrt.f64 (log.f64 base))) (/.f64 (sqrt.f64 1) 1) (/.f64 (sqrt.f64 1) (log.f64 base)) (/.f64 1 1) (/.f64 1 (log.f64 base)) (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (cbrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 1 1) (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base)) (/.f64 (log.f64 base) 1) (/.f64 1 1) (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 1 1) (/.f64 (log.f64 base) (cbrt.f64 1)) (/.f64 (log.f64 base) (sqrt.f64 1)) (/.f64 (log.f64 base) 1) 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 1 (log.f64 base)) (/.f64 -1 (log.f64 (/.f64 1 base))) (/.f64 1 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 base)))) 1.466 * * [simplify]: iteration 0 : 5573 enodes (cost 1000 ) 1.470 * [simplify]: Simplified to: (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.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))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (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))) (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))) 1/2 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.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 (/.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))) (log.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))) (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))) (/.f64 1 (log.f64 base))) (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) 3) (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 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (/.f64 1 (log.f64 base)))) (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (sqrt.f64 (/.f64 1 (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))))) (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 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (/.f64 1 (log.f64 base))) (cbrt.f64 (/.f64 1 (log.f64 base))))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (/.f64 1 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.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)))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (log.f64 base)))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (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)))) (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)))) (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 (+.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)) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1 (neg.f64 (log.f64 (log.f64 base))) (neg.f64 (log.f64 (log.f64 base))) (neg.f64 (log.f64 (log.f64 base))) (neg.f64 (log.f64 (log.f64 base))) (exp.f64 (/.f64 1 (log.f64 base))) (/.f64 1 (pow.f64 (log.f64 base) 3)) (*.f64 (cbrt.f64 (/.f64 1 (log.f64 base))) (cbrt.f64 (/.f64 1 (log.f64 base)))) (cbrt.f64 (/.f64 1 (log.f64 base))) (/.f64 1 (pow.f64 (log.f64 base) 3)) (sqrt.f64 (/.f64 1 (log.f64 base))) (sqrt.f64 (/.f64 1 (log.f64 base))) -1 (neg.f64 (log.f64 base)) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (log.f64 base)) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (cbrt.f64 1) (cbrt.f64 (log.f64 base))) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 (log.f64 base))) (/.f64 (cbrt.f64 1) (sqrt.f64 (log.f64 base))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (/.f64 (cbrt.f64 1) (log.f64 base)) 1 (/.f64 1 (log.f64 base)) (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (cbrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) 1 (/.f64 1 (log.f64 base)) 1 (/.f64 1 (log.f64 base)) (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (cbrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) (/.f64 1 (sqrt.f64 (log.f64 base))) 1 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base)) (log.f64 base) 1 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (sqrt.f64 (log.f64 base))) 1 (/.f64 (log.f64 base) (cbrt.f64 1)) (log.f64 base) (log.f64 base) im re (neg.f64 re) (/.f64 (log.f64 im) (log.f64 base)) (/.f64 (log.f64 re) (log.f64 base)) (/.f64 (log.f64 (/.f64 -1 re)) (neg.f64 (log.f64 base))) (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base)) 1.471 * * * [progress]: adding candidates to table 1.532 * [progress]: [Phase 3 of 3] Extracting. 1.532 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 1.535 * * * [regime-changes]: Trying 5 branch expressions: ((log.f64 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))) base im re) 1.535 * * * * [regimes]: Trying to branch on (log.f64 base) from (# # # # # # # # # # # # #) 1.657 * * * * [regimes]: Trying to branch on (/.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))) from (# # # # # # # # # # # # #) 1.746 * * * * [regimes]: Trying to branch on base from (# # # # # # # # # # # # #) 1.866 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # # # #) 1.986 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # # # #) 2.107 * * * [regime]: Found split indices: #