5.364 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.040 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.041 * * [simplify]: iteration  1 :  20  enodes  (cost  19 )
0.044 * * [simplify]: iteration  2 :  53  enodes  (cost  17 )
0.054 * * [simplify]: iteration  3 :  134  enodes  (cost  17 )
0.095 * * [simplify]: iteration  4 :  320  enodes  (cost  12 )
0.223 * * [simplify]: iteration  5 :  669  enodes  (cost  11 )
0.625 * * [simplify]: iteration  6 :  1619  enodes  (cost  11 )
2.822 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
2.822 * [simplify]: Simplified to:
   (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))
2.827 * * [progress]: iteration 1 / 4
2.827 * * * [progress]: picking best candidate
2.831 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))>
2.831 * * * [progress]: localizing error
2.838 * * * [progress]: generating rewritten candidates
2.839 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.846 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
2.855 * * * [progress]: generating series expansions
2.855 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.855 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
2.855 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
2.855 * [taylor]: Taking taylor expansion of 3 in x.im
2.855 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.856 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.856 * [taylor]: Taking taylor expansion of x.im in x.im
2.856 * [taylor]: Taking taylor expansion of x.re in x.im
2.856 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
2.856 * [taylor]: Taking taylor expansion of 3 in x.re
2.856 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.856 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.856 * [taylor]: Taking taylor expansion of x.im in x.re
2.856 * [taylor]: Taking taylor expansion of x.re in x.re
2.856 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
2.856 * [taylor]: Taking taylor expansion of 3 in x.re
2.856 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.856 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.856 * [taylor]: Taking taylor expansion of x.im in x.re
2.856 * [taylor]: Taking taylor expansion of x.re in x.re
2.856 * [taylor]: Taking taylor expansion of 0 in x.im
2.856 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im
2.856 * [taylor]: Taking taylor expansion of 3 in x.im
2.856 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.856 * [taylor]: Taking taylor expansion of x.im in x.im
2.856 * [taylor]: Taking taylor expansion of 0 in x.im
2.857 * [taylor]: Taking taylor expansion of 0 in x.im
2.857 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
2.857 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
2.857 * [taylor]: Taking taylor expansion of 3 in x.im
2.857 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.857 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.857 * [taylor]: Taking taylor expansion of x.im in x.im
2.857 * [taylor]: Taking taylor expansion of x.re in x.im
2.857 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
2.857 * [taylor]: Taking taylor expansion of 3 in x.re
2.857 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.857 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.857 * [taylor]: Taking taylor expansion of x.im in x.re
2.857 * [taylor]: Taking taylor expansion of x.re in x.re
2.857 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
2.857 * [taylor]: Taking taylor expansion of 3 in x.re
2.857 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.858 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.858 * [taylor]: Taking taylor expansion of x.im in x.re
2.858 * [taylor]: Taking taylor expansion of x.re in x.re
2.858 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im
2.858 * [taylor]: Taking taylor expansion of 3 in x.im
2.858 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.858 * [taylor]: Taking taylor expansion of x.im in x.im
2.858 * [taylor]: Taking taylor expansion of 0 in x.im
2.859 * [taylor]: Taking taylor expansion of 0 in x.im
2.859 * [taylor]: Taking taylor expansion of 0 in x.im
2.860 * [taylor]: Taking taylor expansion of 0 in x.im
2.860 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
2.860 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
2.860 * [taylor]: Taking taylor expansion of -3 in x.im
2.860 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.860 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.860 * [taylor]: Taking taylor expansion of x.im in x.im
2.860 * [taylor]: Taking taylor expansion of x.re in x.im
2.860 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
2.860 * [taylor]: Taking taylor expansion of -3 in x.re
2.860 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.860 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.860 * [taylor]: Taking taylor expansion of x.im in x.re
2.860 * [taylor]: Taking taylor expansion of x.re in x.re
2.861 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
2.861 * [taylor]: Taking taylor expansion of -3 in x.re
2.861 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.861 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.861 * [taylor]: Taking taylor expansion of x.im in x.re
2.861 * [taylor]: Taking taylor expansion of x.re in x.re
2.861 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im
2.861 * [taylor]: Taking taylor expansion of -3 in x.im
2.861 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.861 * [taylor]: Taking taylor expansion of x.im in x.im
2.861 * [taylor]: Taking taylor expansion of 0 in x.im
2.862 * [taylor]: Taking taylor expansion of 0 in x.im
2.862 * [taylor]: Taking taylor expansion of 0 in x.im
2.863 * [taylor]: Taking taylor expansion of 0 in x.im
2.863 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
2.863 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.re x.im) around 0
2.863 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.863 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.863 * [taylor]: Taking taylor expansion of x.im in x.im
2.863 * [taylor]: Taking taylor expansion of x.re in x.im
2.863 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.863 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.863 * [taylor]: Taking taylor expansion of x.im in x.re
2.863 * [taylor]: Taking taylor expansion of x.re in x.re
2.863 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.863 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.863 * [taylor]: Taking taylor expansion of x.im in x.re
2.863 * [taylor]: Taking taylor expansion of x.re in x.re
2.863 * [taylor]: Taking taylor expansion of 0 in x.im
2.864 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.864 * [taylor]: Taking taylor expansion of x.im in x.im
2.864 * [taylor]: Taking taylor expansion of 0 in x.im
2.864 * [taylor]: Taking taylor expansion of 0 in x.im
2.864 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
2.864 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im
2.864 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.864 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.864 * [taylor]: Taking taylor expansion of x.im in x.im
2.864 * [taylor]: Taking taylor expansion of x.re in x.im
2.864 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re
2.864 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.864 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.864 * [taylor]: Taking taylor expansion of x.im in x.re
2.864 * [taylor]: Taking taylor expansion of x.re in x.re
2.865 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re
2.865 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.865 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.865 * [taylor]: Taking taylor expansion of x.im in x.re
2.865 * [taylor]: Taking taylor expansion of x.re in x.re
2.865 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im
2.865 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.865 * [taylor]: Taking taylor expansion of x.im in x.im
2.865 * [taylor]: Taking taylor expansion of 0 in x.im
2.866 * [taylor]: Taking taylor expansion of 0 in x.im
2.866 * [taylor]: Taking taylor expansion of 0 in x.im
2.867 * [taylor]: Taking taylor expansion of 0 in x.im
2.867 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
2.867 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im
2.867 * [taylor]: Taking taylor expansion of -1 in x.im
2.867 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
2.867 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.867 * [taylor]: Taking taylor expansion of x.im in x.im
2.867 * [taylor]: Taking taylor expansion of x.re in x.im
2.867 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re
2.867 * [taylor]: Taking taylor expansion of -1 in x.re
2.867 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.867 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.867 * [taylor]: Taking taylor expansion of x.im in x.re
2.867 * [taylor]: Taking taylor expansion of x.re in x.re
2.868 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re
2.868 * [taylor]: Taking taylor expansion of -1 in x.re
2.868 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
2.868 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
2.868 * [taylor]: Taking taylor expansion of x.im in x.re
2.868 * [taylor]: Taking taylor expansion of x.re in x.re
2.868 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 2)) in x.im
2.868 * [taylor]: Taking taylor expansion of -1 in x.im
2.868 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
2.868 * [taylor]: Taking taylor expansion of x.im in x.im
2.868 * [taylor]: Taking taylor expansion of 0 in x.im
2.869 * [taylor]: Taking taylor expansion of 0 in x.im
2.869 * [taylor]: Taking taylor expansion of 0 in x.im
2.870 * [taylor]: Taking taylor expansion of 0 in x.im
2.870 * * * [progress]: simplifying candidates
2.871 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3 (* (* x.re x.im) x.im))
  (* 3 (* (* x.re x.im) x.im))
  (* 3 (* (* x.re x.im) x.im))
  (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.im)))
  (+ (log 3) (+ (log (* x.re x.im)) (log x.im)))
  (+ (log 3) (log (* (* x.re x.im) x.im)))
  (log (* 3 (* (* x.re x.im) x.im)))
  (exp (* 3 (* (* x.re x.im) x.im)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im)))
  (* (cbrt (* 3 (* (* x.re x.im) x.im))) (cbrt (* 3 (* (* x.re x.im) x.im))))
  (cbrt (* 3 (* (* x.re x.im) x.im)))
  (* (* (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im))) (* 3 (* (* x.re x.im) x.im)))
  (sqrt (* 3 (* (* x.re x.im) x.im)))
  (sqrt (* 3 (* (* x.re x.im) x.im)))
  (* 3 (* x.re x.im))
  (* (cbrt 3) (* (* x.re x.im) x.im))
  (* (sqrt 3) (* (* x.re x.im) x.im))
  (* 3 (* (* x.re x.im) x.im))
  (* (* x.re x.im) x.im)
  (* (* x.re x.im) x.im)
  (+ (+ (log x.re) (log x.im)) (log x.im))
  (+ (log (* x.re x.im)) (log x.im))
  (log (* (* x.re x.im) x.im))
  (exp (* (* x.re 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)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im)))
  (cbrt (* (* x.re x.im) x.im))
  (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im))
  (sqrt (* (* x.re x.im) x.im))
  (sqrt (* (* x.re x.im) x.im))
  (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im)))
  (* (* x.re x.im) (sqrt x.im))
  (* (* x.re x.im) 1)
  (* x.im 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)
