3.104 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.056 * [simplify]: Sending expressions to egg_math:
 (- (* (- (* h1 h1) (* h0 h0)) h1) (* (+ (* h1 h0) (* h0 h1)) h0))
0.155 * * [progress]: iteration 1 / 4
0.155 * * * [progress]: picking best candidate
0.158 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* x.im (* x.re x.im)))))>
0.158 * * * [progress]: localizing error
0.166 * * * [progress]: generating rewritten candidates
0.166 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.265 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.300 * * * [progress]: generating series expansions
0.300 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.300 * [backup-simplify]: Simplify (* 3 (* x.im (* x.re x.im))) into (* 3 (* (pow x.im 2) x.re))
0.300 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.301 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
0.301 * [taylor]: Taking taylor expansion of 3 in x.re
0.301 * [backup-simplify]: Simplify 3 into 3
0.301 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.301 * [taylor]: Taking taylor expansion of x.im in x.re
0.301 * [backup-simplify]: Simplify x.im into x.im
0.301 * [taylor]: Taking taylor expansion of x.re in x.re
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
0.301 * [taylor]: Taking taylor expansion of 3 in x.im
0.301 * [backup-simplify]: Simplify 3 into 3
0.301 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.301 * [taylor]: Taking taylor expansion of x.im in x.im
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of x.re in x.im
0.301 * [backup-simplify]: Simplify x.re into x.re
0.301 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
0.301 * [taylor]: Taking taylor expansion of 3 in x.im
0.301 * [backup-simplify]: Simplify 3 into 3
0.301 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.301 * [taylor]: Taking taylor expansion of x.im in x.im
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of x.re in x.im
0.301 * [backup-simplify]: Simplify x.re into x.re
0.302 * [backup-simplify]: Simplify (* 1 1) into 1
0.302 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.302 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re)
0.302 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
0.302 * [taylor]: Taking taylor expansion of 3 in x.re
0.302 * [backup-simplify]: Simplify 3 into 3
0.302 * [taylor]: Taking taylor expansion of x.re in x.re
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 1 into 1
0.303 * [backup-simplify]: Simplify (* 3 0) into 0
0.303 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.304 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.305 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0
0.305 * [taylor]: Taking taylor expansion of 0 in x.re
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.306 * [backup-simplify]: Simplify 3 into 3
0.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.308 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0
0.308 * [taylor]: Taking taylor expansion of 0 in x.re
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.310 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.313 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.313 * [taylor]: Taking taylor expansion of 0 in x.re
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re))
0.314 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im)))) into (/ 3 (* (pow x.im 2) x.re))
0.314 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.314 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
0.314 * [taylor]: Taking taylor expansion of 3 in x.re
0.314 * [backup-simplify]: Simplify 3 into 3
0.314 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.314 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.314 * [taylor]: Taking taylor expansion of x.im in x.re
0.314 * [backup-simplify]: Simplify x.im into x.im
0.314 * [taylor]: Taking taylor expansion of x.re in x.re
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify 1 into 1
0.314 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.314 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.314 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.315 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.315 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2))
0.315 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
0.315 * [taylor]: Taking taylor expansion of 3 in x.im
0.315 * [backup-simplify]: Simplify 3 into 3
0.315 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.315 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.316 * [taylor]: Taking taylor expansion of x.im in x.im
0.316 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify 1 into 1
0.316 * [taylor]: Taking taylor expansion of x.re in x.im
0.316 * [backup-simplify]: Simplify x.re into x.re
0.316 * [backup-simplify]: Simplify (* 1 1) into 1
0.316 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.316 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.316 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
0.316 * [taylor]: Taking taylor expansion of 3 in x.im
0.316 * [backup-simplify]: Simplify 3 into 3
0.316 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.316 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.316 * [taylor]: Taking taylor expansion of x.im in x.im
0.316 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of x.re in x.im
0.317 * [backup-simplify]: Simplify x.re into x.re
0.317 * [backup-simplify]: Simplify (* 1 1) into 1
0.317 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.317 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.317 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
0.317 * [taylor]: Taking taylor expansion of 3 in x.re
0.317 * [backup-simplify]: Simplify 3 into 3
0.317 * [taylor]: Taking taylor expansion of x.re in x.re
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.318 * [backup-simplify]: Simplify (/ 3 1) into 3
0.318 * [backup-simplify]: Simplify 3 into 3
0.318 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.319 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
0.319 * [taylor]: Taking taylor expansion of 0 in x.re
0.319 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.322 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.322 * [taylor]: Taking taylor expansion of 0 in x.re
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 0 into 0
0.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.323 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.326 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.326 * [taylor]: Taking taylor expansion of 0 in x.re
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.327 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re))
0.328 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im))))) into (/ -3 (* (pow x.im 2) x.re))
0.328 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.328 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
0.328 * [taylor]: Taking taylor expansion of -3 in x.re
0.328 * [backup-simplify]: Simplify -3 into -3
0.328 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.328 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.328 * [taylor]: Taking taylor expansion of x.im in x.re
0.328 * [backup-simplify]: Simplify x.im into x.im
0.328 * [taylor]: Taking taylor expansion of x.re in x.re
0.328 * [backup-simplify]: Simplify 0 into 0
0.328 * [backup-simplify]: Simplify 1 into 1
0.328 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.328 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.328 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.329 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.329 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2))
0.329 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
0.329 * [taylor]: Taking taylor expansion of -3 in x.im
0.329 * [backup-simplify]: Simplify -3 into -3
0.329 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.329 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.329 * [taylor]: Taking taylor expansion of x.im in x.im
0.329 * [backup-simplify]: Simplify 0 into 0
0.329 * [backup-simplify]: Simplify 1 into 1
0.329 * [taylor]: Taking taylor expansion of x.re in x.im
0.329 * [backup-simplify]: Simplify x.re into x.re
0.330 * [backup-simplify]: Simplify (* 1 1) into 1
0.330 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.330 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
0.330 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
0.330 * [taylor]: Taking taylor expansion of -3 in x.im
0.330 * [backup-simplify]: Simplify -3 into -3
0.330 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.330 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.330 * [taylor]: Taking taylor expansion of x.im in x.im
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 1 into 1
0.330 * [taylor]: Taking taylor expansion of x.re in x.im
0.330 * [backup-simplify]: Simplify x.re into x.re
0.330 * [backup-simplify]: Simplify (* 1 1) into 1
0.330 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.331 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
0.331 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
0.331 * [taylor]: Taking taylor expansion of -3 in x.re
0.331 * [backup-simplify]: Simplify -3 into -3
0.331 * [taylor]: Taking taylor expansion of x.re in x.re
0.331 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify 1 into 1
0.331 * [backup-simplify]: Simplify (/ -3 1) into -3
0.331 * [backup-simplify]: Simplify -3 into -3
0.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.333 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0
0.333 * [taylor]: Taking taylor expansion of 0 in x.re
0.333 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
0.334 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.336 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.336 * [taylor]: Taking taylor expansion of 0 in x.re
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 0 into 0
0.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.337 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.339 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.339 * [taylor]: Taking taylor expansion of 0 in x.re
0.339 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re))
0.341 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.341 * [backup-simplify]: Simplify (* x.im (* x.re x.im)) into (* (pow x.im 2) x.re)
0.341 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.im x.re) around 0
0.341 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.341 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.341 * [taylor]: Taking taylor expansion of x.im in x.re
0.341 * [backup-simplify]: Simplify x.im into x.im
0.341 * [taylor]: Taking taylor expansion of x.re in x.re
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify 1 into 1
0.342 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.342 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.342 * [taylor]: Taking taylor expansion of x.im in x.im
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify 1 into 1
0.342 * [taylor]: Taking taylor expansion of x.re in x.im
0.342 * [backup-simplify]: Simplify x.re into x.re
0.342 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.342 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.342 * [taylor]: Taking taylor expansion of x.im in x.im
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify 1 into 1
0.342 * [taylor]: Taking taylor expansion of x.re in x.im
0.342 * [backup-simplify]: Simplify x.re into x.re
0.342 * [backup-simplify]: Simplify (* 1 1) into 1
0.342 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.342 * [taylor]: Taking taylor expansion of x.re in x.re
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify 1 into 1
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.344 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.344 * [taylor]: Taking taylor expansion of 0 in x.re
0.344 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 1 into 1
0.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.346 * [taylor]: Taking taylor expansion of 0 in x.re
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.348 * [taylor]: Taking taylor expansion of 0 in x.re
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify (* 1 (* x.re (pow x.im 2))) into (* (pow x.im 2) x.re)
0.349 * [backup-simplify]: Simplify (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im))) into (/ 1 (* (pow x.im 2) x.re))
0.349 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.349 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re
0.349 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.349 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.349 * [taylor]: Taking taylor expansion of x.im in x.re
0.349 * [backup-simplify]: Simplify x.im into x.im
0.349 * [taylor]: Taking taylor expansion of x.re in x.re
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.349 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.349 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.350 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.350 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
0.350 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im
0.350 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.350 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.350 * [taylor]: Taking taylor expansion of x.im in x.im
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify 1 into 1
0.350 * [taylor]: Taking taylor expansion of x.re in x.im
0.350 * [backup-simplify]: Simplify x.re into x.re
0.350 * [backup-simplify]: Simplify (* 1 1) into 1
0.351 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.351 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re)
0.351 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im
0.351 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.351 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.351 * [taylor]: Taking taylor expansion of x.im in x.im
0.351 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify 1 into 1
0.351 * [taylor]: Taking taylor expansion of x.re in x.im
0.351 * [backup-simplify]: Simplify x.re into x.re
0.356 * [backup-simplify]: Simplify (* 1 1) into 1
0.356 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.356 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re)
0.356 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re
0.356 * [taylor]: Taking taylor expansion of x.re in x.re
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 1 into 1
0.357 * [backup-simplify]: Simplify (/ 1 1) into 1
0.357 * [backup-simplify]: Simplify 1 into 1
0.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)))) into 0
0.359 * [taylor]: Taking taylor expansion of 0 in x.re
0.359 * [backup-simplify]: Simplify 0 into 0
0.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.359 * [backup-simplify]: Simplify 0 into 0
0.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.361 * [taylor]: Taking taylor expansion of 0 in x.re
0.361 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.362 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.365 * [taylor]: Taking taylor expansion of 0 in x.re
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.367 * [backup-simplify]: Simplify 0 into 0
0.367 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* (pow x.im 2) x.re)
0.368 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im)))) into (/ -1 (* (pow x.im 2) x.re))
0.368 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.368 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re
0.368 * [taylor]: Taking taylor expansion of -1 in x.re
0.368 * [backup-simplify]: Simplify -1 into -1
0.368 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.368 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.368 * [taylor]: Taking taylor expansion of x.im in x.re
0.368 * [backup-simplify]: Simplify x.im into x.im
0.368 * [taylor]: Taking taylor expansion of x.re in x.re
0.368 * [backup-simplify]: Simplify 0 into 0
0.368 * [backup-simplify]: Simplify 1 into 1
0.368 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.368 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.368 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.369 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.369 * [backup-simplify]: Simplify (/ -1 (pow x.im 2)) into (/ -1 (pow x.im 2))
0.369 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im
0.369 * [taylor]: Taking taylor expansion of -1 in x.im
0.369 * [backup-simplify]: Simplify -1 into -1
0.370 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.370 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.370 * [taylor]: Taking taylor expansion of x.im in x.im
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 1 into 1
0.370 * [taylor]: Taking taylor expansion of x.re in x.im
0.370 * [backup-simplify]: Simplify x.re into x.re
0.370 * [backup-simplify]: Simplify (* 1 1) into 1
0.370 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.370 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re)
0.370 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im
0.370 * [taylor]: Taking taylor expansion of -1 in x.im
0.370 * [backup-simplify]: Simplify -1 into -1
0.371 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.371 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.371 * [taylor]: Taking taylor expansion of x.im in x.im
0.371 * [backup-simplify]: Simplify 0 into 0
0.371 * [backup-simplify]: Simplify 1 into 1
0.371 * [taylor]: Taking taylor expansion of x.re in x.im
0.371 * [backup-simplify]: Simplify x.re into x.re
0.371 * [backup-simplify]: Simplify (* 1 1) into 1
0.371 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.371 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re)
0.371 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re
0.371 * [taylor]: Taking taylor expansion of -1 in x.re
0.372 * [backup-simplify]: Simplify -1 into -1
0.372 * [taylor]: Taking taylor expansion of x.re in x.re
0.372 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify 1 into 1
0.372 * [backup-simplify]: Simplify (/ -1 1) into -1
0.372 * [backup-simplify]: Simplify -1 into -1
0.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.374 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.374 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)))) into 0
0.374 * [taylor]: Taking taylor expansion of 0 in x.re
0.374 * [backup-simplify]: Simplify 0 into 0
0.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.375 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.377 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.377 * [taylor]: Taking taylor expansion of 0 in x.re
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.379 * [backup-simplify]: Simplify 0 into 0
0.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.381 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.381 * [taylor]: Taking taylor expansion of 0 in x.re
0.381 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify 0 into 0
0.382 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.383 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* (pow x.im 2) x.re)
0.383 * * * [progress]: simplifying candidates
0.384 * [simplify]: Simplifying:
  (* 3 (* x.im (* x.re x.im)))
  (* 3 (* x.im (* x.re x.im)))
  (* 3 (* x.im (* x.re x.im)))
  (+ (log 3) (+ (log x.im) (+ (log x.re) (log x.im))))
  (+ (log 3) (+ (log x.im) (log (* x.re x.im))))
  (+ (log 3) (log (* x.im (* x.re x.im))))
  (log (* 3 (* x.im (* x.re x.im))))
  (exp (* 3 (* x.im (* x.re x.im))))
  (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))))
  (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))))
  (* (* (* 3 3) 3) (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im))))
  (* (cbrt (* 3 (* x.im (* x.re x.im)))) (cbrt (* 3 (* x.im (* x.re x.im)))))
  (cbrt (* 3 (* x.im (* x.re x.im))))
  (* (* (* 3 (* x.im (* x.re x.im))) (* 3 (* x.im (* x.re x.im)))) (* 3 (* x.im (* x.re x.im))))
  (sqrt (* 3 (* x.im (* x.re x.im))))
  (sqrt (* 3 (* x.im (* x.re x.im))))
  (* 3 x.im)
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (* (sqrt 3) (* x.im (* x.re x.im)))
  (* 3 (* x.im (* x.re x.im)))
  (* x.im (* x.re x.im))
  (* x.im (* x.re x.im))
  (+ (log x.im) (+ (log x.re) (log x.im)))
  (+ (log x.im) (log (* x.re x.im)))
  (log (* x.im (* x.re x.im)))
  (exp (* x.im (* x.re x.im)))
  (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))
  (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))
  (* (cbrt (* x.im (* x.re x.im))) (cbrt (* x.im (* x.re x.im))))
  (cbrt (* x.im (* x.re x.im)))
  (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im)))
  (sqrt (* x.im (* x.re x.im)))
  (sqrt (* x.im (* x.re x.im)))
  (* x.im x.re)
  (* (cbrt x.im) (* x.re x.im))
  (* (sqrt x.im) (* x.re x.im))
  (* x.im (* x.re x.im))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* (pow x.im 2) x.re)
  (* (pow x.im 2) x.re)
  (* (pow x.im 2) x.re)
