12.602 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re))
0.027 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.029 * * [simplify]: iteration  1 :  23  enodes  (cost  17 )
0.032 * * [simplify]: iteration  2 :  54  enodes  (cost  16 )
0.042 * * [simplify]: iteration  3 :  118  enodes  (cost  16 )
0.062 * * [simplify]: iteration  4 :  282  enodes  (cost  11 )
0.116 * * [simplify]: iteration  5 :  648  enodes  (cost  11 )
0.260 * * [simplify]: iteration  6 :  1631  enodes  (cost  11 )
0.710 * * [simplify]: iteration  7 :  4560  enodes  (cost  11 )
1.901 * * [simplify]: iteration  done :  5000  enodes  (cost  11 )
1.901 * [simplify]: Simplified to:
   (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3))
1.904 * * [progress]: iteration 1 / 4
1.904 * * * [progress]: picking best candidate
1.907 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* 3 (* (* x.re x.im) x.re)) (pow x.im 3)))>
1.907 * * * [progress]: localizing error
1.914 * * * [progress]: generating rewritten candidates
1.914 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.935 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
1.943 * * * [progress]: generating series expansions
1.943 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.943 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
1.943 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
1.943 * [taylor]: Taking taylor expansion of 3 in x.im
1.943 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.943 * [taylor]: Taking taylor expansion of x.im in x.im
1.943 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.943 * [taylor]: Taking taylor expansion of x.re in x.im
1.943 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
1.943 * [taylor]: Taking taylor expansion of 3 in x.re
1.943 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.943 * [taylor]: Taking taylor expansion of x.im in x.re
1.943 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.943 * [taylor]: Taking taylor expansion of x.re in x.re
1.943 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
1.943 * [taylor]: Taking taylor expansion of 3 in x.re
1.943 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.943 * [taylor]: Taking taylor expansion of x.im in x.re
1.943 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.943 * [taylor]: Taking taylor expansion of x.re in x.re
1.944 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im
1.944 * [taylor]: Taking taylor expansion of 3 in x.im
1.944 * [taylor]: Taking taylor expansion of x.im in x.im
1.945 * [taylor]: Taking taylor expansion of 0 in x.im
1.947 * [taylor]: Taking taylor expansion of 0 in x.im
1.949 * [taylor]: Taking taylor expansion of 0 in x.im
1.950 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
1.950 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
1.950 * [taylor]: Taking taylor expansion of 3 in x.im
1.950 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.950 * [taylor]: Taking taylor expansion of x.im in x.im
1.950 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.950 * [taylor]: Taking taylor expansion of x.re in x.im
1.950 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
1.950 * [taylor]: Taking taylor expansion of 3 in x.re
1.950 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.950 * [taylor]: Taking taylor expansion of x.im in x.re
1.950 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.950 * [taylor]: Taking taylor expansion of x.re in x.re
1.951 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
1.951 * [taylor]: Taking taylor expansion of 3 in x.re
1.951 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.951 * [taylor]: Taking taylor expansion of x.im in x.re
1.951 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.951 * [taylor]: Taking taylor expansion of x.re in x.re
1.951 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im
1.951 * [taylor]: Taking taylor expansion of 3 in x.im
1.951 * [taylor]: Taking taylor expansion of x.im in x.im
1.952 * [taylor]: Taking taylor expansion of 0 in x.im
1.954 * [taylor]: Taking taylor expansion of 0 in x.im
1.955 * [taylor]: Taking taylor expansion of 0 in x.im
1.956 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0
1.956 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
1.956 * [taylor]: Taking taylor expansion of -3 in x.im
1.956 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.956 * [taylor]: Taking taylor expansion of x.im in x.im
1.956 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.956 * [taylor]: Taking taylor expansion of x.re in x.im
1.957 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
1.957 * [taylor]: Taking taylor expansion of -3 in x.re
1.957 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.957 * [taylor]: Taking taylor expansion of x.im in x.re
1.957 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.957 * [taylor]: Taking taylor expansion of x.re in x.re
1.957 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
1.957 * [taylor]: Taking taylor expansion of -3 in x.re
1.957 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.957 * [taylor]: Taking taylor expansion of x.im in x.re
1.957 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.957 * [taylor]: Taking taylor expansion of x.re in x.re
1.958 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im
1.958 * [taylor]: Taking taylor expansion of -3 in x.im
1.958 * [taylor]: Taking taylor expansion of x.im in x.im
1.959 * [taylor]: Taking taylor expansion of 0 in x.im
1.960 * [taylor]: Taking taylor expansion of 0 in x.im
1.962 * [taylor]: Taking taylor expansion of 0 in x.im
1.963 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
1.963 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0
1.963 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.963 * [taylor]: Taking taylor expansion of x.im in x.im
1.963 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.963 * [taylor]: Taking taylor expansion of x.re in x.im
1.963 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.963 * [taylor]: Taking taylor expansion of x.im in x.re
1.963 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.963 * [taylor]: Taking taylor expansion of x.re in x.re
1.963 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.963 * [taylor]: Taking taylor expansion of x.im in x.re
1.963 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.963 * [taylor]: Taking taylor expansion of x.re in x.re
1.963 * [taylor]: Taking taylor expansion of x.im in x.im
1.964 * [taylor]: Taking taylor expansion of 0 in x.im
1.965 * [taylor]: Taking taylor expansion of 0 in x.im
1.966 * [taylor]: Taking taylor expansion of 0 in x.im
1.966 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0
1.966 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im
1.966 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.966 * [taylor]: Taking taylor expansion of x.im in x.im
1.966 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.966 * [taylor]: Taking taylor expansion of x.re in x.im
1.967 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re
1.967 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.967 * [taylor]: Taking taylor expansion of x.im in x.re
1.967 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.967 * [taylor]: Taking taylor expansion of x.re in x.re
1.967 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re
1.967 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.967 * [taylor]: Taking taylor expansion of x.im in x.re
1.967 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.967 * [taylor]: Taking taylor expansion of x.re in x.re
1.968 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im
1.968 * [taylor]: Taking taylor expansion of x.im in x.im
1.969 * [taylor]: Taking taylor expansion of 0 in x.im
1.970 * [taylor]: Taking taylor expansion of 0 in x.im
1.972 * [taylor]: Taking taylor expansion of 0 in x.im
1.973 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0
1.973 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im
1.973 * [taylor]: Taking taylor expansion of -1 in x.im
1.973 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
1.973 * [taylor]: Taking taylor expansion of x.im in x.im
1.973 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
1.973 * [taylor]: Taking taylor expansion of x.re in x.im
1.973 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re
1.973 * [taylor]: Taking taylor expansion of -1 in x.re
1.973 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.973 * [taylor]: Taking taylor expansion of x.im in x.re
1.973 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.973 * [taylor]: Taking taylor expansion of x.re in x.re
1.974 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re
1.974 * [taylor]: Taking taylor expansion of -1 in x.re
1.974 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
1.974 * [taylor]: Taking taylor expansion of x.im in x.re
1.974 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
1.974 * [taylor]: Taking taylor expansion of x.re in x.re
1.974 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im
1.974 * [taylor]: Taking taylor expansion of -1 in x.im
1.974 * [taylor]: Taking taylor expansion of x.im in x.im
1.975 * [taylor]: Taking taylor expansion of 0 in x.im
1.977 * [taylor]: Taking taylor expansion of 0 in x.im
1.978 * [taylor]: Taking taylor expansion of 0 in x.im
1.979 * * * [progress]: simplifying candidates
1.980 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* 3 (* (* x.re x.im) x.re)))
  (log1p (* 3 (* (* x.re x.im) x.re)))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.re)))
  (+ (log 3) (+ (log (* x.re x.im)) (log x.re)))
  (+ (log 3) (log (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (exp (* 3 (* (* x.re x.im) x.re)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)))
  (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)))
  (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re))))
  (cbrt (* 3 (* (* x.re x.im) x.re)))
  (* (* (* 3 (* (* x.re x.im) x.re)) (* 3 (* (* x.re x.im) x.re))) (* 3 (* (* x.re x.im) x.re)))
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  (* 3 (* x.re x.im))
  (* (cbrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (expm1 (* (* x.re x.im) x.re))
  (log1p (* (* x.re x.im) x.re))
  (* (* x.re x.im) x.re)
  (* (* x.re x.im) x.re)
  (+ (+ (log x.re) (log x.im)) (log x.re))
  (+ (log (* x.re x.im)) (log x.re))
  (log (* (* x.re x.im) x.re))
  (exp (* (* x.re x.im) x.re))
  (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))
  (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re)))
  (cbrt (* (* x.re x.im) x.re))
  (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.re x.im) (sqrt x.re))
  (* (* x.re x.im) 1)
  (* x.im x.re)
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
1.982 * * [simplify]: iteration  0 :  65  enodes  (cost  434 )
1.994 * * [simplify]: iteration  1 :  173  enodes  (cost  409 )
2.038 * * [simplify]: iteration  2 :  727  enodes  (cost  337 )
2.389 * * [simplify]: iteration  3 :  4116  enodes  (cost  337 )
6.087 * * [simplify]: iteration  done :  5001  enodes  (cost  337 )
6.087 * [simplify]: Simplified to:
   (expm1 (* 3 (* (* x.re x.im) x.re)))
  (log1p (* 3 (* (* x.re x.im) x.re)))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (exp (* 3 (* (* x.re x.im) x.re)))
  (* (pow (* x.im (pow x.re 2)) 3) 27)
  (* (pow (* x.im (pow x.re 2)) 3) 27)
  (* (pow (* x.im (pow x.re 2)) 3) 27)
  (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re))))
  (cbrt (* 3 (* (* x.re x.im) x.re)))
  (* (pow (* x.im (pow x.re 2)) 3) 27)
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  (* x.im (* 3 x.re))
  (* (cbrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (expm1 (* (* x.re x.im) x.re))
  (log1p (* (* x.re x.im) x.re))
  (* (* x.im x.re) x.re)
  (* (* x.im x.re) x.re)
  (log (* (* x.re x.im) x.re))
  (log (* (* x.re x.im) x.re))
  (log (* (* x.re x.im) x.re))
  (exp (* (* x.re x.im) x.re))
  (pow (* x.im (pow x.re 2)) 3)
  (pow (* x.im (pow x.re 2)) 3)
  (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re)))
  (cbrt (* (* x.re x.im) x.re))
  (pow (* x.im (pow x.re 2)) 3)
  (sqrt (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.re x.im) (sqrt x.re))
  (* x.im x.re)
  (* x.im x.re)
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* (* x.im x.re) x.re)
  (* (* x.im x.re) x.re)
  (* (* x.im x.re) x.re)
