12.855 * [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.030 * [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 : 22 enodes (cost 17 ) 0.035 * * [simplify]: iteration 2 : 51 enodes (cost 16 ) 0.042 * * [simplify]: iteration 3 : 109 enodes (cost 16 ) 0.063 * * [simplify]: iteration 4 : 273 enodes (cost 11 ) 0.117 * * [simplify]: iteration 5 : 634 enodes (cost 11 ) 0.266 * * [simplify]: iteration 6 : 1590 enodes (cost 11 ) 0.761 * * [simplify]: iteration 7 : 4479 enodes (cost 11 ) 1.918 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 1.918 * [simplify]: Simplified to: (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3)) 1.920 * * [progress]: iteration 1 / 4 1.920 * * * [progress]: picking best candidate 1.923 * * * * [pick]: Picked # 1.924 * * * [progress]: localizing error 1.931 * * * [progress]: generating rewritten candidates 1.931 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1.938 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.958 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.981 * * * [progress]: generating series expansions 1.981 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1.981 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.im x.re) around 0 1.981 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.981 * [taylor]: Taking taylor expansion of x.im in x.re 1.981 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.981 * [taylor]: Taking taylor expansion of x.re in x.re 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.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.981 * [taylor]: Taking taylor expansion of 0 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.983 * [taylor]: Taking taylor expansion of 0 in x.re 1.985 * [taylor]: Taking taylor expansion of 0 in x.re 1.985 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.im x.re) around 0 1.985 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 1.985 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.985 * [taylor]: Taking taylor expansion of x.im in x.re 1.985 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.985 * [taylor]: Taking taylor expansion of x.re in x.re 1.986 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 1.986 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.986 * [taylor]: Taking taylor expansion of x.im in x.im 1.986 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.986 * [taylor]: Taking taylor expansion of x.re in x.im 1.986 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 1.986 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.986 * [taylor]: Taking taylor expansion of x.im in x.im 1.986 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.986 * [taylor]: Taking taylor expansion of x.re in x.im 1.987 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.987 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.987 * [taylor]: Taking taylor expansion of x.re in x.re 1.988 * [taylor]: Taking taylor expansion of 0 in x.re 1.990 * [taylor]: Taking taylor expansion of 0 in x.re 1.993 * [taylor]: Taking taylor expansion of 0 in x.re 1.997 * [taylor]: Taking taylor expansion of 0 in x.re 1.997 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.im x.re) around 0 1.997 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 1.997 * [taylor]: Taking taylor expansion of -1 in x.re 1.997 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 1.997 * [taylor]: Taking taylor expansion of x.im in x.re 1.997 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.997 * [taylor]: Taking taylor expansion of x.re in x.re 1.998 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 1.998 * [taylor]: Taking taylor expansion of -1 in x.im 1.998 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.998 * [taylor]: Taking taylor expansion of x.im in x.im 1.998 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.998 * [taylor]: Taking taylor expansion of x.re in x.im 1.998 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 1.998 * [taylor]: Taking taylor expansion of -1 in x.im 1.998 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 1.998 * [taylor]: Taking taylor expansion of x.im in x.im 1.998 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.998 * [taylor]: Taking taylor expansion of x.re in x.im 1.999 * [taylor]: Taking taylor expansion of (/ -1 (pow x.re 2)) in x.re 1.999 * [taylor]: Taking taylor expansion of -1 in x.re 1.999 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.999 * [taylor]: Taking taylor expansion of x.re in x.re 2.000 * [taylor]: Taking taylor expansion of 0 in x.re 2.003 * [taylor]: Taking taylor expansion of 0 in x.re 2.006 * [taylor]: Taking taylor expansion of 0 in x.re 2.009 * [taylor]: Taking taylor expansion of 0 in x.re 2.009 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.010 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.010 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.010 * [taylor]: Taking taylor expansion of 3 in x.re 2.010 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.010 * [taylor]: Taking taylor expansion of x.im in x.re 2.010 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.010 * [taylor]: Taking taylor expansion of x.re in x.re 2.010 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.010 * [taylor]: Taking taylor expansion of 3 in x.im 2.010 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.010 * [taylor]: Taking taylor expansion of x.im in x.im 2.010 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.010 * [taylor]: Taking taylor expansion of x.re in x.im 2.010 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.010 * [taylor]: Taking taylor expansion of 3 in x.im 2.010 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.010 * [taylor]: Taking taylor expansion of x.im in x.im 2.010 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.010 * [taylor]: Taking taylor expansion of x.re in x.im 2.010 * [taylor]: Taking taylor expansion of 0 in x.re 2.011 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 2.011 * [taylor]: Taking taylor expansion of 3 in x.re 2.011 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.011 * [taylor]: Taking taylor expansion of x.re in x.re 2.013 * [taylor]: Taking taylor expansion of 0 in x.re 2.016 * [taylor]: Taking taylor expansion of 0 in x.re 2.016 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.016 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 2.016 * [taylor]: Taking taylor expansion of 3 in x.re 2.016 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.016 * [taylor]: Taking taylor expansion of x.im in x.re 2.016 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.016 * [taylor]: Taking taylor expansion of x.re in x.re 2.016 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 2.017 * [taylor]: Taking taylor expansion of 3 in x.im 2.017 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.017 * [taylor]: Taking taylor expansion of x.im in x.im 2.017 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.017 * [taylor]: Taking taylor expansion of x.re in x.im 2.017 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 2.017 * [taylor]: Taking taylor expansion of 3 in x.im 2.017 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.017 * [taylor]: Taking taylor expansion of x.im in x.im 2.017 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.017 * [taylor]: Taking taylor expansion of x.re in x.im 2.018 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re 2.018 * [taylor]: Taking taylor expansion of 3 in x.re 2.018 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.018 * [taylor]: Taking taylor expansion of x.re in x.re 2.019 * [taylor]: Taking taylor expansion of 0 in x.re 2.022 * [taylor]: Taking taylor expansion of 0 in x.re 2.025 * [taylor]: Taking taylor expansion of 0 in x.re 2.028 * [taylor]: Taking taylor expansion of 0 in x.re 2.029 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.029 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.029 * [taylor]: Taking taylor expansion of -3 in x.re 2.029 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.029 * [taylor]: Taking taylor expansion of x.im in x.re 2.029 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.029 * [taylor]: Taking taylor expansion of x.re in x.re 2.029 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.029 * [taylor]: Taking taylor expansion of -3 in x.im 2.029 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.029 * [taylor]: Taking taylor expansion of x.im in x.im 2.029 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.029 * [taylor]: Taking taylor expansion of x.re in x.im 2.030 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.030 * [taylor]: Taking taylor expansion of -3 in x.im 2.030 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.030 * [taylor]: Taking taylor expansion of x.im in x.im 2.030 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.030 * [taylor]: Taking taylor expansion of x.re in x.im 2.030 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re 2.030 * [taylor]: Taking taylor expansion of -3 in x.re 2.030 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.031 * [taylor]: Taking taylor expansion of x.re in x.re 2.032 * [taylor]: Taking taylor expansion of 0 in x.re 2.034 * [taylor]: Taking taylor expansion of 0 in x.re 2.037 * [taylor]: Taking taylor expansion of 0 in x.re 2.041 * [taylor]: Taking taylor expansion of 0 in x.re 2.041 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.041 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.im x.re) around 0 2.041 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.042 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.042 * [taylor]: Taking taylor expansion of 3 in x.re 2.042 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.042 * [taylor]: Taking taylor expansion of x.im in x.re 2.042 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.042 * [taylor]: Taking taylor expansion of x.re in x.re 2.042 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.042 * [taylor]: Taking taylor expansion of x.im in x.re 2.042 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.042 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.042 * [taylor]: Taking taylor expansion of 3 in x.im 2.042 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.042 * [taylor]: Taking taylor expansion of x.im in x.im 2.042 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.042 * [taylor]: Taking taylor expansion of x.re in x.im 2.042 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.042 * [taylor]: Taking taylor expansion of x.im in x.im 2.042 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.042 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.042 * [taylor]: Taking taylor expansion of 3 in x.im 2.042 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.044 * [taylor]: Taking taylor expansion of x.im in x.im 2.044 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.044 * [taylor]: Taking taylor expansion of x.re in x.im 2.044 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.044 * [taylor]: Taking taylor expansion of x.im in x.im 2.045 * [taylor]: Taking taylor expansion of 0 in x.re 2.046 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 2.046 * [taylor]: Taking taylor expansion of 3 in x.re 2.046 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.046 * [taylor]: Taking taylor expansion of x.re in x.re 2.048 * [taylor]: Taking taylor expansion of 0 in x.re 2.051 * [taylor]: Taking taylor expansion of -1 in x.re 2.055 * [taylor]: Taking taylor expansion of 0 in x.re 2.056 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.im x.re) around 0 2.056 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.056 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.056 * [taylor]: Taking taylor expansion of 3 in x.re 2.056 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.056 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.056 * [taylor]: Taking taylor expansion of x.im in x.re 2.056 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.056 * [taylor]: Taking taylor expansion of x.re in x.re 2.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.057 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.057 * [taylor]: Taking taylor expansion of x.im in x.re 2.057 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.057 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.057 * [taylor]: Taking taylor expansion of 3 in x.im 2.057 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.057 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.057 * [taylor]: Taking taylor expansion of x.im in x.im 2.057 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.057 * [taylor]: Taking taylor expansion of x.re in x.im 2.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.057 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.057 * [taylor]: Taking taylor expansion of x.im in x.im 2.058 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.058 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.058 * [taylor]: Taking taylor expansion of 3 in x.im 2.058 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.058 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.058 * [taylor]: Taking taylor expansion of x.im in x.im 2.058 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.058 * [taylor]: Taking taylor expansion of x.re 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.060 * [taylor]: Taking taylor expansion of -1 in x.re 2.061 * [taylor]: Taking taylor expansion of 0 in x.re 2.063 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 2.063 * [taylor]: Taking taylor expansion of 3 in x.re 2.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.063 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.063 * [taylor]: Taking taylor expansion of x.re in x.re 2.067 * [taylor]: Taking taylor expansion of 0 in x.re 2.073 * [taylor]: Taking taylor expansion of 0 in x.re 2.075 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.im x.re) around 0 2.075 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.075 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.075 * [taylor]: Taking taylor expansion of x.im in x.re 2.075 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.075 * [taylor]: Taking taylor expansion of 3 in x.re 2.075 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.075 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.075 * [taylor]: Taking taylor expansion of x.im in x.re 2.075 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.075 * [taylor]: Taking taylor expansion of x.re in x.re 2.075 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.075 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.075 * [taylor]: Taking taylor expansion of x.im in x.im 2.076 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.076 * [taylor]: Taking taylor expansion of 3 in x.im 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.076 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.076 * [taylor]: Taking taylor expansion of x.im in x.im 2.076 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.076 * [taylor]: Taking taylor expansion of x.re in x.im 2.077 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.077 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.077 * [taylor]: Taking taylor expansion of x.im in x.im 2.077 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.077 * [taylor]: Taking taylor expansion of 3 in x.im 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.078 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.078 * [taylor]: Taking taylor expansion of x.im in x.im 2.078 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.078 * [taylor]: Taking taylor expansion of x.re in x.im 2.078 * [taylor]: Taking taylor expansion of 1 in x.re 2.080 * [taylor]: Taking taylor expansion of 0 in x.re 2.082 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2)))) in x.re 2.082 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 2.082 * [taylor]: Taking taylor expansion of 3 in x.re 2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.082 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.082 * [taylor]: Taking taylor expansion of x.re in x.re 2.086 * [taylor]: Taking taylor expansion of 0 in x.re 2.091 * [taylor]: Taking taylor expansion of 0 in x.re 2.094 * * * [progress]: simplifying candidates 2.095 * [simplify]: Simplifying using # : (expm1 (* x.im (* x.re x.re))) (log1p (* x.im (* x.re x.re))) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (+ (log x.im) (+ (log x.re) (log x.re))) (+ (log x.im) (log (* x.re x.re))) (log (* x.im (* x.re x.re))) (exp (* x.im (* x.re x.re))) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.re x.re) x.re))) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) (* x.re x.re)) (* x.re x.re))) (* (cbrt (* x.im (* x.re x.re))) (cbrt (* x.im (* x.re x.re)))) (cbrt (* x.im (* x.re x.re))) (* (* (* x.im (* x.re x.re)) (* x.im (* x.re x.re))) (* x.im (* x.re x.re))) (sqrt (* x.im (* x.re x.re))) (sqrt (* x.im (* x.re x.re))) (* (sqrt x.im) x.re) (* (sqrt x.im) x.re) (* x.im x.re) (* (cbrt x.im) (* x.re x.re)) (* (sqrt x.im) (* x.re x.re)) (* x.im (* x.re x.re)) (expm1 (* 3 (* x.im (* x.re x.re)))) (log1p (* 3 (* x.im (* x.re x.re)))) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (+ (log 3) (+ (log x.im) (+ (log x.re) (log x.re)))) (+ (log 3) (+ (log x.im) (log (* x.re x.re)))) (+ (log 3) (log (* x.im (* x.re x.re)))) (log (* 3 (* x.im (* x.re x.re)))) (exp (* 3 (* x.im (* x.re x.re)))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.re x.re) x.re)))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) (* x.re x.re)) (* x.re x.re)))) (* (* (* 3 3) 3) (* (* (* x.im (* x.re x.re)) (* x.im (* x.re x.re))) (* x.im (* x.re x.re)))) (* (cbrt (* 3 (* x.im (* x.re x.re)))) (cbrt (* 3 (* x.im (* x.re x.re))))) (cbrt (* 3 (* x.im (* x.re x.re)))) (* (* (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re)))) (* 3 (* x.im (* x.re x.re)))) (sqrt (* 3 (* x.im (* x.re x.re)))) (sqrt (* 3 (* x.im (* x.re x.re)))) (* 3 x.im) (* (cbrt 3) (* x.im (* x.re x.re))) (* (sqrt 3) (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (fma 3 (* x.im (* x.re 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.im (* x.re 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.im (* x.re 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.im (* x.re x.re)) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma 3 (* x.im (* x.re 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.im (* x.re 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.im (* x.re 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.im (* x.re 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.im (* x.re x.re)) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma 3 (* x.im (* x.re 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.im (* x.re x.re)) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma 3 (* x.im (* x.re 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.im (* x.re x.re))) (pow x.im 3))) (log1p (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* 3 (* x.im (* x.re x.re)))) (exp (pow x.im 3))) (log (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (exp (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (* (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3)))) (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (* (* (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3)) (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (sqrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (sqrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (- (pow (* 3 (* x.im (* x.re x.re))) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re)))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* x.im (* x.re x.re))) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re)))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* x.im (* x.re 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.098 * * [simplify]: iteration 0 : 139 enodes (cost 1146 ) 2.132 * * [simplify]: iteration 1 : 320 enodes (cost 899 ) 2.232 * * [simplify]: iteration 2 : 1321 enodes (cost 774 ) 2.673 * * [simplify]: iteration done : 5000 enodes (cost 774 ) 2.673 * [simplify]: Simplified to: (expm1 (* x.im (* x.re x.re))) (log1p (* x.im (* x.re x.re))) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (log (* x.im (* x.re x.re))) (log (* x.im (* x.re x.re))) (log (* x.im (* x.re x.re))) (exp (* x.im (* x.re x.re))) (pow (* x.im (* x.re x.re)) 3) (pow (* x.im (* x.re x.re)) 3) (* (cbrt (* x.im (* x.re x.re))) (cbrt (* x.im (* x.re x.re)))) (cbrt (* x.im (* x.re x.re))) (pow (* x.im (* x.re x.re)) 3) (sqrt (* x.im (* x.re x.re))) (sqrt (* x.im (* x.re x.re))) (* (sqrt x.im) x.re) (* (sqrt x.im) x.re) (* x.im x.re) (* (cbrt x.im) (* x.re x.re)) (* (sqrt x.im) (* x.re x.re)) (* x.im (* x.re x.re)) (expm1 (* 3 (* x.im (* x.re x.re)))) (log1p (* 3 (* x.im (* x.re x.re)))) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (log (* 3 (* x.im (* x.re x.re)))) (log (* 3 (* x.im (* x.re x.re)))) (log (* 3 (* x.im (* x.re x.re)))) (log (* 3 (* x.im (* x.re x.re)))) (exp (* 3 (* x.im (* x.re x.re)))) (pow (* 3 (* x.im (* x.re x.re))) 3) (pow (* 3 (* x.im (* x.re x.re))) 3) (pow (* 3 (* x.im (* x.re x.re))) 3) (* (cbrt (* 3 (* x.im (* x.re x.re)))) (cbrt (* 3 (* x.im (* x.re x.re))))) (cbrt (* 3 (* x.im (* x.re x.re)))) (pow (* 3 (* x.im (* x.re x.re))) 3) (sqrt (* 3 (* x.im (* x.re x.re)))) (sqrt (* 3 (* x.im (* x.re x.re)))) (* 3 x.im) (* (cbrt 3) (* x.im (* x.re x.re))) (* (sqrt 3) (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (log1p (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (- (pow x.im 3)) (exp (fma 3 (* x.im (pow x.re 2)) (- (pow x.im 3)))) (log (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (exp (fma 3 (* x.im (pow x.re 2)) (- (pow x.im 3)))) (* (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3)))) (cbrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (pow (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) 3) (sqrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (sqrt (- (* 3 (* x.im (* x.re x.re))) (pow x.im 3))) (- (pow (* 3 (* x.im (* x.re x.re))) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)) (* 9 (* (* x.im x.im) (pow x.re 4)))) (- (pow x.im 3)) (fma 9 (* (* x.im x.im) (pow x.re 4)) (- (pow x.im 6))) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)) (- (pow x.im 3)) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (* 3 (* x.im (* x.re x.re))) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) (fma (* 3 x.im) (* x.re x.re) (- (pow x.im 3))) 2.678 * * * [progress]: adding candidates to table 2.796 * * [progress]: iteration 2 / 4 2.796 * * * [progress]: picking best candidate 2.807 * * * * [pick]: Picked # 2.807 * * * [progress]: localizing error 2.814 * * * [progress]: generating rewritten candidates 2.814 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 2.821 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.838 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.863 * * * [progress]: generating series expansions 2.863 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 2.863 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.im x.re) around 0 2.863 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.863 * [taylor]: Taking taylor expansion of x.im in x.re 2.863 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.863 * [taylor]: Taking taylor expansion of x.re in x.re 2.863 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.863 * [taylor]: Taking taylor expansion of x.im in x.im 2.863 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.863 * [taylor]: Taking taylor expansion of x.re in x.im 2.863 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.863 * [taylor]: Taking taylor expansion of x.im in x.im 2.863 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.863 * [taylor]: Taking taylor expansion of x.re in x.im 2.863 * [taylor]: Taking taylor expansion of 0 in x.re 2.864 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.864 * [taylor]: Taking taylor expansion of x.re in x.re 2.865 * [taylor]: Taking taylor expansion of 0 in x.re 2.867 * [taylor]: Taking taylor expansion of 0 in x.re 2.867 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.867 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.867 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.867 * [taylor]: Taking taylor expansion of x.im in x.re 2.867 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.867 * [taylor]: Taking taylor expansion of x.re in x.re 2.867 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.867 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.867 * [taylor]: Taking taylor expansion of x.im in x.im 2.868 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.868 * [taylor]: Taking taylor expansion of x.re in x.im 2.868 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.868 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.868 * [taylor]: Taking taylor expansion of x.im in x.im 2.868 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.868 * [taylor]: Taking taylor expansion of x.re in x.im 2.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.869 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.869 * [taylor]: Taking taylor expansion of x.re in x.re 2.870 * [taylor]: Taking taylor expansion of 0 in x.re 2.872 * [taylor]: Taking taylor expansion of 0 in x.re 2.875 * [taylor]: Taking taylor expansion of 0 in x.re 2.879 * [taylor]: Taking taylor expansion of 0 in x.re 2.879 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.879 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 2.879 * [taylor]: Taking taylor expansion of -1 in x.re 2.879 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.879 * [taylor]: Taking taylor expansion of x.im in x.re 2.879 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.879 * [taylor]: Taking taylor expansion of x.re in x.re 2.879 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 2.880 * [taylor]: Taking taylor expansion of -1 in x.im 2.880 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.880 * [taylor]: Taking taylor expansion of x.im in x.im 2.880 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.880 * [taylor]: Taking taylor expansion of x.re in x.im 2.880 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 2.880 * [taylor]: Taking taylor expansion of -1 in x.im 2.880 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.880 * [taylor]: Taking taylor expansion of x.im in x.im 2.880 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.880 * [taylor]: Taking taylor expansion of x.re in x.im 2.881 * [taylor]: Taking taylor expansion of (/ -1 (pow x.re 2)) in x.re 2.881 * [taylor]: Taking taylor expansion of -1 in x.re 2.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.881 * [taylor]: Taking taylor expansion of x.re in x.re 2.882 * [taylor]: Taking taylor expansion of 0 in x.re 2.885 * [taylor]: Taking taylor expansion of 0 in x.re 2.888 * [taylor]: Taking taylor expansion of 0 in x.re 2.892 * [taylor]: Taking taylor expansion of 0 in x.re 2.892 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.892 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.892 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.892 * [taylor]: Taking taylor expansion of 3 in x.re 2.892 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.892 * [taylor]: Taking taylor expansion of x.im in x.re 2.892 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.892 * [taylor]: Taking taylor expansion of x.re in x.re 2.892 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.892 * [taylor]: Taking taylor expansion of 3 in x.im 2.892 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.892 * [taylor]: Taking taylor expansion of x.im in x.im 2.892 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.892 * [taylor]: Taking taylor expansion of x.re in x.im 2.892 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.892 * [taylor]: Taking taylor expansion of 3 in x.im 2.892 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.892 * [taylor]: Taking taylor expansion of x.im in x.im 2.892 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.892 * [taylor]: Taking taylor expansion of x.re in x.im 2.893 * [taylor]: Taking taylor expansion of 0 in x.re 2.894 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 2.894 * [taylor]: Taking taylor expansion of 3 in x.re 2.894 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.894 * [taylor]: Taking taylor expansion of x.re in x.re 2.895 * [taylor]: Taking taylor expansion of 0 in x.re 2.898 * [taylor]: Taking taylor expansion of 0 in x.re 2.898 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.898 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 2.898 * [taylor]: Taking taylor expansion of 3 in x.re 2.899 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.899 * [taylor]: Taking taylor expansion of x.im in x.re 2.899 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.899 * [taylor]: Taking taylor expansion of x.re in x.re 2.899 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 2.899 * [taylor]: Taking taylor expansion of 3 in x.im 2.899 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.899 * [taylor]: Taking taylor expansion of x.im in x.im 2.899 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.899 * [taylor]: Taking taylor expansion of x.re in x.im 2.899 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 2.899 * [taylor]: Taking taylor expansion of 3 in x.im 2.899 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.900 * [taylor]: Taking taylor expansion of x.im in x.im 2.900 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.900 * [taylor]: Taking taylor expansion of x.re in x.im 2.900 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re 2.900 * [taylor]: Taking taylor expansion of 3 in x.re 2.900 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.900 * [taylor]: Taking taylor expansion of x.re in x.re 2.902 * [taylor]: Taking taylor expansion of 0 in x.re 2.904 * [taylor]: Taking taylor expansion of 0 in x.re 2.907 * [taylor]: Taking taylor expansion of 0 in x.re 2.911 * [taylor]: Taking taylor expansion of 0 in x.re 2.911 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 2.911 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.911 * [taylor]: Taking taylor expansion of -3 in x.re 2.911 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.911 * [taylor]: Taking taylor expansion of x.im in x.re 2.911 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.911 * [taylor]: Taking taylor expansion of x.re in x.re 2.911 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.911 * [taylor]: Taking taylor expansion of -3 in x.im 2.911 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.911 * [taylor]: Taking taylor expansion of x.im in x.im 2.911 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.911 * [taylor]: Taking taylor expansion of x.re in x.im 2.912 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.912 * [taylor]: Taking taylor expansion of -3 in x.im 2.912 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.912 * [taylor]: Taking taylor expansion of x.im in x.im 2.912 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.912 * [taylor]: Taking taylor expansion of x.re in x.im 2.913 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re 2.913 * [taylor]: Taking taylor expansion of -3 in x.re 2.913 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.913 * [taylor]: Taking taylor expansion of x.re in x.re 2.914 * [taylor]: Taking taylor expansion of 0 in x.re 2.916 * [taylor]: Taking taylor expansion of 0 in x.re 2.919 * [taylor]: Taking taylor expansion of 0 in x.re 2.923 * [taylor]: Taking taylor expansion of 0 in x.re 2.923 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.923 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.im x.re) around 0 2.923 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.923 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.923 * [taylor]: Taking taylor expansion of 3 in x.re 2.923 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.923 * [taylor]: Taking taylor expansion of x.im in x.re 2.923 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.923 * [taylor]: Taking taylor expansion of x.re in x.re 2.924 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.924 * [taylor]: Taking taylor expansion of x.im in x.re 2.924 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.924 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.924 * [taylor]: Taking taylor expansion of 3 in x.im 2.924 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.924 * [taylor]: Taking taylor expansion of x.im in x.im 2.924 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.924 * [taylor]: Taking taylor expansion of x.re in x.im 2.924 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.924 * [taylor]: Taking taylor expansion of x.im in x.im 2.924 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.924 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.924 * [taylor]: Taking taylor expansion of 3 in x.im 2.924 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.924 * [taylor]: Taking taylor expansion of x.im in x.im 2.924 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.924 * [taylor]: Taking taylor expansion of x.re in x.im 2.924 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.924 * [taylor]: Taking taylor expansion of x.im in x.im 2.924 * [taylor]: Taking taylor expansion of 0 in x.re 2.925 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 2.925 * [taylor]: Taking taylor expansion of 3 in x.re 2.925 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.925 * [taylor]: Taking taylor expansion of x.re in x.re 2.927 * [taylor]: Taking taylor expansion of 0 in x.re 2.930 * [taylor]: Taking taylor expansion of -1 in x.re 2.934 * [taylor]: Taking taylor expansion of 0 in x.re 2.935 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.im x.re) around 0 2.935 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.935 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.935 * [taylor]: Taking taylor expansion of 3 in x.re 2.935 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.935 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.935 * [taylor]: Taking taylor expansion of x.im in x.re 2.935 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.935 * [taylor]: Taking taylor expansion of x.re in x.re 2.936 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.936 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.936 * [taylor]: Taking taylor expansion of x.im in x.re 2.936 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.936 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.936 * [taylor]: Taking taylor expansion of 3 in x.im 2.936 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.936 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.936 * [taylor]: Taking taylor expansion of x.im in x.im 2.936 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.936 * [taylor]: Taking taylor expansion of x.re in x.im 2.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.939 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.939 * [taylor]: Taking taylor expansion of x.im in x.im 2.940 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.940 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.940 * [taylor]: Taking taylor expansion of 3 in x.im 2.940 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.940 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.940 * [taylor]: Taking taylor expansion of x.im in x.im 2.940 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.940 * [taylor]: Taking taylor expansion of x.re in x.im 2.941 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.941 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.941 * [taylor]: Taking taylor expansion of x.im in x.im 2.942 * [taylor]: Taking taylor expansion of -1 in x.re 2.944 * [taylor]: Taking taylor expansion of 0 in x.re 2.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 2.946 * [taylor]: Taking taylor expansion of 3 in x.re 2.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.946 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.946 * [taylor]: Taking taylor expansion of x.re in x.re 2.950 * [taylor]: Taking taylor expansion of 0 in x.re 2.955 * [taylor]: Taking taylor expansion of 0 in x.re 2.957 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.im x.re) around 0 2.957 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.957 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.957 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.957 * [taylor]: Taking taylor expansion of x.im in x.re 2.957 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.957 * [taylor]: Taking taylor expansion of 3 in x.re 2.957 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.957 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.957 * [taylor]: Taking taylor expansion of x.im in x.re 2.957 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.957 * [taylor]: Taking taylor expansion of x.re in x.re 2.958 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.958 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.958 * [taylor]: Taking taylor expansion of x.im in x.im 2.958 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.958 * [taylor]: Taking taylor expansion of 3 in x.im 2.958 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.958 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.958 * [taylor]: Taking taylor expansion of x.im in x.im 2.958 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.958 * [taylor]: Taking taylor expansion of x.re in x.im 2.959 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.959 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.959 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.959 * [taylor]: Taking taylor expansion of x.im in x.im 2.960 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.960 * [taylor]: Taking taylor expansion of 3 in x.im 2.960 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.960 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.960 * [taylor]: Taking taylor expansion of x.im in x.im 2.960 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.960 * [taylor]: Taking taylor expansion of x.re in x.im 2.961 * [taylor]: Taking taylor expansion of 1 in x.re 2.962 * [taylor]: Taking taylor expansion of 0 in x.re 2.964 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2)))) in x.re 2.964 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 2.964 * [taylor]: Taking taylor expansion of 3 in x.re 2.964 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.964 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.964 * [taylor]: Taking taylor expansion of x.re in x.re 2.968 * [taylor]: Taking taylor expansion of 0 in x.re 2.973 * [taylor]: Taking taylor expansion of 0 in x.re 2.975 * * * [progress]: simplifying candidates 2.976 * [simplify]: Simplifying using # : (expm1 (* (* x.im x.re) x.re)) (log1p (* (* x.im x.re) x.re)) (* (* x.im x.re) x.re) (* (* x.im x.re) x.re) (+ (+ (log x.im) (log x.re)) (log x.re)) (+ (log (* x.im x.re)) (log x.re)) (log (* (* x.im x.re) x.re)) (exp (* (* x.im x.re) x.re)) (* (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re)) (* (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.im x.re) x.re)) (cbrt (* (* x.im x.re) x.re))) (cbrt (* (* x.im x.re) x.re)) (* (* (* (* x.im x.re) x.re) (* (* x.im x.re) x.re)) (* (* x.im x.re) x.re)) (sqrt (* (* x.im x.re) x.re)) (sqrt (* (* x.im x.re) x.re)) (* (* x.im x.re) (* (cbrt x.re) (cbrt x.re))) (* (* x.im x.re) (sqrt x.re)) (* (* x.im x.re) 1) (* x.re x.re) (expm1 (* 3 (* (* x.im x.re) x.re))) (log1p (* 3 (* (* x.im x.re) x.re))) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (+ (log 3) (+ (+ (log x.im) (log x.re)) (log x.re))) (+ (log 3) (+ (log (* x.im x.re)) (log x.re))) (+ (log 3) (log (* (* x.im x.re) x.re))) (log (* 3 (* (* x.im x.re) x.re))) (exp (* 3 (* (* x.im x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.im x.re) x.re) (* (* x.im x.re) x.re)) (* (* x.im x.re) x.re))) (* (cbrt (* 3 (* (* x.im x.re) x.re))) (cbrt (* 3 (* (* x.im x.re) x.re)))) (cbrt (* 3 (* (* x.im x.re) x.re))) (* (* (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re))) (* 3 (* (* x.im x.re) x.re))) (sqrt (* 3 (* (* x.im x.re) x.re))) (sqrt (* 3 (* (* x.im x.re) x.re))) (* 3 (* x.im x.re)) (* (cbrt 3) (* (* x.im x.re) x.re)) (* (sqrt 3) (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (fma 3 (* (* x.im x.re) 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.im x.re) 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.im x.re) 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.im x.re) x.re) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma 3 (* (* x.im x.re) 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.im x.re) 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.im x.re) 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.im x.re) 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.im x.re) x.re) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma 3 (* (* x.im x.re) 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.im x.re) x.re) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma 3 (* (* x.im x.re) 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.im x.re) x.re)) (pow x.im 3))) (log1p (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* 3 (* (* x.im x.re) x.re))) (exp (pow x.im 3))) (log (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (* (* (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3)) (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.im x.re) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* (* x.im x.re) x.re)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* (* x.im x.re) 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.980 * * [simplify]: iteration 0 : 142 enodes (cost 1143 ) 3.014 * * [simplify]: iteration 1 : 339 enodes (cost 904 ) 3.157 * * [simplify]: iteration 2 : 1492 enodes (cost 773 ) 3.671 * * [simplify]: iteration done : 5001 enodes (cost 773 ) 3.671 * [simplify]: Simplified to: (expm1 (* (* x.im x.re) x.re)) (log1p (* (* x.im x.re) x.re)) (* (* x.im x.re) x.re) (* (* x.im x.re) x.re) (log (* (* x.im x.re) x.re)) (log (* (* x.im x.re) x.re)) (log (* (* x.im x.re) x.re)) (exp (* (* x.im x.re) x.re)) (pow (* (* x.im x.re) x.re) 3) (pow (* (* x.im x.re) x.re) 3) (* (cbrt (* (* x.im x.re) x.re)) (cbrt (* (* x.im x.re) x.re))) (cbrt (* (* x.im x.re) x.re)) (pow (* (* x.im x.re) x.re) 3) (sqrt (* (* x.im x.re) x.re)) (sqrt (* (* x.im x.re) x.re)) (* (* x.im x.re) (* (cbrt x.re) (cbrt x.re))) (* (* x.im x.re) (sqrt x.re)) (* x.im x.re) (* x.re x.re) (expm1 (* 3 (* (* x.im x.re) x.re))) (log1p (* 3 (* (* x.im x.re) x.re))) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (log (* 3 (* (* x.im x.re) x.re))) (log (* 3 (* (* x.im x.re) x.re))) (log (* 3 (* (* x.im x.re) x.re))) (log (* 3 (* (* x.im x.re) x.re))) (exp (* 3 (* (* x.im x.re) x.re))) (* (pow (* (* x.im x.re) x.re) 3) 27) (* (pow (* (* x.im x.re) x.re) 3) 27) (* (pow (* (* x.im x.re) x.re) 3) 27) (* (cbrt (* 3 (* (* x.im x.re) x.re))) (cbrt (* 3 (* (* x.im x.re) x.re)))) (cbrt (* 3 (* (* x.im x.re) x.re))) (* (pow (* (* x.im x.re) x.re) 3) 27) (sqrt (* 3 (* (* x.im x.re) x.re))) (sqrt (* 3 (* (* x.im x.re) x.re))) (* 3 (* x.im x.re)) (* (cbrt 3) (* (* x.im x.re) x.re)) (* (sqrt 3) (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (log1p (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (- (pow x.im 3)) (exp (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (log (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (pow (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) 3) (sqrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.im x.re) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.im x.re) x.re)) 3) (pow (pow x.im 3) 3)) (fma 9 (* (* (* x.im x.re) x.im) (pow x.re 3)) (* (pow x.im 3) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)))) (- (pow x.im 3)) (fma 9 (* (* (* x.im x.re) x.im) (pow x.re 3)) (- (pow x.im 6))) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)) (- (pow x.im 3)) (* (* x.im x.re) x.re) (* (* x.im x.re) x.re) (* (* x.im x.re) x.re) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (* 3 (* (* x.im x.re) x.re)) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) 3.672 * * * [progress]: adding candidates to table 3.785 * * [progress]: iteration 3 / 4 3.785 * * * [progress]: picking best candidate 3.798 * * * * [pick]: Picked # 3.798 * * * [progress]: localizing error 3.805 * * * [progress]: generating rewritten candidates 3.805 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 3.811 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.831 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.855 * * * [progress]: generating series expansions 3.855 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 3.855 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 3.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 3.855 * [taylor]: Taking taylor expansion of 3 in x.re 3.855 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.855 * [taylor]: Taking taylor expansion of x.im in x.re 3.855 * [taylor]: Taking taylor expansion of x.re in x.re 3.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 3.855 * [taylor]: Taking taylor expansion of 3 in x.im 3.855 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.855 * [taylor]: Taking taylor expansion of x.im in x.im 3.855 * [taylor]: Taking taylor expansion of x.re in x.im 3.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 3.855 * [taylor]: Taking taylor expansion of 3 in x.im 3.855 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.855 * [taylor]: Taking taylor expansion of x.im in x.im 3.855 * [taylor]: Taking taylor expansion of x.re in x.im 3.856 * [taylor]: Taking taylor expansion of 0 in x.re 3.856 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 3.856 * [taylor]: Taking taylor expansion of 3 in x.re 3.856 * [taylor]: Taking taylor expansion of x.re in x.re 3.857 * [taylor]: Taking taylor expansion of 0 in x.re 3.859 * [taylor]: Taking taylor expansion of 0 in x.re 3.862 * [taylor]: Taking taylor expansion of 0 in x.re 3.862 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 3.862 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.862 * [taylor]: Taking taylor expansion of 3 in x.re 3.862 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.862 * [taylor]: Taking taylor expansion of x.im in x.re 3.862 * [taylor]: Taking taylor expansion of x.re in x.re 3.862 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.862 * [taylor]: Taking taylor expansion of 3 in x.im 3.862 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.862 * [taylor]: Taking taylor expansion of x.im in x.im 3.862 * [taylor]: Taking taylor expansion of x.re in x.im 3.863 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.863 * [taylor]: Taking taylor expansion of 3 in x.im 3.863 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.863 * [taylor]: Taking taylor expansion of x.im in x.im 3.863 * [taylor]: Taking taylor expansion of x.re in x.im 3.863 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 3.863 * [taylor]: Taking taylor expansion of 3 in x.re 3.863 * [taylor]: Taking taylor expansion of x.re in x.re 3.865 * [taylor]: Taking taylor expansion of 0 in x.re 3.866 * [taylor]: Taking taylor expansion of 0 in x.re 3.868 * [taylor]: Taking taylor expansion of 0 in x.re 3.868 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 3.868 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.868 * [taylor]: Taking taylor expansion of 3 in x.re 3.868 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.868 * [taylor]: Taking taylor expansion of x.im in x.re 3.868 * [taylor]: Taking taylor expansion of x.re in x.re 3.869 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.869 * [taylor]: Taking taylor expansion of 3 in x.im 3.869 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.869 * [taylor]: Taking taylor expansion of x.im in x.im 3.869 * [taylor]: Taking taylor expansion of x.re in x.im 3.869 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.869 * [taylor]: Taking taylor expansion of 3 in x.im 3.869 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.869 * [taylor]: Taking taylor expansion of x.im in x.im 3.869 * [taylor]: Taking taylor expansion of x.re in x.im 3.869 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 3.869 * [taylor]: Taking taylor expansion of 3 in x.re 3.870 * [taylor]: Taking taylor expansion of x.re in x.re 3.870 * [taylor]: Taking taylor expansion of 0 in x.re 3.872 * [taylor]: Taking taylor expansion of 0 in x.re 3.873 * [taylor]: Taking taylor expansion of 0 in x.re 3.874 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.874 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 3.874 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.874 * [taylor]: Taking taylor expansion of 3 in x.re 3.874 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.874 * [taylor]: Taking taylor expansion of x.im in x.re 3.874 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.874 * [taylor]: Taking taylor expansion of x.re in x.re 3.874 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.874 * [taylor]: Taking taylor expansion of 3 in x.im 3.874 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.874 * [taylor]: Taking taylor expansion of x.im in x.im 3.874 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.874 * [taylor]: Taking taylor expansion of x.re in x.im 3.874 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.874 * [taylor]: Taking taylor expansion of 3 in x.im 3.874 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.874 * [taylor]: Taking taylor expansion of x.im in x.im 3.874 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.874 * [taylor]: Taking taylor expansion of x.re in x.im 3.875 * [taylor]: Taking taylor expansion of 0 in x.re 3.875 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 3.875 * [taylor]: Taking taylor expansion of 3 in x.re 3.875 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.875 * [taylor]: Taking taylor expansion of x.re in x.re 3.877 * [taylor]: Taking taylor expansion of 0 in x.re 3.880 * [taylor]: Taking taylor expansion of 0 in x.re 3.880 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 3.880 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.880 * [taylor]: Taking taylor expansion of 3 in x.re 3.880 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.880 * [taylor]: Taking taylor expansion of x.im in x.re 3.880 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.880 * [taylor]: Taking taylor expansion of x.re in x.re 3.881 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.881 * [taylor]: Taking taylor expansion of 3 in x.im 3.881 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.881 * [taylor]: Taking taylor expansion of x.im in x.im 3.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.881 * [taylor]: Taking taylor expansion of x.re in x.im 3.881 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.881 * [taylor]: Taking taylor expansion of 3 in x.im 3.881 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.881 * [taylor]: Taking taylor expansion of x.im in x.im 3.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.881 * [taylor]: Taking taylor expansion of x.re in x.im 3.882 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re 3.882 * [taylor]: Taking taylor expansion of 3 in x.re 3.882 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.882 * [taylor]: Taking taylor expansion of x.re in x.re 3.883 * [taylor]: Taking taylor expansion of 0 in x.re 3.886 * [taylor]: Taking taylor expansion of 0 in x.re 3.889 * [taylor]: Taking taylor expansion of 0 in x.re 3.892 * [taylor]: Taking taylor expansion of 0 in x.re 3.893 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 3.893 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.893 * [taylor]: Taking taylor expansion of -3 in x.re 3.893 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.893 * [taylor]: Taking taylor expansion of x.im in x.re 3.893 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.893 * [taylor]: Taking taylor expansion of x.re in x.re 3.893 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.893 * [taylor]: Taking taylor expansion of -3 in x.im 3.893 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.893 * [taylor]: Taking taylor expansion of x.im in x.im 3.893 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.893 * [taylor]: Taking taylor expansion of x.re in x.im 3.893 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.894 * [taylor]: Taking taylor expansion of -3 in x.im 3.894 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.894 * [taylor]: Taking taylor expansion of x.im in x.im 3.894 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.894 * [taylor]: Taking taylor expansion of x.re in x.im 3.894 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re 3.894 * [taylor]: Taking taylor expansion of -3 in x.re 3.894 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.894 * [taylor]: Taking taylor expansion of x.re in x.re 3.896 * [taylor]: Taking taylor expansion of 0 in x.re 3.898 * [taylor]: Taking taylor expansion of 0 in x.re 3.901 * [taylor]: Taking taylor expansion of 0 in x.re 3.907 * [taylor]: Taking taylor expansion of 0 in x.re 3.908 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.908 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.im x.re) around 0 3.908 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.908 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.908 * [taylor]: Taking taylor expansion of 3 in x.re 3.908 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.908 * [taylor]: Taking taylor expansion of x.im in x.re 3.908 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.908 * [taylor]: Taking taylor expansion of x.re in x.re 3.908 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.908 * [taylor]: Taking taylor expansion of x.im in x.re 3.908 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 3.908 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.908 * [taylor]: Taking taylor expansion of 3 in x.im 3.908 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.908 * [taylor]: Taking taylor expansion of x.im in x.im 3.908 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.908 * [taylor]: Taking taylor expansion of x.re in x.im 3.908 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.908 * [taylor]: Taking taylor expansion of x.im in x.im 3.908 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 3.908 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.908 * [taylor]: Taking taylor expansion of 3 in x.im 3.908 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.908 * [taylor]: Taking taylor expansion of x.im in x.im 3.908 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.908 * [taylor]: Taking taylor expansion of x.re in x.im 3.908 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.908 * [taylor]: Taking taylor expansion of x.im in x.im 3.909 * [taylor]: Taking taylor expansion of 0 in x.re 3.910 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 3.910 * [taylor]: Taking taylor expansion of 3 in x.re 3.910 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.910 * [taylor]: Taking taylor expansion of x.re in x.re 3.911 * [taylor]: Taking taylor expansion of 0 in x.re 3.914 * [taylor]: Taking taylor expansion of -1 in x.re 3.919 * [taylor]: Taking taylor expansion of 0 in x.re 3.920 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.im x.re) around 0 3.920 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.920 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.920 * [taylor]: Taking taylor expansion of 3 in x.re 3.920 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.920 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.920 * [taylor]: Taking taylor expansion of x.im in x.re 3.920 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.920 * [taylor]: Taking taylor expansion of x.re in x.re 3.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.921 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.921 * [taylor]: Taking taylor expansion of x.im in x.re 3.921 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 3.921 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.921 * [taylor]: Taking taylor expansion of 3 in x.im 3.921 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.921 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.921 * [taylor]: Taking taylor expansion of x.im in x.im 3.921 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.921 * [taylor]: Taking taylor expansion of x.re in x.im 3.922 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.922 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.922 * [taylor]: Taking taylor expansion of x.im in x.im 3.922 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 3.922 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.922 * [taylor]: Taking taylor expansion of 3 in x.im 3.922 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.922 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.922 * [taylor]: Taking taylor expansion of x.im in x.im 3.922 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.922 * [taylor]: Taking taylor expansion of x.re in x.im 3.923 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.923 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.923 * [taylor]: Taking taylor expansion of x.im in x.im 3.924 * [taylor]: Taking taylor expansion of -1 in x.re 3.926 * [taylor]: Taking taylor expansion of 0 in x.re 3.928 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 3.928 * [taylor]: Taking taylor expansion of 3 in x.re 3.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 3.928 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.928 * [taylor]: Taking taylor expansion of x.re in x.re 3.932 * [taylor]: Taking taylor expansion of 0 in x.re 3.937 * [taylor]: Taking taylor expansion of 0 in x.re 3.939 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.im x.re) around 0 3.939 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.939 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.939 * [taylor]: Taking taylor expansion of x.im in x.re 3.939 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.939 * [taylor]: Taking taylor expansion of 3 in x.re 3.939 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.939 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.939 * [taylor]: Taking taylor expansion of x.im in x.re 3.940 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.940 * [taylor]: Taking taylor expansion of x.re in x.re 3.940 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 3.940 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.940 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.940 * [taylor]: Taking taylor expansion of x.im in x.im 3.941 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.941 * [taylor]: Taking taylor expansion of 3 in x.im 3.941 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.941 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.941 * [taylor]: Taking taylor expansion of x.im in x.im 3.941 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.941 * [taylor]: Taking taylor expansion of x.re in x.im 3.941 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 3.941 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.941 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.941 * [taylor]: Taking taylor expansion of x.im in x.im 3.942 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.942 * [taylor]: Taking taylor expansion of 3 in x.im 3.942 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.942 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.942 * [taylor]: Taking taylor expansion of x.im in x.im 3.942 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.942 * [taylor]: Taking taylor expansion of x.re in x.im 3.943 * [taylor]: Taking taylor expansion of 1 in x.re 3.944 * [taylor]: Taking taylor expansion of 0 in x.re 3.946 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2)))) in x.re 3.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 3.946 * [taylor]: Taking taylor expansion of 3 in x.re 3.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 3.946 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.946 * [taylor]: Taking taylor expansion of x.re in x.re 3.950 * [taylor]: Taking taylor expansion of 0 in x.re 3.955 * [taylor]: Taking taylor expansion of 0 in x.re 3.957 * * * [progress]: simplifying candidates 3.958 * [simplify]: Simplifying using # : (expm1 (* 3 (* x.im x.re))) (log1p (* 3 (* x.im x.re))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (+ (log 3) (+ (log x.im) (log x.re))) (+ (log 3) (log (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* 3 (* x.im x.re))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* 3 (* x.im x.re))) (cbrt (* 3 (* x.im x.re)))) (cbrt (* 3 (* x.im x.re))) (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (* 3 x.im) (* (cbrt 3) (* x.im x.re)) (* (sqrt 3) (* x.im x.re)) (* 3 (* x.im x.re)) (expm1 (* (* 3 (* x.im x.re)) x.re)) (log1p (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (+ (+ (log 3) (+ (log x.im) (log x.re))) (log x.re)) (+ (+ (log 3) (log (* x.im x.re))) (log x.re)) (+ (log (* 3 (* x.im x.re))) (log x.re)) (log (* (* 3 (* x.im x.re)) x.re)) (exp (* (* 3 (* x.im x.re)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.im x.re)) x.re)) (cbrt (* (* 3 (* x.im x.re)) x.re))) (cbrt (* (* 3 (* x.im x.re)) x.re)) (* (* (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.im x.re)) (sqrt x.re)) (* (* 3 (* x.im x.re)) 1) (* (* x.im x.re) x.re) (fma (* 3 (* x.im x.re)) 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.im x.re)) 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.im x.re)) 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.im x.re)) x.re (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* 3 (* x.im x.re)) 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.im x.re)) 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.im x.re)) 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.im x.re)) 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.im x.re)) x.re (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* 3 (* x.im x.re)) 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.im x.re)) x.re (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* 3 (* x.im x.re)) 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.im x.re)) x.re) (pow x.im 3))) (log1p (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* 3 (* x.im x.re)) x.re)) (exp (pow x.im 3))) (log (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (* (* (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)) (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.im x.re)) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 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)) 3.962 * * [simplify]: iteration 0 : 143 enodes (cost 1143 ) 3.998 * * [simplify]: iteration 1 : 339 enodes (cost 898 ) 4.122 * * [simplify]: iteration 2 : 1560 enodes (cost 773 ) 4.677 * * [simplify]: iteration done : 5000 enodes (cost 773 ) 4.678 * [simplify]: Simplified to: (expm1 (* 3 (* x.im x.re))) (log1p (* 3 (* x.im x.re))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* 3 (* x.im x.re))) (pow (* 3 (* x.im x.re)) 3) (pow (* 3 (* x.im x.re)) 3) (* (cbrt (* 3 (* x.im x.re))) (cbrt (* 3 (* x.im x.re)))) (cbrt (* 3 (* x.im x.re))) (pow (* 3 (* x.im x.re)) 3) (sqrt (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (* 3 x.im) (* (cbrt 3) (* x.im x.re)) (* (sqrt 3) (* x.im x.re)) (* 3 (* x.im x.re)) (expm1 (* (* 3 (* x.im x.re)) x.re)) (log1p (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (log (* (* 3 (* x.im x.re)) x.re)) (log (* (* 3 (* x.im x.re)) x.re)) (log (* (* 3 (* x.im x.re)) x.re)) (log (* (* 3 (* x.im x.re)) x.re)) (exp (* (* 3 (* x.im x.re)) x.re)) (pow (* (* 3 (* x.im x.re)) x.re) 3) (pow (* (* 3 (* x.im x.re)) x.re) 3) (pow (* (* 3 (* x.im x.re)) x.re) 3) (* (cbrt (* (* 3 (* x.im x.re)) x.re)) (cbrt (* (* 3 (* x.im x.re)) x.re))) (cbrt (* (* 3 (* x.im x.re)) x.re)) (pow (* (* 3 (* x.im x.re)) x.re) 3) (sqrt (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.im x.re)) (sqrt x.re)) (* 3 (* x.im x.re)) (* (* x.im x.re) x.re) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (log1p (- (* (* 3 (* x.im x.re)) 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.im x.re)) x.re) (pow x.im 3))) (exp (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3)))) (* (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (pow (fma (* 3 (* x.im x.re)) x.re (- (pow x.im 3))) 3) (sqrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.im x.re)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.im x.re)) 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)) (* (* (* x.im x.re) 9) (* x.im (pow x.re 3)))) (- (pow x.im 3)) (- (* (* (* x.im x.re) 9) (* 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 x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) (fma 3 (* (* x.im x.re) x.re) (- (pow x.im 3))) 4.678 * * * [progress]: adding candidates to table 4.788 * * [progress]: iteration 4 / 4 4.789 * * * [progress]: picking best candidate 4.799 * * * * [pick]: Picked # 4.799 * * * [progress]: localizing error 4.806 * * * [progress]: generating rewritten candidates 4.806 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 4.813 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 4.836 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.862 * * * [progress]: generating series expansions 4.862 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 4.863 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 4.863 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 4.863 * [taylor]: Taking taylor expansion of 3 in x.re 4.863 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.863 * [taylor]: Taking taylor expansion of x.im in x.re 4.863 * [taylor]: Taking taylor expansion of x.re in x.re 4.863 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 4.863 * [taylor]: Taking taylor expansion of 3 in x.im 4.863 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.863 * [taylor]: Taking taylor expansion of x.im in x.im 4.863 * [taylor]: Taking taylor expansion of x.re in x.im 4.863 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 4.863 * [taylor]: Taking taylor expansion of 3 in x.im 4.863 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.863 * [taylor]: Taking taylor expansion of x.im in x.im 4.863 * [taylor]: Taking taylor expansion of x.re in x.im 4.863 * [taylor]: Taking taylor expansion of 0 in x.re 4.864 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 4.864 * [taylor]: Taking taylor expansion of 3 in x.re 4.864 * [taylor]: Taking taylor expansion of x.re in x.re 4.865 * [taylor]: Taking taylor expansion of 0 in x.re 4.867 * [taylor]: Taking taylor expansion of 0 in x.re 4.869 * [taylor]: Taking taylor expansion of 0 in x.re 4.870 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 4.870 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.870 * [taylor]: Taking taylor expansion of 3 in x.re 4.870 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.870 * [taylor]: Taking taylor expansion of x.im in x.re 4.870 * [taylor]: Taking taylor expansion of x.re in x.re 4.870 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.870 * [taylor]: Taking taylor expansion of 3 in x.im 4.870 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.870 * [taylor]: Taking taylor expansion of x.im in x.im 4.870 * [taylor]: Taking taylor expansion of x.re in x.im 4.871 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.871 * [taylor]: Taking taylor expansion of 3 in x.im 4.871 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.871 * [taylor]: Taking taylor expansion of x.im in x.im 4.871 * [taylor]: Taking taylor expansion of x.re in x.im 4.871 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 4.871 * [taylor]: Taking taylor expansion of 3 in x.re 4.871 * [taylor]: Taking taylor expansion of x.re in x.re 4.872 * [taylor]: Taking taylor expansion of 0 in x.re 4.873 * [taylor]: Taking taylor expansion of 0 in x.re 4.875 * [taylor]: Taking taylor expansion of 0 in x.re 4.875 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 4.875 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.876 * [taylor]: Taking taylor expansion of 3 in x.re 4.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.876 * [taylor]: Taking taylor expansion of x.im in x.re 4.876 * [taylor]: Taking taylor expansion of x.re in x.re 4.876 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.876 * [taylor]: Taking taylor expansion of 3 in x.im 4.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.876 * [taylor]: Taking taylor expansion of x.im in x.im 4.876 * [taylor]: Taking taylor expansion of x.re in x.im 4.876 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.876 * [taylor]: Taking taylor expansion of 3 in x.im 4.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.876 * [taylor]: Taking taylor expansion of x.im in x.im 4.876 * [taylor]: Taking taylor expansion of x.re in x.im 4.877 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 4.877 * [taylor]: Taking taylor expansion of 3 in x.re 4.877 * [taylor]: Taking taylor expansion of x.re in x.re 4.878 * [taylor]: Taking taylor expansion of 0 in x.re 4.879 * [taylor]: Taking taylor expansion of 0 in x.re 4.880 * [taylor]: Taking taylor expansion of 0 in x.re 4.881 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.881 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 4.881 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.881 * [taylor]: Taking taylor expansion of 3 in x.re 4.881 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.881 * [taylor]: Taking taylor expansion of x.im in x.re 4.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.881 * [taylor]: Taking taylor expansion of x.re in x.re 4.881 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.881 * [taylor]: Taking taylor expansion of 3 in x.im 4.881 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.881 * [taylor]: Taking taylor expansion of x.im in x.im 4.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.881 * [taylor]: Taking taylor expansion of x.re in x.im 4.881 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.881 * [taylor]: Taking taylor expansion of 3 in x.im 4.881 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.881 * [taylor]: Taking taylor expansion of x.im in x.im 4.881 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.881 * [taylor]: Taking taylor expansion of x.re in x.im 4.882 * [taylor]: Taking taylor expansion of 0 in x.re 4.883 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 4.883 * [taylor]: Taking taylor expansion of 3 in x.re 4.883 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.883 * [taylor]: Taking taylor expansion of x.re in x.re 4.884 * [taylor]: Taking taylor expansion of 0 in x.re 4.887 * [taylor]: Taking taylor expansion of 0 in x.re 4.887 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 4.887 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.887 * [taylor]: Taking taylor expansion of 3 in x.re 4.887 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.887 * [taylor]: Taking taylor expansion of x.im in x.re 4.887 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.888 * [taylor]: Taking taylor expansion of x.re in x.re 4.888 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 4.888 * [taylor]: Taking taylor expansion of 3 in x.im 4.888 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.888 * [taylor]: Taking taylor expansion of x.im in x.im 4.888 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.888 * [taylor]: Taking taylor expansion of x.re in x.im 4.888 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 4.888 * [taylor]: Taking taylor expansion of 3 in x.im 4.888 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.888 * [taylor]: Taking taylor expansion of x.im in x.im 4.888 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.888 * [taylor]: Taking taylor expansion of x.re in x.im 4.889 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re 4.889 * [taylor]: Taking taylor expansion of 3 in x.re 4.889 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.889 * [taylor]: Taking taylor expansion of x.re in x.re 4.891 * [taylor]: Taking taylor expansion of 0 in x.re 4.893 * [taylor]: Taking taylor expansion of 0 in x.re 4.896 * [taylor]: Taking taylor expansion of 0 in x.re 4.899 * [taylor]: Taking taylor expansion of 0 in x.re 4.900 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 4.900 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.900 * [taylor]: Taking taylor expansion of -3 in x.re 4.900 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.900 * [taylor]: Taking taylor expansion of x.im in x.re 4.900 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.900 * [taylor]: Taking taylor expansion of x.re in x.re 4.900 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 4.900 * [taylor]: Taking taylor expansion of -3 in x.im 4.900 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.900 * [taylor]: Taking taylor expansion of x.im in x.im 4.900 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.900 * [taylor]: Taking taylor expansion of x.re in x.im 4.901 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 4.901 * [taylor]: Taking taylor expansion of -3 in x.im 4.901 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.901 * [taylor]: Taking taylor expansion of x.im in x.im 4.901 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.901 * [taylor]: Taking taylor expansion of x.re in x.im 4.901 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re 4.901 * [taylor]: Taking taylor expansion of -3 in x.re 4.901 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.901 * [taylor]: Taking taylor expansion of x.re in x.re 4.903 * [taylor]: Taking taylor expansion of 0 in x.re 4.905 * [taylor]: Taking taylor expansion of 0 in x.re 4.908 * [taylor]: Taking taylor expansion of 0 in x.re 4.914 * [taylor]: Taking taylor expansion of 0 in x.re 4.914 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.915 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.im x.re) around 0 4.915 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 4.915 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.915 * [taylor]: Taking taylor expansion of 3 in x.re 4.915 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.915 * [taylor]: Taking taylor expansion of x.im in x.re 4.915 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.915 * [taylor]: Taking taylor expansion of x.re in x.re 4.915 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.915 * [taylor]: Taking taylor expansion of x.im in x.re 4.915 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 4.915 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.915 * [taylor]: Taking taylor expansion of 3 in x.im 4.915 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.915 * [taylor]: Taking taylor expansion of x.im in x.im 4.915 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.915 * [taylor]: Taking taylor expansion of x.re in x.im 4.915 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.915 * [taylor]: Taking taylor expansion of x.im in x.im 4.915 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 4.915 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.915 * [taylor]: Taking taylor expansion of 3 in x.im 4.915 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.915 * [taylor]: Taking taylor expansion of x.im in x.im 4.915 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.915 * [taylor]: Taking taylor expansion of x.re in x.im 4.915 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.915 * [taylor]: Taking taylor expansion of x.im in x.im 4.916 * [taylor]: Taking taylor expansion of 0 in x.re 4.916 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 4.916 * [taylor]: Taking taylor expansion of 3 in x.re 4.916 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.916 * [taylor]: Taking taylor expansion of x.re in x.re 4.918 * [taylor]: Taking taylor expansion of 0 in x.re 4.921 * [taylor]: Taking taylor expansion of -1 in x.re 4.925 * [taylor]: Taking taylor expansion of 0 in x.re 4.927 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.im x.re) around 0 4.927 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 4.927 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.927 * [taylor]: Taking taylor expansion of 3 in x.re 4.927 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.927 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.927 * [taylor]: Taking taylor expansion of x.im in x.re 4.927 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.927 * [taylor]: Taking taylor expansion of x.re in x.re 4.927 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.927 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.927 * [taylor]: Taking taylor expansion of x.im in x.re 4.927 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 4.927 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.927 * [taylor]: Taking taylor expansion of 3 in x.im 4.927 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.927 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.927 * [taylor]: Taking taylor expansion of x.im in x.im 4.927 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.927 * [taylor]: Taking taylor expansion of x.re in x.im 4.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.928 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.928 * [taylor]: Taking taylor expansion of x.im in x.im 4.929 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 4.929 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.929 * [taylor]: Taking taylor expansion of 3 in x.im 4.929 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.929 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.929 * [taylor]: Taking taylor expansion of x.im in x.im 4.929 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.929 * [taylor]: Taking taylor expansion of x.re in x.im 4.929 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.929 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.929 * [taylor]: Taking taylor expansion of x.im in x.im 4.930 * [taylor]: Taking taylor expansion of -1 in x.re 4.932 * [taylor]: Taking taylor expansion of 0 in x.re 4.934 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 4.934 * [taylor]: Taking taylor expansion of 3 in x.re 4.934 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 4.934 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.934 * [taylor]: Taking taylor expansion of x.re in x.re 4.938 * [taylor]: Taking taylor expansion of 0 in x.re 4.943 * [taylor]: Taking taylor expansion of 0 in x.re 4.945 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.im x.re) around 0 4.945 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 4.945 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.945 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.945 * [taylor]: Taking taylor expansion of x.im in x.re 4.945 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.945 * [taylor]: Taking taylor expansion of 3 in x.re 4.945 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.945 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.945 * [taylor]: Taking taylor expansion of x.im in x.re 4.945 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.945 * [taylor]: Taking taylor expansion of x.re in x.re 4.945 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 4.945 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.945 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.945 * [taylor]: Taking taylor expansion of x.im in x.im 4.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.946 * [taylor]: Taking taylor expansion of 3 in x.im 4.946 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.946 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.946 * [taylor]: Taking taylor expansion of x.im in x.im 4.946 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.946 * [taylor]: Taking taylor expansion of x.re in x.im 4.947 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 4.947 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.947 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.947 * [taylor]: Taking taylor expansion of x.im in x.im 4.947 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.948 * [taylor]: Taking taylor expansion of 3 in x.im 4.948 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.948 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.948 * [taylor]: Taking taylor expansion of x.im in x.im 4.948 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.948 * [taylor]: Taking taylor expansion of x.re in x.im 4.948 * [taylor]: Taking taylor expansion of 1 in x.re 4.950 * [taylor]: Taking taylor expansion of 0 in x.re 4.951 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.re 2)))) in x.re 4.951 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.re 2))) in x.re 4.951 * [taylor]: Taking taylor expansion of 3 in x.re 4.951 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 4.952 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.952 * [taylor]: Taking taylor expansion of x.re in x.re 4.956 * [taylor]: Taking taylor expansion of 0 in x.re 4.961 * [taylor]: Taking taylor expansion of 0 in x.re 4.963 * * * [progress]: simplifying candidates 4.964 * [simplify]: Simplifying using # : (expm1 (* (* 3 x.im) x.re)) (log1p (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re) (* (* 3 x.im) x.re) (+ (+ (log 3) (log x.im)) (log x.re)) (+ (log (* 3 x.im)) (log x.re)) (log (* (* 3 x.im) x.re)) (exp (* (* 3 x.im) x.re)) (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 x.im) x.re)) (cbrt (* (* 3 x.im) x.re))) (cbrt (* (* 3 x.im) x.re)) (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re)) (sqrt (* (* 3 x.im) x.re)) (sqrt (* (* 3 x.im) x.re)) (* (* 3 x.im) (* (cbrt x.re) (cbrt x.re))) (* (* 3 x.im) (sqrt x.re)) (* (* 3 x.im) 1) (* x.im x.re) (expm1 (* (* (* 3 x.im) x.re) x.re)) (log1p (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (+ (+ (+ (log 3) (log x.im)) (log x.re)) (log x.re)) (+ (+ (log (* 3 x.im)) (log x.re)) (log x.re)) (+ (log (* (* 3 x.im) x.re)) (log x.re)) (log (* (* (* 3 x.im) x.re) x.re)) (exp (* (* (* 3 x.im) x.re) x.re)) (* (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re)) (* (* x.re x.re) x.re)) (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re))) (cbrt (* (* (* 3 x.im) x.re) x.re)) (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) x.re)) (sqrt (* (* (* 3 x.im) x.re) x.re)) (sqrt (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.im) x.re) (sqrt x.re)) (* (* (* 3 x.im) x.re) 1) (* x.re x.re) (fma (* (* 3 x.im) x.re) 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.im) x.re) 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.im) x.re) 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.im) x.re) x.re (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* (* 3 x.im) x.re) 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.im) x.re) 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.im) x.re) 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.im) x.re) 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.im) x.re) x.re (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* (* 3 x.im) x.re) 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.im) x.re) x.re (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* (* 3 x.im) x.re) 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.im) x.re) x.re) (pow x.im 3))) (log1p (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* (* 3 x.im) x.re) x.re)) (exp (pow x.im 3))) (log (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (* (* (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.im) x.re) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* (* 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.968 * * [simplify]: iteration 0 : 142 enodes (cost 1144 ) 5.001 * * [simplify]: iteration 1 : 339 enodes (cost 897 ) 5.147 * * [simplify]: iteration 2 : 1659 enodes (cost 772 ) 5.804 * * [simplify]: iteration done : 5001 enodes (cost 772 ) 5.805 * [simplify]: Simplified to: (expm1 (* (* 3 x.im) x.re)) (log1p (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re) (* (* 3 x.im) x.re) (log (* (* 3 x.im) x.re)) (log (* (* 3 x.im) x.re)) (log (* (* 3 x.im) x.re)) (exp (* (* 3 x.im) x.re)) (pow (* (* 3 x.im) x.re) 3) (pow (* (* 3 x.im) x.re) 3) (* (cbrt (* (* 3 x.im) x.re)) (cbrt (* (* 3 x.im) x.re))) (cbrt (* (* 3 x.im) x.re)) (pow (* (* 3 x.im) x.re) 3) (sqrt (* (* 3 x.im) x.re)) (sqrt (* (* 3 x.im) x.re)) (* (* 3 x.im) (* (cbrt x.re) (cbrt x.re))) (* (* 3 x.im) (sqrt x.re)) (* 3 x.im) (* x.re x.im) (expm1 (* (* (* 3 x.im) x.re) x.re)) (log1p (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (log (* (* (* 3 x.im) x.re) x.re)) (log (* (* (* 3 x.im) x.re) x.re)) (log (* (* (* 3 x.im) x.re) x.re)) (log (* (* (* 3 x.im) x.re) x.re)) (exp (* (* (* 3 x.im) x.re) x.re)) (pow (* (* (* 3 x.im) x.re) x.re) 3) (pow (* (* (* 3 x.im) x.re) x.re) 3) (pow (* (* (* 3 x.im) x.re) x.re) 3) (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re))) (cbrt (* (* (* 3 x.im) x.re) x.re)) (pow (* (* (* 3 x.im) x.re) x.re) 3) (sqrt (* (* (* 3 x.im) x.re) x.re)) (sqrt (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.im) x.re) (sqrt x.re)) (* (* 3 x.im) x.re) (* x.re x.re) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (* (pow x.im 3) 0) (expm1 (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (log1p (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (- (pow x.im 3)) (exp (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (log (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (pow (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) 3) (sqrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.im) x.re) 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)) (* (* x.re (* 9 (* x.im x.im))) (pow x.re 3))) (- (pow x.im 3)) (- (* (* x.re (* 9 (* 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) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)) 5.805 * * * [progress]: adding candidates to table 5.911 * [progress]: [Phase 3 of 3] Extracting. 5.911 * * [regime]: Finding splitpoints for: (# # # # # # #) 5.913 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 5.913 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 5.934 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 5.959 * * * [regime]: Found split indices: #