0.385 * [simplify]: Sending expressions to egg_math:
 (* 3 (* h0 (* h1 h0)))
 (* 3 (* h0 (* h1 h0)))
 (* 3 (* h0 (* h1 h0)))
 (+ (log 3) (+ (log h0) (+ (log h1) (log h0))))
 (+ (log 3) (+ (log h0) (log (* h1 h0))))
 (+ (log 3) (log (* h0 (* h1 h0))))
 (log (* 3 (* h0 (* h1 h0))))
 (exp (* 3 (* h0 (* h1 h0))))
 (* (* (* 3 3) 3) (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0))))
 (* (* (* 3 3) 3) (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0))))
 (* (* (* 3 3) 3) (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0))))
 (* (cbrt (* 3 (* h0 (* h1 h0)))) (cbrt (* 3 (* h0 (* h1 h0)))))
 (cbrt (* 3 (* h0 (* h1 h0))))
 (* (* (* 3 (* h0 (* h1 h0))) (* 3 (* h0 (* h1 h0)))) (* 3 (* h0 (* h1 h0))))
 (sqrt (* 3 (* h0 (* h1 h0))))
 (sqrt (* 3 (* h0 (* h1 h0))))
 (* 3 h0)
 (* (cbrt 3) (* h0 (* h1 h0)))
 (* (sqrt 3) (* h0 (* h1 h0)))
 (* 3 (* h0 (* h1 h0)))
 (* h0 (* h1 h0))
 (* h0 (* h1 h0))
 (+ (log h0) (+ (log h1) (log h0)))
 (+ (log h0) (log (* h1 h0)))
 (log (* h0 (* h1 h0)))
 (exp (* h0 (* h1 h0)))
 (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))
 (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))
 (* (cbrt (* h0 (* h1 h0))) (cbrt (* h0 (* h1 h0))))
 (cbrt (* h0 (* h1 h0)))
 (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0)))
 (sqrt (* h0 (* h1 h0)))
 (sqrt (* h0 (* h1 h0)))
 (* h0 h1)
 (* (cbrt h0) (* h1 h0))
 (* (sqrt h0) (* h1 h0))
 (* h0 (* h1 h0))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* (pow h0 2) h1)
 (* (pow h0 2) h1)
 (* (pow h0 2) h1)
