61.695 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying using # : (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.041 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.043 * * [simplify]: iteration 1 : 19 enodes (cost 19 ) 0.045 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 0.054 * * [simplify]: iteration 3 : 100 enodes (cost 17 ) 0.078 * * [simplify]: iteration 4 : 210 enodes (cost 11 ) 0.144 * * [simplify]: iteration 5 : 428 enodes (cost 11 ) 0.340 * * [simplify]: iteration 6 : 946 enodes (cost 11 ) 1.490 * * [simplify]: iteration 7 : 2736 enodes (cost 11 ) 2.976 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 2.976 * [simplify]: Simplified to: (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 2.981 * * [progress]: iteration 1 / 4 2.981 * * * [progress]: picking best candidate 2.986 * * * * [pick]: Picked # 2.986 * * * [progress]: localizing error 2.993 * * * [progress]: generating rewritten candidates 2.993 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.000 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 3.009 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.019 * * * [progress]: generating series expansions 3.019 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.019 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.019 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.019 * [taylor]: Taking taylor expansion of 3 in x.im 3.019 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.019 * [taylor]: Taking taylor expansion of x.im in x.im 3.019 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.019 * [taylor]: Taking taylor expansion of x.re in x.im 3.019 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.019 * [taylor]: Taking taylor expansion of 3 in x.re 3.019 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.019 * [taylor]: Taking taylor expansion of x.im in x.re 3.019 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.019 * [taylor]: Taking taylor expansion of x.re in x.re 3.019 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.019 * [taylor]: Taking taylor expansion of 3 in x.re 3.019 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.019 * [taylor]: Taking taylor expansion of x.im in x.re 3.019 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.019 * [taylor]: Taking taylor expansion of x.re in x.re 3.020 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.020 * [taylor]: Taking taylor expansion of 3 in x.im 3.020 * [taylor]: Taking taylor expansion of x.im in x.im 3.020 * [taylor]: Taking taylor expansion of 0 in x.im 3.020 * [taylor]: Taking taylor expansion of 0 in x.im 3.020 * [taylor]: Taking taylor expansion of 0 in x.im 3.020 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.020 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.020 * [taylor]: Taking taylor expansion of 3 in x.im 3.020 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.020 * [taylor]: Taking taylor expansion of x.im in x.im 3.020 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.020 * [taylor]: Taking taylor expansion of x.re in x.im 3.021 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.021 * [taylor]: Taking taylor expansion of 3 in x.re 3.021 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.021 * [taylor]: Taking taylor expansion of x.im in x.re 3.021 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.021 * [taylor]: Taking taylor expansion of x.re in x.re 3.021 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.021 * [taylor]: Taking taylor expansion of 3 in x.re 3.021 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.021 * [taylor]: Taking taylor expansion of x.im in x.re 3.021 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.021 * [taylor]: Taking taylor expansion of x.re in x.re 3.021 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.021 * [taylor]: Taking taylor expansion of 3 in x.im 3.021 * [taylor]: Taking taylor expansion of x.im in x.im 3.021 * [taylor]: Taking taylor expansion of 0 in x.im 3.021 * [taylor]: Taking taylor expansion of 0 in x.im 3.022 * [taylor]: Taking taylor expansion of 0 in x.im 3.022 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.022 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.022 * [taylor]: Taking taylor expansion of -3 in x.im 3.022 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.022 * [taylor]: Taking taylor expansion of x.im in x.im 3.022 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.022 * [taylor]: Taking taylor expansion of x.re in x.im 3.022 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.022 * [taylor]: Taking taylor expansion of -3 in x.re 3.022 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.022 * [taylor]: Taking taylor expansion of x.im in x.re 3.023 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.023 * [taylor]: Taking taylor expansion of x.re in x.re 3.023 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.023 * [taylor]: Taking taylor expansion of -3 in x.re 3.023 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.023 * [taylor]: Taking taylor expansion of x.im in x.re 3.023 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.023 * [taylor]: Taking taylor expansion of x.re in x.re 3.023 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 3.023 * [taylor]: Taking taylor expansion of -3 in x.im 3.023 * [taylor]: Taking taylor expansion of x.im in x.im 3.023 * [taylor]: Taking taylor expansion of 0 in x.im 3.023 * [taylor]: Taking taylor expansion of 0 in x.im 3.023 * [taylor]: Taking taylor expansion of 0 in x.im 3.024 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 3.024 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 3.024 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.024 * [taylor]: Taking taylor expansion of x.im in x.im 3.024 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.024 * [taylor]: Taking taylor expansion of x.re in x.im 3.024 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.024 * [taylor]: Taking taylor expansion of x.im in x.re 3.024 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.024 * [taylor]: Taking taylor expansion of x.re in x.re 3.024 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.024 * [taylor]: Taking taylor expansion of x.im in x.re 3.024 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.024 * [taylor]: Taking taylor expansion of x.re in x.re 3.024 * [taylor]: Taking taylor expansion of x.im in x.im 3.024 * [taylor]: Taking taylor expansion of 0 in x.im 3.024 * [taylor]: Taking taylor expansion of 0 in x.im 3.024 * [taylor]: Taking taylor expansion of 0 in x.im 3.025 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.025 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.025 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.025 * [taylor]: Taking taylor expansion of x.im in x.im 3.025 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.025 * [taylor]: Taking taylor expansion of x.re in x.im 3.025 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.025 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.025 * [taylor]: Taking taylor expansion of x.im in x.re 3.025 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.025 * [taylor]: Taking taylor expansion of x.re in x.re 3.025 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.025 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.025 * [taylor]: Taking taylor expansion of x.im in x.re 3.025 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.025 * [taylor]: Taking taylor expansion of x.re in x.re 3.025 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.025 * [taylor]: Taking taylor expansion of x.im in x.im 3.025 * [taylor]: Taking taylor expansion of 0 in x.im 3.026 * [taylor]: Taking taylor expansion of 0 in x.im 3.026 * [taylor]: Taking taylor expansion of 0 in x.im 3.026 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.026 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 3.026 * [taylor]: Taking taylor expansion of -1 in x.im 3.026 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.026 * [taylor]: Taking taylor expansion of x.im in x.im 3.026 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.026 * [taylor]: Taking taylor expansion of x.re in x.im 3.026 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.026 * [taylor]: Taking taylor expansion of -1 in x.re 3.026 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.027 * [taylor]: Taking taylor expansion of x.im in x.re 3.027 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.027 * [taylor]: Taking taylor expansion of x.re in x.re 3.027 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.027 * [taylor]: Taking taylor expansion of -1 in x.re 3.027 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.027 * [taylor]: Taking taylor expansion of x.im in x.re 3.027 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.027 * [taylor]: Taking taylor expansion of x.re in x.re 3.027 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 3.027 * [taylor]: Taking taylor expansion of -1 in x.im 3.027 * [taylor]: Taking taylor expansion of x.im in x.im 3.027 * [taylor]: Taking taylor expansion of 0 in x.im 3.027 * [taylor]: Taking taylor expansion of 0 in x.im 3.027 * [taylor]: Taking taylor expansion of 0 in x.im 3.028 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.028 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 3.028 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 3.028 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.028 * [taylor]: Taking taylor expansion of 3 in x.im 3.028 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.028 * [taylor]: Taking taylor expansion of x.im in x.im 3.028 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.028 * [taylor]: Taking taylor expansion of x.re in x.im 3.028 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.028 * [taylor]: Taking taylor expansion of x.im in x.im 3.028 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.028 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.028 * [taylor]: Taking taylor expansion of 3 in x.re 3.028 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.028 * [taylor]: Taking taylor expansion of x.im in x.re 3.028 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.028 * [taylor]: Taking taylor expansion of x.re in x.re 3.028 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.028 * [taylor]: Taking taylor expansion of x.im in x.re 3.028 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.028 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.028 * [taylor]: Taking taylor expansion of 3 in x.re 3.028 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.028 * [taylor]: Taking taylor expansion of x.im in x.re 3.028 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.028 * [taylor]: Taking taylor expansion of x.re in x.re 3.028 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.028 * [taylor]: Taking taylor expansion of x.im in x.re 3.029 * [taylor]: Taking taylor expansion of (neg (pow x.im 3)) in x.im 3.029 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.029 * [taylor]: Taking taylor expansion of x.im in x.im 3.029 * [taylor]: Taking taylor expansion of 0 in x.im 3.029 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.029 * [taylor]: Taking taylor expansion of 3 in x.im 3.029 * [taylor]: Taking taylor expansion of x.im in x.im 3.029 * [taylor]: Taking taylor expansion of 0 in x.im 3.030 * [taylor]: Taking taylor expansion of 0 in x.im 3.030 * [taylor]: Taking taylor expansion of 0 in x.im 3.031 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 3.031 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 3.031 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.031 * [taylor]: Taking taylor expansion of 3 in x.im 3.031 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.031 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.031 * [taylor]: Taking taylor expansion of x.im in x.im 3.031 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.031 * [taylor]: Taking taylor expansion of x.re in x.im 3.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.031 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.031 * [taylor]: Taking taylor expansion of x.im in x.im 3.031 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.031 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.031 * [taylor]: Taking taylor expansion of 3 in x.re 3.031 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.031 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.031 * [taylor]: Taking taylor expansion of x.im in x.re 3.031 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.031 * [taylor]: Taking taylor expansion of x.re in x.re 3.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.031 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.031 * [taylor]: Taking taylor expansion of x.im in x.re 3.031 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.031 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.031 * [taylor]: Taking taylor expansion of 3 in x.re 3.031 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.031 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.031 * [taylor]: Taking taylor expansion of x.im in x.re 3.032 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.032 * [taylor]: Taking taylor expansion of x.re in x.re 3.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.032 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.032 * [taylor]: Taking taylor expansion of x.im in x.re 3.032 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.032 * [taylor]: Taking taylor expansion of 3 in x.im 3.032 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.032 * [taylor]: Taking taylor expansion of x.im in x.im 3.032 * [taylor]: Taking taylor expansion of 0 in x.im 3.032 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x.im 3))) in x.im 3.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.032 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.032 * [taylor]: Taking taylor expansion of x.im in x.im 3.033 * [taylor]: Taking taylor expansion of 0 in x.im 3.034 * [taylor]: Taking taylor expansion of 0 in x.im 3.035 * [taylor]: Taking taylor expansion of 0 in x.im 3.036 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 3.036 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 3.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.036 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.036 * [taylor]: Taking taylor expansion of x.im in x.im 3.036 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.036 * [taylor]: Taking taylor expansion of 3 in x.im 3.036 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.036 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.036 * [taylor]: Taking taylor expansion of x.im in x.im 3.036 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.036 * [taylor]: Taking taylor expansion of x.re in x.im 3.036 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.036 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.036 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.036 * [taylor]: Taking taylor expansion of x.im in x.re 3.036 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.036 * [taylor]: Taking taylor expansion of 3 in x.re 3.036 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.036 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.036 * [taylor]: Taking taylor expansion of x.im in x.re 3.036 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.036 * [taylor]: Taking taylor expansion of x.re in x.re 3.037 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.037 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.037 * [taylor]: Taking taylor expansion of x.im in x.re 3.037 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.037 * [taylor]: Taking taylor expansion of 3 in x.re 3.037 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.037 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.037 * [taylor]: Taking taylor expansion of x.im in x.re 3.037 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.037 * [taylor]: Taking taylor expansion of x.re in x.re 3.037 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 x.im))) in x.im 3.037 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.037 * [taylor]: Taking taylor expansion of 3 in x.im 3.037 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.037 * [taylor]: Taking taylor expansion of x.im in x.im 3.037 * [taylor]: Taking taylor expansion of 0 in x.im 3.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.038 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.038 * [taylor]: Taking taylor expansion of x.im in x.im 3.038 * [taylor]: Taking taylor expansion of 0 in x.im 3.039 * [taylor]: Taking taylor expansion of 0 in x.im 3.040 * [taylor]: Taking taylor expansion of 0 in x.im 3.040 * * * [progress]: simplifying candidates 3.041 * [simplify]: Simplifying using # : (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.re))) (+ (log 3) (+ (log (* x.re x.im)) (log x.re))) (+ (log 3) (log (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (+ (log x.re) (log x.im)) (log x.re)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* (* x.re x.im) 1) (* x.im x.re) (/ (exp (* 3 (* (* x.re x.im) x.re))) (exp (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (* (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (neg (pow x.im 3)) (- (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (neg (pow x.im 3)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 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))) (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.043 * * [simplify]: iteration 0 : 83 enodes (cost 664 ) 3.057 * * [simplify]: iteration 1 : 218 enodes (cost 610 ) 3.153 * * [simplify]: iteration 2 : 809 enodes (cost 528 ) 4.482 * * [simplify]: iteration 3 : 4101 enodes (cost 524 ) 6.071 * * [simplify]: iteration done : 5000 enodes (cost 524 ) 6.072 * [simplify]: Simplified to: (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (* 3 (* (* x.re x.im) x.re)) 3) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (pow (* 3 (* (* x.re x.im) x.re)) 3) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (pow (* x.im (pow x.re 2)) 3) (pow (* x.im (pow x.re 2)) 3) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (pow (* x.im (pow x.re 2)) 3) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* x.im x.re) (* x.im x.re) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (pow (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 3) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* x.im (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* 3 (* x.re x.re))) (pow x.im 6)) (neg (pow x.im 3)) (- (* 9 (* (* (pow x.re 3) (* x.im x.im)) x.re)) (pow x.im 6)) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (neg (pow x.im 3)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (* x.im (* x.re x.re)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 6.072 * * * [progress]: adding candidates to table 6.142 * * [progress]: iteration 2 / 4 6.143 * * * [progress]: picking best candidate 6.163 * * * * [pick]: Picked # 6.163 * * * [progress]: localizing error 6.170 * * * [progress]: generating rewritten candidates 6.170 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.176 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 6.183 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 6.193 * * * [progress]: generating series expansions 6.193 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 6.193 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 6.193 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 6.193 * [taylor]: Taking taylor expansion of 3 in x.im 6.193 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.193 * [taylor]: Taking taylor expansion of x.im in x.im 6.193 * [taylor]: Taking taylor expansion of x.re in x.im 6.193 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 6.193 * [taylor]: Taking taylor expansion of 3 in x.re 6.193 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.193 * [taylor]: Taking taylor expansion of x.im in x.re 6.193 * [taylor]: Taking taylor expansion of x.re in x.re 6.193 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 6.193 * [taylor]: Taking taylor expansion of 3 in x.re 6.193 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.193 * [taylor]: Taking taylor expansion of x.im in x.re 6.193 * [taylor]: Taking taylor expansion of x.re in x.re 6.193 * [taylor]: Taking taylor expansion of 0 in x.im 6.193 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 6.193 * [taylor]: Taking taylor expansion of 3 in x.im 6.193 * [taylor]: Taking taylor expansion of x.im in x.im 6.194 * [taylor]: Taking taylor expansion of 0 in x.im 6.194 * [taylor]: Taking taylor expansion of 0 in x.im 6.194 * [taylor]: Taking taylor expansion of 0 in x.im 6.194 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 6.194 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.194 * [taylor]: Taking taylor expansion of 3 in x.im 6.194 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.194 * [taylor]: Taking taylor expansion of x.im in x.im 6.194 * [taylor]: Taking taylor expansion of x.re in x.im 6.194 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.194 * [taylor]: Taking taylor expansion of 3 in x.re 6.194 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.194 * [taylor]: Taking taylor expansion of x.im in x.re 6.194 * [taylor]: Taking taylor expansion of x.re in x.re 6.194 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.194 * [taylor]: Taking taylor expansion of 3 in x.re 6.194 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.194 * [taylor]: Taking taylor expansion of x.im in x.re 6.194 * [taylor]: Taking taylor expansion of x.re in x.re 6.195 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 6.195 * [taylor]: Taking taylor expansion of 3 in x.im 6.195 * [taylor]: Taking taylor expansion of x.im in x.im 6.195 * [taylor]: Taking taylor expansion of 0 in x.im 6.195 * [taylor]: Taking taylor expansion of 0 in x.im 6.195 * [taylor]: Taking taylor expansion of 0 in x.im 6.195 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 6.195 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.195 * [taylor]: Taking taylor expansion of 3 in x.im 6.195 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.195 * [taylor]: Taking taylor expansion of x.im in x.im 6.195 * [taylor]: Taking taylor expansion of x.re in x.im 6.196 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.196 * [taylor]: Taking taylor expansion of 3 in x.re 6.196 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.196 * [taylor]: Taking taylor expansion of x.im in x.re 6.196 * [taylor]: Taking taylor expansion of x.re in x.re 6.196 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.196 * [taylor]: Taking taylor expansion of 3 in x.re 6.196 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.196 * [taylor]: Taking taylor expansion of x.im in x.re 6.196 * [taylor]: Taking taylor expansion of x.re in x.re 6.196 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 6.196 * [taylor]: Taking taylor expansion of 3 in x.im 6.196 * [taylor]: Taking taylor expansion of x.im in x.im 6.196 * [taylor]: Taking taylor expansion of 0 in x.im 6.196 * [taylor]: Taking taylor expansion of 0 in x.im 6.196 * [taylor]: Taking taylor expansion of 0 in x.im 6.197 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 6.197 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.197 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 6.197 * [taylor]: Taking taylor expansion of 3 in x.im 6.197 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.197 * [taylor]: Taking taylor expansion of x.im in x.im 6.197 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.197 * [taylor]: Taking taylor expansion of x.re in x.im 6.197 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.197 * [taylor]: Taking taylor expansion of 3 in x.re 6.197 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.197 * [taylor]: Taking taylor expansion of x.im in x.re 6.197 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.197 * [taylor]: Taking taylor expansion of x.re in x.re 6.197 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.197 * [taylor]: Taking taylor expansion of 3 in x.re 6.197 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.197 * [taylor]: Taking taylor expansion of x.im in x.re 6.197 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.197 * [taylor]: Taking taylor expansion of x.re in x.re 6.197 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 6.197 * [taylor]: Taking taylor expansion of 3 in x.im 6.197 * [taylor]: Taking taylor expansion of x.im in x.im 6.197 * [taylor]: Taking taylor expansion of 0 in x.im 6.197 * [taylor]: Taking taylor expansion of 0 in x.im 6.198 * [taylor]: Taking taylor expansion of 0 in x.im 6.201 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.201 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 6.201 * [taylor]: Taking taylor expansion of 3 in x.im 6.201 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.201 * [taylor]: Taking taylor expansion of x.im in x.im 6.201 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.201 * [taylor]: Taking taylor expansion of x.re in x.im 6.201 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 6.201 * [taylor]: Taking taylor expansion of 3 in x.re 6.201 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.201 * [taylor]: Taking taylor expansion of x.im in x.re 6.201 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.201 * [taylor]: Taking taylor expansion of x.re in x.re 6.201 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 6.201 * [taylor]: Taking taylor expansion of 3 in x.re 6.201 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.201 * [taylor]: Taking taylor expansion of x.im in x.re 6.201 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.201 * [taylor]: Taking taylor expansion of x.re in x.re 6.201 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 6.201 * [taylor]: Taking taylor expansion of 3 in x.im 6.201 * [taylor]: Taking taylor expansion of x.im in x.im 6.202 * [taylor]: Taking taylor expansion of 0 in x.im 6.202 * [taylor]: Taking taylor expansion of 0 in x.im 6.202 * [taylor]: Taking taylor expansion of 0 in x.im 6.202 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.202 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 6.202 * [taylor]: Taking taylor expansion of -3 in x.im 6.202 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.202 * [taylor]: Taking taylor expansion of x.im in x.im 6.202 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.202 * [taylor]: Taking taylor expansion of x.re in x.im 6.203 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 6.203 * [taylor]: Taking taylor expansion of -3 in x.re 6.203 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.203 * [taylor]: Taking taylor expansion of x.im in x.re 6.203 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.203 * [taylor]: Taking taylor expansion of x.re in x.re 6.203 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 6.203 * [taylor]: Taking taylor expansion of -3 in x.re 6.203 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.203 * [taylor]: Taking taylor expansion of x.im in x.re 6.203 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.203 * [taylor]: Taking taylor expansion of x.re in x.re 6.203 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 6.203 * [taylor]: Taking taylor expansion of -3 in x.im 6.203 * [taylor]: Taking taylor expansion of x.im in x.im 6.203 * [taylor]: Taking taylor expansion of 0 in x.im 6.203 * [taylor]: Taking taylor expansion of 0 in x.im 6.204 * [taylor]: Taking taylor expansion of 0 in x.im 6.204 * * * * [progress]: [ 3 / 3 ] generating series at (2) 6.204 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 6.204 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 6.204 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 6.204 * [taylor]: Taking taylor expansion of 3 in x.im 6.204 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.204 * [taylor]: Taking taylor expansion of x.im in x.im 6.204 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.204 * [taylor]: Taking taylor expansion of x.re in x.im 6.204 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.204 * [taylor]: Taking taylor expansion of x.im in x.im 6.204 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.204 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.204 * [taylor]: Taking taylor expansion of 3 in x.re 6.204 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.204 * [taylor]: Taking taylor expansion of x.im in x.re 6.204 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.204 * [taylor]: Taking taylor expansion of x.re in x.re 6.204 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.204 * [taylor]: Taking taylor expansion of x.im in x.re 6.205 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.205 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 6.205 * [taylor]: Taking taylor expansion of 3 in x.re 6.205 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.205 * [taylor]: Taking taylor expansion of x.im in x.re 6.205 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.205 * [taylor]: Taking taylor expansion of x.re in x.re 6.205 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.205 * [taylor]: Taking taylor expansion of x.im in x.re 6.205 * [taylor]: Taking taylor expansion of (neg (pow x.im 3)) in x.im 6.205 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.205 * [taylor]: Taking taylor expansion of x.im in x.im 6.205 * [taylor]: Taking taylor expansion of 0 in x.im 6.205 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 6.205 * [taylor]: Taking taylor expansion of 3 in x.im 6.205 * [taylor]: Taking taylor expansion of x.im in x.im 6.206 * [taylor]: Taking taylor expansion of 0 in x.im 6.206 * [taylor]: Taking taylor expansion of 0 in x.im 6.206 * [taylor]: Taking taylor expansion of 0 in x.im 6.207 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 6.207 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 6.207 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 6.207 * [taylor]: Taking taylor expansion of 3 in x.im 6.207 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 6.207 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.207 * [taylor]: Taking taylor expansion of x.im in x.im 6.207 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.207 * [taylor]: Taking taylor expansion of x.re in x.im 6.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.207 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.207 * [taylor]: Taking taylor expansion of x.im in x.im 6.207 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 6.207 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.208 * [taylor]: Taking taylor expansion of 3 in x.re 6.208 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.208 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.208 * [taylor]: Taking taylor expansion of x.im in x.re 6.208 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.208 * [taylor]: Taking taylor expansion of x.re in x.re 6.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.208 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.208 * [taylor]: Taking taylor expansion of x.im in x.re 6.208 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 6.208 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.208 * [taylor]: Taking taylor expansion of 3 in x.re 6.208 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.208 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.208 * [taylor]: Taking taylor expansion of x.im in x.re 6.208 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.208 * [taylor]: Taking taylor expansion of x.re in x.re 6.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.208 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.208 * [taylor]: Taking taylor expansion of x.im in x.re 6.208 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 6.208 * [taylor]: Taking taylor expansion of 3 in x.im 6.208 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.208 * [taylor]: Taking taylor expansion of x.im in x.im 6.208 * [taylor]: Taking taylor expansion of 0 in x.im 6.209 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x.im 3))) in x.im 6.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.209 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.209 * [taylor]: Taking taylor expansion of x.im in x.im 6.209 * [taylor]: Taking taylor expansion of 0 in x.im 6.210 * [taylor]: Taking taylor expansion of 0 in x.im 6.211 * [taylor]: Taking taylor expansion of 0 in x.im 6.212 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 6.212 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 6.212 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.212 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.212 * [taylor]: Taking taylor expansion of x.im in x.im 6.212 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 6.212 * [taylor]: Taking taylor expansion of 3 in x.im 6.212 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 6.212 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.212 * [taylor]: Taking taylor expansion of x.im in x.im 6.212 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.212 * [taylor]: Taking taylor expansion of x.re in x.im 6.212 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 6.212 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.212 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.212 * [taylor]: Taking taylor expansion of x.im in x.re 6.212 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.212 * [taylor]: Taking taylor expansion of 3 in x.re 6.212 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.212 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.212 * [taylor]: Taking taylor expansion of x.im in x.re 6.213 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.213 * [taylor]: Taking taylor expansion of x.re in x.re 6.213 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 6.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.213 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.213 * [taylor]: Taking taylor expansion of x.im in x.re 6.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 6.213 * [taylor]: Taking taylor expansion of 3 in x.re 6.213 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.213 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.213 * [taylor]: Taking taylor expansion of x.im in x.re 6.213 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.213 * [taylor]: Taking taylor expansion of x.re in x.re 6.213 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 x.im))) in x.im 6.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 6.213 * [taylor]: Taking taylor expansion of 3 in x.im 6.213 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.213 * [taylor]: Taking taylor expansion of x.im in x.im 6.213 * [taylor]: Taking taylor expansion of 0 in x.im 6.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.214 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.214 * [taylor]: Taking taylor expansion of x.im in x.im 6.214 * [taylor]: Taking taylor expansion of 0 in x.im 6.215 * [taylor]: Taking taylor expansion of 0 in x.im 6.216 * [taylor]: Taking taylor expansion of 0 in x.im 6.216 * * * [progress]: simplifying candidates 6.217 * [simplify]: Simplifying using # : (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.re)) (+ (+ (log 3) (log (* x.re x.im))) (log x.re)) (+ (log (* 3 (* x.re x.im))) (log x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* (* 3 (* x.re x.im)) 1) (* (* x.re x.im) x.re) (/ (exp (* (* 3 (* x.re x.im)) x.re)) (exp (pow x.im 3))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (* (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (neg (pow x.im 3)) (- (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (neg (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)) 6.219 * * [simplify]: iteration 0 : 85 enodes (cost 664 ) 6.234 * * [simplify]: iteration 1 : 225 enodes (cost 602 ) 6.338 * * [simplify]: iteration 2 : 930 enodes (cost 532 ) 8.380 * * [simplify]: iteration done : 5000 enodes (cost 522 ) 8.380 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* 27 (pow (* x.im x.re) 3)) (* 27 (pow (* x.im x.re) 3)) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* 27 (pow (* x.im x.re) 3)) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.im x.re)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (* (* 3 (* x.re x.im)) x.re) 3) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (pow (* (* 3 (* x.re x.im)) x.re) 3) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* 3 (* x.im x.re)) (* (* x.re x.im) x.re) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (pow (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) 3) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (pow x.im 3) (- (* (pow x.re 6) 27) (pow x.im 6))) (+ (* (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (* (* 3 (* x.re x.im)) x.re)) (pow x.im 6)) (neg (pow x.im 3)) (- (* x.re (* 9 (* (* x.im x.im) (pow x.re 3)))) (pow x.im 6)) (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (neg (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) 8.381 * * * [progress]: adding candidates to table 8.445 * * [progress]: iteration 3 / 4 8.445 * * * [progress]: picking best candidate 8.463 * * * * [pick]: Picked # 8.463 * * * [progress]: localizing error 8.470 * * * [progress]: generating rewritten candidates 8.470 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 8.476 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 8.483 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.493 * * * [progress]: generating series expansions 8.493 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 8.493 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 8.493 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 8.493 * [taylor]: Taking taylor expansion of 3 in x.im 8.493 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 8.493 * [taylor]: Taking taylor expansion of x.im in x.im 8.493 * [taylor]: Taking taylor expansion of x.re in x.im 8.493 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 8.493 * [taylor]: Taking taylor expansion of 3 in x.re 8.493 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.493 * [taylor]: Taking taylor expansion of x.im in x.re 8.493 * [taylor]: Taking taylor expansion of x.re in x.re 8.493 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 8.493 * [taylor]: Taking taylor expansion of 3 in x.re 8.493 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.494 * [taylor]: Taking taylor expansion of x.im in x.re 8.494 * [taylor]: Taking taylor expansion of x.re in x.re 8.494 * [taylor]: Taking taylor expansion of 0 in x.im 8.494 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 8.494 * [taylor]: Taking taylor expansion of 3 in x.im 8.494 * [taylor]: Taking taylor expansion of x.im in x.im 8.494 * [taylor]: Taking taylor expansion of 0 in x.im 8.494 * [taylor]: Taking taylor expansion of 0 in x.im 8.494 * [taylor]: Taking taylor expansion of 0 in x.im 8.494 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 8.494 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 8.494 * [taylor]: Taking taylor expansion of 3 in x.im 8.494 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 8.494 * [taylor]: Taking taylor expansion of x.im in x.im 8.494 * [taylor]: Taking taylor expansion of x.re in x.im 8.495 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 8.495 * [taylor]: Taking taylor expansion of 3 in x.re 8.495 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.495 * [taylor]: Taking taylor expansion of x.im in x.re 8.495 * [taylor]: Taking taylor expansion of x.re in x.re 8.495 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 8.495 * [taylor]: Taking taylor expansion of 3 in x.re 8.495 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.495 * [taylor]: Taking taylor expansion of x.im in x.re 8.495 * [taylor]: Taking taylor expansion of x.re in x.re 8.495 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 8.495 * [taylor]: Taking taylor expansion of 3 in x.im 8.495 * [taylor]: Taking taylor expansion of x.im in x.im 8.495 * [taylor]: Taking taylor expansion of 0 in x.im 8.495 * [taylor]: Taking taylor expansion of 0 in x.im 8.495 * [taylor]: Taking taylor expansion of 0 in x.im 8.496 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 8.496 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 8.496 * [taylor]: Taking taylor expansion of 3 in x.im 8.496 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 8.496 * [taylor]: Taking taylor expansion of x.im in x.im 8.496 * [taylor]: Taking taylor expansion of x.re in x.im 8.496 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 8.496 * [taylor]: Taking taylor expansion of 3 in x.re 8.496 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.496 * [taylor]: Taking taylor expansion of x.im in x.re 8.496 * [taylor]: Taking taylor expansion of x.re in x.re 8.496 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 8.496 * [taylor]: Taking taylor expansion of 3 in x.re 8.496 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 8.496 * [taylor]: Taking taylor expansion of x.im in x.re 8.496 * [taylor]: Taking taylor expansion of x.re in x.re 8.496 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 8.496 * [taylor]: Taking taylor expansion of 3 in x.im 8.496 * [taylor]: Taking taylor expansion of x.im in x.im 8.496 * [taylor]: Taking taylor expansion of 0 in x.im 8.497 * [taylor]: Taking taylor expansion of 0 in x.im 8.497 * [taylor]: Taking taylor expansion of 0 in x.im 8.497 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 8.497 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.497 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 8.497 * [taylor]: Taking taylor expansion of 3 in x.im 8.497 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.497 * [taylor]: Taking taylor expansion of x.im in x.im 8.497 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.497 * [taylor]: Taking taylor expansion of x.re in x.im 8.497 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.497 * [taylor]: Taking taylor expansion of 3 in x.re 8.497 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.497 * [taylor]: Taking taylor expansion of x.im in x.re 8.497 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.497 * [taylor]: Taking taylor expansion of x.re in x.re 8.497 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.497 * [taylor]: Taking taylor expansion of 3 in x.re 8.497 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.497 * [taylor]: Taking taylor expansion of x.im in x.re 8.497 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.497 * [taylor]: Taking taylor expansion of x.re in x.re 8.497 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 8.497 * [taylor]: Taking taylor expansion of 3 in x.im 8.498 * [taylor]: Taking taylor expansion of x.im in x.im 8.498 * [taylor]: Taking taylor expansion of 0 in x.im 8.498 * [taylor]: Taking taylor expansion of 0 in x.im 8.498 * [taylor]: Taking taylor expansion of 0 in x.im 8.498 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.498 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 8.498 * [taylor]: Taking taylor expansion of 3 in x.im 8.498 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.498 * [taylor]: Taking taylor expansion of x.im in x.im 8.498 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.498 * [taylor]: Taking taylor expansion of x.re in x.im 8.499 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 8.499 * [taylor]: Taking taylor expansion of 3 in x.re 8.499 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.499 * [taylor]: Taking taylor expansion of x.im in x.re 8.499 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.499 * [taylor]: Taking taylor expansion of x.re in x.re 8.499 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 8.499 * [taylor]: Taking taylor expansion of 3 in x.re 8.499 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.499 * [taylor]: Taking taylor expansion of x.im in x.re 8.499 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.499 * [taylor]: Taking taylor expansion of x.re in x.re 8.499 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 8.499 * [taylor]: Taking taylor expansion of 3 in x.im 8.499 * [taylor]: Taking taylor expansion of x.im in x.im 8.499 * [taylor]: Taking taylor expansion of 0 in x.im 8.499 * [taylor]: Taking taylor expansion of 0 in x.im 8.500 * [taylor]: Taking taylor expansion of 0 in x.im 8.500 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.500 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 8.500 * [taylor]: Taking taylor expansion of -3 in x.im 8.500 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.500 * [taylor]: Taking taylor expansion of x.im in x.im 8.500 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.500 * [taylor]: Taking taylor expansion of x.re in x.im 8.500 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 8.500 * [taylor]: Taking taylor expansion of -3 in x.re 8.500 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.500 * [taylor]: Taking taylor expansion of x.im in x.re 8.500 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.500 * [taylor]: Taking taylor expansion of x.re in x.re 8.501 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 8.501 * [taylor]: Taking taylor expansion of -3 in x.re 8.501 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.501 * [taylor]: Taking taylor expansion of x.im in x.re 8.501 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.501 * [taylor]: Taking taylor expansion of x.re in x.re 8.501 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 8.501 * [taylor]: Taking taylor expansion of -3 in x.im 8.501 * [taylor]: Taking taylor expansion of x.im in x.im 8.501 * [taylor]: Taking taylor expansion of 0 in x.im 8.501 * [taylor]: Taking taylor expansion of 0 in x.im 8.501 * [taylor]: Taking taylor expansion of 0 in x.im 8.502 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.502 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 8.502 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 8.502 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 8.502 * [taylor]: Taking taylor expansion of 3 in x.im 8.502 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.502 * [taylor]: Taking taylor expansion of x.im in x.im 8.502 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.502 * [taylor]: Taking taylor expansion of x.re in x.im 8.502 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.502 * [taylor]: Taking taylor expansion of x.im in x.im 8.502 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 8.502 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.502 * [taylor]: Taking taylor expansion of 3 in x.re 8.502 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.502 * [taylor]: Taking taylor expansion of x.im in x.re 8.502 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.502 * [taylor]: Taking taylor expansion of x.re in x.re 8.502 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.502 * [taylor]: Taking taylor expansion of x.im in x.re 8.502 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 8.502 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.502 * [taylor]: Taking taylor expansion of 3 in x.re 8.502 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.502 * [taylor]: Taking taylor expansion of x.im in x.re 8.502 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.502 * [taylor]: Taking taylor expansion of x.re in x.re 8.502 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.502 * [taylor]: Taking taylor expansion of x.im in x.re 8.503 * [taylor]: Taking taylor expansion of (neg (pow x.im 3)) in x.im 8.503 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.503 * [taylor]: Taking taylor expansion of x.im in x.im 8.503 * [taylor]: Taking taylor expansion of 0 in x.im 8.503 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 8.503 * [taylor]: Taking taylor expansion of 3 in x.im 8.503 * [taylor]: Taking taylor expansion of x.im in x.im 8.503 * [taylor]: Taking taylor expansion of 0 in x.im 8.504 * [taylor]: Taking taylor expansion of 0 in x.im 8.504 * [taylor]: Taking taylor expansion of 0 in x.im 8.504 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 8.504 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 8.504 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 8.505 * [taylor]: Taking taylor expansion of 3 in x.im 8.505 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 8.505 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.505 * [taylor]: Taking taylor expansion of x.im in x.im 8.505 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.505 * [taylor]: Taking taylor expansion of x.re in x.im 8.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 8.505 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.505 * [taylor]: Taking taylor expansion of x.im in x.im 8.505 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 8.505 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 8.505 * [taylor]: Taking taylor expansion of 3 in x.re 8.505 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.505 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.505 * [taylor]: Taking taylor expansion of x.im in x.re 8.505 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.505 * [taylor]: Taking taylor expansion of x.re in x.re 8.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 8.505 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.505 * [taylor]: Taking taylor expansion of x.im in x.re 8.505 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 8.505 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 8.505 * [taylor]: Taking taylor expansion of 3 in x.re 8.505 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.505 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.505 * [taylor]: Taking taylor expansion of x.im in x.re 8.505 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.505 * [taylor]: Taking taylor expansion of x.re in x.re 8.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 8.505 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.505 * [taylor]: Taking taylor expansion of x.im in x.re 8.506 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 8.506 * [taylor]: Taking taylor expansion of 3 in x.im 8.506 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 8.506 * [taylor]: Taking taylor expansion of x.im in x.im 8.506 * [taylor]: Taking taylor expansion of 0 in x.im 8.506 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x.im 3))) in x.im 8.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 8.506 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.506 * [taylor]: Taking taylor expansion of x.im in x.im 8.507 * [taylor]: Taking taylor expansion of 0 in x.im 8.508 * [taylor]: Taking taylor expansion of 0 in x.im 8.508 * [taylor]: Taking taylor expansion of 0 in x.im 8.509 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 8.509 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 8.509 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 8.509 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.509 * [taylor]: Taking taylor expansion of x.im in x.im 8.509 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 8.509 * [taylor]: Taking taylor expansion of 3 in x.im 8.509 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 8.509 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.509 * [taylor]: Taking taylor expansion of x.im in x.im 8.509 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.509 * [taylor]: Taking taylor expansion of x.re in x.im 8.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 8.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 8.510 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.510 * [taylor]: Taking taylor expansion of x.im in x.re 8.510 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 8.510 * [taylor]: Taking taylor expansion of 3 in x.re 8.510 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.510 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.510 * [taylor]: Taking taylor expansion of x.im in x.re 8.510 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.510 * [taylor]: Taking taylor expansion of x.re in x.re 8.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 8.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 8.510 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 8.510 * [taylor]: Taking taylor expansion of x.im in x.re 8.510 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 8.510 * [taylor]: Taking taylor expansion of 3 in x.re 8.510 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.510 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.510 * [taylor]: Taking taylor expansion of x.im in x.re 8.510 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.510 * [taylor]: Taking taylor expansion of x.re in x.re 8.510 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 x.im))) in x.im 8.510 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 8.511 * [taylor]: Taking taylor expansion of 3 in x.im 8.511 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 8.511 * [taylor]: Taking taylor expansion of x.im in x.im 8.511 * [taylor]: Taking taylor expansion of 0 in x.im 8.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 8.511 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 8.511 * [taylor]: Taking taylor expansion of x.im in x.im 8.512 * [taylor]: Taking taylor expansion of 0 in x.im 8.512 * [taylor]: Taking taylor expansion of 0 in x.im 8.513 * [taylor]: Taking taylor expansion of 0 in x.im 8.514 * * * [progress]: simplifying candidates 8.517 * [simplify]: Simplifying using # : (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re)) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re)) (+ (log (* (* 3 x.re) x.im)) (log x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* (* 3 x.re) x.im) 1) (* x.im x.re) (/ (exp (* (* (* 3 x.re) x.im) x.re)) (exp (pow x.im 3))) (log (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (* (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.re) x.im) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (neg (pow x.im 3)) (- (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)) (neg (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)) 8.519 * * [simplify]: iteration 0 : 86 enodes (cost 665 ) 8.533 * * [simplify]: iteration 1 : 228 enodes (cost 601 ) 8.738 * * [simplify]: iteration 2 : 1088 enodes (cost 537 ) 10.469 * * [simplify]: iteration done : 5001 enodes (cost 523 ) 10.469 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (pow (* 3 (* x.im x.re)) 3) (pow (* 3 (* x.im x.re)) 3) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (pow (* 3 (* x.im x.re)) 3) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* 3 x.re) (* x.im x.re) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* 3 (* x.im x.re)) (* x.im x.re) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (log (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (pow (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 3) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.re) x.im) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* x.im (pow x.re 2))) (+ (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (pow x.im 6)) (neg (pow x.im 3)) (- (* (* x.re 9) (* (* x.im x.im) (pow x.re 3))) (pow x.im 6)) (+ (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)) (neg (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)) 10.470 * * * [progress]: adding candidates to table 10.536 * * [progress]: iteration 4 / 4 10.536 * * * [progress]: picking best candidate 10.551 * * * * [pick]: Picked # 10.551 * * * [progress]: localizing error 10.558 * * * [progress]: generating rewritten candidates 10.558 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 10.565 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.574 * * * [progress]: generating series expansions 10.574 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 10.574 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.574 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 10.574 * [taylor]: Taking taylor expansion of 3 in x.im 10.574 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.574 * [taylor]: Taking taylor expansion of x.im in x.im 10.574 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.574 * [taylor]: Taking taylor expansion of x.re in x.im 10.574 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 10.574 * [taylor]: Taking taylor expansion of 3 in x.re 10.574 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.574 * [taylor]: Taking taylor expansion of x.im in x.re 10.574 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.574 * [taylor]: Taking taylor expansion of x.re in x.re 10.575 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 10.575 * [taylor]: Taking taylor expansion of 3 in x.re 10.575 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.575 * [taylor]: Taking taylor expansion of x.im in x.re 10.575 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.575 * [taylor]: Taking taylor expansion of x.re in x.re 10.575 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 10.575 * [taylor]: Taking taylor expansion of 3 in x.im 10.575 * [taylor]: Taking taylor expansion of x.im in x.im 10.575 * [taylor]: Taking taylor expansion of 0 in x.im 10.575 * [taylor]: Taking taylor expansion of 0 in x.im 10.575 * [taylor]: Taking taylor expansion of 0 in x.im 10.575 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.575 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 10.575 * [taylor]: Taking taylor expansion of 3 in x.im 10.575 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.575 * [taylor]: Taking taylor expansion of x.im in x.im 10.575 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.576 * [taylor]: Taking taylor expansion of x.re in x.im 10.576 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 10.576 * [taylor]: Taking taylor expansion of 3 in x.re 10.576 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.576 * [taylor]: Taking taylor expansion of x.im in x.re 10.576 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.576 * [taylor]: Taking taylor expansion of x.re in x.re 10.576 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 10.576 * [taylor]: Taking taylor expansion of 3 in x.re 10.576 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.576 * [taylor]: Taking taylor expansion of x.im in x.re 10.576 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.576 * [taylor]: Taking taylor expansion of x.re in x.re 10.576 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 10.576 * [taylor]: Taking taylor expansion of 3 in x.im 10.576 * [taylor]: Taking taylor expansion of x.im in x.im 10.576 * [taylor]: Taking taylor expansion of 0 in x.im 10.576 * [taylor]: Taking taylor expansion of 0 in x.im 10.577 * [taylor]: Taking taylor expansion of 0 in x.im 10.577 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.577 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 10.577 * [taylor]: Taking taylor expansion of -3 in x.im 10.577 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.577 * [taylor]: Taking taylor expansion of x.im in x.im 10.577 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.577 * [taylor]: Taking taylor expansion of x.re in x.im 10.578 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 10.578 * [taylor]: Taking taylor expansion of -3 in x.re 10.578 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.578 * [taylor]: Taking taylor expansion of x.im in x.re 10.578 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.578 * [taylor]: Taking taylor expansion of x.re in x.re 10.578 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 10.578 * [taylor]: Taking taylor expansion of -3 in x.re 10.578 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.578 * [taylor]: Taking taylor expansion of x.im in x.re 10.578 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.578 * [taylor]: Taking taylor expansion of x.re in x.re 10.578 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 10.578 * [taylor]: Taking taylor expansion of -3 in x.im 10.578 * [taylor]: Taking taylor expansion of x.im in x.im 10.578 * [taylor]: Taking taylor expansion of 0 in x.im 10.578 * [taylor]: Taking taylor expansion of 0 in x.im 10.579 * [taylor]: Taking taylor expansion of 0 in x.im 10.579 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.579 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 10.579 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 10.579 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 10.579 * [taylor]: Taking taylor expansion of 3 in x.im 10.579 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.579 * [taylor]: Taking taylor expansion of x.im in x.im 10.579 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.579 * [taylor]: Taking taylor expansion of x.re in x.im 10.579 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.579 * [taylor]: Taking taylor expansion of x.im in x.im 10.579 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 10.579 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 10.579 * [taylor]: Taking taylor expansion of 3 in x.re 10.579 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.579 * [taylor]: Taking taylor expansion of x.im in x.re 10.579 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.579 * [taylor]: Taking taylor expansion of x.re in x.re 10.579 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.579 * [taylor]: Taking taylor expansion of x.im in x.re 10.579 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 10.579 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 10.579 * [taylor]: Taking taylor expansion of 3 in x.re 10.579 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.579 * [taylor]: Taking taylor expansion of x.im in x.re 10.579 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.580 * [taylor]: Taking taylor expansion of x.re in x.re 10.580 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.580 * [taylor]: Taking taylor expansion of x.im in x.re 10.580 * [taylor]: Taking taylor expansion of (neg (pow x.im 3)) in x.im 10.580 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.580 * [taylor]: Taking taylor expansion of x.im in x.im 10.580 * [taylor]: Taking taylor expansion of 0 in x.im 10.580 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 10.580 * [taylor]: Taking taylor expansion of 3 in x.im 10.580 * [taylor]: Taking taylor expansion of x.im in x.im 10.580 * [taylor]: Taking taylor expansion of 0 in x.im 10.581 * [taylor]: Taking taylor expansion of 0 in x.im 10.581 * [taylor]: Taking taylor expansion of 0 in x.im 10.582 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 10.582 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 10.582 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 10.582 * [taylor]: Taking taylor expansion of 3 in x.im 10.582 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 10.582 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.582 * [taylor]: Taking taylor expansion of x.im in x.im 10.582 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.582 * [taylor]: Taking taylor expansion of x.re in x.im 10.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.582 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.582 * [taylor]: Taking taylor expansion of x.im in x.im 10.582 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 10.582 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 10.582 * [taylor]: Taking taylor expansion of 3 in x.re 10.582 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.582 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.582 * [taylor]: Taking taylor expansion of x.im in x.re 10.582 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.582 * [taylor]: Taking taylor expansion of x.re in x.re 10.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.582 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.582 * [taylor]: Taking taylor expansion of x.im in x.re 10.583 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 10.583 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 10.583 * [taylor]: Taking taylor expansion of 3 in x.re 10.583 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.583 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.583 * [taylor]: Taking taylor expansion of x.im in x.re 10.583 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.583 * [taylor]: Taking taylor expansion of x.re in x.re 10.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.583 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.583 * [taylor]: Taking taylor expansion of x.im in x.re 10.583 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 10.583 * [taylor]: Taking taylor expansion of 3 in x.im 10.583 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 10.583 * [taylor]: Taking taylor expansion of x.im in x.im 10.583 * [taylor]: Taking taylor expansion of 0 in x.im 10.584 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x.im 3))) in x.im 10.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.584 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.584 * [taylor]: Taking taylor expansion of x.im in x.im 10.584 * [taylor]: Taking taylor expansion of 0 in x.im 10.585 * [taylor]: Taking taylor expansion of 0 in x.im 10.586 * [taylor]: Taking taylor expansion of 0 in x.im 10.586 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 10.586 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 10.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.586 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.586 * [taylor]: Taking taylor expansion of x.im in x.im 10.586 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 10.587 * [taylor]: Taking taylor expansion of 3 in x.im 10.587 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 10.587 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.587 * [taylor]: Taking taylor expansion of x.im in x.im 10.587 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.587 * [taylor]: Taking taylor expansion of x.re in x.im 10.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 10.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.587 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.587 * [taylor]: Taking taylor expansion of x.im in x.re 10.587 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 10.587 * [taylor]: Taking taylor expansion of 3 in x.re 10.587 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.587 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.587 * [taylor]: Taking taylor expansion of x.im in x.re 10.587 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.587 * [taylor]: Taking taylor expansion of x.re in x.re 10.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 10.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.587 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.587 * [taylor]: Taking taylor expansion of x.im in x.re 10.588 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 10.588 * [taylor]: Taking taylor expansion of 3 in x.re 10.588 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.588 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.588 * [taylor]: Taking taylor expansion of x.im in x.re 10.588 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.588 * [taylor]: Taking taylor expansion of x.re in x.re 10.588 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 x.im))) in x.im 10.588 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 10.588 * [taylor]: Taking taylor expansion of 3 in x.im 10.588 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 10.588 * [taylor]: Taking taylor expansion of x.im in x.im 10.588 * [taylor]: Taking taylor expansion of 0 in x.im 10.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.588 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.588 * [taylor]: Taking taylor expansion of x.im in x.im 10.589 * [taylor]: Taking taylor expansion of 0 in x.im 10.590 * [taylor]: Taking taylor expansion of 0 in x.im 10.591 * [taylor]: Taking taylor expansion of 0 in x.im 10.591 * * * [progress]: simplifying candidates 10.592 * [simplify]: Simplifying using # : (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re))) (+ (+ (log 3) (log x.re)) (log (* x.im x.re))) (+ (log (* 3 x.re)) (+ (log x.im) (log x.re))) (+ (log (* 3 x.re)) (log (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (/ (exp (* (* 3 x.re) (* x.im x.re))) (exp (pow x.im 3))) (log (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (* (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (- (pow (* (* 3 x.re) (* x.im x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (neg (pow x.im 3)) (- (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (neg (pow x.im 3)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 10.594 * * [simplify]: iteration 0 : 68 enodes (cost 529 ) 10.607 * * [simplify]: iteration 1 : 191 enodes (cost 478 ) 10.712 * * [simplify]: iteration 2 : 767 enodes (cost 416 ) 11.528 * * [simplify]: iteration 3 : 3373 enodes (cost 406 ) 13.850 * * [simplify]: iteration done : 5001 enodes (cost 406 ) 13.850 * [simplify]: Simplified to: (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (log (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (exp (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (pow (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) 3) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (* (pow x.im 3) (- (* (pow x.re 6) 27) (pow x.im 6))) (+ (* (* (* 3 x.re) (* x.im x.re)) (+ (* (* 3 x.re) (* x.im x.re)) (pow x.im 3))) (pow x.im 6)) (neg (pow x.im 3)) (- (* (* (* x.im x.re) (* (pow x.re 3) x.im)) 9) (pow x.im 6)) (+ (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (neg (pow x.im 3)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) 13.850 * * * [progress]: adding candidates to table 13.890 * [progress]: [Phase 3 of 3] Extracting. 13.890 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.892 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 13.892 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 13.944 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 13.994 * * * [regime]: Found split indices: #