21.699 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.029 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.031 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 0.034 * * [simplify]: iteration 2 : 53 enodes (cost 16 ) 0.043 * * [simplify]: iteration 3 : 115 enodes (cost 16 ) 0.070 * * [simplify]: iteration 4 : 278 enodes (cost 11 ) 0.165 * * [simplify]: iteration 5 : 636 enodes (cost 11 ) 0.487 * * [simplify]: iteration 6 : 1567 enodes (cost 11 ) 2.455 * * [simplify]: iteration 7 : 4354 enodes (cost 11 ) 3.786 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 3.786 * [simplify]: Simplified to: (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3)) 3.788 * * [progress]: iteration 1 / 4 3.789 * * * [progress]: picking best candidate 3.791 * * * * [pick]: Picked # 3.791 * * * [progress]: localizing error 3.798 * * * [progress]: generating rewritten candidates 3.798 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 3.809 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.823 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.843 * * * [progress]: generating series expansions 3.843 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 3.843 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 3.843 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.843 * [taylor]: Taking taylor expansion of x.im in x.im 3.843 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.844 * [taylor]: Taking taylor expansion of x.re in x.im 3.844 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.844 * [taylor]: Taking taylor expansion of x.im in x.re 3.844 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.844 * [taylor]: Taking taylor expansion of x.re in x.re 3.844 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.844 * [taylor]: Taking taylor expansion of x.im in x.re 3.844 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.844 * [taylor]: Taking taylor expansion of x.re in x.re 3.844 * [taylor]: Taking taylor expansion of x.im in x.im 3.845 * [taylor]: Taking taylor expansion of 0 in x.im 3.846 * [taylor]: Taking taylor expansion of 0 in x.im 3.847 * [taylor]: Taking taylor expansion of 0 in x.im 3.847 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.847 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.847 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.847 * [taylor]: Taking taylor expansion of x.im in x.im 3.847 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.847 * [taylor]: Taking taylor expansion of x.re in x.im 3.848 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.848 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.848 * [taylor]: Taking taylor expansion of x.im in x.re 3.848 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.848 * [taylor]: Taking taylor expansion of x.re in x.re 3.848 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.848 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.848 * [taylor]: Taking taylor expansion of x.im in x.re 3.848 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.848 * [taylor]: Taking taylor expansion of x.re in x.re 3.848 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.848 * [taylor]: Taking taylor expansion of x.im in x.im 3.849 * [taylor]: Taking taylor expansion of 0 in x.im 3.851 * [taylor]: Taking taylor expansion of 0 in x.im 3.852 * [taylor]: Taking taylor expansion of 0 in x.im 3.853 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.853 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 3.853 * [taylor]: Taking taylor expansion of -1 in x.im 3.853 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.853 * [taylor]: Taking taylor expansion of x.im in x.im 3.853 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.853 * [taylor]: Taking taylor expansion of x.re in x.im 3.853 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.854 * [taylor]: Taking taylor expansion of -1 in x.re 3.854 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.854 * [taylor]: Taking taylor expansion of x.im in x.re 3.854 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.854 * [taylor]: Taking taylor expansion of x.re in x.re 3.854 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 3.854 * [taylor]: Taking taylor expansion of -1 in x.re 3.854 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.854 * [taylor]: Taking taylor expansion of x.im in x.re 3.854 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.854 * [taylor]: Taking taylor expansion of x.re in x.re 3.854 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 3.854 * [taylor]: Taking taylor expansion of -1 in x.im 3.854 * [taylor]: Taking taylor expansion of x.im in x.im 3.855 * [taylor]: Taking taylor expansion of 0 in x.im 3.857 * [taylor]: Taking taylor expansion of 0 in x.im 3.858 * [taylor]: Taking taylor expansion of 0 in x.im 3.859 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.859 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.859 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.859 * [taylor]: Taking taylor expansion of 3 in x.im 3.859 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.859 * [taylor]: Taking taylor expansion of x.im in x.im 3.859 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.859 * [taylor]: Taking taylor expansion of x.re in x.im 3.859 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.859 * [taylor]: Taking taylor expansion of 3 in x.re 3.859 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.859 * [taylor]: Taking taylor expansion of x.im in x.re 3.859 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.859 * [taylor]: Taking taylor expansion of x.re in x.re 3.859 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.859 * [taylor]: Taking taylor expansion of 3 in x.re 3.859 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.859 * [taylor]: Taking taylor expansion of x.im in x.re 3.859 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.859 * [taylor]: Taking taylor expansion of x.re in x.re 3.860 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.860 * [taylor]: Taking taylor expansion of 3 in x.im 3.860 * [taylor]: Taking taylor expansion of x.im in x.im 3.861 * [taylor]: Taking taylor expansion of 0 in x.im 3.863 * [taylor]: Taking taylor expansion of 0 in x.im 3.865 * [taylor]: Taking taylor expansion of 0 in x.im 3.865 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.865 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 3.865 * [taylor]: Taking taylor expansion of 3 in x.im 3.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.865 * [taylor]: Taking taylor expansion of x.im in x.im 3.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.865 * [taylor]: Taking taylor expansion of x.re in x.im 3.866 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.866 * [taylor]: Taking taylor expansion of 3 in x.re 3.866 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.866 * [taylor]: Taking taylor expansion of x.im in x.re 3.866 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.866 * [taylor]: Taking taylor expansion of x.re in x.re 3.866 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 3.866 * [taylor]: Taking taylor expansion of 3 in x.re 3.866 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.866 * [taylor]: Taking taylor expansion of x.im in x.re 3.866 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.866 * [taylor]: Taking taylor expansion of x.re in x.re 3.866 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.866 * [taylor]: Taking taylor expansion of 3 in x.im 3.866 * [taylor]: Taking taylor expansion of x.im in x.im 3.867 * [taylor]: Taking taylor expansion of 0 in x.im 3.869 * [taylor]: Taking taylor expansion of 0 in x.im 3.870 * [taylor]: Taking taylor expansion of 0 in x.im 3.871 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 3.871 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 3.871 * [taylor]: Taking taylor expansion of -3 in x.im 3.871 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.871 * [taylor]: Taking taylor expansion of x.im in x.im 3.871 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.871 * [taylor]: Taking taylor expansion of x.re in x.im 3.872 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.872 * [taylor]: Taking taylor expansion of -3 in x.re 3.872 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.872 * [taylor]: Taking taylor expansion of x.im in x.re 3.872 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.872 * [taylor]: Taking taylor expansion of x.re in x.re 3.872 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 3.872 * [taylor]: Taking taylor expansion of -3 in x.re 3.872 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.872 * [taylor]: Taking taylor expansion of x.im in x.re 3.872 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.872 * [taylor]: Taking taylor expansion of x.re in x.re 3.873 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 3.873 * [taylor]: Taking taylor expansion of -3 in x.im 3.873 * [taylor]: Taking taylor expansion of x.im in x.im 3.874 * [taylor]: Taking taylor expansion of 0 in x.im 3.875 * [taylor]: Taking taylor expansion of 0 in x.im 3.877 * [taylor]: Taking taylor expansion of 0 in x.im 3.877 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.878 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 3.878 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 3.878 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 3.878 * [taylor]: Taking taylor expansion of 3 in x.im 3.878 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.878 * [taylor]: Taking taylor expansion of x.im in x.im 3.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.878 * [taylor]: Taking taylor expansion of x.re in x.im 3.878 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.878 * [taylor]: Taking taylor expansion of x.im in x.im 3.878 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.878 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.878 * [taylor]: Taking taylor expansion of 3 in x.re 3.878 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.878 * [taylor]: Taking taylor expansion of x.im in x.re 3.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.878 * [taylor]: Taking taylor expansion of x.re in x.re 3.878 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.878 * [taylor]: Taking taylor expansion of x.im in x.re 3.878 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 3.878 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 3.878 * [taylor]: Taking taylor expansion of 3 in x.re 3.878 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.878 * [taylor]: Taking taylor expansion of x.im in x.re 3.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.878 * [taylor]: Taking taylor expansion of x.re in x.re 3.878 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.878 * [taylor]: Taking taylor expansion of x.im in x.re 3.878 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 3.878 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.878 * [taylor]: Taking taylor expansion of x.im in x.im 3.879 * [taylor]: Taking taylor expansion of 0 in x.im 3.880 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.880 * [taylor]: Taking taylor expansion of 3 in x.im 3.880 * [taylor]: Taking taylor expansion of x.im in x.im 3.883 * [taylor]: Taking taylor expansion of 0 in x.im 3.887 * [taylor]: Taking taylor expansion of 0 in x.im 3.895 * [taylor]: Taking taylor expansion of 0 in x.im 3.896 * [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.896 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 3.896 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.896 * [taylor]: Taking taylor expansion of 3 in x.im 3.896 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.896 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.896 * [taylor]: Taking taylor expansion of x.im in x.im 3.896 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.896 * [taylor]: Taking taylor expansion of x.re in x.im 3.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.896 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.896 * [taylor]: Taking taylor expansion of x.im in x.im 3.897 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.897 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.897 * [taylor]: Taking taylor expansion of 3 in x.re 3.897 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.897 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.897 * [taylor]: Taking taylor expansion of x.im in x.re 3.897 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.897 * [taylor]: Taking taylor expansion of x.re in x.re 3.897 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.897 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.897 * [taylor]: Taking taylor expansion of x.im in x.re 3.897 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 3.897 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.898 * [taylor]: Taking taylor expansion of 3 in x.re 3.898 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.898 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.898 * [taylor]: Taking taylor expansion of x.im in x.re 3.898 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.898 * [taylor]: Taking taylor expansion of x.re in x.re 3.898 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.898 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.898 * [taylor]: Taking taylor expansion of x.im in x.re 3.898 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.898 * [taylor]: Taking taylor expansion of 3 in x.im 3.898 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.898 * [taylor]: Taking taylor expansion of x.im in x.im 3.900 * [taylor]: Taking taylor expansion of 0 in x.im 3.901 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 3.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.901 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.901 * [taylor]: Taking taylor expansion of x.im in x.im 3.905 * [taylor]: Taking taylor expansion of 0 in x.im 3.910 * [taylor]: Taking taylor expansion of 0 in x.im 3.917 * [taylor]: Taking taylor expansion of 0 in x.im 3.919 * [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.919 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 3.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.919 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.919 * [taylor]: Taking taylor expansion of x.im in x.im 3.920 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 3.920 * [taylor]: Taking taylor expansion of 3 in x.im 3.920 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 3.920 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 3.920 * [taylor]: Taking taylor expansion of x.im in x.im 3.920 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 3.920 * [taylor]: Taking taylor expansion of x.re in x.im 3.921 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.921 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.921 * [taylor]: Taking taylor expansion of x.im in x.re 3.921 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.921 * [taylor]: Taking taylor expansion of 3 in x.re 3.921 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.921 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.921 * [taylor]: Taking taylor expansion of x.im in x.re 3.921 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.921 * [taylor]: Taking taylor expansion of x.re in x.re 3.921 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 3.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 3.921 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 3.921 * [taylor]: Taking taylor expansion of x.im in x.re 3.922 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 3.922 * [taylor]: Taking taylor expansion of 3 in x.re 3.922 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 3.922 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 3.922 * [taylor]: Taking taylor expansion of x.im in x.re 3.922 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 3.922 * [taylor]: Taking taylor expansion of x.re in x.re 3.922 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 3.922 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 3.922 * [taylor]: Taking taylor expansion of 3 in x.im 3.922 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 3.922 * [taylor]: Taking taylor expansion of x.im in x.im 3.924 * [taylor]: Taking taylor expansion of 0 in x.im 3.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 3.926 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 3.926 * [taylor]: Taking taylor expansion of x.im in x.im 3.929 * [taylor]: Taking taylor expansion of 0 in x.im 3.935 * [taylor]: Taking taylor expansion of 0 in x.im 3.942 * [taylor]: Taking taylor expansion of 0 in x.im 3.943 * * * [progress]: simplifying candidates 3.945 * [simplify]: Simplifying using # : (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (+ (log x.re) (+ (log x.re) (log x.im))) (+ (log x.re) (log (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (expm1 (* 3 (* x.re (* x.re x.im)))) (log1p (* 3 (* x.re (* x.re x.im)))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (+ (log 3) (+ (log x.re) (+ (log x.re) (log x.im)))) (+ (log 3) (+ (log x.re) (log (* x.re x.im)))) (+ (log 3) (log (* x.re (* x.re x.im)))) (log (* 3 (* x.re (* x.re x.im)))) (exp (* 3 (* x.re (* x.re x.im)))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (* 3 3) 3) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)))) (* (cbrt (* 3 (* x.re (* x.re x.im)))) (cbrt (* 3 (* x.re (* x.re x.im))))) (cbrt (* 3 (* x.re (* x.re x.im)))) (* (* (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im)))) (* 3 (* x.re (* x.re x.im)))) (sqrt (* 3 (* x.re (* x.re x.im)))) (sqrt (* 3 (* x.re (* x.re x.im)))) (* 3 x.re) (* (cbrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma 3 (* x.re (* x.re x.im)) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma 3 (* x.re (* x.re x.im)) (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma 3 (* x.re (* x.re x.im)) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma 3 (* x.re (* x.re x.im)) (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma 3 (* x.re (* x.re x.im)) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma 3 (* x.re (* x.re x.im)) (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (log1p (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* 3 (* x.re (* x.re x.im)))) (exp (pow x.im 3))) (log (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (exp (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (* (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3)))) (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (* (* (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3)) (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (sqrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (sqrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (- (pow (* 3 (* x.re (* x.re x.im))) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im)))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* x.re (* x.re x.im))) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im)))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* x.re (* x.re x.im))) (pow x.im 3)) (- (pow x.im 3)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 3.948 * * [simplify]: iteration 0 : 140 enodes (cost 1138 ) 3.987 * * [simplify]: iteration 1 : 329 enodes (cost 895 ) 4.135 * * [simplify]: iteration 2 : 1182 enodes (cost 770 ) 4.744 * * [simplify]: iteration done : 5001 enodes (cost 770 ) 4.745 * [simplify]: Simplified to: (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (pow (* x.re (* x.re x.im)) 3) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (expm1 (* 3 (* x.re (* x.re x.im)))) (log1p (* 3 (* x.re (* x.re x.im)))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (log (* 3 (* x.re (* x.re x.im)))) (log (* 3 (* x.re (* x.re x.im)))) (log (* 3 (* x.re (* x.re x.im)))) (log (* 3 (* x.re (* x.re x.im)))) (exp (* 3 (* x.re (* x.re x.im)))) (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.re x.im)))) (cbrt (* 3 (* x.re (* x.re x.im))))) (cbrt (* 3 (* x.re (* x.re x.im)))) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* 3 (* x.re (* x.re x.im)))) (sqrt (* 3 (* x.re (* x.re x.im)))) (* 3 x.re) (* (cbrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (log1p (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (- (pow x.im 3)) (exp (fma 3 (* x.im (pow x.re 2)) (- (pow x.im 3)))) (log (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (exp (fma 3 (* x.im (pow x.re 2)) (- (pow x.im 3)))) (* (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3)))) (cbrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (pow (fma 3 (* x.re (* x.re x.im)) (- (pow x.im 3))) 3) (sqrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (sqrt (- (* 3 (* x.re (* x.re x.im))) (pow x.im 3))) (- (pow (* 3 (* x.re (* x.re x.im))) 3) (pow (pow x.im 3) 3)) (fma 9 (* (pow x.re 3) (* x.im (* x.re x.im))) (* (pow x.im 3) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)))) (- (pow x.im 3)) (fma 9 (* (pow x.re 3) (* x.im (* x.re x.im))) (- (pow x.im 6))) (fma 3 (* x.im (pow x.re 2)) (pow x.im 3)) (- (pow x.im 3)) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) (fma (* x.re (* x.re x.im)) 3 (- (pow x.im 3))) 4.745 * * * [progress]: adding candidates to table 4.856 * * [progress]: iteration 2 / 4 4.856 * * * [progress]: picking best candidate 4.869 * * * * [pick]: Picked # 4.869 * * * [progress]: localizing error 4.876 * * * [progress]: generating rewritten candidates 4.876 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.886 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.903 * * * [progress]: generating series expansions 4.903 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.903 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.903 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.903 * [taylor]: Taking taylor expansion of 3 in x.im 4.903 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.903 * [taylor]: Taking taylor expansion of x.im in x.im 4.903 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.903 * [taylor]: Taking taylor expansion of x.re in x.im 4.903 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.903 * [taylor]: Taking taylor expansion of 3 in x.re 4.903 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.903 * [taylor]: Taking taylor expansion of x.im in x.re 4.903 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.903 * [taylor]: Taking taylor expansion of x.re in x.re 4.903 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.903 * [taylor]: Taking taylor expansion of 3 in x.re 4.903 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.903 * [taylor]: Taking taylor expansion of x.im in x.re 4.903 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.903 * [taylor]: Taking taylor expansion of x.re in x.re 4.904 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.904 * [taylor]: Taking taylor expansion of 3 in x.im 4.904 * [taylor]: Taking taylor expansion of x.im in x.im 4.905 * [taylor]: Taking taylor expansion of 0 in x.im 4.907 * [taylor]: Taking taylor expansion of 0 in x.im 4.909 * [taylor]: Taking taylor expansion of 0 in x.im 4.909 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.909 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 4.909 * [taylor]: Taking taylor expansion of 3 in x.im 4.909 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.909 * [taylor]: Taking taylor expansion of x.im in x.im 4.909 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.910 * [taylor]: Taking taylor expansion of x.re in x.im 4.910 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.910 * [taylor]: Taking taylor expansion of 3 in x.re 4.910 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.910 * [taylor]: Taking taylor expansion of x.im in x.re 4.910 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.910 * [taylor]: Taking taylor expansion of x.re in x.re 4.910 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.910 * [taylor]: Taking taylor expansion of 3 in x.re 4.910 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.910 * [taylor]: Taking taylor expansion of x.im in x.re 4.910 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.910 * [taylor]: Taking taylor expansion of x.re in x.re 4.911 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 4.911 * [taylor]: Taking taylor expansion of 3 in x.im 4.911 * [taylor]: Taking taylor expansion of x.im in x.im 4.912 * [taylor]: Taking taylor expansion of 0 in x.im 4.913 * [taylor]: Taking taylor expansion of 0 in x.im 4.915 * [taylor]: Taking taylor expansion of 0 in x.im 4.916 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.916 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 4.916 * [taylor]: Taking taylor expansion of -3 in x.im 4.916 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.916 * [taylor]: Taking taylor expansion of x.im in x.im 4.916 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.916 * [taylor]: Taking taylor expansion of x.re in x.im 4.916 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.916 * [taylor]: Taking taylor expansion of -3 in x.re 4.916 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.916 * [taylor]: Taking taylor expansion of x.im in x.re 4.916 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.916 * [taylor]: Taking taylor expansion of x.re in x.re 4.917 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.917 * [taylor]: Taking taylor expansion of -3 in x.re 4.917 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.917 * [taylor]: Taking taylor expansion of x.im in x.re 4.917 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.917 * [taylor]: Taking taylor expansion of x.re in x.re 4.917 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.917 * [taylor]: Taking taylor expansion of -3 in x.im 4.917 * [taylor]: Taking taylor expansion of x.im in x.im 4.918 * [taylor]: Taking taylor expansion of 0 in x.im 4.919 * [taylor]: Taking taylor expansion of 0 in x.im 4.921 * [taylor]: Taking taylor expansion of 0 in x.im 4.922 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.922 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 4.922 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 4.922 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.922 * [taylor]: Taking taylor expansion of 3 in x.im 4.922 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.922 * [taylor]: Taking taylor expansion of x.im in x.im 4.922 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.922 * [taylor]: Taking taylor expansion of x.re in x.im 4.922 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.922 * [taylor]: Taking taylor expansion of x.im in x.im 4.922 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 4.922 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.922 * [taylor]: Taking taylor expansion of 3 in x.re 4.922 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.922 * [taylor]: Taking taylor expansion of x.im in x.re 4.922 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.922 * [taylor]: Taking taylor expansion of x.re in x.re 4.922 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.922 * [taylor]: Taking taylor expansion of x.im in x.re 4.922 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 4.922 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.922 * [taylor]: Taking taylor expansion of 3 in x.re 4.922 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.922 * [taylor]: Taking taylor expansion of x.im in x.re 4.922 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.922 * [taylor]: Taking taylor expansion of x.re in x.re 4.922 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.922 * [taylor]: Taking taylor expansion of x.im in x.re 4.923 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 4.923 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.923 * [taylor]: Taking taylor expansion of x.im in x.im 4.923 * [taylor]: Taking taylor expansion of 0 in x.im 4.924 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.924 * [taylor]: Taking taylor expansion of 3 in x.im 4.924 * [taylor]: Taking taylor expansion of x.im in x.im 4.927 * [taylor]: Taking taylor expansion of 0 in x.im 4.931 * [taylor]: Taking taylor expansion of 0 in x.im 4.936 * [taylor]: Taking taylor expansion of 0 in x.im 4.937 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 4.937 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 4.937 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.937 * [taylor]: Taking taylor expansion of 3 in x.im 4.937 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.937 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.937 * [taylor]: Taking taylor expansion of x.im in x.im 4.937 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.937 * [taylor]: Taking taylor expansion of x.re in x.im 4.938 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.938 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.938 * [taylor]: Taking taylor expansion of x.im in x.im 4.938 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 4.938 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.938 * [taylor]: Taking taylor expansion of 3 in x.re 4.938 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.938 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.938 * [taylor]: Taking taylor expansion of x.im in x.re 4.938 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.938 * [taylor]: Taking taylor expansion of x.re in x.re 4.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.939 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.939 * [taylor]: Taking taylor expansion of x.im in x.re 4.939 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 4.939 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.939 * [taylor]: Taking taylor expansion of 3 in x.re 4.939 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.939 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.939 * [taylor]: Taking taylor expansion of x.im in x.re 4.939 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.939 * [taylor]: Taking taylor expansion of x.re in x.re 4.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.939 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.939 * [taylor]: Taking taylor expansion of x.im in x.re 4.940 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 4.940 * [taylor]: Taking taylor expansion of 3 in x.im 4.940 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.940 * [taylor]: Taking taylor expansion of x.im in x.im 4.941 * [taylor]: Taking taylor expansion of 0 in x.im 4.943 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 4.943 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.943 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.943 * [taylor]: Taking taylor expansion of x.im in x.im 4.947 * [taylor]: Taking taylor expansion of 0 in x.im 4.953 * [taylor]: Taking taylor expansion of 0 in x.im 4.960 * [taylor]: Taking taylor expansion of 0 in x.im 4.962 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 4.962 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 4.962 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.962 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.962 * [taylor]: Taking taylor expansion of x.im in x.im 4.963 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 4.963 * [taylor]: Taking taylor expansion of 3 in x.im 4.963 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 4.963 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.963 * [taylor]: Taking taylor expansion of x.im in x.im 4.963 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.963 * [taylor]: Taking taylor expansion of x.re in x.im 4.963 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 4.963 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.963 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.963 * [taylor]: Taking taylor expansion of x.im in x.re 4.963 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.964 * [taylor]: Taking taylor expansion of 3 in x.re 4.964 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.964 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.964 * [taylor]: Taking taylor expansion of x.im in x.re 4.964 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.964 * [taylor]: Taking taylor expansion of x.re in x.re 4.964 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 4.964 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 4.964 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 4.964 * [taylor]: Taking taylor expansion of x.im in x.re 4.964 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 4.964 * [taylor]: Taking taylor expansion of 3 in x.re 4.964 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 4.964 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.964 * [taylor]: Taking taylor expansion of x.im in x.re 4.964 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.964 * [taylor]: Taking taylor expansion of x.re in x.re 4.965 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 4.965 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 4.965 * [taylor]: Taking taylor expansion of 3 in x.im 4.965 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.965 * [taylor]: Taking taylor expansion of x.im in x.im 4.966 * [taylor]: Taking taylor expansion of 0 in x.im 4.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 4.968 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 4.968 * [taylor]: Taking taylor expansion of x.im in x.im 4.974 * [taylor]: Taking taylor expansion of 0 in x.im 4.980 * [taylor]: Taking taylor expansion of 0 in x.im 4.987 * [taylor]: Taking taylor expansion of 0 in x.im 4.989 * * * [progress]: simplifying candidates 4.989 * [simplify]: Simplifying using # : (expm1 (* (* 3 x.re) (* x.re x.im))) (log1p (* (* 3 x.re) (* x.re x.im))) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (+ (+ (log 3) (log x.re)) (+ (log x.re) (log x.im))) (+ (+ (log 3) (log x.re)) (log (* x.re x.im))) (+ (log (* 3 x.re)) (+ (log x.re) (log x.im))) (+ (log (* 3 x.re)) (log (* x.re x.im))) (log (* (* 3 x.re) (* x.re x.im))) (exp (* (* 3 x.re) (* x.re x.im))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* (* 3 x.re) (* x.re x.im))) (cbrt (* (* 3 x.re) (* x.re x.im)))) (cbrt (* (* 3 x.re) (* x.re x.im))) (* (* (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im))) (* (* 3 x.re) (* x.re x.im))) (sqrt (* (* 3 x.re) (* x.re x.im))) (sqrt (* (* 3 x.re) (* x.re x.im))) (* (* 3 x.re) x.re) (* x.re (* x.re x.im)) (fma (* 3 x.re) (* x.re x.im) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 x.re) (* x.re x.im) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (* 3 x.re) (* x.re x.im) (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (* 3 x.re) (* x.re x.im) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (* 3 x.re) (* x.re x.im) (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma (* 3 x.re) (* x.re x.im) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (* 3 x.re) (* x.re x.im) (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (log1p (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (* 3 x.re) (* x.re x.im))) (exp (pow x.im 3))) (log (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (exp (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (* (* (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3)) (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (- (pow (* (* 3 x.re) (* x.re x.im)) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 x.re) (* x.re x.im)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im))) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 x.re) (* x.re x.im)) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 4.993 * * [simplify]: iteration 0 : 127 enodes (cost 996 ) 5.025 * * [simplify]: iteration 1 : 310 enodes (cost 754 ) 5.175 * * [simplify]: iteration 2 : 1186 enodes (cost 645 ) 5.894 * * [simplify]: iteration done : 5000 enodes (cost 645 ) 5.894 * [simplify]: Simplified to: (expm1 (* (* 3 x.re) (* x.re x.im))) (log1p (* (* 3 x.re) (* x.re x.im))) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (exp (* (* 3 x.re) (* x.re x.im))) (pow (* (* 3 x.re) (* x.re x.im)) 3) (pow (* (* 3 x.re) (* x.re x.im)) 3) (pow (* (* 3 x.re) (* x.re x.im)) 3) (pow (* (* 3 x.re) (* x.re x.im)) 3) (* (cbrt (* (* 3 x.re) (* x.re x.im))) (cbrt (* (* 3 x.re) (* x.re x.im)))) (cbrt (* (* 3 x.re) (* x.re x.im))) (pow (* (* 3 x.re) (* x.re x.im)) 3) (sqrt (* (* 3 x.re) (* x.re x.im))) (sqrt (* (* 3 x.re) (* x.re x.im))) (* (* 3 x.re) x.re) (* x.re (* x.re x.im)) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (* (pow x.im 3) 0) (expm1 (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (log1p (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (- (pow x.im 3)) (exp (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))) (log (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (exp (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3))) (* (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3)))) (cbrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (pow (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) 3) (sqrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (sqrt (- (* (* 3 x.re) (* x.re x.im)) (pow x.im 3))) (- (pow (* (* 3 x.re) (* x.re x.im)) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma (* 3 x.re) (* x.re x.im) (pow x.im 3)) (* (* x.re 9) (* (* x.im x.im) (pow x.re 3)))) (- (pow x.im 3)) (- (* (* x.re 9) (* (* x.im x.im) (pow x.re 3))) (pow x.im 6)) (fma (* 3 x.re) (* x.re x.im) (pow x.im 3)) (- (pow x.im 3)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (* (* 3 x.re) (* x.re x.im)) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) (fma (* x.re x.im) (* 3 x.re) (- (pow x.im 3))) 5.894 * * * [progress]: adding candidates to table 5.968 * * [progress]: iteration 3 / 4 5.968 * * * [progress]: picking best candidate 5.980 * * * * [pick]: Picked # 5.980 * * * [progress]: localizing error 5.989 * * * [progress]: generating rewritten candidates 5.989 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.033 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.050 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 6.055 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 6.108 * * * [progress]: generating series expansions 6.109 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.109 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.109 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.109 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.110 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.110 * [taylor]: Taking taylor expansion of 3 in x.im 6.110 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.110 * [taylor]: Taking taylor expansion of x.im in x.im 6.110 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.110 * [taylor]: Taking taylor expansion of x.re in x.im 6.110 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.110 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.110 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.110 * [taylor]: Taking taylor expansion of 3 in x.re 6.111 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.111 * [taylor]: Taking taylor expansion of x.im in x.re 6.111 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.111 * [taylor]: Taking taylor expansion of x.re in x.re 6.111 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.111 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.111 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.111 * [taylor]: Taking taylor expansion of 3 in x.re 6.112 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.112 * [taylor]: Taking taylor expansion of x.im in x.re 6.112 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.112 * [taylor]: Taking taylor expansion of x.re in x.re 6.113 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im 6.114 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.114 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.114 * [taylor]: Taking taylor expansion of 3 in x.im 6.114 * [taylor]: Taking taylor expansion of x.im in x.im 6.117 * [taylor]: Taking taylor expansion of 0 in x.im 6.122 * [taylor]: Taking taylor expansion of 0 in x.im 6.127 * [taylor]: Taking taylor expansion of 0 in x.im 6.129 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.129 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.129 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.129 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.129 * [taylor]: Taking taylor expansion of 3 in x.im 6.129 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.129 * [taylor]: Taking taylor expansion of x.im in x.im 6.129 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.129 * [taylor]: Taking taylor expansion of x.re in x.im 6.131 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.131 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.131 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.131 * [taylor]: Taking taylor expansion of 3 in x.re 6.132 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.132 * [taylor]: Taking taylor expansion of x.im in x.re 6.132 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.132 * [taylor]: Taking taylor expansion of x.re in x.re 6.134 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.134 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.134 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.134 * [taylor]: Taking taylor expansion of 3 in x.re 6.134 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.134 * [taylor]: Taking taylor expansion of x.im in x.re 6.134 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.134 * [taylor]: Taking taylor expansion of x.re in x.re 6.136 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 6.136 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.136 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.136 * [taylor]: Taking taylor expansion of 3 in x.im 6.137 * [taylor]: Taking taylor expansion of x.im in x.im 6.141 * [taylor]: Taking taylor expansion of 0 in x.im 6.148 * [taylor]: Taking taylor expansion of 0 in x.im 6.153 * [taylor]: Taking taylor expansion of 0 in x.im 6.156 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 6.156 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im 6.156 * [taylor]: Taking taylor expansion of -1 in x.im 6.156 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.156 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.156 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.156 * [taylor]: Taking taylor expansion of 3 in x.im 6.157 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.157 * [taylor]: Taking taylor expansion of x.im in x.im 6.157 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.157 * [taylor]: Taking taylor expansion of x.re in x.im 6.159 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 6.159 * [taylor]: Taking taylor expansion of -1 in x.re 6.159 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.159 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.159 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.159 * [taylor]: Taking taylor expansion of 3 in x.re 6.160 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.160 * [taylor]: Taking taylor expansion of x.im in x.re 6.160 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.160 * [taylor]: Taking taylor expansion of x.re in x.re 6.161 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 6.161 * [taylor]: Taking taylor expansion of -1 in x.re 6.161 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.161 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.161 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.161 * [taylor]: Taking taylor expansion of 3 in x.re 6.162 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.162 * [taylor]: Taking taylor expansion of x.im in x.re 6.162 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.162 * [taylor]: Taking taylor expansion of x.re in x.re 6.164 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) x.im)) in x.im 6.164 * [taylor]: Taking taylor expansion of -1 in x.im 6.164 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 6.164 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.164 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.164 * [taylor]: Taking taylor expansion of 3 in x.im 6.165 * [taylor]: Taking taylor expansion of x.im in x.im 6.171 * [taylor]: Taking taylor expansion of 0 in x.im 6.177 * [taylor]: Taking taylor expansion of 0 in x.im 6.184 * [taylor]: Taking taylor expansion of 0 in x.im 6.188 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 6.188 * [approximate]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.188 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.im 6.188 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.188 * [taylor]: Taking taylor expansion of 3 in x.im 6.189 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.189 * [taylor]: Taking taylor expansion of x.im in x.im 6.189 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.189 * [taylor]: Taking taylor expansion of x.re in x.im 6.189 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.189 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.189 * [taylor]: Taking taylor expansion of 3 in x.re 6.190 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.190 * [taylor]: Taking taylor expansion of x.im in x.re 6.190 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.190 * [taylor]: Taking taylor expansion of x.re in x.re 6.190 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.190 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.190 * [taylor]: Taking taylor expansion of 3 in x.re 6.190 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.190 * [taylor]: Taking taylor expansion of x.im in x.re 6.190 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.191 * [taylor]: Taking taylor expansion of x.re in x.re 6.191 * [taylor]: Taking taylor expansion of (* (sqrt 3) x.im) in x.im 6.191 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.191 * [taylor]: Taking taylor expansion of 3 in x.im 6.192 * [taylor]: Taking taylor expansion of x.im in x.im 6.193 * [taylor]: Taking taylor expansion of 0 in x.im 6.196 * [taylor]: Taking taylor expansion of 0 in x.im 6.200 * [taylor]: Taking taylor expansion of 0 in x.im 6.201 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.201 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 6.201 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.201 * [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.202 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.202 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.202 * [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.204 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.204 * [taylor]: Taking taylor expansion of (sqrt 3) 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.205 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 6.205 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.205 * [taylor]: Taking taylor expansion of 3 in x.im 6.206 * [taylor]: Taking taylor expansion of x.im in x.im 6.207 * [taylor]: Taking taylor expansion of 0 in x.im 6.210 * [taylor]: Taking taylor expansion of 0 in x.im 6.213 * [taylor]: Taking taylor expansion of 0 in x.im 6.215 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 6.215 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.im 6.215 * [taylor]: Taking taylor expansion of -1 in x.im 6.215 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 6.215 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.215 * [taylor]: Taking taylor expansion of 3 in x.im 6.216 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.216 * [taylor]: Taking taylor expansion of x.im in x.im 6.216 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.216 * [taylor]: Taking taylor expansion of x.re in x.im 6.217 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 6.217 * [taylor]: Taking taylor expansion of -1 in x.re 6.217 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.217 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.217 * [taylor]: Taking taylor expansion of 3 in x.re 6.218 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.218 * [taylor]: Taking taylor expansion of x.im in x.re 6.218 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.218 * [taylor]: Taking taylor expansion of x.re in x.re 6.218 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 6.218 * [taylor]: Taking taylor expansion of -1 in x.re 6.218 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 6.218 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.218 * [taylor]: Taking taylor expansion of 3 in x.re 6.219 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.219 * [taylor]: Taking taylor expansion of x.im in x.re 6.219 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.219 * [taylor]: Taking taylor expansion of x.re in x.re 6.220 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x.im)) in x.im 6.220 * [taylor]: Taking taylor expansion of -1 in x.im 6.220 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 6.220 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.220 * [taylor]: Taking taylor expansion of 3 in x.im 6.220 * [taylor]: Taking taylor expansion of x.im in x.im 6.224 * [taylor]: Taking taylor expansion of 0 in x.im 6.232 * [taylor]: Taking taylor expansion of 0 in x.im 6.237 * [taylor]: Taking taylor expansion of 0 in x.im 6.240 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 6.240 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 6.240 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.240 * [taylor]: Taking taylor expansion of x.im in x.im 6.240 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.240 * [taylor]: Taking taylor expansion of x.re in x.im 6.240 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.240 * [taylor]: Taking taylor expansion of x.im in x.re 6.240 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.240 * [taylor]: Taking taylor expansion of x.re in x.re 6.240 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.240 * [taylor]: Taking taylor expansion of x.im in x.re 6.240 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.240 * [taylor]: Taking taylor expansion of x.re in x.re 6.240 * [taylor]: Taking taylor expansion of x.im in x.im 6.241 * [taylor]: Taking taylor expansion of 0 in x.im 6.242 * [taylor]: Taking taylor expansion of 0 in x.im 6.243 * [taylor]: Taking taylor expansion of 0 in x.im 6.243 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.243 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 6.243 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.243 * [taylor]: Taking taylor expansion of x.im in x.im 6.243 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.243 * [taylor]: Taking taylor expansion of x.re in x.im 6.244 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.244 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.244 * [taylor]: Taking taylor expansion of x.im in x.re 6.244 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.244 * [taylor]: Taking taylor expansion of x.re in x.re 6.244 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 6.244 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.244 * [taylor]: Taking taylor expansion of x.im in x.re 6.244 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.244 * [taylor]: Taking taylor expansion of x.re in x.re 6.245 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.245 * [taylor]: Taking taylor expansion of x.im in x.im 6.246 * [taylor]: Taking taylor expansion of 0 in x.im 6.247 * [taylor]: Taking taylor expansion of 0 in x.im 6.249 * [taylor]: Taking taylor expansion of 0 in x.im 6.249 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 6.249 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 6.249 * [taylor]: Taking taylor expansion of -1 in x.im 6.249 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.249 * [taylor]: Taking taylor expansion of x.im in x.im 6.249 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.250 * [taylor]: Taking taylor expansion of x.re in x.im 6.250 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 6.250 * [taylor]: Taking taylor expansion of -1 in x.re 6.250 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.250 * [taylor]: Taking taylor expansion of x.im in x.re 6.250 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.250 * [taylor]: Taking taylor expansion of x.re in x.re 6.250 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 6.250 * [taylor]: Taking taylor expansion of -1 in x.re 6.250 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.250 * [taylor]: Taking taylor expansion of x.im in x.re 6.251 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.251 * [taylor]: Taking taylor expansion of x.re in x.re 6.251 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 6.251 * [taylor]: Taking taylor expansion of -1 in x.im 6.251 * [taylor]: Taking taylor expansion of x.im in x.im 6.252 * [taylor]: Taking taylor expansion of 0 in x.im 6.253 * [taylor]: Taking taylor expansion of 0 in x.im 6.255 * [taylor]: Taking taylor expansion of 0 in x.im 6.256 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.257 * [approximate]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 6.257 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 6.257 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.257 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.257 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.257 * [taylor]: Taking taylor expansion of 3 in x.im 6.257 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.257 * [taylor]: Taking taylor expansion of x.im in x.im 6.257 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.257 * [taylor]: Taking taylor expansion of x.re in x.im 6.258 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.258 * [taylor]: Taking taylor expansion of x.im in x.im 6.258 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.258 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.258 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.258 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.258 * [taylor]: Taking taylor expansion of 3 in x.re 6.258 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.258 * [taylor]: Taking taylor expansion of x.im in x.re 6.258 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.258 * [taylor]: Taking taylor expansion of x.re in x.re 6.258 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.258 * [taylor]: Taking taylor expansion of x.im in x.re 6.258 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 6.258 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.258 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.258 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.258 * [taylor]: Taking taylor expansion of 3 in x.re 6.259 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.259 * [taylor]: Taking taylor expansion of x.im in x.re 6.259 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.259 * [taylor]: Taking taylor expansion of x.re in x.re 6.259 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.259 * [taylor]: Taking taylor expansion of x.im in x.re 6.260 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 6.260 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.260 * [taylor]: Taking taylor expansion of x.im in x.im 6.260 * [taylor]: Taking taylor expansion of 0 in x.im 6.263 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im 6.263 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.263 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.263 * [taylor]: Taking taylor expansion of 3 in x.im 6.264 * [taylor]: Taking taylor expansion of x.im in x.im 6.268 * [taylor]: Taking taylor expansion of 0 in x.im 6.276 * [taylor]: Taking taylor expansion of 0 in x.im 6.284 * [taylor]: Taking taylor expansion of 0 in x.im 6.286 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 6.286 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.im 6.286 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.286 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.286 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.286 * [taylor]: Taking taylor expansion of 3 in x.im 6.287 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.287 * [taylor]: Taking taylor expansion of x.im in x.im 6.287 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.287 * [taylor]: Taking taylor expansion of x.re in x.im 6.288 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.288 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.289 * [taylor]: Taking taylor expansion of x.im in x.im 6.289 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.re 6.289 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.289 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.289 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.289 * [taylor]: Taking taylor expansion of 3 in x.re 6.290 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.290 * [taylor]: Taking taylor expansion of x.im in x.re 6.290 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.290 * [taylor]: Taking taylor expansion of x.re in x.re 6.292 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.292 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.292 * [taylor]: Taking taylor expansion of x.im in x.re 6.292 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.re 6.292 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.292 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.292 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.292 * [taylor]: Taking taylor expansion of 3 in x.re 6.293 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.293 * [taylor]: Taking taylor expansion of x.im in x.re 6.293 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.293 * [taylor]: Taking taylor expansion of x.re in x.re 6.294 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.294 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.294 * [taylor]: Taking taylor expansion of x.im in x.re 6.295 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 6.295 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.295 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.295 * [taylor]: Taking taylor expansion of 3 in x.im 6.296 * [taylor]: Taking taylor expansion of x.im in x.im 6.299 * [taylor]: Taking taylor expansion of 0 in x.im 6.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 6.302 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.302 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.302 * [taylor]: Taking taylor expansion of x.im in x.im 6.307 * [taylor]: Taking taylor expansion of 0 in x.im 6.320 * [taylor]: Taking taylor expansion of 0 in x.im 6.329 * [taylor]: Taking taylor expansion of 0 in x.im 6.332 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 6.332 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im 6.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.332 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.332 * [taylor]: Taking taylor expansion of x.im in x.im 6.333 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 6.333 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.333 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.333 * [taylor]: Taking taylor expansion of 3 in x.im 6.334 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 6.334 * [taylor]: Taking taylor expansion of x.im in x.im 6.334 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 6.334 * [taylor]: Taking taylor expansion of x.re in x.im 6.335 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 6.336 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.336 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.336 * [taylor]: Taking taylor expansion of x.im in x.re 6.336 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.336 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.336 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.336 * [taylor]: Taking taylor expansion of 3 in x.re 6.336 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.336 * [taylor]: Taking taylor expansion of x.im in x.re 6.336 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.337 * [taylor]: Taking taylor expansion of x.re in x.re 6.338 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 6.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 6.338 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 6.338 * [taylor]: Taking taylor expansion of x.im in x.re 6.338 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 6.338 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 6.338 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 6.338 * [taylor]: Taking taylor expansion of 3 in x.re 6.339 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 6.339 * [taylor]: Taking taylor expansion of x.im in x.re 6.339 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 6.339 * [taylor]: Taking taylor expansion of x.re in x.re 6.342 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) x.im)) in x.im 6.342 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 6.342 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 6.342 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 6.342 * [taylor]: Taking taylor expansion of 3 in x.im 6.343 * [taylor]: Taking taylor expansion of x.im in x.im 6.347 * [taylor]: Taking taylor expansion of 0 in x.im 6.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 6.350 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 6.350 * [taylor]: Taking taylor expansion of x.im in x.im 6.356 * [taylor]: Taking taylor expansion of 0 in x.im 6.363 * [taylor]: Taking taylor expansion of 0 in x.im 6.371 * [taylor]: Taking taylor expansion of 0 in x.im 6.375 * * * [progress]: simplifying candidates 6.377 * [simplify]: Simplifying using # : (expm1 (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (log1p (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (log x.re) (+ (log x.re) (log x.im))))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (log x.re) (log (* x.re x.im))))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (log (* x.re (* x.re x.im))))) (+ (log (sqrt 3)) (log (* (sqrt 3) (* x.re (* x.re x.im))))) (log (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (exp (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im))))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (cbrt (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (cbrt (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))))) (cbrt (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (sqrt (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (sqrt (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (sqrt 3) (sqrt 3)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (expm1 (* (sqrt 3) (* x.re (* x.re x.im)))) (log1p (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (+ (log (sqrt 3)) (+ (log x.re) (+ (log x.re) (log x.im)))) (+ (log (sqrt 3)) (+ (log x.re) (log (* x.re x.im)))) (+ (log (sqrt 3)) (log (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (exp (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)))) (* (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im))))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) x.re) (* (cbrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt (cbrt 3)) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (+ (log x.re) (+ (log x.re) (log x.im))) (+ (log x.re) (log (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* x.im (* x.im x.im)))) (fma (- x.im) (* x.im x.im) (* x.im (* x.im x.im))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3)))))) (fma (- (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))) (* (cbrt (pow x.im 3)) (* (cbrt (pow x.im 3)) (cbrt (pow x.im 3))))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3)))) (fma (- (pow (cbrt x.im) 3)) (pow (* (cbrt x.im) (cbrt x.im)) 3) (* (pow (cbrt x.im) 3) (pow (* (cbrt x.im) (cbrt x.im)) 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3)))) (fma (- (pow (sqrt x.im) 3)) (pow (sqrt x.im) 3) (* (pow (sqrt x.im) 3) (pow (sqrt x.im) 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow x.im 3) (pow 1 3)))) (fma (- (pow x.im 3)) (pow 1 3) (* (pow x.im 3) (pow 1 3))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (* x.im x.im) x.im))) (fma (- (* x.im x.im)) x.im (* (* x.im x.im) x.im)) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3))))) (fma (- (sqrt (pow x.im 3))) (sqrt (pow x.im 3)) (* (sqrt (pow x.im 3)) (sqrt (pow x.im 3)))) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow x.im 3) 1))) (fma (- (pow x.im 3)) 1 (* (pow x.im 3) 1)) (fma (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))) (- (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2))))) (fma (- (pow x.im (/ 3 2))) (pow x.im (/ 3 2)) (* (pow x.im (/ 3 2)) (pow x.im (/ 3 2)))) (expm1 (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (log1p (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (- (pow x.im 3)) (/ (exp (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (exp (pow x.im 3))) (log (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (exp (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (* (cbrt (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (cbrt (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3)))) (cbrt (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (* (* (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3)) (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (sqrt (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (sqrt (- (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3))) (- (pow (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) 3) (pow (pow x.im 3) 3)) (+ (* (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (pow x.im 3) (pow x.im 3))) (+ (* (sqrt 3) (* (sqrt 3) (* x.re (* x.re x.im)))) (pow x.im 3)) (- (pow x.im 3)) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (sqrt 3) (* x.im (pow x.re 2))) (* (sqrt 3) (* x.im (pow x.re 2))) (* (sqrt 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)) (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) 6.382 * * [simplify]: iteration 0 : 167 enodes (cost 1826 ) 6.427 * * [simplify]: iteration 1 : 408 enodes (cost 1304 ) 6.640 * * [simplify]: iteration 2 : 1547 enodes (cost 1084 ) 7.288 * * [simplify]: iteration done : 5000 enodes (cost 1084 ) 7.288 * [simplify]: Simplified to: (expm1 (* (* x.re (* x.re x.im)) 3)) (log1p (* (* x.re (* x.re x.im)) 3)) (* (* x.re (* x.re x.im)) 3) (* (* x.re (* x.re x.im)) 3) (* (* x.re (* x.re x.im)) 3) (* (* x.re (* x.re x.im)) 3) (log (* (* x.re (* x.re x.im)) 3)) (log (* (* x.re (* x.re x.im)) 3)) (log (* (* x.re (* x.re x.im)) 3)) (log (* (* x.re (* x.re x.im)) 3)) (log (* (* x.re (* x.re x.im)) 3)) (exp (* (* x.re (* x.re x.im)) 3)) (pow (* (* x.re (* x.re x.im)) 3) 3) (pow (* (* x.re (* x.re x.im)) 3) 3) (pow (* (* x.re (* x.re x.im)) 3) 3) (pow (* (* x.re (* x.re x.im)) 3) 3) (* (cbrt (* (* x.im (pow x.re 2)) 3)) (cbrt (* (* x.im (pow x.re 2)) 3))) (cbrt (* (* x.im (pow x.re 2)) 3)) (pow (* (* x.re (* x.re x.im)) 3) 3) (sqrt (* (* x.im (pow x.re 2)) 3)) (sqrt (* (* x.im (pow x.re 2)) 3)) 3 (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* x.re (* x.re x.im)) 3) (* (sqrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* x.re (* x.re x.im)) 3) (expm1 (* (sqrt 3) (* x.re (* x.re x.im)))) (log1p (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (exp (* (sqrt 3) (* x.re (* x.re x.im)))) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (* (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im))))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) x.re) (* (cbrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt (cbrt 3)) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (pow (* x.re (* x.re x.im)) 3) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (* (pow x.im 3) 0) (expm1 (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (log1p (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (- (pow x.im 3)) (exp (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (log (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (exp (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (* (cbrt (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (cbrt (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3)))) (cbrt (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (pow (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) 3) (sqrt (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (sqrt (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3))) (- (pow (* (* x.im (pow x.re 2)) 3) 3) (pow (pow x.im 3) 3)) (fma (pow x.im 3) (fma 3 (* x.re (* x.re x.im)) (pow x.im 3)) (* (* (pow x.re 3) (* x.im (* x.re x.im))) 9)) (- (pow x.im 3)) (- (* (* (pow x.re 3) (* x.im (* x.re x.im))) 9) (pow x.im 6)) (fma 3 (* x.re (* x.re x.im)) (pow x.im 3)) (- (pow x.im 3)) (* (* x.re (* x.re x.im)) 3) (* (* x.re (* x.re x.im)) 3) (* (* x.re (* x.re x.im)) 3) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) (- (* (* x.re (* x.re x.im)) 3) (pow x.im 3)) 7.289 * * * [progress]: adding candidates to table 7.476 * * [progress]: iteration 4 / 4 7.476 * * * [progress]: picking best candidate 7.488 * * * * [pick]: Picked # 7.488 * * * [progress]: localizing error 7.501 * * * [progress]: generating rewritten candidates 7.501 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 7.510 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 7.649 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 7.666 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 7.678 * * * [progress]: generating series expansions 7.678 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 7.678 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 7.680 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.680 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 7.680 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.680 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.680 * [taylor]: Taking taylor expansion of 3 in x.im 7.681 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.681 * [taylor]: Taking taylor expansion of x.im in x.im 7.681 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.681 * [taylor]: Taking taylor expansion of x.re in x.im 7.681 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.681 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.681 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.681 * [taylor]: Taking taylor expansion of 3 in x.re 7.682 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.682 * [taylor]: Taking taylor expansion of x.im in x.re 7.682 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.682 * [taylor]: Taking taylor expansion of x.re in x.re 7.682 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.682 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.682 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.682 * [taylor]: Taking taylor expansion of 3 in x.re 7.683 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.683 * [taylor]: Taking taylor expansion of x.im in x.re 7.683 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.683 * [taylor]: Taking taylor expansion of x.re in x.re 7.685 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im 7.685 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.685 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.685 * [taylor]: Taking taylor expansion of 3 in x.im 7.685 * [taylor]: Taking taylor expansion of x.im in x.im 7.688 * [taylor]: Taking taylor expansion of 0 in x.im 7.694 * [taylor]: Taking taylor expansion of 0 in x.im 7.698 * [taylor]: Taking taylor expansion of 0 in x.im 7.701 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.702 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 7.702 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.702 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.702 * [taylor]: Taking taylor expansion of 3 in x.im 7.702 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.702 * [taylor]: Taking taylor expansion of x.im in x.im 7.702 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.702 * [taylor]: Taking taylor expansion of x.re in x.im 7.704 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.704 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.704 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.704 * [taylor]: Taking taylor expansion of 3 in x.re 7.705 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.705 * [taylor]: Taking taylor expansion of x.im in x.re 7.705 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.705 * [taylor]: Taking taylor expansion of x.re in x.re 7.707 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.707 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.707 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.707 * [taylor]: Taking taylor expansion of 3 in x.re 7.707 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.708 * [taylor]: Taking taylor expansion of x.im in x.re 7.708 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.708 * [taylor]: Taking taylor expansion of x.re in x.re 7.709 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 7.709 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.709 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.709 * [taylor]: Taking taylor expansion of 3 in x.im 7.710 * [taylor]: Taking taylor expansion of x.im in x.im 7.714 * [taylor]: Taking taylor expansion of 0 in x.im 7.723 * [taylor]: Taking taylor expansion of 0 in x.im 7.727 * [taylor]: Taking taylor expansion of 0 in x.im 7.732 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 7.732 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im 7.732 * [taylor]: Taking taylor expansion of -1 in x.im 7.732 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 7.732 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.732 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.732 * [taylor]: Taking taylor expansion of 3 in x.im 7.733 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.733 * [taylor]: Taking taylor expansion of x.im in x.im 7.733 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.733 * [taylor]: Taking taylor expansion of x.re in x.im 7.735 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 7.735 * [taylor]: Taking taylor expansion of -1 in x.re 7.735 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.735 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.735 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.735 * [taylor]: Taking taylor expansion of 3 in x.re 7.736 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.736 * [taylor]: Taking taylor expansion of x.im in x.re 7.736 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.736 * [taylor]: Taking taylor expansion of x.re in x.re 7.738 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 7.738 * [taylor]: Taking taylor expansion of -1 in x.re 7.738 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 7.738 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 7.738 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.738 * [taylor]: Taking taylor expansion of 3 in x.re 7.739 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.739 * [taylor]: Taking taylor expansion of x.im in x.re 7.739 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.739 * [taylor]: Taking taylor expansion of x.re in x.re 7.741 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) x.im)) in x.im 7.741 * [taylor]: Taking taylor expansion of -1 in x.im 7.741 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 7.741 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 7.741 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.741 * [taylor]: Taking taylor expansion of 3 in x.im 7.742 * [taylor]: Taking taylor expansion of x.im in x.im 7.748 * [taylor]: Taking taylor expansion of 0 in x.im 7.753 * [taylor]: Taking taylor expansion of 0 in x.im 7.761 * [taylor]: Taking taylor expansion of 0 in x.im 7.765 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 7.765 * [approximate]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.765 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.im 7.765 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.765 * [taylor]: Taking taylor expansion of 3 in x.im 7.766 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.766 * [taylor]: Taking taylor expansion of x.im in x.im 7.766 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.766 * [taylor]: Taking taylor expansion of x.re in x.im 7.766 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.766 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.766 * [taylor]: Taking taylor expansion of 3 in x.re 7.766 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.767 * [taylor]: Taking taylor expansion of x.im in x.re 7.767 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.767 * [taylor]: Taking taylor expansion of x.re in x.re 7.767 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.767 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.767 * [taylor]: Taking taylor expansion of 3 in x.re 7.767 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.767 * [taylor]: Taking taylor expansion of x.im in x.re 7.767 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.767 * [taylor]: Taking taylor expansion of x.re in x.re 7.768 * [taylor]: Taking taylor expansion of (* (sqrt 3) x.im) in x.im 7.768 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.768 * [taylor]: Taking taylor expansion of 3 in x.im 7.769 * [taylor]: Taking taylor expansion of x.im in x.im 7.770 * [taylor]: Taking taylor expansion of 0 in x.im 7.773 * [taylor]: Taking taylor expansion of 0 in x.im 7.777 * [taylor]: Taking taylor expansion of 0 in x.im 7.778 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.778 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 7.778 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.778 * [taylor]: Taking taylor expansion of 3 in x.im 7.778 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.778 * [taylor]: Taking taylor expansion of x.im in x.im 7.778 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.778 * [taylor]: Taking taylor expansion of x.re in x.im 7.779 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.779 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.779 * [taylor]: Taking taylor expansion of 3 in x.re 7.780 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.780 * [taylor]: Taking taylor expansion of x.im in x.re 7.780 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.780 * [taylor]: Taking taylor expansion of x.re in x.re 7.780 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.780 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.780 * [taylor]: Taking taylor expansion of 3 in x.re 7.781 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.781 * [taylor]: Taking taylor expansion of x.im in x.re 7.781 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.781 * [taylor]: Taking taylor expansion of x.re in x.re 7.782 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 7.782 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.782 * [taylor]: Taking taylor expansion of 3 in x.im 7.782 * [taylor]: Taking taylor expansion of x.im in x.im 7.784 * [taylor]: Taking taylor expansion of 0 in x.im 7.787 * [taylor]: Taking taylor expansion of 0 in x.im 7.790 * [taylor]: Taking taylor expansion of 0 in x.im 7.792 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 7.792 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.im 7.792 * [taylor]: Taking taylor expansion of -1 in x.im 7.792 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 7.792 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.792 * [taylor]: Taking taylor expansion of 3 in x.im 7.793 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.793 * [taylor]: Taking taylor expansion of x.im in x.im 7.793 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.793 * [taylor]: Taking taylor expansion of x.re in x.im 7.794 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 7.794 * [taylor]: Taking taylor expansion of -1 in x.re 7.794 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.794 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.794 * [taylor]: Taking taylor expansion of 3 in x.re 7.794 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.794 * [taylor]: Taking taylor expansion of x.im in x.re 7.794 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.794 * [taylor]: Taking taylor expansion of x.re in x.re 7.795 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 7.795 * [taylor]: Taking taylor expansion of -1 in x.re 7.795 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 7.795 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 7.795 * [taylor]: Taking taylor expansion of 3 in x.re 7.796 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.796 * [taylor]: Taking taylor expansion of x.im in x.re 7.796 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.796 * [taylor]: Taking taylor expansion of x.re in x.re 7.796 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x.im)) in x.im 7.796 * [taylor]: Taking taylor expansion of -1 in x.im 7.796 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 7.796 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 7.797 * [taylor]: Taking taylor expansion of 3 in x.im 7.797 * [taylor]: Taking taylor expansion of x.im in x.im 7.800 * [taylor]: Taking taylor expansion of 0 in x.im 7.809 * [taylor]: Taking taylor expansion of 0 in x.im 7.814 * [taylor]: Taking taylor expansion of 0 in x.im 7.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 7.816 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 7.816 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.816 * [taylor]: Taking taylor expansion of x.im in x.im 7.816 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.816 * [taylor]: Taking taylor expansion of x.re in x.im 7.816 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.816 * [taylor]: Taking taylor expansion of x.im in x.re 7.816 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.816 * [taylor]: Taking taylor expansion of x.re in x.re 7.817 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.817 * [taylor]: Taking taylor expansion of x.im in x.re 7.817 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.817 * [taylor]: Taking taylor expansion of x.re in x.re 7.817 * [taylor]: Taking taylor expansion of x.im in x.im 7.818 * [taylor]: Taking taylor expansion of 0 in x.im 7.818 * [taylor]: Taking taylor expansion of 0 in x.im 7.819 * [taylor]: Taking taylor expansion of 0 in x.im 7.820 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.820 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 7.820 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.820 * [taylor]: Taking taylor expansion of x.im in x.im 7.820 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.820 * [taylor]: Taking taylor expansion of x.re in x.im 7.820 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.820 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.820 * [taylor]: Taking taylor expansion of x.im in x.re 7.820 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.820 * [taylor]: Taking taylor expansion of x.re in x.re 7.821 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.821 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.821 * [taylor]: Taking taylor expansion of x.im in x.re 7.821 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.821 * [taylor]: Taking taylor expansion of x.re in x.re 7.821 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 7.821 * [taylor]: Taking taylor expansion of x.im in x.im 7.822 * [taylor]: Taking taylor expansion of 0 in x.im 7.823 * [taylor]: Taking taylor expansion of 0 in x.im 7.825 * [taylor]: Taking taylor expansion of 0 in x.im 7.826 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.826 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 7.826 * [taylor]: Taking taylor expansion of -1 in x.im 7.826 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.826 * [taylor]: Taking taylor expansion of x.im in x.im 7.826 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.826 * [taylor]: Taking taylor expansion of x.re in x.im 7.827 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 7.827 * [taylor]: Taking taylor expansion of -1 in x.re 7.827 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.827 * [taylor]: Taking taylor expansion of x.im in x.re 7.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.827 * [taylor]: Taking taylor expansion of x.re in x.re 7.827 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 7.827 * [taylor]: Taking taylor expansion of -1 in x.re 7.827 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.827 * [taylor]: Taking taylor expansion of x.im in x.re 7.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.827 * [taylor]: Taking taylor expansion of x.re in x.re 7.827 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 7.827 * [taylor]: Taking taylor expansion of -1 in x.im 7.827 * [taylor]: Taking taylor expansion of x.im in x.im 7.828 * [taylor]: Taking taylor expansion of 0 in x.im 7.830 * [taylor]: Taking taylor expansion of 0 in x.im 7.832 * [taylor]: Taking taylor expansion of 0 in x.im 7.832 * * * [progress]: simplifying candidates 7.834 * [simplify]: Simplifying using # : (expm1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log1p (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ 1/3 1/3) (+ 1 1) (* (sqrt 3) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (+ 1 1) (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (sqrt 3)) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (sqrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (* (cbrt 3) (cbrt 3)))) (cbrt (sqrt (* (cbrt 3) (cbrt 3))))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 1)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* 1 1) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (sqrt (cbrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* 2 1/3) (* 2 1) (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (sqrt 3)) (cbrt (sqrt (* (cbrt 3) (cbrt 3))))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 1))) (* (cbrt (sqrt 3)) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt 1)) (* (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (* (cbrt (sqrt 3)) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) 1) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (sqrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (expm1 (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (log1p (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (+ (log x.re) (+ (log x.re) (log x.im)))))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (+ (log x.re) (log (* x.re x.im)))))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (log (* x.re (* x.re x.im)))))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* (sqrt 3) (* x.re (* x.re x.im)))))) (+ (+ (log (cbrt (sqrt 3))) (log (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (+ (log x.re) (+ (log x.re) (log x.im)))))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (+ (log x.re) (log (* x.re x.im)))))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (+ (log (sqrt 3)) (log (* x.re (* x.re x.im)))))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (+ (log (cbrt (sqrt 3))) (log (* (sqrt 3) (* x.re (* x.re x.im)))))) (+ (log (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (log (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (exp (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)))))) (* (* (sqrt 3) (sqrt 3)) (* (sqrt 3) (* (* (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (sqrt 3) (sqrt 3)) (* (* (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (sqrt 3) (* (* (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (* (* (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))))) (cbrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (sqrt (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))))) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (expm1 (* (sqrt 3) (* x.re (* x.re x.im)))) (log1p (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (+ (log (sqrt 3)) (+ (log x.re) (+ (log x.re) (log x.im)))) (+ (log (sqrt 3)) (+ (log x.re) (log (* x.re x.im)))) (+ (log (sqrt 3)) (log (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (exp (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)))) (* (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im))))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (* (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) x.re) (* (cbrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt (cbrt 3)) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (+ (log x.re) (+ (log x.re) (log x.im))) (+ (log x.re) (log (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* x.re x.re) x.re) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (* (* (* x.re (* x.re x.im)) (* x.re (* x.re x.im))) (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (* (sqrt 3) (* x.im (pow x.re 2))) (* (sqrt 3) (* x.im (pow x.re 2))) (* (sqrt 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)) 7.840 * * [simplify]: iteration 0 : 162 enodes (cost 2363 ) 7.883 * * [simplify]: iteration 1 : 410 enodes (cost 2134 ) 8.007 * * [simplify]: iteration 2 : 1545 enodes (cost 1573 ) 8.697 * * [simplify]: iteration done : 5000 enodes (cost 1573 ) 8.698 * [simplify]: Simplified to: (expm1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (log1p (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) 2/3 2 3 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 2 (* 2 (log (cbrt (sqrt 3)))) (* 2 (log (cbrt (sqrt 3)))) (exp (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) 3 (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (pow (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 3) (fabs (cbrt (sqrt 3))) (fabs (cbrt (sqrt 3))) (* (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (* (cbrt (fabs (cbrt 3))) (cbrt (fabs (cbrt 3)))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt (cbrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) 1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) 1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (cbrt (sqrt 3))) (pow (cbrt (cbrt (sqrt 3))) 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3)))) (cbrt (sqrt 3)) (cbrt (sqrt 3)) 1 (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (* (cbrt (sqrt (sqrt 3))) (sqrt (cbrt (sqrt 3)))) (cbrt (sqrt 3)) (cbrt (sqrt 3)) 2/3 2 (* (cbrt (sqrt 3)) (cbrt (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))) (* (cbrt (fabs (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (cbrt (sqrt 3)) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (cbrt (sqrt 3))))) (pow (sqrt (cbrt (sqrt 3))) 3) (cbrt (sqrt 3)) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (cbrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt (sqrt 3))) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (cbrt (sqrt 3))) (cbrt (sqrt 3))) (pow (sqrt (cbrt (sqrt 3))) 3) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (expm1 (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log1p (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (log (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (pow (exp (pow (cbrt (sqrt 3)) 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* 3 (* (pow (* x.re (* x.re x.im)) 3) 9)) (* 3 (* (pow (* x.re (* x.re x.im)) 3) 9)) (* 3 (* (pow (* x.re (* x.re x.im)) 3) 9)) (* 3 (* (pow (* x.re (* x.re x.im)) 3) 9)) (* (pow (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) 3) 3) (* (pow (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 3) (* (pow (* x.re (* x.re x.im)) 3) 9)) (* (pow (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 3) (* (pow (* x.re (* x.re x.im)) 3) 9)) (* (pow (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 3) (* (pow (* x.re (* x.re x.im)) 3) 9)) (* (pow (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) 3) (* (pow (* x.re (* x.re x.im)) 3) 9)) (pow (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) 3) (* (cbrt (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (cbrt (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)))) (cbrt (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (pow (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3)) 3) (sqrt (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (sqrt (* (* (sqrt 3) (* x.re (* x.re x.im))) (pow (cbrt (sqrt 3)) 3))) (pow (cbrt (sqrt 3)) 3) (* (cbrt (sqrt 3)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im))))) (expm1 (* (sqrt 3) (* x.re (* x.re x.im)))) (log1p (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (log (* (sqrt 3) (* x.re (* x.re x.im)))) (exp (* (sqrt 3) (* x.re (* x.re x.im)))) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (* (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im))))) (cbrt (* (sqrt 3) (* x.re (* x.re x.im)))) (pow (* (sqrt 3) (* x.re (* x.re x.im))) 3) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (sqrt (* (sqrt 3) (* x.re (* x.re x.im)))) (* (sqrt 3) x.re) (* (cbrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt (cbrt 3)) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt (sqrt 3)) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (expm1 (* x.re (* x.re x.im))) (log1p (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (log (* x.re (* x.re x.im))) (exp (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (pow (* x.re (* x.re x.im)) 3) (* (cbrt (* x.re (* x.re x.im))) (cbrt (* x.re (* x.re x.im)))) (cbrt (* x.re (* x.re x.im))) (pow (* x.re (* x.re x.im)) 3) (sqrt (* x.re (* x.re x.im))) (sqrt (* x.re (* x.re x.im))) (* x.re x.re) (* (cbrt x.re) (* x.re x.im)) (* (sqrt x.re) (* x.re x.im)) (* x.re (* x.re x.im)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* x.re (* x.re x.im)))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (* 3 (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* (sqrt 3) (* x.re (* x.re x.im))) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) (* x.re (* x.re x.im)) 8.699 * * * [progress]: adding candidates to table 9.162 * [progress]: [Phase 3 of 3] Extracting. 9.162 * * [regime]: Finding splitpoints for: (# # # # # #) 9.163 * * * [regime-changes]: Trying 3 branch expressions: ((+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) x.im x.re) 9.163 * * * * [regimes]: Trying to branch on (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) from (# # # # # #) 9.185 * * * * [regimes]: Trying to branch on x.im from (# # # # # #) 9.208 * * * * [regimes]: Trying to branch on x.re from (# # # # # #) 9.229 * * * [regime]: Found split indices: #