0.456 * * * [progress]: adding candidates to table
0.546 * * [progress]: iteration 2 / 4
0.546 * * * [progress]: picking best candidate
0.578 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 x.im) (* x.re x.im))))>
0.578 * * * [progress]: localizing error
0.589 * * * [progress]: generating rewritten candidates
0.589 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.629 * * * [progress]: generating series expansions
0.629 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.629 * [backup-simplify]: Simplify (* (* 3 x.im) (* x.re x.im)) into (* 3 (* (pow x.im 2) x.re))
0.629 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.629 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
0.629 * [taylor]: Taking taylor expansion of 3 in x.re
0.629 * [backup-simplify]: Simplify 3 into 3
0.629 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.629 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.629 * [taylor]: Taking taylor expansion of x.im in x.re
0.629 * [backup-simplify]: Simplify x.im into x.im
0.630 * [taylor]: Taking taylor expansion of x.re in x.re
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 1 into 1
0.630 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
0.630 * [taylor]: Taking taylor expansion of 3 in x.im
0.630 * [backup-simplify]: Simplify 3 into 3
0.630 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.630 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.630 * [taylor]: Taking taylor expansion of x.im in x.im
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 1 into 1
0.630 * [taylor]: Taking taylor expansion of x.re in x.im
0.630 * [backup-simplify]: Simplify x.re into x.re
0.630 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
0.630 * [taylor]: Taking taylor expansion of 3 in x.im
0.630 * [backup-simplify]: Simplify 3 into 3
0.630 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.630 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.630 * [taylor]: Taking taylor expansion of x.im in x.im
0.630 * [backup-simplify]: Simplify 0 into 0
0.630 * [backup-simplify]: Simplify 1 into 1
0.630 * [taylor]: Taking taylor expansion of x.re in x.im
0.630 * [backup-simplify]: Simplify x.re into x.re
0.631 * [backup-simplify]: Simplify (* 1 1) into 1
0.631 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.631 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re)
0.631 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
0.631 * [taylor]: Taking taylor expansion of 3 in x.re
0.631 * [backup-simplify]: Simplify 3 into 3
0.631 * [taylor]: Taking taylor expansion of x.re in x.re
0.631 * [backup-simplify]: Simplify 0 into 0
0.631 * [backup-simplify]: Simplify 1 into 1
0.632 * [backup-simplify]: Simplify (* 3 0) into 0
0.632 * [backup-simplify]: Simplify 0 into 0
0.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.633 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0
0.633 * [taylor]: Taking taylor expansion of 0 in x.re
0.633 * [backup-simplify]: Simplify 0 into 0
0.633 * [backup-simplify]: Simplify 0 into 0
0.634 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.634 * [backup-simplify]: Simplify 3 into 3
0.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.636 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0
0.636 * [taylor]: Taking taylor expansion of 0 in x.re
0.636 * [backup-simplify]: Simplify 0 into 0
0.636 * [backup-simplify]: Simplify 0 into 0
0.636 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.637 * [backup-simplify]: Simplify 0 into 0
0.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.639 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.639 * [taylor]: Taking taylor expansion of 0 in x.re
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re))
0.639 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.im)) (* (/ 1 x.re) (/ 1 x.im))) into (/ 3 (* (pow x.im 2) x.re))
0.639 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.639 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
0.639 * [taylor]: Taking taylor expansion of 3 in x.re
0.639 * [backup-simplify]: Simplify 3 into 3
0.639 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.639 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.639 * [taylor]: Taking taylor expansion of x.im in x.re
0.639 * [backup-simplify]: Simplify x.im into x.im
0.639 * [taylor]: Taking taylor expansion of x.re in x.re
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 1 into 1
0.639 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.639 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.640 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.640 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.640 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2))
0.640 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
0.640 * [taylor]: Taking taylor expansion of 3 in x.im
0.640 * [backup-simplify]: Simplify 3 into 3
0.640 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.640 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.640 * [taylor]: Taking taylor expansion of x.im in x.im
0.640 * [backup-simplify]: Simplify 0 into 0
0.640 * [backup-simplify]: Simplify 1 into 1
0.640 * [taylor]: Taking taylor expansion of x.re in x.im
0.640 * [backup-simplify]: Simplify x.re into x.re
0.640 * [backup-simplify]: Simplify (* 1 1) into 1
0.640 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.640 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.640 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
0.641 * [taylor]: Taking taylor expansion of 3 in x.im
0.641 * [backup-simplify]: Simplify 3 into 3
0.641 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.641 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.641 * [taylor]: Taking taylor expansion of x.im in x.im
0.641 * [backup-simplify]: Simplify 0 into 0
0.641 * [backup-simplify]: Simplify 1 into 1
0.641 * [taylor]: Taking taylor expansion of x.re in x.im
0.641 * [backup-simplify]: Simplify x.re into x.re
0.641 * [backup-simplify]: Simplify (* 1 1) into 1
0.641 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.641 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.641 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
0.641 * [taylor]: Taking taylor expansion of 3 in x.re
0.641 * [backup-simplify]: Simplify 3 into 3
0.641 * [taylor]: Taking taylor expansion of x.re in x.re
0.641 * [backup-simplify]: Simplify 0 into 0
0.641 * [backup-simplify]: Simplify 1 into 1
0.641 * [backup-simplify]: Simplify (/ 3 1) into 3
0.641 * [backup-simplify]: Simplify 3 into 3
0.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.642 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
0.642 * [taylor]: Taking taylor expansion of 0 in x.re
0.642 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.643 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.644 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.644 * [taylor]: Taking taylor expansion of 0 in x.re
0.644 * [backup-simplify]: Simplify 0 into 0
0.644 * [backup-simplify]: Simplify 0 into 0
0.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.644 * [backup-simplify]: Simplify 0 into 0
0.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.646 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.646 * [taylor]: Taking taylor expansion of 0 in x.re
0.646 * [backup-simplify]: Simplify 0 into 0
0.646 * [backup-simplify]: Simplify 0 into 0
0.646 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.647 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re))
0.647 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.im))) (* (/ 1 (- x.re)) (/ 1 (- x.im)))) into (/ -3 (* (pow x.im 2) x.re))
0.647 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
0.647 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
0.647 * [taylor]: Taking taylor expansion of -3 in x.re
0.647 * [backup-simplify]: Simplify -3 into -3
0.647 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
0.647 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
0.647 * [taylor]: Taking taylor expansion of x.im in x.re
0.647 * [backup-simplify]: Simplify x.im into x.im
0.647 * [taylor]: Taking taylor expansion of x.re in x.re
0.647 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify 1 into 1
0.647 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
0.647 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
0.647 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
0.648 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
0.648 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2))
0.648 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
0.648 * [taylor]: Taking taylor expansion of -3 in x.im
0.648 * [backup-simplify]: Simplify -3 into -3
0.648 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.648 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.648 * [taylor]: Taking taylor expansion of x.im in x.im
0.648 * [backup-simplify]: Simplify 0 into 0
0.648 * [backup-simplify]: Simplify 1 into 1
0.648 * [taylor]: Taking taylor expansion of x.re in x.im
0.648 * [backup-simplify]: Simplify x.re into x.re
0.648 * [backup-simplify]: Simplify (* 1 1) into 1
0.648 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.648 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
0.648 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
0.648 * [taylor]: Taking taylor expansion of -3 in x.im
0.648 * [backup-simplify]: Simplify -3 into -3
0.648 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
0.648 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
0.648 * [taylor]: Taking taylor expansion of x.im in x.im
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [taylor]: Taking taylor expansion of x.re in x.im
0.649 * [backup-simplify]: Simplify x.re into x.re
0.649 * [backup-simplify]: Simplify (* 1 1) into 1
0.649 * [backup-simplify]: Simplify (* 1 x.re) into x.re
0.649 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
0.649 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
0.649 * [taylor]: Taking taylor expansion of -3 in x.re
0.649 * [backup-simplify]: Simplify -3 into -3
0.649 * [taylor]: Taking taylor expansion of x.re in x.re
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.649 * [backup-simplify]: Simplify (/ -3 1) into -3
0.649 * [backup-simplify]: Simplify -3 into -3
0.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
0.650 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0
0.650 * [taylor]: Taking taylor expansion of 0 in x.re
0.650 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
0.651 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
0.652 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.652 * [taylor]: Taking taylor expansion of 0 in x.re
0.652 * [backup-simplify]: Simplify 0 into 0
0.652 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.654 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.654 * [taylor]: Taking taylor expansion of 0 in x.re
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify 0 into 0
0.654 * [backup-simplify]: Simplify 0 into 0
0.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.655 * [backup-simplify]: Simplify 0 into 0
0.655 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re))
0.655 * * * [progress]: simplifying candidates
0.656 * [simplify]: Simplifying:
  (* (* 3 x.im) (* x.re x.im))
  (* (* 3 x.im) (* x.re x.im))
  (* (* 3 x.im) (* x.re x.im))
  (* (* 3 x.im) (* x.re x.im))
  (+ (+ (log 3) (log x.im)) (+ (log x.re) (log x.im)))
  (+ (+ (log 3) (log x.im)) (log (* x.re x.im)))
  (+ (log (* 3 x.im)) (+ (log x.re) (log x.im)))
  (+ (log (* 3 x.im)) (log (* x.re x.im)))
  (log (* (* 3 x.im) (* x.re x.im)))
  (exp (* (* 3 x.im) (* x.re x.im)))
  (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))
  (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))
  (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))
  (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))
  (* (cbrt (* (* 3 x.im) (* x.re x.im))) (cbrt (* (* 3 x.im) (* x.re x.im))))
  (cbrt (* (* 3 x.im) (* x.re x.im)))
  (* (* (* (* 3 x.im) (* x.re x.im)) (* (* 3 x.im) (* x.re x.im))) (* (* 3 x.im) (* x.re x.im)))
  (sqrt (* (* 3 x.im) (* x.re x.im)))
  (sqrt (* (* 3 x.im) (* x.re x.im)))
  (* (* 3 x.im) x.re)
  (* x.im (* x.re x.im))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
0.656 * [simplify]: Sending expressions to egg_math:
 (* (* 3 h0) (* h1 h0))
 (* (* 3 h0) (* h1 h0))
 (* (* 3 h0) (* h1 h0))
 (* (* 3 h0) (* h1 h0))
 (+ (+ (log 3) (log h0)) (+ (log h1) (log h0)))
 (+ (+ (log 3) (log h0)) (log (* h1 h0)))
 (+ (log (* 3 h0)) (+ (log h1) (log h0)))
 (+ (log (* 3 h0)) (log (* h1 h0)))
 (log (* (* 3 h0) (* h1 h0)))
 (exp (* (* 3 h0) (* h1 h0)))
 (* (* (* (* 3 3) 3) (* (* h0 h0) h0)) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))
 (* (* (* (* 3 3) 3) (* (* h0 h0) h0)) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))
 (* (* (* (* 3 h0) (* 3 h0)) (* 3 h0)) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))
 (* (* (* (* 3 h0) (* 3 h0)) (* 3 h0)) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))
 (* (cbrt (* (* 3 h0) (* h1 h0))) (cbrt (* (* 3 h0) (* h1 h0))))
 (cbrt (* (* 3 h0) (* h1 h0)))
 (* (* (* (* 3 h0) (* h1 h0)) (* (* 3 h0) (* h1 h0))) (* (* 3 h0) (* h1 h0)))
 (sqrt (* (* 3 h0) (* h1 h0)))
 (sqrt (* (* 3 h0) (* h1 h0)))
 (* (* 3 h0) h1)
 (* h0 (* h1 h0))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