6.087 * * * [progress]: adding candidates to table
6.170 * * [progress]: iteration 2 / 4
6.170 * * * [progress]: picking best candidate
6.184 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3)))>
6.184 * * * [progress]: localizing error
6.191 * * * [progress]: generating rewritten candidates
6.191 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.197 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.216 * * * [progress]: generating series expansions
6.216 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.216 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0
6.216 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
6.216 * [taylor]: Taking taylor expansion of 3 in x.re
6.216 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.216 * [taylor]: Taking taylor expansion of x.im in x.re
6.216 * [taylor]: Taking taylor expansion of x.re in x.re
6.216 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
6.216 * [taylor]: Taking taylor expansion of 3 in x.im
6.216 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.216 * [taylor]: Taking taylor expansion of x.im in x.im
6.216 * [taylor]: Taking taylor expansion of x.re in x.im
6.216 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
6.216 * [taylor]: Taking taylor expansion of 3 in x.im
6.216 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.216 * [taylor]: Taking taylor expansion of x.im in x.im
6.216 * [taylor]: Taking taylor expansion of x.re in x.im
6.217 * [taylor]: Taking taylor expansion of 0 in x.re
6.217 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
6.218 * [taylor]: Taking taylor expansion of 3 in x.re
6.218 * [taylor]: Taking taylor expansion of x.re in x.re
6.219 * [taylor]: Taking taylor expansion of 0 in x.re
6.221 * [taylor]: Taking taylor expansion of 0 in x.re
6.223 * [taylor]: Taking taylor expansion of 0 in x.re
6.224 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
6.224 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.224 * [taylor]: Taking taylor expansion of 3 in x.re
6.224 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.224 * [taylor]: Taking taylor expansion of x.im in x.re
6.224 * [taylor]: Taking taylor expansion of x.re in x.re
6.224 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.224 * [taylor]: Taking taylor expansion of 3 in x.im
6.224 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.224 * [taylor]: Taking taylor expansion of x.im in x.im
6.224 * [taylor]: Taking taylor expansion of x.re in x.im
6.224 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.224 * [taylor]: Taking taylor expansion of 3 in x.im
6.224 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.224 * [taylor]: Taking taylor expansion of x.im in x.im
6.224 * [taylor]: Taking taylor expansion of x.re in x.im
6.225 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
6.225 * [taylor]: Taking taylor expansion of 3 in x.re
6.225 * [taylor]: Taking taylor expansion of x.re in x.re
6.226 * [taylor]: Taking taylor expansion of 0 in x.re
6.227 * [taylor]: Taking taylor expansion of 0 in x.re
6.229 * [taylor]: Taking taylor expansion of 0 in x.re
6.230 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
6.230 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.230 * [taylor]: Taking taylor expansion of 3 in x.re
6.230 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.230 * [taylor]: Taking taylor expansion of x.im in x.re
6.230 * [taylor]: Taking taylor expansion of x.re in x.re
6.230 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.230 * [taylor]: Taking taylor expansion of 3 in x.im
6.230 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.230 * [taylor]: Taking taylor expansion of x.im in x.im
6.230 * [taylor]: Taking taylor expansion of x.re in x.im
6.230 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.230 * [taylor]: Taking taylor expansion of 3 in x.im
6.230 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.230 * [taylor]: Taking taylor expansion of x.im in x.im
6.230 * [taylor]: Taking taylor expansion of x.re in x.im
6.231 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
6.231 * [taylor]: Taking taylor expansion of 3 in x.re
6.231 * [taylor]: Taking taylor expansion of x.re in x.re
6.232 * [taylor]: Taking taylor expansion of 0 in x.re
6.233 * [taylor]: Taking taylor expansion of 0 in x.re
6.235 * [taylor]: Taking taylor expansion of 0 in x.re
6.236 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
6.236 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.236 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
6.236 * [taylor]: Taking taylor expansion of 3 in x.re
6.236 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.236 * [taylor]: Taking taylor expansion of x.im in x.re
6.236 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.236 * [taylor]: Taking taylor expansion of x.re in x.re
6.236 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
6.236 * [taylor]: Taking taylor expansion of 3 in x.im
6.236 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.236 * [taylor]: Taking taylor expansion of x.im in x.im
6.236 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.236 * [taylor]: Taking taylor expansion of x.re in x.im
6.236 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
6.236 * [taylor]: Taking taylor expansion of 3 in x.im
6.236 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.236 * [taylor]: Taking taylor expansion of x.im in x.im
6.236 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.236 * [taylor]: Taking taylor expansion of x.re in x.im
6.237 * [taylor]: Taking taylor expansion of 0 in x.re
6.237 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
6.237 * [taylor]: Taking taylor expansion of 3 in x.re
6.237 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.237 * [taylor]: Taking taylor expansion of x.re in x.re
6.239 * [taylor]: Taking taylor expansion of 0 in x.re
6.242 * [taylor]: Taking taylor expansion of 0 in x.re
6.243 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.243 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
6.243 * [taylor]: Taking taylor expansion of 3 in x.re
6.243 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.243 * [taylor]: Taking taylor expansion of x.im in x.re
6.243 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.243 * [taylor]: Taking taylor expansion of x.re in x.re
6.243 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
6.243 * [taylor]: Taking taylor expansion of 3 in x.im
6.243 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.243 * [taylor]: Taking taylor expansion of x.im in x.im
6.243 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.243 * [taylor]: Taking taylor expansion of x.re in x.im
6.244 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
6.244 * [taylor]: Taking taylor expansion of 3 in x.im
6.244 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.244 * [taylor]: Taking taylor expansion of x.im in x.im
6.244 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.244 * [taylor]: Taking taylor expansion of x.re in x.im
6.244 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
6.244 * [taylor]: Taking taylor expansion of 3 in x.re
6.244 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.244 * [taylor]: Taking taylor expansion of x.re in x.re
6.246 * [taylor]: Taking taylor expansion of 0 in x.re
6.248 * [taylor]: Taking taylor expansion of 0 in x.re
6.252 * [taylor]: Taking taylor expansion of 0 in x.re
6.255 * [taylor]: Taking taylor expansion of 0 in x.re
6.256 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.256 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
6.256 * [taylor]: Taking taylor expansion of -3 in x.re
6.256 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.256 * [taylor]: Taking taylor expansion of x.im in x.re
6.256 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.256 * [taylor]: Taking taylor expansion of x.re in x.re
6.256 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
6.256 * [taylor]: Taking taylor expansion of -3 in x.im
6.256 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.256 * [taylor]: Taking taylor expansion of x.im in x.im
6.256 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.256 * [taylor]: Taking taylor expansion of x.re in x.im
6.257 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
6.257 * [taylor]: Taking taylor expansion of -3 in x.im
6.257 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.257 * [taylor]: Taking taylor expansion of x.im in x.im
6.257 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.257 * [taylor]: Taking taylor expansion of x.re in x.im
6.258 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re
6.258 * [taylor]: Taking taylor expansion of -3 in x.re
6.258 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.258 * [taylor]: Taking taylor expansion of x.re in x.re
6.259 * [taylor]: Taking taylor expansion of 0 in x.re
6.262 * [taylor]: Taking taylor expansion of 0 in x.re
6.265 * [taylor]: Taking taylor expansion of 0 in x.re
6.272 * [taylor]: Taking taylor expansion of 0 in x.re
6.272 * * * [progress]: simplifying candidates
6.273 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x.im (* 3 x.re)))
  (log1p (* x.im (* 3 x.re)))
  (* x.im (* 3 x.re))
  (* x.im (* 3 x.re))
  (+ (log x.im) (+ (log 3) (log x.re)))
  (+ (log x.im) (log (* 3 x.re)))
  (log (* x.im (* 3 x.re)))
  (exp (* x.im (* 3 x.re)))
  (* (* (* x.im x.im) 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)))
  (* (cbrt (* x.im (* 3 x.re))) (cbrt (* x.im (* 3 x.re))))
  (cbrt (* x.im (* 3 x.re)))
  (* (* (* x.im (* 3 x.re)) (* x.im (* 3 x.re))) (* x.im (* 3 x.re)))
  (sqrt (* x.im (* 3 x.re)))
  (sqrt (* x.im (* 3 x.re)))
  (* x.im 3)
  (* (cbrt x.im) (* 3 x.re))
  (* (sqrt x.im) (* 3 x.re))
  (* x.im (* 3 x.re))
  (expm1 (* (* x.im (* 3 x.re)) x.re))
  (log1p (* (* x.im (* 3 x.re)) x.re))
  (* (* x.im (* 3 x.re)) x.re)
  (* (* x.im (* 3 x.re)) x.re)
  (* (* x.im (* 3 x.re)) x.re)
  (+ (+ (log x.im) (+ (log 3) (log x.re))) (log x.re))
  (+ (+ (log x.im) (log (* 3 x.re))) (log x.re))
  (+ (log (* x.im (* 3 x.re))) (log x.re))
  (log (* (* x.im (* 3 x.re)) x.re))
  (exp (* (* x.im (* 3 x.re)) x.re))
  (* (* (* (* x.im x.im) x.im) (* (* (* 3 3) 3) (* (* x.re x.re) x.re))) (* (* x.re x.re) x.re))
  (* (* (* (* x.im x.im) x.im) (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re))) (* (* x.re x.re) x.re))
  (* (* (* (* x.im (* 3 x.re)) (* x.im (* 3 x.re))) (* x.im (* 3 x.re))) (* (* x.re x.re) x.re))
  (* (cbrt (* (* x.im (* 3 x.re)) x.re)) (cbrt (* (* x.im (* 3 x.re)) x.re)))
  (cbrt (* (* x.im (* 3 x.re)) x.re))
  (* (* (* (* x.im (* 3 x.re)) x.re) (* (* x.im (* 3 x.re)) x.re)) (* (* x.im (* 3 x.re)) x.re))
  (sqrt (* (* x.im (* 3 x.re)) x.re))
  (sqrt (* (* x.im (* 3 x.re)) x.re))
  (* (* x.im (* 3 x.re)) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.im (* 3 x.re)) (sqrt x.re))
  (* (* x.im (* 3 x.re)) 1)
  (* (* 3 x.re) x.re)
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
6.275 * * [simplify]: iteration  0 :  67  enodes  (cost  434 )
6.286 * * [simplify]: iteration  1 :  174  enodes  (cost  409 )
6.334 * * [simplify]: iteration  2 :  808  enodes  (cost  337 )
6.690 * * [simplify]: iteration  done :  5000  enodes  (cost  337 )
6.690 * [simplify]: Simplified to:
   (expm1 (* x.im (* 3 x.re)))
  (log1p (* x.im (* 3 x.re)))
  (* (* x.im x.re) 3)
  (* (* x.im x.re) 3)
  (log (* x.im (* 3 x.re)))
  (log (* x.im (* 3 x.re)))
  (log (* x.im (* 3 x.re)))
  (exp (* x.im (* 3 x.re)))
  (pow (* (* x.im x.re) 3) 3)
  (pow (* (* x.im x.re) 3) 3)
  (* (cbrt (* x.im (* 3 x.re))) (cbrt (* x.im (* 3 x.re))))
  (cbrt (* x.im (* 3 x.re)))
  (pow (* (* x.im x.re) 3) 3)
  (sqrt (* x.im (* 3 x.re)))
  (sqrt (* x.im (* 3 x.re)))
  (* 3 x.im)
  (* (cbrt x.im) (* 3 x.re))
  (* (sqrt x.im) (* 3 x.re))
  (* (* x.im x.re) 3)
  (expm1 (* (* x.im (* 3 x.re)) x.re))
  (log1p (* (* x.im (* 3 x.re)) x.re))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (log (* (* x.im (* 3 x.re)) x.re))
  (log (* (* x.im (* 3 x.re)) x.re))
  (log (* (* x.im (* 3 x.re)) x.re))
  (log (* (* x.im (* 3 x.re)) x.re))
  (exp (* (* x.im (* 3 x.re)) x.re))
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (* (cbrt (* (* x.im (* 3 x.re)) x.re)) (cbrt (* (* x.im (* 3 x.re)) x.re)))
  (cbrt (* (* x.im (* 3 x.re)) x.re))
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (sqrt (* (* x.im (* 3 x.re)) x.re))
  (sqrt (* (* x.im (* 3 x.re)) x.re))
  (* (* x.im (* 3 x.re)) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.im (* 3 x.re)) (sqrt x.re))
  (* (* x.im x.re) 3)
  (* (* 3 x.re) x.re)
  (* (* x.im x.re) 3)
  (* (* x.im x.re) 3)
  (* (* x.im x.re) 3)
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
6.690 * * * [progress]: adding candidates to table
6.784 * * [progress]: iteration 3 / 4
6.784 * * * [progress]: picking best candidate
6.798 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (* (* 3 x.im) x.re) x.re) (pow x.im 3)))>
6.798 * * * [progress]: localizing error
6.805 * * * [progress]: generating rewritten candidates
6.806 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.812 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.835 * * * [progress]: generating series expansions
6.835 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.835 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0
6.835 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re
6.835 * [taylor]: Taking taylor expansion of 3 in x.re
6.835 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.835 * [taylor]: Taking taylor expansion of x.im in x.re
6.835 * [taylor]: Taking taylor expansion of x.re in x.re
6.835 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
6.835 * [taylor]: Taking taylor expansion of 3 in x.im
6.835 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.835 * [taylor]: Taking taylor expansion of x.im in x.im
6.835 * [taylor]: Taking taylor expansion of x.re in x.im
6.835 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im
6.835 * [taylor]: Taking taylor expansion of 3 in x.im
6.835 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.835 * [taylor]: Taking taylor expansion of x.im in x.im
6.835 * [taylor]: Taking taylor expansion of x.re in x.im
6.836 * [taylor]: Taking taylor expansion of 0 in x.re
6.837 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
6.837 * [taylor]: Taking taylor expansion of 3 in x.re
6.837 * [taylor]: Taking taylor expansion of x.re in x.re
6.838 * [taylor]: Taking taylor expansion of 0 in x.re
6.840 * [taylor]: Taking taylor expansion of 0 in x.re
6.842 * [taylor]: Taking taylor expansion of 0 in x.re
6.843 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
6.843 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.843 * [taylor]: Taking taylor expansion of 3 in x.re
6.843 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.843 * [taylor]: Taking taylor expansion of x.im in x.re
6.843 * [taylor]: Taking taylor expansion of x.re in x.re
6.843 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.843 * [taylor]: Taking taylor expansion of 3 in x.im
6.843 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.843 * [taylor]: Taking taylor expansion of x.im in x.im
6.843 * [taylor]: Taking taylor expansion of x.re in x.im
6.843 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.843 * [taylor]: Taking taylor expansion of 3 in x.im
6.844 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.844 * [taylor]: Taking taylor expansion of x.im in x.im
6.844 * [taylor]: Taking taylor expansion of x.re in x.im
6.844 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
6.844 * [taylor]: Taking taylor expansion of 3 in x.re
6.844 * [taylor]: Taking taylor expansion of x.re in x.re
6.845 * [taylor]: Taking taylor expansion of 0 in x.re
6.846 * [taylor]: Taking taylor expansion of 0 in x.re
6.848 * [taylor]: Taking taylor expansion of 0 in x.re
6.849 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0
6.849 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re
6.849 * [taylor]: Taking taylor expansion of 3 in x.re
6.849 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
6.849 * [taylor]: Taking taylor expansion of x.im in x.re
6.849 * [taylor]: Taking taylor expansion of x.re in x.re
6.849 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.849 * [taylor]: Taking taylor expansion of 3 in x.im
6.849 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.849 * [taylor]: Taking taylor expansion of x.im in x.im
6.849 * [taylor]: Taking taylor expansion of x.re in x.im
6.849 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im
6.849 * [taylor]: Taking taylor expansion of 3 in x.im
6.850 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
6.850 * [taylor]: Taking taylor expansion of x.im in x.im
6.850 * [taylor]: Taking taylor expansion of x.re in x.im
6.850 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re
6.850 * [taylor]: Taking taylor expansion of 3 in x.re
6.850 * [taylor]: Taking taylor expansion of x.re in x.re
6.851 * [taylor]: Taking taylor expansion of 0 in x.re
6.852 * [taylor]: Taking taylor expansion of 0 in x.re
6.854 * [taylor]: Taking taylor expansion of 0 in x.re
6.855 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
6.855 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re
6.855 * [taylor]: Taking taylor expansion of 3 in x.re
6.855 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.855 * [taylor]: Taking taylor expansion of x.im in x.re
6.855 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.855 * [taylor]: Taking taylor expansion of x.re in x.re
6.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
6.855 * [taylor]: Taking taylor expansion of 3 in x.im
6.855 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.855 * [taylor]: Taking taylor expansion of x.im in x.im
6.855 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.855 * [taylor]: Taking taylor expansion of x.re in x.im
6.855 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im
6.855 * [taylor]: Taking taylor expansion of 3 in x.im
6.855 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.855 * [taylor]: Taking taylor expansion of x.im in x.im
6.855 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.855 * [taylor]: Taking taylor expansion of x.re in x.im
6.856 * [taylor]: Taking taylor expansion of 0 in x.re
6.856 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re
6.856 * [taylor]: Taking taylor expansion of 3 in x.re
6.856 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.856 * [taylor]: Taking taylor expansion of x.re in x.re
6.861 * [taylor]: Taking taylor expansion of 0 in x.re
6.864 * [taylor]: Taking taylor expansion of 0 in x.re
6.864 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.864 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re
6.864 * [taylor]: Taking taylor expansion of 3 in x.re
6.864 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.864 * [taylor]: Taking taylor expansion of x.im in x.re
6.864 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.864 * [taylor]: Taking taylor expansion of x.re in x.re
6.865 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
6.865 * [taylor]: Taking taylor expansion of 3 in x.im
6.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.865 * [taylor]: Taking taylor expansion of x.im in x.im
6.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.865 * [taylor]: Taking taylor expansion of x.re in x.im
6.865 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im
6.865 * [taylor]: Taking taylor expansion of 3 in x.im
6.865 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.865 * [taylor]: Taking taylor expansion of x.im in x.im
6.865 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.865 * [taylor]: Taking taylor expansion of x.re in x.im
6.866 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re
6.866 * [taylor]: Taking taylor expansion of 3 in x.re
6.866 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.866 * [taylor]: Taking taylor expansion of x.re in x.re
6.868 * [taylor]: Taking taylor expansion of 0 in x.re
6.870 * [taylor]: Taking taylor expansion of 0 in x.re
6.873 * [taylor]: Taking taylor expansion of 0 in x.re
6.877 * [taylor]: Taking taylor expansion of 0 in x.re
6.878 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0
6.878 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re
6.878 * [taylor]: Taking taylor expansion of -3 in x.re
6.878 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
6.878 * [taylor]: Taking taylor expansion of x.im in x.re
6.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.878 * [taylor]: Taking taylor expansion of x.re in x.re
6.878 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
6.878 * [taylor]: Taking taylor expansion of -3 in x.im
6.878 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.878 * [taylor]: Taking taylor expansion of x.im in x.im
6.878 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.878 * [taylor]: Taking taylor expansion of x.re in x.im
6.879 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im
6.879 * [taylor]: Taking taylor expansion of -3 in x.im
6.879 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
6.879 * [taylor]: Taking taylor expansion of x.im in x.im
6.879 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
6.879 * [taylor]: Taking taylor expansion of x.re in x.im
6.879 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re
6.879 * [taylor]: Taking taylor expansion of -3 in x.re
6.879 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
6.879 * [taylor]: Taking taylor expansion of x.re in x.re
6.881 * [taylor]: Taking taylor expansion of 0 in x.re
6.883 * [taylor]: Taking taylor expansion of 0 in x.re
6.887 * [taylor]: Taking taylor expansion of 0 in x.re
6.891 * [taylor]: Taking taylor expansion of 0 in x.re
6.891 * * * [progress]: simplifying candidates
6.891 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* 3 x.im) x.re))
  (log1p (* (* 3 x.im) x.re))
  (* (* 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)
  (expm1 (* (* (* 3 x.im) x.re) x.re))
  (log1p (* (* (* 3 x.im) x.re) x.re))
  (* (* (* 3 x.im) x.re) x.re)
  (* (* (* 3 x.im) x.re) x.re)
  (* (* (* 3 x.im) x.re) x.re)
  (+ (+ (+ (log 3) (log x.im)) (log x.re)) (log x.re))
  (+ (+ (log (* 3 x.im)) (log x.re)) (log x.re))
  (+ (log (* (* 3 x.im) x.re)) (log x.re))
  (log (* (* (* 3 x.im) x.re) x.re))
  (exp (* (* (* 3 x.im) x.re) x.re))
  (* (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re))
  (* (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re)) (* (* x.re x.re) x.re))
  (* (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re)))
  (cbrt (* (* (* 3 x.im) x.re) x.re))
  (* (* (* (* (* 3 x.im) x.re) x.re) (* (* (* 3 x.im) x.re) x.re)) (* (* (* 3 x.im) x.re) x.re))
  (sqrt (* (* (* 3 x.im) x.re) x.re))
  (sqrt (* (* (* 3 x.im) x.re) x.re))
  (* (* (* 3 x.im) x.re) (* (cbrt x.re) (cbrt x.re)))
  (* (* (* 3 x.im) x.re) (sqrt x.re))
  (* (* (* 3 x.im) x.re) 1)
  (* x.re x.re)
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im x.re))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
6.894 * * [simplify]: iteration  0 :  64  enodes  (cost  435 )
6.905 * * [simplify]: iteration  1 :  172  enodes  (cost  408 )
6.952 * * [simplify]: iteration  2 :  893  enodes  (cost  336 )
7.422 * * [simplify]: iteration  done :  5001  enodes  (cost  336 )
7.423 * [simplify]: Simplified to:
   (expm1 (* (* 3 x.im) x.re))
  (log1p (* (* 3 x.im) x.re))
  (* (* x.im 3) x.re)
  (* (* x.im 3) x.re)
  (log (* (* 3 x.im) x.re))
  (log (* (* 3 x.im) x.re))
  (log (* (* 3 x.im) x.re))
  (exp (* (* 3 x.im) x.re))
  (pow (* (* x.im 3) x.re) 3)
  (pow (* (* x.im 3) x.re) 3)
  (* (cbrt (* (* 3 x.im) x.re)) (cbrt (* (* 3 x.im) x.re)))
  (cbrt (* (* 3 x.im) x.re))
  (pow (* (* x.im 3) x.re) 3)
  (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)
  (* x.im x.re)
  (expm1 (* (* (* 3 x.im) x.re) x.re))
  (log1p (* (* (* 3 x.im) x.re) x.re))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (log (* 3 (* x.im (pow x.re 2))))
  (log (* 3 (* x.im (pow x.re 2))))
  (log (* 3 (* x.im (pow x.re 2))))
  (log (* 3 (* x.im (pow x.re 2))))
  (exp (* (* (* 3 x.im) x.re) x.re))
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re)))
  (cbrt (* (* (* 3 x.im) x.re) x.re))
  (pow (* 3 (* x.im (pow x.re 2))) 3)
  (sqrt (* (* (* 3 x.im) x.re) x.re))
  (sqrt (* (* (* 3 x.im) x.re) x.re))
  (* (* (* 3 x.im) x.re) (* (cbrt x.re) (cbrt x.re)))
  (* (* (* 3 x.im) x.re) (sqrt x.re))
  (* (* x.im 3) x.re)
  (pow x.re 2)
  (* (* x.im 3) x.re)
  (* (* x.im 3) x.re)
  (* (* x.im 3) x.re)
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
  (* 3 (* x.im (pow x.re 2)))