2.873 * * [simplify]: iteration  0 :  60  enodes  (cost  406 )
2.883 * * [simplify]: iteration  1 :  168  enodes  (cost  381 )
2.981 * * [simplify]: iteration  2 :  689  enodes  (cost  309 )
4.212 * * [simplify]: iteration  3 :  3142  enodes  (cost  309 )
5.916 * * [simplify]: iteration  done :  5000  enodes  (cost  309 )
5.916 * [simplify]: Simplified to:
   (* (pow x.im 2) (* 3 x.re))
  (* (pow x.im 2) (* 3 x.re))
  (* (pow x.im 2) (* 3 x.re))
  (log (* 3 (* (* x.re x.im) x.im)))
  (log (* 3 (* (* x.re x.im) x.im)))
  (log (* 3 (* (* x.re x.im) x.im)))
  (log (* 3 (* (* x.re x.im) x.im)))
  (exp (* 3 (* (* x.re x.im) x.im)))
  (pow (* 3 (* (* x.re x.im) x.im)) 3)
  (pow (* 3 (* (* x.re x.im) x.im)) 3)
  (pow (* 3 (* (* x.re x.im) x.im)) 3)
  (* (cbrt (* 3 (* (* x.re x.im) x.im))) (cbrt (* 3 (* (* x.re x.im) x.im))))
  (cbrt (* 3 (* (* x.re x.im) x.im)))
  (pow (* 3 (* (* x.re x.im) x.im)) 3)
  (sqrt (* 3 (* (* x.re x.im) x.im)))
  (sqrt (* 3 (* (* x.re x.im) x.im)))
  (* 3 (* x.re x.im))
  (* (cbrt 3) (* (* x.re x.im) x.im))
  (* (sqrt 3) (* (* x.re x.im) x.im))
  (* (pow x.im 2) (* 3 x.re))
  (* (* x.re x.im) x.im)
  (* (* x.re x.im) x.im)
  (log (* (* x.re x.im) x.im))
  (log (* (* x.re x.im) x.im))
  (log (* (* x.re x.im) x.im))
  (exp (* (* x.re x.im) x.im))
  (pow (* (* x.re x.im) x.im) 3)
  (pow (* (* x.re x.im) x.im) 3)
  (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im)))
  (cbrt (* (* x.re x.im) x.im))
  (pow (* (* x.re x.im) x.im) 3)
  (sqrt (* (* x.re x.im) x.im))
  (sqrt (* (* x.re x.im) x.im))
  (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im)))
  (* (* x.re x.im) (sqrt x.im))
  (* x.re x.im)
  (pow x.im 2)
  (* (pow x.im 2) (* 3 x.re))
  (* (pow x.im 2) (* 3 x.re))
  (* (pow x.im 2) (* 3 x.re))
  (* (* x.re x.im) x.im)
  (* (* x.re x.im) x.im)
  (* (* x.re x.im) x.im)
