3.942 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.033 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.034 * * [simplify]: iteration 1 : 19 enodes (cost 19 ) 0.037 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 0.044 * * [simplify]: iteration 3 : 100 enodes (cost 17 ) 0.064 * * [simplify]: iteration 4 : 212 enodes (cost 11 ) 0.125 * * [simplify]: iteration 5 : 430 enodes (cost 11 ) 0.297 * * [simplify]: iteration 6 : 955 enodes (cost 11 ) 1.267 * * [simplify]: iteration 7 : 2776 enodes (cost 11 ) 2.764 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 2.764 * [simplify]: Simplified to: (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 2.767 * * [progress]: iteration 1 / 4 2.767 * * * [progress]: picking best candidate 2.770 * * * * [pick]: Picked # 2.771 * * * [progress]: localizing error 2.778 * * * [progress]: generating rewritten candidates 2.778 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 2.785 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.802 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.826 * * * [progress]: generating series expansions 2.826 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 2.826 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 2.826 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.827 * [taylor]: Taking taylor expansion of x.im in x.im 2.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.827 * [taylor]: Taking taylor expansion of x.re in x.im 2.827 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.827 * [taylor]: Taking taylor expansion of x.im in x.re 2.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.827 * [taylor]: Taking taylor expansion of x.re in x.re 2.827 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.827 * [taylor]: Taking taylor expansion of x.im in x.re 2.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.827 * [taylor]: Taking taylor expansion of x.re in x.re 2.827 * [taylor]: Taking taylor expansion of x.im in x.im 2.828 * [taylor]: Taking taylor expansion of 0 in x.im 2.829 * [taylor]: Taking taylor expansion of 0 in x.im 2.830 * [taylor]: Taking taylor expansion of 0 in x.im 2.831 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.831 * [taylor]: Taking taylor expansion of x.im in x.im 2.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.831 * [taylor]: Taking taylor expansion of x.re in x.im 2.831 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.831 * [taylor]: Taking taylor expansion of x.im in x.re 2.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.831 * [taylor]: Taking taylor expansion of x.re in x.re 2.832 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.832 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.832 * [taylor]: Taking taylor expansion of x.im in x.re 2.832 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.832 * [taylor]: Taking taylor expansion of x.re in x.re 2.832 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.832 * [taylor]: Taking taylor expansion of x.im in x.im 2.833 * [taylor]: Taking taylor expansion of 0 in x.im 2.835 * [taylor]: Taking taylor expansion of 0 in x.im 2.837 * [taylor]: Taking taylor expansion of 0 in x.im 2.837 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.837 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 2.837 * [taylor]: Taking taylor expansion of -1 in x.im 2.838 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.838 * [taylor]: Taking taylor expansion of x.im in x.im 2.838 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.838 * [taylor]: Taking taylor expansion of x.re in x.im 2.838 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 2.838 * [taylor]: Taking taylor expansion of -1 in x.re 2.838 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.838 * [taylor]: Taking taylor expansion of x.im in x.re 2.838 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.838 * [taylor]: Taking taylor expansion of x.re in x.re 2.839 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 2.839 * [taylor]: Taking taylor expansion of -1 in x.re 2.839 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.839 * [taylor]: Taking taylor expansion of x.im in x.re 2.839 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.839 * [taylor]: Taking taylor expansion of x.re in x.re 2.839 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 2.839 * [taylor]: Taking taylor expansion of -1 in x.im 2.839 * [taylor]: Taking taylor expansion of x.im in x.im 2.840 * [taylor]: Taking taylor expansion of 0 in x.im 2.842 * [taylor]: Taking taylor expansion of 0 in x.im 2.844 * [taylor]: Taking taylor expansion of 0 in x.im 2.844 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.845 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.845 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.845 * [taylor]: Taking taylor expansion of 3 in x.im 2.845 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.845 * [taylor]: Taking taylor expansion of x.im in x.im 2.845 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.845 * [taylor]: Taking taylor expansion of x.re in x.im 2.845 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.845 * [taylor]: Taking taylor expansion of 3 in x.re 2.845 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.845 * [taylor]: Taking taylor expansion of x.im in x.re 2.845 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.845 * [taylor]: Taking taylor expansion of x.re in x.re 2.845 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.845 * [taylor]: Taking taylor expansion of 3 in x.re 2.845 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.845 * [taylor]: Taking taylor expansion of x.im in x.re 2.845 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.845 * [taylor]: Taking taylor expansion of x.re in x.re 2.845 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.845 * [taylor]: Taking taylor expansion of 3 in x.im 2.845 * [taylor]: Taking taylor expansion of x.im in x.im 2.846 * [taylor]: Taking taylor expansion of 0 in x.im 2.849 * [taylor]: Taking taylor expansion of 0 in x.im 2.851 * [taylor]: Taking taylor expansion of 0 in x.im 2.851 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.851 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 2.851 * [taylor]: Taking taylor expansion of 3 in x.im 2.851 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.851 * [taylor]: Taking taylor expansion of x.im in x.im 2.851 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.851 * [taylor]: Taking taylor expansion of x.re in x.im 2.852 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 2.852 * [taylor]: Taking taylor expansion of 3 in x.re 2.852 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.852 * [taylor]: Taking taylor expansion of x.im in x.re 2.852 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.852 * [taylor]: Taking taylor expansion of x.re in x.re 2.852 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 2.852 * [taylor]: Taking taylor expansion of 3 in x.re 2.852 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.853 * [taylor]: Taking taylor expansion of x.im in x.re 2.853 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.853 * [taylor]: Taking taylor expansion of x.re in x.re 2.853 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 2.853 * [taylor]: Taking taylor expansion of 3 in x.im 2.853 * [taylor]: Taking taylor expansion of x.im in x.im 2.854 * [taylor]: Taking taylor expansion of 0 in x.im 2.855 * [taylor]: Taking taylor expansion of 0 in x.im 2.857 * [taylor]: Taking taylor expansion of 0 in x.im 2.858 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 2.858 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 2.858 * [taylor]: Taking taylor expansion of -3 in x.im 2.858 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.858 * [taylor]: Taking taylor expansion of x.im in x.im 2.858 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.858 * [taylor]: Taking taylor expansion of x.re in x.im 2.859 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.859 * [taylor]: Taking taylor expansion of -3 in x.re 2.859 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.859 * [taylor]: Taking taylor expansion of x.im in x.re 2.859 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.859 * [taylor]: Taking taylor expansion of x.re in x.re 2.859 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 2.859 * [taylor]: Taking taylor expansion of -3 in x.re 2.859 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.859 * [taylor]: Taking taylor expansion of x.im in x.re 2.859 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.859 * [taylor]: Taking taylor expansion of x.re in x.re 2.860 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.860 * [taylor]: Taking taylor expansion of -3 in x.im 2.860 * [taylor]: Taking taylor expansion of x.im in x.im 2.861 * [taylor]: Taking taylor expansion of 0 in x.im 2.862 * [taylor]: Taking taylor expansion of 0 in x.im 2.864 * [taylor]: Taking taylor expansion of 0 in x.im 2.865 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.865 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 2.865 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 2.865 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 2.865 * [taylor]: Taking taylor expansion of 3 in x.im 2.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.865 * [taylor]: Taking taylor expansion of x.im in x.im 2.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.865 * [taylor]: Taking taylor expansion of x.re in x.im 2.865 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.865 * [taylor]: Taking taylor expansion of x.im in x.im 2.865 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.865 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.865 * [taylor]: Taking taylor expansion of 3 in x.re 2.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.865 * [taylor]: Taking taylor expansion of x.im in x.re 2.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.865 * [taylor]: Taking taylor expansion of x.re in x.re 2.865 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.865 * [taylor]: Taking taylor expansion of x.im in x.re 2.865 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 2.865 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 2.865 * [taylor]: Taking taylor expansion of 3 in x.re 2.866 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.866 * [taylor]: Taking taylor expansion of x.im in x.re 2.866 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.866 * [taylor]: Taking taylor expansion of x.re in x.re 2.866 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.866 * [taylor]: Taking taylor expansion of x.im in x.re 2.866 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 2.866 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.866 * [taylor]: Taking taylor expansion of x.im in x.im 2.867 * [taylor]: Taking taylor expansion of 0 in x.im 2.868 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.868 * [taylor]: Taking taylor expansion of 3 in x.im 2.868 * [taylor]: Taking taylor expansion of x.im in x.im 2.871 * [taylor]: Taking taylor expansion of 0 in x.im 2.875 * [taylor]: Taking taylor expansion of 0 in x.im 2.882 * [taylor]: Taking taylor expansion of 0 in x.im 2.882 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in (x.re x.im) around 0 2.882 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 2.882 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.882 * [taylor]: Taking taylor expansion of 3 in x.im 2.882 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.882 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.882 * [taylor]: Taking taylor expansion of x.im in x.im 2.882 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.882 * [taylor]: Taking taylor expansion of x.re in x.im 2.883 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.883 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.883 * [taylor]: Taking taylor expansion of x.im in x.im 2.884 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.884 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.884 * [taylor]: Taking taylor expansion of 3 in x.re 2.884 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.884 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.884 * [taylor]: Taking taylor expansion of x.im in x.re 2.884 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.884 * [taylor]: Taking taylor expansion of x.re in x.re 2.884 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.884 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.884 * [taylor]: Taking taylor expansion of x.im in x.re 2.884 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 2.884 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.884 * [taylor]: Taking taylor expansion of 3 in x.re 2.884 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.884 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.884 * [taylor]: Taking taylor expansion of x.im in x.re 2.884 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.884 * [taylor]: Taking taylor expansion of x.re in x.re 2.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.885 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.885 * [taylor]: Taking taylor expansion of x.im in x.re 2.885 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 2.885 * [taylor]: Taking taylor expansion of 3 in x.im 2.885 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.885 * [taylor]: Taking taylor expansion of x.im in x.im 2.887 * [taylor]: Taking taylor expansion of 0 in x.im 2.889 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 2.889 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.889 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.889 * [taylor]: Taking taylor expansion of x.im in x.im 2.893 * [taylor]: Taking taylor expansion of 0 in x.im 2.902 * [taylor]: Taking taylor expansion of 0 in x.im 2.909 * [taylor]: Taking taylor expansion of 0 in x.im 2.912 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in (x.re x.im) around 0 2.912 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 2.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.912 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.912 * [taylor]: Taking taylor expansion of x.im in x.im 2.913 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 2.913 * [taylor]: Taking taylor expansion of 3 in x.im 2.913 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 2.913 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 2.913 * [taylor]: Taking taylor expansion of x.im in x.im 2.913 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.913 * [taylor]: Taking taylor expansion of x.re in x.im 2.913 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.913 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.913 * [taylor]: Taking taylor expansion of x.im in x.re 2.914 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.914 * [taylor]: Taking taylor expansion of 3 in x.re 2.914 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.914 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.914 * [taylor]: Taking taylor expansion of x.im in x.re 2.914 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.914 * [taylor]: Taking taylor expansion of x.re in x.re 2.914 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 2.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 2.914 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 2.914 * [taylor]: Taking taylor expansion of x.im in x.re 2.914 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 2.914 * [taylor]: Taking taylor expansion of 3 in x.re 2.914 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 2.914 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 2.914 * [taylor]: Taking taylor expansion of x.im in x.re 2.914 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.914 * [taylor]: Taking taylor expansion of x.re in x.re 2.915 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 2.915 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 2.915 * [taylor]: Taking taylor expansion of 3 in x.im 2.915 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.915 * [taylor]: Taking taylor expansion of x.im in x.im 2.917 * [taylor]: Taking taylor expansion of 0 in x.im 2.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 2.919 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 2.919 * [taylor]: Taking taylor expansion of x.im in x.im 2.923 * [taylor]: Taking taylor expansion of 0 in x.im 2.929 * [taylor]: Taking taylor expansion of 0 in x.im 2.936 * [taylor]: Taking taylor expansion of 0 in x.im 2.938 * * * [progress]: simplifying candidates 2.939 * [simplify]: Simplifying using # : (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (+ (log x.re) (log x.im)) (log x.re)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* (* x.re x.im) 1) (* x.im x.re) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.re))) (+ (log 3) (+ (log (* x.re x.im)) (log x.re))) (+ (log 3) (log (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (* (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (/ (exp (* 3 (* (* x.re x.im) x.re))) (exp (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (* (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* (pow x.im 3) (pow x.im 3))) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (pow x.im 3)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 2.942 * * [simplify]: iteration 0 : 83 enodes (cost 664 ) 2.959 * * [simplify]: iteration 1 : 218 enodes (cost 610 ) 3.048 * * [simplify]: iteration 2 : 810 enodes (cost 528 ) 4.136 * * [simplify]: iteration 3 : 4035 enodes (cost 524 ) 5.577 * * [simplify]: iteration done : 5000 enodes (cost 524 ) 5.578 * [simplify]: Simplified to: (* (pow x.re 2) x.im) (* (pow x.re 2) x.im) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (pow (* (* x.re x.im) x.re) 3) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* x.re x.im) (* x.re x.im) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (* 3 (* (* x.re x.im) x.re)) 3) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (pow (* 3 (* (* x.re x.im) x.re)) 3) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (pow (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 3) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (* x.im (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (* x.re x.re) 3)) (pow x.im 6)) (- (pow x.im 3)) (- (* (* (* (* x.im x.im) (pow x.re 3)) x.re) 9) (pow x.im 6)) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (pow x.im 3)) (* (pow x.re 2) x.im) (* (pow x.re 2) x.im) (* (pow x.re 2) x.im) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 5.578 * * * [progress]: adding candidates to table 5.673 * * [progress]: iteration 2 / 4 5.673 * * * [progress]: picking best candidate 5.691 * * * * [pick]: Picked # 5.691 * * * [progress]: localizing error 5.698 * * * [progress]: generating rewritten candidates 5.698 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 5.704 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 5.722 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.747 * * * [progress]: generating series expansions 5.747 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 5.747 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 5.747 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.747 * [taylor]: Taking taylor expansion of 3 in x.im 5.747 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.747 * [taylor]: Taking taylor expansion of x.im in x.im 5.747 * [taylor]: Taking taylor expansion of x.re in x.im 5.747 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.747 * [taylor]: Taking taylor expansion of 3 in x.re 5.747 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.747 * [taylor]: Taking taylor expansion of x.im in x.re 5.747 * [taylor]: Taking taylor expansion of x.re in x.re 5.747 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.747 * [taylor]: Taking taylor expansion of 3 in x.re 5.747 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.747 * [taylor]: Taking taylor expansion of x.im in x.re 5.747 * [taylor]: Taking taylor expansion of x.re in x.re 5.748 * [taylor]: Taking taylor expansion of 0 in x.im 5.748 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.748 * [taylor]: Taking taylor expansion of 3 in x.im 5.748 * [taylor]: Taking taylor expansion of x.im in x.im 5.750 * [taylor]: Taking taylor expansion of 0 in x.im 5.751 * [taylor]: Taking taylor expansion of 0 in x.im 5.754 * [taylor]: Taking taylor expansion of 0 in x.im 5.754 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 5.754 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.754 * [taylor]: Taking taylor expansion of 3 in x.im 5.754 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.754 * [taylor]: Taking taylor expansion of x.im in x.im 5.754 * [taylor]: Taking taylor expansion of x.re in x.im 5.754 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.754 * [taylor]: Taking taylor expansion of 3 in x.re 5.754 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.754 * [taylor]: Taking taylor expansion of x.im in x.re 5.754 * [taylor]: Taking taylor expansion of x.re in x.re 5.755 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.755 * [taylor]: Taking taylor expansion of 3 in x.re 5.755 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.755 * [taylor]: Taking taylor expansion of x.im in x.re 5.755 * [taylor]: Taking taylor expansion of x.re in x.re 5.755 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.755 * [taylor]: Taking taylor expansion of 3 in x.im 5.755 * [taylor]: Taking taylor expansion of x.im in x.im 5.756 * [taylor]: Taking taylor expansion of 0 in x.im 5.757 * [taylor]: Taking taylor expansion of 0 in x.im 5.758 * [taylor]: Taking taylor expansion of 0 in x.im 5.759 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 5.759 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.759 * [taylor]: Taking taylor expansion of 3 in x.im 5.759 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.759 * [taylor]: Taking taylor expansion of x.im in x.im 5.759 * [taylor]: Taking taylor expansion of x.re in x.im 5.759 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.759 * [taylor]: Taking taylor expansion of 3 in x.re 5.759 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.759 * [taylor]: Taking taylor expansion of x.im in x.re 5.759 * [taylor]: Taking taylor expansion of x.re in x.re 5.760 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.760 * [taylor]: Taking taylor expansion of 3 in x.re 5.760 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.760 * [taylor]: Taking taylor expansion of x.im in x.re 5.760 * [taylor]: Taking taylor expansion of x.re in x.re 5.760 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.760 * [taylor]: Taking taylor expansion of 3 in x.im 5.760 * [taylor]: Taking taylor expansion of x.im in x.im 5.761 * [taylor]: Taking taylor expansion of 0 in x.im 5.762 * [taylor]: Taking taylor expansion of 0 in x.im 5.763 * [taylor]: Taking taylor expansion of 0 in x.im 5.764 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 5.764 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.764 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 5.764 * [taylor]: Taking taylor expansion of 3 in x.im 5.764 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.764 * [taylor]: Taking taylor expansion of x.im in x.im 5.764 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.764 * [taylor]: Taking taylor expansion of x.re in x.im 5.764 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.764 * [taylor]: Taking taylor expansion of 3 in x.re 5.764 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.764 * [taylor]: Taking taylor expansion of x.im in x.re 5.764 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.764 * [taylor]: Taking taylor expansion of x.re in x.re 5.764 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.764 * [taylor]: Taking taylor expansion of 3 in x.re 5.764 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.764 * [taylor]: Taking taylor expansion of x.im in x.re 5.764 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.764 * [taylor]: Taking taylor expansion of x.re in x.re 5.765 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.765 * [taylor]: Taking taylor expansion of 3 in x.im 5.765 * [taylor]: Taking taylor expansion of x.im in x.im 5.766 * [taylor]: Taking taylor expansion of 0 in x.im 5.768 * [taylor]: Taking taylor expansion of 0 in x.im 5.770 * [taylor]: Taking taylor expansion of 0 in x.im 5.770 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.771 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 5.771 * [taylor]: Taking taylor expansion of 3 in x.im 5.771 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.771 * [taylor]: Taking taylor expansion of x.im in x.im 5.771 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.771 * [taylor]: Taking taylor expansion of x.re in x.im 5.771 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 5.771 * [taylor]: Taking taylor expansion of 3 in x.re 5.771 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.771 * [taylor]: Taking taylor expansion of x.im in x.re 5.771 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.771 * [taylor]: Taking taylor expansion of x.re in x.re 5.772 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 5.772 * [taylor]: Taking taylor expansion of 3 in x.re 5.772 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.772 * [taylor]: Taking taylor expansion of x.im in x.re 5.772 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.772 * [taylor]: Taking taylor expansion of x.re in x.re 5.772 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.772 * [taylor]: Taking taylor expansion of 3 in x.im 5.772 * [taylor]: Taking taylor expansion of x.im in x.im 5.773 * [taylor]: Taking taylor expansion of 0 in x.im 5.775 * [taylor]: Taking taylor expansion of 0 in x.im 5.776 * [taylor]: Taking taylor expansion of 0 in x.im 5.777 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.777 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 5.777 * [taylor]: Taking taylor expansion of -3 in x.im 5.777 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.777 * [taylor]: Taking taylor expansion of x.im in x.im 5.777 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.777 * [taylor]: Taking taylor expansion of x.re in x.im 5.778 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 5.778 * [taylor]: Taking taylor expansion of -3 in x.re 5.778 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.778 * [taylor]: Taking taylor expansion of x.im in x.re 5.778 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.778 * [taylor]: Taking taylor expansion of x.re in x.re 5.778 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 5.778 * [taylor]: Taking taylor expansion of -3 in x.re 5.778 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.779 * [taylor]: Taking taylor expansion of x.im in x.re 5.779 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.779 * [taylor]: Taking taylor expansion of x.re in x.re 5.779 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 5.779 * [taylor]: Taking taylor expansion of -3 in x.im 5.779 * [taylor]: Taking taylor expansion of x.im in x.im 5.780 * [taylor]: Taking taylor expansion of 0 in x.im 5.782 * [taylor]: Taking taylor expansion of 0 in x.im 5.784 * [taylor]: Taking taylor expansion of 0 in x.im 5.785 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.785 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 5.785 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 5.785 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 5.785 * [taylor]: Taking taylor expansion of 3 in x.im 5.785 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.785 * [taylor]: Taking taylor expansion of x.im in x.im 5.785 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.785 * [taylor]: Taking taylor expansion of x.re in x.im 5.785 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.785 * [taylor]: Taking taylor expansion of x.im in x.im 5.785 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 5.785 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.785 * [taylor]: Taking taylor expansion of 3 in x.re 5.785 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.785 * [taylor]: Taking taylor expansion of x.im in x.re 5.785 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.785 * [taylor]: Taking taylor expansion of x.re in x.re 5.785 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.785 * [taylor]: Taking taylor expansion of x.im in x.re 5.785 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 5.785 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.785 * [taylor]: Taking taylor expansion of 3 in x.re 5.785 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.785 * [taylor]: Taking taylor expansion of x.im in x.re 5.785 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.785 * [taylor]: Taking taylor expansion of x.re in x.re 5.785 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.785 * [taylor]: Taking taylor expansion of x.im in x.re 5.786 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 5.786 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.786 * [taylor]: Taking taylor expansion of x.im in x.im 5.786 * [taylor]: Taking taylor expansion of 0 in x.im 5.788 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.788 * [taylor]: Taking taylor expansion of 3 in x.im 5.788 * [taylor]: Taking taylor expansion of x.im in x.im 5.790 * [taylor]: Taking taylor expansion of 0 in x.im 5.795 * [taylor]: Taking taylor expansion of 0 in x.im 5.801 * [taylor]: Taking taylor expansion of 0 in x.im 5.802 * [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 5.802 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 5.802 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 5.802 * [taylor]: Taking taylor expansion of 3 in x.im 5.802 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 5.802 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.802 * [taylor]: Taking taylor expansion of x.im in x.im 5.802 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.802 * [taylor]: Taking taylor expansion of x.re in x.im 5.802 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 5.802 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.802 * [taylor]: Taking taylor expansion of x.im in x.im 5.803 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 5.803 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 5.803 * [taylor]: Taking taylor expansion of 3 in x.re 5.803 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 5.803 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.803 * [taylor]: Taking taylor expansion of x.im in x.re 5.803 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.803 * [taylor]: Taking taylor expansion of x.re in x.re 5.803 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 5.803 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.803 * [taylor]: Taking taylor expansion of x.im in x.re 5.804 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 5.804 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 5.804 * [taylor]: Taking taylor expansion of 3 in x.re 5.804 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 5.804 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.804 * [taylor]: Taking taylor expansion of x.im in x.re 5.804 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.804 * [taylor]: Taking taylor expansion of x.re in x.re 5.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 5.804 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.804 * [taylor]: Taking taylor expansion of x.im in x.re 5.804 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 5.804 * [taylor]: Taking taylor expansion of 3 in x.im 5.804 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 5.804 * [taylor]: Taking taylor expansion of x.im in x.im 5.806 * [taylor]: Taking taylor expansion of 0 in x.im 5.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 5.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 5.808 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.808 * [taylor]: Taking taylor expansion of x.im in x.im 5.812 * [taylor]: Taking taylor expansion of 0 in x.im 5.818 * [taylor]: Taking taylor expansion of 0 in x.im 5.827 * [taylor]: Taking taylor expansion of 0 in x.im 5.830 * [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 5.830 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 5.830 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 5.830 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.830 * [taylor]: Taking taylor expansion of x.im in x.im 5.831 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 5.831 * [taylor]: Taking taylor expansion of 3 in x.im 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 5.831 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.831 * [taylor]: Taking taylor expansion of x.im in x.im 5.831 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.831 * [taylor]: Taking taylor expansion of x.re in x.im 5.832 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 5.832 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 5.832 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.832 * [taylor]: Taking taylor expansion of x.im in x.re 5.832 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 5.832 * [taylor]: Taking taylor expansion of 3 in x.re 5.832 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 5.832 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.832 * [taylor]: Taking taylor expansion of x.im in x.re 5.832 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.832 * [taylor]: Taking taylor expansion of x.re in x.re 5.833 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 5.833 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 5.833 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 5.833 * [taylor]: Taking taylor expansion of x.im in x.re 5.833 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 5.833 * [taylor]: Taking taylor expansion of 3 in x.re 5.833 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 5.833 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.833 * [taylor]: Taking taylor expansion of x.im in x.re 5.833 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.833 * [taylor]: Taking taylor expansion of x.re in x.re 5.834 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 5.834 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 5.834 * [taylor]: Taking taylor expansion of 3 in x.im 5.834 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 5.834 * [taylor]: Taking taylor expansion of x.im in x.im 5.835 * [taylor]: Taking taylor expansion of 0 in x.im 5.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 5.838 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 5.838 * [taylor]: Taking taylor expansion of x.im in x.im 5.842 * [taylor]: Taking taylor expansion of 0 in x.im 5.848 * [taylor]: Taking taylor expansion of 0 in x.im 5.855 * [taylor]: Taking taylor expansion of 0 in x.im 5.857 * * * [progress]: simplifying candidates 5.858 * [simplify]: Simplifying using # : (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.re)) (+ (+ (log 3) (log (* x.re x.im))) (log x.re)) (+ (log (* 3 (* x.re x.im))) (log x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (* (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* (* 3 (* x.re x.im)) 1) (* (* x.re x.im) x.re) (/ (exp (* (* 3 (* x.re x.im)) x.re)) (exp (pow x.im 3))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (* (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (- (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 5.861 * * [simplify]: iteration 0 : 85 enodes (cost 664 ) 5.877 * * [simplify]: iteration 1 : 225 enodes (cost 602 ) 5.977 * * [simplify]: iteration 2 : 930 enodes (cost 532 ) 7.573 * * [simplify]: iteration done : 5000 enodes (cost 522 ) 7.573 * [simplify]: Simplified to: (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* 27 (pow (* x.im x.re) 3)) (* 27 (pow (* x.im x.re) 3)) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* 27 (pow (* x.im x.re) 3)) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* (* 3 x.re) x.im) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (log (* (* 3 (* x.re x.im)) x.re)) (exp (* (* 3 (* x.re x.im)) x.re)) (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (* (* 3 (* x.re x.im)) x.re) 3) (pow (* (* 3 (* x.re x.im)) x.re) 3) (* (cbrt (* (* 3 (* x.re x.im)) x.re)) (cbrt (* (* 3 (* x.re x.im)) x.re))) (cbrt (* (* 3 (* x.re x.im)) x.re)) (pow (* (* 3 (* x.re x.im)) x.re) 3) (sqrt (* (* 3 (* x.re x.im)) x.re)) (sqrt (* (* 3 (* x.re x.im)) x.re)) (* (* 3 (* x.re x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.re x.im)) (sqrt x.re)) (* (* 3 x.re) x.im) (* (* x.re x.im) x.re) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (log (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (exp (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (pow (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) 3) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3))) (* (pow x.im 3) (- (* (pow x.re 6) 27) (pow x.im 6))) (+ (* (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (* (* 3 (* x.re x.im)) x.re)) (pow x.im 6)) (- (pow x.im 3)) (- (* (* (pow x.re 3) 9) (* x.im (* x.im x.re))) (pow x.im 6)) (+ (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (pow x.im 3)) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (* (* 3 (* x.re x.im)) x.re) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) (- (* (* 3 (* x.re x.im)) x.re) (pow x.im 3)) 7.574 * * * [progress]: adding candidates to table 7.669 * * [progress]: iteration 3 / 4 7.669 * * * [progress]: picking best candidate 7.687 * * * * [pick]: Picked # 7.687 * * * [progress]: localizing error 7.696 * * * [progress]: generating rewritten candidates 7.696 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 7.703 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.765 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.833 * * * [progress]: generating series expansions 7.833 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 7.833 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 7.833 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 7.833 * [taylor]: Taking taylor expansion of 3 in x.im 7.833 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.833 * [taylor]: Taking taylor expansion of x.im in x.im 7.833 * [taylor]: Taking taylor expansion of x.re in x.im 7.833 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 7.833 * [taylor]: Taking taylor expansion of 3 in x.re 7.833 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.833 * [taylor]: Taking taylor expansion of x.im in x.re 7.833 * [taylor]: Taking taylor expansion of x.re in x.re 7.833 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 7.833 * [taylor]: Taking taylor expansion of 3 in x.re 7.833 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.833 * [taylor]: Taking taylor expansion of x.im in x.re 7.834 * [taylor]: Taking taylor expansion of x.re in x.re 7.834 * [taylor]: Taking taylor expansion of 0 in x.im 7.835 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 7.835 * [taylor]: Taking taylor expansion of 3 in x.im 7.835 * [taylor]: Taking taylor expansion of x.im in x.im 7.836 * [taylor]: Taking taylor expansion of 0 in x.im 7.838 * [taylor]: Taking taylor expansion of 0 in x.im 7.840 * [taylor]: Taking taylor expansion of 0 in x.im 7.840 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 7.840 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.840 * [taylor]: Taking taylor expansion of 3 in x.im 7.840 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.840 * [taylor]: Taking taylor expansion of x.im in x.im 7.840 * [taylor]: Taking taylor expansion of x.re in x.im 7.840 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.840 * [taylor]: Taking taylor expansion of 3 in x.re 7.840 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.840 * [taylor]: Taking taylor expansion of x.im in x.re 7.840 * [taylor]: Taking taylor expansion of x.re in x.re 7.841 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.841 * [taylor]: Taking taylor expansion of 3 in x.re 7.841 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.841 * [taylor]: Taking taylor expansion of x.im in x.re 7.841 * [taylor]: Taking taylor expansion of x.re in x.re 7.841 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 7.841 * [taylor]: Taking taylor expansion of 3 in x.im 7.841 * [taylor]: Taking taylor expansion of x.im in x.im 7.842 * [taylor]: Taking taylor expansion of 0 in x.im 7.843 * [taylor]: Taking taylor expansion of 0 in x.im 7.844 * [taylor]: Taking taylor expansion of 0 in x.im 7.845 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 7.845 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.845 * [taylor]: Taking taylor expansion of 3 in x.im 7.845 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.845 * [taylor]: Taking taylor expansion of x.im in x.im 7.845 * [taylor]: Taking taylor expansion of x.re in x.im 7.845 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.845 * [taylor]: Taking taylor expansion of 3 in x.re 7.845 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.845 * [taylor]: Taking taylor expansion of x.im in x.re 7.846 * [taylor]: Taking taylor expansion of x.re in x.re 7.846 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.846 * [taylor]: Taking taylor expansion of 3 in x.re 7.846 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.846 * [taylor]: Taking taylor expansion of x.im in x.re 7.846 * [taylor]: Taking taylor expansion of x.re in x.re 7.846 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 7.846 * [taylor]: Taking taylor expansion of 3 in x.im 7.846 * [taylor]: Taking taylor expansion of x.im in x.im 7.847 * [taylor]: Taking taylor expansion of 0 in x.im 7.848 * [taylor]: Taking taylor expansion of 0 in x.im 7.849 * [taylor]: Taking taylor expansion of 0 in x.im 7.850 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 7.850 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.850 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 7.850 * [taylor]: Taking taylor expansion of 3 in x.im 7.850 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.850 * [taylor]: Taking taylor expansion of x.im in x.im 7.850 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.850 * [taylor]: Taking taylor expansion of x.re in x.im 7.850 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 7.850 * [taylor]: Taking taylor expansion of 3 in x.re 7.850 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.850 * [taylor]: Taking taylor expansion of x.im in x.re 7.850 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.850 * [taylor]: Taking taylor expansion of x.re in x.re 7.850 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 7.850 * [taylor]: Taking taylor expansion of 3 in x.re 7.850 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.850 * [taylor]: Taking taylor expansion of x.im in x.re 7.850 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.850 * [taylor]: Taking taylor expansion of x.re in x.re 7.851 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 7.851 * [taylor]: Taking taylor expansion of 3 in x.im 7.851 * [taylor]: Taking taylor expansion of x.im in x.im 7.852 * [taylor]: Taking taylor expansion of 0 in x.im 7.854 * [taylor]: Taking taylor expansion of 0 in x.im 7.856 * [taylor]: Taking taylor expansion of 0 in x.im 7.857 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.857 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 7.857 * [taylor]: Taking taylor expansion of 3 in x.im 7.857 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.857 * [taylor]: Taking taylor expansion of x.im in x.im 7.857 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.857 * [taylor]: Taking taylor expansion of x.re in x.im 7.857 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 7.857 * [taylor]: Taking taylor expansion of 3 in x.re 7.857 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.857 * [taylor]: Taking taylor expansion of x.im in x.re 7.857 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.857 * [taylor]: Taking taylor expansion of x.re in x.re 7.858 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 7.858 * [taylor]: Taking taylor expansion of 3 in x.re 7.858 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.858 * [taylor]: Taking taylor expansion of x.im in x.re 7.858 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.858 * [taylor]: Taking taylor expansion of x.re in x.re 7.858 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 7.858 * [taylor]: Taking taylor expansion of 3 in x.im 7.858 * [taylor]: Taking taylor expansion of x.im in x.im 7.859 * [taylor]: Taking taylor expansion of 0 in x.im 7.861 * [taylor]: Taking taylor expansion of 0 in x.im 7.863 * [taylor]: Taking taylor expansion of 0 in x.im 7.864 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 7.864 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 7.864 * [taylor]: Taking taylor expansion of -3 in x.im 7.864 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.864 * [taylor]: Taking taylor expansion of x.im in x.im 7.864 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.864 * [taylor]: Taking taylor expansion of x.re in x.im 7.864 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 7.864 * [taylor]: Taking taylor expansion of -3 in x.re 7.864 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.864 * [taylor]: Taking taylor expansion of x.im in x.re 7.864 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.864 * [taylor]: Taking taylor expansion of x.re in x.re 7.865 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 7.865 * [taylor]: Taking taylor expansion of -3 in x.re 7.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.865 * [taylor]: Taking taylor expansion of x.im in x.re 7.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.865 * [taylor]: Taking taylor expansion of x.re in x.re 7.865 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 7.865 * [taylor]: Taking taylor expansion of -3 in x.im 7.865 * [taylor]: Taking taylor expansion of x.im in x.im 7.866 * [taylor]: Taking taylor expansion of 0 in x.im 7.868 * [taylor]: Taking taylor expansion of 0 in x.im 7.869 * [taylor]: Taking taylor expansion of 0 in x.im 7.870 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.870 * [approximate]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in (x.re x.im) around 0 7.871 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 7.871 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 7.871 * [taylor]: Taking taylor expansion of 3 in x.im 7.871 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.871 * [taylor]: Taking taylor expansion of x.im in x.im 7.871 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.871 * [taylor]: Taking taylor expansion of x.re in x.im 7.871 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.871 * [taylor]: Taking taylor expansion of x.im in x.im 7.871 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 7.871 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 7.871 * [taylor]: Taking taylor expansion of 3 in x.re 7.871 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.871 * [taylor]: Taking taylor expansion of x.im in x.re 7.871 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.871 * [taylor]: Taking taylor expansion of x.re in x.re 7.871 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.871 * [taylor]: Taking taylor expansion of x.im in x.re 7.871 * [taylor]: Taking taylor expansion of (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 7.871 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 7.871 * [taylor]: Taking taylor expansion of 3 in x.re 7.871 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.871 * [taylor]: Taking taylor expansion of x.im in x.re 7.871 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.871 * [taylor]: Taking taylor expansion of x.re in x.re 7.871 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.871 * [taylor]: Taking taylor expansion of x.im in x.re 7.871 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 7.871 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.871 * [taylor]: Taking taylor expansion of x.im in x.im 7.872 * [taylor]: Taking taylor expansion of 0 in x.im 7.873 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 7.873 * [taylor]: Taking taylor expansion of 3 in x.im 7.873 * [taylor]: Taking taylor expansion of x.im in x.im 7.876 * [taylor]: Taking taylor expansion of 0 in x.im 7.881 * [taylor]: Taking taylor expansion of 0 in x.im 7.887 * [taylor]: Taking taylor expansion of 0 in x.im 7.887 * [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 7.887 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.im 7.887 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 7.887 * [taylor]: Taking taylor expansion of 3 in x.im 7.887 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 7.887 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.887 * [taylor]: Taking taylor expansion of x.im in x.im 7.887 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.887 * [taylor]: Taking taylor expansion of x.re in x.im 7.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 7.888 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.888 * [taylor]: Taking taylor expansion of x.im in x.im 7.889 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 7.889 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 7.889 * [taylor]: Taking taylor expansion of 3 in x.re 7.889 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.889 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.889 * [taylor]: Taking taylor expansion of x.im in x.re 7.889 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.889 * [taylor]: Taking taylor expansion of x.re in x.re 7.889 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 7.889 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.889 * [taylor]: Taking taylor expansion of x.im in x.re 7.889 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* x.im (pow x.re 2)))) (/ 1 (pow x.im 3))) in x.re 7.889 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 7.889 * [taylor]: Taking taylor expansion of 3 in x.re 7.889 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.889 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.890 * [taylor]: Taking taylor expansion of x.im in x.re 7.890 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.890 * [taylor]: Taking taylor expansion of x.re in x.re 7.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 7.890 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.890 * [taylor]: Taking taylor expansion of x.im in x.re 7.890 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 7.890 * [taylor]: Taking taylor expansion of 3 in x.im 7.890 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 7.890 * [taylor]: Taking taylor expansion of x.im in x.im 7.892 * [taylor]: Taking taylor expansion of 0 in x.im 7.896 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 7.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 7.896 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.896 * [taylor]: Taking taylor expansion of x.im in x.im 7.900 * [taylor]: Taking taylor expansion of 0 in x.im 7.905 * [taylor]: Taking taylor expansion of 0 in x.im 7.913 * [taylor]: Taking taylor expansion of 0 in x.im 7.915 * [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 7.915 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.im 7.915 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 7.915 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.915 * [taylor]: Taking taylor expansion of x.im in x.im 7.916 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.im 7.916 * [taylor]: Taking taylor expansion of 3 in x.im 7.916 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 7.916 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.916 * [taylor]: Taking taylor expansion of x.im in x.im 7.916 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.916 * [taylor]: Taking taylor expansion of x.re in x.im 7.916 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 7.917 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 7.917 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.917 * [taylor]: Taking taylor expansion of x.im in x.re 7.917 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 7.917 * [taylor]: Taking taylor expansion of 3 in x.re 7.917 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.917 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.917 * [taylor]: Taking taylor expansion of x.im in x.re 7.917 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.917 * [taylor]: Taking taylor expansion of x.re in x.re 7.917 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (* 3 (/ 1 (* x.im (pow x.re 2))))) in x.re 7.917 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 7.917 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 7.917 * [taylor]: Taking taylor expansion of x.im in x.re 7.917 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x.im (pow x.re 2)))) in x.re 7.917 * [taylor]: Taking taylor expansion of 3 in x.re 7.917 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 7.917 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.917 * [taylor]: Taking taylor expansion of x.im in x.re 7.917 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.917 * [taylor]: Taking taylor expansion of x.re in x.re 7.918 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.im))) in x.im 7.918 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.im)) in x.im 7.918 * [taylor]: Taking taylor expansion of 3 in x.im 7.918 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 7.918 * [taylor]: Taking taylor expansion of x.im in x.im 7.920 * [taylor]: Taking taylor expansion of 0 in x.im 7.922 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 7.922 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 7.922 * [taylor]: Taking taylor expansion of x.im in x.im 7.926 * [taylor]: Taking taylor expansion of 0 in x.im 7.932 * [taylor]: Taking taylor expansion of 0 in x.im 7.939 * [taylor]: Taking taylor expansion of 0 in x.im 7.941 * * * [progress]: simplifying candidates 7.942 * [simplify]: Simplifying using # : (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re) (+ (+ 0 (+ (+ (log 3) (log x.re)) (log x.im))) (log x.re)) (+ (+ 0 (+ (log (* 3 x.re)) (log x.im))) (log x.re)) (+ (+ 0 (log (* (* 3 x.re) x.im))) (log x.re)) (+ (+ (log 1) (+ (+ (log 3) (log x.re)) (log x.im))) (log x.re)) (+ (+ (log 1) (+ (log (* 3 x.re)) (log x.im))) (log x.re)) (+ (+ (log 1) (log (* (* 3 x.re) x.im))) (log x.re)) (+ (log (* 1 (* (* 3 x.re) x.im))) (log x.re)) (log (* (* 1 (* (* 3 x.re) x.im)) x.re)) (exp (* (* 1 (* (* 3 x.re) x.im)) x.re)) (* (* (* (* 1 1) 1) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 1 1) 1) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 1 1) 1) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im))) (* (* x.re x.re) x.re)) (* (* (* (* 1 (* (* 3 x.re) x.im)) (* 1 (* (* 3 x.re) x.im))) (* 1 (* (* 3 x.re) x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 1 (* (* 3 x.re) x.im)) x.re)) (cbrt (* (* 1 (* (* 3 x.re) x.im)) x.re))) (cbrt (* (* 1 (* (* 3 x.re) x.im)) x.re)) (* (* (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re)) (* (* 1 (* (* 3 x.re) x.im)) x.re)) (sqrt (* (* 1 (* (* 3 x.re) x.im)) x.re)) (sqrt (* (* 1 (* (* 3 x.re) x.im)) x.re)) (* (* 1 (* (* 3 x.re) x.im)) (* (cbrt x.re) (cbrt x.re))) (* (* 1 (* (* 3 x.re) x.im)) (sqrt x.re)) (* (* 1 (* (* 3 x.re) x.im)) 1) (* (* (* 3 x.re) x.im) x.re) (/ (exp (* (* 1 (* (* 3 x.re) x.im)) x.re)) (exp (pow x.im 3))) (log (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (exp (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (* (cbrt (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (cbrt (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3)))) (cbrt (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (* (* (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3)) (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (sqrt (- (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3))) (- (pow (* (* 1 (* (* 3 x.re) x.im)) x.re) 3) (pow (pow x.im 3) 3)) (+ (* (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re)) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (* 1 (* (* 3 x.re) x.im)) x.re) (* (* 1 (* (* 3 x.re) x.im)) x.re)) (* (pow x.im 3) (pow x.im 3))) (+ (* (* 1 (* (* 3 x.re) x.im)) x.re) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 7.945 * * [simplify]: iteration 0 : 109 enodes (cost 849 ) 7.973 * * [simplify]: iteration 1 : 305 enodes (cost 669 ) 8.152 * * [simplify]: iteration 2 : 1169 enodes (cost 589 ) 9.755 * * [simplify]: iteration done : 5001 enodes (cost 579 ) 9.755 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* (* 3 x.re) x.im)) (* (pow (* x.im x.re) 3) 27) (* (pow (* x.im x.re) 3) 27) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (pow (* x.im x.re) 3) 27) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* 3 x.re) (* x.im x.re) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* 3 (* x.im x.re)) (* (cbrt x.re) (cbrt x.re))) (* (sqrt x.re) (* (* 3 x.re) x.im)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (log (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (exp (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (* (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3)))) (cbrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (pow (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 3) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (sqrt (- (* (* (* 3 x.re) x.im) x.re) (pow x.im 3))) (- (pow (* (* (* 3 x.re) x.im) x.re) 3) (pow (pow x.im 3) 3)) (+ (pow x.im 6) (+ (* (* x.re 9) (* (pow x.re 3) (* x.im x.im))) (* (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* x.re 9) (* (pow x.re 3) (* x.im x.im))) (pow x.im 6)) (+ (pow x.im 3) (* (* (* 3 x.re) x.im) x.re)) (- (pow x.im 3)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) (- (* 3 (* x.im (pow x.re 2))) (pow x.im 3)) 9.755 * * * [progress]: adding candidates to table 9.864 * * [progress]: iteration 4 / 4 9.864 * * * [progress]: picking best candidate 9.881 * * * * [pick]: Picked # 9.881 * * * [progress]: localizing error 9.890 * * * [progress]: generating rewritten candidates 9.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 9.946 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 9.965 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 9.972 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 10.033 * * * [progress]: generating series expansions 10.033 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 10.034 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.034 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.034 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.034 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.034 * [taylor]: Taking taylor expansion of 3 in x.im 10.035 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.035 * [taylor]: Taking taylor expansion of x.im in x.im 10.035 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.035 * [taylor]: Taking taylor expansion of x.re in x.im 10.035 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.035 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.035 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.035 * [taylor]: Taking taylor expansion of 3 in x.re 10.035 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.035 * [taylor]: Taking taylor expansion of x.im in x.re 10.035 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.035 * [taylor]: Taking taylor expansion of x.re in x.re 10.035 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.036 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.036 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.036 * [taylor]: Taking taylor expansion of 3 in x.re 10.036 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.036 * [taylor]: Taking taylor expansion of x.im in x.re 10.036 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.036 * [taylor]: Taking taylor expansion of x.re in x.re 10.038 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im 10.038 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.038 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.038 * [taylor]: Taking taylor expansion of 3 in x.im 10.039 * [taylor]: Taking taylor expansion of x.im in x.im 10.042 * [taylor]: Taking taylor expansion of 0 in x.im 10.047 * [taylor]: Taking taylor expansion of 0 in x.im 10.053 * [taylor]: Taking taylor expansion of 0 in x.im 10.054 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.054 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.054 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.054 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.054 * [taylor]: Taking taylor expansion of 3 in x.im 10.055 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.055 * [taylor]: Taking taylor expansion of x.im in x.im 10.055 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.055 * [taylor]: Taking taylor expansion of x.re in x.im 10.057 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.057 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.057 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.057 * [taylor]: Taking taylor expansion of 3 in x.re 10.058 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.058 * [taylor]: Taking taylor expansion of x.im in x.re 10.058 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.058 * [taylor]: Taking taylor expansion of x.re in x.re 10.060 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.060 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.060 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.060 * [taylor]: Taking taylor expansion of 3 in x.re 10.060 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.060 * [taylor]: Taking taylor expansion of x.im in x.re 10.060 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.060 * [taylor]: Taking taylor expansion of x.re in x.re 10.062 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 10.062 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.062 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.062 * [taylor]: Taking taylor expansion of 3 in x.im 10.063 * [taylor]: Taking taylor expansion of x.im in x.im 10.067 * [taylor]: Taking taylor expansion of 0 in x.im 10.071 * [taylor]: Taking taylor expansion of 0 in x.im 10.079 * [taylor]: Taking taylor expansion of 0 in x.im 10.083 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 10.083 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im 10.083 * [taylor]: Taking taylor expansion of -1 in x.im 10.083 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.083 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.083 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.083 * [taylor]: Taking taylor expansion of 3 in x.im 10.084 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.084 * [taylor]: Taking taylor expansion of x.im in x.im 10.084 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.084 * [taylor]: Taking taylor expansion of x.re in x.im 10.086 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 10.086 * [taylor]: Taking taylor expansion of -1 in x.re 10.086 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.086 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.086 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.086 * [taylor]: Taking taylor expansion of 3 in x.re 10.087 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.087 * [taylor]: Taking taylor expansion of x.im in x.re 10.087 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.087 * [taylor]: Taking taylor expansion of x.re in x.re 10.088 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 10.089 * [taylor]: Taking taylor expansion of -1 in x.re 10.089 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.089 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.089 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.089 * [taylor]: Taking taylor expansion of 3 in x.re 10.089 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.089 * [taylor]: Taking taylor expansion of x.im in x.re 10.089 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.089 * [taylor]: Taking taylor expansion of x.re in x.re 10.092 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) x.im)) in x.im 10.092 * [taylor]: Taking taylor expansion of -1 in x.im 10.092 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 10.092 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.092 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.092 * [taylor]: Taking taylor expansion of 3 in x.im 10.093 * [taylor]: Taking taylor expansion of x.im in x.im 10.099 * [taylor]: Taking taylor expansion of 0 in x.im 10.105 * [taylor]: Taking taylor expansion of 0 in x.im 10.112 * [taylor]: Taking taylor expansion of 0 in x.im 10.117 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 10.117 * [approximate]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.117 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.im 10.117 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.117 * [taylor]: Taking taylor expansion of 3 in x.im 10.118 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.118 * [taylor]: Taking taylor expansion of x.im in x.im 10.118 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.118 * [taylor]: Taking taylor expansion of x.re in x.im 10.118 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.118 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.118 * [taylor]: Taking taylor expansion of 3 in x.re 10.119 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.119 * [taylor]: Taking taylor expansion of x.im in x.re 10.119 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.119 * [taylor]: Taking taylor expansion of x.re in x.re 10.119 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.119 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.119 * [taylor]: Taking taylor expansion of 3 in x.re 10.119 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.119 * [taylor]: Taking taylor expansion of x.im in x.re 10.119 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.119 * [taylor]: Taking taylor expansion of x.re in x.re 10.120 * [taylor]: Taking taylor expansion of (* (sqrt 3) x.im) in x.im 10.120 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.120 * [taylor]: Taking taylor expansion of 3 in x.im 10.121 * [taylor]: Taking taylor expansion of x.im in x.im 10.122 * [taylor]: Taking taylor expansion of 0 in x.im 10.126 * [taylor]: Taking taylor expansion of 0 in x.im 10.130 * [taylor]: Taking taylor expansion of 0 in x.im 10.131 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.131 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 10.131 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.131 * [taylor]: Taking taylor expansion of 3 in x.im 10.132 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.132 * [taylor]: Taking taylor expansion of x.im in x.im 10.132 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.132 * [taylor]: Taking taylor expansion of x.re in x.im 10.132 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.132 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.132 * [taylor]: Taking taylor expansion of 3 in x.re 10.133 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.133 * [taylor]: Taking taylor expansion of x.im in x.re 10.133 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.133 * [taylor]: Taking taylor expansion of x.re in x.re 10.134 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.134 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.134 * [taylor]: Taking taylor expansion of 3 in x.re 10.134 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.134 * [taylor]: Taking taylor expansion of x.im in x.re 10.134 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.135 * [taylor]: Taking taylor expansion of x.re in x.re 10.135 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 10.135 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.135 * [taylor]: Taking taylor expansion of 3 in x.im 10.136 * [taylor]: Taking taylor expansion of x.im in x.im 10.138 * [taylor]: Taking taylor expansion of 0 in x.im 10.140 * [taylor]: Taking taylor expansion of 0 in x.im 10.144 * [taylor]: Taking taylor expansion of 0 in x.im 10.146 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in (x.re x.im) around 0 10.146 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.im 10.146 * [taylor]: Taking taylor expansion of -1 in x.im 10.146 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im 10.146 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.146 * [taylor]: Taking taylor expansion of 3 in x.im 10.147 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.147 * [taylor]: Taking taylor expansion of x.im in x.im 10.147 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.147 * [taylor]: Taking taylor expansion of x.re in x.im 10.147 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 10.147 * [taylor]: Taking taylor expansion of -1 in x.re 10.148 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.148 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.148 * [taylor]: Taking taylor expansion of 3 in x.re 10.148 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.148 * [taylor]: Taking taylor expansion of x.im in x.re 10.148 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.148 * [taylor]: Taking taylor expansion of x.re in x.re 10.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re 10.149 * [taylor]: Taking taylor expansion of -1 in x.re 10.149 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re 10.149 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.149 * [taylor]: Taking taylor expansion of 3 in x.re 10.150 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.150 * [taylor]: Taking taylor expansion of x.im in x.re 10.150 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.150 * [taylor]: Taking taylor expansion of x.re in x.re 10.151 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x.im)) in x.im 10.151 * [taylor]: Taking taylor expansion of -1 in x.im 10.151 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im 10.151 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.151 * [taylor]: Taking taylor expansion of 3 in x.im 10.151 * [taylor]: Taking taylor expansion of x.im in x.im 10.155 * [taylor]: Taking taylor expansion of 0 in x.im 10.161 * [taylor]: Taking taylor expansion of 0 in x.im 10.166 * [taylor]: Taking taylor expansion of 0 in x.im 10.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 10.169 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 10.169 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.169 * [taylor]: Taking taylor expansion of x.im in x.im 10.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.169 * [taylor]: Taking taylor expansion of x.re in x.im 10.169 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.169 * [taylor]: Taking taylor expansion of x.im in x.re 10.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.169 * [taylor]: Taking taylor expansion of x.re in x.re 10.169 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.169 * [taylor]: Taking taylor expansion of x.im in x.re 10.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.169 * [taylor]: Taking taylor expansion of x.re in x.re 10.169 * [taylor]: Taking taylor expansion of x.im in x.im 10.170 * [taylor]: Taking taylor expansion of 0 in x.im 10.171 * [taylor]: Taking taylor expansion of 0 in x.im 10.172 * [taylor]: Taking taylor expansion of 0 in x.im 10.173 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.173 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 10.173 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.173 * [taylor]: Taking taylor expansion of x.im in x.im 10.173 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.173 * [taylor]: Taking taylor expansion of x.re in x.im 10.173 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.173 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.173 * [taylor]: Taking taylor expansion of x.im in x.re 10.173 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.173 * [taylor]: Taking taylor expansion of x.re in x.re 10.174 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 10.174 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.174 * [taylor]: Taking taylor expansion of x.im in x.re 10.174 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.174 * [taylor]: Taking taylor expansion of x.re in x.re 10.174 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 10.174 * [taylor]: Taking taylor expansion of x.im in x.im 10.175 * [taylor]: Taking taylor expansion of 0 in x.im 10.177 * [taylor]: Taking taylor expansion of 0 in x.im 10.178 * [taylor]: Taking taylor expansion of 0 in x.im 10.179 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 10.179 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 10.179 * [taylor]: Taking taylor expansion of -1 in x.im 10.179 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.179 * [taylor]: Taking taylor expansion of x.im in x.im 10.179 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.179 * [taylor]: Taking taylor expansion of x.re in x.im 10.180 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 10.180 * [taylor]: Taking taylor expansion of -1 in x.re 10.180 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.180 * [taylor]: Taking taylor expansion of x.im in x.re 10.180 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.180 * [taylor]: Taking taylor expansion of x.re in x.re 10.180 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 10.180 * [taylor]: Taking taylor expansion of -1 in x.re 10.180 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.180 * [taylor]: Taking taylor expansion of x.im in x.re 10.180 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.180 * [taylor]: Taking taylor expansion of x.re in x.re 10.181 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 10.181 * [taylor]: Taking taylor expansion of -1 in x.im 10.181 * [taylor]: Taking taylor expansion of x.im in x.im 10.182 * [taylor]: Taking taylor expansion of 0 in x.im 10.183 * [taylor]: Taking taylor expansion of 0 in x.im 10.185 * [taylor]: Taking taylor expansion of 0 in x.im 10.186 * * * * [progress]: [ 4 / 4 ] generating series at (2) 10.186 * [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 10.186 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.im 10.186 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.186 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.186 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.187 * [taylor]: Taking taylor expansion of 3 in x.im 10.187 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.187 * [taylor]: Taking taylor expansion of x.im in x.im 10.187 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.187 * [taylor]: Taking taylor expansion of x.re in x.im 10.187 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.187 * [taylor]: Taking taylor expansion of x.im in x.im 10.187 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 10.187 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.187 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.187 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.187 * [taylor]: Taking taylor expansion of 3 in x.re 10.188 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.188 * [taylor]: Taking taylor expansion of x.im in x.re 10.188 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.188 * [taylor]: Taking taylor expansion of x.re in x.re 10.188 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.188 * [taylor]: Taking taylor expansion of x.im in x.re 10.188 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (pow x.im 3)) in x.re 10.188 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.188 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.188 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.188 * [taylor]: Taking taylor expansion of 3 in x.re 10.189 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.189 * [taylor]: Taking taylor expansion of x.im in x.re 10.189 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.189 * [taylor]: Taking taylor expansion of x.re in x.re 10.189 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.189 * [taylor]: Taking taylor expansion of x.im in x.re 10.189 * [taylor]: Taking taylor expansion of (- (pow x.im 3)) in x.im 10.189 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.189 * [taylor]: Taking taylor expansion of x.im in x.im 10.190 * [taylor]: Taking taylor expansion of 0 in x.im 10.193 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im 10.193 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.193 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.193 * [taylor]: Taking taylor expansion of 3 in x.im 10.194 * [taylor]: Taking taylor expansion of x.im in x.im 10.198 * [taylor]: Taking taylor expansion of 0 in x.im 10.207 * [taylor]: Taking taylor expansion of 0 in x.im 10.216 * [taylor]: Taking taylor expansion of 0 in x.im 10.218 * [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 10.218 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.im 10.218 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.218 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.218 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.218 * [taylor]: Taking taylor expansion of 3 in x.im 10.218 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.218 * [taylor]: Taking taylor expansion of x.im in x.im 10.218 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.218 * [taylor]: Taking taylor expansion of x.re in x.im 10.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.220 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.220 * [taylor]: Taking taylor expansion of x.im in x.im 10.221 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.re 10.221 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.221 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.221 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.221 * [taylor]: Taking taylor expansion of 3 in x.re 10.222 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.222 * [taylor]: Taking taylor expansion of x.im in x.re 10.222 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.222 * [taylor]: Taking taylor expansion of x.re in x.re 10.224 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.224 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.224 * [taylor]: Taking taylor expansion of x.im in x.re 10.224 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) (/ 1 (pow x.im 3))) in x.re 10.224 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.224 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.224 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.224 * [taylor]: Taking taylor expansion of 3 in x.re 10.225 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.225 * [taylor]: Taking taylor expansion of x.im in x.re 10.225 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.225 * [taylor]: Taking taylor expansion of x.re in x.re 10.227 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.227 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.227 * [taylor]: Taking taylor expansion of x.im in x.re 10.228 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 10.228 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.228 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.228 * [taylor]: Taking taylor expansion of 3 in x.im 10.228 * [taylor]: Taking taylor expansion of x.im in x.im 10.232 * [taylor]: Taking taylor expansion of 0 in x.im 10.236 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3))) in x.im 10.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.236 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.236 * [taylor]: Taking taylor expansion of x.im in x.im 10.244 * [taylor]: Taking taylor expansion of 0 in x.im 10.251 * [taylor]: Taking taylor expansion of 0 in x.im 10.260 * [taylor]: Taking taylor expansion of 0 in x.im 10.264 * [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 10.264 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im 10.264 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.264 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.264 * [taylor]: Taking taylor expansion of x.im in x.im 10.265 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im 10.265 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.265 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.265 * [taylor]: Taking taylor expansion of 3 in x.im 10.266 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 10.266 * [taylor]: Taking taylor expansion of x.im in x.im 10.266 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 10.266 * [taylor]: Taking taylor expansion of x.re in x.im 10.268 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 10.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.268 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.268 * [taylor]: Taking taylor expansion of x.im in x.re 10.268 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.268 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.268 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.268 * [taylor]: Taking taylor expansion of 3 in x.re 10.269 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.269 * [taylor]: Taking taylor expansion of x.im in x.re 10.269 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.269 * [taylor]: Taking taylor expansion of x.re in x.re 10.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 3)) (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re 10.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.re 10.270 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.re 10.270 * [taylor]: Taking taylor expansion of x.im in x.re 10.271 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re 10.271 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re 10.271 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re 10.271 * [taylor]: Taking taylor expansion of 3 in x.re 10.271 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 10.271 * [taylor]: Taking taylor expansion of x.im in x.re 10.271 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 10.271 * [taylor]: Taking taylor expansion of x.re in x.re 10.275 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 3) 2) x.im)) in x.im 10.275 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im 10.275 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im 10.275 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im 10.275 * [taylor]: Taking taylor expansion of 3 in x.im 10.276 * [taylor]: Taking taylor expansion of x.im in x.im 10.280 * [taylor]: Taking taylor expansion of 0 in x.im 10.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 3)) in x.im 10.283 * [taylor]: Taking taylor expansion of (pow x.im 3) in x.im 10.283 * [taylor]: Taking taylor expansion of x.im in x.im 10.289 * [taylor]: Taking taylor expansion of 0 in x.im 10.297 * [taylor]: Taking taylor expansion of 0 in x.im 10.306 * [taylor]: Taking taylor expansion of 0 in x.im 10.309 * * * [progress]: simplifying candidates 10.311 * [simplify]: Simplifying using # : (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (+ (log x.re) (log x.im)) (log x.re)))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (log (* x.re x.im)) (log x.re)))) (+ (log (sqrt 3)) (+ (log (sqrt 3)) (log (* (* x.re x.im) x.re)))) (+ (log (sqrt 3)) (log (* (sqrt 3) (* (* x.re x.im) x.re)))) (log (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (exp (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))) (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (* (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (sqrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (sqrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (sqrt 3) (sqrt 3)) (* (cbrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (+ (log (sqrt 3)) (+ (+ (log x.re) (log x.im)) (log x.re))) (+ (log (sqrt 3)) (+ (log (* x.re x.im)) (log x.re))) (+ (log (sqrt 3)) (log (* (* x.re x.im) x.re))) (log (* (sqrt 3) (* (* x.re x.im) x.re))) (exp (* (sqrt 3) (* (* x.re x.im) x.re))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))) (* (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re)))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (* (* (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (* x.re x.im) x.re))) (sqrt (* (sqrt 3) (* (* x.re x.im) x.re))) (sqrt (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* x.re x.im)) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt (cbrt 3)) (* (* x.re x.im) x.re)) (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (+ (+ (log x.re) (log x.im)) (log x.re)) (+ (log (* x.re x.im)) (log x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* (* x.re x.im) 1) (* x.im x.re) (/ (exp (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (exp (pow x.im 3))) (log (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (exp (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (* (cbrt (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (cbrt (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))) (cbrt (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (* (* (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (sqrt (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (sqrt (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3))) (- (pow (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) 3) (pow (pow x.im 3) 3)) (+ (* (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (+ (* (pow x.im 3) (pow x.im 3)) (* (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))) (- (pow x.im 3)) (- (* (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (pow x.im 3) (pow x.im 3))) (+ (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (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)) 10.314 * * [simplify]: iteration 0 : 108 enodes (cost 1270 ) 10.337 * * [simplify]: iteration 1 : 294 enodes (cost 998 ) 10.464 * * [simplify]: iteration 2 : 1088 enodes (cost 824 ) 11.268 * * [simplify]: iteration done : 5000 enodes (cost 824 ) 11.269 * [simplify]: Simplified to: (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (log (* 3 (* (* x.re x.im) x.re))) (exp (* 3 (* (* x.re x.im) x.re))) (pow (* (* x.im (pow x.re 2)) 3) 3) (pow (* (* x.im (pow x.re 2)) 3) 3) (pow (* (* x.im (pow x.re 2)) 3) 3) (pow (* (* x.im (pow x.re 2)) 3) 3) (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re)))) (cbrt (* 3 (* (* x.re x.im) x.re))) (pow (* (* x.im (pow x.re 2)) 3) 3) (sqrt (* 3 (* (* x.re x.im) x.re))) (sqrt (* 3 (* (* x.re x.im) x.re))) 3 (* (cbrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt (cbrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re)) (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (log (* (sqrt 3) (* (* x.re x.im) x.re))) (log (* (sqrt 3) (* (* x.re x.im) x.re))) (log (* (sqrt 3) (* (* x.re x.im) x.re))) (log (* (sqrt 3) (* (* x.re x.im) x.re))) (exp (* (sqrt 3) (* (* x.re x.im) x.re))) (pow (* (sqrt 3) (* (* x.re x.im) x.re)) 3) (pow (* (sqrt 3) (* (* x.re x.im) x.re)) 3) (pow (* (sqrt 3) (* (* x.re x.im) x.re)) 3) (* (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re)))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (pow (* (sqrt 3) (* (* x.re x.im) x.re)) 3) (sqrt (* (sqrt 3) (* (* x.re x.im) x.re))) (sqrt (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* x.re x.im)) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt (cbrt 3)) (* (* x.re x.im) x.re)) (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (log (* (* x.re x.im) x.re)) (exp (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (pow (* (* x.re x.im) x.re) 3) (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re))) (cbrt (* (* x.re x.im) x.re)) (pow (* (* x.re x.im) x.re) 3) (sqrt (* (* x.re x.im) x.re)) (sqrt (* (* x.re x.im) x.re)) (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (* x.re x.im) (sqrt x.re)) (* x.re x.im) (* x.re x.im) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (log (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (exp (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))) (cbrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (pow (- (* (* x.im (pow x.re 2)) 3) (pow x.im 3)) 3) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (sqrt (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (- (pow (* 3 (* (* x.re x.im) x.re)) 3) (pow (pow x.im 3) 3)) (+ (* (pow x.im 3) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))) (* 9 (* x.re (* (* x.im x.im) (pow x.re 3))))) (- (pow x.im 3)) (- (* 9 (* x.re (* (* x.im x.im) (pow x.re 3)))) (pow x.im 6)) (+ (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (pow x.im 3)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (* (* x.re x.im) x.re) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)) 11.269 * * * [progress]: adding candidates to table 11.421 * [progress]: [Phase 3 of 3] Extracting. 11.421 * * [regime]: Finding splitpoints for: (# # # # # # # #) 11.423 * * * [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) 11.423 * * * * [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 (# # # # # # # #) 11.451 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # #) 11.484 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # #) 11.513 * * * [regime]: Found split indices: #