8.350 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (+ (* re im) (* im re)) 0.015 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.016 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 0.017 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 0.018 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.021 * * [simplify]: iteration 4 : 22 enodes (cost 5 ) 0.023 * * [simplify]: iteration done : 22 enodes (cost 5 ) 0.023 * [simplify]: Simplified to: (* 2 (* im re)) 0.026 * * [progress]: iteration 1 / 4 0.026 * * * [progress]: picking best candidate 0.027 * * * * [pick]: Picked # 0.027 * * * [progress]: localizing error 0.032 * * * [progress]: generating rewritten candidates 0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.037 * * * [progress]: generating series expansions 0.037 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.042 * [approximate]: Taking taylor expansion of (* 2 (* re im)) in (re im) around 0 0.043 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im 0.043 * [taylor]: Taking taylor expansion of 2 in im 0.043 * [taylor]: Taking taylor expansion of (* re im) in im 0.043 * [taylor]: Taking taylor expansion of re in im 0.043 * [taylor]: Taking taylor expansion of im in im 0.043 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in re 0.043 * [taylor]: Taking taylor expansion of 2 in re 0.043 * [taylor]: Taking taylor expansion of (* re im) in re 0.043 * [taylor]: Taking taylor expansion of re in re 0.043 * [taylor]: Taking taylor expansion of im in re 0.043 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in re 0.043 * [taylor]: Taking taylor expansion of 2 in re 0.043 * [taylor]: Taking taylor expansion of (* re im) in re 0.043 * [taylor]: Taking taylor expansion of re in re 0.043 * [taylor]: Taking taylor expansion of im in re 0.044 * [taylor]: Taking taylor expansion of 0 in im 0.045 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.045 * [taylor]: Taking taylor expansion of 2 in im 0.045 * [taylor]: Taking taylor expansion of im in im 0.046 * [taylor]: Taking taylor expansion of 0 in im 0.048 * [taylor]: Taking taylor expansion of 0 in im 0.051 * [taylor]: Taking taylor expansion of 0 in im 0.052 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0 0.052 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.052 * [taylor]: Taking taylor expansion of 2 in im 0.052 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.052 * [taylor]: Taking taylor expansion of (* re im) in im 0.052 * [taylor]: Taking taylor expansion of re in im 0.052 * [taylor]: Taking taylor expansion of im in im 0.052 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.052 * [taylor]: Taking taylor expansion of 2 in re 0.052 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.052 * [taylor]: Taking taylor expansion of (* re im) in re 0.052 * [taylor]: Taking taylor expansion of re in re 0.052 * [taylor]: Taking taylor expansion of im in re 0.053 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.053 * [taylor]: Taking taylor expansion of 2 in re 0.053 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.053 * [taylor]: Taking taylor expansion of (* re im) in re 0.053 * [taylor]: Taking taylor expansion of re in re 0.053 * [taylor]: Taking taylor expansion of im in re 0.053 * [taylor]: Taking taylor expansion of (/ 2 im) in im 0.053 * [taylor]: Taking taylor expansion of 2 in im 0.053 * [taylor]: Taking taylor expansion of im in im 0.054 * [taylor]: Taking taylor expansion of 0 in im 0.056 * [taylor]: Taking taylor expansion of 0 in im 0.059 * [taylor]: Taking taylor expansion of 0 in im 0.060 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0 0.060 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.060 * [taylor]: Taking taylor expansion of 2 in im 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.060 * [taylor]: Taking taylor expansion of (* re im) in im 0.060 * [taylor]: Taking taylor expansion of re in im 0.060 * [taylor]: Taking taylor expansion of im in im 0.060 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.060 * [taylor]: Taking taylor expansion of 2 in re 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.060 * [taylor]: Taking taylor expansion of (* re im) in re 0.060 * [taylor]: Taking taylor expansion of re in re 0.060 * [taylor]: Taking taylor expansion of im in re 0.061 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.061 * [taylor]: Taking taylor expansion of 2 in re 0.061 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.061 * [taylor]: Taking taylor expansion of (* re im) in re 0.061 * [taylor]: Taking taylor expansion of re in re 0.061 * [taylor]: Taking taylor expansion of im in re 0.061 * [taylor]: Taking taylor expansion of (/ 2 im) in im 0.061 * [taylor]: Taking taylor expansion of 2 in im 0.061 * [taylor]: Taking taylor expansion of im in im 0.062 * [taylor]: Taking taylor expansion of 0 in im 0.064 * [taylor]: Taking taylor expansion of 0 in im 0.071 * [taylor]: Taking taylor expansion of 0 in im 0.072 * * * [progress]: simplifying candidates 0.073 * [simplify]: Simplifying using # : (expm1 (+ (* re im) (* im re))) (log1p (+ (* re im) (* im re))) (* (exp (* re im)) (exp (* im re))) (log (+ (* re im) (* im re))) (exp (+ (* re im) (* im re))) (* (cbrt (+ (* re im) (* im re))) (cbrt (+ (* re im) (* im re)))) (cbrt (+ (* re im) (* im re))) (* (* (+ (* re im) (* im re)) (+ (* re im) (* im re))) (+ (* re im) (* im re))) (sqrt (+ (* re im) (* im re))) (sqrt (+ (* re im) (* im re))) (+ (pow (* re im) 3) (pow (* im re) 3)) (+ (* (* re im) (* re im)) (- (* (* im re) (* im re)) (* (* re im) (* im re)))) (- (* (* re im) (* re im)) (* (* im re) (* im re))) (- (* re im) (* im re)) (* 2 (* re im)) (* 2 (* re im)) (* 2 (* re im)) 0.074 * * [simplify]: iteration 0 : 30 enodes (cost 176 ) 0.079 * * [simplify]: iteration 1 : 81 enodes (cost 153 ) 0.097 * * [simplify]: iteration 2 : 282 enodes (cost 104 ) 0.259 * * [simplify]: iteration 3 : 1046 enodes (cost 99 ) 1.956 * * [simplify]: iteration 4 : 3918 enodes (cost 99 ) 4.007 * * [simplify]: iteration done : 5000 enodes (cost 99 ) 4.008 * [simplify]: Simplified to: (expm1 (* 2 (* re im))) (log1p (* 2 (* re im))) (pow (exp im) (* 2 re)) (log (* 2 (* re im))) (pow (exp im) (* 2 re)) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im)) (pow (* 2 (* re im)) 3) (sqrt (* 2 (* re im))) (sqrt (* 2 (* re im))) (* 2 (pow (* im re) 3)) (* (* im re) (* im re)) 0 0 (* 2 (* re im)) (* 2 (* re im)) (* 2 (* re im)) 4.008 * * * [progress]: adding candidates to table 4.043 * * [progress]: iteration 2 / 4 4.043 * * * [progress]: picking best candidate 4.045 * * * * [pick]: Picked # 4.045 * * * [progress]: localizing error 4.052 * * * [progress]: generating rewritten candidates 4.052 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.058 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.063 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 4.068 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 4.078 * * * [progress]: generating series expansions 4.078 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.078 * [approximate]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in (re im) around 0 4.078 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in im 4.078 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in im 4.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in im 4.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in im 4.078 * [taylor]: Taking taylor expansion of 1/3 in im 4.078 * [taylor]: Taking taylor expansion of (log (* re im)) in im 4.078 * [taylor]: Taking taylor expansion of (* re im) in im 4.078 * [taylor]: Taking taylor expansion of re in im 4.078 * [taylor]: Taking taylor expansion of im in im 4.080 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.080 * [taylor]: Taking taylor expansion of 2 in im 4.081 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.081 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.081 * [taylor]: Taking taylor expansion of 1/3 in re 4.081 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.081 * [taylor]: Taking taylor expansion of (* re im) in re 4.081 * [taylor]: Taking taylor expansion of re in re 4.081 * [taylor]: Taking taylor expansion of im in re 4.082 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.082 * [taylor]: Taking taylor expansion of 2 in re 4.082 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.082 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.082 * [taylor]: Taking taylor expansion of 1/3 in re 4.082 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.082 * [taylor]: Taking taylor expansion of (* re im) in re 4.082 * [taylor]: Taking taylor expansion of re in re 4.082 * [taylor]: Taking taylor expansion of im in re 4.083 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.083 * [taylor]: Taking taylor expansion of 2 in re 4.084 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) in im 4.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log im) (log re)))) in im 4.084 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log im) (log re))) in im 4.084 * [taylor]: Taking taylor expansion of 1/3 in im 4.084 * [taylor]: Taking taylor expansion of (+ (log im) (log re)) in im 4.084 * [taylor]: Taking taylor expansion of (log im) in im 4.084 * [taylor]: Taking taylor expansion of im in im 4.085 * [taylor]: Taking taylor expansion of (log re) in im 4.085 * [taylor]: Taking taylor expansion of re in im 4.086 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.086 * [taylor]: Taking taylor expansion of 2 in im 4.090 * [taylor]: Taking taylor expansion of 0 in im 4.102 * [taylor]: Taking taylor expansion of 0 in im 4.113 * [taylor]: Taking taylor expansion of 0 in im 4.113 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.113 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.113 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.114 * [taylor]: Taking taylor expansion of 1/3 in im 4.114 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.114 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.114 * [taylor]: Taking taylor expansion of (* re im) in im 4.114 * [taylor]: Taking taylor expansion of re in im 4.114 * [taylor]: Taking taylor expansion of im in im 4.114 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.114 * [taylor]: Taking taylor expansion of 2 in im 4.115 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.115 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.115 * [taylor]: Taking taylor expansion of 1/3 in re 4.115 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.115 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.115 * [taylor]: Taking taylor expansion of (* re im) in re 4.115 * [taylor]: Taking taylor expansion of re in re 4.115 * [taylor]: Taking taylor expansion of im in re 4.116 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.116 * [taylor]: Taking taylor expansion of 2 in re 4.117 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.117 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.117 * [taylor]: Taking taylor expansion of 1/3 in re 4.117 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.117 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.117 * [taylor]: Taking taylor expansion of (* re im) in re 4.117 * [taylor]: Taking taylor expansion of re in re 4.117 * [taylor]: Taking taylor expansion of im in re 4.118 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.118 * [taylor]: Taking taylor expansion of 2 in re 4.119 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.119 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.119 * [taylor]: Taking taylor expansion of 1/3 in im 4.119 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.119 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.119 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.119 * [taylor]: Taking taylor expansion of im in im 4.119 * [taylor]: Taking taylor expansion of (log re) in im 4.119 * [taylor]: Taking taylor expansion of re in im 4.120 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.120 * [taylor]: Taking taylor expansion of 2 in im 4.124 * [taylor]: Taking taylor expansion of 0 in im 4.132 * [taylor]: Taking taylor expansion of 0 in im 4.144 * [taylor]: Taking taylor expansion of 0 in im 4.145 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.145 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.145 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.145 * [taylor]: Taking taylor expansion of 1/3 in im 4.145 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.145 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.145 * [taylor]: Taking taylor expansion of (* re im) in im 4.145 * [taylor]: Taking taylor expansion of re in im 4.145 * [taylor]: Taking taylor expansion of im in im 4.146 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.146 * [taylor]: Taking taylor expansion of 2 in im 4.146 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.146 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.146 * [taylor]: Taking taylor expansion of 1/3 in re 4.146 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.146 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.146 * [taylor]: Taking taylor expansion of (* re im) in re 4.146 * [taylor]: Taking taylor expansion of re in re 4.146 * [taylor]: Taking taylor expansion of im in re 4.147 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.147 * [taylor]: Taking taylor expansion of 2 in re 4.148 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.148 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.148 * [taylor]: Taking taylor expansion of 1/3 in re 4.148 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.148 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.148 * [taylor]: Taking taylor expansion of (* re im) in re 4.148 * [taylor]: Taking taylor expansion of re in re 4.148 * [taylor]: Taking taylor expansion of im in re 4.149 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.149 * [taylor]: Taking taylor expansion of 2 in re 4.150 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.150 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.150 * [taylor]: Taking taylor expansion of 1/3 in im 4.150 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.150 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.150 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.150 * [taylor]: Taking taylor expansion of im in im 4.151 * [taylor]: Taking taylor expansion of (log re) in im 4.151 * [taylor]: Taking taylor expansion of re in im 4.151 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.151 * [taylor]: Taking taylor expansion of 2 in im 4.155 * [taylor]: Taking taylor expansion of 0 in im 4.163 * [taylor]: Taking taylor expansion of 0 in im 4.176 * [taylor]: Taking taylor expansion of 0 in im 4.176 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 4.176 * [approximate]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in (re im) around 0 4.176 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in im 4.176 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in im 4.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in im 4.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in im 4.176 * [taylor]: Taking taylor expansion of 1/3 in im 4.176 * [taylor]: Taking taylor expansion of (log (* re im)) in im 4.176 * [taylor]: Taking taylor expansion of (* re im) in im 4.176 * [taylor]: Taking taylor expansion of re in im 4.176 * [taylor]: Taking taylor expansion of im in im 4.177 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.177 * [taylor]: Taking taylor expansion of 2 in im 4.178 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.178 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.178 * [taylor]: Taking taylor expansion of 1/3 in re 4.178 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.178 * [taylor]: Taking taylor expansion of (* re im) in re 4.178 * [taylor]: Taking taylor expansion of re in re 4.178 * [taylor]: Taking taylor expansion of im in re 4.179 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.179 * [taylor]: Taking taylor expansion of 2 in re 4.179 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.179 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.179 * [taylor]: Taking taylor expansion of 1/3 in re 4.179 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.179 * [taylor]: Taking taylor expansion of (* re im) in re 4.179 * [taylor]: Taking taylor expansion of re in re 4.179 * [taylor]: Taking taylor expansion of im in re 4.180 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.180 * [taylor]: Taking taylor expansion of 2 in re 4.181 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) in im 4.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log im) (log re)))) in im 4.181 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log im) (log re))) in im 4.181 * [taylor]: Taking taylor expansion of 1/3 in im 4.181 * [taylor]: Taking taylor expansion of (+ (log im) (log re)) in im 4.181 * [taylor]: Taking taylor expansion of (log im) in im 4.181 * [taylor]: Taking taylor expansion of im in im 4.182 * [taylor]: Taking taylor expansion of (log re) in im 4.182 * [taylor]: Taking taylor expansion of re in im 4.182 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.182 * [taylor]: Taking taylor expansion of 2 in im 4.189 * [taylor]: Taking taylor expansion of 0 in im 4.196 * [taylor]: Taking taylor expansion of 0 in im 4.207 * [taylor]: Taking taylor expansion of 0 in im 4.208 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.208 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.208 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.208 * [taylor]: Taking taylor expansion of 1/3 in im 4.208 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.208 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.208 * [taylor]: Taking taylor expansion of (* re im) in im 4.208 * [taylor]: Taking taylor expansion of re in im 4.208 * [taylor]: Taking taylor expansion of im in im 4.209 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.209 * [taylor]: Taking taylor expansion of 2 in im 4.209 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.209 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.209 * [taylor]: Taking taylor expansion of 1/3 in re 4.209 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.209 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.209 * [taylor]: Taking taylor expansion of (* re im) in re 4.209 * [taylor]: Taking taylor expansion of re in re 4.209 * [taylor]: Taking taylor expansion of im in re 4.210 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.210 * [taylor]: Taking taylor expansion of 2 in re 4.211 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.211 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.211 * [taylor]: Taking taylor expansion of 1/3 in re 4.211 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.211 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.211 * [taylor]: Taking taylor expansion of (* re im) in re 4.211 * [taylor]: Taking taylor expansion of re in re 4.211 * [taylor]: Taking taylor expansion of im in re 4.212 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.212 * [taylor]: Taking taylor expansion of 2 in re 4.213 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.213 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.213 * [taylor]: Taking taylor expansion of 1/3 in im 4.213 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.213 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.213 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.213 * [taylor]: Taking taylor expansion of im in im 4.214 * [taylor]: Taking taylor expansion of (log re) in im 4.214 * [taylor]: Taking taylor expansion of re in im 4.214 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.214 * [taylor]: Taking taylor expansion of 2 in im 4.218 * [taylor]: Taking taylor expansion of 0 in im 4.226 * [taylor]: Taking taylor expansion of 0 in im 4.238 * [taylor]: Taking taylor expansion of 0 in im 4.239 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.239 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.239 * [taylor]: Taking taylor expansion of 1/3 in im 4.239 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.239 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.239 * [taylor]: Taking taylor expansion of (* re im) in im 4.239 * [taylor]: Taking taylor expansion of re in im 4.239 * [taylor]: Taking taylor expansion of im in im 4.240 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.240 * [taylor]: Taking taylor expansion of 2 in im 4.240 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.240 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.241 * [taylor]: Taking taylor expansion of 1/3 in re 4.241 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.241 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.241 * [taylor]: Taking taylor expansion of (* re im) in re 4.241 * [taylor]: Taking taylor expansion of re in re 4.241 * [taylor]: Taking taylor expansion of im in re 4.241 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.241 * [taylor]: Taking taylor expansion of 2 in re 4.242 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.242 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.242 * [taylor]: Taking taylor expansion of 1/3 in re 4.242 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.242 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.242 * [taylor]: Taking taylor expansion of (* re im) in re 4.242 * [taylor]: Taking taylor expansion of re in re 4.242 * [taylor]: Taking taylor expansion of im in re 4.243 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.243 * [taylor]: Taking taylor expansion of 2 in re 4.244 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.244 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.244 * [taylor]: Taking taylor expansion of 1/3 in im 4.244 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.244 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.244 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.244 * [taylor]: Taking taylor expansion of im in im 4.245 * [taylor]: Taking taylor expansion of (log re) in im 4.245 * [taylor]: Taking taylor expansion of re in im 4.245 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.246 * [taylor]: Taking taylor expansion of 2 in im 4.250 * [taylor]: Taking taylor expansion of 0 in im 4.258 * [taylor]: Taking taylor expansion of 0 in im 4.270 * [taylor]: Taking taylor expansion of 0 in im 4.270 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 4.271 * [approximate]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in (re im) around 0 4.271 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in im 4.271 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in im 4.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in im 4.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in im 4.271 * [taylor]: Taking taylor expansion of 1/3 in im 4.271 * [taylor]: Taking taylor expansion of (log (* re im)) in im 4.271 * [taylor]: Taking taylor expansion of (* re im) in im 4.271 * [taylor]: Taking taylor expansion of re in im 4.271 * [taylor]: Taking taylor expansion of im in im 4.274 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.274 * [taylor]: Taking taylor expansion of 2 in im 4.275 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.275 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.275 * [taylor]: Taking taylor expansion of 1/3 in re 4.275 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.275 * [taylor]: Taking taylor expansion of (* re im) in re 4.275 * [taylor]: Taking taylor expansion of re in re 4.275 * [taylor]: Taking taylor expansion of im in re 4.275 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.275 * [taylor]: Taking taylor expansion of 2 in re 4.276 * [taylor]: Taking taylor expansion of (* (pow (* re im) 1/3) (cbrt 2)) in re 4.276 * [taylor]: Taking taylor expansion of (pow (* re im) 1/3) in re 4.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* re im)))) in re 4.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (* re im))) in re 4.276 * [taylor]: Taking taylor expansion of 1/3 in re 4.276 * [taylor]: Taking taylor expansion of (log (* re im)) in re 4.276 * [taylor]: Taking taylor expansion of (* re im) in re 4.276 * [taylor]: Taking taylor expansion of re in re 4.276 * [taylor]: Taking taylor expansion of im in re 4.277 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.277 * [taylor]: Taking taylor expansion of 2 in re 4.278 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) in im 4.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log im) (log re)))) in im 4.278 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log im) (log re))) in im 4.278 * [taylor]: Taking taylor expansion of 1/3 in im 4.278 * [taylor]: Taking taylor expansion of (+ (log im) (log re)) in im 4.278 * [taylor]: Taking taylor expansion of (log im) in im 4.278 * [taylor]: Taking taylor expansion of im in im 4.278 * [taylor]: Taking taylor expansion of (log re) in im 4.278 * [taylor]: Taking taylor expansion of re in im 4.279 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.279 * [taylor]: Taking taylor expansion of 2 in im 4.283 * [taylor]: Taking taylor expansion of 0 in im 4.290 * [taylor]: Taking taylor expansion of 0 in im 4.301 * [taylor]: Taking taylor expansion of 0 in im 4.302 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.302 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.302 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.302 * [taylor]: Taking taylor expansion of 1/3 in im 4.302 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.302 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.302 * [taylor]: Taking taylor expansion of (* re im) in im 4.302 * [taylor]: Taking taylor expansion of re in im 4.302 * [taylor]: Taking taylor expansion of im in im 4.303 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.303 * [taylor]: Taking taylor expansion of 2 in im 4.303 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.303 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.304 * [taylor]: Taking taylor expansion of 1/3 in re 4.304 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.304 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.304 * [taylor]: Taking taylor expansion of (* re im) in re 4.304 * [taylor]: Taking taylor expansion of re in re 4.304 * [taylor]: Taking taylor expansion of im in re 4.304 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.304 * [taylor]: Taking taylor expansion of 2 in re 4.305 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.305 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.305 * [taylor]: Taking taylor expansion of 1/3 in re 4.305 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.305 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.305 * [taylor]: Taking taylor expansion of (* re im) in re 4.305 * [taylor]: Taking taylor expansion of re in re 4.305 * [taylor]: Taking taylor expansion of im in re 4.306 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.306 * [taylor]: Taking taylor expansion of 2 in re 4.307 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.307 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.307 * [taylor]: Taking taylor expansion of 1/3 in im 4.307 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.307 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.307 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.307 * [taylor]: Taking taylor expansion of im in im 4.308 * [taylor]: Taking taylor expansion of (log re) in im 4.308 * [taylor]: Taking taylor expansion of re in im 4.308 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.308 * [taylor]: Taking taylor expansion of 2 in im 4.312 * [taylor]: Taking taylor expansion of 0 in im 4.320 * [taylor]: Taking taylor expansion of 0 in im 4.333 * [taylor]: Taking taylor expansion of 0 in im 4.333 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in (re im) around 0 4.333 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in im 4.333 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in im 4.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in im 4.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in im 4.333 * [taylor]: Taking taylor expansion of 1/3 in im 4.334 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in im 4.334 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 4.334 * [taylor]: Taking taylor expansion of (* re im) in im 4.334 * [taylor]: Taking taylor expansion of re in im 4.334 * [taylor]: Taking taylor expansion of im in im 4.334 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.334 * [taylor]: Taking taylor expansion of 2 in im 4.335 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.335 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.335 * [taylor]: Taking taylor expansion of 1/3 in re 4.335 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.335 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.335 * [taylor]: Taking taylor expansion of (* re im) in re 4.335 * [taylor]: Taking taylor expansion of re in re 4.335 * [taylor]: Taking taylor expansion of im in re 4.336 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.336 * [taylor]: Taking taylor expansion of 2 in re 4.337 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* re im)) 1/3) (cbrt 2)) in re 4.337 * [taylor]: Taking taylor expansion of (pow (/ 1 (* re im)) 1/3) in re 4.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* re im))))) in re 4.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* re im)))) in re 4.337 * [taylor]: Taking taylor expansion of 1/3 in re 4.337 * [taylor]: Taking taylor expansion of (log (/ 1 (* re im))) in re 4.337 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 4.337 * [taylor]: Taking taylor expansion of (* re im) in re 4.337 * [taylor]: Taking taylor expansion of re in re 4.337 * [taylor]: Taking taylor expansion of im in re 4.338 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.338 * [taylor]: Taking taylor expansion of 2 in re 4.339 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 im)) (log re)))) (cbrt 2)) in im 4.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 im)) (log re)))) in im 4.339 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 im)) (log re))) in im 4.339 * [taylor]: Taking taylor expansion of 1/3 in im 4.339 * [taylor]: Taking taylor expansion of (- (log (/ 1 im)) (log re)) in im 4.339 * [taylor]: Taking taylor expansion of (log (/ 1 im)) in im 4.339 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.339 * [taylor]: Taking taylor expansion of im in im 4.339 * [taylor]: Taking taylor expansion of (log re) in im 4.340 * [taylor]: Taking taylor expansion of re in im 4.340 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.340 * [taylor]: Taking taylor expansion of 2 in im 4.344 * [taylor]: Taking taylor expansion of 0 in im 4.352 * [taylor]: Taking taylor expansion of 0 in im 4.367 * [taylor]: Taking taylor expansion of 0 in im 4.367 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 4.367 * [approximate]: Taking taylor expansion of (* (pow (* (pow re 2) (pow im 2)) 1/3) (pow (cbrt 2) 2)) in (re im) around 0 4.367 * [taylor]: Taking taylor expansion of (* (pow (* (pow re 2) (pow im 2)) 1/3) (pow (cbrt 2) 2)) in im 4.367 * [taylor]: Taking taylor expansion of (pow (* (pow re 2) (pow im 2)) 1/3) in im 4.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow re 2) (pow im 2))))) in im 4.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow re 2) (pow im 2)))) in im 4.367 * [taylor]: Taking taylor expansion of 1/3 in im 4.367 * [taylor]: Taking taylor expansion of (log (* (pow re 2) (pow im 2))) in im 4.367 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in im 4.368 * [taylor]: Taking taylor expansion of (pow re 2) in im 4.368 * [taylor]: Taking taylor expansion of re in im 4.368 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.368 * [taylor]: Taking taylor expansion of im in im 4.369 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.369 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.369 * [taylor]: Taking taylor expansion of 2 in im 4.370 * [taylor]: Taking taylor expansion of (* (pow (* (pow re 2) (pow im 2)) 1/3) (pow (cbrt 2) 2)) in re 4.370 * [taylor]: Taking taylor expansion of (pow (* (pow re 2) (pow im 2)) 1/3) in re 4.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow re 2) (pow im 2))))) in re 4.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow re 2) (pow im 2)))) in re 4.370 * [taylor]: Taking taylor expansion of 1/3 in re 4.370 * [taylor]: Taking taylor expansion of (log (* (pow re 2) (pow im 2))) in re 4.370 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.370 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.370 * [taylor]: Taking taylor expansion of re in re 4.370 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.370 * [taylor]: Taking taylor expansion of im in re 4.371 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.371 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.371 * [taylor]: Taking taylor expansion of 2 in re 4.372 * [taylor]: Taking taylor expansion of (* (pow (* (pow re 2) (pow im 2)) 1/3) (pow (cbrt 2) 2)) in re 4.372 * [taylor]: Taking taylor expansion of (pow (* (pow re 2) (pow im 2)) 1/3) in re 4.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow re 2) (pow im 2))))) in re 4.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow re 2) (pow im 2)))) in re 4.372 * [taylor]: Taking taylor expansion of 1/3 in re 4.372 * [taylor]: Taking taylor expansion of (log (* (pow re 2) (pow im 2))) in re 4.372 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.372 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.372 * [taylor]: Taking taylor expansion of re in re 4.372 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.372 * [taylor]: Taking taylor expansion of im in re 4.373 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.373 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.373 * [taylor]: Taking taylor expansion of 2 in re 4.375 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (pow im 2)) (* 2 (log re))))) (pow (cbrt 2) 2)) in im 4.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow im 2)) (* 2 (log re))))) in im 4.375 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow im 2)) (* 2 (log re)))) in im 4.375 * [taylor]: Taking taylor expansion of 1/3 in im 4.375 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (* 2 (log re))) in im 4.375 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 4.375 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.375 * [taylor]: Taking taylor expansion of im in im 4.376 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 4.376 * [taylor]: Taking taylor expansion of 2 in im 4.376 * [taylor]: Taking taylor expansion of (log re) in im 4.376 * [taylor]: Taking taylor expansion of re in im 4.376 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.376 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.376 * [taylor]: Taking taylor expansion of 2 in im 4.383 * [taylor]: Taking taylor expansion of 0 in im 4.393 * [taylor]: Taking taylor expansion of 0 in im 4.408 * [taylor]: Taking taylor expansion of 0 in im 4.409 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in (re im) around 0 4.409 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in im 4.409 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in im 4.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in im 4.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in im 4.409 * [taylor]: Taking taylor expansion of 1/3 in im 4.409 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in im 4.409 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in im 4.409 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in im 4.409 * [taylor]: Taking taylor expansion of (pow re 2) in im 4.409 * [taylor]: Taking taylor expansion of re in im 4.409 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.409 * [taylor]: Taking taylor expansion of im in im 4.410 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.410 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.410 * [taylor]: Taking taylor expansion of 2 in im 4.411 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in re 4.411 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in re 4.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in re 4.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in re 4.411 * [taylor]: Taking taylor expansion of 1/3 in re 4.411 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in re 4.411 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in re 4.411 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.411 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.411 * [taylor]: Taking taylor expansion of re in re 4.411 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.411 * [taylor]: Taking taylor expansion of im in re 4.412 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.412 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.412 * [taylor]: Taking taylor expansion of 2 in re 4.413 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in re 4.413 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in re 4.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in re 4.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in re 4.413 * [taylor]: Taking taylor expansion of 1/3 in re 4.413 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in re 4.413 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in re 4.413 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.413 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.413 * [taylor]: Taking taylor expansion of re in re 4.413 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.413 * [taylor]: Taking taylor expansion of im in re 4.414 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.414 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.414 * [taylor]: Taking taylor expansion of 2 in re 4.416 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2) 2) (exp (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re)))))) in im 4.417 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.417 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.417 * [taylor]: Taking taylor expansion of 2 in im 4.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re))))) in im 4.418 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re)))) in im 4.418 * [taylor]: Taking taylor expansion of 1/3 in im 4.418 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (* 2 (log re))) in im 4.418 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 4.418 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 4.418 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.418 * [taylor]: Taking taylor expansion of im in im 4.418 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 4.418 * [taylor]: Taking taylor expansion of 2 in im 4.418 * [taylor]: Taking taylor expansion of (log re) in im 4.418 * [taylor]: Taking taylor expansion of re in im 4.425 * [taylor]: Taking taylor expansion of 0 in im 4.436 * [taylor]: Taking taylor expansion of 0 in im 4.455 * [taylor]: Taking taylor expansion of 0 in im 4.456 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in (re im) around 0 4.456 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in im 4.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in im 4.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in im 4.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in im 4.456 * [taylor]: Taking taylor expansion of 1/3 in im 4.456 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in im 4.456 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in im 4.456 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in im 4.456 * [taylor]: Taking taylor expansion of (pow re 2) in im 4.456 * [taylor]: Taking taylor expansion of re in im 4.456 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.456 * [taylor]: Taking taylor expansion of im in im 4.458 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.458 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.458 * [taylor]: Taking taylor expansion of 2 in im 4.458 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in re 4.458 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in re 4.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in re 4.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in re 4.458 * [taylor]: Taking taylor expansion of 1/3 in re 4.458 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in re 4.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in re 4.458 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.458 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.458 * [taylor]: Taking taylor expansion of re in re 4.458 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.458 * [taylor]: Taking taylor expansion of im in re 4.460 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.460 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.460 * [taylor]: Taking taylor expansion of 2 in re 4.460 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) (pow (cbrt 2) 2)) in re 4.460 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow re 2) (pow im 2))) 1/3) in re 4.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2)))))) in re 4.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow re 2) (pow im 2))))) in re 4.460 * [taylor]: Taking taylor expansion of 1/3 in re 4.460 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow re 2) (pow im 2)))) in re 4.460 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) (pow im 2))) in re 4.460 * [taylor]: Taking taylor expansion of (* (pow re 2) (pow im 2)) in re 4.460 * [taylor]: Taking taylor expansion of (pow re 2) in re 4.460 * [taylor]: Taking taylor expansion of re in re 4.460 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.461 * [taylor]: Taking taylor expansion of im in re 4.462 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in re 4.462 * [taylor]: Taking taylor expansion of (cbrt 2) in re 4.462 * [taylor]: Taking taylor expansion of 2 in re 4.464 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2) 2) (exp (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re)))))) in im 4.464 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in im 4.464 * [taylor]: Taking taylor expansion of (cbrt 2) in im 4.464 * [taylor]: Taking taylor expansion of 2 in im 4.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re))))) in im 4.465 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow im 2))) (* 2 (log re)))) in im 4.465 * [taylor]: Taking taylor expansion of 1/3 in im 4.465 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (* 2 (log re))) in im 4.465 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 4.465 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 4.465 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.465 * [taylor]: Taking taylor expansion of im in im 4.465 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 4.465 * [taylor]: Taking taylor expansion of 2 in im 4.466 * [taylor]: Taking taylor expansion of (log re) in im 4.466 * [taylor]: Taking taylor expansion of re in im 4.472 * [taylor]: Taking taylor expansion of 0 in im 4.483 * [taylor]: Taking taylor expansion of 0 in im 4.499 * [taylor]: Taking taylor expansion of 0 in im 4.500 * * * [progress]: simplifying candidates 4.501 * [simplify]: Simplifying using # : (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (log1p (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (+ 1/3 1/3) (+ 1 1) (* (* (* 2 re) im) (* (* 2 re) im)) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (+ 1 1) (+ (log (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im)))) (log (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (exp (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (* (* (* 2 re) im) (* (* 2 re) im)) (* (cbrt (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (cbrt (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))))) (cbrt (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (* (* (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (sqrt (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (sqrt (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)))) (* (cbrt (* 2 re)) (cbrt (* 2 re))) (* (cbrt im) (cbrt im)) (* (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im))))) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (* (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im)))) (* (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im)))) (* 1 1) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (* (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im)))) (* (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im)))) (* 2 1/3) (* 2 1) (* (cbrt (* (* 2 re) im)) (cbrt (* 2 re))) (* (cbrt (* (* 2 re) im)) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im))))) (* (cbrt (* (* 2 re) im)) (sqrt (cbrt (* (* 2 re) im)))) (* (cbrt (* (* 2 re) im)) 1) (* (cbrt im) (cbrt (* (* 2 re) im))) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im))) (* (sqrt (cbrt (* (* 2 re) im))) (cbrt (* (* 2 re) im))) (* (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im))) (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) (* (cbrt 2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re)))))) (* (cbrt 2) (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im)))))) (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) (* (cbrt 2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re)))))) (* (cbrt 2) (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im)))))) (* (exp (* 1/3 (+ (log im) (log re)))) (cbrt 2)) (* (cbrt 2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re)))))) (* (cbrt 2) (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im)))))) (* (pow (cbrt 2) 2) (exp (* 1/3 (+ (* 2 (log im)) (* 2 (log re)))))) (* (pow (cbrt 2) 2) (exp (* -1/3 (+ (* 2 (log (/ 1 im))) (* 2 (log (/ 1 re))))))) (* (exp (* -1/3 (+ (* 2 (log (/ -1 re))) (* 2 (log (/ -1 im)))))) (pow (cbrt 2) 2)) 4.504 * * [simplify]: iteration 0 : 90 enodes (cost 926 ) 4.527 * * [simplify]: iteration 1 : 212 enodes (cost 837 ) 4.561 * * [simplify]: iteration 2 : 531 enodes (cost 737 ) 4.806 * * [simplify]: iteration 3 : 1482 enodes (cost 649 ) 5.747 * * [simplify]: iteration 4 : 3763 enodes (cost 606 ) 6.521 * * [simplify]: iteration done : 5001 enodes (cost 606 ) 6.522 * [simplify]: Simplified to: (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* 2 re) im) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* 2 re) im) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (cbrt (* (* 2 re) im))) (log1p (cbrt (* (* 2 re) im))) (log (cbrt (* (* 2 re) im))) (exp (cbrt (* (* 2 re) im))) (cbrt (* 2 re)) (cbrt im) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (cbrt (* (* 2 re) im))) (* (* 2 re) im) (sqrt (cbrt (* (* 2 re) im))) (sqrt (cbrt (* (* 2 re) im))) (expm1 (pow (sqrt (cbrt (* (* 2 re) im))) 4)) (log1p (pow (sqrt (cbrt (* (* 2 re) im))) 4)) 2/3 2 (* (pow (* re im) 2) 4) (pow (sqrt (cbrt (* (* 2 re) im))) 4) 2 (* 2 (log (cbrt (* (* 2 re) im)))) (* 2 (log (cbrt (* (* 2 re) im)))) (exp (pow (sqrt (cbrt (* (* 2 re) im))) 4)) (* (pow (* re im) 2) 4) (* (cbrt (pow (sqrt (cbrt (* (* 2 re) im))) 4)) (cbrt (pow (sqrt (cbrt (* (* 2 re) im))) 4))) (cbrt (pow (sqrt (cbrt (* (* 2 re) im))) 4)) (* (pow (* re im) 2) 4) (fabs (cbrt (* (* 2 re) im))) (fabs (cbrt (* (* 2 re) im))) (* (cbrt (* 2 re)) (cbrt (* 2 re))) (pow im 2/3) (pow (cbrt (cbrt (* (* 2 re) im))) 4) (* (cbrt (cbrt (* (* 2 re) im))) (cbrt (cbrt (* (* 2 re) im)))) (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)) 1 (pow (sqrt (cbrt (* (* 2 re) im))) 4) (cbrt (* (* 2 re) im)) (cbrt (* (* 2 re) im)) 2/3 2 (* (cbrt (* (* 2 re) im)) (cbrt (* 2 re))) (pow (cbrt (cbrt (* (* 2 re) im))) 5) (pow (sqrt (cbrt (* (* 2 re) im))) 3) (cbrt (* (* 2 re) im)) (* (cbrt im) (cbrt (* (* 2 re) im))) (pow (cbrt (cbrt (* (* 2 re) im))) 4) (pow (sqrt (cbrt (* (* 2 re) im))) 3) (pow (sqrt (cbrt (* (* 2 re) im))) 4) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt 2) (pow (* (/ -1 im) (/ -1 re)) -1/3)) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt 2) (pow (* (/ -1 im) (/ -1 re)) -1/3)) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt (* re im)) (cbrt 2)) (* (cbrt 2) (pow (* (/ -1 im) (/ -1 re)) -1/3)) (* (pow (cbrt 2) 2) (pow (* re im) 2/3)) (* (pow (cbrt 2) 2) (pow (* re im) 2/3)) (* (pow (* (/ -1 im) (/ -1 re)) -2/3) (pow (cbrt 2) 2)) 6.522 * * * [progress]: adding candidates to table 6.688 * [progress]: [Phase 3 of 3] Extracting. 6.689 * * [regime]: Finding splitpoints for: (# #) 6.690 * * * [regime-changes]: Trying 3 branch expressions: ((+ (* re im) (* im re)) im re) 6.691 * * * * [regimes]: Trying to branch on (+ (* re im) (* im re)) from (# #) 6.706 * * * * [regimes]: Trying to branch on im from (# #) 6.717 * * * * [regimes]: Trying to branch on re from (# #) 6.728 * * * [regime]: Found split indices: #