5.916 * * * [progress]: adding candidates to table
5.967 * * [progress]: iteration 2 / 4
5.967 * * * [progress]: picking best candidate
5.985 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))>
5.985 * * * [progress]: localizing error
5.995 * * * [progress]: generating rewritten candidates
5.995 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
6.000 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
6.009 * * * [progress]: generating series expansions
6.009 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
6.009 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0
6.009 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
6.009 * [taylor]: Taking taylor expansion of 3 in x.im
6.009 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.009 * [taylor]: Taking taylor expansion of x.im in x.im
6.009 * [taylor]: Taking taylor expansion of x.re in x.im
6.009 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
6.009 * [taylor]: Taking taylor expansion of 3 in x.re
6.009 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.009 * [taylor]: Taking taylor expansion of x.im in x.re
6.009 * [taylor]: Taking taylor expansion of x.re in x.re
6.009 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
6.009 * [taylor]: Taking taylor expansion of 3 in x.re
6.009 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.009 * [taylor]: Taking taylor expansion of x.im in x.re
6.009 * [taylor]: Taking taylor expansion of x.re in x.re
6.009 * [taylor]: Taking taylor expansion of 0 in x.im
6.009 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
6.009 * [taylor]: Taking taylor expansion of 3 in x.im
6.009 * [taylor]: Taking taylor expansion of x.im in x.im
6.010 * [taylor]: Taking taylor expansion of 0 in x.im
6.010 * [taylor]: Taking taylor expansion of 0 in x.im
6.010 * [taylor]: Taking taylor expansion of 0 in x.im
6.010 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
6.010 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.010 * [taylor]: Taking taylor expansion of 3 in x.im
6.010 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.010 * [taylor]: Taking taylor expansion of x.im in x.im
6.010 * [taylor]: Taking taylor expansion of x.re in x.im
6.010 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.010 * [taylor]: Taking taylor expansion of 3 in x.re
6.010 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.010 * [taylor]: Taking taylor expansion of x.im in x.re
6.010 * [taylor]: Taking taylor expansion of x.re in x.re
6.010 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.010 * [taylor]: Taking taylor expansion of 3 in x.re
6.010 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.010 * [taylor]: Taking taylor expansion of x.im in x.re
6.010 * [taylor]: Taking taylor expansion of x.re in x.re
6.011 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
6.011 * [taylor]: Taking taylor expansion of 3 in x.im
6.011 * [taylor]: Taking taylor expansion of x.im in x.im
6.011 * [taylor]: Taking taylor expansion of 0 in x.im
6.011 * [taylor]: Taking taylor expansion of 0 in x.im
6.011 * [taylor]: Taking taylor expansion of 0 in x.im
6.011 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
6.011 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.011 * [taylor]: Taking taylor expansion of 3 in x.im
6.011 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.011 * [taylor]: Taking taylor expansion of x.im in x.im
6.011 * [taylor]: Taking taylor expansion of x.re in x.im
6.012 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.012 * [taylor]: Taking taylor expansion of 3 in x.re
6.012 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.012 * [taylor]: Taking taylor expansion of x.im in x.re
6.012 * [taylor]: Taking taylor expansion of x.re in x.re
6.012 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.012 * [taylor]: Taking taylor expansion of 3 in x.re
6.012 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.012 * [taylor]: Taking taylor expansion of x.im in x.re
6.012 * [taylor]: Taking taylor expansion of x.re in x.re
6.012 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
6.012 * [taylor]: Taking taylor expansion of 3 in x.im
6.012 * [taylor]: Taking taylor expansion of x.im in x.im
6.012 * [taylor]: Taking taylor expansion of 0 in x.im
6.012 * [taylor]: Taking taylor expansion of 0 in x.im
6.012 * [taylor]: Taking taylor expansion of 0 in x.im
6.013 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
6.013 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
6.013 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
6.013 * [taylor]: Taking taylor expansion of 3 in x.im
6.013 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
6.013 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.013 * [taylor]: Taking taylor expansion of x.im in x.im
6.013 * [taylor]: Taking taylor expansion of x.re in x.im
6.013 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
6.013 * [taylor]: Taking taylor expansion of 3 in x.re
6.013 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.013 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.013 * [taylor]: Taking taylor expansion of x.im in x.re
6.013 * [taylor]: Taking taylor expansion of x.re in x.re
6.013 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
6.013 * [taylor]: Taking taylor expansion of 3 in x.re
6.013 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.013 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.013 * [taylor]: Taking taylor expansion of x.im in x.re
6.013 * [taylor]: Taking taylor expansion of x.re in x.re
6.013 * [taylor]: Taking taylor expansion of 0 in x.im
6.013 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im
6.013 * [taylor]: Taking taylor expansion of 3 in x.im
6.013 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.013 * [taylor]: Taking taylor expansion of x.im in x.im
6.014 * [taylor]: Taking taylor expansion of 0 in x.im
6.014 * [taylor]: Taking taylor expansion of 0 in x.im
6.014 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
6.014 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
6.014 * [taylor]: Taking taylor expansion of 3 in x.im
6.014 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
6.014 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.014 * [taylor]: Taking taylor expansion of x.im in x.im
6.014 * [taylor]: Taking taylor expansion of x.re in x.im
6.014 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
6.014 * [taylor]: Taking taylor expansion of 3 in x.re
6.014 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.014 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.014 * [taylor]: Taking taylor expansion of x.im in x.re
6.014 * [taylor]: Taking taylor expansion of x.re in x.re
6.015 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
6.015 * [taylor]: Taking taylor expansion of 3 in x.re
6.015 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.015 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.015 * [taylor]: Taking taylor expansion of x.im in x.re
6.015 * [taylor]: Taking taylor expansion of x.re in x.re
6.015 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im
6.015 * [taylor]: Taking taylor expansion of 3 in x.im
6.015 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.015 * [taylor]: Taking taylor expansion of x.im in x.im
6.015 * [taylor]: Taking taylor expansion of 0 in x.im
6.016 * [taylor]: Taking taylor expansion of 0 in x.im
6.016 * [taylor]: Taking taylor expansion of 0 in x.im
6.017 * [taylor]: Taking taylor expansion of 0 in x.im
6.017 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
6.017 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
6.017 * [taylor]: Taking taylor expansion of -3 in x.im
6.017 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
6.017 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.017 * [taylor]: Taking taylor expansion of x.im in x.im
6.017 * [taylor]: Taking taylor expansion of x.re in x.im
6.017 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
6.017 * [taylor]: Taking taylor expansion of -3 in x.re
6.017 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.017 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.017 * [taylor]: Taking taylor expansion of x.im in x.re
6.017 * [taylor]: Taking taylor expansion of x.re in x.re
6.018 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
6.018 * [taylor]: Taking taylor expansion of -3 in x.re
6.018 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
6.018 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
6.018 * [taylor]: Taking taylor expansion of x.im in x.re
6.018 * [taylor]: Taking taylor expansion of x.re in x.re
6.018 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im
6.018 * [taylor]: Taking taylor expansion of -3 in x.im
6.018 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
6.018 * [taylor]: Taking taylor expansion of x.im in x.im
6.018 * [taylor]: Taking taylor expansion of 0 in x.im
6.019 * [taylor]: Taking taylor expansion of 0 in x.im
6.019 * [taylor]: Taking taylor expansion of 0 in x.im
6.020 * [taylor]: Taking taylor expansion of 0 in x.im
6.020 * * * [progress]: simplifying candidates
6.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3 (* x.re x.im))
  (* 3 (* x.re x.im))
  (+ (log 3) (+ (log x.re) (log x.im)))
  (+ (log 3) (log (* x.re x.im)))
  (log (* 3 (* x.re x.im)))
  (exp (* 3 (* x.re x.im)))
  (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))
  (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))
  (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im))))
  (cbrt (* 3 (* x.re x.im)))
  (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im)))
  (sqrt (* 3 (* x.re x.im)))
  (sqrt (* 3 (* x.re x.im)))
  (* 3 x.re)
  (* (cbrt 3) (* x.re x.im))
  (* (sqrt 3) (* x.re x.im))
  (* 3 (* x.re x.im))
  (* (* 3 (* x.re x.im)) x.im)
  (* (* 3 (* x.re x.im)) x.im)
  (* (* 3 (* x.re x.im)) x.im)
  (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.im))
  (+ (+ (log 3) (log (* x.re x.im))) (log x.im))
  (+ (log (* 3 (* x.re x.im))) (log x.im))
  (log (* (* 3 (* x.re x.im)) x.im))
  (exp (* (* 3 (* x.re x.im)) x.im))
  (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.im x.im) x.im))
  (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.im x.im) x.im))
  (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.im x.im) x.im))
  (* (cbrt (* (* 3 (* x.re x.im)) x.im)) (cbrt (* (* 3 (* x.re x.im)) x.im)))
  (cbrt (* (* 3 (* x.re x.im)) x.im))
  (* (* (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im)) (* (* 3 (* x.re x.im)) x.im))
  (sqrt (* (* 3 (* x.re x.im)) x.im))
  (sqrt (* (* 3 (* x.re x.im)) x.im))
  (* (* 3 (* x.re x.im)) (* (cbrt x.im) (cbrt x.im)))
  (* (* 3 (* x.re x.im)) (sqrt x.im))
  (* (* 3 (* x.re x.im)) 1)
  (* (* x.re x.im) 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))