0.776 * * * [progress]: adding candidates to table
0.809 * * [progress]: iteration 3 / 4
0.809 * * * [progress]: picking best candidate
0.839 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.im) x.re) x.im)))>
0.839 * * * [progress]: localizing error
0.857 * * * [progress]: generating rewritten candidates
0.857 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
0.888 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.980 * * * [progress]: generating series expansions
0.980 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
0.980 * [backup-simplify]: Simplify (* (* 3 x.im) x.re) into (* 3 (* x.im x.re))
0.980 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0
0.980 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
0.980 * [taylor]: Taking taylor expansion of 3 in x.re
0.980 * [backup-simplify]: Simplify 3 into 3
0.980 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
0.980 * [taylor]: Taking taylor expansion of x.im in x.re
0.980 * [backup-simplify]: Simplify x.im into x.im
0.980 * [taylor]: Taking taylor expansion of x.re in x.re
0.980 * [backup-simplify]: Simplify 0 into 0
0.980 * [backup-simplify]: Simplify 1 into 1
0.980 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
0.980 * [taylor]: Taking taylor expansion of 3 in x.im
0.980 * [backup-simplify]: Simplify 3 into 3
0.980 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.981 * [taylor]: Taking taylor expansion of x.im in x.im
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 1 into 1
0.981 * [taylor]: Taking taylor expansion of x.re in x.im
0.981 * [backup-simplify]: Simplify x.re into x.re
0.981 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
0.981 * [taylor]: Taking taylor expansion of 3 in x.im
0.981 * [backup-simplify]: Simplify 3 into 3
0.981 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.981 * [taylor]: Taking taylor expansion of x.im in x.im
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 1 into 1
0.981 * [taylor]: Taking taylor expansion of x.re in x.im
0.981 * [backup-simplify]: Simplify x.re into x.re
0.981 * [backup-simplify]: Simplify (* 0 x.re) into 0
0.981 * [backup-simplify]: Simplify (* 3 0) into 0
0.981 * [taylor]: Taking taylor expansion of 0 in x.re
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
0.982 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re)
0.982 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
0.982 * [taylor]: Taking taylor expansion of 3 in x.re
0.982 * [backup-simplify]: Simplify 3 into 3
0.982 * [taylor]: Taking taylor expansion of x.re in x.re
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 1 into 1
0.982 * [backup-simplify]: Simplify (* 3 0) into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.982 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
0.983 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0
0.983 * [taylor]: Taking taylor expansion of 0 in x.re
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.984 * [backup-simplify]: Simplify 3 into 3
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.985 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0
0.985 * [taylor]: Taking taylor expansion of 0 in x.re
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.986 * [backup-simplify]: Simplify 0 into 0
0.986 * [backup-simplify]: Simplify 0 into 0
0.987 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
0.988 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0
0.988 * [taylor]: Taking taylor expansion of 0 in x.re
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re))
0.988 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.im)) (/ 1 x.re)) into (/ 3 (* x.im x.re))
0.988 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
0.988 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
0.988 * [taylor]: Taking taylor expansion of 3 in x.re
0.988 * [backup-simplify]: Simplify 3 into 3
0.988 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
0.988 * [taylor]: Taking taylor expansion of x.im in x.re
0.988 * [backup-simplify]: Simplify x.im into x.im
0.988 * [taylor]: Taking taylor expansion of x.re in x.re
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 1 into 1
0.988 * [backup-simplify]: Simplify (* x.im 0) into 0
0.989 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
0.989 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
0.989 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
0.989 * [taylor]: Taking taylor expansion of 3 in x.im
0.989 * [backup-simplify]: Simplify 3 into 3
0.989 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.989 * [taylor]: Taking taylor expansion of x.im in x.im
0.989 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify 1 into 1
0.989 * [taylor]: Taking taylor expansion of x.re in x.im
0.989 * [backup-simplify]: Simplify x.re into x.re
0.989 * [backup-simplify]: Simplify (* 0 x.re) into 0
0.989 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
0.989 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.989 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
0.989 * [taylor]: Taking taylor expansion of 3 in x.im
0.989 * [backup-simplify]: Simplify 3 into 3
0.989 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.989 * [taylor]: Taking taylor expansion of x.im in x.im
0.989 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify 1 into 1
0.989 * [taylor]: Taking taylor expansion of x.re in x.im
0.989 * [backup-simplify]: Simplify x.re into x.re
0.989 * [backup-simplify]: Simplify (* 0 x.re) into 0
0.990 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
0.990 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.990 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
0.990 * [taylor]: Taking taylor expansion of 3 in x.re
0.990 * [backup-simplify]: Simplify 3 into 3
0.990 * [taylor]: Taking taylor expansion of x.re in x.re
0.990 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify 1 into 1
0.990 * [backup-simplify]: Simplify (/ 3 1) into 3
0.990 * [backup-simplify]: Simplify 3 into 3
0.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
0.991 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
0.991 * [taylor]: Taking taylor expansion of 0 in x.re
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.991 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.992 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.992 * [taylor]: Taking taylor expansion of 0 in x.re
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.993 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
0.994 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.994 * [taylor]: Taking taylor expansion of 0 in x.re
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.994 * [backup-simplify]: Simplify 0 into 0
0.994 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re))
0.995 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.im))) (/ 1 (- x.re))) into (/ 3 (* x.im x.re))
0.995 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
0.995 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
0.995 * [taylor]: Taking taylor expansion of 3 in x.re
0.995 * [backup-simplify]: Simplify 3 into 3
0.995 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
0.995 * [taylor]: Taking taylor expansion of x.im in x.re
0.995 * [backup-simplify]: Simplify x.im into x.im
0.995 * [taylor]: Taking taylor expansion of x.re in x.re
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify 1 into 1
0.995 * [backup-simplify]: Simplify (* x.im 0) into 0
0.995 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
0.995 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im)
0.995 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
0.995 * [taylor]: Taking taylor expansion of 3 in x.im
0.995 * [backup-simplify]: Simplify 3 into 3
0.995 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.995 * [taylor]: Taking taylor expansion of x.im in x.im
0.995 * [backup-simplify]: Simplify 0 into 0
0.995 * [backup-simplify]: Simplify 1 into 1
0.995 * [taylor]: Taking taylor expansion of x.re in x.im
0.995 * [backup-simplify]: Simplify x.re into x.re
0.995 * [backup-simplify]: Simplify (* 0 x.re) into 0
0.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
0.996 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.996 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
0.996 * [taylor]: Taking taylor expansion of 3 in x.im
0.996 * [backup-simplify]: Simplify 3 into 3
0.996 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
0.996 * [taylor]: Taking taylor expansion of x.im in x.im
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 1 into 1
0.996 * [taylor]: Taking taylor expansion of x.re in x.im
0.996 * [backup-simplify]: Simplify x.re into x.re
0.996 * [backup-simplify]: Simplify (* 0 x.re) into 0
0.996 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
0.996 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
0.996 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
0.996 * [taylor]: Taking taylor expansion of 3 in x.re
0.996 * [backup-simplify]: Simplify 3 into 3
0.996 * [taylor]: Taking taylor expansion of x.re in x.re
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 1 into 1
0.997 * [backup-simplify]: Simplify (/ 3 1) into 3
0.997 * [backup-simplify]: Simplify 3 into 3
0.997 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
0.997 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
0.997 * [taylor]: Taking taylor expansion of 0 in x.re
0.997 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
0.998 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
0.999 * [taylor]: Taking taylor expansion of 0 in x.re
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.999 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
1.000 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.000 * [taylor]: Taking taylor expansion of 0 in x.re
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re))
1.001 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.001 * [backup-simplify]: Simplify (* (* (* 3 x.im) x.re) x.im) into (* 3 (* (pow x.im 2) x.re))
1.001 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.001 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
1.001 * [taylor]: Taking taylor expansion of 3 in x.re
1.001 * [backup-simplify]: Simplify 3 into 3
1.001 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.001 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.001 * [taylor]: Taking taylor expansion of x.im in x.re
1.001 * [backup-simplify]: Simplify x.im into x.im
1.001 * [taylor]: Taking taylor expansion of x.re in x.re
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify 1 into 1
1.001 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
1.001 * [taylor]: Taking taylor expansion of 3 in x.im
1.001 * [backup-simplify]: Simplify 3 into 3
1.001 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.001 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.001 * [taylor]: Taking taylor expansion of x.im in x.im
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify 1 into 1
1.001 * [taylor]: Taking taylor expansion of x.re in x.im
1.001 * [backup-simplify]: Simplify x.re into x.re
1.001 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
1.001 * [taylor]: Taking taylor expansion of 3 in x.im
1.002 * [backup-simplify]: Simplify 3 into 3
1.002 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.002 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.002 * [taylor]: Taking taylor expansion of x.im in x.im
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [taylor]: Taking taylor expansion of x.re in x.im
1.002 * [backup-simplify]: Simplify x.re into x.re
1.002 * [backup-simplify]: Simplify (* 1 1) into 1
1.002 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.002 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re)
1.002 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
1.002 * [taylor]: Taking taylor expansion of 3 in x.re
1.002 * [backup-simplify]: Simplify 3 into 3
1.002 * [taylor]: Taking taylor expansion of x.re in x.re
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [backup-simplify]: Simplify (* 3 0) into 0
1.002 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.003 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0
1.003 * [taylor]: Taking taylor expansion of 0 in x.re
1.003 * [backup-simplify]: Simplify 0 into 0
1.003 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
1.004 * [backup-simplify]: Simplify 3 into 3
1.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.007 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0
1.007 * [taylor]: Taking taylor expansion of 0 in x.re
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
1.008 * [backup-simplify]: Simplify 0 into 0
1.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.011 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.011 * [taylor]: Taking taylor expansion of 0 in x.re
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re))
1.011 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 x.im)) (/ 1 x.re)) (/ 1 x.im)) into (/ 3 (* (pow x.im 2) x.re))
1.011 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.012 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
1.012 * [taylor]: Taking taylor expansion of 3 in x.re
1.012 * [backup-simplify]: Simplify 3 into 3
1.012 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.012 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.012 * [taylor]: Taking taylor expansion of x.im in x.re
1.012 * [backup-simplify]: Simplify x.im into x.im
1.012 * [taylor]: Taking taylor expansion of x.re in x.re
1.012 * [backup-simplify]: Simplify 0 into 0
1.012 * [backup-simplify]: Simplify 1 into 1
1.012 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.012 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.012 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.013 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.013 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2))
1.013 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
1.013 * [taylor]: Taking taylor expansion of 3 in x.im
1.013 * [backup-simplify]: Simplify 3 into 3
1.013 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.013 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.013 * [taylor]: Taking taylor expansion of x.im in x.im
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [taylor]: Taking taylor expansion of x.re in x.im
1.013 * [backup-simplify]: Simplify x.re into x.re
1.013 * [backup-simplify]: Simplify (* 1 1) into 1
1.013 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.014 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
1.014 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
1.014 * [taylor]: Taking taylor expansion of 3 in x.im
1.014 * [backup-simplify]: Simplify 3 into 3
1.014 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.014 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.014 * [taylor]: Taking taylor expansion of x.im in x.im
1.014 * [backup-simplify]: Simplify 0 into 0
1.014 * [backup-simplify]: Simplify 1 into 1
1.014 * [taylor]: Taking taylor expansion of x.re in x.im
1.014 * [backup-simplify]: Simplify x.re into x.re
1.014 * [backup-simplify]: Simplify (* 1 1) into 1
1.014 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.014 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re)
1.014 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
1.014 * [taylor]: Taking taylor expansion of 3 in x.re
1.014 * [backup-simplify]: Simplify 3 into 3
1.015 * [taylor]: Taking taylor expansion of x.re in x.re
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify 1 into 1
1.015 * [backup-simplify]: Simplify (/ 3 1) into 3
1.015 * [backup-simplify]: Simplify 3 into 3
1.016 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.016 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.016 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
1.016 * [taylor]: Taking taylor expansion of 0 in x.re
1.016 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.017 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.019 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.019 * [taylor]: Taking taylor expansion of 0 in x.re
1.019 * [backup-simplify]: Simplify 0 into 0
1.019 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.020 * [backup-simplify]: Simplify 0 into 0
1.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.022 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.022 * [taylor]: Taking taylor expansion of 0 in x.re
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.022 * [backup-simplify]: Simplify 0 into 0
1.023 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re))
1.023 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 (- x.im))) (/ 1 (- x.re))) (/ 1 (- x.im))) into (/ -3 (* (pow x.im 2) x.re))
1.023 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.023 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
1.023 * [taylor]: Taking taylor expansion of -3 in x.re
1.023 * [backup-simplify]: Simplify -3 into -3
1.023 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.023 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.023 * [taylor]: Taking taylor expansion of x.im in x.re
1.023 * [backup-simplify]: Simplify x.im into x.im
1.023 * [taylor]: Taking taylor expansion of x.re in x.re
1.023 * [backup-simplify]: Simplify 0 into 0
1.023 * [backup-simplify]: Simplify 1 into 1
1.023 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.023 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.023 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.023 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.024 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2))
1.024 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
1.024 * [taylor]: Taking taylor expansion of -3 in x.im
1.024 * [backup-simplify]: Simplify -3 into -3
1.024 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.024 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.024 * [taylor]: Taking taylor expansion of x.im in x.im
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.024 * [taylor]: Taking taylor expansion of x.re in x.im
1.024 * [backup-simplify]: Simplify x.re into x.re
1.024 * [backup-simplify]: Simplify (* 1 1) into 1
1.024 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.024 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
1.024 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
1.024 * [taylor]: Taking taylor expansion of -3 in x.im
1.024 * [backup-simplify]: Simplify -3 into -3
1.024 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.024 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.024 * [taylor]: Taking taylor expansion of x.im in x.im
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 1 into 1
1.024 * [taylor]: Taking taylor expansion of x.re in x.im
1.024 * [backup-simplify]: Simplify x.re into x.re
1.024 * [backup-simplify]: Simplify (* 1 1) into 1
1.024 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.024 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
1.025 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
1.025 * [taylor]: Taking taylor expansion of -3 in x.re
1.025 * [backup-simplify]: Simplify -3 into -3
1.025 * [taylor]: Taking taylor expansion of x.re in x.re
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 1 into 1
1.025 * [backup-simplify]: Simplify (/ -3 1) into -3
1.025 * [backup-simplify]: Simplify -3 into -3
1.025 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.026 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0
1.026 * [taylor]: Taking taylor expansion of 0 in x.re
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
1.026 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.027 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.027 * [taylor]: Taking taylor expansion of 0 in x.re
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.028 * [backup-simplify]: Simplify 0 into 0
1.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.029 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.029 * [taylor]: Taking taylor expansion of 0 in x.re
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re))
1.030 * * * [progress]: simplifying candidates
1.031 * [simplify]: Simplifying:
  (* (* 3 x.im) x.re)
  (* (* 3 x.im) x.re)
  (+ (+ (log 3) (log x.im)) (log x.re))
  (+ (log (* 3 x.im)) (log x.re))
  (log (* (* 3 x.im) x.re))
  (exp (* (* 3 x.im) x.re))
  (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))
  (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* 3 x.im) x.re)) (cbrt (* (* 3 x.im) x.re)))
  (cbrt (* (* 3 x.im) x.re))
  (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re))
  (sqrt (* (* 3 x.im) x.re))
  (sqrt (* (* 3 x.im) x.re))
  (* (* 3 x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* 3 x.im) (sqrt x.re))
  (* (* 3 x.im) 1)
  (* x.im x.re)
  (* (* (* 3 x.im) x.re) x.im)
  (* (* (* 3 x.im) x.re) x.im)
  (* (* (* 3 x.im) x.re) x.im)
  (+ (+ (+ (log 3) (log x.im)) (log x.re)) (log x.im))
  (+ (+ (log (* 3 x.im)) (log x.re)) (log x.im))
  (+ (log (* (* 3 x.im) x.re)) (log x.im))
  (log (* (* (* 3 x.im) x.re) x.im))
  (exp (* (* (* 3 x.im) x.re) x.im))
  (* (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))
  (* (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))
  (* (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* (* 3 x.im) x.re) x.im)) (cbrt (* (* (* 3 x.im) x.re) x.im)))
  (cbrt (* (* (* 3 x.im) x.re) x.im))
  (* (* (* (* (* 3 x.im) x.re) x.im) (* (* (* 3 x.im) x.re) x.im)) (* (* (* 3 x.im) x.re) x.im))
  (sqrt (* (* (* 3 x.im) x.re) x.im))
  (sqrt (* (* (* 3 x.im) x.re) x.im))
  (* (* (* 3 x.im) x.re) (* (cbrt x.im) (cbrt x.im)))
  (* (* (* 3 x.im) x.re) (sqrt x.im))
  (* (* (* 3 x.im) x.re) 1)
  (* x.re x.im)
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
1.031 * [simplify]: Sending expressions to egg_math:
 (* (* 3 h1) h0)
 (* (* 3 h1) h0)
 (+ (+ (log 3) (log h1)) (log h0))
 (+ (log (* 3 h1)) (log h0))
 (log (* (* 3 h1) h0))
 (exp (* (* 3 h1) h0))
 (* (* (* (* 3 3) 3) (* (* h1 h1) h1)) (* (* h0 h0) h0))
 (* (* (* (* 3 h1) (* 3 h1)) (* 3 h1)) (* (* h0 h0) h0))
 (* (cbrt (* (* 3 h1) h0)) (cbrt (* (* 3 h1) h0)))
 (cbrt (* (* 3 h1) h0))
 (* (* (* (* 3 h1) h0) (* (* 3 h1) h0)) (* (* 3 h1) h0))
 (sqrt (* (* 3 h1) h0))
 (sqrt (* (* 3 h1) h0))
 (* (* 3 h1) (* (cbrt h0) (cbrt h0)))
 (* (* 3 h1) (sqrt h0))
 (* (* 3 h1) 1)
 (* h1 h0)
 (* (* (* 3 h1) h0) h1)
 (* (* (* 3 h1) h0) h1)
 (* (* (* 3 h1) h0) h1)
 (+ (+ (+ (log 3) (log h1)) (log h0)) (log h1))
 (+ (+ (log (* 3 h1)) (log h0)) (log h1))
 (+ (log (* (* 3 h1) h0)) (log h1))
 (log (* (* (* 3 h1) h0) h1))
 (exp (* (* (* 3 h1) h0) h1))
 (* (* (* (* (* 3 3) 3) (* (* h1 h1) h1)) (* (* h0 h0) h0)) (* (* h1 h1) h1))
 (* (* (* (* (* 3 h1) (* 3 h1)) (* 3 h1)) (* (* h0 h0) h0)) (* (* h1 h1) h1))
 (* (* (* (* (* 3 h1) h0) (* (* 3 h1) h0)) (* (* 3 h1) h0)) (* (* h1 h1) h1))
 (* (cbrt (* (* (* 3 h1) h0) h1)) (cbrt (* (* (* 3 h1) h0) h1)))
 (cbrt (* (* (* 3 h1) h0) h1))
 (* (* (* (* (* 3 h1) h0) h1) (* (* (* 3 h1) h0) h1)) (* (* (* 3 h1) h0) h1))
 (sqrt (* (* (* 3 h1) h0) h1))
 (sqrt (* (* (* 3 h1) h0) h1))
 (* (* (* 3 h1) h0) (* (cbrt h1) (cbrt h1)))
 (* (* (* 3 h1) h0) (sqrt h1))
 (* (* (* 3 h1) h0) 1)
 (* h0 h1)
 (* 3 (* h1 h0))
 (* 3 (* h1 h0))
 (* 3 (* h1 h0))
 (* 3 (* (pow h1 2) h0))
 (* 3 (* (pow h1 2) h0))
 (* 3 (* (pow h1 2) h0))
