1.019 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.097 * * * [progress]: [2/2] Setting up program. 0.099 * [progress]: [Phase 2 of 3] Improving. 0.148 * [simplify]: Simplifying using # : (-.f64 (*.f64 re re) (*.f64 im im)) 0.805 * * [simplify]: iteration 0 : 5915 enodes (cost 10 ) 0.807 * [simplify]: Simplified to: (-.f64 (*.f64 re re) (*.f64 im im)) 0.808 * * [progress]: iteration 1 / 4 0.809 * * * [progress]: picking best candidate 0.810 * * * * [pick]: Picked # 0.810 * * * [progress]: localizing error 0.816 * * * [progress]: generating rewritten candidates 0.816 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.824 * * * [progress]: generating series expansions 0.824 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.831 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 0.832 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 0.832 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.832 * [taylor]: Taking taylor expansion of re in im 0.832 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 0.833 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.833 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 0.833 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.833 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (neg (pow im 2)) in im 0.834 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.834 * [taylor]: Taking taylor expansion of im in im 0.835 * [taylor]: Taking taylor expansion of 0 in im 0.836 * [taylor]: Taking taylor expansion of 1 in im 0.837 * [taylor]: Taking taylor expansion of 0 in im 0.838 * [taylor]: Taking taylor expansion of 0 in im 0.839 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.839 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.839 * [taylor]: Taking taylor expansion of re in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.839 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow re 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 (/ 1 (pow im 2)) 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.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow re 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 (/ 1 (pow im 2)) 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.840 * [taylor]: Taking taylor expansion of 1 in im 0.841 * [taylor]: Taking taylor expansion of 0 in im 0.842 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 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.844 * [taylor]: Taking taylor expansion of 0 in im 0.846 * [taylor]: Taking taylor expansion of 0 in im 0.848 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 0.848 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 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 (/ 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)) (/ 1 (pow im 2))) 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 (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)) (/ 1 (pow im 2))) 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 (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 in im 0.850 * [taylor]: Taking taylor expansion of 0 in im 0.851 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.851 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.851 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of 0 in im 0.855 * [taylor]: Taking taylor expansion of 0 in im 0.857 * * * [progress]: simplifying candidates 0.857 * [simplify]: Simplifying using # : (/.f64 (exp.f64 (*.f64 re re)) (exp.f64 (*.f64 im im))) (exp.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (log.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im))) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (-.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)) (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (+.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))) (neg.f64 (*.f64 im im)) (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 re im) (-.f64 re im) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) 0.931 * * [simplify]: iteration 0 : 4856 enodes (cost 207 ) 0.932 * * [simplify]: iteration 1 : 4856 enodes (cost 207 ) 0.934 * [simplify]: Simplified to: (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)) (pow.f64 (exp.f64 (+.f64 re im)) (-.f64 re im)) (log.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (pow.f64 (-.f64 (*.f64 re re) (*.f64 im im)) 3) (*.f64 (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))) (-.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (+.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))) (neg.f64 (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 re im) (-.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)) 0.934 * * * [progress]: adding candidates to table 0.945 * * [progress]: iteration 2 / 4 0.945 * * * [progress]: picking best candidate 0.954 * * * * [pick]: Picked # 0.954 * * * [progress]: localizing error 0.958 * * * [progress]: generating rewritten candidates 0.958 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.969 * * * [progress]: generating series expansions 0.969 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.970 * [approximate]: Taking taylor expansion of (* (+ re im) (- re im)) in (re im) around 0 0.970 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 0.970 * [taylor]: Taking taylor expansion of (+ re im) in im 0.970 * [taylor]: Taking taylor expansion of re in im 0.970 * [taylor]: Taking taylor expansion of im in im 0.970 * [taylor]: Taking taylor expansion of (- re im) in im 0.970 * [taylor]: Taking taylor expansion of re in im 0.970 * [taylor]: Taking taylor expansion of im in im 0.970 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 0.970 * [taylor]: Taking taylor expansion of (+ re im) in re 0.970 * [taylor]: Taking taylor expansion of re in re 0.970 * [taylor]: Taking taylor expansion of im in re 0.970 * [taylor]: Taking taylor expansion of (- re im) in re 0.970 * [taylor]: Taking taylor expansion of re in re 0.970 * [taylor]: Taking taylor expansion of im in re 0.970 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 0.970 * [taylor]: Taking taylor expansion of (+ re im) in re 0.970 * [taylor]: Taking taylor expansion of re in re 0.970 * [taylor]: Taking taylor expansion of im in re 0.970 * [taylor]: Taking taylor expansion of (- re im) in re 0.970 * [taylor]: Taking taylor expansion of re in re 0.970 * [taylor]: Taking taylor expansion of im in re 0.971 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 0.971 * [taylor]: Taking taylor expansion of -1 in im 0.971 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.971 * [taylor]: Taking taylor expansion of im in im 0.971 * [taylor]: Taking taylor expansion of 0 in im 0.972 * [taylor]: Taking taylor expansion of 1 in im 0.973 * [taylor]: Taking taylor expansion of 0 in im 0.974 * [taylor]: Taking taylor expansion of 0 in im 0.975 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 0.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 0.975 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 0.975 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.975 * [taylor]: Taking taylor expansion of re in im 0.975 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.975 * [taylor]: Taking taylor expansion of im in im 0.975 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 0.975 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.975 * [taylor]: Taking taylor expansion of im in im 0.975 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.975 * [taylor]: Taking taylor expansion of re in im 0.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 0.975 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.976 * [taylor]: Taking taylor expansion of re in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.976 * [taylor]: Taking taylor expansion of im in re 0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.976 * [taylor]: Taking taylor expansion of im in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.976 * [taylor]: Taking taylor expansion of re in re 0.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 0.976 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.976 * [taylor]: Taking taylor expansion of re in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.976 * [taylor]: Taking taylor expansion of im in re 0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.976 * [taylor]: Taking taylor expansion of im in re 0.976 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.976 * [taylor]: Taking taylor expansion of re in re 0.977 * [taylor]: Taking taylor expansion of 1 in im 0.978 * [taylor]: Taking taylor expansion of 0 in im 0.980 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 0.980 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.980 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.980 * [taylor]: Taking taylor expansion of im in im 0.983 * [taylor]: Taking taylor expansion of 0 in im 0.986 * [taylor]: Taking taylor expansion of 0 in im 0.988 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 0.989 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 0.989 * [taylor]: Taking taylor expansion of -1 in im 0.989 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 0.989 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 0.989 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.989 * [taylor]: Taking taylor expansion of im in im 0.989 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.989 * [taylor]: Taking taylor expansion of re in im 0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 0.989 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.989 * [taylor]: Taking taylor expansion of im in im 0.989 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.989 * [taylor]: Taking taylor expansion of re in im 0.989 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 0.989 * [taylor]: Taking taylor expansion of -1 in re 0.989 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 0.989 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 0.989 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.989 * [taylor]: Taking taylor expansion of im in re 0.989 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.989 * [taylor]: Taking taylor expansion of re in re 0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.989 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.989 * [taylor]: Taking taylor expansion of im in re 0.989 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.989 * [taylor]: Taking taylor expansion of re in re 0.989 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 0.989 * [taylor]: Taking taylor expansion of -1 in re 0.989 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 0.990 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 0.990 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.990 * [taylor]: Taking taylor expansion of im in re 0.990 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.990 * [taylor]: Taking taylor expansion of re in re 0.990 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.990 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.990 * [taylor]: Taking taylor expansion of im in re 0.990 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.990 * [taylor]: Taking taylor expansion of re in re 0.990 * [taylor]: Taking taylor expansion of 1 in im 0.991 * [taylor]: Taking taylor expansion of 0 in im 0.993 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 0.993 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.993 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.993 * [taylor]: Taking taylor expansion of im in im 0.996 * [taylor]: Taking taylor expansion of 0 in im 1.000 * [taylor]: Taking taylor expansion of 0 in im 1.001 * * * [progress]: simplifying candidates 1.002 * [simplify]: Simplifying using # : (*.f64 (+.f64 re im) (-.f64 re im)) (+.f64 (log.f64 (+.f64 re im)) (log.f64 (-.f64 re im))) (exp.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (-.f64 re im) (+.f64 re im)) (*.f64 (sqrt.f64 (+.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 (sqrt.f64 (+.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 re (+.f64 re im)) (*.f64 (neg.f64 im) (+.f64 re im)) (*.f64 (+.f64 re im) re) (*.f64 (+.f64 re im) (neg.f64 im)) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (cbrt.f64 (+.f64 re im)) (-.f64 re im)) (*.f64 (sqrt.f64 (+.f64 re im)) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (*.f64 (+.f64 re im) (sqrt.f64 (-.f64 re im))) (*.f64 (+.f64 re im) 1) (*.f64 (+.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (*.f64 (+.f64 re im) 1) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) 1.078 * * [simplify]: iteration 0 : 5037 enodes (cost 550 ) 1.081 * [simplify]: Simplified to: (*.f64 (+.f64 re im) (-.f64 re im)) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (exp.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (*.f64 (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (+.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (sqrt.f64 (+.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 (sqrt.f64 (+.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 re (+.f64 re im)) (*.f64 (+.f64 re im) (neg.f64 im)) (*.f64 re (+.f64 re im)) (*.f64 (+.f64 re im) (neg.f64 im)) (*.f64 (-.f64 re im) (+.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (-.f64 re im) (cbrt.f64 (+.f64 re im))) (*.f64 (-.f64 re im) (sqrt.f64 (+.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (*.f64 (+.f64 re im) (sqrt.f64 (-.f64 re im))) (+.f64 re im) (*.f64 (+.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (+.f64 re im) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) 1.081 * * * [progress]: adding candidates to table 1.098 * * [progress]: iteration 3 / 4 1.098 * * * [progress]: picking best candidate 1.098 * * * * [pick]: Picked # 1.098 * * * [progress]: localizing error 1.106 * * * [progress]: generating rewritten candidates 1.106 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.129 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.144 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1.161 * * * [progress]: generating series expansions 1.161 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.162 * [approximate]: Taking taylor expansion of (* (+ re im) (- re im)) in (re im) around 0 1.163 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 1.163 * [taylor]: Taking taylor expansion of (+ re im) in im 1.163 * [taylor]: Taking taylor expansion of re in im 1.163 * [taylor]: Taking taylor expansion of im in im 1.163 * [taylor]: Taking taylor expansion of (- re im) in im 1.163 * [taylor]: Taking taylor expansion of re in im 1.163 * [taylor]: Taking taylor expansion of im in im 1.163 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 1.163 * [taylor]: Taking taylor expansion of (+ re im) in re 1.163 * [taylor]: Taking taylor expansion of re in re 1.163 * [taylor]: Taking taylor expansion of im in re 1.163 * [taylor]: Taking taylor expansion of (- re im) in re 1.163 * [taylor]: Taking taylor expansion of re in re 1.163 * [taylor]: Taking taylor expansion of im in re 1.163 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 1.163 * [taylor]: Taking taylor expansion of (+ re im) in re 1.163 * [taylor]: Taking taylor expansion of re in re 1.163 * [taylor]: Taking taylor expansion of im in re 1.163 * [taylor]: Taking taylor expansion of (- re im) in re 1.163 * [taylor]: Taking taylor expansion of re in re 1.163 * [taylor]: Taking taylor expansion of im in re 1.163 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 1.163 * [taylor]: Taking taylor expansion of -1 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.164 * [taylor]: Taking taylor expansion of 0 in im 1.164 * [taylor]: Taking taylor expansion of 1 in im 1.165 * [taylor]: Taking taylor expansion of 0 in im 1.166 * [taylor]: Taking taylor expansion of 0 in im 1.169 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 1.169 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 1.169 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.169 * [taylor]: Taking taylor expansion of re in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.169 * [taylor]: Taking taylor expansion of im in im 1.169 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.169 * [taylor]: Taking taylor expansion of im in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.169 * [taylor]: Taking taylor expansion of re in im 1.170 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 1.170 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.170 * [taylor]: Taking taylor expansion of re in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.170 * [taylor]: Taking taylor expansion of im in re 1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.170 * [taylor]: Taking taylor expansion of im in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.170 * [taylor]: Taking taylor expansion of re in re 1.170 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 1.170 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.170 * [taylor]: Taking taylor expansion of re in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.170 * [taylor]: Taking taylor expansion of im in re 1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.170 * [taylor]: Taking taylor expansion of im in re 1.170 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.170 * [taylor]: Taking taylor expansion of re in re 1.171 * [taylor]: Taking taylor expansion of 1 in im 1.172 * [taylor]: Taking taylor expansion of 0 in im 1.174 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 1.174 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.174 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.174 * [taylor]: Taking taylor expansion of im in im 1.177 * [taylor]: Taking taylor expansion of 0 in im 1.181 * [taylor]: Taking taylor expansion of 0 in im 1.184 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 1.184 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 1.184 * [taylor]: Taking taylor expansion of -1 in im 1.184 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 1.184 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.184 * [taylor]: Taking taylor expansion of im in im 1.184 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.184 * [taylor]: Taking taylor expansion of re in im 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 1.184 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.184 * [taylor]: Taking taylor expansion of im in im 1.184 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.184 * [taylor]: Taking taylor expansion of re in im 1.184 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 1.184 * [taylor]: Taking taylor expansion of -1 in re 1.184 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.184 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.184 * [taylor]: Taking taylor expansion of im in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.185 * [taylor]: Taking taylor expansion of im in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 1.185 * [taylor]: Taking taylor expansion of -1 in re 1.185 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 1.185 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.185 * [taylor]: Taking taylor expansion of im in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.185 * [taylor]: Taking taylor expansion of im in re 1.185 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.186 * [taylor]: Taking taylor expansion of 1 in im 1.187 * [taylor]: Taking taylor expansion of 0 in im 1.189 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.189 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.189 * [taylor]: Taking taylor expansion of im in im 1.192 * [taylor]: Taking taylor expansion of 0 in im 1.195 * [taylor]: Taking taylor expansion of 0 in im 1.197 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.197 * [approximate]: Taking taylor expansion of (* (+ re im) (pow (- re im) 2)) in (re im) around 0 1.198 * [taylor]: Taking taylor expansion of (* (+ re im) (pow (- re im) 2)) in im 1.198 * [taylor]: Taking taylor expansion of (+ re im) in im 1.198 * [taylor]: Taking taylor expansion of re in im 1.198 * [taylor]: Taking taylor expansion of im in im 1.198 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in im 1.198 * [taylor]: Taking taylor expansion of (- re im) in im 1.198 * [taylor]: Taking taylor expansion of re in im 1.198 * [taylor]: Taking taylor expansion of im in im 1.198 * [taylor]: Taking taylor expansion of (* (+ re im) (pow (- re im) 2)) in re 1.198 * [taylor]: Taking taylor expansion of (+ re im) in re 1.198 * [taylor]: Taking taylor expansion of re in re 1.198 * [taylor]: Taking taylor expansion of im in re 1.198 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in re 1.198 * [taylor]: Taking taylor expansion of (- re im) in re 1.198 * [taylor]: Taking taylor expansion of re in re 1.198 * [taylor]: Taking taylor expansion of im in re 1.198 * [taylor]: Taking taylor expansion of (* (+ re im) (pow (- re im) 2)) in re 1.198 * [taylor]: Taking taylor expansion of (+ re im) in re 1.198 * [taylor]: Taking taylor expansion of re in re 1.198 * [taylor]: Taking taylor expansion of im in re 1.198 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in re 1.198 * [taylor]: Taking taylor expansion of (- re im) in re 1.198 * [taylor]: Taking taylor expansion of re in re 1.198 * [taylor]: Taking taylor expansion of im in re 1.199 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.199 * [taylor]: Taking taylor expansion of im in im 1.200 * [taylor]: Taking taylor expansion of (neg (pow im 2)) in im 1.200 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.200 * [taylor]: Taking taylor expansion of im in im 1.201 * [taylor]: Taking taylor expansion of (neg im) in im 1.201 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of 1 in im 1.205 * [approximate]: Taking taylor expansion of (* (pow (- (/ 1 re) (/ 1 im)) 2) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 1.205 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 re) (/ 1 im)) 2) (+ (/ 1 im) (/ 1 re))) in im 1.205 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in im 1.205 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 1.205 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.205 * [taylor]: Taking taylor expansion of re in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.206 * [taylor]: Taking taylor expansion of re in im 1.206 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 re) (/ 1 im)) 2) (+ (/ 1 im) (/ 1 re))) in re 1.206 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in re 1.206 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.206 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.206 * [taylor]: Taking taylor expansion of re in re 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.206 * [taylor]: Taking taylor expansion of im in re 1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.206 * [taylor]: Taking taylor expansion of im in re 1.206 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.206 * [taylor]: Taking taylor expansion of re in re 1.207 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 re) (/ 1 im)) 2) (+ (/ 1 im) (/ 1 re))) in re 1.207 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in re 1.207 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.207 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.207 * [taylor]: Taking taylor expansion of re in re 1.207 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.207 * [taylor]: Taking taylor expansion of im in re 1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.207 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.207 * [taylor]: Taking taylor expansion of im in re 1.207 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.207 * [taylor]: Taking taylor expansion of re in re 1.207 * [taylor]: Taking taylor expansion of 1 in im 1.209 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.209 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.209 * [taylor]: Taking taylor expansion of im in im 1.211 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 2))) in im 1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.211 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.211 * [taylor]: Taking taylor expansion of im in im 1.215 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.215 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.215 * [taylor]: Taking taylor expansion of im in im 1.218 * [approximate]: Taking taylor expansion of (* -1 (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 1.218 * [taylor]: Taking taylor expansion of (* -1 (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re)))) in im 1.218 * [taylor]: Taking taylor expansion of -1 in im 1.218 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re))) in im 1.218 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in im 1.218 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 1.218 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.218 * [taylor]: Taking taylor expansion of im in im 1.218 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.218 * [taylor]: Taking taylor expansion of re in im 1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 1.219 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.219 * [taylor]: Taking taylor expansion of im in im 1.219 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.219 * [taylor]: Taking taylor expansion of re in im 1.219 * [taylor]: Taking taylor expansion of (* -1 (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re)))) in re 1.219 * [taylor]: Taking taylor expansion of -1 in re 1.219 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re))) in re 1.219 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in re 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.219 * [taylor]: Taking taylor expansion of im in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.219 * [taylor]: Taking taylor expansion of im in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.219 * [taylor]: Taking taylor expansion of (* -1 (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re)))) in re 1.219 * [taylor]: Taking taylor expansion of -1 in re 1.219 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 im) (/ 1 re)) 2) (+ (/ 1 im) (/ 1 re))) in re 1.219 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in re 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.219 * [taylor]: Taking taylor expansion of im in re 1.219 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 1.220 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.220 * [taylor]: Taking taylor expansion of im in re 1.220 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.220 * [taylor]: Taking taylor expansion of re in re 1.220 * [taylor]: Taking taylor expansion of -1 in im 1.222 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.222 * [taylor]: Taking taylor expansion of im in im 1.225 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.225 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.225 * [taylor]: Taking taylor expansion of im in im 1.229 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow im 3))) in im 1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.229 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.229 * [taylor]: Taking taylor expansion of im in im 1.231 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 1.231 * [approximate]: Taking taylor expansion of (pow (- re im) 2) in (re im) around 0 1.231 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in im 1.231 * [taylor]: Taking taylor expansion of (- re im) in im 1.232 * [taylor]: Taking taylor expansion of re in im 1.232 * [taylor]: Taking taylor expansion of im in im 1.232 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in re 1.232 * [taylor]: Taking taylor expansion of (- re im) in re 1.232 * [taylor]: Taking taylor expansion of re in re 1.232 * [taylor]: Taking taylor expansion of im in re 1.232 * [taylor]: Taking taylor expansion of (pow (- re im) 2) in re 1.232 * [taylor]: Taking taylor expansion of (- re im) in re 1.232 * [taylor]: Taking taylor expansion of re in re 1.232 * [taylor]: Taking taylor expansion of im in re 1.232 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.232 * [taylor]: Taking taylor expansion of im in im 1.233 * [taylor]: Taking taylor expansion of (neg (* 2 im)) in im 1.233 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.233 * [taylor]: Taking taylor expansion of 2 in im 1.233 * [taylor]: Taking taylor expansion of im in im 1.233 * [taylor]: Taking taylor expansion of 1 in im 1.235 * [approximate]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in (re im) around 0 1.235 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in im 1.235 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 1.235 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.235 * [taylor]: Taking taylor expansion of re in im 1.235 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.235 * [taylor]: Taking taylor expansion of im in im 1.236 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in re 1.236 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.236 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.236 * [taylor]: Taking taylor expansion of re in re 1.236 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.236 * [taylor]: Taking taylor expansion of im in re 1.236 * [taylor]: Taking taylor expansion of (pow (- (/ 1 re) (/ 1 im)) 2) in re 1.236 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 1.236 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.236 * [taylor]: Taking taylor expansion of re in re 1.236 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.236 * [taylor]: Taking taylor expansion of im in re 1.236 * [taylor]: Taking taylor expansion of 1 in im 1.237 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 im))) in im 1.237 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.237 * [taylor]: Taking taylor expansion of 2 in im 1.237 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.237 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.239 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.241 * [approximate]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in (re im) around 0 1.241 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in im 1.241 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.241 * [taylor]: Taking taylor expansion of im in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.241 * [taylor]: Taking taylor expansion of re in im 1.241 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in re 1.241 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.241 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.241 * [taylor]: Taking taylor expansion of im in re 1.242 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.242 * [taylor]: Taking taylor expansion of re in re 1.242 * [taylor]: Taking taylor expansion of (pow (- (/ 1 im) (/ 1 re)) 2) in re 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 1.242 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.242 * [taylor]: Taking taylor expansion of im in re 1.242 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.242 * [taylor]: Taking taylor expansion of re in re 1.242 * [taylor]: Taking taylor expansion of 1 in im 1.243 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 im))) in im 1.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.243 * [taylor]: Taking taylor expansion of 2 in im 1.243 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.243 * [taylor]: Taking taylor expansion of im in im 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.244 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.244 * [taylor]: Taking taylor expansion of im in im 1.251 * * * [progress]: simplifying candidates 1.253 * [simplify]: Simplifying using # : (-.f64 (+.f64 (log.f64 (+.f64 re im)) (+.f64 (log.f64 (-.f64 re im)) (log.f64 (-.f64 re im)))) (log.f64 (-.f64 re im))) (-.f64 (+.f64 (log.f64 (+.f64 re im)) (log.f64 (*.f64 (-.f64 re im) (-.f64 re im)))) (log.f64 (-.f64 re im))) (-.f64 (log.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (log.f64 (-.f64 re im))) (exp.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (log.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (*.f64 (*.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im)) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (*.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (cbrt.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im)))) (cbrt.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (/.f64 (*.f64 (*.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im))) (/.f64 (*.f64 (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im))) (/.f64 (*.f64 (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)))) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im))) (sqrt.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (sqrt.f64 (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 re im))) (neg.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (neg.f64 (-.f64 re im)) (/.f64 (+.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (/.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (cbrt.f64 (-.f64 re im))) (/.f64 (+.f64 re im) (sqrt.f64 (-.f64 re im))) (/.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (sqrt.f64 (-.f64 re im))) (/.f64 (+.f64 re im) 1) (/.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)) (/.f64 (+.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (/.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 (sqrt.f64 re) (sqrt.f64 im))) (/.f64 (+.f64 re im) 1) (/.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)) (/.f64 (-.f64 re im) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (/.f64 1 (-.f64 re im)) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 re im) (+.f64 re im)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 re im)))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (+.f64 re im))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (-.f64 re im) (+.f64 re im))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 re im))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 re im) (+.f64 re im)) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 re im) (+.f64 re im)) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (-.f64 (*.f64 re re) (*.f64 im im))) (/.f64 (-.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (sqrt.f64 (-.f64 re im))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) 1) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (/.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) 1) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (+.f64 (log.f64 (+.f64 re im)) (+.f64 (log.f64 (-.f64 re im)) (log.f64 (-.f64 re im)))) (+.f64 (log.f64 (+.f64 re im)) (log.f64 (*.f64 (-.f64 re im) (-.f64 re im)))) (exp.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (log.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (*.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (cbrt.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (cbrt.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))))) (cbrt.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)))) (sqrt.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (sqrt.f64 (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (*.f64 (+.f64 re im) (+.f64 re im))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re im))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 re im))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 re im))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re im))) (*.f64 (-.f64 re im) (+.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (-.f64 re im) (+.f64 re im)) (*.f64 (sqrt.f64 (+.f64 re im)) (-.f64 re im)) (*.f64 (sqrt.f64 (+.f64 re im)) (-.f64 re im)) (*.f64 (*.f64 re (-.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (neg.f64 im) (-.f64 re im)) (+.f64 re im)) (*.f64 (*.f64 (-.f64 re im) re) (+.f64 re im)) (*.f64 (*.f64 (-.f64 re im) (neg.f64 im)) (+.f64 re im)) (*.f64 (+.f64 re im) (*.f64 re (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (neg.f64 im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) re)) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (neg.f64 im))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (cbrt.f64 (+.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (sqrt.f64 (+.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im)) (+.f64 1 1) (+.f64 1 1) (+.f64 (log.f64 (-.f64 re im)) (log.f64 (-.f64 re im))) (exp.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (cbrt.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (cbrt.f64 (*.f64 (-.f64 re im) (-.f64 re im)))) (cbrt.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im)) (*.f64 (*.f64 (-.f64 re im) (-.f64 re im)) (-.f64 re im))) (sqrt.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (sqrt.f64 (*.f64 (-.f64 re im) (-.f64 re im))) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im))) (+.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re im)))) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (+.f64 re im) (+.f64 re im)) (*.f64 2 1) (*.f64 (sqrt.f64 (-.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 (sqrt.f64 (-.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im))) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im))) (*.f64 (sqrt.f64 (-.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 (sqrt.f64 (-.f64 re im)) (sqrt.f64 (-.f64 re im))) (*.f64 1 1) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 1 1) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (+.f64 (sqrt.f64 re) (sqrt.f64 im)) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (*.f64 (-.f64 (sqrt.f64 re) (sqrt.f64 im)) (-.f64 (sqrt.f64 re) (sqrt.f64 im))) (*.f64 1 1) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 1 1) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 re (-.f64 re im)) (*.f64 (neg.f64 im) (-.f64 re im)) (*.f64 (-.f64 re im) re) (*.f64 (-.f64 re im) (neg.f64 im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 re im)) (*.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (-.f64 re im) (-.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (cbrt.f64 (-.f64 re im)) (-.f64 re im)) (*.f64 (sqrt.f64 (-.f64 re im)) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 (sqrt.f64 re) (sqrt.f64 im)) (-.f64 re im)) (*.f64 (-.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (*.f64 (-.f64 re im) (sqrt.f64 (-.f64 re im))) (*.f64 (-.f64 re im) 1) (*.f64 (-.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (*.f64 (-.f64 re im) 1) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 3) (+.f64 (*.f64 (pow.f64 re 2) im) (*.f64 re (pow.f64 im 2)))) (-.f64 (pow.f64 im 3) (+.f64 (*.f64 (pow.f64 re 2) im) (*.f64 re (pow.f64 im 2)))) (-.f64 (pow.f64 im 3) (+.f64 (*.f64 (pow.f64 re 2) im) (*.f64 re (pow.f64 im 2)))) (-.f64 (+.f64 (pow.f64 re 2) (pow.f64 im 2)) (*.f64 2 (*.f64 re im))) (-.f64 (+.f64 (pow.f64 re 2) (pow.f64 im 2)) (*.f64 2 (*.f64 re im))) (-.f64 (+.f64 (pow.f64 re 2) (pow.f64 im 2)) (*.f64 2 (*.f64 re im))) 1.333 * * [simplify]: iteration 0 : 4943 enodes (cost 3320 ) 1.334 * * [simplify]: iteration 1 : 4943 enodes (cost 3320 ) 1.348 * [simplify]: Simplified to: (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (exp.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (log.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (*.f64 (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) (cbrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 (-.f64 re im) (-.f64 im re))) (-.f64 im re) (/.f64 (+.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (/.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (cbrt.f64 (-.f64 re im))) (/.f64 (+.f64 re im) (sqrt.f64 (-.f64 re im))) (pow.f64 (sqrt.f64 (-.f64 re im)) 3) (+.f64 re im) (-.f64 re im) (/.f64 (+.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (/.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (-.f64 (sqrt.f64 re) (sqrt.f64 im))) (+.f64 re im) (-.f64 re im) (/.f64 1 (*.f64 (+.f64 re im) (-.f64 re im))) (/.f64 1 (-.f64 re im)) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))))) (*.f64 (-.f64 re im) (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re)))) (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (/.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (-.f64 re im) (/.f64 1 (-.f64 re im)) (*.f64 (/.f64 (+.f64 re im) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im)))) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 3) (+.f64 re im)) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (/.f64 (+.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (+.f64 (log.f64 (+.f64 re im)) (*.f64 (log.f64 (-.f64 re im)) 2)) (+.f64 (log.f64 (+.f64 re im)) (*.f64 (log.f64 (-.f64 re im)) 2)) (pow.f64 (exp.f64 (+.f64 re im)) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (+.f64 (log.f64 (+.f64 re im)) (*.f64 (log.f64 (-.f64 re im)) 2)) (*.f64 (pow.f64 (+.f64 re im) 3) (pow.f64 (-.f64 re im) 6)) (*.f64 (cbrt.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (cbrt.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)))) (cbrt.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (pow.f64 (+.f64 re im) 3) (pow.f64 (-.f64 re im) 6)) (*.f64 (pow.f64 (+.f64 re im) 3) (pow.f64 (-.f64 re im) 6)) (sqrt.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (sqrt.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (+.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (*.f64 (+.f64 re im) (+.f64 re im)) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (+.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re)))) (*.f64 (+.f64 (pow.f64 re 3) (pow.f64 im 3)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (+.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (-.f64 im re)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (*.f64 (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))))) (pow.f64 (*.f64 (+.f64 re im) (-.f64 re im)) 3) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (-.f64 re im) 3))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (-.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (-.f64 re im) 3))) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (-.f64 re im) (sqrt.f64 (+.f64 re im))) (*.f64 (-.f64 re im) (sqrt.f64 (+.f64 re im))) (*.f64 re (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 im (-.f64 im re))) (*.f64 re (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 im (-.f64 im re))) (*.f64 re (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 im (-.f64 im re))) (*.f64 re (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (*.f64 im (-.f64 im re))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (+.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (pow.f64 (-.f64 re im) 3)) (*.f64 (+.f64 re im) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (cbrt.f64 (+.f64 re im))) (*.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (sqrt.f64 (+.f64 re im))) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (+.f64 re im) (-.f64 re im)) (pow.f64 (sqrt.f64 (-.f64 re im)) 4) 2 2 (*.f64 (log.f64 (-.f64 re im)) 2) (exp.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (log.f64 (-.f64 re im)) 2) (pow.f64 (-.f64 re im) 6) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (pow.f64 (-.f64 re im) 6) (fabs.f64 (-.f64 re im)) (fabs.f64 (-.f64 re im)) (*.f64 (-.f64 (pow.f64 re 3) (pow.f64 im 3)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 re im)))) (*.f64 (+.f64 re im) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4))) (*.f64 (+.f64 re im) (+.f64 re im)) 2 (-.f64 re im) (-.f64 re im) (pow.f64 (cbrt.f64 (-.f64 re im)) 4) (*.f64 (cbrt.f64 (-.f64 re im)) (cbrt.f64 (-.f64 re im))) (-.f64 re im) (-.f64 re im) 1 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) 1 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (+.f64 (sqrt.f64 re) (sqrt.f64 im)) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (*.f64 (-.f64 (sqrt.f64 re) (sqrt.f64 im)) (-.f64 (sqrt.f64 re) (sqrt.f64 im))) 1 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) 1 (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 re (-.f64 re im)) (*.f64 im (-.f64 im re)) (*.f64 re (-.f64 re im)) (*.f64 im (-.f64 im re)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (*.f64 (-.f64 re im) (-.f64 (pow.f64 re 3) (pow.f64 im 3))) (*.f64 (+.f64 re im) (pow.f64 (sqrt.f64 (-.f64 re im)) 4)) (pow.f64 (cbrt.f64 (-.f64 re im)) 4) (pow.f64 (sqrt.f64 (-.f64 re im)) 3) (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (-.f64 re im) (-.f64 (sqrt.f64 re) (sqrt.f64 im))) (pow.f64 (sqrt.f64 (-.f64 re im)) 4) (*.f64 (cbrt.f64 (-.f64 re im)) (pow.f64 (cbrt.f64 (-.f64 re im)) 4)) (pow.f64 (sqrt.f64 (-.f64 re im)) 3) (-.f64 re im) (*.f64 (-.f64 re im) (+.f64 (sqrt.f64 re) (sqrt.f64 im))) (-.f64 re im) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (*.f64 (+.f64 re im) (-.f64 re im)) (-.f64 (pow.f64 re 3) (*.f64 re (*.f64 im (+.f64 re im)))) (-.f64 (pow.f64 im 3) (*.f64 re (*.f64 im (+.f64 re im)))) (-.f64 (pow.f64 im 3) (*.f64 re (*.f64 im (+.f64 re im)))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im (*.f64 re -2)))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im (*.f64 re -2)))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im (*.f64 re -2)))) 1.349 * * * [progress]: adding candidates to table 1.447 * [progress]: [Phase 3 of 3] Extracting. 1.448 * * [regime]: Finding splitpoints for: (# #) 1.448 * * * [regime-changes]: Trying 2 branch expressions: (im re) 1.449 * * * * [regimes]: Trying to branch on im from (# #) 1.459 * * * * [regimes]: Trying to branch on re from (# #) 1.465 * * * [regime]: Found split indices: #