6.023 * * [simplify]: iteration  0 :  63  enodes  (cost  406 )
6.032 * * [simplify]: iteration  1 :  172  enodes  (cost  373 )
6.104 * * [simplify]: iteration  2 :  735  enodes  (cost  313 )
8.092 * * [simplify]: iteration  3 :  4001  enodes  (cost  309 )
9.655 * * [simplify]: iteration  done :  5000  enodes  (cost  309 )
9.655 * [simplify]: Simplified to:
   (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (log (* 3 (* x.re x.im)))
  (log (* 3 (* x.re x.im)))
  (log (* 3 (* x.re x.im)))
  (exp (* 3 (* x.re x.im)))
  (pow (* 3 (* x.im x.re)) 3)
  (pow (* 3 (* x.im x.re)) 3)
  (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im))))
  (cbrt (* 3 (* x.re x.im)))
  (pow (* 3 (* x.im x.re)) 3)
  (sqrt (* 3 (* x.re x.im)))
  (sqrt (* 3 (* x.re x.im)))
  (* 3 x.re)
  (* (cbrt 3) (* x.re x.im))
  (* (sqrt 3) (* x.re x.im))
  (* 3 (* x.im x.re))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (log (* 3 (* (pow x.im 2) x.re)))
  (log (* 3 (* (pow x.im 2) x.re)))
  (log (* 3 (* (pow x.im 2) x.re)))
  (log (* 3 (* (pow x.im 2) x.re)))
  (exp (* (* 3 (* x.re x.im)) x.im))
  (pow (* (* 3 (* x.re x.im)) x.im) 3)
  (pow (* (* 3 (* x.re x.im)) x.im) 3)
  (pow (* (* 3 (* x.re x.im)) x.im) 3)
  (* (cbrt (* (* 3 (* x.re x.im)) x.im)) (cbrt (* (* 3 (* x.re x.im)) x.im)))
  (cbrt (* (* 3 (* x.re x.im)) x.im))
  (pow (* (* 3 (* x.re x.im)) x.im) 3)
  (sqrt (* (* 3 (* x.re x.im)) x.im))
  (sqrt (* (* 3 (* x.re x.im)) x.im))
  (* (* 3 (* x.re x.im)) (* (cbrt x.im) (cbrt x.im)))
  (* (* 3 (* x.re x.im)) (sqrt x.im))
  (* 3 (* x.im x.re))
  (* (* x.re x.im) x.im)
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
9.655 * * * [progress]: adding candidates to table
9.704 * * [progress]: iteration 3 / 4
9.704 * * * [progress]: picking best candidate
9.721 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im))))>
9.722 * * * [progress]: localizing error
9.731 * * * [progress]: generating rewritten candidates
9.731 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
9.739 * * * [progress]: generating series expansions
9.739 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
9.739 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
9.739 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
9.739 * [taylor]: Taking taylor expansion of 3 in x.re
9.739 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
9.739 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
9.739 * [taylor]: Taking taylor expansion of x.im in x.re
9.739 * [taylor]: Taking taylor expansion of x.re in x.re
9.739 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
9.739 * [taylor]: Taking taylor expansion of 3 in x.im
9.739 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.739 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.739 * [taylor]: Taking taylor expansion of x.im in x.im
9.739 * [taylor]: Taking taylor expansion of x.re in x.im
9.739 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
9.739 * [taylor]: Taking taylor expansion of 3 in x.im
9.739 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.739 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.739 * [taylor]: Taking taylor expansion of x.im in x.im
9.739 * [taylor]: Taking taylor expansion of x.re in x.im
9.739 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
9.739 * [taylor]: Taking taylor expansion of 3 in x.re
9.739 * [taylor]: Taking taylor expansion of x.re in x.re
9.739 * [taylor]: Taking taylor expansion of 0 in x.re
9.740 * [taylor]: Taking taylor expansion of 0 in x.re
9.740 * [taylor]: Taking taylor expansion of 0 in x.re
9.740 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
9.740 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
9.740 * [taylor]: Taking taylor expansion of 3 in x.re
9.740 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
9.740 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
9.740 * [taylor]: Taking taylor expansion of x.im in x.re
9.740 * [taylor]: Taking taylor expansion of x.re in x.re
9.740 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
9.740 * [taylor]: Taking taylor expansion of 3 in x.im
9.740 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.740 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.741 * [taylor]: Taking taylor expansion of x.im in x.im
9.741 * [taylor]: Taking taylor expansion of x.re in x.im
9.741 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
9.741 * [taylor]: Taking taylor expansion of 3 in x.im
9.741 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.741 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.741 * [taylor]: Taking taylor expansion of x.im in x.im
9.741 * [taylor]: Taking taylor expansion of x.re in x.im
9.741 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
9.741 * [taylor]: Taking taylor expansion of 3 in x.re
9.741 * [taylor]: Taking taylor expansion of x.re in x.re
9.741 * [taylor]: Taking taylor expansion of 0 in x.re
9.741 * [taylor]: Taking taylor expansion of 0 in x.re
9.741 * [taylor]: Taking taylor expansion of 0 in x.re
9.742 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0
9.742 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
9.742 * [taylor]: Taking taylor expansion of -3 in x.re
9.742 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
9.742 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
9.742 * [taylor]: Taking taylor expansion of x.im in x.re
9.742 * [taylor]: Taking taylor expansion of x.re in x.re
9.742 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
9.742 * [taylor]: Taking taylor expansion of -3 in x.im
9.742 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.742 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.742 * [taylor]: Taking taylor expansion of x.im in x.im
9.742 * [taylor]: Taking taylor expansion of x.re in x.im
9.742 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
9.742 * [taylor]: Taking taylor expansion of -3 in x.im
9.742 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
9.742 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
9.742 * [taylor]: Taking taylor expansion of x.im in x.im
9.742 * [taylor]: Taking taylor expansion of x.re in x.im
9.742 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
9.742 * [taylor]: Taking taylor expansion of -3 in x.re
9.742 * [taylor]: Taking taylor expansion of x.re in x.re
9.743 * [taylor]: Taking taylor expansion of 0 in x.re
9.743 * [taylor]: Taking taylor expansion of 0 in x.re
9.743 * [taylor]: Taking taylor expansion of 0 in x.re
9.743 * * * [progress]: simplifying candidates
9.744 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (* (* x.im x.re) (* 3 x.im))
  (+ (+ (log x.im) (log x.re)) (+ (log 3) (log x.im)))
  (+ (+ (log x.im) (log x.re)) (log (* 3 x.im)))
  (+ (log (* x.im x.re)) (+ (log 3) (log x.im)))
  (+ (log (* x.im x.re)) (log (* 3 x.im)))
  (log (* (* x.im x.re) (* 3 x.im)))
  (exp (* (* x.im x.re) (* 3 x.im)))
  (* (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)) (* (* (* 3 3) 3) (* (* x.im x.im) x.im)))
  (* (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)) (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)))
  (* (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)) (* (* (* 3 3) 3) (* (* x.im x.im) x.im)))
  (* (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)) (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)))
  (* (cbrt (* (* x.im x.re) (* 3 x.im))) (cbrt (* (* x.im x.re) (* 3 x.im))))
  (cbrt (* (* x.im x.re) (* 3 x.im)))
  (* (* (* (* x.im x.re) (* 3 x.im)) (* (* x.im x.re) (* 3 x.im))) (* (* x.im x.re) (* 3 x.im)))
  (sqrt (* (* x.im x.re) (* 3 x.im)))
  (sqrt (* (* x.im x.re) (* 3 x.im)))
  (* (* x.im x.re) 3)
  (* x.re (* 3 x.im))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