1.063 * * * [progress]: adding candidates to table
1.158 * * [progress]: iteration 4 / 4
1.158 * * * [progress]: picking best candidate
1.171 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))))>
1.171 * * * [progress]: localizing error
1.188 * * * [progress]: generating rewritten candidates
1.188 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
1.254 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.401 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2)
1.421 * * * [progress]: generating series expansions
1.421 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
1.422 * [backup-simplify]: Simplify (* (cbrt 3) (* x.im (* x.re x.im))) into (* (cbrt 3) (* (pow x.im 2) x.re))
1.422 * [approximate]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.422 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.re
1.422 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.422 * [taylor]: Taking taylor expansion of 3 in x.re
1.422 * [backup-simplify]: Simplify 3 into 3
1.422 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.423 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.423 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.423 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.423 * [taylor]: Taking taylor expansion of x.im in x.re
1.423 * [backup-simplify]: Simplify x.im into x.im
1.423 * [taylor]: Taking taylor expansion of x.re in x.re
1.423 * [backup-simplify]: Simplify 0 into 0
1.423 * [backup-simplify]: Simplify 1 into 1
1.423 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.423 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.423 * [taylor]: Taking taylor expansion of 3 in x.im
1.423 * [backup-simplify]: Simplify 3 into 3
1.423 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.424 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.424 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.424 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.424 * [taylor]: Taking taylor expansion of x.im in x.im
1.424 * [backup-simplify]: Simplify 0 into 0
1.424 * [backup-simplify]: Simplify 1 into 1
1.424 * [taylor]: Taking taylor expansion of x.re in x.im
1.424 * [backup-simplify]: Simplify x.re into x.re
1.424 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.424 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.424 * [taylor]: Taking taylor expansion of 3 in x.im
1.424 * [backup-simplify]: Simplify 3 into 3
1.424 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.425 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.425 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.425 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.425 * [taylor]: Taking taylor expansion of x.im in x.im
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.425 * [taylor]: Taking taylor expansion of x.re in x.im
1.425 * [backup-simplify]: Simplify x.re into x.re
1.425 * [backup-simplify]: Simplify (* 1 1) into 1
1.425 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.425 * [backup-simplify]: Simplify (* (cbrt 3) x.re) into (* (cbrt 3) x.re)
1.425 * [taylor]: Taking taylor expansion of (* (cbrt 3) x.re) in x.re
1.425 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.425 * [taylor]: Taking taylor expansion of 3 in x.re
1.425 * [backup-simplify]: Simplify 3 into 3
1.426 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.426 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.426 * [taylor]: Taking taylor expansion of x.re in x.re
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify 1 into 1
1.426 * [backup-simplify]: Simplify (* (cbrt 3) 0) into 0
1.426 * [backup-simplify]: Simplify 0 into 0
1.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.427 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 x.re)) into 0
1.427 * [taylor]: Taking taylor expansion of 0 in x.re
1.428 * [backup-simplify]: Simplify 0 into 0
1.428 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify (+ (* (cbrt 3) 1) (* 0 0)) into (cbrt 3)
1.429 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.432 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 x.re))) into 0
1.432 * [taylor]: Taking taylor expansion of 0 in x.re
1.432 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.433 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 1) (* 0 0))) into 0
1.433 * [backup-simplify]: Simplify 0 into 0
1.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.435 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.436 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.436 * [taylor]: Taking taylor expansion of 0 in x.re
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify (* (cbrt 3) (* x.re (pow x.im 2))) into (* (cbrt 3) (* (pow x.im 2) x.re))
1.437 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im)))) into (/ (cbrt 3) (* (pow x.im 2) x.re))
1.437 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.437 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re
1.437 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.437 * [taylor]: Taking taylor expansion of 3 in x.re
1.437 * [backup-simplify]: Simplify 3 into 3
1.437 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.437 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.438 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.438 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.438 * [taylor]: Taking taylor expansion of x.im in x.re
1.438 * [backup-simplify]: Simplify x.im into x.im
1.438 * [taylor]: Taking taylor expansion of x.re in x.re
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.438 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.438 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.438 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.438 * [backup-simplify]: Simplify (/ (cbrt 3) (pow x.im 2)) into (/ (cbrt 3) (pow x.im 2))
1.439 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.439 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.439 * [taylor]: Taking taylor expansion of 3 in x.im
1.439 * [backup-simplify]: Simplify 3 into 3
1.439 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.439 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.439 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.439 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.439 * [taylor]: Taking taylor expansion of x.im in x.im
1.439 * [backup-simplify]: Simplify 0 into 0
1.439 * [backup-simplify]: Simplify 1 into 1
1.439 * [taylor]: Taking taylor expansion of x.re in x.im
1.439 * [backup-simplify]: Simplify x.re into x.re
1.440 * [backup-simplify]: Simplify (* 1 1) into 1
1.440 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.440 * [backup-simplify]: Simplify (/ (cbrt 3) x.re) into (/ (cbrt 3) x.re)
1.440 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.440 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.440 * [taylor]: Taking taylor expansion of 3 in x.im
1.440 * [backup-simplify]: Simplify 3 into 3
1.440 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.441 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.441 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.441 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.441 * [taylor]: Taking taylor expansion of x.im in x.im
1.441 * [backup-simplify]: Simplify 0 into 0
1.441 * [backup-simplify]: Simplify 1 into 1
1.441 * [taylor]: Taking taylor expansion of x.re in x.im
1.441 * [backup-simplify]: Simplify x.re into x.re
1.441 * [backup-simplify]: Simplify (* 1 1) into 1
1.441 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.441 * [backup-simplify]: Simplify (/ (cbrt 3) x.re) into (/ (cbrt 3) x.re)
1.441 * [taylor]: Taking taylor expansion of (/ (cbrt 3) x.re) in x.re
1.441 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.441 * [taylor]: Taking taylor expansion of 3 in x.re
1.441 * [backup-simplify]: Simplify 3 into 3
1.442 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.442 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.442 * [taylor]: Taking taylor expansion of x.re in x.re
1.442 * [backup-simplify]: Simplify 0 into 0
1.442 * [backup-simplify]: Simplify 1 into 1
1.445 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
1.445 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.446 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)))) into 0
1.446 * [taylor]: Taking taylor expansion of 0 in x.re
1.446 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.449 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.449 * [taylor]: Taking taylor expansion of 0 in x.re
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.453 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.453 * [taylor]: Taking taylor expansion of 0 in x.re
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* (cbrt 3) (* (pow x.im 2) x.re))
1.455 * [backup-simplify]: Simplify (* (cbrt 3) (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im))))) into (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re)))
1.456 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in (x.im x.re) around 0
1.456 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.re
1.456 * [taylor]: Taking taylor expansion of -1 in x.re
1.456 * [backup-simplify]: Simplify -1 into -1
1.456 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re
1.456 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.456 * [taylor]: Taking taylor expansion of 3 in x.re
1.456 * [backup-simplify]: Simplify 3 into 3
1.456 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.456 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.456 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.456 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.456 * [taylor]: Taking taylor expansion of x.im in x.re
1.456 * [backup-simplify]: Simplify x.im into x.im
1.456 * [taylor]: Taking taylor expansion of x.re in x.re
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 1 into 1
1.456 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.457 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.457 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.457 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.457 * [backup-simplify]: Simplify (/ (cbrt 3) (pow x.im 2)) into (/ (cbrt 3) (pow x.im 2))
1.457 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.im
1.457 * [taylor]: Taking taylor expansion of -1 in x.im
1.457 * [backup-simplify]: Simplify -1 into -1
1.457 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.457 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.457 * [taylor]: Taking taylor expansion of 3 in x.im
1.457 * [backup-simplify]: Simplify 3 into 3
1.458 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.458 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.458 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.458 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.458 * [taylor]: Taking taylor expansion of x.im in x.im
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify 1 into 1
1.458 * [taylor]: Taking taylor expansion of x.re in x.im
1.458 * [backup-simplify]: Simplify x.re into x.re
1.458 * [backup-simplify]: Simplify (* 1 1) into 1
1.458 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.459 * [backup-simplify]: Simplify (/ (cbrt 3) x.re) into (/ (cbrt 3) x.re)
1.459 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.im
1.459 * [taylor]: Taking taylor expansion of -1 in x.im
1.459 * [backup-simplify]: Simplify -1 into -1
1.459 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im
1.459 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.459 * [taylor]: Taking taylor expansion of 3 in x.im
1.459 * [backup-simplify]: Simplify 3 into 3
1.463 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.463 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.463 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.463 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.463 * [taylor]: Taking taylor expansion of x.im in x.im
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify 1 into 1
1.463 * [taylor]: Taking taylor expansion of x.re in x.im
1.463 * [backup-simplify]: Simplify x.re into x.re
1.464 * [backup-simplify]: Simplify (* 1 1) into 1
1.464 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.464 * [backup-simplify]: Simplify (/ (cbrt 3) x.re) into (/ (cbrt 3) x.re)
1.464 * [backup-simplify]: Simplify (* -1 (/ (cbrt 3) x.re)) into (* -1 (/ (cbrt 3) x.re))
1.464 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) x.re)) in x.re
1.464 * [taylor]: Taking taylor expansion of -1 in x.re
1.464 * [backup-simplify]: Simplify -1 into -1
1.464 * [taylor]: Taking taylor expansion of (/ (cbrt 3) x.re) in x.re
1.464 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.464 * [taylor]: Taking taylor expansion of 3 in x.re
1.464 * [backup-simplify]: Simplify 3 into 3
1.465 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.465 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.465 * [taylor]: Taking taylor expansion of x.re in x.re
1.465 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify 1 into 1
1.466 * [backup-simplify]: Simplify (/ (cbrt 3) 1) into (cbrt 3)
1.466 * [backup-simplify]: Simplify (* -1 (cbrt 3)) into (* -1 (cbrt 3))
1.467 * [backup-simplify]: Simplify (* -1 (cbrt 3)) into (* -1 (cbrt 3))
1.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.468 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)))) into 0
1.468 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (cbrt 3) x.re))) into 0
1.468 * [taylor]: Taking taylor expansion of 0 in x.re
1.468 * [backup-simplify]: Simplify 0 into 0
1.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)))) into 0
1.469 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cbrt 3))) into 0
1.469 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.472 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.472 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (cbrt 3) x.re)))) into 0
1.472 * [taylor]: Taking taylor expansion of 0 in x.re
1.472 * [backup-simplify]: Simplify 0 into 0
1.473 * [backup-simplify]: Simplify 0 into 0
1.473 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.475 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
1.475 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.477 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ (cbrt 3) x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.478 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cbrt 3) x.re))))) into 0
1.478 * [taylor]: Taking taylor expansion of 0 in x.re
1.478 * [backup-simplify]: Simplify 0 into 0
1.478 * [backup-simplify]: Simplify 0 into 0
1.478 * [backup-simplify]: Simplify 0 into 0
1.479 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.481 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
1.481 * [backup-simplify]: Simplify 0 into 0
1.482 * [backup-simplify]: Simplify (* (* -1 (cbrt 3)) (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* (cbrt 3) (* (pow x.im 2) x.re))
1.483 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.485 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))) into (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re))
1.485 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.485 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re
1.485 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re
1.485 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.485 * [taylor]: Taking taylor expansion of 3 in x.re
1.485 * [backup-simplify]: Simplify 3 into 3
1.485 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.486 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.486 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.486 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.486 * [taylor]: Taking taylor expansion of x.im in x.re
1.486 * [backup-simplify]: Simplify x.im into x.im
1.486 * [taylor]: Taking taylor expansion of x.re in x.re
1.486 * [backup-simplify]: Simplify 0 into 0
1.486 * [backup-simplify]: Simplify 1 into 1
1.486 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.486 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.486 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.486 * [taylor]: Taking taylor expansion of 3 in x.im
1.486 * [backup-simplify]: Simplify 3 into 3
1.487 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.488 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.488 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.488 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.488 * [taylor]: Taking taylor expansion of x.im in x.im
1.488 * [backup-simplify]: Simplify 0 into 0
1.488 * [backup-simplify]: Simplify 1 into 1
1.488 * [taylor]: Taking taylor expansion of x.re in x.im
1.488 * [backup-simplify]: Simplify x.re into x.re
1.488 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.488 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.488 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.488 * [taylor]: Taking taylor expansion of 3 in x.im
1.488 * [backup-simplify]: Simplify 3 into 3
1.488 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.489 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.489 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.489 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.489 * [taylor]: Taking taylor expansion of x.im in x.im
1.489 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify 1 into 1
1.489 * [taylor]: Taking taylor expansion of x.re in x.im
1.489 * [backup-simplify]: Simplify x.re into x.re
1.491 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.493 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.493 * [backup-simplify]: Simplify (* 1 1) into 1
1.493 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.494 * [backup-simplify]: Simplify (* (pow (cbrt 3) 3) x.re) into (* 3 x.re)
1.494 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
1.494 * [taylor]: Taking taylor expansion of 3 in x.re
1.494 * [backup-simplify]: Simplify 3 into 3
1.494 * [taylor]: Taking taylor expansion of x.re in x.re
1.494 * [backup-simplify]: Simplify 0 into 0
1.494 * [backup-simplify]: Simplify 1 into 1
1.495 * [backup-simplify]: Simplify (* 3 0) into 0
1.495 * [backup-simplify]: Simplify 0 into 0
1.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.496 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.497 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
1.498 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
1.498 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (* 0 x.re)) into 0
1.499 * [taylor]: Taking taylor expansion of 0 in x.re
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
1.499 * [backup-simplify]: Simplify 3 into 3
1.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.504 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
1.505 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
1.506 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (* 0 x.re))) into 0
1.506 * [taylor]: Taking taylor expansion of 0 in x.re
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 0 into 0
1.507 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
1.507 * [backup-simplify]: Simplify 0 into 0
1.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.511 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.512 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
1.514 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
1.515 * [backup-simplify]: Simplify (+ (* (pow (cbrt 3) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.515 * [taylor]: Taking taylor expansion of 0 in x.re
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re))
1.517 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im))))) into (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))
1.517 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.517 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re
1.517 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re
1.517 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.517 * [taylor]: Taking taylor expansion of 3 in x.re
1.518 * [backup-simplify]: Simplify 3 into 3
1.518 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.519 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.519 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.519 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.519 * [taylor]: Taking taylor expansion of x.im in x.re
1.519 * [backup-simplify]: Simplify x.im into x.im
1.519 * [taylor]: Taking taylor expansion of x.re in x.re
1.519 * [backup-simplify]: Simplify 0 into 0
1.519 * [backup-simplify]: Simplify 1 into 1
1.520 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.522 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.522 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.522 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.522 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.523 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.524 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow x.im 2)) into (/ 3 (pow x.im 2))
1.524 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.524 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.524 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.524 * [taylor]: Taking taylor expansion of 3 in x.im
1.524 * [backup-simplify]: Simplify 3 into 3
1.525 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.525 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.525 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.525 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.525 * [taylor]: Taking taylor expansion of x.im in x.im
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of x.re in x.im
1.526 * [backup-simplify]: Simplify x.re into x.re
1.527 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.529 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.529 * [backup-simplify]: Simplify (* 1 1) into 1
1.529 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.530 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) x.re) into (/ 3 x.re)
1.530 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.530 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.530 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.530 * [taylor]: Taking taylor expansion of 3 in x.im
1.530 * [backup-simplify]: Simplify 3 into 3
1.531 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.531 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.531 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.531 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.531 * [taylor]: Taking taylor expansion of x.im in x.im
1.531 * [backup-simplify]: Simplify 0 into 0
1.532 * [backup-simplify]: Simplify 1 into 1
1.532 * [taylor]: Taking taylor expansion of x.re in x.im
1.532 * [backup-simplify]: Simplify x.re into x.re
1.533 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.535 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.535 * [backup-simplify]: Simplify (* 1 1) into 1
1.535 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.536 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) x.re) into (/ 3 x.re)
1.536 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
1.536 * [taylor]: Taking taylor expansion of 3 in x.re
1.536 * [backup-simplify]: Simplify 3 into 3
1.536 * [taylor]: Taking taylor expansion of x.re in x.re
1.536 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (/ 3 1) into 3
1.537 * [backup-simplify]: Simplify 3 into 3
1.538 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
1.539 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
1.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.540 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
1.540 * [taylor]: Taking taylor expansion of 0 in x.re
1.540 * [backup-simplify]: Simplify 0 into 0
1.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify 0 into 0
1.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.543 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
1.545 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
1.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.547 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.547 * [taylor]: Taking taylor expansion of 0 in x.re
1.547 * [backup-simplify]: Simplify 0 into 0
1.547 * [backup-simplify]: Simplify 0 into 0
1.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.548 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.550 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
1.552 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
1.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.554 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.554 * [taylor]: Taking taylor expansion of 0 in x.re
1.554 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify 0 into 0
1.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.556 * [backup-simplify]: Simplify 0 into 0
1.556 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re))
1.558 * [backup-simplify]: Simplify (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im)))))) into (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)))
1.558 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in (x.im x.re) around 0
1.558 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re
1.558 * [taylor]: Taking taylor expansion of -1 in x.re
1.558 * [backup-simplify]: Simplify -1 into -1
1.558 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re
1.558 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re
1.558 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re
1.558 * [taylor]: Taking taylor expansion of 3 in x.re
1.558 * [backup-simplify]: Simplify 3 into 3
1.559 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.559 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.559 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.559 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.559 * [taylor]: Taking taylor expansion of x.im in x.re
1.559 * [backup-simplify]: Simplify x.im into x.im
1.559 * [taylor]: Taking taylor expansion of x.re in x.re
1.559 * [backup-simplify]: Simplify 0 into 0
1.559 * [backup-simplify]: Simplify 1 into 1
1.561 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.563 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.563 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.563 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.563 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.564 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.565 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) (pow x.im 2)) into (/ 3 (pow x.im 2))
1.565 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.im
1.565 * [taylor]: Taking taylor expansion of -1 in x.im
1.565 * [backup-simplify]: Simplify -1 into -1
1.565 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.565 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.565 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.565 * [taylor]: Taking taylor expansion of 3 in x.im
1.565 * [backup-simplify]: Simplify 3 into 3
1.565 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.566 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.566 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.566 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.566 * [taylor]: Taking taylor expansion of x.im in x.im
1.566 * [backup-simplify]: Simplify 0 into 0
1.566 * [backup-simplify]: Simplify 1 into 1
1.566 * [taylor]: Taking taylor expansion of x.re in x.im
1.566 * [backup-simplify]: Simplify x.re into x.re
1.567 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.569 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.570 * [backup-simplify]: Simplify (* 1 1) into 1
1.570 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.571 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) x.re) into (/ 3 x.re)
1.571 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.im
1.571 * [taylor]: Taking taylor expansion of -1 in x.im
1.571 * [backup-simplify]: Simplify -1 into -1
1.571 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im
1.571 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im
1.571 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im
1.571 * [taylor]: Taking taylor expansion of 3 in x.im
1.571 * [backup-simplify]: Simplify 3 into 3
1.571 * [backup-simplify]: Simplify (cbrt 3) into (cbrt 3)
1.572 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3))) into 0
1.572 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.572 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.572 * [taylor]: Taking taylor expansion of x.im in x.im
1.572 * [backup-simplify]: Simplify 0 into 0
1.572 * [backup-simplify]: Simplify 1 into 1
1.572 * [taylor]: Taking taylor expansion of x.re in x.im
1.572 * [backup-simplify]: Simplify x.re into x.re
1.573 * [backup-simplify]: Simplify (* (cbrt 3) (cbrt 3)) into (pow (cbrt 3) 2)
1.574 * [backup-simplify]: Simplify (* (cbrt 3) (pow (cbrt 3) 2)) into (pow (cbrt 3) 3)
1.574 * [backup-simplify]: Simplify (* 1 1) into 1
1.574 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.575 * [backup-simplify]: Simplify (/ (pow (cbrt 3) 3) x.re) into (/ 3 x.re)
1.575 * [backup-simplify]: Simplify (* -1 (/ 3 x.re)) into (/ -3 x.re)
1.575 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
1.575 * [taylor]: Taking taylor expansion of -3 in x.re
1.575 * [backup-simplify]: Simplify -3 into -3
1.575 * [taylor]: Taking taylor expansion of x.re in x.re
1.575 * [backup-simplify]: Simplify 0 into 0
1.575 * [backup-simplify]: Simplify 1 into 1
1.575 * [backup-simplify]: Simplify (/ -3 1) into -3
1.575 * [backup-simplify]: Simplify -3 into -3
1.576 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (cbrt 3))) into 0
1.576 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (* 0 (pow (cbrt 3) 2))) into 0
1.577 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.577 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.577 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0
1.578 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 3 x.re))) into 0
1.578 * [taylor]: Taking taylor expansion of 0 in x.re
1.578 * [backup-simplify]: Simplify 0 into 0
1.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
1.578 * [backup-simplify]: Simplify 0 into 0
1.579 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3))))) (* 3 (cbrt 3))) into 0
1.579 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (cbrt 3)))) into 0
1.580 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2)))) into 0
1.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.581 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.582 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 3 x.re)))) into 0
1.582 * [taylor]: Taking taylor expansion of 0 in x.re
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.582 * [backup-simplify]: Simplify 0 into 0
1.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3))) into 0
1.584 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3))))) into 0
1.585 * [backup-simplify]: Simplify (+ (* (cbrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3) 2))))) into 0
1.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.586 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.587 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 3 x.re))))) into 0
1.587 * [taylor]: Taking taylor expansion of 0 in x.re
1.587 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify 0 into 0
1.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.591 * [backup-simplify]: Simplify 0 into 0
1.591 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re))
1.591 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2)
1.591 * [backup-simplify]: Simplify (* x.im (* x.re x.im)) into (* (pow x.im 2) x.re)
1.591 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.im x.re) around 0
1.591 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.592 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.592 * [taylor]: Taking taylor expansion of x.im in x.re
1.592 * [backup-simplify]: Simplify x.im into x.im
1.592 * [taylor]: Taking taylor expansion of x.re in x.re
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.592 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.592 * [taylor]: Taking taylor expansion of x.im in x.im
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [taylor]: Taking taylor expansion of x.re in x.im
1.592 * [backup-simplify]: Simplify x.re into x.re
1.592 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.592 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.592 * [taylor]: Taking taylor expansion of x.im in x.im
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [taylor]: Taking taylor expansion of x.re in x.im
1.592 * [backup-simplify]: Simplify x.re into x.re
1.592 * [backup-simplify]: Simplify (* 1 1) into 1
1.592 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.592 * [taylor]: Taking taylor expansion of x.re in x.re
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.593 * [taylor]: Taking taylor expansion of 0 in x.re
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify 1 into 1
1.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.594 * [taylor]: Taking taylor expansion of 0 in x.re
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 0 into 0
1.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.596 * [taylor]: Taking taylor expansion of 0 in x.re
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify (* 1 (* x.re (pow x.im 2))) into (* (pow x.im 2) x.re)
1.596 * [backup-simplify]: Simplify (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im))) into (/ 1 (* (pow x.im 2) x.re))
1.596 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.596 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re
1.596 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.596 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.596 * [taylor]: Taking taylor expansion of x.im in x.re
1.596 * [backup-simplify]: Simplify x.im into x.im
1.596 * [taylor]: Taking taylor expansion of x.re in x.re
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 1 into 1
1.596 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.596 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.596 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.597 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.597 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2))
1.597 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im
1.597 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.597 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.597 * [taylor]: Taking taylor expansion of x.im in x.im
1.597 * [backup-simplify]: Simplify 0 into 0
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [taylor]: Taking taylor expansion of x.re in x.im
1.597 * [backup-simplify]: Simplify x.re into x.re
1.597 * [backup-simplify]: Simplify (* 1 1) into 1
1.597 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.597 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re)
1.597 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im
1.597 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.597 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.597 * [taylor]: Taking taylor expansion of x.im in x.im
1.597 * [backup-simplify]: Simplify 0 into 0
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [taylor]: Taking taylor expansion of x.re in x.im
1.597 * [backup-simplify]: Simplify x.re into x.re
1.598 * [backup-simplify]: Simplify (* 1 1) into 1
1.598 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.598 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re)
1.598 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re
1.598 * [taylor]: Taking taylor expansion of x.re in x.re
1.598 * [backup-simplify]: Simplify 0 into 0
1.598 * [backup-simplify]: Simplify 1 into 1
1.598 * [backup-simplify]: Simplify (/ 1 1) into 1
1.598 * [backup-simplify]: Simplify 1 into 1
1.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.599 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)))) into 0
1.599 * [taylor]: Taking taylor expansion of 0 in x.re
1.599 * [backup-simplify]: Simplify 0 into 0
1.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.599 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.600 * [taylor]: Taking taylor expansion of 0 in x.re
1.600 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify 0 into 0
1.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.601 * [backup-simplify]: Simplify 0 into 0
1.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.602 * [taylor]: Taking taylor expansion of 0 in x.re
1.602 * [backup-simplify]: Simplify 0 into 0
1.602 * [backup-simplify]: Simplify 0 into 0
1.602 * [backup-simplify]: Simplify 0 into 0
1.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.603 * [backup-simplify]: Simplify 0 into 0
1.603 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* (pow x.im 2) x.re)
1.603 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im)))) into (/ -1 (* (pow x.im 2) x.re))
1.603 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
1.603 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re
1.603 * [taylor]: Taking taylor expansion of -1 in x.re
1.603 * [backup-simplify]: Simplify -1 into -1
1.603 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
1.603 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
1.603 * [taylor]: Taking taylor expansion of x.im in x.re
1.604 * [backup-simplify]: Simplify x.im into x.im
1.604 * [taylor]: Taking taylor expansion of x.re in x.re
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify 1 into 1
1.604 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2)
1.604 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0
1.604 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0
1.604 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2)
1.604 * [backup-simplify]: Simplify (/ -1 (pow x.im 2)) into (/ -1 (pow x.im 2))
1.604 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im
1.604 * [taylor]: Taking taylor expansion of -1 in x.im
1.604 * [backup-simplify]: Simplify -1 into -1
1.604 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.604 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.604 * [taylor]: Taking taylor expansion of x.im in x.im
1.604 * [backup-simplify]: Simplify 0 into 0
1.604 * [backup-simplify]: Simplify 1 into 1
1.604 * [taylor]: Taking taylor expansion of x.re in x.im
1.604 * [backup-simplify]: Simplify x.re into x.re
1.605 * [backup-simplify]: Simplify (* 1 1) into 1
1.605 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.605 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re)
1.605 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im
1.605 * [taylor]: Taking taylor expansion of -1 in x.im
1.605 * [backup-simplify]: Simplify -1 into -1
1.605 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
1.605 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
1.605 * [taylor]: Taking taylor expansion of x.im in x.im
1.605 * [backup-simplify]: Simplify 0 into 0
1.605 * [backup-simplify]: Simplify 1 into 1
1.605 * [taylor]: Taking taylor expansion of x.re in x.im
1.605 * [backup-simplify]: Simplify x.re into x.re
1.605 * [backup-simplify]: Simplify (* 1 1) into 1
1.605 * [backup-simplify]: Simplify (* 1 x.re) into x.re
1.605 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re)
1.605 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re
1.605 * [taylor]: Taking taylor expansion of -1 in x.re
1.605 * [backup-simplify]: Simplify -1 into -1
1.605 * [taylor]: Taking taylor expansion of x.re in x.re
1.605 * [backup-simplify]: Simplify 0 into 0
1.605 * [backup-simplify]: Simplify 1 into 1
1.606 * [backup-simplify]: Simplify (/ -1 1) into -1
1.606 * [backup-simplify]: Simplify -1 into -1
1.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0
1.606 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)))) into 0
1.606 * [taylor]: Taking taylor expansion of 0 in x.re
1.606 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.607 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0
1.608 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.608 * [taylor]: Taking taylor expansion of 0 in x.re
1.608 * [backup-simplify]: Simplify 0 into 0
1.608 * [backup-simplify]: Simplify 0 into 0
1.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0
1.612 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
1.612 * [taylor]: Taking taylor expansion of 0 in x.re
1.612 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.613 * [backup-simplify]: Simplify 0 into 0
1.614 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* (pow x.im 2) x.re)
1.614 * * * [progress]: simplifying candidates
1.616 * [simplify]: Simplifying:
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (+ (log (cbrt 3)) (+ (log x.im) (+ (log x.re) (log x.im))))
  (+ (log (cbrt 3)) (+ (log x.im) (log (* x.re x.im))))
  (+ (log (cbrt 3)) (log (* x.im (* x.re x.im))))
  (log (* (cbrt 3) (* x.im (* x.re x.im))))
  (exp (* (cbrt 3) (* x.im (* x.re x.im))))
  (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))))
  (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))))
  (* 3 (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im))))
  (* (cbrt (* (cbrt 3) (* x.im (* x.re x.im)))) (cbrt (* (cbrt 3) (* x.im (* x.re x.im)))))
  (cbrt (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (* (cbrt 3) (* x.im (* x.re x.im))) (* (cbrt 3) (* x.im (* x.re x.im)))) (* (cbrt 3) (* x.im (* x.re x.im))))
  (sqrt (* (cbrt 3) (* x.im (* x.re x.im))))
  (sqrt (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (cbrt 3) x.im)
  (* (cbrt (cbrt 3)) (* x.im (* x.re x.im)))
  (* (cbrt (sqrt 3)) (* x.im (* x.re x.im)))
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (* (cbrt (cbrt 3)) (* x.im (* x.re x.im)))
  (* (sqrt (cbrt 3)) (* x.im (* x.re x.im)))
  (* (cbrt 3) (* x.im (* x.re x.im)))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log x.im) (+ (log x.re) (log x.im)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log x.im) (log (* x.re x.im)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* x.im (* x.re x.im)))))
  (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* x.im (* x.re x.im)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log x.im) (+ (log x.re) (log x.im)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log x.im) (log (* x.re x.im)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* x.im (* x.re x.im)))))
  (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* x.im (* x.re x.im)))))
  (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (* (* 3 3) (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))))
  (* (* 3 3) (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))))
  (* (* 3 3) (* 3 (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im)))))
  (* (* 3 3) (* (* (* (cbrt 3) (* x.im (* x.re x.im))) (* (cbrt 3) (* x.im (* x.re x.im)))) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* x.im (* x.re x.im))) (* (cbrt 3) (* x.im (* x.re x.im)))) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))))
  (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im))))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* x.im (* x.re x.im)))))
  (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
  (* (cbrt 3) (* (cbrt 3) (* x.im (* x.re x.im))))
  (* x.im (* x.re x.im))
  (* x.im (* x.re x.im))
  (+ (log x.im) (+ (log x.re) (log x.im)))
  (+ (log x.im) (log (* x.re x.im)))
  (log (* x.im (* x.re x.im)))
  (exp (* x.im (* x.re x.im)))
  (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))
  (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))
  (* (cbrt (* x.im (* x.re x.im))) (cbrt (* x.im (* x.re x.im))))
  (cbrt (* x.im (* x.re x.im)))
  (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im)))
  (sqrt (* x.im (* x.re x.im)))
  (sqrt (* x.im (* x.re x.im)))
  (* x.im x.re)
  (* (cbrt x.im) (* x.re x.im))
  (* (sqrt x.im) (* x.re x.im))
  (* x.im (* x.re x.im))
  (* (cbrt 3) (* (pow x.im 2) x.re))
  (* (cbrt 3) (* (pow x.im 2) x.re))
  (* (cbrt 3) (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* (pow x.im 2) x.re)
  (* (pow x.im 2) x.re)
  (* (pow x.im 2) x.re)
1.616 * [simplify]: Sending expressions to egg_math:
 (* (cbrt 3) (* h0 (* h1 h0)))
 (* (cbrt 3) (* h0 (* h1 h0)))
 (* (cbrt 3) (* h0 (* h1 h0)))
 (+ (log (cbrt 3)) (+ (log h0) (+ (log h1) (log h0))))
 (+ (log (cbrt 3)) (+ (log h0) (log (* h1 h0))))
 (+ (log (cbrt 3)) (log (* h0 (* h1 h0))))
 (log (* (cbrt 3) (* h0 (* h1 h0))))
 (exp (* (cbrt 3) (* h0 (* h1 h0))))
 (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0))))
 (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0))))
 (* 3 (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0))))
 (* (cbrt (* (cbrt 3) (* h0 (* h1 h0)))) (cbrt (* (cbrt 3) (* h0 (* h1 h0)))))
 (cbrt (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (* (cbrt 3) (* h0 (* h1 h0))) (* (cbrt 3) (* h0 (* h1 h0)))) (* (cbrt 3) (* h0 (* h1 h0))))
 (sqrt (* (cbrt 3) (* h0 (* h1 h0))))
 (sqrt (* (cbrt 3) (* h0 (* h1 h0))))
 (* (cbrt 3) h0)
 (* (cbrt (cbrt 3)) (* h0 (* h1 h0)))
 (* (cbrt (sqrt 3)) (* h0 (* h1 h0)))
 (* (cbrt 3) (* h0 (* h1 h0)))
 (* (cbrt (cbrt 3)) (* h0 (* h1 h0)))
 (* (sqrt (cbrt 3)) (* h0 (* h1 h0)))
 (* (cbrt 3) (* h0 (* h1 h0)))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))
 (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log h0) (+ (log h1) (log h0)))))
 (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log h0) (log (* h1 h0)))))
 (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* h0 (* h1 h0)))))
 (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* h0 (* h1 h0)))))
 (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log h0) (+ (log h1) (log h0)))))
 (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log h0) (log (* h1 h0)))))
 (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* h0 (* h1 h0)))))
 (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* h0 (* h1 h0)))))
 (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (* (* 3 3) (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))))
 (* (* 3 3) (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))))
 (* (* 3 3) (* 3 (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0)))))
 (* (* 3 3) (* (* (* (cbrt 3) (* h0 (* h1 h0))) (* (cbrt 3) (* h0 (* h1 h0)))) (* (cbrt 3) (* h0 (* h1 h0)))))
 (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))))
 (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))))
 (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0)))))
 (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* h0 (* h1 h0))) (* (cbrt 3) (* h0 (* h1 h0)))) (* (cbrt 3) (* h0 (* h1 h0)))))
 (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))))
 (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0))))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* h0 (* h1 h0)))))
 (* (* (cbrt 3) (cbrt 3)) (cbrt 3))
 (* (cbrt 3) (* (cbrt 3) (* h0 (* h1 h0))))
 (* h0 (* h1 h0))
 (* h0 (* h1 h0))
 (+ (log h0) (+ (log h1) (log h0)))
 (+ (log h0) (log (* h1 h0)))
 (log (* h0 (* h1 h0)))
 (exp (* h0 (* h1 h0)))
 (* (* (* h0 h0) h0) (* (* (* h1 h1) h1) (* (* h0 h0) h0)))
 (* (* (* h0 h0) h0) (* (* (* h1 h0) (* h1 h0)) (* h1 h0)))
 (* (cbrt (* h0 (* h1 h0))) (cbrt (* h0 (* h1 h0))))
 (cbrt (* h0 (* h1 h0)))
 (* (* (* h0 (* h1 h0)) (* h0 (* h1 h0))) (* h0 (* h1 h0)))
 (sqrt (* h0 (* h1 h0)))
 (sqrt (* h0 (* h1 h0)))
 (* h0 h1)
 (* (cbrt h0) (* h1 h0))
 (* (sqrt h0) (* h1 h0))
 (* h0 (* h1 h0))
 (* (cbrt 3) (* (pow h0 2) h1))
 (* (cbrt 3) (* (pow h0 2) h1))
 (* (cbrt 3) (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* 3 (* (pow h0 2) h1))
 (* (pow h0 2) h1)
 (* (pow h0 2) h1)
 (* (pow h0 2) h1)
1.669 * * * [progress]: adding candidates to table
1.871 * [progress]: [Phase 3 of 3] Extracting.
1.871 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 x.re) (pow x.im 2))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* x.im (* x.re x.im)))))> #<alt (λ (x.re x.im) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.im) x.re) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (* x.re x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt 3) (* (cbrt 3) (* (cbrt 3) (* x.im (* x.re x.im)))))))>)
1.873 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) x.im x.re)
1.873 * * * * [regimes]: Trying to branch on (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) from (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 x.re) (pow x.im 2))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* x.im (* x.re x.im)))))> #<alt (λ (x.re x.im) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.im) x.re) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (* x.re x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt 3) (* (cbrt 3) (* (cbrt 3) (* x.im (* x.re x.im)))))))>)
1.906 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 x.re) (pow x.im 2))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* x.im (* x.re x.im)))))> #<alt (λ (x.re x.im) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.im) x.re) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (* x.re x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt 3) (* (cbrt 3) (* (cbrt 3) (* x.im (* x.re x.im)))))))>)
1.938 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 x.re) (pow x.im 2))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* x.im (* x.re x.im)))))> #<alt (λ (x.re x.im) (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.im) x.re) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (* x.re x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt 3) (* (cbrt 3) (* (cbrt 3) (* x.im (* x.re x.im)))))))>)
1.978 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.978 * [simplify]: Simplifying:
  (- (pow x.re 3) (* 3 (* x.im (* x.re x.im))))
1.978 * [simplify]: Sending expressions to egg_math:
 (- (pow h1 3) (* 3 (* h0 (* h1 h0))))
4.719 * [regime-testing]: Baseline error score: 0.17519671209261728
4.723 * [regime-testing]: Oracle error score: 0.021377672209026127
4.731 * [regime-testing]: End program error score: 0.17519671209261728
4.750 * [regime-testing]: Target error score: 0.2468069789997186