2.692 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 0.032 * * [simplify]: iteration 0 : 24 enodes (cost 9 ) 0.034 * * [simplify]: iteration 1 : 61 enodes (cost 9 ) 0.035 * * [simplify]: iteration 2 : 168 enodes (cost 8 ) 0.039 * * [simplify]: iteration 3 : 483 enodes (cost 6 ) 0.048 * * [simplify]: iteration 4 : 1418 enodes (cost 5 ) 0.070 * * [simplify]: iteration 5 : 3857 enodes (cost 5 ) 0.121 * * [simplify]: iteration 6 : 5001 enodes (cost 5 ) 0.121 * [simplify]: Simplified to: (fma 3 (* x.re (- (* x.im x.im))) (pow x.re 3)) 0.124 * * [progress]: iteration 1 / 4 0.124 * * * [progress]: picking best candidate 0.127 * * * * [pick]: Picked # 0.127 * * * [progress]: localizing error 0.141 * * * [progress]: generating rewritten candidates 0.141 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.148 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.156 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.162 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.168 * * * [progress]: generating series expansions 0.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.168 * [approximate]: Taking taylor expansion of (* (- (pow x.re 2) (pow x.im 2)) x.re) in (x.re x.im) around 0 0.169 * [taylor]: Taking taylor expansion of (* (- (pow x.re 2) (pow x.im 2)) x.re) in x.im 0.169 * [taylor]: Taking taylor expansion of (- (pow x.re 2) (pow x.im 2)) in x.im 0.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.169 * [taylor]: Taking taylor expansion of x.re in x.im 0.169 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.169 * [taylor]: Taking taylor expansion of x.im in x.im 0.169 * [taylor]: Taking taylor expansion of x.re in x.im 0.169 * [taylor]: Taking taylor expansion of (* (- (pow x.re 2) (pow x.im 2)) x.re) in x.re 0.169 * [taylor]: Taking taylor expansion of (- (pow x.re 2) (pow x.im 2)) in x.re 0.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.169 * [taylor]: Taking taylor expansion of x.re in x.re 0.169 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.169 * [taylor]: Taking taylor expansion of x.im in x.re 0.169 * [taylor]: Taking taylor expansion of x.re in x.re 0.169 * [taylor]: Taking taylor expansion of (* (- (pow x.re 2) (pow x.im 2)) x.re) in x.re 0.169 * [taylor]: Taking taylor expansion of (- (pow x.re 2) (pow x.im 2)) in x.re 0.169 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.169 * [taylor]: Taking taylor expansion of x.re in x.re 0.169 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.169 * [taylor]: Taking taylor expansion of x.im in x.re 0.169 * [taylor]: Taking taylor expansion of x.re in x.re 0.169 * [taylor]: Taking taylor expansion of 0 in x.im 0.170 * [taylor]: Taking taylor expansion of (- (pow x.im 2)) in x.im 0.170 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.170 * [taylor]: Taking taylor expansion of x.im in x.im 0.172 * [taylor]: Taking taylor expansion of 0 in x.im 0.174 * [taylor]: Taking taylor expansion of 1 in x.im 0.177 * [taylor]: Taking taylor expansion of 0 in x.im 0.178 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in (x.re x.im) around 0 0.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.im 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.im 0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.178 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.178 * [taylor]: Taking taylor expansion of x.re in x.im 0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.178 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.178 * [taylor]: Taking taylor expansion of x.im in x.im 0.179 * [taylor]: Taking taylor expansion of x.re in x.im 0.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.re 0.179 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.re 0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.179 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.179 * [taylor]: Taking taylor expansion of x.re in x.re 0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.180 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.180 * [taylor]: Taking taylor expansion of x.im in x.re 0.180 * [taylor]: Taking taylor expansion of x.re in x.re 0.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.re 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.re 0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.180 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.180 * [taylor]: Taking taylor expansion of x.re in x.re 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.181 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.181 * [taylor]: Taking taylor expansion of x.im in x.re 0.181 * [taylor]: Taking taylor expansion of x.re in x.re 0.181 * [taylor]: Taking taylor expansion of 1 in x.im 0.183 * [taylor]: Taking taylor expansion of 0 in x.im 0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 2))) in x.im 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.185 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.185 * [taylor]: Taking taylor expansion of x.im in x.im 0.188 * [taylor]: Taking taylor expansion of 0 in x.im 0.193 * [taylor]: Taking taylor expansion of 0 in x.im 0.194 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re)) in (x.re x.im) around 0 0.194 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re)) in x.im 0.194 * [taylor]: Taking taylor expansion of -1 in x.im 0.194 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.im 0.194 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.im 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.194 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.194 * [taylor]: Taking taylor expansion of x.re in x.im 0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.195 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.195 * [taylor]: Taking taylor expansion of x.im in x.im 0.195 * [taylor]: Taking taylor expansion of x.re in x.im 0.196 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re)) in x.re 0.196 * [taylor]: Taking taylor expansion of -1 in x.re 0.196 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.re 0.196 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.re 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.196 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.196 * [taylor]: Taking taylor expansion of x.re in x.re 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.196 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.196 * [taylor]: Taking taylor expansion of x.im in x.re 0.196 * [taylor]: Taking taylor expansion of x.re in x.re 0.197 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re)) in x.re 0.197 * [taylor]: Taking taylor expansion of -1 in x.re 0.197 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) x.re) in x.re 0.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 2)) (/ 1 (pow x.im 2))) in x.re 0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.197 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.197 * [taylor]: Taking taylor expansion of x.re in x.re 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.198 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.198 * [taylor]: Taking taylor expansion of x.im in x.re 0.198 * [taylor]: Taking taylor expansion of x.re in x.re 0.199 * [taylor]: Taking taylor expansion of -1 in x.im 0.200 * [taylor]: Taking taylor expansion of 0 in x.im 0.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.203 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.203 * [taylor]: Taking taylor expansion of x.im in x.im 0.207 * [taylor]: Taking taylor expansion of 0 in x.im 0.212 * [taylor]: Taking taylor expansion of 0 in x.im 0.213 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.214 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 0.214 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 0.214 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.214 * [taylor]: Taking taylor expansion of x.re in x.im 0.214 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 0.214 * [taylor]: Taking taylor expansion of 3 in x.im 0.214 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.214 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.214 * [taylor]: Taking taylor expansion of x.im in x.im 0.214 * [taylor]: Taking taylor expansion of x.re in x.im 0.214 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.214 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.214 * [taylor]: Taking taylor expansion of x.re in x.re 0.214 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.214 * [taylor]: Taking taylor expansion of 3 in x.re 0.214 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.214 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.214 * [taylor]: Taking taylor expansion of x.im in x.re 0.214 * [taylor]: Taking taylor expansion of x.re in x.re 0.214 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.214 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.214 * [taylor]: Taking taylor expansion of x.re in x.re 0.214 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.214 * [taylor]: Taking taylor expansion of 3 in x.re 0.214 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.214 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.214 * [taylor]: Taking taylor expansion of x.im in x.re 0.214 * [taylor]: Taking taylor expansion of x.re in x.re 0.215 * [taylor]: Taking taylor expansion of 0 in x.im 0.216 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 0.216 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.216 * [taylor]: Taking taylor expansion of 3 in x.im 0.216 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.216 * [taylor]: Taking taylor expansion of x.im in x.im 0.218 * [taylor]: Taking taylor expansion of 0 in x.im 0.220 * [taylor]: Taking taylor expansion of 1 in x.im 0.228 * [taylor]: Taking taylor expansion of 0 in x.im 0.230 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in (x.re x.im) around 0 0.230 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 0.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.230 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.230 * [taylor]: Taking taylor expansion of x.re in x.im 0.230 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.230 * [taylor]: Taking taylor expansion of 3 in x.im 0.230 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.230 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.230 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.230 * [taylor]: Taking taylor expansion of x.im in x.im 0.230 * [taylor]: Taking taylor expansion of x.re in x.im 0.230 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.230 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.230 * [taylor]: Taking taylor expansion of x.re in x.re 0.231 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.231 * [taylor]: Taking taylor expansion of 3 in x.re 0.231 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.231 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.231 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.231 * [taylor]: Taking taylor expansion of x.im in x.re 0.231 * [taylor]: Taking taylor expansion of x.re in x.re 0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.232 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.232 * [taylor]: Taking taylor expansion of x.re in x.re 0.232 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.232 * [taylor]: Taking taylor expansion of 3 in x.re 0.232 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.232 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.233 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.233 * [taylor]: Taking taylor expansion of x.im in x.re 0.233 * [taylor]: Taking taylor expansion of x.re in x.re 0.233 * [taylor]: Taking taylor expansion of 1 in x.im 0.235 * [taylor]: Taking taylor expansion of 0 in x.im 0.236 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 0.236 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.236 * [taylor]: Taking taylor expansion of 3 in x.im 0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.236 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.236 * [taylor]: Taking taylor expansion of x.im in x.im 0.241 * [taylor]: Taking taylor expansion of 0 in x.im 0.246 * [taylor]: Taking taylor expansion of 0 in x.im 0.248 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in (x.re x.im) around 0 0.248 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 0.248 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.248 * [taylor]: Taking taylor expansion of 3 in x.im 0.248 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.248 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.248 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.248 * [taylor]: Taking taylor expansion of x.im in x.im 0.248 * [taylor]: Taking taylor expansion of x.re in x.im 0.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.249 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.249 * [taylor]: Taking taylor expansion of x.re in x.im 0.249 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.249 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.249 * [taylor]: Taking taylor expansion of 3 in x.re 0.249 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.249 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.249 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.249 * [taylor]: Taking taylor expansion of x.im in x.re 0.249 * [taylor]: Taking taylor expansion of x.re in x.re 0.250 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.250 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.250 * [taylor]: Taking taylor expansion of x.re in x.re 0.250 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.250 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.250 * [taylor]: Taking taylor expansion of 3 in x.re 0.250 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.250 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.250 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.250 * [taylor]: Taking taylor expansion of x.im in x.re 0.250 * [taylor]: Taking taylor expansion of x.re in x.re 0.251 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.251 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.251 * [taylor]: Taking taylor expansion of x.re in x.re 0.252 * [taylor]: Taking taylor expansion of -1 in x.im 0.254 * [taylor]: Taking taylor expansion of 0 in x.im 0.255 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.255 * [taylor]: Taking taylor expansion of 3 in x.im 0.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.256 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.256 * [taylor]: Taking taylor expansion of x.im in x.im 0.259 * [taylor]: Taking taylor expansion of 0 in x.im 0.265 * [taylor]: Taking taylor expansion of 0 in x.im 0.267 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.267 * [approximate]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.267 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.im 0.267 * [taylor]: Taking taylor expansion of 2 in x.im 0.267 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.267 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.267 * [taylor]: Taking taylor expansion of x.im in x.im 0.267 * [taylor]: Taking taylor expansion of x.re in x.im 0.267 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.re 0.267 * [taylor]: Taking taylor expansion of 2 in x.re 0.267 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.267 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.267 * [taylor]: Taking taylor expansion of x.im in x.re 0.267 * [taylor]: Taking taylor expansion of x.re in x.re 0.267 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.re 0.267 * [taylor]: Taking taylor expansion of 2 in x.re 0.267 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.267 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.267 * [taylor]: Taking taylor expansion of x.im in x.re 0.267 * [taylor]: Taking taylor expansion of x.re in x.re 0.267 * [taylor]: Taking taylor expansion of 0 in x.im 0.268 * [taylor]: Taking taylor expansion of (* 2 (pow x.im 2)) in x.im 0.268 * [taylor]: Taking taylor expansion of 2 in x.im 0.268 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.268 * [taylor]: Taking taylor expansion of x.im in x.im 0.270 * [taylor]: Taking taylor expansion of 0 in x.im 0.273 * [taylor]: Taking taylor expansion of 0 in x.im 0.273 * [approximate]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.273 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.im 0.273 * [taylor]: Taking taylor expansion of 2 in x.im 0.273 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.273 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.273 * [taylor]: Taking taylor expansion of x.im in x.im 0.273 * [taylor]: Taking taylor expansion of x.re in x.im 0.273 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.re 0.273 * [taylor]: Taking taylor expansion of 2 in x.re 0.273 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.273 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.273 * [taylor]: Taking taylor expansion of x.im in x.re 0.274 * [taylor]: Taking taylor expansion of x.re in x.re 0.274 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.re 0.274 * [taylor]: Taking taylor expansion of 2 in x.re 0.274 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.274 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.274 * [taylor]: Taking taylor expansion of x.im in x.re 0.274 * [taylor]: Taking taylor expansion of x.re in x.re 0.275 * [taylor]: Taking taylor expansion of (/ 2 (pow x.im 2)) in x.im 0.275 * [taylor]: Taking taylor expansion of 2 in x.im 0.275 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.275 * [taylor]: Taking taylor expansion of x.im in x.im 0.276 * [taylor]: Taking taylor expansion of 0 in x.im 0.279 * [taylor]: Taking taylor expansion of 0 in x.im 0.281 * [taylor]: Taking taylor expansion of 0 in x.im 0.284 * [taylor]: Taking taylor expansion of 0 in x.im 0.285 * [approximate]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.285 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.im 0.285 * [taylor]: Taking taylor expansion of -2 in x.im 0.285 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.285 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.285 * [taylor]: Taking taylor expansion of x.im in x.im 0.285 * [taylor]: Taking taylor expansion of x.re in x.im 0.285 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.re 0.285 * [taylor]: Taking taylor expansion of -2 in x.re 0.285 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.285 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.285 * [taylor]: Taking taylor expansion of x.im in x.re 0.285 * [taylor]: Taking taylor expansion of x.re in x.re 0.286 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.re 0.286 * [taylor]: Taking taylor expansion of -2 in x.re 0.286 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.286 * [taylor]: Taking taylor expansion of x.im in x.re 0.286 * [taylor]: Taking taylor expansion of x.re in x.re 0.286 * [taylor]: Taking taylor expansion of (/ -2 (pow x.im 2)) in x.im 0.286 * [taylor]: Taking taylor expansion of -2 in x.im 0.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.286 * [taylor]: Taking taylor expansion of x.im in x.im 0.288 * [taylor]: Taking taylor expansion of 0 in x.im 0.290 * [taylor]: Taking taylor expansion of 0 in x.im 0.293 * [taylor]: Taking taylor expansion of 0 in x.im 0.296 * [taylor]: Taking taylor expansion of 0 in x.im 0.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.296 * [approximate]: Taking taylor expansion of (* 2 (* x.im x.re)) in (x.re x.im) around 0 0.296 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.im 0.296 * [taylor]: Taking taylor expansion of 2 in x.im 0.296 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.296 * [taylor]: Taking taylor expansion of x.im in x.im 0.296 * [taylor]: Taking taylor expansion of x.re in x.im 0.296 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.re 0.296 * [taylor]: Taking taylor expansion of 2 in x.re 0.296 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.296 * [taylor]: Taking taylor expansion of x.im in x.re 0.296 * [taylor]: Taking taylor expansion of x.re in x.re 0.296 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.re 0.296 * [taylor]: Taking taylor expansion of 2 in x.re 0.296 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.296 * [taylor]: Taking taylor expansion of x.im in x.re 0.296 * [taylor]: Taking taylor expansion of x.re in x.re 0.297 * [taylor]: Taking taylor expansion of 0 in x.im 0.297 * [taylor]: Taking taylor expansion of (* 2 x.im) in x.im 0.297 * [taylor]: Taking taylor expansion of 2 in x.im 0.297 * [taylor]: Taking taylor expansion of x.im in x.im 0.298 * [taylor]: Taking taylor expansion of 0 in x.im 0.300 * [taylor]: Taking taylor expansion of 0 in x.im 0.302 * [taylor]: Taking taylor expansion of 0 in x.im 0.302 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in (x.re x.im) around 0 0.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.im 0.302 * [taylor]: Taking taylor expansion of 2 in x.im 0.302 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 0.302 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.302 * [taylor]: Taking taylor expansion of x.im in x.im 0.302 * [taylor]: Taking taylor expansion of x.re in x.im 0.303 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.303 * [taylor]: Taking taylor expansion of 2 in x.re 0.303 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.303 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.303 * [taylor]: Taking taylor expansion of x.im in x.re 0.303 * [taylor]: Taking taylor expansion of x.re in x.re 0.303 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.303 * [taylor]: Taking taylor expansion of 2 in x.re 0.303 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.303 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.303 * [taylor]: Taking taylor expansion of x.im in x.re 0.303 * [taylor]: Taking taylor expansion of x.re in x.re 0.304 * [taylor]: Taking taylor expansion of (/ 2 x.im) in x.im 0.304 * [taylor]: Taking taylor expansion of 2 in x.im 0.304 * [taylor]: Taking taylor expansion of x.im in x.im 0.305 * [taylor]: Taking taylor expansion of 0 in x.im 0.306 * [taylor]: Taking taylor expansion of 0 in x.im 0.308 * [taylor]: Taking taylor expansion of 0 in x.im 0.311 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in (x.re x.im) around 0 0.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.im 0.311 * [taylor]: Taking taylor expansion of 2 in x.im 0.311 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 0.311 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.311 * [taylor]: Taking taylor expansion of x.im in x.im 0.311 * [taylor]: Taking taylor expansion of x.re in x.im 0.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.312 * [taylor]: Taking taylor expansion of 2 in x.re 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.312 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.312 * [taylor]: Taking taylor expansion of x.im in x.re 0.312 * [taylor]: Taking taylor expansion of x.re in x.re 0.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.312 * [taylor]: Taking taylor expansion of 2 in x.re 0.312 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.312 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.312 * [taylor]: Taking taylor expansion of x.im in x.re 0.312 * [taylor]: Taking taylor expansion of x.re in x.re 0.312 * [taylor]: Taking taylor expansion of (/ 2 x.im) in x.im 0.312 * [taylor]: Taking taylor expansion of 2 in x.im 0.312 * [taylor]: Taking taylor expansion of x.im in x.im 0.314 * [taylor]: Taking taylor expansion of 0 in x.im 0.315 * [taylor]: Taking taylor expansion of 0 in x.im 0.317 * [taylor]: Taking taylor expansion of 0 in x.im 0.318 * * * [progress]: simplifying candidates 0.319 * [simplify]: Simplifying using # : (expm1 (* (- (* x.re x.re) (* x.im x.im)) x.re)) (log1p (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re) (+ (log (- (* x.re x.re) (* x.im x.im))) (log x.re)) (log (* (- (* x.re x.re) (* x.im x.im)) x.re)) (exp (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (* (* (- (* x.re x.re) (* x.im x.im)) (- (* x.re x.re) (* x.im x.im))) (- (* x.re x.re) (* x.im x.im))) (* (* x.re x.re) x.re)) (* (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re))) (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (* (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (sqrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (sqrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (sqrt (- (* x.re x.re) (* x.im x.im))) (sqrt x.re)) (* (sqrt (- (* x.re x.re) (* x.im x.im))) (sqrt x.re)) (* (- (* x.re x.re) (* x.im x.im)) (* (cbrt x.re) (cbrt x.re))) (* (- (* x.re x.re) (* x.im x.im)) (sqrt x.re)) (* (- (* x.re x.re) (* x.im x.im)) 1) (* (cbrt (- (* x.re x.re) (* x.im x.im))) x.re) (* (sqrt (- (* x.re x.re) (* x.im x.im))) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- x.re x.im) x.re) (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re) (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.re) (fma (- (* x.re x.re) (* x.im x.im)) x.re (- (* x.im (+ (* x.re x.im) (* x.im x.re))))) (fma (- x.im) (+ (* x.re x.im) (* x.im x.re)) (* x.im (+ (* x.re x.im) (* x.im x.re)))) (expm1 (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log1p (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (/ (exp (* (- (* x.re x.re) (* x.im x.im)) x.re)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (exp (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (* (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re) (- (* x.re x.im) (* x.im x.re))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re))) (- (* (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.re) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (* x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (+ (* x.re x.re) (* x.im x.im)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))) x.re) (- (* x.re x.im) (* x.im x.re))) (* (+ (* x.re x.re) (* x.im x.im)) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (+ (* x.re x.re) (* x.im x.im)) (- (* x.re x.im) (* x.im x.re))) (- (pow (* (- (* x.re x.re) (* x.im x.im)) x.re) 3) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3)) (+ (* (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (+ (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (+ (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (expm1 (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (log1p (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im) (+ (log (+ (* x.re x.im) (* x.im x.re))) (log x.im)) (log (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (+ (* x.re x.im) (* x.im x.re))) (* (* x.im x.im) x.im)) (* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (+ (* x.re x.im) (* x.im x.re)) (* (cbrt x.im) (cbrt x.im))) (* (+ (* x.re x.im) (* x.im x.re)) (sqrt x.im)) (* (+ (* x.re x.im) (* x.im x.re)) 1) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im) (expm1 (+ (* x.re x.im) (* x.im x.re))) (log1p (+ (* x.re x.im) (* x.im x.re))) (* (exp (* x.re x.im)) (exp (* x.im x.re))) (log (+ (* x.re x.im) (* x.im x.re))) (exp (+ (* x.re x.im) (* x.im x.re))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))) (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) (- (* x.re x.im) (* x.im x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (* 2 (* (pow x.im 2) x.re)) (* 2 (* (pow x.im 2) x.re)) (* 2 (* (pow x.im 2) x.re)) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) 0.325 * * [simplify]: iteration 0 : 434 enodes (cost 759 ) 0.334 * * [simplify]: iteration 1 : 2148 enodes (cost 640 ) 0.385 * * [simplify]: iteration 2 : 5001 enodes (cost 586 ) 0.388 * [simplify]: Simplified to: (expm1 (* (- (* x.re x.re) (* x.im x.im)) x.re)) (log1p (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re) (log (* (- (* x.re x.re) (* x.im x.im)) x.re)) (log (* (- (* x.re x.re) (* x.im x.im)) x.re)) (exp (* (- (* x.re x.re) (* x.im x.im)) x.re)) (pow (* (- (* x.re x.re) (* x.im x.im)) x.re) 3) (* (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re))) (cbrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (pow (* (- (* x.re x.re) (* x.im x.im)) x.re) 3) (sqrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (sqrt (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (sqrt (- (* x.re x.re) (* x.im x.im))) (sqrt x.re)) (* (sqrt (- (* x.re x.re) (* x.im x.im))) (sqrt x.re)) (* (- (* x.re x.re) (* x.im x.im)) (* (cbrt x.re) (cbrt x.re))) (* (- (* x.re x.re) (* x.im x.im)) (sqrt x.re)) (- (* x.re x.re) (* x.im x.im)) (* (cbrt (- (* x.re x.re) (* x.im x.im))) x.re) (* (sqrt (- (* x.re x.re) (* x.im x.im))) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- x.re x.im) x.re) (* (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)) x.re) (fma x.re (pow x.re 4) (* x.re (* (- (pow x.im 3)) x.im))) (fma x.re (- (* x.re x.re) (* x.im x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (fma x.re x.im (* x.im x.re)) (+ (- x.im) x.im)) (expm1 (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log1p (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (- (fma x.re x.im (* x.im x.re))) x.im) (exp (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (exp (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (cbrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (pow (fma x.re (- (* x.re x.re) (* x.im x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im)) 3) (sqrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (fma (* (* 2 (pow (* x.im x.re) 3)) (fma (pow x.im 2) (fma x.re x.re (* x.im x.im)) (* (pow x.re 3) x.re))) (- x.im) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) x.re) (- (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))) (* (* x.re x.re) (* (pow x.im 2) (fma (pow x.im 2) (fma x.re x.re (* x.im x.im)) (* (pow x.re 3) x.re)))) (fma (- (fma x.re x.re (* x.im x.im))) (* x.im 0) (* (* 0 x.re) (* (fma x.re x.re (* x.im x.im)) (- (* x.re x.re) (* x.im x.im))))) 0 (fma (* (* (* x.re x.im) (+ (* x.re x.im) 0)) x.re) (fma (- (pow x.im 3)) x.im (pow x.re 4)) (* (- (* (fma x.re x.re (* x.im x.im)) (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) x.im)) (* (* (* x.re x.im) (* x.re x.im)) (fma x.re x.re (* x.im x.im))) (fma (- (fma x.re x.re (* x.im x.im))) (* x.im 0) (* (* 0 x.re) (* (fma x.re x.re (* x.im x.im)) (- (* x.re x.re) (* x.im x.im))))) 0 (- (pow (* (- (* x.re x.re) (* x.im x.im)) x.re) 3) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3)) (fma (* x.re x.re) (* (- (* x.re x.re) (* x.im x.im)) (- (* x.re x.re) (* x.im x.im))) (* (* (* x.re x.im) (+ x.im x.im)) (fma x.im (fma x.re x.im (* x.im x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re)))) (* (- (fma x.re x.im (* x.im x.re))) x.im) (* (fma x.re (- (* x.re x.re) (* x.im x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im)) (fma x.im (fma x.re x.im (* x.im x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re))) (fma x.im (fma x.re x.im (* x.im x.re)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (- (fma x.re x.im (* x.im x.re))) x.im) (expm1 (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (log1p (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* x.re x.im) (+ x.im x.im)) (log (* (* x.re x.im) (+ x.im x.im))) (log (* (* x.re x.im) (+ x.im x.im))) (pow (exp x.im) (fma x.re x.im (* x.im x.re))) (pow (* (* x.re x.im) (+ x.im x.im)) 3) (* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow (* (* x.re x.im) (+ x.im x.im)) 3) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (* (fma x.re x.im (* x.im x.re)) (cbrt x.im)) (cbrt x.im)) (* (sqrt x.im) (fma x.re x.im (* x.im x.re))) (fma x.re x.im (* x.im x.re)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (* x.re x.im) (+ x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im) 0 (expm1 (+ (* x.re x.im) (* x.im x.re))) (log1p (+ (* x.re x.im) (* x.im x.re))) (pow (exp x.re) (* 2 x.im)) (log (+ (* x.re x.im) (* x.im x.re))) (pow (exp x.re) (* 2 x.im)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (pow (fma x.re x.im (* x.im x.re)) 3) (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (* 2 (pow (* x.im x.re) 3)) (fma (* x.re (* x.im x.re)) x.im 0) 0 0 (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (* (* x.re x.im) (+ x.im x.im)) (* (* x.re x.im) (+ x.im x.im)) (* (* x.re x.im) (+ x.im x.im)) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) 0.388 * * * [progress]: adding candidates to table 0.592 * * [progress]: iteration 2 / 4 0.592 * * * [progress]: picking best candidate 0.601 * * * * [pick]: Picked # 0.601 * * * [progress]: localizing error 0.612 * * * [progress]: generating rewritten candidates 0.612 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.626 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.633 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.644 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.652 * * * [progress]: generating series expansions 0.652 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.652 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 0.652 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 0.652 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.652 * [taylor]: Taking taylor expansion of x.re in x.im 0.652 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 0.652 * [taylor]: Taking taylor expansion of 3 in x.im 0.652 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.652 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.652 * [taylor]: Taking taylor expansion of x.im in x.im 0.652 * [taylor]: Taking taylor expansion of x.re in x.im 0.652 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.652 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.652 * [taylor]: Taking taylor expansion of x.re in x.re 0.652 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.652 * [taylor]: Taking taylor expansion of 3 in x.re 0.652 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.653 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.653 * [taylor]: Taking taylor expansion of x.im in x.re 0.653 * [taylor]: Taking taylor expansion of x.re in x.re 0.653 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.653 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.653 * [taylor]: Taking taylor expansion of x.re in x.re 0.653 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.653 * [taylor]: Taking taylor expansion of 3 in x.re 0.653 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.653 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.653 * [taylor]: Taking taylor expansion of x.im in x.re 0.653 * [taylor]: Taking taylor expansion of x.re in x.re 0.654 * [taylor]: Taking taylor expansion of 0 in x.im 0.655 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 0.655 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.655 * [taylor]: Taking taylor expansion of 3 in x.im 0.655 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.655 * [taylor]: Taking taylor expansion of x.im in x.im 0.656 * [taylor]: Taking taylor expansion of 0 in x.im 0.659 * [taylor]: Taking taylor expansion of 1 in x.im 0.663 * [taylor]: Taking taylor expansion of 0 in x.im 0.665 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in (x.re x.im) around 0 0.665 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 0.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.665 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.665 * [taylor]: Taking taylor expansion of x.re in x.im 0.665 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.665 * [taylor]: Taking taylor expansion of 3 in x.im 0.665 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.665 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.665 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.665 * [taylor]: Taking taylor expansion of x.im in x.im 0.665 * [taylor]: Taking taylor expansion of x.re in x.im 0.666 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.666 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.666 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.666 * [taylor]: Taking taylor expansion of x.re in x.re 0.666 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.666 * [taylor]: Taking taylor expansion of 3 in x.re 0.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.666 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.666 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.666 * [taylor]: Taking taylor expansion of x.im in x.re 0.666 * [taylor]: Taking taylor expansion of x.re in x.re 0.667 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.667 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.667 * [taylor]: Taking taylor expansion of x.re in x.re 0.668 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.668 * [taylor]: Taking taylor expansion of 3 in x.re 0.668 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.668 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.668 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.668 * [taylor]: Taking taylor expansion of x.im in x.re 0.668 * [taylor]: Taking taylor expansion of x.re in x.re 0.669 * [taylor]: Taking taylor expansion of 1 in x.im 0.670 * [taylor]: Taking taylor expansion of 0 in x.im 0.672 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 0.672 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.672 * [taylor]: Taking taylor expansion of 3 in x.im 0.672 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.672 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.672 * [taylor]: Taking taylor expansion of x.im in x.im 0.679 * [taylor]: Taking taylor expansion of 0 in x.im 0.684 * [taylor]: Taking taylor expansion of 0 in x.im 0.686 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in (x.re x.im) around 0 0.686 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 0.687 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.687 * [taylor]: Taking taylor expansion of 3 in x.im 0.687 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.687 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.687 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.687 * [taylor]: Taking taylor expansion of x.im in x.im 0.687 * [taylor]: Taking taylor expansion of x.re in x.im 0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.687 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.687 * [taylor]: Taking taylor expansion of x.re in x.im 0.687 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.687 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.687 * [taylor]: Taking taylor expansion of 3 in x.re 0.687 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.687 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.687 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.687 * [taylor]: Taking taylor expansion of x.im in x.re 0.687 * [taylor]: Taking taylor expansion of x.re in x.re 0.688 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.688 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.688 * [taylor]: Taking taylor expansion of x.re in x.re 0.689 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.689 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.689 * [taylor]: Taking taylor expansion of 3 in x.re 0.689 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.689 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.689 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.689 * [taylor]: Taking taylor expansion of x.im in x.re 0.689 * [taylor]: Taking taylor expansion of x.re in x.re 0.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.689 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.689 * [taylor]: Taking taylor expansion of x.re in x.re 0.690 * [taylor]: Taking taylor expansion of -1 in x.im 0.692 * [taylor]: Taking taylor expansion of 0 in x.im 0.694 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.694 * [taylor]: Taking taylor expansion of 3 in x.im 0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.694 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.694 * [taylor]: Taking taylor expansion of x.im in x.im 0.698 * [taylor]: Taking taylor expansion of 0 in x.im 0.703 * [taylor]: Taking taylor expansion of 0 in x.im 0.705 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.705 * [approximate]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.705 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.im 0.705 * [taylor]: Taking taylor expansion of 2 in x.im 0.705 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.705 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.705 * [taylor]: Taking taylor expansion of x.im in x.im 0.705 * [taylor]: Taking taylor expansion of x.re in x.im 0.705 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.re 0.705 * [taylor]: Taking taylor expansion of 2 in x.re 0.705 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.705 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.705 * [taylor]: Taking taylor expansion of x.im in x.re 0.705 * [taylor]: Taking taylor expansion of x.re in x.re 0.705 * [taylor]: Taking taylor expansion of (* 2 (* (pow x.im 2) x.re)) in x.re 0.705 * [taylor]: Taking taylor expansion of 2 in x.re 0.705 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.705 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.705 * [taylor]: Taking taylor expansion of x.im in x.re 0.705 * [taylor]: Taking taylor expansion of x.re in x.re 0.705 * [taylor]: Taking taylor expansion of 0 in x.im 0.706 * [taylor]: Taking taylor expansion of (* 2 (pow x.im 2)) in x.im 0.706 * [taylor]: Taking taylor expansion of 2 in x.im 0.706 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.706 * [taylor]: Taking taylor expansion of x.im in x.im 0.708 * [taylor]: Taking taylor expansion of 0 in x.im 0.710 * [taylor]: Taking taylor expansion of 0 in x.im 0.711 * [approximate]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.711 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.im 0.711 * [taylor]: Taking taylor expansion of 2 in x.im 0.711 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.711 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.711 * [taylor]: Taking taylor expansion of x.im in x.im 0.711 * [taylor]: Taking taylor expansion of x.re in x.im 0.711 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.re 0.711 * [taylor]: Taking taylor expansion of 2 in x.re 0.711 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.711 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.711 * [taylor]: Taking taylor expansion of x.im in x.re 0.711 * [taylor]: Taking taylor expansion of x.re in x.re 0.712 * [taylor]: Taking taylor expansion of (/ 2 (* (pow x.im 2) x.re)) in x.re 0.712 * [taylor]: Taking taylor expansion of 2 in x.re 0.712 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.712 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.712 * [taylor]: Taking taylor expansion of x.im in x.re 0.712 * [taylor]: Taking taylor expansion of x.re in x.re 0.712 * [taylor]: Taking taylor expansion of (/ 2 (pow x.im 2)) in x.im 0.713 * [taylor]: Taking taylor expansion of 2 in x.im 0.713 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.713 * [taylor]: Taking taylor expansion of x.im in x.im 0.714 * [taylor]: Taking taylor expansion of 0 in x.im 0.716 * [taylor]: Taking taylor expansion of 0 in x.im 0.719 * [taylor]: Taking taylor expansion of 0 in x.im 0.722 * [taylor]: Taking taylor expansion of 0 in x.im 0.722 * [approximate]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.722 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.im 0.722 * [taylor]: Taking taylor expansion of -2 in x.im 0.722 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.722 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.722 * [taylor]: Taking taylor expansion of x.im in x.im 0.722 * [taylor]: Taking taylor expansion of x.re in x.im 0.722 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.re 0.723 * [taylor]: Taking taylor expansion of -2 in x.re 0.723 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.723 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.723 * [taylor]: Taking taylor expansion of x.im in x.re 0.723 * [taylor]: Taking taylor expansion of x.re in x.re 0.723 * [taylor]: Taking taylor expansion of (/ -2 (* (pow x.im 2) x.re)) in x.re 0.723 * [taylor]: Taking taylor expansion of -2 in x.re 0.723 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.723 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.723 * [taylor]: Taking taylor expansion of x.im in x.re 0.723 * [taylor]: Taking taylor expansion of x.re in x.re 0.724 * [taylor]: Taking taylor expansion of (/ -2 (pow x.im 2)) in x.im 0.724 * [taylor]: Taking taylor expansion of -2 in x.im 0.724 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.724 * [taylor]: Taking taylor expansion of x.im in x.im 0.725 * [taylor]: Taking taylor expansion of 0 in x.im 0.727 * [taylor]: Taking taylor expansion of 0 in x.im 0.730 * [taylor]: Taking taylor expansion of 0 in x.im 0.733 * [taylor]: Taking taylor expansion of 0 in x.im 0.733 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.733 * [approximate]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in (x.re x.im) around 0 0.733 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.im 0.733 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.im 0.733 * [taylor]: Taking taylor expansion of x.im in x.im 0.733 * [taylor]: Taking taylor expansion of x.re in x.im 0.733 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.im 0.733 * [taylor]: Taking taylor expansion of x.re in x.im 0.733 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.im 0.734 * [taylor]: Taking taylor expansion of x.re in x.im 0.734 * [taylor]: Taking taylor expansion of x.im in x.im 0.734 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.re 0.734 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.re 0.734 * [taylor]: Taking taylor expansion of x.im in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of x.im in x.re 0.734 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.re 0.734 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.re 0.734 * [taylor]: Taking taylor expansion of x.im in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.734 * [taylor]: Taking taylor expansion of x.im in x.re 0.734 * [taylor]: Taking taylor expansion of 0 in x.im 0.735 * [taylor]: Taking taylor expansion of (- (pow x.im 2)) in x.im 0.735 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.735 * [taylor]: Taking taylor expansion of x.im in x.im 0.737 * [taylor]: Taking taylor expansion of 0 in x.im 0.739 * [taylor]: Taking taylor expansion of 1 in x.im 0.742 * [taylor]: Taking taylor expansion of 0 in x.im 0.743 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) x.re) in (x.re x.im) around 0 0.743 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) x.re) in x.im 0.743 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) in x.im 0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.im 0.743 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 0.743 * [taylor]: Taking taylor expansion of x.re in x.im 0.743 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 0.743 * [taylor]: Taking taylor expansion of x.im in x.im 0.743 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.im 0.743 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 0.743 * [taylor]: Taking taylor expansion of x.re in x.im 0.743 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 0.743 * [taylor]: Taking taylor expansion of x.im in x.im 0.743 * [taylor]: Taking taylor expansion of x.re in x.im 0.744 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) x.re) in x.re 0.744 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) in x.re 0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 0.744 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.744 * [taylor]: Taking taylor expansion of x.re in x.re 0.745 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.745 * [taylor]: Taking taylor expansion of x.im in x.re 0.745 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 0.745 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.745 * [taylor]: Taking taylor expansion of x.re in x.re 0.745 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.745 * [taylor]: Taking taylor expansion of x.im in x.re 0.745 * [taylor]: Taking taylor expansion of x.re in x.re 0.746 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) x.re) in x.re 0.746 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.re) (/ 1 x.im))) in x.re 0.746 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 0.746 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.746 * [taylor]: Taking taylor expansion of x.re in x.re 0.747 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.747 * [taylor]: Taking taylor expansion of x.im in x.re 0.747 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 0.747 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.747 * [taylor]: Taking taylor expansion of x.re in x.re 0.747 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.747 * [taylor]: Taking taylor expansion of x.im in x.re 0.747 * [taylor]: Taking taylor expansion of x.re in x.re 0.748 * [taylor]: Taking taylor expansion of 1 in x.im 0.749 * [taylor]: Taking taylor expansion of 0 in x.im 0.752 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.im 2))) in x.im 0.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.752 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.752 * [taylor]: Taking taylor expansion of x.im in x.im 0.757 * [taylor]: Taking taylor expansion of 0 in x.im 0.765 * [taylor]: Taking taylor expansion of 0 in x.im 0.766 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) x.re) in (x.re x.im) around 0 0.766 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) x.re) in x.im 0.766 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) in x.im 0.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.im 0.766 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 0.766 * [taylor]: Taking taylor expansion of x.re in x.im 0.767 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 0.767 * [taylor]: Taking taylor expansion of x.im in x.im 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.im 0.767 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 0.767 * [taylor]: Taking taylor expansion of x.im in x.im 0.767 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 0.767 * [taylor]: Taking taylor expansion of x.re in x.im 0.767 * [taylor]: Taking taylor expansion of x.re in x.im 0.768 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) x.re) in x.re 0.768 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) in x.re 0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 0.768 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.768 * [taylor]: Taking taylor expansion of x.re in x.re 0.768 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.768 * [taylor]: Taking taylor expansion of x.im in x.re 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 0.768 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.768 * [taylor]: Taking taylor expansion of x.im in x.re 0.768 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.768 * [taylor]: Taking taylor expansion of x.re in x.re 0.769 * [taylor]: Taking taylor expansion of x.re in x.re 0.770 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) x.re) in x.re 0.770 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (- (/ 1 x.im) (/ 1 x.re))) in x.re 0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 0.770 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.770 * [taylor]: Taking taylor expansion of x.re in x.re 0.770 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.770 * [taylor]: Taking taylor expansion of x.im in x.re 0.770 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 0.770 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 0.770 * [taylor]: Taking taylor expansion of x.im in x.re 0.770 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 0.770 * [taylor]: Taking taylor expansion of x.re in x.re 0.771 * [taylor]: Taking taylor expansion of x.re in x.re 0.772 * [taylor]: Taking taylor expansion of -1 in x.im 0.773 * [taylor]: Taking taylor expansion of 0 in x.im 0.776 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.776 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.776 * [taylor]: Taking taylor expansion of x.im in x.im 0.780 * [taylor]: Taking taylor expansion of 0 in x.im 0.785 * [taylor]: Taking taylor expansion of 0 in x.im 0.787 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.787 * [approximate]: Taking taylor expansion of (* 2 (* x.im x.re)) in (x.re x.im) around 0 0.787 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.im 0.787 * [taylor]: Taking taylor expansion of 2 in x.im 0.787 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.787 * [taylor]: Taking taylor expansion of x.im in x.im 0.787 * [taylor]: Taking taylor expansion of x.re in x.im 0.787 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.re 0.787 * [taylor]: Taking taylor expansion of 2 in x.re 0.787 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.787 * [taylor]: Taking taylor expansion of x.im in x.re 0.787 * [taylor]: Taking taylor expansion of x.re in x.re 0.787 * [taylor]: Taking taylor expansion of (* 2 (* x.im x.re)) in x.re 0.787 * [taylor]: Taking taylor expansion of 2 in x.re 0.787 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.787 * [taylor]: Taking taylor expansion of x.im in x.re 0.787 * [taylor]: Taking taylor expansion of x.re in x.re 0.788 * [taylor]: Taking taylor expansion of 0 in x.im 0.788 * [taylor]: Taking taylor expansion of (* 2 x.im) in x.im 0.788 * [taylor]: Taking taylor expansion of 2 in x.im 0.788 * [taylor]: Taking taylor expansion of x.im in x.im 0.789 * [taylor]: Taking taylor expansion of 0 in x.im 0.791 * [taylor]: Taking taylor expansion of 0 in x.im 0.793 * [taylor]: Taking taylor expansion of 0 in x.im 0.793 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in (x.re x.im) around 0 0.793 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.im 0.793 * [taylor]: Taking taylor expansion of 2 in x.im 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 0.793 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.793 * [taylor]: Taking taylor expansion of x.im in x.im 0.793 * [taylor]: Taking taylor expansion of x.re in x.im 0.794 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.794 * [taylor]: Taking taylor expansion of 2 in x.re 0.794 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.794 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.794 * [taylor]: Taking taylor expansion of x.im in x.re 0.794 * [taylor]: Taking taylor expansion of x.re in x.re 0.794 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.794 * [taylor]: Taking taylor expansion of 2 in x.re 0.794 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.794 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.794 * [taylor]: Taking taylor expansion of x.im in x.re 0.794 * [taylor]: Taking taylor expansion of x.re in x.re 0.795 * [taylor]: Taking taylor expansion of (/ 2 x.im) in x.im 0.795 * [taylor]: Taking taylor expansion of 2 in x.im 0.795 * [taylor]: Taking taylor expansion of x.im in x.im 0.796 * [taylor]: Taking taylor expansion of 0 in x.im 0.798 * [taylor]: Taking taylor expansion of 0 in x.im 0.800 * [taylor]: Taking taylor expansion of 0 in x.im 0.801 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in (x.re x.im) around 0 0.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.im 0.801 * [taylor]: Taking taylor expansion of 2 in x.im 0.801 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 0.801 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 0.801 * [taylor]: Taking taylor expansion of x.im in x.im 0.801 * [taylor]: Taking taylor expansion of x.re in x.im 0.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.801 * [taylor]: Taking taylor expansion of 2 in x.re 0.801 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.801 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.801 * [taylor]: Taking taylor expansion of x.im in x.re 0.801 * [taylor]: Taking taylor expansion of x.re in x.re 0.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x.im x.re))) in x.re 0.801 * [taylor]: Taking taylor expansion of 2 in x.re 0.801 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 0.802 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 0.802 * [taylor]: Taking taylor expansion of x.im in x.re 0.802 * [taylor]: Taking taylor expansion of x.re in x.re 0.802 * [taylor]: Taking taylor expansion of (/ 2 x.im) in x.im 0.802 * [taylor]: Taking taylor expansion of 2 in x.im 0.802 * [taylor]: Taking taylor expansion of x.im in x.im 0.803 * [taylor]: Taking taylor expansion of 0 in x.im 0.805 * [taylor]: Taking taylor expansion of 0 in x.im 0.806 * [taylor]: Taking taylor expansion of 0 in x.im 0.807 * * * [progress]: simplifying candidates 0.809 * [simplify]: Simplifying using # : (fma (+ x.re x.im) (* (- x.re x.im) x.re) (- (* x.im (+ (* x.re x.im) (* x.im x.re))))) (fma (- x.im) (+ (* x.re x.im) (* x.im x.re)) (* x.im (+ (* x.re x.im) (* x.im x.re)))) (expm1 (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log1p (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (/ (exp (* (+ x.re x.im) (* (- x.re x.im) x.re))) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (exp (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (* (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (- (* x.re x.im) (* x.im x.re))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (- (* x.re x.im) (* x.im x.re))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (* (- x.re x.im) (+ x.re x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (- x.re x.im) (+ x.re x.im)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (* (- x.re x.im) (+ x.re x.im)) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (* (- x.re x.im) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re))) (- (* (* (+ x.re x.im) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (+ x.re x.im) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im))) (- (* x.re x.im) (* x.im x.re))) (- (* (* (+ x.re x.im) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (+ x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (+ x.re x.im) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (+ x.re x.im) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (+ x.re x.im) (- (* x.re x.im) (* x.im x.re))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (- (* x.re x.im) (* x.im x.re))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- x.re x.im) x.re)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (- x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (- x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (- (* (* (- (* x.re x.re) (* x.im x.im)) (* (- x.re x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* (- x.re x.im) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im))) (* (- x.re x.im) (- (* x.re x.im) (* x.im x.re))) (- (pow (* (+ x.re x.im) (* (- x.re x.im) x.re)) 3) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3)) (+ (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (+ (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (+ (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (- (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (expm1 (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (log1p (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im) (+ (log (+ (* x.re x.im) (* x.im x.re))) (log x.im)) (log (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (+ (* x.re x.im) (* x.im x.re))) (* (* x.im x.im) x.im)) (* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (+ (* x.re x.im) (* x.im x.re)) (* (cbrt x.im) (cbrt x.im))) (* (+ (* x.re x.im) (* x.im x.re)) (sqrt x.im)) (* (+ (* x.re x.im) (* x.im x.re)) 1) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im) (* (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) x.im) (expm1 (* (+ x.re x.im) (* (- x.re x.im) x.re))) (log1p (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (+ (log (+ x.re x.im)) (+ (log (- x.re x.im)) (log x.re))) (+ (log (+ x.re x.im)) (log (* (- x.re x.im) x.re))) (log (* (+ x.re x.im) (* (- x.re x.im) x.re))) (exp (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (* (* (+ x.re x.im) (+ x.re x.im)) (+ x.re x.im)) (* (* (* (- x.re x.im) (- x.re x.im)) (- x.re x.im)) (* (* x.re x.re) x.re))) (* (* (* (+ x.re x.im) (+ x.re x.im)) (+ x.re x.im)) (* (* (* (- x.re x.im) x.re) (* (- x.re x.im) x.re)) (* (- x.re x.im) x.re))) (* (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re)))) (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (sqrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (sqrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (+ x.re x.im)) (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (- x.re x.im) (+ (* x.re x.re) (+ (* x.im x.im) (* x.re x.im)))) (* (- (* x.re x.re) (* x.im x.im)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (- x.re x.im) (+ x.re x.im)) (* (+ x.re x.im) (- x.re x.im)) (* (cbrt (+ x.re x.im)) (* (- x.re x.im) x.re)) (* (sqrt (+ x.re x.im)) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (+ x.re x.im) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) x.re)) (* (- (* x.re x.re) (* x.im x.im)) (* (- x.re x.im) x.re)) (expm1 (+ (* x.re x.im) (* x.im x.re))) (log1p (+ (* x.re x.im) (* x.im x.re))) (* (exp (* x.re x.im)) (exp (* x.im x.re))) (log (+ (* x.re x.im) (* x.im x.re))) (exp (+ (* x.re x.im) (* x.im x.re))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (* (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))) (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))) (- (* x.re x.im) (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (* 2 (* (pow x.im 2) x.re)) (* 2 (* (pow x.im 2) x.re)) (* 2 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (- (pow x.re 3) (* (pow x.im 2) x.re)) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) 0.817 * * [simplify]: iteration 0 : 763 enodes (cost 1284 ) 0.834 * * [simplify]: iteration 1 : 4427 enodes (cost 1057 ) 0.936 * * [simplify]: iteration 2 : 5001 enodes (cost 1043 ) 0.941 * [simplify]: Simplified to: (fma (- (* x.re x.re) (* x.im x.im)) x.re (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (fma x.re x.im (* x.im x.re)) (+ (- x.im) x.im)) (expm1 (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log1p (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (- (fma x.re x.im (* x.im x.re))) x.im) (exp (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (log (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (exp (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (* (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))) (cbrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (pow (fma (- (* x.re x.re) (* x.im x.im)) x.re (* (- (fma x.re x.im (* x.im x.re))) x.im)) 3) (sqrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (sqrt (- (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (fma (- (fma x.im (- x.im x.re) (* x.re x.re))) (* (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) x.im) (* 2 (pow (* x.im x.re) 3))) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) (* (+ (pow x.re 3) (pow x.im 3)) (- (pow x.re 3) (pow x.im 3)))) x.re)) (* (+ (* (* (* x.im x.re) (* x.im x.re)) (fma x.im (- x.im x.re) (* x.re x.re))) (* 0 (fma x.im (- x.im x.re) (* x.re x.re)))) (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (fma (- (fma x.im (- x.im x.re) (* x.re x.re))) (* (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) x.im) 0) (* (* 0 (* (+ (pow x.re 3) (pow x.im 3)) (- (pow x.re 3) (pow x.im 3)))) x.re)) (* (* 0 (fma x.im (- x.im x.re) (* x.re x.re))) (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (fma (- (fma x.im (- x.im x.re) (* x.re x.re))) (* (* (+ x.re x.im) x.im) (* 2 (pow (* x.im x.re) 3))) (* (* (+ (pow x.re 3) (pow x.im 3)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (* x.re x.im) (+ (* x.re x.im) 0)))) (* (+ (* (* (* x.im x.re) (* x.im x.re)) (+ x.re x.im)) (* 0 (+ x.re x.im))) (fma x.im (- x.im x.re) (* x.re x.re))) (+ (* (- (fma x.im (- x.im x.re) (* x.re x.re))) (* (* (+ x.re x.im) (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re)))) x.im)) (* (* (+ (pow x.re 3) (pow x.im 3)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) 0)) (* (* 0 (fma x.im (- x.im x.re) (* x.re x.re))) (+ x.re x.im)) (+ (* (- (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (- x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) (* (- (* x.re x.re) (* x.im x.im)) (- (pow x.re 3) (pow x.im 3)))) x.re)) (* (+ (* (* (* x.im x.re) (* x.im x.re)) (- x.re x.im)) (* 0 (- x.re x.im))) (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (+ (* (- (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (- x.re x.im))) (* x.im (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re))))) (* (* 0 (* (- (* x.re x.re) (* x.im x.im)) (- (pow x.re 3) (pow x.im 3)))) x.re)) (* (* 0 (- x.re x.im)) (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (* (- (* x.re x.re) (* x.im x.im)) (- (+ (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (* x.im x.re) (* x.im x.re))) (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) 0)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (- (* x.re x.re) (* x.im x.im)) (* (* x.re x.im) (+ (* x.re x.im) 0))) (* (- (* x.re x.re) (* x.im x.im)) (- (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* x.im (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re)))))) (* (- (* x.re x.re) (* x.im x.im)) 0) (+ (* (- (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) x.im) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) (* (+ x.re x.im) (- (pow x.re 3) (pow x.im 3)))) x.re)) (+ (* (* (* x.im x.re) (* x.im x.re)) (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (* 0 (fma x.re x.re (fma x.im x.im (* x.re x.im))))) (+ (* (- (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re))))) x.im) (* (* 0 (* (+ x.re x.im) (- (pow x.re 3) (pow x.im 3)))) x.re)) (* 0 (fma x.re x.re (fma x.im x.im (* x.re x.im)))) (+ (- (* (+ x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (+ x.re x.im) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (* x.re x.im) (+ (* x.re x.im) 0)))) (+ (* (* (* x.im x.re) (* x.im x.re)) (+ x.re x.im)) (* 0 (+ x.re x.im))) (* (+ x.re x.im) (- (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (- (* x.re x.im) (* x.im x.re))) (* x.im (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re)))))) (* 0 (+ x.re x.im)) (+ (* (- (fma x.im (- x.im x.re) (* x.re x.re))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im)) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) (* (+ (pow x.re 3) (pow x.im 3)) (- x.re x.im))) x.re)) (+ (* (* (* x.im x.re) (* x.im x.re)) (fma x.im (- x.im x.re) (* x.re x.re))) (* 0 (fma x.im (- x.im x.re) (* x.re x.re)))) (+ (* (- (fma x.im (- x.im x.re) (* x.re x.re))) (* x.im (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re))))) (* (* 0 (* (+ (pow x.re 3) (pow x.im 3)) (- x.re x.im))) x.re)) (* 0 (fma x.im (- x.im x.re) (* x.re x.re))) (+ (- (* (- x.re x.im) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im))) (* (* (* (* x.re x.im) (+ (* x.re x.im) 0)) (* (- (* x.re x.re) (* x.im x.im)) (- x.re x.im))) x.re)) (+ (* (* (* x.im x.re) (* x.im x.re)) (- x.re x.im)) (* 0 (- x.re x.im))) (+ (* (- (* (- x.re x.im) (* (fma x.re x.im (* x.im x.re)) (- (* x.re x.im) (* x.im x.re))))) x.im) (* (* 0 (* (- (* x.re x.re) (* x.im x.im)) (- x.re x.im))) x.re)) (* 0 (- x.re x.im)) (- (pow (* (+ x.re x.im) (* (- x.re x.im) x.re)) 3) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3)) (fma (* x.im (+ (* x.re x.im) (* x.im x.re))) (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)))) (* (- (fma x.re x.im (* x.im x.re))) x.im) (* (fma (- (* x.re x.re) (* x.im x.im)) x.re (* (- (fma x.re x.im (* x.im x.re))) x.im)) (fma x.im (fma x.re x.im (* x.im x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)))) (fma x.im (fma x.re x.im (* x.im x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (- (fma x.re x.im (* x.im x.re))) x.im) (expm1 (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (log1p (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (* x.re x.im) (+ x.im x.im)) (log (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (log (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow (exp x.im) (fma x.re x.im (* x.im x.re))) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3) (* (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im))) (cbrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow (* (+ (* x.re x.im) (* x.im x.re)) x.im) 3) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (sqrt (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt x.im)) (* (* (fma x.re x.im (* x.im x.re)) (cbrt x.im)) (cbrt x.im)) (* (sqrt x.im) (fma x.re x.im (* x.im x.re))) (fma x.re x.im (* x.im x.re)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (sqrt (+ (* x.re x.im) (* x.im x.re))) x.im) (* (* x.re x.im) (+ x.im x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.im) (* 0 x.im) (expm1 (* (+ x.re x.im) (* (- x.re x.im) x.re))) (log1p (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (log (* (+ x.re x.im) (* (- x.re x.im) x.re))) (log (* (+ x.re x.im) (* (- x.re x.im) x.re))) (log (* (+ x.re x.im) (* (- x.re x.im) x.re))) (exp (* (+ x.re x.im) (* (- x.re x.im) x.re))) (pow (* (+ x.re x.im) (* (- x.re x.im) x.re)) 3) (pow (* (+ x.re x.im) (* (- x.re x.im) x.re)) 3) (* (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re)))) (cbrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (pow (* (+ x.re x.im) (* (- x.re x.im) x.re)) 3) (sqrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (sqrt (* (+ x.re x.im) (* (- x.re x.im) x.re))) (* (+ (pow x.re 3) (pow x.im 3)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (fma x.re x.re (- (* x.im x.im) (* x.re x.im)))) (* (+ (pow x.re 3) (pow x.im 3)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (+ x.re x.im) (fma x.re x.re (- (* x.im x.im) (* x.re x.im)))) (* (- (* x.re x.re) (* x.im x.im)) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (fma x.re x.re (fma x.im x.im (* x.re x.im))) (- x.re x.im)) (* (- (* x.re x.re) (* x.im x.im)) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (- (* x.re x.re) (* x.im x.im)) (- (* x.re x.re) (* x.im x.im)) (* (cbrt (+ x.re x.im)) (* (- x.re x.im) x.re)) (* (sqrt (+ x.re x.im)) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- (pow x.re 3) (pow x.im 3)) x.re)) (* (+ x.re x.im) (* (- (* x.re x.re) (* x.im x.im)) x.re)) (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) x.re)) (* (- (* x.re x.re) (* x.im x.im)) (* (- x.re x.im) x.re)) (expm1 (+ (* x.re x.im) (* x.im x.re))) (log1p (+ (* x.re x.im) (* x.im x.re))) (pow (exp x.re) (* 2 x.im)) (log (+ (* x.re x.im) (* x.im x.re))) (pow (exp x.re) (* 2 x.im)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (pow (fma x.re x.im (* x.im x.re)) 3) (sqrt (+ (* x.re x.im) (* x.im x.re))) (sqrt (+ (* x.re x.im) (* x.im x.re))) (* 2 (pow (* x.im x.re) 3)) (fma (* x.re (* x.im x.re)) x.im 0) 0 0 (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (* (* x.re x.im) (+ x.im x.im)) (* (* x.re x.im) (+ x.im x.im)) (* (* x.re x.im) (+ x.im x.im)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) 0.941 * * * [progress]: adding candidates to table 1.218 * * [progress]: iteration 3 / 4 1.218 * * * [progress]: picking best candidate 1.235 * * * * [pick]: Picked # 1.235 * * * [progress]: localizing error 1.249 * * * [progress]: generating rewritten candidates 1.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3) 1.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.255 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1) 1.255 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.264 * * * [progress]: generating series expansions 1.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 3) 1.264 * [approximate]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in (x.re x.im) around 0 1.264 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.im 1.264 * [taylor]: Taking taylor expansion of -1 in x.im 1.264 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.im 1.264 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.im 1.264 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.264 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.im 1.264 * [taylor]: Taking taylor expansion of x.re in x.im 1.264 * [taylor]: Taking taylor expansion of x.im in x.im 1.264 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.264 * [taylor]: Taking taylor expansion of x.im in x.im 1.264 * [taylor]: Taking taylor expansion of x.re in x.im 1.264 * [taylor]: Taking taylor expansion of x.im in x.im 1.264 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.re 1.264 * [taylor]: Taking taylor expansion of -1 in x.re 1.264 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.re 1.264 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.264 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.264 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.264 * [taylor]: Taking taylor expansion of x.re in x.re 1.264 * [taylor]: Taking taylor expansion of x.im in x.re 1.264 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.264 * [taylor]: Taking taylor expansion of x.im in x.re 1.264 * [taylor]: Taking taylor expansion of x.re in x.re 1.264 * [taylor]: Taking taylor expansion of x.im in x.re 1.264 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.re 1.264 * [taylor]: Taking taylor expansion of -1 in x.re 1.264 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.re 1.264 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.265 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.265 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.265 * [taylor]: Taking taylor expansion of x.re in x.re 1.265 * [taylor]: Taking taylor expansion of x.im in x.re 1.265 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.265 * [taylor]: Taking taylor expansion of x.im in x.re 1.265 * [taylor]: Taking taylor expansion of x.re in x.re 1.265 * [taylor]: Taking taylor expansion of x.im in x.re 1.265 * [taylor]: Taking taylor expansion of 0 in x.im 1.267 * [taylor]: Taking taylor expansion of (- (* 2 (pow x.im 2))) in x.im 1.267 * [taylor]: Taking taylor expansion of (* 2 (pow x.im 2)) in x.im 1.267 * [taylor]: Taking taylor expansion of 2 in x.im 1.267 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.267 * [taylor]: Taking taylor expansion of x.im in x.im 1.269 * [taylor]: Taking taylor expansion of 0 in x.im 1.271 * [taylor]: Taking taylor expansion of 0 in x.im 1.272 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in (x.re x.im) around 0 1.272 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.im 1.272 * [taylor]: Taking taylor expansion of -1 in x.im 1.272 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.im 1.272 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.im 1.272 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.272 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.im 1.272 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.272 * [taylor]: Taking taylor expansion of x.re in x.im 1.272 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.272 * [taylor]: Taking taylor expansion of x.im in x.im 1.272 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.272 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.272 * [taylor]: Taking taylor expansion of x.im in x.im 1.272 * [taylor]: Taking taylor expansion of x.re in x.im 1.273 * [taylor]: Taking taylor expansion of x.im in x.im 1.273 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.273 * [taylor]: Taking taylor expansion of -1 in x.re 1.273 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.273 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.273 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.273 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.273 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.273 * [taylor]: Taking taylor expansion of x.re in x.re 1.273 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.273 * [taylor]: Taking taylor expansion of x.im in x.re 1.273 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.273 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.273 * [taylor]: Taking taylor expansion of x.im in x.re 1.273 * [taylor]: Taking taylor expansion of x.re in x.re 1.274 * [taylor]: Taking taylor expansion of x.im in x.re 1.274 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.274 * [taylor]: Taking taylor expansion of -1 in x.re 1.274 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.274 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.274 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.274 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.274 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.274 * [taylor]: Taking taylor expansion of x.re in x.re 1.274 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.274 * [taylor]: Taking taylor expansion of x.im in x.re 1.274 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.274 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.274 * [taylor]: Taking taylor expansion of x.im in x.re 1.274 * [taylor]: Taking taylor expansion of x.re in x.re 1.275 * [taylor]: Taking taylor expansion of x.im in x.re 1.275 * [taylor]: Taking taylor expansion of (/ -2 (pow x.im 2)) in x.im 1.275 * [taylor]: Taking taylor expansion of -2 in x.im 1.275 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.275 * [taylor]: Taking taylor expansion of x.im in x.im 1.277 * [taylor]: Taking taylor expansion of 0 in x.im 1.281 * [taylor]: Taking taylor expansion of 0 in x.im 1.285 * [taylor]: Taking taylor expansion of 0 in x.im 1.290 * [taylor]: Taking taylor expansion of 0 in x.im 1.290 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in (x.re x.im) around 0 1.290 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.im 1.290 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.im 1.290 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.290 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.im 1.290 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 1.290 * [taylor]: Taking taylor expansion of -1 in x.im 1.290 * [taylor]: Taking taylor expansion of x.re in x.im 1.290 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.290 * [taylor]: Taking taylor expansion of -1 in x.im 1.290 * [taylor]: Taking taylor expansion of x.im in x.im 1.291 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.291 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.291 * [taylor]: Taking taylor expansion of x.im in x.im 1.291 * [taylor]: Taking taylor expansion of x.re in x.im 1.291 * [taylor]: Taking taylor expansion of x.im in x.im 1.291 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.291 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.291 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.291 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.291 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.291 * [taylor]: Taking taylor expansion of -1 in x.re 1.291 * [taylor]: Taking taylor expansion of x.re in x.re 1.292 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.292 * [taylor]: Taking taylor expansion of -1 in x.re 1.292 * [taylor]: Taking taylor expansion of x.im in x.re 1.292 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.292 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.292 * [taylor]: Taking taylor expansion of x.im in x.re 1.292 * [taylor]: Taking taylor expansion of x.re in x.re 1.292 * [taylor]: Taking taylor expansion of x.im in x.re 1.292 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.292 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.292 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.292 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.292 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.292 * [taylor]: Taking taylor expansion of -1 in x.re 1.292 * [taylor]: Taking taylor expansion of x.re in x.re 1.293 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.293 * [taylor]: Taking taylor expansion of -1 in x.re 1.293 * [taylor]: Taking taylor expansion of x.im in x.re 1.293 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.293 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.293 * [taylor]: Taking taylor expansion of x.im in x.re 1.293 * [taylor]: Taking taylor expansion of x.re in x.re 1.293 * [taylor]: Taking taylor expansion of x.im in x.re 1.293 * [taylor]: Taking taylor expansion of (/ 2 (pow x.im 2)) in x.im 1.293 * [taylor]: Taking taylor expansion of 2 in x.im 1.293 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.293 * [taylor]: Taking taylor expansion of x.im in x.im 1.295 * [taylor]: Taking taylor expansion of 0 in x.im 1.299 * [taylor]: Taking taylor expansion of 0 in x.im 1.302 * [taylor]: Taking taylor expansion of 0 in x.im 1.306 * [taylor]: Taking taylor expansion of 0 in x.im 1.306 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.307 * [approximate]: Taking taylor expansion of (fma (+ x.im x.re) (* x.re (- x.re x.im)) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) in (x.re x.im) around 0 1.307 * [taylor]: Taking taylor expansion of (fma (+ x.im x.re) (* x.re (- x.re x.im)) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) in x.im 1.307 * [taylor]: Rewrote expression to (+ (* (+ x.im x.re) (* x.re (- x.re x.im))) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) 1.307 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.im 1.307 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.im 1.307 * [taylor]: Taking taylor expansion of x.im in x.im 1.307 * [taylor]: Taking taylor expansion of x.re in x.im 1.307 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.im 1.307 * [taylor]: Taking taylor expansion of x.re in x.im 1.307 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.im 1.307 * [taylor]: Taking taylor expansion of x.re in x.im 1.307 * [taylor]: Taking taylor expansion of x.im in x.im 1.307 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.im 1.307 * [taylor]: Taking taylor expansion of -1 in x.im 1.307 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.im 1.307 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.im 1.307 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.307 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.im 1.307 * [taylor]: Taking taylor expansion of x.re in x.im 1.307 * [taylor]: Taking taylor expansion of x.im in x.im 1.307 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.307 * [taylor]: Taking taylor expansion of x.im in x.im 1.307 * [taylor]: Taking taylor expansion of x.re in x.im 1.307 * [taylor]: Taking taylor expansion of x.im in x.im 1.307 * [taylor]: Taking taylor expansion of (fma (+ x.im x.re) (* x.re (- x.re x.im)) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) in x.re 1.307 * [taylor]: Rewrote expression to (+ (* (+ x.im x.re) (* x.re (- x.re x.im))) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) 1.307 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.re 1.307 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.re 1.307 * [taylor]: Taking taylor expansion of x.im in x.re 1.307 * [taylor]: Taking taylor expansion of x.re in x.re 1.307 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 1.307 * [taylor]: Taking taylor expansion of x.re in x.re 1.307 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 1.307 * [taylor]: Taking taylor expansion of x.re in x.re 1.307 * [taylor]: Taking taylor expansion of x.im in x.re 1.307 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.re 1.307 * [taylor]: Taking taylor expansion of -1 in x.re 1.307 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.re 1.307 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.308 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.308 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of (fma (+ x.im x.re) (* x.re (- x.re x.im)) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) in x.re 1.308 * [taylor]: Rewrote expression to (+ (* (+ x.im x.re) (* x.re (- x.re x.im))) (* -1 (* (fma x.re x.im (* x.im x.re)) x.im))) 1.308 * [taylor]: Taking taylor expansion of (* (+ x.im x.re) (* x.re (- x.re x.im))) in x.re 1.308 * [taylor]: Taking taylor expansion of (+ x.im x.re) in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of (* -1 (* (fma x.re x.im (* x.im x.re)) x.im)) in x.re 1.308 * [taylor]: Taking taylor expansion of -1 in x.re 1.308 * [taylor]: Taking taylor expansion of (* (fma x.re x.im (* x.im x.re)) x.im) in x.re 1.308 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.308 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.308 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.308 * [taylor]: Taking taylor expansion of x.re in x.re 1.308 * [taylor]: Taking taylor expansion of x.im in x.re 1.309 * [taylor]: Taking taylor expansion of 0 in x.im 1.312 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 1.312 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 1.312 * [taylor]: Taking taylor expansion of 3 in x.im 1.312 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.312 * [taylor]: Taking taylor expansion of x.im in x.im 1.315 * [taylor]: Taking taylor expansion of 0 in x.im 1.320 * [taylor]: Taking taylor expansion of 1 in x.im 1.331 * [taylor]: Taking taylor expansion of 0 in x.im 1.332 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) in (x.re x.im) around 0 1.332 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) in x.im 1.332 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) 1.332 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) in x.im 1.332 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.im 1.332 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.332 * [taylor]: Taking taylor expansion of x.re in x.im 1.333 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.333 * [taylor]: Taking taylor expansion of x.im in x.im 1.333 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.im 1.333 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.im 1.333 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.333 * [taylor]: Taking taylor expansion of x.re in x.im 1.333 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.333 * [taylor]: Taking taylor expansion of x.im in x.im 1.333 * [taylor]: Taking taylor expansion of x.re in x.im 1.334 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.im 1.334 * [taylor]: Taking taylor expansion of -1 in x.im 1.334 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.im 1.334 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.im 1.334 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.334 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.im 1.334 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.334 * [taylor]: Taking taylor expansion of x.re in x.im 1.334 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.334 * [taylor]: Taking taylor expansion of x.im in x.im 1.334 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.334 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.334 * [taylor]: Taking taylor expansion of x.im in x.im 1.334 * [taylor]: Taking taylor expansion of x.re in x.im 1.335 * [taylor]: Taking taylor expansion of x.im in x.im 1.335 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) in x.re 1.335 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) 1.335 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) in x.re 1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 1.335 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.335 * [taylor]: Taking taylor expansion of x.re in x.re 1.335 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.335 * [taylor]: Taking taylor expansion of x.im in x.re 1.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.re 1.335 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 1.335 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.335 * [taylor]: Taking taylor expansion of x.re in x.re 1.336 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.336 * [taylor]: Taking taylor expansion of x.im in x.re 1.336 * [taylor]: Taking taylor expansion of x.re in x.re 1.336 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.336 * [taylor]: Taking taylor expansion of -1 in x.re 1.336 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.336 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.336 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.336 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.336 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.336 * [taylor]: Taking taylor expansion of x.re in x.re 1.337 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.337 * [taylor]: Taking taylor expansion of x.im in x.re 1.337 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.337 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.337 * [taylor]: Taking taylor expansion of x.im in x.re 1.337 * [taylor]: Taking taylor expansion of x.re in x.re 1.337 * [taylor]: Taking taylor expansion of x.im in x.re 1.337 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) in x.re 1.337 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im))) 1.337 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x.re) (/ 1 x.im)) (/ (- (/ 1 x.re) (/ 1 x.im)) x.re)) in x.re 1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 1.337 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.337 * [taylor]: Taking taylor expansion of x.re in x.re 1.338 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.338 * [taylor]: Taking taylor expansion of x.im in x.re 1.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.re 1.338 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 1.338 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.338 * [taylor]: Taking taylor expansion of x.re in x.re 1.338 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.338 * [taylor]: Taking taylor expansion of x.im in x.re 1.338 * [taylor]: Taking taylor expansion of x.re in x.re 1.339 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.339 * [taylor]: Taking taylor expansion of -1 in x.re 1.339 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.339 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.339 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.339 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.339 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.339 * [taylor]: Taking taylor expansion of x.re in x.re 1.339 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.339 * [taylor]: Taking taylor expansion of x.im in x.re 1.339 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.339 * [taylor]: Taking taylor expansion of x.im in x.re 1.339 * [taylor]: Taking taylor expansion of x.re in x.re 1.339 * [taylor]: Taking taylor expansion of x.im in x.re 1.340 * [taylor]: Taking taylor expansion of 1 in x.im 1.342 * [taylor]: Taking taylor expansion of 0 in x.im 1.345 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 1.345 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.345 * [taylor]: Taking taylor expansion of 3 in x.im 1.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.346 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.346 * [taylor]: Taking taylor expansion of x.im in x.im 1.352 * [taylor]: Taking taylor expansion of 0 in x.im 1.360 * [taylor]: Taking taylor expansion of 0 in x.im 1.363 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) in (x.re x.im) around 0 1.363 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.im 1.363 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) 1.363 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) in x.im 1.363 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x.re) (/ 1 x.im))) in x.im 1.363 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.im 1.363 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.363 * [taylor]: Taking taylor expansion of x.re in x.im 1.363 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.363 * [taylor]: Taking taylor expansion of x.im in x.im 1.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.im 1.363 * [taylor]: Taking taylor expansion of -1 in x.im 1.363 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.im 1.363 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.im 1.363 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.363 * [taylor]: Taking taylor expansion of x.im in x.im 1.364 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.364 * [taylor]: Taking taylor expansion of x.re in x.im 1.364 * [taylor]: Taking taylor expansion of x.re in x.im 1.364 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.im 1.364 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.im 1.364 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.364 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.im 1.364 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 1.364 * [taylor]: Taking taylor expansion of -1 in x.im 1.364 * [taylor]: Taking taylor expansion of x.re in x.im 1.364 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.364 * [taylor]: Taking taylor expansion of -1 in x.im 1.364 * [taylor]: Taking taylor expansion of x.im in x.im 1.365 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.365 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.365 * [taylor]: Taking taylor expansion of x.im in x.im 1.365 * [taylor]: Taking taylor expansion of x.re in x.im 1.365 * [taylor]: Taking taylor expansion of x.im in x.im 1.365 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.365 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) 1.365 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) in x.re 1.365 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x.re) (/ 1 x.im))) in x.re 1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 1.365 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.365 * [taylor]: Taking taylor expansion of x.re in x.re 1.366 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.366 * [taylor]: Taking taylor expansion of x.im in x.re 1.366 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.re 1.366 * [taylor]: Taking taylor expansion of -1 in x.re 1.366 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.re 1.366 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 1.366 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.366 * [taylor]: Taking taylor expansion of x.im in x.re 1.366 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.366 * [taylor]: Taking taylor expansion of x.re in x.re 1.366 * [taylor]: Taking taylor expansion of x.re in x.re 1.367 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.367 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.367 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.367 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.367 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.367 * [taylor]: Taking taylor expansion of -1 in x.re 1.367 * [taylor]: Taking taylor expansion of x.re in x.re 1.367 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.367 * [taylor]: Taking taylor expansion of -1 in x.re 1.367 * [taylor]: Taking taylor expansion of x.im in x.re 1.367 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.367 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.367 * [taylor]: Taking taylor expansion of x.im in x.re 1.367 * [taylor]: Taking taylor expansion of x.re in x.re 1.368 * [taylor]: Taking taylor expansion of x.im in x.re 1.368 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) in x.re 1.368 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im)) 1.368 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 x.re) (/ 1 x.im))) (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re))) in x.re 1.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x.re) (/ 1 x.im))) in x.re 1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 x.re) (/ 1 x.im)) in x.re 1.368 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.368 * [taylor]: Taking taylor expansion of x.re in x.re 1.368 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.368 * [taylor]: Taking taylor expansion of x.im in x.re 1.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.re 1.369 * [taylor]: Taking taylor expansion of -1 in x.re 1.369 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.re 1.369 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 1.369 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.369 * [taylor]: Taking taylor expansion of x.im in x.re 1.369 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.369 * [taylor]: Taking taylor expansion of x.re in x.re 1.369 * [taylor]: Taking taylor expansion of x.re in x.re 1.370 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) x.im) in x.re 1.370 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.370 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.370 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.370 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.370 * [taylor]: Taking taylor expansion of -1 in x.re 1.370 * [taylor]: Taking taylor expansion of x.re in x.re 1.370 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.370 * [taylor]: Taking taylor expansion of -1 in x.re 1.370 * [taylor]: Taking taylor expansion of x.im in x.re 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.370 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.370 * [taylor]: Taking taylor expansion of x.im in x.re 1.370 * [taylor]: Taking taylor expansion of x.re in x.re 1.371 * [taylor]: Taking taylor expansion of x.im in x.re 1.372 * [taylor]: Taking taylor expansion of -1 in x.im 1.374 * [taylor]: Taking taylor expansion of 0 in x.im 1.379 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.379 * [taylor]: Taking taylor expansion of 3 in x.im 1.379 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.379 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.379 * [taylor]: Taking taylor expansion of x.im in x.im 1.386 * [taylor]: Taking taylor expansion of 0 in x.im 1.395 * [taylor]: Taking taylor expansion of 0 in x.im 1.397 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1) 1.397 * [approximate]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in (x.re x.im) around 0 1.397 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.im 1.397 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.397 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.im 1.398 * [taylor]: Taking taylor expansion of x.re in x.im 1.398 * [taylor]: Taking taylor expansion of x.im in x.im 1.398 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.398 * [taylor]: Taking taylor expansion of x.im in x.im 1.398 * [taylor]: Taking taylor expansion of x.re in x.im 1.398 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.398 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.398 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.398 * [taylor]: Taking taylor expansion of x.re in x.re 1.398 * [taylor]: Taking taylor expansion of x.im in x.re 1.398 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.398 * [taylor]: Taking taylor expansion of x.im in x.re 1.398 * [taylor]: Taking taylor expansion of x.re in x.re 1.398 * [taylor]: Taking taylor expansion of (fma x.re x.im (* x.im x.re)) in x.re 1.398 * [taylor]: Rewrote expression to (+ (* x.re x.im) (* x.im x.re)) 1.398 * [taylor]: Taking taylor expansion of (* x.re x.im) in x.re 1.398 * [taylor]: Taking taylor expansion of x.re in x.re 1.398 * [taylor]: Taking taylor expansion of x.im in x.re 1.398 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.398 * [taylor]: Taking taylor expansion of x.im in x.re 1.398 * [taylor]: Taking taylor expansion of x.re in x.re 1.398 * [taylor]: Taking taylor expansion of 0 in x.im 1.399 * [taylor]: Taking taylor expansion of (* 2 x.im) in x.im 1.399 * [taylor]: Taking taylor expansion of 2 in x.im 1.399 * [taylor]: Taking taylor expansion of x.im in x.im 1.400 * [taylor]: Taking taylor expansion of 0 in x.im 1.402 * [taylor]: Taking taylor expansion of 0 in x.im 1.404 * [taylor]: Taking taylor expansion of 0 in x.im 1.405 * [approximate]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in (x.re x.im) around 0 1.405 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.im 1.405 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.405 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.im 1.405 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.405 * [taylor]: Taking taylor expansion of x.re in x.im 1.405 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.405 * [taylor]: Taking taylor expansion of x.im in x.im 1.405 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.405 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.405 * [taylor]: Taking taylor expansion of x.im in x.im 1.405 * [taylor]: Taking taylor expansion of x.re in x.im 1.405 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.406 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.406 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.406 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.406 * [taylor]: Taking taylor expansion of x.re in x.re 1.406 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.406 * [taylor]: Taking taylor expansion of x.im in x.re 1.406 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.406 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.406 * [taylor]: Taking taylor expansion of x.im in x.re 1.406 * [taylor]: Taking taylor expansion of x.re in x.re 1.406 * [taylor]: Taking taylor expansion of (fma (/ 1 x.re) (/ 1 x.im) (/ 1 (* x.im x.re))) in x.re 1.406 * [taylor]: Rewrote expression to (+ (* (/ 1 x.re) (/ 1 x.im)) (/ 1 (* x.im x.re))) 1.406 * [taylor]: Taking taylor expansion of (* (/ 1 x.re) (/ 1 x.im)) in x.re 1.406 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.406 * [taylor]: Taking taylor expansion of x.re in x.re 1.407 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.407 * [taylor]: Taking taylor expansion of x.im in x.re 1.407 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.407 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.407 * [taylor]: Taking taylor expansion of x.im in x.re 1.407 * [taylor]: Taking taylor expansion of x.re in x.re 1.407 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x.im)) in x.im 1.407 * [taylor]: Taking taylor expansion of 2 in x.im 1.407 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.407 * [taylor]: Taking taylor expansion of x.im in x.im 1.409 * [taylor]: Taking taylor expansion of 0 in x.im 1.414 * [taylor]: Taking taylor expansion of 0 in x.im 1.417 * [taylor]: Taking taylor expansion of 0 in x.im 1.419 * [approximate]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in (x.re x.im) around 0 1.419 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.im 1.419 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.419 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.im 1.419 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 1.419 * [taylor]: Taking taylor expansion of -1 in x.im 1.419 * [taylor]: Taking taylor expansion of x.re in x.im 1.419 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.419 * [taylor]: Taking taylor expansion of -1 in x.im 1.419 * [taylor]: Taking taylor expansion of x.im in x.im 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.419 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.419 * [taylor]: Taking taylor expansion of x.im in x.im 1.419 * [taylor]: Taking taylor expansion of x.re in x.im 1.419 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.420 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.420 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.420 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.420 * [taylor]: Taking taylor expansion of -1 in x.re 1.420 * [taylor]: Taking taylor expansion of x.re in x.re 1.420 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.420 * [taylor]: Taking taylor expansion of -1 in x.re 1.420 * [taylor]: Taking taylor expansion of x.im in x.re 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.420 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.420 * [taylor]: Taking taylor expansion of x.im in x.re 1.420 * [taylor]: Taking taylor expansion of x.re in x.re 1.420 * [taylor]: Taking taylor expansion of (fma (/ -1 x.re) (/ -1 x.im) (/ 1 (* x.im x.re))) in x.re 1.421 * [taylor]: Rewrote expression to (+ (* (/ -1 x.re) (/ -1 x.im)) (/ 1 (* x.im x.re))) 1.421 * [taylor]: Taking taylor expansion of (* (/ -1 x.re) (/ -1 x.im)) in x.re 1.421 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.421 * [taylor]: Taking taylor expansion of -1 in x.re 1.421 * [taylor]: Taking taylor expansion of x.re in x.re 1.421 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.421 * [taylor]: Taking taylor expansion of -1 in x.re 1.421 * [taylor]: Taking taylor expansion of x.im in x.re 1.421 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.421 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.421 * [taylor]: Taking taylor expansion of x.im in x.re 1.421 * [taylor]: Taking taylor expansion of x.re in x.re 1.421 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x.im)) in x.im 1.421 * [taylor]: Taking taylor expansion of 2 in x.im 1.421 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.422 * [taylor]: Taking taylor expansion of x.im in x.im 1.423 * [taylor]: Taking taylor expansion of 0 in x.im 1.426 * [taylor]: Taking taylor expansion of 0 in x.im 1.429 * [taylor]: Taking taylor expansion of 0 in x.im 1.431 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.431 * [approximate]: Taking taylor expansion of (* x.re (- x.re x.im)) in (x.re x.im) around 0 1.431 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.im 1.431 * [taylor]: Taking taylor expansion of x.re in x.im 1.431 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.im 1.431 * [taylor]: Taking taylor expansion of x.re in x.im 1.431 * [taylor]: Taking taylor expansion of x.im in x.im 1.431 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 1.431 * [taylor]: Taking taylor expansion of x.re in x.re 1.431 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 1.431 * [taylor]: Taking taylor expansion of x.re in x.re 1.431 * [taylor]: Taking taylor expansion of x.im in x.re 1.431 * [taylor]: Taking taylor expansion of (* x.re (- x.re x.im)) in x.re 1.431 * [taylor]: Taking taylor expansion of x.re in x.re 1.431 * [taylor]: Taking taylor expansion of (- x.re x.im) in x.re 1.431 * [taylor]: Taking taylor expansion of x.re in x.re 1.431 * [taylor]: Taking taylor expansion of x.im in x.re 1.431 * [taylor]: Taking taylor expansion of 0 in x.im 1.432 * [taylor]: Taking taylor expansion of (- x.im) in x.im 1.432 * [taylor]: Taking taylor expansion of x.im in x.im 1.433 * [taylor]: Taking taylor expansion of 1 in x.im 1.434 * [taylor]: Taking taylor expansion of 0 in x.im 1.436 * [taylor]: Taking taylor expansion of 0 in x.im 1.436 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in (x.re x.im) around 0 1.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.im 1.436 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.im 1.436 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.436 * [taylor]: Taking taylor expansion of x.re in x.im 1.436 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.437 * [taylor]: Taking taylor expansion of x.im in x.im 1.437 * [taylor]: Taking taylor expansion of x.re in x.im 1.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.re 1.437 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 1.437 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.437 * [taylor]: Taking taylor expansion of x.re in x.re 1.438 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.438 * [taylor]: Taking taylor expansion of x.im in x.re 1.438 * [taylor]: Taking taylor expansion of x.re in x.re 1.438 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.re) (/ 1 x.im)) x.re) in x.re 1.438 * [taylor]: Taking taylor expansion of (- (/ 1 x.re) (/ 1 x.im)) in x.re 1.438 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.438 * [taylor]: Taking taylor expansion of x.re in x.re 1.438 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.438 * [taylor]: Taking taylor expansion of x.im in x.re 1.439 * [taylor]: Taking taylor expansion of x.re in x.re 1.439 * [taylor]: Taking taylor expansion of 1 in x.im 1.440 * [taylor]: Taking taylor expansion of (- (/ 1 x.im)) in x.im 1.440 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.440 * [taylor]: Taking taylor expansion of x.im in x.im 1.442 * [taylor]: Taking taylor expansion of 0 in x.im 1.445 * [taylor]: Taking taylor expansion of 0 in x.im 1.448 * [taylor]: Taking taylor expansion of 0 in x.im 1.449 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in (x.re x.im) around 0 1.449 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.im 1.449 * [taylor]: Taking taylor expansion of -1 in x.im 1.449 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.im 1.449 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.im 1.449 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.449 * [taylor]: Taking taylor expansion of x.im in x.im 1.449 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.449 * [taylor]: Taking taylor expansion of x.re in x.im 1.449 * [taylor]: Taking taylor expansion of x.re in x.im 1.450 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.re 1.450 * [taylor]: Taking taylor expansion of -1 in x.re 1.450 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.re 1.450 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 1.450 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.450 * [taylor]: Taking taylor expansion of x.im in x.re 1.450 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.450 * [taylor]: Taking taylor expansion of x.re in x.re 1.450 * [taylor]: Taking taylor expansion of x.re in x.re 1.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x.im) (/ 1 x.re)) x.re)) in x.re 1.451 * [taylor]: Taking taylor expansion of -1 in x.re 1.451 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x.im) (/ 1 x.re)) x.re) in x.re 1.451 * [taylor]: Taking taylor expansion of (- (/ 1 x.im) (/ 1 x.re)) in x.re 1.451 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.451 * [taylor]: Taking taylor expansion of x.im in x.re 1.451 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.451 * [taylor]: Taking taylor expansion of x.re in x.re 1.451 * [taylor]: Taking taylor expansion of x.re in x.re 1.452 * [taylor]: Taking taylor expansion of 1 in x.im 1.454 * [taylor]: Taking taylor expansion of (- (/ 1 x.im)) in x.im 1.454 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.454 * [taylor]: Taking taylor expansion of x.im in x.im 1.457 * [taylor]: Taking taylor expansion of 0 in x.im 1.460 * [taylor]: Taking taylor expansion of 0 in x.im 1.465 * [taylor]: Taking taylor expansion of 0 in x.im 1.465 * * * [progress]: simplifying candidates 1.466 * [simplify]: Simplifying using # : (expm1 (* (- (fma x.re x.im (* x.im x.re))) x.im)) (log1p (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im) (+ (log (- (fma x.re x.im (* x.im x.re)))) (log x.im)) (log (* (- (fma x.re x.im (* x.im x.re))) x.im)) (exp (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (* (* (- (fma x.re x.im (* x.im x.re))) (- (fma x.re x.im (* x.im x.re)))) (- (fma x.re x.im (* x.im x.re)))) (* (* x.im x.im) x.im)) (* (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im))) (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (* (* (- (fma x.re x.im (* x.im x.re))) x.im) (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im)) (sqrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (sqrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) (sqrt x.im)) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) (sqrt x.im)) (* (fma x.re x.im (* x.im x.re)) x.im) (* (- (fma x.re x.im (* x.im x.re))) (* (cbrt x.im) (cbrt x.im))) (* (- (fma x.re x.im (* x.im x.re))) (sqrt x.im)) (* (- (fma x.re x.im (* x.im x.re))) 1) (* (cbrt (- (fma x.re x.im (* x.im x.re)))) x.im) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) x.im) (* (- (fma x.re x.im (* x.im x.re))) x.im) (* (fma x.re x.im (* x.im x.re)) x.im) (* (cbrt (fma x.re x.im (* x.im x.re))) x.im) (* (sqrt (fma x.re x.im (* x.im x.re))) x.im) (* (fma x.re x.im (* x.im x.re)) x.im) (* (- (cbrt (fma x.re x.im (* x.im x.re)))) x.im) (* (- (sqrt (fma x.re x.im (* x.im x.re)))) x.im) (* (- (fma x.re x.im (* x.im x.re))) x.im) (expm1 (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (log1p (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (log (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (exp (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (* (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im)))) (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (* (* (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im)) (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (sqrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (sqrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (expm1 (fma x.re x.im (* x.im x.re))) (log1p (fma x.re x.im (* x.im x.re))) (* x.re x.im) (log (fma x.re x.im (* x.im x.re))) (exp (fma x.re x.im (* x.im x.re))) (* (cbrt (fma x.re x.im (* x.im x.re))) (cbrt (fma x.re x.im (* x.im x.re)))) (cbrt (fma x.re x.im (* x.im x.re))) (* (* (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re))) (fma x.re x.im (* x.im x.re))) (sqrt (fma x.re x.im (* x.im x.re))) (sqrt (fma x.re x.im (* x.im x.re))) (expm1 (* (- x.re x.im) x.re)) (log1p (* (- x.re x.im) x.re)) (* (- x.re x.im) 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.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)) (* (sqrt (- x.re x.im)) (sqrt x.re)) (* (sqrt (- x.re x.im)) (sqrt x.re)) (* (- x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (- x.re x.im) (sqrt x.re)) (* (- x.re x.im) 1) (* (cbrt (- x.re x.im)) x.re) (* (sqrt (- x.re x.im)) x.re) (* (- x.re x.im) x.re) (* (- (sqrt x.re) (sqrt x.im)) x.re) (* (- x.re x.im) x.re) (* (- (pow x.re 3) (pow x.im 3)) x.re) (* (- (* x.re x.re) (* x.im x.im)) x.re) 0 (* -2 (* (pow x.im 2) x.re)) (* -2 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) (* 2 (* x.im x.re)) (- (pow x.re 2) (* x.im x.re)) (- (pow x.re 2) (* x.im x.re)) (- (pow x.re 2) (* x.im x.re)) 1.470 * * [simplify]: iteration 0 : 239 enodes (cost 422 ) 1.475 * * [simplify]: iteration 1 : 953 enodes (cost 375 ) 1.496 * * [simplify]: iteration 2 : 5001 enodes (cost 375 ) 1.498 * [simplify]: Simplified to: (expm1 (* (- (fma x.re x.im (* x.im x.re))) x.im)) (log1p (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (- (fma x.re x.im (* x.im x.re))) x.im) (log (* (- (fma x.re x.im (* x.im x.re))) x.im)) (log (* (- (fma x.re x.im (* x.im x.re))) x.im)) (exp (* (- (fma x.re x.im (* x.im x.re))) x.im)) (pow (* (- (fma x.re x.im (* x.im x.re))) x.im) 3) (* (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im))) (cbrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (pow (* (- (fma x.re x.im (* x.im x.re))) x.im) 3) (sqrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (sqrt (* (- (fma x.re x.im (* x.im x.re))) x.im)) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) (sqrt x.im)) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) (sqrt x.im)) (* (fma x.re x.im (* x.im x.re)) x.im) (* (- (fma x.re x.im (* x.im x.re))) (* (cbrt x.im) (cbrt x.im))) (* (- (fma x.re x.im (* x.im x.re))) (sqrt x.im)) (- (fma x.re x.im (* x.im x.re))) (* (cbrt (- (fma x.re x.im (* x.im x.re)))) x.im) (* (sqrt (- (fma x.re x.im (* x.im x.re)))) x.im) (* (- (fma x.re x.im (* x.im x.re))) x.im) (* (fma x.re x.im (* x.im x.re)) x.im) (* (cbrt (fma x.re x.im (* x.im x.re))) x.im) (* (sqrt (fma x.re x.im (* x.im x.re))) x.im) (* (fma x.re x.im (* x.im x.re)) x.im) (* (- (cbrt (fma x.re x.im (* x.im x.re)))) x.im) (* (- (sqrt (fma x.re x.im (* x.im x.re)))) x.im) (* (- (fma x.re x.im (* x.im x.re))) x.im) (expm1 (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (log1p (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (* (+ x.re x.im) (* (- x.re x.im) x.re)) (log (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (exp (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (* (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im)))) (cbrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (pow (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im)) 3) (sqrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (sqrt (fma (+ x.re x.im) (* (- x.re x.im) x.re) (* (- (fma x.re x.im (* x.im x.re))) x.im))) (expm1 (fma x.re x.im (* x.im x.re))) (log1p (fma x.re x.im (* x.im x.re))) (* x.im x.re) (log (fma x.re x.im (* x.im x.re))) (exp (fma x.re x.im (* x.im x.re))) (* (cbrt (fma x.re x.im (* x.im x.re))) (cbrt (fma x.re x.im (* x.im x.re)))) (cbrt (fma x.re x.im (* x.im x.re))) (pow (fma x.re x.im (* x.im x.re)) 3) (sqrt (fma x.re x.im (* x.im x.re))) (sqrt (fma x.re x.im (* x.im x.re))) (expm1 (* (- x.re x.im) x.re)) (log1p (* (- 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)) (exp (* (- x.re x.im) x.re)) (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)) (* (sqrt (- x.re x.im)) (sqrt x.re)) (* (sqrt (- x.re x.im)) (sqrt x.re)) (* (- x.re x.im) (* (cbrt x.re) (cbrt x.re))) (* (- x.re x.im) (sqrt x.re)) (- x.re x.im) (* (cbrt (- x.re x.im)) x.re) (* (sqrt (- x.re x.im)) x.re) (* (- x.re x.im) x.re) (* (- (sqrt x.re) (sqrt x.im)) x.re) (* (- x.re x.im) x.re) (* (- (pow x.re 3) (pow x.im 3)) x.re) (* (+ x.re x.im) (* (- x.re x.im) x.re)) 0 (* -2 (* (pow x.im 2) x.re)) (* -2 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) (fma x.re x.im (* x.im x.re)) (* (- x.re x.im) x.re) (* (- x.re x.im) x.re) (* (- x.re x.im) x.re) 1.499 * * * [progress]: adding candidates to table 1.700 * * [progress]: iteration 4 / 4 1.700 * * * [progress]: picking best candidate 1.716 * * * * [pick]: Picked # 1.716 * * * [progress]: localizing error 1.731 * * * [progress]: generating rewritten candidates 1.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.737 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 1.741 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 1.744 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.759 * * * [progress]: generating series expansions 1.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.759 * [approximate]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.759 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.im 1.759 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.im 1.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.im 1.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.im 1.759 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.759 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.im 1.759 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.759 * [taylor]: Taking taylor expansion of x.im in x.im 1.759 * [taylor]: Taking taylor expansion of x.re in x.im 1.760 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.760 * [taylor]: Taking taylor expansion of 2 in x.im 1.761 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.761 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.761 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.761 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.761 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.761 * [taylor]: Taking taylor expansion of x.im in x.re 1.761 * [taylor]: Taking taylor expansion of x.re in x.re 1.762 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.762 * [taylor]: Taking taylor expansion of 2 in x.re 1.762 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.762 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.762 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.762 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.762 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.762 * [taylor]: Taking taylor expansion of x.im in x.re 1.762 * [taylor]: Taking taylor expansion of x.re in x.re 1.763 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.763 * [taylor]: Taking taylor expansion of 2 in x.re 1.764 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) in x.im 1.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x.re) (log x.im)))) in x.im 1.764 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x.re) (log x.im))) in x.im 1.764 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.764 * [taylor]: Taking taylor expansion of (+ (log x.re) (log x.im)) in x.im 1.764 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.764 * [taylor]: Taking taylor expansion of x.re in x.im 1.764 * [taylor]: Taking taylor expansion of (log x.im) in x.im 1.764 * [taylor]: Taking taylor expansion of x.im in x.im 1.765 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.765 * [taylor]: Taking taylor expansion of 2 in x.im 1.769 * [taylor]: Taking taylor expansion of 0 in x.im 1.776 * [taylor]: Taking taylor expansion of 0 in x.im 1.786 * [taylor]: Taking taylor expansion of 0 in x.im 1.786 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.786 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 1.786 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 1.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 1.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 1.786 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.787 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 1.787 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.787 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.787 * [taylor]: Taking taylor expansion of x.im in x.im 1.787 * [taylor]: Taking taylor expansion of x.re in x.im 1.787 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.787 * [taylor]: Taking taylor expansion of 2 in x.im 1.788 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.788 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.788 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.788 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.788 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.788 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.788 * [taylor]: Taking taylor expansion of x.im in x.re 1.788 * [taylor]: Taking taylor expansion of x.re in x.re 1.789 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.789 * [taylor]: Taking taylor expansion of 2 in x.re 1.790 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.790 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.790 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.790 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.790 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.790 * [taylor]: Taking taylor expansion of x.im in x.re 1.790 * [taylor]: Taking taylor expansion of x.re in x.re 1.791 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.791 * [taylor]: Taking taylor expansion of 2 in x.re 1.792 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 1.792 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.792 * [taylor]: Taking taylor expansion of 2 in x.im 1.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 1.793 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 1.793 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.793 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 1.793 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 1.793 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.793 * [taylor]: Taking taylor expansion of x.im in x.im 1.793 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.793 * [taylor]: Taking taylor expansion of x.re in x.im 1.797 * [taylor]: Taking taylor expansion of 0 in x.im 1.804 * [taylor]: Taking taylor expansion of 0 in x.im 1.816 * [taylor]: Taking taylor expansion of 0 in x.im 1.817 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.817 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 1.817 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 1.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 1.817 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.817 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 1.817 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.817 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.817 * [taylor]: Taking taylor expansion of x.im in x.im 1.817 * [taylor]: Taking taylor expansion of x.re in x.im 1.818 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.818 * [taylor]: Taking taylor expansion of 2 in x.im 1.818 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.818 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.818 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.818 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.818 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.819 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.819 * [taylor]: Taking taylor expansion of x.im in x.re 1.819 * [taylor]: Taking taylor expansion of x.re in x.re 1.819 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.820 * [taylor]: Taking taylor expansion of 2 in x.re 1.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.820 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.820 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.820 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.820 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.820 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.821 * [taylor]: Taking taylor expansion of x.im in x.re 1.821 * [taylor]: Taking taylor expansion of x.re in x.re 1.821 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.821 * [taylor]: Taking taylor expansion of 2 in x.re 1.822 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 1.822 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.822 * [taylor]: Taking taylor expansion of 2 in x.im 1.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 1.823 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 1.823 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.823 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 1.823 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 1.823 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.823 * [taylor]: Taking taylor expansion of x.im in x.im 1.824 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.824 * [taylor]: Taking taylor expansion of x.re in x.im 1.831 * [taylor]: Taking taylor expansion of 0 in x.im 1.839 * [taylor]: Taking taylor expansion of 0 in x.im 1.850 * [taylor]: Taking taylor expansion of 0 in x.im 1.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 1.851 * [approximate]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.851 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.im 1.851 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.im 1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.im 1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.im 1.851 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.851 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.im 1.851 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.851 * [taylor]: Taking taylor expansion of x.im in x.im 1.851 * [taylor]: Taking taylor expansion of x.re in x.im 1.852 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.852 * [taylor]: Taking taylor expansion of 2 in x.im 1.852 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.852 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.852 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.852 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.852 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.852 * [taylor]: Taking taylor expansion of x.im in x.re 1.852 * [taylor]: Taking taylor expansion of x.re in x.re 1.853 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.853 * [taylor]: Taking taylor expansion of 2 in x.re 1.854 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.854 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.854 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.854 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.854 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.854 * [taylor]: Taking taylor expansion of x.im in x.re 1.854 * [taylor]: Taking taylor expansion of x.re in x.re 1.855 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.855 * [taylor]: Taking taylor expansion of 2 in x.re 1.856 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) in x.im 1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x.re) (log x.im)))) in x.im 1.856 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x.re) (log x.im))) in x.im 1.856 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.856 * [taylor]: Taking taylor expansion of (+ (log x.re) (log x.im)) in x.im 1.856 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.856 * [taylor]: Taking taylor expansion of x.re in x.im 1.856 * [taylor]: Taking taylor expansion of (log x.im) in x.im 1.856 * [taylor]: Taking taylor expansion of x.im in x.im 1.857 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.857 * [taylor]: Taking taylor expansion of 2 in x.im 1.861 * [taylor]: Taking taylor expansion of 0 in x.im 1.867 * [taylor]: Taking taylor expansion of 0 in x.im 1.877 * [taylor]: Taking taylor expansion of 0 in x.im 1.878 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.878 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 1.878 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 1.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 1.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 1.878 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.878 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 1.878 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.878 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.878 * [taylor]: Taking taylor expansion of x.im in x.im 1.878 * [taylor]: Taking taylor expansion of x.re in x.im 1.879 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.879 * [taylor]: Taking taylor expansion of 2 in x.im 1.880 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.880 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.880 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.880 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.880 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.880 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.880 * [taylor]: Taking taylor expansion of x.im in x.re 1.880 * [taylor]: Taking taylor expansion of x.re in x.re 1.881 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.881 * [taylor]: Taking taylor expansion of 2 in x.re 1.881 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.881 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.881 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.881 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.881 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.881 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.881 * [taylor]: Taking taylor expansion of x.im in x.re 1.882 * [taylor]: Taking taylor expansion of x.re in x.re 1.882 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.882 * [taylor]: Taking taylor expansion of 2 in x.re 1.883 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 1.883 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.883 * [taylor]: Taking taylor expansion of 2 in x.im 1.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 1.884 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 1.884 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.884 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 1.884 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 1.884 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.884 * [taylor]: Taking taylor expansion of x.im in x.im 1.885 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.885 * [taylor]: Taking taylor expansion of x.re in x.im 1.888 * [taylor]: Taking taylor expansion of 0 in x.im 1.896 * [taylor]: Taking taylor expansion of 0 in x.im 1.907 * [taylor]: Taking taylor expansion of 0 in x.im 1.908 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.908 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 1.908 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 1.908 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.908 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 1.908 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.908 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.908 * [taylor]: Taking taylor expansion of x.im in x.im 1.908 * [taylor]: Taking taylor expansion of x.re in x.im 1.909 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.909 * [taylor]: Taking taylor expansion of 2 in x.im 1.910 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.910 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.910 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.910 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.910 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.910 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.910 * [taylor]: Taking taylor expansion of x.im in x.re 1.910 * [taylor]: Taking taylor expansion of x.re in x.re 1.914 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.914 * [taylor]: Taking taylor expansion of 2 in x.re 1.914 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.914 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.915 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.915 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.915 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.915 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.915 * [taylor]: Taking taylor expansion of x.im in x.re 1.915 * [taylor]: Taking taylor expansion of x.re in x.re 1.915 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.915 * [taylor]: Taking taylor expansion of 2 in x.re 1.916 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 1.917 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.917 * [taylor]: Taking taylor expansion of 2 in x.im 1.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 1.917 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 1.917 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.917 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 1.917 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 1.917 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.917 * [taylor]: Taking taylor expansion of x.im in x.im 1.918 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.918 * [taylor]: Taking taylor expansion of x.re in x.im 1.921 * [taylor]: Taking taylor expansion of 0 in x.im 1.929 * [taylor]: Taking taylor expansion of 0 in x.im 1.940 * [taylor]: Taking taylor expansion of 0 in x.im 1.941 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 1.941 * [approximate]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.941 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.im 1.941 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.im 1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.im 1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.im 1.941 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.941 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.im 1.941 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.941 * [taylor]: Taking taylor expansion of x.im in x.im 1.941 * [taylor]: Taking taylor expansion of x.re in x.im 1.942 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.942 * [taylor]: Taking taylor expansion of 2 in x.im 1.942 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.942 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.942 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.942 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.942 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.942 * [taylor]: Taking taylor expansion of x.im in x.re 1.943 * [taylor]: Taking taylor expansion of x.re in x.re 1.943 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.943 * [taylor]: Taking taylor expansion of 2 in x.re 1.944 * [taylor]: Taking taylor expansion of (* (pow (* x.im x.re) 1/3) (cbrt 2)) in x.re 1.944 * [taylor]: Taking taylor expansion of (pow (* x.im x.re) 1/3) in x.re 1.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x.im x.re)))) in x.re 1.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x.im x.re))) in x.re 1.944 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.944 * [taylor]: Taking taylor expansion of (log (* x.im x.re)) in x.re 1.944 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.944 * [taylor]: Taking taylor expansion of x.im in x.re 1.944 * [taylor]: Taking taylor expansion of x.re in x.re 1.945 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.945 * [taylor]: Taking taylor expansion of 2 in x.re 1.946 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) in x.im 1.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x.re) (log x.im)))) in x.im 1.946 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x.re) (log x.im))) in x.im 1.946 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.946 * [taylor]: Taking taylor expansion of (+ (log x.re) (log x.im)) in x.im 1.946 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.946 * [taylor]: Taking taylor expansion of x.re in x.im 1.946 * [taylor]: Taking taylor expansion of (log x.im) in x.im 1.946 * [taylor]: Taking taylor expansion of x.im in x.im 1.947 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.947 * [taylor]: Taking taylor expansion of 2 in x.im 1.950 * [taylor]: Taking taylor expansion of 0 in x.im 1.957 * [taylor]: Taking taylor expansion of 0 in x.im 1.967 * [taylor]: Taking taylor expansion of 0 in x.im 1.968 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 1.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 1.968 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 1.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 1.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 1.968 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.968 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 1.968 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 1.968 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.968 * [taylor]: Taking taylor expansion of x.im in x.im 1.968 * [taylor]: Taking taylor expansion of x.re in x.im 1.969 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.969 * [taylor]: Taking taylor expansion of 2 in x.im 1.970 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.970 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.970 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.970 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.970 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.970 * [taylor]: Taking taylor expansion of x.im in x.re 1.970 * [taylor]: Taking taylor expansion of x.re in x.re 1.971 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.971 * [taylor]: Taking taylor expansion of 2 in x.re 1.971 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 1.971 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 1.971 * [taylor]: Taking taylor expansion of 1/3 in x.re 1.971 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 1.971 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 1.971 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.971 * [taylor]: Taking taylor expansion of x.im in x.re 1.971 * [taylor]: Taking taylor expansion of x.re in x.re 1.972 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 1.972 * [taylor]: Taking taylor expansion of 2 in x.re 1.973 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 1.973 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 1.973 * [taylor]: Taking taylor expansion of 2 in x.im 1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 1.974 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 1.974 * [taylor]: Taking taylor expansion of 1/3 in x.im 1.974 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 1.974 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 1.974 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.974 * [taylor]: Taking taylor expansion of x.im in x.im 1.975 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.975 * [taylor]: Taking taylor expansion of x.re in x.im 1.978 * [taylor]: Taking taylor expansion of 0 in x.im 1.986 * [taylor]: Taking taylor expansion of 0 in x.im 2.000 * [taylor]: Taking taylor expansion of 0 in x.im 2.001 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in (x.re x.im) around 0 2.001 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.im 2.001 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.im 2.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.im 2.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.im 2.001 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.001 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.im 2.001 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 2.001 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.001 * [taylor]: Taking taylor expansion of x.im in x.im 2.001 * [taylor]: Taking taylor expansion of x.re in x.im 2.002 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.002 * [taylor]: Taking taylor expansion of 2 in x.im 2.003 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 2.003 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 2.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 2.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 2.003 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.003 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 2.003 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 2.003 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.003 * [taylor]: Taking taylor expansion of x.im in x.re 2.003 * [taylor]: Taking taylor expansion of x.re in x.re 2.004 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.004 * [taylor]: Taking taylor expansion of 2 in x.re 2.004 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x.im x.re)) 1/3) (cbrt 2)) in x.re 2.004 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x.im x.re)) 1/3) in x.re 2.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x.im x.re))))) in x.re 2.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x.im x.re)))) in x.re 2.004 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.004 * [taylor]: Taking taylor expansion of (log (/ 1 (* x.im x.re))) in x.re 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 2.004 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.004 * [taylor]: Taking taylor expansion of x.im in x.re 2.004 * [taylor]: Taking taylor expansion of x.re in x.re 2.005 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.005 * [taylor]: Taking taylor expansion of 2 in x.re 2.006 * [taylor]: Taking taylor expansion of (* (cbrt 2) (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re))))) in x.im 2.006 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.006 * [taylor]: Taking taylor expansion of 2 in x.im 2.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x.im)) (log x.re)))) in x.im 2.007 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x.im)) (log x.re))) in x.im 2.007 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.007 * [taylor]: Taking taylor expansion of (- (log (/ 1 x.im)) (log x.re)) in x.im 2.007 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 2.007 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.007 * [taylor]: Taking taylor expansion of x.im in x.im 2.008 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.008 * [taylor]: Taking taylor expansion of x.re in x.im 2.012 * [taylor]: Taking taylor expansion of 0 in x.im 2.019 * [taylor]: Taking taylor expansion of 0 in x.im 2.031 * [taylor]: Taking taylor expansion of 0 in x.im 2.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 2.031 * [approximate]: Taking taylor expansion of (* (pow (* (pow x.im 2) (pow x.re 2)) 1/3) (pow (cbrt 2) 2)) in (x.re x.im) around 0 2.032 * [taylor]: Taking taylor expansion of (* (pow (* (pow x.im 2) (pow x.re 2)) 1/3) (pow (cbrt 2) 2)) in x.im 2.032 * [taylor]: Taking taylor expansion of (pow (* (pow x.im 2) (pow x.re 2)) 1/3) in x.im 2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x.im 2) (pow x.re 2))))) in x.im 2.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x.im 2) (pow x.re 2)))) in x.im 2.032 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.032 * [taylor]: Taking taylor expansion of (log (* (pow x.im 2) (pow x.re 2))) in x.im 2.032 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.im 2.032 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.032 * [taylor]: Taking taylor expansion of x.im in x.im 2.032 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.032 * [taylor]: Taking taylor expansion of x.re in x.im 2.033 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.033 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.033 * [taylor]: Taking taylor expansion of 2 in x.im 2.033 * [taylor]: Taking taylor expansion of (* (pow (* (pow x.im 2) (pow x.re 2)) 1/3) (pow (cbrt 2) 2)) in x.re 2.033 * [taylor]: Taking taylor expansion of (pow (* (pow x.im 2) (pow x.re 2)) 1/3) in x.re 2.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x.im 2) (pow x.re 2))))) in x.re 2.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x.im 2) (pow x.re 2)))) in x.re 2.033 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.033 * [taylor]: Taking taylor expansion of (log (* (pow x.im 2) (pow x.re 2))) in x.re 2.034 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.034 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.034 * [taylor]: Taking taylor expansion of x.im in x.re 2.034 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.034 * [taylor]: Taking taylor expansion of x.re in x.re 2.035 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.035 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.035 * [taylor]: Taking taylor expansion of 2 in x.re 2.035 * [taylor]: Taking taylor expansion of (* (pow (* (pow x.im 2) (pow x.re 2)) 1/3) (pow (cbrt 2) 2)) in x.re 2.035 * [taylor]: Taking taylor expansion of (pow (* (pow x.im 2) (pow x.re 2)) 1/3) in x.re 2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x.im 2) (pow x.re 2))))) in x.re 2.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x.im 2) (pow x.re 2)))) in x.re 2.035 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.035 * [taylor]: Taking taylor expansion of (log (* (pow x.im 2) (pow x.re 2))) in x.re 2.035 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.035 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.035 * [taylor]: Taking taylor expansion of x.im in x.re 2.035 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.035 * [taylor]: Taking taylor expansion of x.re in x.re 2.036 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.036 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.037 * [taylor]: Taking taylor expansion of 2 in x.re 2.039 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (* 2 (log x.re)) (log (pow x.im 2))))) (pow (cbrt 2) 2)) in x.im 2.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x.re)) (log (pow x.im 2))))) in x.im 2.039 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x.re)) (log (pow x.im 2)))) in x.im 2.039 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.039 * [taylor]: Taking taylor expansion of (+ (* 2 (log x.re)) (log (pow x.im 2))) in x.im 2.039 * [taylor]: Taking taylor expansion of (* 2 (log x.re)) in x.im 2.039 * [taylor]: Taking taylor expansion of 2 in x.im 2.039 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.039 * [taylor]: Taking taylor expansion of x.re in x.im 2.039 * [taylor]: Taking taylor expansion of (log (pow x.im 2)) in x.im 2.039 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.039 * [taylor]: Taking taylor expansion of x.im in x.im 2.040 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.040 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.040 * [taylor]: Taking taylor expansion of 2 in x.im 2.046 * [taylor]: Taking taylor expansion of 0 in x.im 2.056 * [taylor]: Taking taylor expansion of 0 in x.im 2.071 * [taylor]: Taking taylor expansion of 0 in x.im 2.072 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in (x.re x.im) around 0 2.072 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.im 2.072 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.im 2.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.im 2.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.im 2.072 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.072 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.im 2.072 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.im 2.072 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.im 2.072 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.072 * [taylor]: Taking taylor expansion of x.im in x.im 2.072 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.072 * [taylor]: Taking taylor expansion of x.re in x.im 2.073 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.073 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.073 * [taylor]: Taking taylor expansion of 2 in x.im 2.074 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.re 2.074 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.re 2.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.re 2.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.re 2.074 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.074 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.re 2.074 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.re 2.074 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.074 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.074 * [taylor]: Taking taylor expansion of x.im in x.re 2.074 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.074 * [taylor]: Taking taylor expansion of x.re in x.re 2.075 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.075 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.075 * [taylor]: Taking taylor expansion of 2 in x.re 2.076 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.re 2.076 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.re 2.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.re 2.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.re 2.076 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.076 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.re 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.re 2.076 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.076 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.076 * [taylor]: Taking taylor expansion of x.im in x.re 2.076 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.076 * [taylor]: Taking taylor expansion of x.re in x.re 2.077 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.077 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.077 * [taylor]: Taking taylor expansion of 2 in x.re 2.079 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2) 2) (exp (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re)))))) in x.im 2.079 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.079 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.079 * [taylor]: Taking taylor expansion of 2 in x.im 2.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re))))) in x.im 2.080 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re)))) in x.im 2.080 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.080 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re))) in x.im 2.080 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 2.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.080 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.080 * [taylor]: Taking taylor expansion of x.im in x.im 2.081 * [taylor]: Taking taylor expansion of (* 2 (log x.re)) in x.im 2.081 * [taylor]: Taking taylor expansion of 2 in x.im 2.081 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.081 * [taylor]: Taking taylor expansion of x.re in x.im 2.091 * [taylor]: Taking taylor expansion of 0 in x.im 2.101 * [taylor]: Taking taylor expansion of 0 in x.im 2.117 * [taylor]: Taking taylor expansion of 0 in x.im 2.118 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in (x.re x.im) around 0 2.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.im 2.118 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.im 2.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.im 2.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.im 2.118 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.118 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.im 2.118 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.im 2.118 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.im 2.118 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.118 * [taylor]: Taking taylor expansion of x.im in x.im 2.118 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.118 * [taylor]: Taking taylor expansion of x.re in x.im 2.119 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.119 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.119 * [taylor]: Taking taylor expansion of 2 in x.im 2.120 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.re 2.120 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.re 2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.re 2.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.re 2.120 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.120 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.re 2.120 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.re 2.120 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.120 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.120 * [taylor]: Taking taylor expansion of x.im in x.re 2.120 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.120 * [taylor]: Taking taylor expansion of x.re in x.re 2.121 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.121 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.121 * [taylor]: Taking taylor expansion of 2 in x.re 2.122 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) (pow (cbrt 2) 2)) in x.re 2.122 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x.im 2) (pow x.re 2))) 1/3) in x.re 2.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2)))))) in x.re 2.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x.im 2) (pow x.re 2))))) in x.re 2.122 * [taylor]: Taking taylor expansion of 1/3 in x.re 2.122 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x.im 2) (pow x.re 2)))) in x.re 2.122 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) (pow x.re 2))) in x.re 2.122 * [taylor]: Taking taylor expansion of (* (pow x.im 2) (pow x.re 2)) in x.re 2.122 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.122 * [taylor]: Taking taylor expansion of x.im in x.re 2.122 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.122 * [taylor]: Taking taylor expansion of x.re in x.re 2.123 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.re 2.123 * [taylor]: Taking taylor expansion of (cbrt 2) in x.re 2.123 * [taylor]: Taking taylor expansion of 2 in x.re 2.126 * [taylor]: Taking taylor expansion of (* (pow (cbrt 2) 2) (exp (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re)))))) in x.im 2.126 * [taylor]: Taking taylor expansion of (pow (cbrt 2) 2) in x.im 2.126 * [taylor]: Taking taylor expansion of (cbrt 2) in x.im 2.126 * [taylor]: Taking taylor expansion of 2 in x.im 2.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re))))) in x.im 2.126 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re)))) in x.im 2.126 * [taylor]: Taking taylor expansion of 1/3 in x.im 2.126 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x.im 2))) (* 2 (log x.re))) in x.im 2.126 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 2.126 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.126 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.126 * [taylor]: Taking taylor expansion of x.im in x.im 2.127 * [taylor]: Taking taylor expansion of (* 2 (log x.re)) in x.im 2.127 * [taylor]: Taking taylor expansion of 2 in x.im 2.127 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.127 * [taylor]: Taking taylor expansion of x.re in x.im 2.134 * [taylor]: Taking taylor expansion of 0 in x.im 2.144 * [taylor]: Taking taylor expansion of 0 in x.im 2.159 * [taylor]: Taking taylor expansion of 0 in x.im 2.160 * * * [progress]: simplifying candidates 2.162 * [simplify]: Simplifying using # : (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt 1) (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt 1) (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt 1) (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (log1p (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (+ 1/3 1/3) (+ 1 1) (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (+ 1 1) (+ (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re))))) (log (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (exp (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.im) (* x.im x.re)) (+ (* x.re x.im) (* x.im x.re))) (* (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (* (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (sqrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (sqrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))))) (* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))) (* (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))))) (* (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* 1 1) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* 2 1/3) (* 2 1) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt 1)) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) 1) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re)))) (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ 1 x.im)) (log (/ 1 x.re))))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ -1 x.im)) (log (/ -1 x.re))))) (cbrt 2)) (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ 1 x.im)) (log (/ 1 x.re))))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ -1 x.im)) (log (/ -1 x.re))))) (cbrt 2)) (* (exp (* 1/3 (+ (log x.re) (log x.im)))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ 1 x.im)) (log (/ 1 x.re))))) (cbrt 2)) (* (exp (* -1/3 (+ (log (/ -1 x.im)) (log (/ -1 x.re))))) (cbrt 2)) (* (exp (* 1/3 (+ (* 2 (log x.re)) (* 2 (log x.im))))) (pow (cbrt 2) 2)) (* (pow (cbrt 2) 2) (exp (* -1/3 (+ (* 2 (log (/ 1 x.im))) (* 2 (log (/ 1 x.re))))))) (* (pow (cbrt 2) 2) (exp (* -1/3 (+ (* 2 (log (/ -1 x.im))) (* 2 (log (/ -1 x.re))))))) 2.171 * * [simplify]: iteration 0 : 290 enodes (cost 1087 ) 2.176 * * [simplify]: iteration 1 : 1023 enodes (cost 998 ) 2.201 * * [simplify]: iteration 2 : 5002 enodes (cost 903 ) 2.206 * [simplify]: Simplified to: (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) 1 (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (fma x.re x.im (* x.im x.re)) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) 1 (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (fma x.re x.im (* x.im x.re)) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log1p (cbrt (+ (* x.re x.im) (* x.im x.re)))) (log (cbrt (+ (* x.re x.im) (* x.im x.re)))) (exp (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) 1 (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (fma x.re x.im (* x.im x.re)) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (expm1 (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (log1p (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) 2/3 2 (* 4 (fma (* x.re (* x.im x.re)) x.im 0)) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) 2 (* 2 (log (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* 2 (log (cbrt (+ (* x.re x.im) (* x.im x.re))))) (pow (exp 1) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4)) (* 4 (fma (* x.re (* x.im x.re)) x.im 0)) (* (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* 4 (fma (* x.re (* x.im x.re)) x.im 0)) (fabs (cbrt (+ (* x.re x.im) (* x.im x.re)))) (fabs (cbrt (+ (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))))) (* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) (cbrt (- (* (* x.re x.im) (* x.re x.im)) (* (* x.im x.re) (* x.im x.re))))) (* (cbrt (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (- (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) 1 (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (pow (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (* (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))) 1 (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (* (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re)))) (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re))) 2/3 2 (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (* x.re x.im) (* x.im x.re)))))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (cbrt (+ (* x.re x.im) (* x.im x.re))) (* (pow (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re))))) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 3) (cbrt (+ (* x.re x.im) (* x.im x.re))) (pow (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (sqrt (+ (* x.re x.im) (* x.im x.re))))) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (pow (cbrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 3) (pow (sqrt (cbrt (+ (* x.re x.im) (* x.im x.re)))) 4) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)))) (* (cbrt (+ (* x.re x.im) (* x.im x.re))) (cbrt (- (* x.re x.im) (* x.im x.re)))) (* (* (cbrt 2) (pow x.re 1/3)) (pow x.im 1/3)) (* (* (cbrt 2) (pow (/ 1 x.im) -1/3)) (pow (/ 1 x.re) -1/3)) (* (* (cbrt 2) (pow (/ -1 x.im) -1/3)) (pow (/ -1 x.re) -1/3)) (* (* (cbrt 2) (pow x.re 1/3)) (pow x.im 1/3)) (* (* (cbrt 2) (pow (/ 1 x.im) -1/3)) (pow (/ 1 x.re) -1/3)) (* (* (cbrt 2) (pow (/ -1 x.im) -1/3)) (pow (/ -1 x.re) -1/3)) (* (* (cbrt 2) (pow x.re 1/3)) (pow x.im 1/3)) (* (* (cbrt 2) (pow (/ 1 x.im) -1/3)) (pow (/ 1 x.re) -1/3)) (* (* (cbrt 2) (pow (/ -1 x.im) -1/3)) (pow (/ -1 x.re) -1/3)) (* (* (pow (cbrt 2) 2) (pow x.re 2/3)) (pow x.im 2/3)) (* (* (pow (cbrt 2) 2) (pow (/ 1 x.im) -2/3)) (pow (/ 1 x.re) -2/3)) (* (* (pow (cbrt 2) 2) (pow (/ -1 x.im) -2/3)) (pow (/ -1 x.re) -2/3)) 2.206 * * * [progress]: adding candidates to table 2.528 * [progress]: [Phase 3 of 3] Extracting. 2.529 * * [regime]: Finding splitpoints for: (# # # # # # # #) 2.532 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 2.532 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # #) 2.563 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # #) 2.593 * * * [regime]: Found split indices: #