9.745 * * [simplify]: iteration  0 :  46  enodes  (cost  271 )
9.753 * * [simplify]: iteration  1 :  138  enodes  (cost  253 )
9.828 * * [simplify]: iteration  2 :  512  enodes  (cost  193 )
10.347 * * [simplify]: iteration  3 :  2045  enodes  (cost  193 )
14.817 * * [simplify]: iteration  done :  5000  enodes  (cost  193 )
14.817 * [simplify]: Simplified to:
   (* 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))
  (log (* (* x.im x.re) (* 3 x.im)))
  (log (* (* x.im x.re) (* 3 x.im)))
  (log (* (* x.im x.re) (* 3 x.im)))
  (log (* (* x.im x.re) (* 3 x.im)))
  (log (* (* x.im x.re) (* 3 x.im)))
  (exp (* (* x.im x.re) (* 3 x.im)))
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (* (cbrt (* (* x.im x.re) (* 3 x.im))) (cbrt (* (* x.im x.re) (* 3 x.im))))
  (cbrt (* (* x.im x.re) (* 3 x.im)))
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (sqrt (* (* x.im x.re) (* 3 x.im)))
  (sqrt (* (* x.im x.re) (* 3 x.im)))
  (* (* x.im x.re) 3)
  (* (* x.im x.re) 3)
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
  (* 3 (* (pow x.im 2) x.re))
