11.070 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.030 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.032 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 0.035 * * [simplify]: iteration 2 : 54 enodes (cost 16 ) 0.042 * * [simplify]: iteration 3 : 118 enodes (cost 16 ) 0.066 * * [simplify]: iteration 4 : 282 enodes (cost 11 ) 0.121 * * [simplify]: iteration 5 : 648 enodes (cost 11 ) 0.267 * * [simplify]: iteration 6 : 1631 enodes (cost 11 ) 0.718 * * [simplify]: iteration 7 : 4560 enodes (cost 11 ) 1.907 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 1.907 * [simplify]: Simplified to: (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 1.910 * * [progress]: iteration 1 / 4 1.910 * * * [progress]: picking best candidate 1.913 * * * * [pick]: Picked # 1.913 * * * [progress]: localizing error 1.921 * * * [progress]: generating rewritten candidates 1.921 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1.927 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.944 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.971 * * * [progress]: generating series expansions 1.971 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1.971 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 1.971 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.971 * [taylor]: Taking taylor expansion of x.im in x.im 1.971 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.971 * [taylor]: Taking taylor expansion of x.re in x.im 1.971 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.971 * [taylor]: Taking taylor expansion of x.im in x.re 1.971 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.971 * [taylor]: Taking taylor expansion of x.re in x.re 1.971 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.971 * [taylor]: Taking taylor expansion of x.im in x.re 1.971 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.971 * [taylor]: Taking taylor expansion of x.re in x.re 1.972 * [taylor]: Taking taylor expansion of x.im in x.im 1.973 * [taylor]: Taking taylor expansion of 0 in x.im 1.973 * [taylor]: Taking taylor expansion of 0 in x.im 1.975 * [taylor]: Taking taylor expansion of 0 in x.im 1.975 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 1.975 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 1.975 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.975 * [taylor]: Taking taylor expansion of x.im in x.im 1.975 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.975 * [taylor]: Taking taylor expansion of x.re in x.im 1.975 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 1.975 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.975 * [taylor]: Taking taylor expansion of x.im in x.re 1.975 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.975 * [taylor]: Taking taylor expansion of x.re in x.re 1.976 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 1.976 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.976 * [taylor]: Taking taylor expansion of x.im in x.re 1.976 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.976 * [taylor]: Taking taylor expansion of x.re in x.re 1.976 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.976 * [taylor]: Taking taylor expansion of x.im in x.im 1.977 * [taylor]: Taking taylor expansion of 0 in x.im 1.979 * [taylor]: Taking taylor expansion of 0 in x.im 1.980 * [taylor]: Taking taylor expansion of 0 in x.im 1.981 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 1.981 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 1.981 * [taylor]: Taking taylor expansion of -1 in x.im 1.981 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.981 * [taylor]: Taking taylor expansion of x.im in x.im 1.981 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.981 * [taylor]: Taking taylor expansion of x.re in x.im 1.982 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 1.982 * [taylor]: Taking taylor expansion of -1 in x.re 1.982 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.982 * [taylor]: Taking taylor expansion of x.im in x.re 1.982 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.982 * [taylor]: Taking taylor expansion of x.re in x.re 1.982 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 1.982 * [taylor]: Taking taylor expansion of -1 in x.re 1.982 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.982 * [taylor]: Taking taylor expansion of x.im in x.re 1.982 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.982 * [taylor]: Taking taylor expansion of x.re in x.re 1.982 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.982 * [taylor]: Taking taylor expansion of -1 in x.im 1.982 * [taylor]: Taking taylor expansion of x.im in x.im 1.983 * [taylor]: Taking taylor expansion of 0 in x.im 1.985 * [taylor]: Taking taylor expansion of 0 in x.im 1.986 * [taylor]: Taking taylor expansion of 0 in x.im 1.987 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.987 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 1.987 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 1.987 * [taylor]: Taking taylor expansion of 3 in x.im 1.987 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.987 * [taylor]: Taking taylor expansion of x.im in x.im 1.987 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.987 * [taylor]: Taking taylor expansion of x.re in x.im 1.987 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 1.987 * [taylor]: Taking taylor expansion of 3 in x.re 1.988 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.988 * [taylor]: Taking taylor expansion of x.im in x.re 1.988 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.988 * [taylor]: Taking taylor expansion of x.re in x.re 1.988 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 1.988 * [taylor]: Taking taylor expansion of 3 in x.re 1.988 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.988 * [taylor]: Taking taylor expansion of x.im in x.re 1.988 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.988 * [taylor]: Taking taylor expansion of x.re in x.re 1.988 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 1.988 * [taylor]: Taking taylor expansion of 3 in x.im 1.988 * [taylor]: Taking taylor expansion of x.im in x.im 1.989 * [taylor]: Taking taylor expansion of 0 in x.im 1.991 * [taylor]: Taking taylor expansion of 0 in x.im 1.993 * [taylor]: Taking taylor expansion of 0 in x.im 1.994 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 1.994 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 1.994 * [taylor]: Taking taylor expansion of 3 in x.im 1.994 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.994 * [taylor]: Taking taylor expansion of x.im in x.im 1.994 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.994 * [taylor]: Taking taylor expansion of x.re in x.im 1.994 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 1.994 * [taylor]: Taking taylor expansion of 3 in x.re 1.994 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.994 * [taylor]: Taking taylor expansion of x.im in x.re 1.994 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.994 * [taylor]: Taking taylor expansion of x.re in x.re 1.995 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 1.995 * [taylor]: Taking taylor expansion of 3 in x.re 1.995 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.995 * [taylor]: Taking taylor expansion of x.im in x.re 1.995 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.995 * [taylor]: Taking taylor expansion of x.re in x.re 1.995 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 1.995 * [taylor]: Taking taylor expansion of 3 in x.im 1.995 * [taylor]: Taking taylor expansion of x.im in x.im 1.996 * [taylor]: Taking taylor expansion of 0 in x.im 1.998 * [taylor]: Taking taylor expansion of 0 in x.im 1.999 * [taylor]: Taking taylor expansion of 0 in x.im 2.000 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.000 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.000 * [taylor]: Taking taylor expansion of -3 in x.im 2.001 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.001 * [taylor]: Taking taylor expansion of x.im in x.im 2.001 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.001 * [taylor]: Taking taylor expansion of x.re in x.im 2.001 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.001 * [taylor]: Taking taylor expansion of -3 in x.re 2.001 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.001 * [taylor]: Taking taylor expansion of x.im in x.re 2.001 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.001 * [taylor]: Taking taylor expansion of x.re in x.re 2.002 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.002 * [taylor]: Taking taylor expansion of -3 in x.re 2.002 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.002 * [taylor]: Taking taylor expansion of x.im in x.re 2.002 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.002 * [taylor]: Taking taylor expansion of x.re in x.re 2.002 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.002 * [taylor]: Taking taylor expansion of -3 in x.im 2.002 * [taylor]: Taking taylor expansion of x.im in x.im 2.003 * [taylor]: Taking taylor expansion of 0 in x.im 2.004 * [taylor]: Taking taylor expansion of 0 in x.im 2.006 * [taylor]: Taking taylor expansion of 0 in x.im 2.007 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.007 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 2.007 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.007 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.007 * [taylor]: Taking taylor expansion of 3 in x.im 2.007 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.007 * [taylor]: Taking taylor expansion of x.im in x.im 2.007 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.007 * [taylor]: Taking taylor expansion of x.re in x.im 2.007 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.007 * [taylor]: Taking taylor expansion of x.im in x.im 2.007 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.007 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.007 * [taylor]: Taking taylor expansion of 3 in x.re 2.007 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.007 * [taylor]: Taking taylor expansion of x.im in x.re 2.007 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.007 * [taylor]: Taking taylor expansion of x.re in x.re 2.007 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.007 * [taylor]: Taking taylor expansion of x.im in x.re 2.007 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.007 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.008 * [taylor]: Taking taylor expansion of 3 in x.re 2.008 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.008 * [taylor]: Taking taylor expansion of x.im in x.re 2.008 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.008 * [taylor]: Taking taylor expansion of x.re in x.re 2.008 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.008 * [taylor]: Taking taylor expansion of x.im in x.re 2.008 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 2.008 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.008 * [taylor]: Taking taylor expansion of x.im in x.im 2.009 * [taylor]: Taking taylor expansion of 0 in x.im 2.010 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.010 * [taylor]: Taking taylor expansion of 3 in x.im 2.010 * [taylor]: Taking taylor expansion of x.im in x.im 2.012 * [taylor]: Taking taylor expansion of 0 in x.im 2.017 * [taylor]: Taking taylor expansion of 0 in x.im 2.022 * [taylor]: Taking taylor expansion of 0 in x.im 2.023 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 2.023 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.023 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.023 * [taylor]: Taking taylor expansion of 3 in x.im 2.023 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.023 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.023 * [taylor]: Taking taylor expansion of x.im in x.im 2.023 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.023 * [taylor]: Taking taylor expansion of x.re in x.im 2.024 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.024 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.024 * [taylor]: Taking taylor expansion of x.im in x.im 2.024 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.024 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.024 * [taylor]: Taking taylor expansion of 3 in x.re 2.024 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.024 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.024 * [taylor]: Taking taylor expansion of x.im in x.re 2.024 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.024 * [taylor]: Taking taylor expansion of x.re in x.re 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.025 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.025 * [taylor]: Taking taylor expansion of x.im in x.re 2.025 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.025 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.025 * [taylor]: Taking taylor expansion of 3 in x.re 2.025 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.025 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.025 * [taylor]: Taking taylor expansion of x.im in x.re 2.025 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.025 * [taylor]: Taking taylor expansion of x.re in x.re 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.025 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.025 * [taylor]: Taking taylor expansion of x.im in x.re 2.026 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 2.026 * [taylor]: Taking taylor expansion of 3 in x.im 2.026 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.026 * [taylor]: Taking taylor expansion of x.im in x.im 2.027 * [taylor]: Taking taylor expansion of 0 in x.im 2.029 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 2.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.029 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.029 * [taylor]: Taking taylor expansion of x.im in x.im 2.033 * [taylor]: Taking taylor expansion of 0 in x.im 2.038 * [taylor]: Taking taylor expansion of 0 in x.im 2.050 * [taylor]: Taking taylor expansion of 0 in x.im 2.053 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 2.053 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.053 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.053 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.053 * [taylor]: Taking taylor expansion of x.im in x.im 2.053 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.053 * [taylor]: Taking taylor expansion of 3 in x.im 2.053 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.053 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.053 * [taylor]: Taking taylor expansion of x.im in x.im 2.053 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.053 * [taylor]: Taking taylor expansion of x.re in x.im 2.054 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.054 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.054 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.054 * [taylor]: Taking taylor expansion of x.im in x.re 2.054 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.054 * [taylor]: Taking taylor expansion of 3 in x.re 2.054 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.054 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.054 * [taylor]: Taking taylor expansion of x.im in x.re 2.054 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.054 * [taylor]: Taking taylor expansion of x.re in x.re 2.055 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.055 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.055 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.055 * [taylor]: Taking taylor expansion of x.im in x.re 2.055 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.055 * [taylor]: Taking taylor expansion of 3 in x.re 2.055 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.055 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.055 * [taylor]: Taking taylor expansion of x.im in x.re 2.055 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.055 * [taylor]: Taking taylor expansion of x.re in x.re 2.055 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 2.055 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 2.055 * [taylor]: Taking taylor expansion of 3 in x.im 2.055 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.055 * [taylor]: Taking taylor expansion of x.im in x.im 2.057 * [taylor]: Taking taylor expansion of 0 in x.im 2.059 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.059 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.059 * [taylor]: Taking taylor expansion of x.im in x.im 2.063 * [taylor]: Taking taylor expansion of 0 in x.im 2.068 * [taylor]: Taking taylor expansion of 0 in x.im 2.075 * [taylor]: Taking taylor expansion of 0 in x.im 2.078 * * * [progress]: simplifying candidates 2.079 * [simplify]: Simplifying using # : (expm1 (* (* x.re x.im) x.re)) (log1p (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (+ (log x.re) (log x.im)) (log x.re)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* (* x.re x.im) 1) (* x.im x.re) (expm1 (* 3 (* (* x.re x.im) x.re))) (log1p (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.re))) (+ (log 3) (+ (log (* x.re x.im)) (log x.re))) (+ (log 3) (log (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (fma 3 (* (* x.re x.im) x.re) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma 3 (* (* x.re x.im) x.re) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma 3 (* (* x.re x.im) x.re) (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma 3 (* (* x.re x.im) x.re) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma 3 (* (* x.re x.im) x.re) (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma 3 (* (* x.re x.im) x.re) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma 3 (* (* x.re x.im) x.re) (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (log1p (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* 3 (* (* x.re x.im) x.re))) (exp (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (* (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (pow x.im 3)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 2.083 * * [simplify]: iteration 0 : 143 enodes (cost 1143 ) 2.114 * * [simplify]: iteration 1 : 370 enodes (cost 898 ) 2.245 * * [simplify]: iteration 2 : 1713 enodes (cost 773 ) 3.154 * * [simplify]: iteration done : 5000 enodes (cost 773 ) 3.155 * [simplify]: Simplified to: (expm1 (* (* x.re x.im) x.re)) (log1p (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (pow (* (* x.re x.im) x.re) 3) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* x.re x.im) (* x.re x.im) (expm1 (* 3 (* (* x.re x.im) x.re))) (log1p (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (pow (* (* x.re x.im) x.re) 3) 27) (* (pow (* (* x.re x.im) x.re) 3) 27) (* (pow (* (* x.re x.im) x.re) 3) 27) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (* (pow (* (* x.re x.im) x.re) 3) 27) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (* (pow x.im 3) 0) (expm1 (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (log1p (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow x.im 3)) (exp (fma 3 (* (* x.re x.im) x.re) (- (pow x.im 3)))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (fma 3 (* (* x.re x.im) x.re) (- (pow x.im 3)))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (pow (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 3) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (fma 9 (* x.re (* (pow x.re 3) (* x.im x.im))) (* (pow x.im 3) (fma 3 (* (* x.re x.im) x.re) (pow x.im 3)))) (- (pow x.im 3)) (fma 9 (* x.re (* (pow x.re 3) (* x.im x.im))) (- (pow x.im 6))) (fma 3 (* (* x.re x.im) x.re) (pow x.im 3)) (- (pow x.im 3)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 3.155 * * * [progress]: adding candidates to table 3.267 * * [progress]: iteration 2 / 4 3.267 * * * [progress]: picking best candidate 3.282 * * * * [pick]: Picked # 3.282 * * * [progress]: localizing error 3.290 * * * [progress]: generating rewritten candidates 3.290 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 3.296 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.313 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.339 * * * [progress]: generating series expansions 3.339 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 3.339 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 3.339 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 3.339 * [taylor]: Taking taylor expansion of 3 in x.im 3.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.339 * [taylor]: Taking taylor expansion of x.im in x.im 3.339 * [taylor]: Taking taylor expansion of x.re in x.im 3.339 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 3.339 * [taylor]: Taking taylor expansion of 3 in x.re 3.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.339 * [taylor]: Taking taylor expansion of x.im in x.re 3.339 * [taylor]: Taking taylor expansion of x.re in x.re 3.339 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 3.339 * [taylor]: Taking taylor expansion of 3 in x.re 3.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.339 * [taylor]: Taking taylor expansion of x.im in x.re 3.339 * [taylor]: Taking taylor expansion of x.re in x.re 3.340 * [taylor]: Taking taylor expansion of 0 in x.im 3.340 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.340 * [taylor]: Taking taylor expansion of 3 in x.im 3.340 * [taylor]: Taking taylor expansion of x.im in x.im 3.342 * [taylor]: Taking taylor expansion of 0 in x.im 3.343 * [taylor]: Taking taylor expansion of 0 in x.im 3.345 * [taylor]: Taking taylor expansion of 0 in x.im 3.345 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 3.345 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.346 * [taylor]: Taking taylor expansion of 3 in x.im 3.346 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.346 * [taylor]: Taking taylor expansion of x.im in x.im 3.346 * [taylor]: Taking taylor expansion of x.re in x.im 3.346 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.346 * [taylor]: Taking taylor expansion of 3 in x.re 3.346 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.346 * [taylor]: Taking taylor expansion of x.im in x.re 3.346 * [taylor]: Taking taylor expansion of x.re in x.re 3.346 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.346 * [taylor]: Taking taylor expansion of 3 in x.re 3.346 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.346 * [taylor]: Taking taylor expansion of x.im in x.re 3.346 * [taylor]: Taking taylor expansion of x.re in x.re 3.347 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.347 * [taylor]: Taking taylor expansion of 3 in x.im 3.347 * [taylor]: Taking taylor expansion of x.im in x.im 3.347 * [taylor]: Taking taylor expansion of 0 in x.im 3.348 * [taylor]: Taking taylor expansion of 0 in x.im 3.350 * [taylor]: Taking taylor expansion of 0 in x.im 3.350 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 3.350 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.350 * [taylor]: Taking taylor expansion of 3 in x.im 3.351 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.351 * [taylor]: Taking taylor expansion of x.im in x.im 3.351 * [taylor]: Taking taylor expansion of x.re in x.im 3.351 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.351 * [taylor]: Taking taylor expansion of 3 in x.re 3.351 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.351 * [taylor]: Taking taylor expansion of x.im in x.re 3.351 * [taylor]: Taking taylor expansion of x.re in x.re 3.351 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.351 * [taylor]: Taking taylor expansion of 3 in x.re 3.351 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.351 * [taylor]: Taking taylor expansion of x.im in x.re 3.351 * [taylor]: Taking taylor expansion of x.re in x.re 3.352 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.352 * [taylor]: Taking taylor expansion of 3 in x.im 3.352 * [taylor]: Taking taylor expansion of x.im in x.im 3.352 * [taylor]: Taking taylor expansion of 0 in x.im 3.353 * [taylor]: Taking taylor expansion of 0 in x.im 3.355 * [taylor]: Taking taylor expansion of 0 in x.im 3.355 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.355 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.355 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.355 * [taylor]: Taking taylor expansion of 3 in x.im 3.355 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.356 * [taylor]: Taking taylor expansion of x.im in x.im 3.356 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.356 * [taylor]: Taking taylor expansion of x.re in x.im 3.356 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.356 * [taylor]: Taking taylor expansion of 3 in x.re 3.356 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.356 * [taylor]: Taking taylor expansion of x.im in x.re 3.356 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.356 * [taylor]: Taking taylor expansion of x.re in x.re 3.356 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.356 * [taylor]: Taking taylor expansion of 3 in x.re 3.356 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.356 * [taylor]: Taking taylor expansion of x.im in x.re 3.356 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.356 * [taylor]: Taking taylor expansion of x.re in x.re 3.356 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.356 * [taylor]: Taking taylor expansion of 3 in x.im 3.356 * [taylor]: Taking taylor expansion of x.im in x.im 3.357 * [taylor]: Taking taylor expansion of 0 in x.im 3.359 * [taylor]: Taking taylor expansion of 0 in x.im 3.361 * [taylor]: Taking taylor expansion of 0 in x.im 3.362 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.362 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.362 * [taylor]: Taking taylor expansion of 3 in x.im 3.362 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.362 * [taylor]: Taking taylor expansion of x.im in x.im 3.362 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.362 * [taylor]: Taking taylor expansion of x.re in x.im 3.362 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.362 * [taylor]: Taking taylor expansion of 3 in x.re 3.362 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.362 * [taylor]: Taking taylor expansion of x.im in x.re 3.362 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.362 * [taylor]: Taking taylor expansion of x.re in x.re 3.363 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.363 * [taylor]: Taking taylor expansion of 3 in x.re 3.363 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.363 * [taylor]: Taking taylor expansion of x.im in x.re 3.363 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.363 * [taylor]: Taking taylor expansion of x.re in x.re 3.363 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.363 * [taylor]: Taking taylor expansion of 3 in x.im 3.363 * [taylor]: Taking taylor expansion of x.im in x.im 3.364 * [taylor]: Taking taylor expansion of 0 in x.im 3.366 * [taylor]: Taking taylor expansion of 0 in x.im 3.367 * [taylor]: Taking taylor expansion of 0 in x.im 3.368 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.368 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.368 * [taylor]: Taking taylor expansion of -3 in x.im 3.368 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.368 * [taylor]: Taking taylor expansion of x.im in x.im 3.368 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.368 * [taylor]: Taking taylor expansion of x.re in x.im 3.369 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.369 * [taylor]: Taking taylor expansion of -3 in x.re 3.369 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.369 * [taylor]: Taking taylor expansion of x.im in x.re 3.369 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.369 * [taylor]: Taking taylor expansion of x.re in x.re 3.369 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.369 * [taylor]: Taking taylor expansion of -3 in x.re 3.369 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.369 * [taylor]: Taking taylor expansion of x.im in x.re 3.369 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.369 * [taylor]: Taking taylor expansion of x.re in x.re 3.370 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 3.370 * [taylor]: Taking taylor expansion of -3 in x.im 3.370 * [taylor]: Taking taylor expansion of x.im in x.im 3.371 * [taylor]: Taking taylor expansion of 0 in x.im 3.372 * [taylor]: Taking taylor expansion of 0 in x.im 3.374 * [taylor]: Taking taylor expansion of 0 in x.im 3.374 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.375 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 3.375 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 3.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.375 * [taylor]: Taking taylor expansion of 3 in x.im 3.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.375 * [taylor]: Taking taylor expansion of x.im in x.im 3.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.375 * [taylor]: Taking taylor expansion of x.re in x.im 3.375 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.375 * [taylor]: Taking taylor expansion of x.im in x.im 3.375 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.375 * [taylor]: Taking taylor expansion of 3 in x.re 3.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.375 * [taylor]: Taking taylor expansion of x.im in x.re 3.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.375 * [taylor]: Taking taylor expansion of x.re in x.re 3.375 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.375 * [taylor]: Taking taylor expansion of x.im in x.re 3.375 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.375 * [taylor]: Taking taylor expansion of 3 in x.re 3.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.375 * [taylor]: Taking taylor expansion of x.im in x.re 3.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.375 * [taylor]: Taking taylor expansion of x.re in x.re 3.375 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.375 * [taylor]: Taking taylor expansion of x.im in x.re 3.375 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 3.375 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.375 * [taylor]: Taking taylor expansion of x.im in x.im 3.376 * [taylor]: Taking taylor expansion of 0 in x.im 3.377 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.378 * [taylor]: Taking taylor expansion of 3 in x.im 3.378 * [taylor]: Taking taylor expansion of x.im in x.im 3.380 * [taylor]: Taking taylor expansion of 0 in x.im 3.384 * [taylor]: Taking taylor expansion of 0 in x.im 3.390 * [taylor]: Taking taylor expansion of 0 in x.im 3.390 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 3.390 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 3.391 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.391 * [taylor]: Taking taylor expansion of 3 in x.im 3.391 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.391 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.391 * [taylor]: Taking taylor expansion of x.im in x.im 3.391 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.391 * [taylor]: Taking taylor expansion of x.re in x.im 3.391 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.391 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.391 * [taylor]: Taking taylor expansion of x.im in x.im 3.392 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.392 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.392 * [taylor]: Taking taylor expansion of 3 in x.re 3.392 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.392 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.392 * [taylor]: Taking taylor expansion of x.im in x.re 3.392 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.392 * [taylor]: Taking taylor expansion of x.re in x.re 3.392 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.392 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.392 * [taylor]: Taking taylor expansion of x.im in x.re 3.392 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.393 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.393 * [taylor]: Taking taylor expansion of 3 in x.re 3.393 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.393 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.393 * [taylor]: Taking taylor expansion of x.im in x.re 3.393 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.393 * [taylor]: Taking taylor expansion of x.re in x.re 3.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.393 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.393 * [taylor]: Taking taylor expansion of x.im in x.re 3.393 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.393 * [taylor]: Taking taylor expansion of 3 in x.im 3.393 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.393 * [taylor]: Taking taylor expansion of x.im in x.im 3.395 * [taylor]: Taking taylor expansion of 0 in x.im 3.396 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 3.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.396 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.396 * [taylor]: Taking taylor expansion of x.im in x.im 3.400 * [taylor]: Taking taylor expansion of 0 in x.im 3.406 * [taylor]: Taking taylor expansion of 0 in x.im 3.417 * [taylor]: Taking taylor expansion of 0 in x.im 3.420 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 3.420 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 3.420 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.420 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.420 * [taylor]: Taking taylor expansion of x.im in x.im 3.421 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.421 * [taylor]: Taking taylor expansion of 3 in x.im 3.421 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.421 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.421 * [taylor]: Taking taylor expansion of x.im in x.im 3.421 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.421 * [taylor]: Taking taylor expansion of x.re in x.im 3.421 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.421 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.421 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.421 * [taylor]: Taking taylor expansion of x.im in x.re 3.422 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.422 * [taylor]: Taking taylor expansion of 3 in x.re 3.422 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.422 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.422 * [taylor]: Taking taylor expansion of x.im in x.re 3.422 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.422 * [taylor]: Taking taylor expansion of x.re in x.re 3.422 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.422 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.422 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.422 * [taylor]: Taking taylor expansion of x.im in x.re 3.422 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.422 * [taylor]: Taking taylor expansion of 3 in x.re 3.422 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.422 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.422 * [taylor]: Taking taylor expansion of x.im in x.re 3.422 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.422 * [taylor]: Taking taylor expansion of x.re in x.re 3.423 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 3.423 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.423 * [taylor]: Taking taylor expansion of 3 in x.im 3.423 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.423 * [taylor]: Taking taylor expansion of x.im in x.im 3.424 * [taylor]: Taking taylor expansion of 0 in x.im 3.426 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.426 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.426 * [taylor]: Taking taylor expansion of x.im in x.im 3.430 * [taylor]: Taking taylor expansion of 0 in x.im 3.435 * [taylor]: Taking taylor expansion of 0 in x.im 3.443 * [taylor]: Taking taylor expansion of 0 in x.im 3.445 * * * [progress]: simplifying candidates 3.446 * [simplify]: Simplifying using # : (expm1 (* 3 (* x.re x.im))) (log1p (* 3 (* x.re x.im))) (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (expm1 (* (* 3 (* x.re x.im)) x.re)) (log1p (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.re)) (+ (+ (log 3) (log (* x.re x.im))) (log x.re)) (+ (log (* 3 (* x.re x.im))) (log x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* (* 3 (* x.re x.im)) 1) (* (* x.re x.im) x.re) (fma (* 3 (* x.re x.im)) x.re (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 (* x.re x.im)) x.re (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* 3 (* x.re x.im)) x.re (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 (* x.re x.im)) x.re (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* 3 (* x.re x.im)) x.re (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma (* 3 (* x.re x.im)) x.re (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* 3 (* x.re x.im)) x.re (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (log1p (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* 3 (* x.re x.im)) x.re)) (exp (pow x.im 3))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (* (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 3.450 * * [simplify]: iteration 0 : 145 enodes (cost 1143 ) 3.476 * * [simplify]: iteration 1 : 381 enodes (cost 898 ) 3.611 * * [simplify]: iteration 2 : 1714 enodes (cost 777 ) 4.479 * * [simplify]: iteration done : 5000 enodes (cost 773 ) 4.479 * [simplify]: Simplified to: (expm1 (* 3 (* x.re x.im))) (log1p (* 3 (* x.re x.im))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (pow (* 3 (* x.im x.re)) 3) (pow (* 3 (* x.im x.re)) 3) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (pow (* 3 (* x.im x.re)) 3) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.im x.re)) (expm1 (* (* 3 (* x.re x.im)) x.re)) (log1p (* (* 3 (* x.re x.im)) x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* 3 (* x.im x.re)) (* (* x.re x.im) x.re) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (expm1 (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (log1p (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow x.im 3)) (exp (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3)))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3)))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (pow (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) 3) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma (* 3 (* x.im x.re)) x.re (pow x.im 3)) (* (* 9 (* x.re x.im)) (* x.im (pow x.re 3)))) (- (pow x.im 3)) (- (* (* 9 (* x.re x.im)) (* x.im (pow x.re 3))) (pow x.im 6)) (fma (* 3 (* x.im x.re)) x.re (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 4.479 * * * [progress]: adding candidates to table 4.605 * * [progress]: iteration 3 / 4 4.605 * * * [progress]: picking best candidate 4.615 * * * * [pick]: Picked # 4.615 * * * [progress]: localizing error 4.622 * * * [progress]: generating rewritten candidates 4.622 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 4.629 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 4.653 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.679 * * * [progress]: generating series expansions 4.679 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 4.679 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 4.679 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 4.679 * [taylor]: Taking taylor expansion of 3 in x.im 4.679 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.679 * [taylor]: Taking taylor expansion of x.im in x.im 4.679 * [taylor]: Taking taylor expansion of x.re in x.im 4.679 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 4.679 * [taylor]: Taking taylor expansion of 3 in x.re 4.679 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.679 * [taylor]: Taking taylor expansion of x.im in x.re 4.679 * [taylor]: Taking taylor expansion of x.re in x.re 4.679 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 4.679 * [taylor]: Taking taylor expansion of 3 in x.re 4.679 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.679 * [taylor]: Taking taylor expansion of x.im in x.re 4.679 * [taylor]: Taking taylor expansion of x.re in x.re 4.680 * [taylor]: Taking taylor expansion of 0 in x.im 4.680 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.680 * [taylor]: Taking taylor expansion of 3 in x.im 4.680 * [taylor]: Taking taylor expansion of x.im in x.im 4.682 * [taylor]: Taking taylor expansion of 0 in x.im 4.683 * [taylor]: Taking taylor expansion of 0 in x.im 4.685 * [taylor]: Taking taylor expansion of 0 in x.im 4.685 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 4.685 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.685 * [taylor]: Taking taylor expansion of 3 in x.im 4.685 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.685 * [taylor]: Taking taylor expansion of x.im in x.im 4.685 * [taylor]: Taking taylor expansion of x.re in x.im 4.686 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.686 * [taylor]: Taking taylor expansion of 3 in x.re 4.686 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.686 * [taylor]: Taking taylor expansion of x.im in x.re 4.686 * [taylor]: Taking taylor expansion of x.re in x.re 4.686 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.686 * [taylor]: Taking taylor expansion of 3 in x.re 4.686 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.686 * [taylor]: Taking taylor expansion of x.im in x.re 4.686 * [taylor]: Taking taylor expansion of x.re in x.re 4.687 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 4.687 * [taylor]: Taking taylor expansion of 3 in x.im 4.687 * [taylor]: Taking taylor expansion of x.im in x.im 4.687 * [taylor]: Taking taylor expansion of 0 in x.im 4.688 * [taylor]: Taking taylor expansion of 0 in x.im 4.690 * [taylor]: Taking taylor expansion of 0 in x.im 4.690 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 4.690 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.690 * [taylor]: Taking taylor expansion of 3 in x.im 4.690 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.690 * [taylor]: Taking taylor expansion of x.im in x.im 4.690 * [taylor]: Taking taylor expansion of x.re in x.im 4.691 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.691 * [taylor]: Taking taylor expansion of 3 in x.re 4.691 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.691 * [taylor]: Taking taylor expansion of x.im in x.re 4.691 * [taylor]: Taking taylor expansion of x.re in x.re 4.691 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.691 * [taylor]: Taking taylor expansion of 3 in x.re 4.691 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.691 * [taylor]: Taking taylor expansion of x.im in x.re 4.691 * [taylor]: Taking taylor expansion of x.re in x.re 4.692 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 4.692 * [taylor]: Taking taylor expansion of 3 in x.im 4.692 * [taylor]: Taking taylor expansion of x.im in x.im 4.692 * [taylor]: Taking taylor expansion of 0 in x.im 4.693 * [taylor]: Taking taylor expansion of 0 in x.im 4.695 * [taylor]: Taking taylor expansion of 0 in x.im 4.695 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.695 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.695 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.695 * [taylor]: Taking taylor expansion of 3 in x.im 4.695 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.695 * [taylor]: Taking taylor expansion of x.im in x.im 4.695 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.695 * [taylor]: Taking taylor expansion of x.re in x.im 4.695 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.695 * [taylor]: Taking taylor expansion of 3 in x.re 4.695 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.695 * [taylor]: Taking taylor expansion of x.im in x.re 4.696 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.696 * [taylor]: Taking taylor expansion of x.re in x.re 4.696 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.696 * [taylor]: Taking taylor expansion of 3 in x.re 4.696 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.696 * [taylor]: Taking taylor expansion of x.im in x.re 4.696 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.696 * [taylor]: Taking taylor expansion of x.re in x.re 4.696 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.696 * [taylor]: Taking taylor expansion of 3 in x.im 4.696 * [taylor]: Taking taylor expansion of x.im in x.im 4.697 * [taylor]: Taking taylor expansion of 0 in x.im 4.699 * [taylor]: Taking taylor expansion of 0 in x.im 4.701 * [taylor]: Taking taylor expansion of 0 in x.im 4.701 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.701 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 4.701 * [taylor]: Taking taylor expansion of 3 in x.im 4.701 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.701 * [taylor]: Taking taylor expansion of x.im in x.im 4.701 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.702 * [taylor]: Taking taylor expansion of x.re in x.im 4.702 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.702 * [taylor]: Taking taylor expansion of 3 in x.re 4.702 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.702 * [taylor]: Taking taylor expansion of x.im in x.re 4.702 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.702 * [taylor]: Taking taylor expansion of x.re in x.re 4.703 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.703 * [taylor]: Taking taylor expansion of 3 in x.re 4.703 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.703 * [taylor]: Taking taylor expansion of x.im in x.re 4.703 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.703 * [taylor]: Taking taylor expansion of x.re in x.re 4.703 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 4.703 * [taylor]: Taking taylor expansion of 3 in x.im 4.703 * [taylor]: Taking taylor expansion of x.im in x.im 4.704 * [taylor]: Taking taylor expansion of 0 in x.im 4.705 * [taylor]: Taking taylor expansion of 0 in x.im 4.707 * [taylor]: Taking taylor expansion of 0 in x.im 4.708 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.708 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 4.708 * [taylor]: Taking taylor expansion of -3 in x.im 4.708 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.708 * [taylor]: Taking taylor expansion of x.im in x.im 4.708 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.708 * [taylor]: Taking taylor expansion of x.re in x.im 4.709 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.709 * [taylor]: Taking taylor expansion of -3 in x.re 4.709 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.709 * [taylor]: Taking taylor expansion of x.im in x.re 4.709 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.709 * [taylor]: Taking taylor expansion of x.re in x.re 4.709 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.709 * [taylor]: Taking taylor expansion of -3 in x.re 4.709 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.709 * [taylor]: Taking taylor expansion of x.im in x.re 4.709 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.709 * [taylor]: Taking taylor expansion of x.re in x.re 4.709 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.709 * [taylor]: Taking taylor expansion of -3 in x.im 4.709 * [taylor]: Taking taylor expansion of x.im in x.im 4.710 * [taylor]: Taking taylor expansion of 0 in x.im 4.712 * [taylor]: Taking taylor expansion of 0 in x.im 4.714 * [taylor]: Taking taylor expansion of 0 in x.im 4.714 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.714 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 4.715 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 4.715 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.715 * [taylor]: Taking taylor expansion of 3 in x.im 4.715 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.715 * [taylor]: Taking taylor expansion of x.im in x.im 4.715 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.715 * [taylor]: Taking taylor expansion of x.re in x.im 4.715 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.715 * [taylor]: Taking taylor expansion of x.im in x.im 4.715 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 4.715 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.715 * [taylor]: Taking taylor expansion of 3 in x.re 4.715 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.715 * [taylor]: Taking taylor expansion of x.im in x.re 4.715 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.715 * [taylor]: Taking taylor expansion of x.re in x.re 4.715 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.715 * [taylor]: Taking taylor expansion of x.im in x.re 4.715 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 4.715 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.715 * [taylor]: Taking taylor expansion of 3 in x.re 4.715 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.715 * [taylor]: Taking taylor expansion of x.im in x.re 4.715 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.715 * [taylor]: Taking taylor expansion of x.re in x.re 4.715 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.715 * [taylor]: Taking taylor expansion of x.im in x.re 4.715 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 4.715 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.715 * [taylor]: Taking taylor expansion of x.im in x.im 4.716 * [taylor]: Taking taylor expansion of 0 in x.im 4.717 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.717 * [taylor]: Taking taylor expansion of 3 in x.im 4.717 * [taylor]: Taking taylor expansion of x.im in x.im 4.720 * [taylor]: Taking taylor expansion of 0 in x.im 4.728 * [taylor]: Taking taylor expansion of 0 in x.im 4.734 * [taylor]: Taking taylor expansion of 0 in x.im 4.734 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 4.734 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 4.734 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.735 * [taylor]: Taking taylor expansion of 3 in x.im 4.735 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.735 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.735 * [taylor]: Taking taylor expansion of x.im in x.im 4.735 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.735 * [taylor]: Taking taylor expansion of x.re in x.im 4.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.735 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.735 * [taylor]: Taking taylor expansion of x.im in x.im 4.736 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 4.736 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.736 * [taylor]: Taking taylor expansion of 3 in x.re 4.736 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.736 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.736 * [taylor]: Taking taylor expansion of x.im in x.re 4.736 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.736 * [taylor]: Taking taylor expansion of x.re in x.re 4.736 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.736 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.736 * [taylor]: Taking taylor expansion of x.im in x.re 4.736 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 4.737 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.737 * [taylor]: Taking taylor expansion of 3 in x.re 4.737 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.737 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.737 * [taylor]: Taking taylor expansion of x.im in x.re 4.737 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.737 * [taylor]: Taking taylor expansion of x.re in x.re 4.737 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.737 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.737 * [taylor]: Taking taylor expansion of x.im in x.re 4.737 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 4.737 * [taylor]: Taking taylor expansion of 3 in x.im 4.737 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.737 * [taylor]: Taking taylor expansion of x.im in x.im 4.739 * [taylor]: Taking taylor expansion of 0 in x.im 4.740 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 4.740 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.740 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.740 * [taylor]: Taking taylor expansion of x.im in x.im 4.744 * [taylor]: Taking taylor expansion of 0 in x.im 4.749 * [taylor]: Taking taylor expansion of 0 in x.im 4.757 * [taylor]: Taking taylor expansion of 0 in x.im 4.759 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 4.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 4.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.759 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.759 * [taylor]: Taking taylor expansion of x.im in x.im 4.760 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.760 * [taylor]: Taking taylor expansion of 3 in x.im 4.760 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.760 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.760 * [taylor]: Taking taylor expansion of x.im in x.im 4.760 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.760 * [taylor]: Taking taylor expansion of x.re in x.im 4.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 4.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.760 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.760 * [taylor]: Taking taylor expansion of x.im in x.re 4.761 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.761 * [taylor]: Taking taylor expansion of 3 in x.re 4.761 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.761 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.761 * [taylor]: Taking taylor expansion of x.im in x.re 4.761 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.761 * [taylor]: Taking taylor expansion of x.re in x.re 4.761 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 4.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.761 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.761 * [taylor]: Taking taylor expansion of x.im in x.re 4.761 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.761 * [taylor]: Taking taylor expansion of 3 in x.re 4.761 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.761 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.761 * [taylor]: Taking taylor expansion of x.im in x.re 4.761 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.761 * [taylor]: Taking taylor expansion of x.re in x.re 4.762 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 4.762 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 4.762 * [taylor]: Taking taylor expansion of 3 in x.im 4.762 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.762 * [taylor]: Taking taylor expansion of x.im in x.im 4.763 * [taylor]: Taking taylor expansion of 0 in x.im 4.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.765 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.765 * [taylor]: Taking taylor expansion of x.im in x.im 4.769 * [taylor]: Taking taylor expansion of 0 in x.im 4.775 * [taylor]: Taking taylor expansion of 0 in x.im 4.781 * [taylor]: Taking taylor expansion of 0 in x.im 4.783 * * * [progress]: simplifying candidates 4.784 * [simplify]: Simplifying using # : (expm1 (* (* 3 x.re) x.im)) (log1p (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (expm1 (* (* (* 3 x.re) x.im) x.re)) (log1p (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re)) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re)) (+ (log (* (* 3 x.re) x.im)) (log x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* (* 3 x.re) x.im) 1) (* x.im x.re) (fma (* (* 3 x.re) x.im) x.re (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* (* 3 x.re) x.im) x.re (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* (* 3 x.re) x.im) x.re (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* (* 3 x.re) x.im) x.re (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* (* 3 x.re) x.im) x.re (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma (* (* 3 x.re) x.im) x.re (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* (* 3 x.re) x.im) x.re (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (log1p (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* (* 3 x.re) x.im) x.re)) (exp (pow x.im 3))) (log (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (* (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.re) x.im) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 4.788 * * [simplify]: iteration 0 : 143 enodes (cost 1144 ) 4.818 * * [simplify]: iteration 1 : 378 enodes (cost 893 ) 5.151 * * [simplify]: iteration 2 : 2018 enodes (cost 776 ) 6.430 * * [simplify]: iteration done : 5000 enodes (cost 776 ) 6.430 * [simplify]: Simplified to: (expm1 (* (* 3 x.re) x.im)) (log1p (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (pow (* (* 3 x.re) x.im) 3) (pow (* (* 3 x.re) x.im) 3) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (pow (* (* 3 x.re) x.im) 3) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* 3 x.re) (* x.im x.re) (expm1 (* (* (* 3 x.re) x.im) x.re)) (log1p (* (* (* 3 x.re) x.im) x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* 3 x.re) x.im) (* x.im x.re) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (log1p (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow x.im 3)) (exp (fma (* (* 3 x.re) x.im) x.re (- (pow x.im 3)))) (log (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (exp (fma (* (* 3 x.re) x.im) x.re (- (pow x.im 3)))) (* (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (pow (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) 3) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.re) x.im) x.re) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma (* (* 3 x.re) x.im) x.re (pow x.im 3)) (* (* (* 9 (* x.re x.re)) (* x.im x.im)) (* x.re x.re))) (- (pow x.im 3)) (- (* (* (* 9 (* x.re x.re)) (* x.im x.im)) (* x.re x.re)) (pow x.im 6)) (fma (* (* 3 x.re) x.im) x.re (pow x.im 3)) (- (pow x.im 3)) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) (fma x.re (* (* 3 x.re) x.im) (- (pow x.im 3))) 6.431 * * * [progress]: adding candidates to table 6.557 * * [progress]: iteration 4 / 4 6.557 * * * [progress]: picking best candidate 6.566 * * * * [pick]: Picked # 6.566 * * * [progress]: localizing error 6.573 * * * [progress]: generating rewritten candidates 6.573 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.583 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.598 * * * [progress]: generating series expansions 6.598 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.598 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.598 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 6.598 * [taylor]: Taking taylor expansion of 3 in x.im 6.598 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.598 * [taylor]: Taking taylor expansion of x.im in x.im 6.598 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.598 * [taylor]: Taking taylor expansion of x.re in x.im 6.598 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.598 * [taylor]: Taking taylor expansion of 3 in x.re 6.598 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.598 * [taylor]: Taking taylor expansion of x.im in x.re 6.598 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.598 * [taylor]: Taking taylor expansion of x.re in x.re 6.598 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.598 * [taylor]: Taking taylor expansion of 3 in x.re 6.598 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.598 * [taylor]: Taking taylor expansion of x.im in x.re 6.598 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.598 * [taylor]: Taking taylor expansion of x.re in x.re 6.599 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 6.599 * [taylor]: Taking taylor expansion of 3 in x.im 6.599 * [taylor]: Taking taylor expansion of x.im in x.im 6.600 * [taylor]: Taking taylor expansion of 0 in x.im 6.602 * [taylor]: Taking taylor expansion of 0 in x.im 6.604 * [taylor]: Taking taylor expansion of 0 in x.im 6.604 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.604 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 6.604 * [taylor]: Taking taylor expansion of 3 in x.im 6.604 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.604 * [taylor]: Taking taylor expansion of x.im in x.im 6.604 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.604 * [taylor]: Taking taylor expansion of x.re in x.im 6.605 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 6.605 * [taylor]: Taking taylor expansion of 3 in x.re 6.605 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.605 * [taylor]: Taking taylor expansion of x.im in x.re 6.605 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.605 * [taylor]: Taking taylor expansion of x.re in x.re 6.605 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 6.605 * [taylor]: Taking taylor expansion of 3 in x.re 6.605 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.605 * [taylor]: Taking taylor expansion of x.im in x.re 6.605 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.605 * [taylor]: Taking taylor expansion of x.re in x.re 6.606 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 6.606 * [taylor]: Taking taylor expansion of 3 in x.im 6.606 * [taylor]: Taking taylor expansion of x.im in x.im 6.607 * [taylor]: Taking taylor expansion of 0 in x.im 6.608 * [taylor]: Taking taylor expansion of 0 in x.im 6.610 * [taylor]: Taking taylor expansion of 0 in x.im 6.611 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.611 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 6.611 * [taylor]: Taking taylor expansion of -3 in x.im 6.611 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.611 * [taylor]: Taking taylor expansion of x.im in x.im 6.611 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.611 * [taylor]: Taking taylor expansion of x.re in x.im 6.611 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 6.611 * [taylor]: Taking taylor expansion of -3 in x.re 6.612 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.612 * [taylor]: Taking taylor expansion of x.im in x.re 6.612 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.612 * [taylor]: Taking taylor expansion of x.re in x.re 6.612 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 6.612 * [taylor]: Taking taylor expansion of -3 in x.re 6.612 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.612 * [taylor]: Taking taylor expansion of x.im in x.re 6.612 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.612 * [taylor]: Taking taylor expansion of x.re in x.re 6.612 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 6.612 * [taylor]: Taking taylor expansion of -3 in x.im 6.612 * [taylor]: Taking taylor expansion of x.im in x.im 6.616 * [taylor]: Taking taylor expansion of 0 in x.im 6.618 * [taylor]: Taking taylor expansion of 0 in x.im 6.619 * [taylor]: Taking taylor expansion of 0 in x.im 6.620 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.620 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 6.620 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 6.620 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 6.620 * [taylor]: Taking taylor expansion of 3 in x.im 6.620 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.620 * [taylor]: Taking taylor expansion of x.im in x.im 6.620 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.620 * [taylor]: Taking taylor expansion of x.re in x.im 6.620 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.620 * [taylor]: Taking taylor expansion of x.im in x.im 6.620 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.620 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.620 * [taylor]: Taking taylor expansion of 3 in x.re 6.620 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.621 * [taylor]: Taking taylor expansion of x.im in x.re 6.621 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.621 * [taylor]: Taking taylor expansion of x.re in x.re 6.621 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.621 * [taylor]: Taking taylor expansion of x.im in x.re 6.621 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.621 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.621 * [taylor]: Taking taylor expansion of 3 in x.re 6.621 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.621 * [taylor]: Taking taylor expansion of x.im in x.re 6.621 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.621 * [taylor]: Taking taylor expansion of x.re in x.re 6.621 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.621 * [taylor]: Taking taylor expansion of x.im in x.re 6.621 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 6.621 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.621 * [taylor]: Taking taylor expansion of x.im in x.im 6.622 * [taylor]: Taking taylor expansion of 0 in x.im 6.623 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 6.623 * [taylor]: Taking taylor expansion of 3 in x.im 6.623 * [taylor]: Taking taylor expansion of x.im in x.im 6.625 * [taylor]: Taking taylor expansion of 0 in x.im 6.630 * [taylor]: Taking taylor expansion of 0 in x.im 6.635 * [taylor]: Taking taylor expansion of 0 in x.im 6.636 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 6.636 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 6.636 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 6.636 * [taylor]: Taking taylor expansion of 3 in x.im 6.636 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 6.636 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.636 * [taylor]: Taking taylor expansion of x.im in x.im 6.636 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.636 * [taylor]: Taking taylor expansion of x.re in x.im 6.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.636 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.636 * [taylor]: Taking taylor expansion of x.im in x.im 6.637 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 6.637 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.637 * [taylor]: Taking taylor expansion of 3 in x.re 6.637 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.637 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.637 * [taylor]: Taking taylor expansion of x.im in x.re 6.637 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.637 * [taylor]: Taking taylor expansion of x.re in x.re 6.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.638 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.638 * [taylor]: Taking taylor expansion of x.im in x.re 6.638 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 6.638 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.638 * [taylor]: Taking taylor expansion of 3 in x.re 6.638 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.638 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.638 * [taylor]: Taking taylor expansion of x.im in x.re 6.638 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.638 * [taylor]: Taking taylor expansion of x.re in x.re 6.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.638 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.638 * [taylor]: Taking taylor expansion of x.im in x.re 6.638 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 6.639 * [taylor]: Taking taylor expansion of 3 in x.im 6.639 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.639 * [taylor]: Taking taylor expansion of x.im in x.im 6.640 * [taylor]: Taking taylor expansion of 0 in x.im 6.642 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 6.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.642 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.642 * [taylor]: Taking taylor expansion of x.im in x.im 6.646 * [taylor]: Taking taylor expansion of 0 in x.im 6.651 * [taylor]: Taking taylor expansion of 0 in x.im 6.658 * [taylor]: Taking taylor expansion of 0 in x.im 6.660 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 6.660 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 6.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.660 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.660 * [taylor]: Taking taylor expansion of x.im in x.im 6.661 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 6.661 * [taylor]: Taking taylor expansion of 3 in x.im 6.661 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 6.661 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.661 * [taylor]: Taking taylor expansion of x.im in x.im 6.661 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.661 * [taylor]: Taking taylor expansion of x.re in x.im 6.662 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 6.662 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.662 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.662 * [taylor]: Taking taylor expansion of x.im in x.re 6.662 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.662 * [taylor]: Taking taylor expansion of 3 in x.re 6.662 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.662 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.662 * [taylor]: Taking taylor expansion of x.im in x.re 6.662 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.662 * [taylor]: Taking taylor expansion of x.re in x.re 6.662 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 6.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.663 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.663 * [taylor]: Taking taylor expansion of x.im in x.re 6.663 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.663 * [taylor]: Taking taylor expansion of 3 in x.re 6.663 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.663 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.663 * [taylor]: Taking taylor expansion of x.im in x.re 6.663 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.663 * [taylor]: Taking taylor expansion of x.re in x.re 6.663 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 6.663 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 6.663 * [taylor]: Taking taylor expansion of 3 in x.im 6.663 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.663 * [taylor]: Taking taylor expansion of x.im in x.im 6.665 * [taylor]: Taking taylor expansion of 0 in x.im 6.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.667 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.667 * [taylor]: Taking taylor expansion of x.im in x.im 6.671 * [taylor]: Taking taylor expansion of 0 in x.im 6.676 * [taylor]: Taking taylor expansion of 0 in x.im 6.683 * [taylor]: Taking taylor expansion of 0 in x.im 6.685 * * * [progress]: simplifying candidates 6.686 * [simplify]: Simplifying using # : (expm1 (* (* 3 x.re) (* x.im x.re))) (log1p (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re))) (+ (+ (log 3) (log x.re)) (log (* x.im x.re))) (+ (log (* 3 x.re)) (+ (log x.im) (log x.re))) (+ (log (* 3 x.re)) (log (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (fma (* 3 x.re) (* x.im x.re) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 x.re) (* x.im x.re) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* 3 x.re) (* x.im x.re) (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 x.re) (* x.im x.re) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* 3 x.re) (* x.im x.re) (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma (* 3 x.re) (* x.im x.re) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* 3 x.re) (* x.im x.re) (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (log1p (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* 3 x.re) (* x.im x.re))) (exp (pow x.im 3))) (log (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (* (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 6.689 * * [simplify]: iteration 0 : 127 enodes (cost 996 ) 6.716 * * [simplify]: iteration 1 : 339 enodes (cost 754 ) 6.838 * * [simplify]: iteration 2 : 1567 enodes (cost 649 ) 7.658 * * [simplify]: iteration done : 5001 enodes (cost 645 ) 7.658 * [simplify]: Simplified to: (expm1 (* (* 3 x.re) (* x.im x.re))) (log1p (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (* (* 3 x.re) (* x.im x.re)) 3) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (pow (* (* 3 x.re) (* x.im x.re)) 3) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.im (pow x.re 2)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (* (pow x.im 3) 0) (expm1 (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (log1p (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (pow x.im 3)) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (log (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (pow (fma (* 3 x.re) (* x.im x.re) (- (pow x.im 3))) 3) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma (* 3 x.re) (* x.im x.re) (pow x.im 3)) (* (* (* x.im x.im) x.re) (* 9 (pow x.re 3)))) (- (pow x.im 3)) (- (* (* (* x.im x.im) x.re) (* 9 (pow x.re 3))) (pow x.im 6)) (fma (* 3 x.re) (* x.im x.re) (pow x.im 3)) (- (pow x.im 3)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 7.659 * * * [progress]: adding candidates to table 7.736 * [progress]: [Phase 3 of 3] Extracting. 7.736 * * [regime]: Finding splitpoints for: (# # # # # # # #) 7.738 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 7.738 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # #) 7.765 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # #) 7.790 * * * [regime]: Found split indices: #