7.423 * * * [progress]: adding candidates to table
7.510 * * [progress]: iteration 4 / 4
7.510 * * * [progress]: picking best candidate
7.525 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))>
7.525 * * * [progress]: localizing error
7.534 * * * [progress]: generating rewritten candidates
7.534 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
7.553 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
7.607 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
7.618 * * * [progress]: generating series expansions
7.618 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
7.619 * [approximate]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.619 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.im
7.619 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.619 * [taylor]: Taking taylor expansion of 3 in x.im
7.620 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.620 * [taylor]: Taking taylor expansion of x.im in x.im
7.620 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.620 * [taylor]: Taking taylor expansion of x.re in x.im
7.620 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.620 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.620 * [taylor]: Taking taylor expansion of 3 in x.re
7.621 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.621 * [taylor]: Taking taylor expansion of x.im in x.re
7.621 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.621 * [taylor]: Taking taylor expansion of x.re in x.re
7.621 * [taylor]: Taking taylor expansion of (* (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.621 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.621 * [taylor]: Taking taylor expansion of 3 in x.re
7.621 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.621 * [taylor]: Taking taylor expansion of x.im in x.re
7.622 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.622 * [taylor]: Taking taylor expansion of x.re in x.re
7.622 * [taylor]: Taking taylor expansion of (* (sqrt 3) x.im) in x.im
7.622 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.622 * [taylor]: Taking taylor expansion of 3 in x.im
7.623 * [taylor]: Taking taylor expansion of x.im in x.im
7.624 * [taylor]: Taking taylor expansion of 0 in x.im
7.628 * [taylor]: Taking taylor expansion of 0 in x.im
7.632 * [taylor]: Taking taylor expansion of 0 in x.im
7.633 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.633 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im
7.633 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.633 * [taylor]: Taking taylor expansion of 3 in x.im
7.633 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.633 * [taylor]: Taking taylor expansion of x.im in x.im
7.633 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.633 * [taylor]: Taking taylor expansion of x.re in x.im
7.634 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.634 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.634 * [taylor]: Taking taylor expansion of 3 in x.re
7.635 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.635 * [taylor]: Taking taylor expansion of x.im in x.re
7.635 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.635 * [taylor]: Taking taylor expansion of x.re in x.re
7.636 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.636 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.636 * [taylor]: Taking taylor expansion of 3 in x.re
7.636 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.636 * [taylor]: Taking taylor expansion of x.im in x.re
7.636 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.636 * [taylor]: Taking taylor expansion of x.re in x.re
7.637 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im
7.637 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.637 * [taylor]: Taking taylor expansion of 3 in x.im
7.638 * [taylor]: Taking taylor expansion of x.im in x.im
7.640 * [taylor]: Taking taylor expansion of 0 in x.im
7.642 * [taylor]: Taking taylor expansion of 0 in x.im
7.645 * [taylor]: Taking taylor expansion of 0 in x.im
7.648 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in (x.re x.im) around 0
7.648 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.im
7.648 * [taylor]: Taking taylor expansion of -1 in x.im
7.648 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.im
7.648 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.648 * [taylor]: Taking taylor expansion of 3 in x.im
7.649 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.649 * [taylor]: Taking taylor expansion of x.im in x.im
7.649 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.649 * [taylor]: Taking taylor expansion of x.re in x.im
7.650 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re
7.650 * [taylor]: Taking taylor expansion of -1 in x.re
7.650 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.650 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.650 * [taylor]: Taking taylor expansion of 3 in x.re
7.650 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.650 * [taylor]: Taking taylor expansion of x.im in x.re
7.650 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.651 * [taylor]: Taking taylor expansion of x.re in x.re
7.651 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) (* x.im (pow x.re 2)))) in x.re
7.651 * [taylor]: Taking taylor expansion of -1 in x.re
7.651 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (* x.im (pow x.re 2))) in x.re
7.651 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.651 * [taylor]: Taking taylor expansion of 3 in x.re
7.652 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.652 * [taylor]: Taking taylor expansion of x.im in x.re
7.652 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.652 * [taylor]: Taking taylor expansion of x.re in x.re
7.653 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3) x.im)) in x.im
7.653 * [taylor]: Taking taylor expansion of -1 in x.im
7.653 * [taylor]: Taking taylor expansion of (/ (sqrt 3) x.im) in x.im
7.653 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.653 * [taylor]: Taking taylor expansion of 3 in x.im
7.654 * [taylor]: Taking taylor expansion of x.im in x.im
7.657 * [taylor]: Taking taylor expansion of 0 in x.im
7.661 * [taylor]: Taking taylor expansion of 0 in x.im
7.666 * [taylor]: Taking taylor expansion of 0 in x.im
7.669 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
7.669 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.669 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im
7.669 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.669 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.669 * [taylor]: Taking taylor expansion of 3 in x.im
7.670 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.670 * [taylor]: Taking taylor expansion of x.im in x.im
7.670 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.670 * [taylor]: Taking taylor expansion of x.re in x.im
7.670 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.670 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.670 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.670 * [taylor]: Taking taylor expansion of 3 in x.re
7.671 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.671 * [taylor]: Taking taylor expansion of x.im in x.re
7.671 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.671 * [taylor]: Taking taylor expansion of x.re in x.re
7.671 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.671 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.671 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.671 * [taylor]: Taking taylor expansion of 3 in x.re
7.672 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.672 * [taylor]: Taking taylor expansion of x.im in x.re
7.672 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.672 * [taylor]: Taking taylor expansion of x.re in x.re
7.674 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) x.im) in x.im
7.674 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.674 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.674 * [taylor]: Taking taylor expansion of 3 in x.im
7.674 * [taylor]: Taking taylor expansion of x.im in x.im
7.677 * [taylor]: Taking taylor expansion of 0 in x.im
7.683 * [taylor]: Taking taylor expansion of 0 in x.im
7.688 * [taylor]: Taking taylor expansion of 0 in x.im
7.690 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.690 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im
7.690 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.690 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.690 * [taylor]: Taking taylor expansion of 3 in x.im
7.690 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.690 * [taylor]: Taking taylor expansion of x.im in x.im
7.690 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.690 * [taylor]: Taking taylor expansion of x.re in x.im
7.692 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.692 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.692 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.692 * [taylor]: Taking taylor expansion of 3 in x.re
7.693 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.693 * [taylor]: Taking taylor expansion of x.im in x.re
7.693 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.693 * [taylor]: Taking taylor expansion of x.re in x.re
7.695 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.695 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.695 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.695 * [taylor]: Taking taylor expansion of 3 in x.re
7.696 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.696 * [taylor]: Taking taylor expansion of x.im in x.re
7.696 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.696 * [taylor]: Taking taylor expansion of x.re in x.re
7.697 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im
7.697 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.697 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.697 * [taylor]: Taking taylor expansion of 3 in x.im
7.698 * [taylor]: Taking taylor expansion of x.im in x.im
7.705 * [taylor]: Taking taylor expansion of 0 in x.im
7.709 * [taylor]: Taking taylor expansion of 0 in x.im
7.714 * [taylor]: Taking taylor expansion of 0 in x.im
7.718 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in (x.re x.im) around 0
7.718 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.im
7.718 * [taylor]: Taking taylor expansion of -1 in x.im
7.718 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.im
7.718 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.718 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.718 * [taylor]: Taking taylor expansion of 3 in x.im
7.719 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.719 * [taylor]: Taking taylor expansion of x.im in x.im
7.719 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.719 * [taylor]: Taking taylor expansion of x.re in x.im
7.721 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re
7.721 * [taylor]: Taking taylor expansion of -1 in x.re
7.721 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.721 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.721 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.721 * [taylor]: Taking taylor expansion of 3 in x.re
7.722 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.722 * [taylor]: Taking taylor expansion of x.im in x.re
7.722 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.722 * [taylor]: Taking taylor expansion of x.re in x.re
7.723 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2)))) in x.re
7.723 * [taylor]: Taking taylor expansion of -1 in x.re
7.723 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (* x.im (pow x.re 2))) in x.re
7.723 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.re
7.723 * [taylor]: Taking taylor expansion of (sqrt 3) in x.re
7.723 * [taylor]: Taking taylor expansion of 3 in x.re
7.724 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.724 * [taylor]: Taking taylor expansion of x.im in x.re
7.724 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.724 * [taylor]: Taking taylor expansion of x.re in x.re
7.726 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt 3) 2) x.im)) in x.im
7.727 * [taylor]: Taking taylor expansion of -1 in x.im
7.727 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) x.im) in x.im
7.727 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x.im
7.727 * [taylor]: Taking taylor expansion of (sqrt 3) in x.im
7.727 * [taylor]: Taking taylor expansion of 3 in x.im
7.727 * [taylor]: Taking taylor expansion of x.im in x.im
7.734 * [taylor]: Taking taylor expansion of 0 in x.im
7.739 * [taylor]: Taking taylor expansion of 0 in x.im
7.746 * [taylor]: Taking taylor expansion of 0 in x.im
7.750 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
7.751 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0
7.751 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.751 * [taylor]: Taking taylor expansion of x.im in x.im
7.751 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.751 * [taylor]: Taking taylor expansion of x.re in x.im
7.751 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.751 * [taylor]: Taking taylor expansion of x.im in x.re
7.751 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.751 * [taylor]: Taking taylor expansion of x.re in x.re
7.751 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.751 * [taylor]: Taking taylor expansion of x.im in x.re
7.751 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.751 * [taylor]: Taking taylor expansion of x.re in x.re
7.751 * [taylor]: Taking taylor expansion of x.im in x.im
7.752 * [taylor]: Taking taylor expansion of 0 in x.im
7.753 * [taylor]: Taking taylor expansion of 0 in x.im
7.754 * [taylor]: Taking taylor expansion of 0 in x.im
7.754 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.754 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im
7.754 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.754 * [taylor]: Taking taylor expansion of x.im in x.im
7.754 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.754 * [taylor]: Taking taylor expansion of x.re in x.im
7.755 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re
7.755 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.755 * [taylor]: Taking taylor expansion of x.im in x.re
7.755 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.755 * [taylor]: Taking taylor expansion of x.re in x.re
7.755 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re
7.755 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.755 * [taylor]: Taking taylor expansion of x.im in x.re
7.755 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.755 * [taylor]: Taking taylor expansion of x.re in x.re
7.756 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im
7.756 * [taylor]: Taking taylor expansion of x.im in x.im
7.757 * [taylor]: Taking taylor expansion of 0 in x.im
7.758 * [taylor]: Taking taylor expansion of 0 in x.im
7.760 * [taylor]: Taking taylor expansion of 0 in x.im
7.761 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0
7.761 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im
7.761 * [taylor]: Taking taylor expansion of -1 in x.im
7.761 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im
7.761 * [taylor]: Taking taylor expansion of x.im in x.im
7.761 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im
7.761 * [taylor]: Taking taylor expansion of x.re in x.im
7.761 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re
7.761 * [taylor]: Taking taylor expansion of -1 in x.re
7.761 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.761 * [taylor]: Taking taylor expansion of x.im in x.re
7.761 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.761 * [taylor]: Taking taylor expansion of x.re in x.re
7.762 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re
7.762 * [taylor]: Taking taylor expansion of -1 in x.re
7.762 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re
7.762 * [taylor]: Taking taylor expansion of x.im in x.re
7.762 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re
7.762 * [taylor]: Taking taylor expansion of x.re in x.re
7.762 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im
7.762 * [taylor]: Taking taylor expansion of -1 in x.im
7.762 * [taylor]: Taking taylor expansion of x.im in x.im
7.763 * [taylor]: Taking taylor expansion of 0 in x.im
7.765 * [taylor]: Taking taylor expansion of 0 in x.im
7.766 * [taylor]: Taking taylor expansion of 0 in x.im
7.767 * * * [progress]: simplifying candidates
7.768 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sqrt 3) (* (* x.re x.im) x.re)))
  (log1p (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (+ (log (sqrt 3)) (+ (+ (log x.re) (log x.im)) (log x.re)))
  (+ (log (sqrt 3)) (+ (log (* x.re x.im)) (log x.re)))
  (+ (log (sqrt 3)) (log (* (* x.re x.im) x.re)))
  (log (* (sqrt 3) (* (* x.re x.im) x.re)))
  (exp (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re)))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re)))
  (* (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))))
  (cbrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (* (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (sqrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (sqrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* x.re x.im))
  (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt (cbrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (expm1 (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (log1p (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (+ (log x.re) (log x.im)) (log x.re))))
  (+ (log (sqrt 3)) (+ (log (sqrt 3)) (+ (log (* x.re x.im)) (log x.re))))
  (+ (log (sqrt 3)) (+ (log (sqrt 3)) (log (* (* x.re x.im) x.re))))
  (+ (log (sqrt 3)) (log (* (sqrt 3) (* (* x.re x.im) x.re))))
  (log (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (exp (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))))
  (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (* (sqrt 3) (* (* x.re x.im) x.re)) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (* (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))))
  (cbrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (* (* (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))) (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (sqrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (sqrt (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))))
  (* (sqrt 3) (sqrt 3))
  (* (cbrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt (cbrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (expm1 (* (* x.re x.im) x.re))
  (log1p (* (* x.re x.im) x.re))
  (* (* x.re x.im) x.re)
  (* (* x.re x.im) x.re)
  (+ (+ (log x.re) (log x.im)) (log x.re))
  (+ (log (* x.re x.im)) (log x.re))
  (log (* (* x.re x.im) x.re))
  (exp (* (* x.re x.im) x.re))
  (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re))
  (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.re x.re) x.re))
  (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re)))
  (cbrt (* (* x.re x.im) x.re))
  (* (* (* (* x.re x.im) x.re) (* (* x.re x.im) x.re)) (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.re x.im) (sqrt x.re))
  (* (* x.re x.im) 1)
  (* x.im x.re)
  (* (sqrt 3) (* x.im (pow x.re 2)))
  (* (sqrt 3) (* x.im (pow x.re 2)))
  (* (sqrt 3) (* x.im (pow x.re 2)))
  (* (pow (sqrt 3) 2) (* x.im (pow x.re 2)))
  (* (pow (sqrt 3) 2) (* x.im (pow x.re 2)))
  (* (pow (sqrt 3) 2) (* x.im (pow x.re 2)))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
7.771 * * [simplify]: iteration  0 :  92  enodes  (cost  985 )
7.790 * * [simplify]: iteration  1 :  251  enodes  (cost  815 )
7.855 * * [simplify]: iteration  2 :  1130  enodes  (cost  651 )
8.355 * * [simplify]: iteration  done :  5001  enodes  (cost  651 )
8.356 * [simplify]: Simplified to:
   (expm1 (* (sqrt 3) (* (* x.re x.im) x.re)))
  (log1p (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (log (* (sqrt 3) (* (* x.re x.im) x.re)))
  (log (* (sqrt 3) (* (* x.re x.im) x.re)))
  (log (* (sqrt 3) (* (* x.re x.im) x.re)))
  (log (* (sqrt 3) (* (* x.re x.im) x.re)))
  (exp (* (sqrt 3) (* (* x.re x.im) x.re)))
  (pow (* (sqrt 3) (* x.im (pow x.re 2))) 3)
  (pow (* (sqrt 3) (* x.im (pow x.re 2))) 3)
  (pow (* (sqrt 3) (* x.im (pow x.re 2))) 3)
  (* (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))) (cbrt (* (sqrt 3) (* (* x.re x.im) x.re))))
  (cbrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (pow (* (sqrt 3) (* x.im (pow x.re 2))) 3)
  (sqrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (sqrt (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt 3) (* x.re x.im))
  (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt (cbrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt (sqrt 3)) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (expm1 (* 3 (* (* x.re x.im) x.re)))
  (log1p (* 3 (* (* x.re x.im) x.re)))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (log (* 3 (* (* x.re x.im) x.re)))
  (exp (* 3 (* (* x.re x.im) x.re)))
  (pow (* 3 (* (* x.re x.im) x.re)) 3)
  (pow (* 3 (* (* x.re x.im) x.re)) 3)
  (pow (* 3 (* (* x.re x.im) x.re)) 3)
  (pow (* 3 (* (* x.re x.im) x.re)) 3)
  (* (cbrt (* 3 (* (* x.re x.im) x.re))) (cbrt (* 3 (* (* x.re x.im) x.re))))
  (cbrt (* 3 (* (* x.re x.im) x.re)))
  (pow (* 3 (* (* x.re x.im) x.re)) 3)
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  (sqrt (* 3 (* (* x.re x.im) x.re)))
  3
  (* (cbrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt (cbrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* 3 (* (* x.re x.im) x.re))
  (* (sqrt (sqrt 3)) (* (sqrt 3) (* (* x.re x.im) x.re)))
  (* 3 (* (* x.re x.im) x.re))
  (expm1 (* (* x.re x.im) x.re))
  (log1p (* (* x.re x.im) x.re))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
  (log (* (* x.re x.im) x.re))
  (log (* (* x.re x.im) x.re))
  (log (* (* x.re x.im) x.re))
  (exp (* (* x.re x.im) x.re))
  (pow (* x.im (pow x.re 2)) 3)
  (pow (* x.im (pow x.re 2)) 3)
  (* (cbrt (* (* x.re x.im) x.re)) (cbrt (* (* x.re x.im) x.re)))
  (cbrt (* (* x.re x.im) x.re))
  (pow (* x.im (pow x.re 2)) 3)
  (sqrt (* (* x.re x.im) x.re))
  (sqrt (* (* x.re x.im) x.re))
  (* (* x.re x.im) (* (cbrt x.re) (cbrt x.re)))
  (* (* x.re x.im) (sqrt x.re))
  (* x.im x.re)
  (* x.im x.re)
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* (sqrt 3) (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* 3 (* (* x.re x.im) x.re))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
  (* x.im (pow x.re 2))
8.356 * * * [progress]: adding candidates to table
8.512 * [progress]: [Phase 3 of 3] Extracting.
8.512 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (- (* (* 3 x.im) (pow x.re 2)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* x.im (* (* 3 x.re) x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re))) (cbrt (* (* (* 3 x.im) x.re) x.re))) (pow x.im 3)))>)
8.514 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
8.514 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (- (* (* 3 x.im) (pow x.re 2)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* x.im (* (* 3 x.re) x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re))) (cbrt (* (* (* 3 x.im) x.re) x.re))) (pow x.im 3)))>)
8.536 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (- (* (* 3 x.im) (pow x.re 2)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.re))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* x.im (* (* 3 x.re) x.re)) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (sqrt 3) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.re)))) (pow x.im 3)))> #<alt (λ (x.re x.im) (- (* (* (cbrt (* (* (* 3 x.im) x.re) x.re)) (cbrt (* (* (* 3 x.im) x.re) x.re))) (cbrt (* (* (* 3 x.im) x.re) x.re))) (pow x.im 3)))>)
8.560 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
8.561 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3))
8.561 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
8.561 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
8.561 * * [simplify]: iteration  done :  11  enodes  (cost  11 )
8.561 * [simplify]: Simplified to:
   (- (* (* x.im (* 3 x.re)) x.re) (pow x.im 3))
9.550 * [regime-testing]: Baseline error score: 0.164744841545127
9.551 * [regime-testing]: Oracle error score: 0.017627203400425052
9.552 * [regime-testing]: End program error score: 0.164744841545127
9.571 * [regime-testing]: Target error score: 0.2527582869768876