14.817 * * * [progress]: adding candidates to table
14.837 * * [progress]: iteration 4 / 4
14.837 * * * [progress]: picking best candidate
14.854 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))>
14.855 * * * [progress]: localizing error
14.862 * * * [progress]: generating rewritten candidates
14.862 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
14.867 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
14.876 * * * [progress]: generating series expansions
14.876 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
14.876 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0
14.876 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
14.876 * [taylor]: Taking taylor expansion of 3 in x.im
14.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
14.876 * [taylor]: Taking taylor expansion of x.im in x.im
14.876 * [taylor]: Taking taylor expansion of x.re in x.im
14.876 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
14.876 * [taylor]: Taking taylor expansion of 3 in x.re
14.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.876 * [taylor]: Taking taylor expansion of x.im in x.re
14.876 * [taylor]: Taking taylor expansion of x.re in x.re
14.876 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
14.876 * [taylor]: Taking taylor expansion of 3 in x.re
14.876 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.876 * [taylor]: Taking taylor expansion of x.im in x.re
14.876 * [taylor]: Taking taylor expansion of x.re in x.re
14.876 * [taylor]: Taking taylor expansion of 0 in x.im
14.876 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
14.876 * [taylor]: Taking taylor expansion of 3 in x.im
14.876 * [taylor]: Taking taylor expansion of x.im in x.im
14.876 * [taylor]: Taking taylor expansion of 0 in x.im
14.876 * [taylor]: Taking taylor expansion of 0 in x.im
14.877 * [taylor]: Taking taylor expansion of 0 in x.im
14.877 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
14.877 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
14.877 * [taylor]: Taking taylor expansion of 3 in x.im
14.877 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
14.877 * [taylor]: Taking taylor expansion of x.im in x.im
14.877 * [taylor]: Taking taylor expansion of x.re in x.im
14.877 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
14.877 * [taylor]: Taking taylor expansion of 3 in x.re
14.877 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.877 * [taylor]: Taking taylor expansion of x.im in x.re
14.877 * [taylor]: Taking taylor expansion of x.re in x.re
14.877 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
14.877 * [taylor]: Taking taylor expansion of 3 in x.re
14.877 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.877 * [taylor]: Taking taylor expansion of x.im in x.re
14.877 * [taylor]: Taking taylor expansion of x.re in x.re
14.877 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
14.877 * [taylor]: Taking taylor expansion of 3 in x.im
14.877 * [taylor]: Taking taylor expansion of x.im in x.im
14.877 * [taylor]: Taking taylor expansion of 0 in x.im
14.878 * [taylor]: Taking taylor expansion of 0 in x.im
14.878 * [taylor]: Taking taylor expansion of 0 in x.im
14.878 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0
14.878 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
14.878 * [taylor]: Taking taylor expansion of 3 in x.im
14.878 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
14.878 * [taylor]: Taking taylor expansion of x.im in x.im
14.878 * [taylor]: Taking taylor expansion of x.re in x.im
14.878 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
14.878 * [taylor]: Taking taylor expansion of 3 in x.re
14.878 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.878 * [taylor]: Taking taylor expansion of x.im in x.re
14.878 * [taylor]: Taking taylor expansion of x.re in x.re
14.878 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
14.878 * [taylor]: Taking taylor expansion of 3 in x.re
14.878 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
14.878 * [taylor]: Taking taylor expansion of x.im in x.re
14.878 * [taylor]: Taking taylor expansion of x.re in x.re
14.879 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
14.879 * [taylor]: Taking taylor expansion of 3 in x.im
14.879 * [taylor]: Taking taylor expansion of x.im in x.im
14.879 * [taylor]: Taking taylor expansion of 0 in x.im
14.879 * [taylor]: Taking taylor expansion of 0 in x.im
14.879 * [taylor]: Taking taylor expansion of 0 in x.im
14.879 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
14.879 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
14.879 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im
14.879 * [taylor]: Taking taylor expansion of 3 in x.im
14.879 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
14.879 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.879 * [taylor]: Taking taylor expansion of x.im in x.im
14.880 * [taylor]: Taking taylor expansion of x.re in x.im
14.880 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
14.880 * [taylor]: Taking taylor expansion of 3 in x.re
14.880 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.880 * [taylor]: Taking taylor expansion of x.im in x.re
14.880 * [taylor]: Taking taylor expansion of x.re in x.re
14.880 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re
14.880 * [taylor]: Taking taylor expansion of 3 in x.re
14.880 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.880 * [taylor]: Taking taylor expansion of x.im in x.re
14.880 * [taylor]: Taking taylor expansion of x.re in x.re
14.880 * [taylor]: Taking taylor expansion of 0 in x.im
14.880 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im
14.880 * [taylor]: Taking taylor expansion of 3 in x.im
14.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.880 * [taylor]: Taking taylor expansion of x.im in x.im
14.880 * [taylor]: Taking taylor expansion of 0 in x.im
14.881 * [taylor]: Taking taylor expansion of 0 in x.im
14.881 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
14.881 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im
14.881 * [taylor]: Taking taylor expansion of 3 in x.im
14.881 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
14.881 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.881 * [taylor]: Taking taylor expansion of x.im in x.im
14.881 * [taylor]: Taking taylor expansion of x.re in x.im
14.881 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
14.881 * [taylor]: Taking taylor expansion of 3 in x.re
14.881 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.881 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.881 * [taylor]: Taking taylor expansion of x.im in x.re
14.881 * [taylor]: Taking taylor expansion of x.re in x.re
14.881 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re
14.881 * [taylor]: Taking taylor expansion of 3 in x.re
14.881 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.881 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.881 * [taylor]: Taking taylor expansion of x.im in x.re
14.881 * [taylor]: Taking taylor expansion of x.re in x.re
14.882 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im
14.882 * [taylor]: Taking taylor expansion of 3 in x.im
14.882 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.882 * [taylor]: Taking taylor expansion of x.im in x.im
14.882 * [taylor]: Taking taylor expansion of 0 in x.im
14.882 * [taylor]: Taking taylor expansion of 0 in x.im
14.883 * [taylor]: Taking taylor expansion of 0 in x.im
14.884 * [taylor]: Taking taylor expansion of 0 in x.im
14.884 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0
14.884 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im
14.884 * [taylor]: Taking taylor expansion of -3 in x.im
14.884 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im
14.884 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.884 * [taylor]: Taking taylor expansion of x.im in x.im
14.884 * [taylor]: Taking taylor expansion of x.re in x.im
14.884 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
14.884 * [taylor]: Taking taylor expansion of -3 in x.re
14.884 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.884 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.884 * [taylor]: Taking taylor expansion of x.im in x.re
14.884 * [taylor]: Taking taylor expansion of x.re in x.re
14.884 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re
14.884 * [taylor]: Taking taylor expansion of -3 in x.re
14.884 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re
14.884 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re
14.884 * [taylor]: Taking taylor expansion of x.im in x.re
14.884 * [taylor]: Taking taylor expansion of x.re in x.re
14.885 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im
14.885 * [taylor]: Taking taylor expansion of -3 in x.im
14.885 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im
14.885 * [taylor]: Taking taylor expansion of x.im in x.im
14.885 * [taylor]: Taking taylor expansion of 0 in x.im
14.886 * [taylor]: Taking taylor expansion of 0 in x.im
14.886 * [taylor]: Taking taylor expansion of 0 in x.im
14.887 * [taylor]: Taking taylor expansion of 0 in x.im
14.887 * * * [progress]: simplifying candidates
14.887 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 3 x.re) x.im)
  (* (* 3 x.re) x.im)
  (+ (+ (log 3) (log x.re)) (log x.im))
  (+ (log (* 3 x.re)) (log x.im))
  (log (* (* 3 x.re) x.im))
  (exp (* (* 3 x.re) x.im))
  (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im))
  (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im)))
  (cbrt (* (* 3 x.re) x.im))
  (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im))
  (sqrt (* (* 3 x.re) x.im))
  (sqrt (* (* 3 x.re) x.im))
  (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im)))
  (* (* 3 x.re) (sqrt x.im))
  (* (* 3 x.re) 1)
  (* x.re x.im)
  (* (* (* 3 x.re) x.im) x.im)
  (* (* (* 3 x.re) x.im) x.im)
  (* (* (* 3 x.re) x.im) x.im)
  (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.im))
  (+ (+ (log (* 3 x.re)) (log x.im)) (log x.im))
  (+ (log (* (* 3 x.re) x.im)) (log x.im))
  (log (* (* (* 3 x.re) x.im) x.im))
  (exp (* (* (* 3 x.re) x.im) x.im))
  (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))
  (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))
  (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.im x.im) x.im))
  (* (cbrt (* (* (* 3 x.re) x.im) x.im)) (cbrt (* (* (* 3 x.re) x.im) x.im)))
  (cbrt (* (* (* 3 x.re) x.im) x.im))
  (* (* (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im)) (* (* (* 3 x.re) x.im) x.im))
  (sqrt (* (* (* 3 x.re) x.im) x.im))
  (sqrt (* (* (* 3 x.re) x.im) x.im))
  (* (* (* 3 x.re) x.im) (* (cbrt x.im) (cbrt x.im)))
  (* (* (* 3 x.re) x.im) (sqrt x.im))
  (* (* (* 3 x.re) x.im) 1)
  (* x.im 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))
14.889 * * [simplify]: iteration  0 :  61  enodes  (cost  407 )
14.899 * * [simplify]: iteration  1 :  170  enodes  (cost  376 )
15.018 * * [simplify]: iteration  2 :  806  enodes  (cost  314 )
16.460 * * [simplify]: iteration  3 :  3590  enodes  (cost  308 )
18.193 * * [simplify]: iteration  done :  5000  enodes  (cost  308 )
18.193 * [simplify]: Simplified to:
   (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (log (* (* 3 x.re) x.im))
  (log (* (* 3 x.re) x.im))
  (log (* (* 3 x.re) x.im))
  (exp (* (* 3 x.re) x.im))
  (* 27 (pow (* x.im x.re) 3))
  (* 27 (pow (* x.im x.re) 3))
  (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im)))
  (cbrt (* (* 3 x.re) x.im))
  (* 27 (pow (* x.im x.re) 3))
  (sqrt (* (* 3 x.re) x.im))
  (sqrt (* (* 3 x.re) x.im))
  (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im)))
  (* (* 3 x.re) (sqrt x.im))
  (* 3 x.re)
  (* x.im x.re)
  (* (* x.re (* x.im x.im)) 3)
  (* (* x.re (* x.im x.im)) 3)
  (* (* x.re (* x.im x.im)) 3)
  (log (* (* (* 3 x.re) x.im) x.im))
  (log (* (* (* 3 x.re) x.im) x.im))
  (log (* (* (* 3 x.re) x.im) x.im))
  (log (* (* (* 3 x.re) x.im) x.im))
  (exp (* (* (* 3 x.re) x.im) x.im))
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (* (cbrt (* (* (* 3 x.re) x.im) x.im)) (cbrt (* (* (* 3 x.re) x.im) x.im)))
  (cbrt (* (* (* 3 x.re) x.im) x.im))
  (pow (* 3 (* (pow x.im 2) x.re)) 3)
  (sqrt (* (* (* 3 x.re) x.im) x.im))
  (sqrt (* (* (* 3 x.re) x.im) x.im))
  (* (* (* 3 x.re) x.im) (* (cbrt x.im) (cbrt x.im)))
  (* (* (* 3 x.re) x.im) (sqrt x.im))
  (* 3 (* x.im x.re))
  (* x.im x.im)
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* (* x.re (* x.im x.im)) 3)
  (* (* x.re (* x.im x.im)) 3)
  (* (* x.re (* x.im x.im)) 3)
18.193 * * * [progress]: adding candidates to table
18.236 * [progress]: [Phase 3 of 3] Extracting.
18.236 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt (pow (* 3 (* x.im x.re)) 3)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (pow x.im 2) (* 3 x.re))))>)
18.237 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
18.237 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt (pow (* 3 (* x.im x.re)) 3)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (pow x.im 2) (* 3 x.re))))>)
18.289 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (- (pow x.re 3) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im))))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (cbrt (pow (* 3 (* x.im x.re)) 3)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im))))> #<alt (λ (x.re x.im) (- (pow x.re 3) (* (pow x.im 2) (* 3 x.re))))>)
18.341 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
18.341 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im)))
18.341 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
18.342 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
18.342 * * [simplify]: iteration  done :  11  enodes  (cost  11 )
18.342 * [simplify]: Simplified to:
   (- (pow x.re 3) (* (* x.im x.re) (* 3 x.im)))
20.255 * [regime-testing]: End program error score: 0.1756612435946621
20.323 * [regime-testing]: Target error score: 0.25686951494117044