9.405 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.603 * * * [progress]: [2/2] Setting up program.
0.606 * [progress]: [Phase 2 of 3] Improving.
0.607 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
0.700 * * [simplify]: iteration  0 :  5415  enodes  (cost  11 )
0.701 * [simplify]: Simplified to:
   (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.705 * * [progress]: iteration 1 / 4
0.705 * * * [progress]: picking best candidate
0.708 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))>
0.708 * * * [progress]: localizing error
0.717 * * * [progress]: generating rewritten candidates
0.717 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.723 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.735 * * * [progress]: generating series expansions
0.735 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.735 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
0.735 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.735 * [taylor]: Taking taylor expansion of (exp im) in im
0.735 * [taylor]: Taking taylor expansion of im in im
0.735 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.735 * [taylor]: Taking taylor expansion of (neg im) in im
0.735 * [taylor]: Taking taylor expansion of im in im
0.735 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.735 * [taylor]: Taking taylor expansion of (exp im) in im
0.735 * [taylor]: Taking taylor expansion of im in im
0.735 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.735 * [taylor]: Taking taylor expansion of (neg im) in im
0.735 * [taylor]: Taking taylor expansion of im in im
0.737 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
0.737 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.737 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.737 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.737 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.737 * [taylor]: Taking taylor expansion of im in im
0.737 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.737 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.737 * [taylor]: Taking taylor expansion of im in im
0.737 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.737 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.737 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.737 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.737 * [taylor]: Taking taylor expansion of im in im
0.737 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.738 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.738 * [taylor]: Taking taylor expansion of im in im
0.738 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
0.738 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.738 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.738 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.738 * [taylor]: Taking taylor expansion of -1 in im
0.738 * [taylor]: Taking taylor expansion of im in im
0.738 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.738 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.738 * [taylor]: Taking taylor expansion of im in im
0.738 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.738 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.738 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.738 * [taylor]: Taking taylor expansion of -1 in im
0.738 * [taylor]: Taking taylor expansion of im in im
0.738 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.738 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.738 * [taylor]: Taking taylor expansion of im in im
0.739 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.739 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in (re im) around 0
0.739 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
0.739 * [taylor]: Taking taylor expansion of 1/2 in im
0.739 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
0.739 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.739 * [taylor]: Taking taylor expansion of (exp im) in im
0.739 * [taylor]: Taking taylor expansion of im in im
0.739 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.739 * [taylor]: Taking taylor expansion of (neg im) in im
0.739 * [taylor]: Taking taylor expansion of im in im
0.739 * [taylor]: Taking taylor expansion of (sin re) in im
0.739 * [taylor]: Taking taylor expansion of re in im
0.739 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
0.739 * [taylor]: Taking taylor expansion of 1/2 in re
0.739 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
0.739 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
0.739 * [taylor]: Taking taylor expansion of (exp im) in re
0.739 * [taylor]: Taking taylor expansion of im in re
0.739 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
0.739 * [taylor]: Taking taylor expansion of (neg im) in re
0.739 * [taylor]: Taking taylor expansion of im in re
0.739 * [taylor]: Taking taylor expansion of (sin re) in re
0.739 * [taylor]: Taking taylor expansion of re in re
0.739 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
0.739 * [taylor]: Taking taylor expansion of 1/2 in re
0.740 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
0.740 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
0.740 * [taylor]: Taking taylor expansion of (exp im) in re
0.740 * [taylor]: Taking taylor expansion of im in re
0.740 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
0.740 * [taylor]: Taking taylor expansion of (neg im) in re
0.740 * [taylor]: Taking taylor expansion of im in re
0.740 * [taylor]: Taking taylor expansion of (sin re) in re
0.740 * [taylor]: Taking taylor expansion of re in re
0.740 * [taylor]: Taking taylor expansion of 0 in im
0.740 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp im)) (* 1/2 (exp (neg im)))) in im
0.740 * [taylor]: Taking taylor expansion of (* 1/2 (exp im)) in im
0.740 * [taylor]: Taking taylor expansion of 1/2 in im
0.740 * [taylor]: Taking taylor expansion of (exp im) in im
0.740 * [taylor]: Taking taylor expansion of im in im
0.740 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg im))) in im
0.740 * [taylor]: Taking taylor expansion of 1/2 in im
0.740 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.740 * [taylor]: Taking taylor expansion of (neg im) in im
0.740 * [taylor]: Taking taylor expansion of im in im
0.741 * [taylor]: Taking taylor expansion of 0 in im
0.742 * [taylor]: Taking taylor expansion of (neg (+ (* 1/12 (exp im)) (* 1/12 (exp (neg im))))) in im
0.742 * [taylor]: Taking taylor expansion of (+ (* 1/12 (exp im)) (* 1/12 (exp (neg im)))) in im
0.742 * [taylor]: Taking taylor expansion of (* 1/12 (exp im)) in im
0.742 * [taylor]: Taking taylor expansion of 1/12 in im
0.742 * [taylor]: Taking taylor expansion of (exp im) in im
0.742 * [taylor]: Taking taylor expansion of im in im
0.742 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg im))) in im
0.742 * [taylor]: Taking taylor expansion of 1/12 in im
0.742 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.742 * [taylor]: Taking taylor expansion of (neg im) in im
0.742 * [taylor]: Taking taylor expansion of im in im
0.742 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
0.742 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
0.742 * [taylor]: Taking taylor expansion of 1/2 in im
0.742 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
0.742 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.743 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.743 * [taylor]: Taking taylor expansion of re in im
0.743 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.743 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.743 * [taylor]: Taking taylor expansion of im in im
0.743 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.743 * [taylor]: Taking taylor expansion of im in im
0.743 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
0.743 * [taylor]: Taking taylor expansion of 1/2 in re
0.743 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
0.743 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.743 * [taylor]: Taking taylor expansion of re in re
0.743 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
0.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
0.743 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.743 * [taylor]: Taking taylor expansion of im in re
0.743 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.743 * [taylor]: Taking taylor expansion of im in re
0.743 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
0.743 * [taylor]: Taking taylor expansion of 1/2 in re
0.743 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
0.743 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.743 * [taylor]: Taking taylor expansion of re in re
0.743 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
0.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
0.743 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.744 * [taylor]: Taking taylor expansion of im in re
0.744 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.744 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.744 * [taylor]: Taking taylor expansion of im in re
0.744 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
0.744 * [taylor]: Taking taylor expansion of 1/2 in im
0.744 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
0.744 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.744 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.744 * [taylor]: Taking taylor expansion of re in im
0.744 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.744 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.744 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.744 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.744 * [taylor]: Taking taylor expansion of im in im
0.744 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.744 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.744 * [taylor]: Taking taylor expansion of im in im
0.746 * [taylor]: Taking taylor expansion of 0 in im
0.747 * [taylor]: Taking taylor expansion of 0 in im
0.748 * [taylor]: Taking taylor expansion of 0 in im
0.748 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0
0.748 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
0.748 * [taylor]: Taking taylor expansion of 1/2 in im
0.748 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
0.748 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.748 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.748 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.748 * [taylor]: Taking taylor expansion of -1 in im
0.748 * [taylor]: Taking taylor expansion of im in im
0.749 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.749 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.749 * [taylor]: Taking taylor expansion of im in im
0.749 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.749 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.749 * [taylor]: Taking taylor expansion of -1 in im
0.749 * [taylor]: Taking taylor expansion of re in im
0.749 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
0.749 * [taylor]: Taking taylor expansion of 1/2 in re
0.749 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
0.749 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.749 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.749 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.749 * [taylor]: Taking taylor expansion of -1 in re
0.749 * [taylor]: Taking taylor expansion of im in re
0.749 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.749 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.749 * [taylor]: Taking taylor expansion of im in re
0.749 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.749 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.749 * [taylor]: Taking taylor expansion of -1 in re
0.749 * [taylor]: Taking taylor expansion of re in re
0.749 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
0.749 * [taylor]: Taking taylor expansion of 1/2 in re
0.749 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
0.749 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.749 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.749 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.749 * [taylor]: Taking taylor expansion of -1 in re
0.749 * [taylor]: Taking taylor expansion of im in re
0.749 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.749 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.749 * [taylor]: Taking taylor expansion of im in re
0.749 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.749 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.749 * [taylor]: Taking taylor expansion of -1 in re
0.749 * [taylor]: Taking taylor expansion of re in re
0.750 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
0.750 * [taylor]: Taking taylor expansion of 1/2 in im
0.750 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
0.750 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.750 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.750 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.750 * [taylor]: Taking taylor expansion of -1 in im
0.750 * [taylor]: Taking taylor expansion of im in im
0.750 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.750 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.750 * [taylor]: Taking taylor expansion of im in im
0.750 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.750 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.750 * [taylor]: Taking taylor expansion of -1 in im
0.750 * [taylor]: Taking taylor expansion of re in im
0.751 * [taylor]: Taking taylor expansion of 0 in im
0.755 * [taylor]: Taking taylor expansion of 0 in im
0.757 * [taylor]: Taking taylor expansion of 0 in im
0.757 * * * [progress]: simplifying candidates
0.757 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (+.f64 (log.f64 1/2) (log.f64 (sin.f64 re))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (+.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (log.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (exp.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 re) (sin.f64 re)) (sin.f64 re))) (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) (*.f64 1/2 (sin.f64 re))) (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (cbrt.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (sqrt.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (sqrt.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 (neg.f64 im)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
  (*.f64 (exp.f64 (neg.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) 1)
  (*.f64 (*.f64 1/2 (sin.f64 re)) 1)
  (*.f64 (sin.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2))
  (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
  (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
  (-.f64 (+.f64 re (*.f64 1/2 (*.f64 re (pow.f64 im 2)))) (*.f64 1/6 (pow.f64 re 3)))
  (*.f64 1/2 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
  (*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (sin.f64 re)))
0.814 * * [simplify]: iteration  0 :  5332  enodes  (cost  440 )
0.817 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))
  (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (exp.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re))))
  (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))) 3)
  (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))) 3)
  (*.f64 (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))) 3)
  (sqrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 1/2 (sin.f64 re))
  (*.f64 1/2 (sin.f64 re))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re))
  (*.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (*.f64 1/2 (sin.f64 re)))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (-.f64 (+.f64 re (*.f64 1/2 (*.f64 re (*.f64 im im)))) (*.f64 1/6 (pow.f64 re 3)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
0.817 * * * [progress]: adding candidates to table
0.852 * * [progress]: iteration 2 / 4
0.852 * * * [progress]: picking best candidate
0.858 * * * * [pick]: Picked  #<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))>
0.858 * * * [progress]: localizing error
0.867 * * * [progress]: generating rewritten candidates
0.867 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.877 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.883 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.894 * * * [progress]: generating series expansions
0.894 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.894 * [approximate]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in (im re) around 0
0.894 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.894 * [taylor]: Taking taylor expansion of 1/2 in re
0.894 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.894 * [taylor]: Taking taylor expansion of (exp im) in re
0.894 * [taylor]: Taking taylor expansion of im in re
0.894 * [taylor]: Taking taylor expansion of (sin re) in re
0.894 * [taylor]: Taking taylor expansion of re in re
0.894 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.894 * [taylor]: Taking taylor expansion of 1/2 in im
0.894 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im
0.894 * [taylor]: Taking taylor expansion of (exp im) in im
0.894 * [taylor]: Taking taylor expansion of im in im
0.894 * [taylor]: Taking taylor expansion of (sin re) in im
0.894 * [taylor]: Taking taylor expansion of re in im
0.894 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.894 * [taylor]: Taking taylor expansion of 1/2 in im
0.894 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im
0.894 * [taylor]: Taking taylor expansion of (exp im) in im
0.894 * [taylor]: Taking taylor expansion of im in im
0.894 * [taylor]: Taking taylor expansion of (sin re) in im
0.894 * [taylor]: Taking taylor expansion of re in im
0.895 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
0.895 * [taylor]: Taking taylor expansion of 1/2 in re
0.895 * [taylor]: Taking taylor expansion of (sin re) in re
0.895 * [taylor]: Taking taylor expansion of re in re
0.895 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
0.895 * [taylor]: Taking taylor expansion of 1/2 in re
0.895 * [taylor]: Taking taylor expansion of (sin re) in re
0.895 * [taylor]: Taking taylor expansion of re in re
0.895 * [taylor]: Taking taylor expansion of (* 1/4 (sin re)) in re
0.895 * [taylor]: Taking taylor expansion of 1/4 in re
0.895 * [taylor]: Taking taylor expansion of (sin re) in re
0.895 * [taylor]: Taking taylor expansion of re in re
0.896 * [taylor]: Taking taylor expansion of (* 1/12 (sin re)) in re
0.896 * [taylor]: Taking taylor expansion of 1/12 in re
0.896 * [taylor]: Taking taylor expansion of (sin re) in re
0.896 * [taylor]: Taking taylor expansion of re in re
0.897 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.897 * [taylor]: Taking taylor expansion of 1/2 in re
0.897 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.897 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.897 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.897 * [taylor]: Taking taylor expansion of re in re
0.897 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.897 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.897 * [taylor]: Taking taylor expansion of im in re
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.897 * [taylor]: Taking taylor expansion of 1/2 in im
0.897 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.897 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.897 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.897 * [taylor]: Taking taylor expansion of re in im
0.897 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.897 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.897 * [taylor]: Taking taylor expansion of im in im
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.897 * [taylor]: Taking taylor expansion of 1/2 in im
0.897 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.897 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.897 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.897 * [taylor]: Taking taylor expansion of re in im
0.897 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.897 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.897 * [taylor]: Taking taylor expansion of im in im
0.898 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.898 * [taylor]: Taking taylor expansion of 1/2 in re
0.898 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.898 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.898 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.898 * [taylor]: Taking taylor expansion of re in re
0.898 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.898 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.898 * [taylor]: Taking taylor expansion of im in re
0.898 * [taylor]: Taking taylor expansion of 0 in re
0.899 * [taylor]: Taking taylor expansion of 0 in re
0.900 * [taylor]: Taking taylor expansion of 0 in re
0.900 * [approximate]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.900 * [taylor]: Taking taylor expansion of 1/2 in re
0.900 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.900 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.900 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.900 * [taylor]: Taking taylor expansion of -1 in re
0.900 * [taylor]: Taking taylor expansion of im in re
0.900 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.900 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.900 * [taylor]: Taking taylor expansion of -1 in re
0.900 * [taylor]: Taking taylor expansion of re in re
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.900 * [taylor]: Taking taylor expansion of 1/2 in im
0.900 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.900 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.901 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.901 * [taylor]: Taking taylor expansion of -1 in im
0.901 * [taylor]: Taking taylor expansion of im in im
0.901 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.901 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.901 * [taylor]: Taking taylor expansion of -1 in im
0.901 * [taylor]: Taking taylor expansion of re in im
0.901 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.901 * [taylor]: Taking taylor expansion of 1/2 in im
0.901 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.901 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.901 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.901 * [taylor]: Taking taylor expansion of -1 in im
0.901 * [taylor]: Taking taylor expansion of im in im
0.901 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.901 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.901 * [taylor]: Taking taylor expansion of -1 in im
0.901 * [taylor]: Taking taylor expansion of re in im
0.901 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.901 * [taylor]: Taking taylor expansion of 1/2 in re
0.901 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.901 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.901 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.901 * [taylor]: Taking taylor expansion of -1 in re
0.901 * [taylor]: Taking taylor expansion of im in re
0.901 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.901 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.901 * [taylor]: Taking taylor expansion of -1 in re
0.901 * [taylor]: Taking taylor expansion of re in re
0.902 * [taylor]: Taking taylor expansion of 0 in re
0.903 * [taylor]: Taking taylor expansion of 0 in re
0.904 * [taylor]: Taking taylor expansion of 0 in re
0.904 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.904 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in (re im) around 0
0.904 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in im
0.904 * [taylor]: Taking taylor expansion of 1/2 in im
0.904 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im
0.904 * [taylor]: Taking taylor expansion of (sin re) in im
0.904 * [taylor]: Taking taylor expansion of re in im
0.904 * [taylor]: Taking taylor expansion of (exp im) in im
0.904 * [taylor]: Taking taylor expansion of im in im
0.904 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.904 * [taylor]: Taking taylor expansion of 1/2 in re
0.904 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.904 * [taylor]: Taking taylor expansion of (sin re) in re
0.904 * [taylor]: Taking taylor expansion of re in re
0.904 * [taylor]: Taking taylor expansion of (exp im) in re
0.904 * [taylor]: Taking taylor expansion of im in re
0.904 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.904 * [taylor]: Taking taylor expansion of 1/2 in re
0.904 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.904 * [taylor]: Taking taylor expansion of (sin re) in re
0.904 * [taylor]: Taking taylor expansion of re in re
0.904 * [taylor]: Taking taylor expansion of (exp im) in re
0.904 * [taylor]: Taking taylor expansion of im in re
0.905 * [taylor]: Taking taylor expansion of (/ 1/2 (exp im)) in im
0.905 * [taylor]: Taking taylor expansion of 1/2 in im
0.905 * [taylor]: Taking taylor expansion of (exp im) in im
0.905 * [taylor]: Taking taylor expansion of im in im
0.905 * [taylor]: Taking taylor expansion of 0 in im
0.905 * [taylor]: Taking taylor expansion of (neg (* 1/12 (/ 1 (exp im)))) in im
0.905 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (exp im))) in im
0.905 * [taylor]: Taking taylor expansion of 1/12 in im
0.905 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.905 * [taylor]: Taking taylor expansion of (exp im) in im
0.905 * [taylor]: Taking taylor expansion of im in im
0.906 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
0.906 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.906 * [taylor]: Taking taylor expansion of 1/2 in im
0.906 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.906 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.906 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.906 * [taylor]: Taking taylor expansion of re in im
0.906 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.906 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.906 * [taylor]: Taking taylor expansion of im in im
0.906 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.906 * [taylor]: Taking taylor expansion of 1/2 in re
0.906 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.906 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.906 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.906 * [taylor]: Taking taylor expansion of re in re
0.906 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.906 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.906 * [taylor]: Taking taylor expansion of im in re
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.907 * [taylor]: Taking taylor expansion of 1/2 in re
0.907 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.907 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.907 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.907 * [taylor]: Taking taylor expansion of re in re
0.907 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.907 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.907 * [taylor]: Taking taylor expansion of im in re
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.907 * [taylor]: Taking taylor expansion of 1/2 in im
0.907 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.907 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.907 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.907 * [taylor]: Taking taylor expansion of re in im
0.907 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.907 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.907 * [taylor]: Taking taylor expansion of im in im
0.908 * [taylor]: Taking taylor expansion of 0 in im
0.909 * [taylor]: Taking taylor expansion of 0 in im
0.910 * [taylor]: Taking taylor expansion of 0 in im
0.910 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
0.910 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.910 * [taylor]: Taking taylor expansion of 1/2 in im
0.910 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.910 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.910 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.910 * [taylor]: Taking taylor expansion of -1 in im
0.910 * [taylor]: Taking taylor expansion of re in im
0.910 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.910 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.910 * [taylor]: Taking taylor expansion of -1 in im
0.910 * [taylor]: Taking taylor expansion of im in im
0.910 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.910 * [taylor]: Taking taylor expansion of 1/2 in re
0.910 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.910 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.910 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.910 * [taylor]: Taking taylor expansion of -1 in re
0.910 * [taylor]: Taking taylor expansion of re in re
0.910 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.910 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.910 * [taylor]: Taking taylor expansion of -1 in re
0.910 * [taylor]: Taking taylor expansion of im in re
0.911 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.911 * [taylor]: Taking taylor expansion of 1/2 in re
0.911 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.911 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.911 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.911 * [taylor]: Taking taylor expansion of -1 in re
0.911 * [taylor]: Taking taylor expansion of re in re
0.911 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.911 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.911 * [taylor]: Taking taylor expansion of -1 in re
0.911 * [taylor]: Taking taylor expansion of im in re
0.911 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.911 * [taylor]: Taking taylor expansion of 1/2 in im
0.911 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.911 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.911 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.911 * [taylor]: Taking taylor expansion of -1 in im
0.911 * [taylor]: Taking taylor expansion of re in im
0.911 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.911 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.911 * [taylor]: Taking taylor expansion of -1 in im
0.911 * [taylor]: Taking taylor expansion of im in im
0.912 * [taylor]: Taking taylor expansion of 0 in im
0.913 * [taylor]: Taking taylor expansion of 0 in im
0.914 * [taylor]: Taking taylor expansion of 0 in im
0.914 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.914 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in (re im) around 0
0.914 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in im
0.914 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.914 * [taylor]: Taking taylor expansion of 1/2 in im
0.914 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im
0.914 * [taylor]: Taking taylor expansion of (exp im) in im
0.914 * [taylor]: Taking taylor expansion of im in im
0.914 * [taylor]: Taking taylor expansion of (sin re) in im
0.914 * [taylor]: Taking taylor expansion of re in im
0.914 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in im
0.914 * [taylor]: Taking taylor expansion of 1/2 in im
0.914 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im
0.914 * [taylor]: Taking taylor expansion of (sin re) in im
0.914 * [taylor]: Taking taylor expansion of re in im
0.914 * [taylor]: Taking taylor expansion of (exp im) in im
0.914 * [taylor]: Taking taylor expansion of im in im
0.915 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in re
0.915 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.915 * [taylor]: Taking taylor expansion of 1/2 in re
0.915 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.915 * [taylor]: Taking taylor expansion of (exp im) in re
0.915 * [taylor]: Taking taylor expansion of im in re
0.915 * [taylor]: Taking taylor expansion of (sin re) in re
0.915 * [taylor]: Taking taylor expansion of re in re
0.915 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.915 * [taylor]: Taking taylor expansion of 1/2 in re
0.915 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.915 * [taylor]: Taking taylor expansion of (sin re) in re
0.915 * [taylor]: Taking taylor expansion of re in re
0.915 * [taylor]: Taking taylor expansion of (exp im) in re
0.915 * [taylor]: Taking taylor expansion of im in re
0.915 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in re
0.915 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.915 * [taylor]: Taking taylor expansion of 1/2 in re
0.915 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.915 * [taylor]: Taking taylor expansion of (exp im) in re
0.915 * [taylor]: Taking taylor expansion of im in re
0.915 * [taylor]: Taking taylor expansion of (sin re) in re
0.915 * [taylor]: Taking taylor expansion of re in re
0.915 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.915 * [taylor]: Taking taylor expansion of 1/2 in re
0.915 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.915 * [taylor]: Taking taylor expansion of (sin re) in re
0.915 * [taylor]: Taking taylor expansion of re in re
0.915 * [taylor]: Taking taylor expansion of (exp im) in re
0.915 * [taylor]: Taking taylor expansion of im in re
0.915 * [taylor]: Taking taylor expansion of 0 in im
0.916 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (exp im))) (* 1/2 (exp im))) in im
0.916 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp im))) in im
0.916 * [taylor]: Taking taylor expansion of 1/2 in im
0.916 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.916 * [taylor]: Taking taylor expansion of (exp im) in im
0.916 * [taylor]: Taking taylor expansion of im in im
0.916 * [taylor]: Taking taylor expansion of (* 1/2 (exp im)) in im
0.916 * [taylor]: Taking taylor expansion of 1/2 in im
0.916 * [taylor]: Taking taylor expansion of (exp im) in im
0.916 * [taylor]: Taking taylor expansion of im in im
0.916 * [taylor]: Taking taylor expansion of 0 in im
0.917 * [taylor]: Taking taylor expansion of (neg (+ (* 1/12 (/ 1 (exp im))) (* 1/12 (exp im)))) in im
0.917 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (exp im))) (* 1/12 (exp im))) in im
0.917 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (exp im))) in im
0.917 * [taylor]: Taking taylor expansion of 1/12 in im
0.917 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.917 * [taylor]: Taking taylor expansion of (exp im) in im
0.917 * [taylor]: Taking taylor expansion of im in im
0.917 * [taylor]: Taking taylor expansion of (* 1/12 (exp im)) in im
0.917 * [taylor]: Taking taylor expansion of 1/12 in im
0.918 * [taylor]: Taking taylor expansion of (exp im) in im
0.918 * [taylor]: Taking taylor expansion of im in im
0.918 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (re im) around 0
0.918 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.918 * [taylor]: Taking taylor expansion of 1/2 in im
0.918 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.918 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.918 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.919 * [taylor]: Taking taylor expansion of re in im
0.919 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.919 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.919 * [taylor]: Taking taylor expansion of im in im
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.919 * [taylor]: Taking taylor expansion of 1/2 in im
0.919 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.919 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.919 * [taylor]: Taking taylor expansion of re in im
0.919 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.919 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.919 * [taylor]: Taking taylor expansion of im in im
0.919 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.919 * [taylor]: Taking taylor expansion of 1/2 in re
0.919 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.919 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.919 * [taylor]: Taking taylor expansion of re in re
0.919 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.919 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.919 * [taylor]: Taking taylor expansion of im in re
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.919 * [taylor]: Taking taylor expansion of 1/2 in re
0.919 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.919 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.919 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.919 * [taylor]: Taking taylor expansion of re in re
0.920 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.920 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.920 * [taylor]: Taking taylor expansion of im in re
0.920 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re
0.920 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.920 * [taylor]: Taking taylor expansion of 1/2 in re
0.920 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.920 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.920 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.920 * [taylor]: Taking taylor expansion of re in re
0.920 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.920 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.920 * [taylor]: Taking taylor expansion of im in re
0.920 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.920 * [taylor]: Taking taylor expansion of 1/2 in re
0.920 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.920 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.920 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.920 * [taylor]: Taking taylor expansion of re in re
0.920 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.920 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.920 * [taylor]: Taking taylor expansion of im in re
0.920 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im
0.921 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.921 * [taylor]: Taking taylor expansion of 1/2 in im
0.921 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.921 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.921 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.921 * [taylor]: Taking taylor expansion of re in im
0.921 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.921 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.921 * [taylor]: Taking taylor expansion of im in im
0.921 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.921 * [taylor]: Taking taylor expansion of 1/2 in im
0.921 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.921 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.921 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.921 * [taylor]: Taking taylor expansion of re in im
0.921 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.921 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.921 * [taylor]: Taking taylor expansion of im in im
0.922 * [taylor]: Taking taylor expansion of 0 in im
0.924 * [taylor]: Taking taylor expansion of 0 in im
0.926 * [taylor]: Taking taylor expansion of 0 in im
0.927 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in (re im) around 0
0.927 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in im
0.927 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.927 * [taylor]: Taking taylor expansion of 1/2 in im
0.927 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.927 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.927 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.927 * [taylor]: Taking taylor expansion of -1 in im
0.927 * [taylor]: Taking taylor expansion of im in im
0.927 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.927 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.927 * [taylor]: Taking taylor expansion of -1 in im
0.927 * [taylor]: Taking taylor expansion of re in im
0.927 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.927 * [taylor]: Taking taylor expansion of 1/2 in im
0.927 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.927 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.927 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.927 * [taylor]: Taking taylor expansion of -1 in im
0.927 * [taylor]: Taking taylor expansion of re in im
0.927 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.927 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.927 * [taylor]: Taking taylor expansion of -1 in im
0.927 * [taylor]: Taking taylor expansion of im in im
0.927 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in re
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.928 * [taylor]: Taking taylor expansion of 1/2 in re
0.928 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.928 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of im in re
0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of re in re
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.928 * [taylor]: Taking taylor expansion of 1/2 in re
0.928 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of re in re
0.928 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of im in re
0.928 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in re
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.928 * [taylor]: Taking taylor expansion of 1/2 in re
0.928 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.928 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of im in re
0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.928 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.928 * [taylor]: Taking taylor expansion of -1 in re
0.928 * [taylor]: Taking taylor expansion of re in re
0.928 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.928 * [taylor]: Taking taylor expansion of 1/2 in re
0.928 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.928 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.929 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.929 * [taylor]: Taking taylor expansion of -1 in re
0.929 * [taylor]: Taking taylor expansion of re in re
0.929 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.929 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.929 * [taylor]: Taking taylor expansion of -1 in re
0.929 * [taylor]: Taking taylor expansion of im in re
0.929 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in im
0.929 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.929 * [taylor]: Taking taylor expansion of 1/2 in im
0.929 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.929 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.929 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.929 * [taylor]: Taking taylor expansion of -1 in im
0.929 * [taylor]: Taking taylor expansion of im in im
0.929 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.929 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.929 * [taylor]: Taking taylor expansion of -1 in im
0.929 * [taylor]: Taking taylor expansion of re in im
0.929 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.929 * [taylor]: Taking taylor expansion of 1/2 in im
0.929 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.929 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.930 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.930 * [taylor]: Taking taylor expansion of -1 in im
0.930 * [taylor]: Taking taylor expansion of re in im
0.930 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.930 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.930 * [taylor]: Taking taylor expansion of -1 in im
0.930 * [taylor]: Taking taylor expansion of im in im
0.931 * [taylor]: Taking taylor expansion of 0 in im
0.932 * [taylor]: Taking taylor expansion of 0 in im
0.934 * [taylor]: Taking taylor expansion of 0 in im
0.935 * * * [progress]: simplifying candidates
0.936 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (+.f64 im (+.f64 (log.f64 1/2) (log.f64 (sin.f64 re))))
  (+.f64 im (log.f64 (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (exp.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (exp.f64 im)) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 re) (sin.f64 re)) (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (exp.f64 im)) (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (exp.f64 im) 1/2)
  (*.f64 (cbrt.f64 (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (-.f64 (+.f64 (log.f64 1/2) (log.f64 (sin.f64 re))) im)
  (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im)
  (log.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (exp.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (/.f64 (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 re) (sin.f64 re)) (sin.f64 re))) (*.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (exp.f64 im)))
  (/.f64 (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) (*.f64 1/2 (sin.f64 re))) (*.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))))
  (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (*.f64 (*.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (sqrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (sqrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (neg.f64 (*.f64 1/2 (sin.f64 re)))
  (neg.f64 (exp.f64 im))
  (/.f64 1/2 (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im))))
  (/.f64 (sin.f64 re) (cbrt.f64 (exp.f64 im)))
  (/.f64 1/2 (sqrt.f64 (exp.f64 im)))
  (/.f64 (sin.f64 re) (sqrt.f64 (exp.f64 im)))
  (/.f64 1/2 1)
  (/.f64 (sin.f64 re) (exp.f64 im))
  (/.f64 1 (exp.f64 im))
  (/.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im))))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im)))
  (/.f64 (*.f64 1/2 (sin.f64 re)) 1)
  (/.f64 (exp.f64 im) (sin.f64 re))
  (*.f64 (exp.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (exp.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (log.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (exp.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))) (cbrt.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (*.f64 (*.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (+.f64 (pow.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) 3) (pow.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))) 3))
  (+.f64 (*.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (-.f64 (*.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))) (*.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))))
  (-.f64 (*.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (*.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (-.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (+.f64 (*.f64 1/2 re) (+.f64 (*.f64 1/2 (*.f64 re im)) (*.f64 1/4 (*.f64 re (pow.f64 im 2)))))
  (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))
  (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re)))
  (-.f64 (*.f64 1/2 re) (+.f64 (*.f64 1/12 (pow.f64 re 3)) (*.f64 1/2 (*.f64 re im))))
  (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
  (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im)))
  (-.f64 (+.f64 re (*.f64 1/2 (*.f64 re (pow.f64 im 2)))) (*.f64 1/6 (pow.f64 re 3)))
  (+.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
  (+.f64 (*.f64 1/2 (*.f64 (exp.f64 im) (sin.f64 re))) (*.f64 1/2 (/.f64 (sin.f64 re) (exp.f64 im))))
0.970 * * [simplify]: iteration  0 :  5046  enodes  (cost  608 )
0.973 * [simplify]: Simplified to:
   (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (+.f64 im (log.f64 (*.f64 1/2 (sin.f64 re))))
  (+.f64 im (log.f64 (*.f64 1/2 (sin.f64 re))))
  (+.f64 im (log.f64 (*.f64 1/2 (sin.f64 re))))
  (pow.f64 (sqrt.f64 (exp.f64 (exp.f64 im))) (sin.f64 re))
  (*.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3))
  (*.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3))
  (*.f64 (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (*.f64 1/8 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3))
  (sqrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (exp.f64 im) 1/2)
  (*.f64 (*.f64 1/2 (sin.f64 re)) (cbrt.f64 (exp.f64 im)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (exp.f64 im)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im)
  (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im)
  (-.f64 (log.f64 (*.f64 1/2 (sin.f64 re))) im)
  (sqrt.f64 (exp.f64 (/.f64 (sin.f64 re) (exp.f64 im))))
  (*.f64 1/8 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3))
  (*.f64 1/8 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))) (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))))
  (cbrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (*.f64 1/8 (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3))
  (sqrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (sqrt.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
  (*.f64 (sin.f64 re) -1/2)
  (neg.f64 (exp.f64 im))
  (/.f64 1/2 (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im))))
  (/.f64 (sin.f64 re) (cbrt.f64 (exp.f64 im)))
  (/.f64 1/2 (sqrt.f64 (exp.f64 im)))
  (/.f64 (sin.f64 re) (sqrt.f64 (exp.f64 im)))
  1/2
  (/.f64 (sin.f64 re) (exp.f64 im))
  (exp.f64 (neg.f64 im))
  (/.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sin.f64 re) (/.f64 1/2 (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im)))))
  (*.f64 (sin.f64 re) (/.f64 1/2 (sqrt.f64 (exp.f64 im))))
  (*.f64 1/2 (sin.f64 re))
  (/.f64 (exp.f64 im) (sin.f64 re))
  (pow.f64 (exp.f64 (sin.f64 re)) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
  (log.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im)))))
  (pow.f64 (exp.f64 (sin.f64 re)) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
  (*.f64 (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))) (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))))
  (cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im)))))
  (pow.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im)))) 3)
  (sqrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im)))))
  (sqrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im)))))
  (*.f64 1/8 (+.f64 (pow.f64 (*.f64 (exp.f64 im) (sin.f64 re)) 3) (pow.f64 (/.f64 (sin.f64 re) (exp.f64 im)) 3)))
  (+.f64 (/.f64 (*.f64 1/4 (*.f64 (sin.f64 re) (sin.f64 re))) (pow.f64 (exp.f64 im) 2)) (*.f64 (sin.f64 re) (+.f64 (*.f64 (pow.f64 (exp.f64 im) 2) (*.f64 (sin.f64 re) 1/4)) (*.f64 (sin.f64 re) -1/4))))
  (*.f64 1/4 (-.f64 (*.f64 (/.f64 (sin.f64 re) (exp.f64 im)) (/.f64 (sin.f64 re) (exp.f64 im))) (*.f64 (pow.f64 (exp.f64 im) 2) (*.f64 (sin.f64 re) (sin.f64 re)))))
  (*.f64 (sin.f64 re) (+.f64 (/.f64 1/2 (exp.f64 im)) (*.f64 (exp.f64 im) -1/2)))
  (+.f64 (*.f64 1/2 re) (*.f64 im (+.f64 (*.f64 1/2 re) (*.f64 im (*.f64 re 1/4)))))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))
  (+.f64 (*.f64 1/2 (-.f64 re (*.f64 im re))) (*.f64 (pow.f64 re 3) -1/12))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
  (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))
  (-.f64 (+.f64 re (*.f64 im (*.f64 im (*.f64 1/2 re)))) (*.f64 (pow.f64 re 3) 1/6))
  (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
  (*.f64 (sin.f64 re) (+.f64 (*.f64 (exp.f64 im) 1/2) (/.f64 1/2 (exp.f64 im))))
0.973 * * * [progress]: adding candidates to table
1.026 * * [progress]: iteration 3 / 4
1.026 * * * [progress]: picking best candidate
1.029 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>
1.029 * * * [progress]: localizing error
1.041 * * * [progress]: generating rewritten candidates
1.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.064 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.075 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.090 * * * [progress]: generating series expansions
1.090 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.090 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in (im re) around 0
1.090 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
1.090 * [taylor]: Taking taylor expansion of 1/2 in re
1.090 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
1.090 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
1.090 * [taylor]: Taking taylor expansion of (exp im) in re
1.090 * [taylor]: Taking taylor expansion of im in re
1.090 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
1.090 * [taylor]: Taking taylor expansion of (neg im) in re
1.090 * [taylor]: Taking taylor expansion of im in re
1.090 * [taylor]: Taking taylor expansion of (sin re) in re
1.090 * [taylor]: Taking taylor expansion of re in re
1.090 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
1.090 * [taylor]: Taking taylor expansion of 1/2 in im
1.090 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
1.090 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.090 * [taylor]: Taking taylor expansion of (exp im) in im
1.090 * [taylor]: Taking taylor expansion of im in im
1.090 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.090 * [taylor]: Taking taylor expansion of (neg im) in im
1.090 * [taylor]: Taking taylor expansion of im in im
1.091 * [taylor]: Taking taylor expansion of (sin re) in im
1.091 * [taylor]: Taking taylor expansion of re in im
1.091 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
1.091 * [taylor]: Taking taylor expansion of 1/2 in im
1.091 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
1.091 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.091 * [taylor]: Taking taylor expansion of (exp im) in im
1.091 * [taylor]: Taking taylor expansion of im in im
1.091 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.091 * [taylor]: Taking taylor expansion of (neg im) in im
1.091 * [taylor]: Taking taylor expansion of im in im
1.091 * [taylor]: Taking taylor expansion of (sin re) in im
1.091 * [taylor]: Taking taylor expansion of re in im
1.091 * [taylor]: Taking taylor expansion of (sin re) in re
1.091 * [taylor]: Taking taylor expansion of re in re
1.091 * [taylor]: Taking taylor expansion of 0 in re
1.092 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
1.092 * [taylor]: Taking taylor expansion of 1/2 in re
1.092 * [taylor]: Taking taylor expansion of (sin re) in re
1.092 * [taylor]: Taking taylor expansion of re in re
1.093 * [taylor]: Taking taylor expansion of 0 in re
1.093 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (im re) around 0
1.093 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.093 * [taylor]: Taking taylor expansion of 1/2 in re
1.093 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.093 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.093 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.093 * [taylor]: Taking taylor expansion of re in re
1.094 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.094 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.094 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.094 * [taylor]: Taking taylor expansion of im in re
1.094 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.094 * [taylor]: Taking taylor expansion of im in re
1.094 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.094 * [taylor]: Taking taylor expansion of 1/2 in im
1.094 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.094 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.094 * [taylor]: Taking taylor expansion of re in im
1.094 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.094 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.094 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.094 * [taylor]: Taking taylor expansion of im in im
1.094 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.094 * [taylor]: Taking taylor expansion of im in im
1.094 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.094 * [taylor]: Taking taylor expansion of 1/2 in im
1.094 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.094 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.094 * [taylor]: Taking taylor expansion of re in im
1.094 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.094 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.094 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.094 * [taylor]: Taking taylor expansion of im in im
1.094 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.094 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.095 * [taylor]: Taking taylor expansion of im in im
1.095 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.095 * [taylor]: Taking taylor expansion of 1/2 in re
1.095 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.095 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.095 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.095 * [taylor]: Taking taylor expansion of re in re
1.095 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.095 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.095 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.095 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.095 * [taylor]: Taking taylor expansion of im in re
1.095 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.095 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.095 * [taylor]: Taking taylor expansion of im in re
1.096 * [taylor]: Taking taylor expansion of 0 in re
1.097 * [taylor]: Taking taylor expansion of 0 in re
1.098 * [taylor]: Taking taylor expansion of 0 in re
1.099 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (im re) around 0
1.099 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.099 * [taylor]: Taking taylor expansion of 1/2 in re
1.099 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.099 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.099 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.099 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.099 * [taylor]: Taking taylor expansion of -1 in re
1.099 * [taylor]: Taking taylor expansion of im in re
1.099 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.099 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.099 * [taylor]: Taking taylor expansion of im in re
1.099 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.099 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.099 * [taylor]: Taking taylor expansion of -1 in re
1.099 * [taylor]: Taking taylor expansion of re in re
1.099 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
1.099 * [taylor]: Taking taylor expansion of 1/2 in im
1.099 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
1.099 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.099 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.099 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.099 * [taylor]: Taking taylor expansion of -1 in im
1.099 * [taylor]: Taking taylor expansion of im in im
1.099 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.099 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.099 * [taylor]: Taking taylor expansion of im in im
1.099 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.099 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.099 * [taylor]: Taking taylor expansion of -1 in im
1.099 * [taylor]: Taking taylor expansion of re in im
1.100 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
1.100 * [taylor]: Taking taylor expansion of 1/2 in im
1.100 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
1.100 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.100 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.100 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.100 * [taylor]: Taking taylor expansion of -1 in im
1.100 * [taylor]: Taking taylor expansion of im in im
1.100 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.100 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.100 * [taylor]: Taking taylor expansion of im in im
1.100 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.100 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.100 * [taylor]: Taking taylor expansion of -1 in im
1.100 * [taylor]: Taking taylor expansion of re in im
1.100 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.100 * [taylor]: Taking taylor expansion of 1/2 in re
1.100 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.100 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.100 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.100 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.100 * [taylor]: Taking taylor expansion of -1 in re
1.100 * [taylor]: Taking taylor expansion of im in re
1.100 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.100 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.100 * [taylor]: Taking taylor expansion of im in re
1.101 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.101 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.101 * [taylor]: Taking taylor expansion of -1 in re
1.101 * [taylor]: Taking taylor expansion of re in re
1.101 * [taylor]: Taking taylor expansion of 0 in re
1.102 * [taylor]: Taking taylor expansion of 0 in re
1.103 * [taylor]: Taking taylor expansion of 0 in re
1.104 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.104 * [approximate]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in (im re) around 0
1.104 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in re
1.104 * [taylor]: Taking taylor expansion of 1/2 in re
1.104 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in re
1.104 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in re
1.104 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
1.104 * [taylor]: Taking taylor expansion of (exp im) in re
1.104 * [taylor]: Taking taylor expansion of im in re
1.104 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
1.104 * [taylor]: Taking taylor expansion of (neg im) in re
1.104 * [taylor]: Taking taylor expansion of im in re
1.104 * [taylor]: Taking taylor expansion of (sin re) in re
1.104 * [taylor]: Taking taylor expansion of re in re
1.104 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in im
1.104 * [taylor]: Taking taylor expansion of 1/2 in im
1.104 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in im
1.104 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im
1.104 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.104 * [taylor]: Taking taylor expansion of (exp im) in im
1.104 * [taylor]: Taking taylor expansion of im in im
1.104 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.104 * [taylor]: Taking taylor expansion of (neg im) in im
1.104 * [taylor]: Taking taylor expansion of im in im
1.105 * [taylor]: Taking taylor expansion of (sin re) in im
1.105 * [taylor]: Taking taylor expansion of re in im
1.105 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in im
1.105 * [taylor]: Taking taylor expansion of 1/2 in im
1.105 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in im
1.105 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im
1.105 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.105 * [taylor]: Taking taylor expansion of (exp im) in im
1.105 * [taylor]: Taking taylor expansion of im in im
1.105 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.105 * [taylor]: Taking taylor expansion of (neg im) in im
1.105 * [taylor]: Taking taylor expansion of im in im
1.105 * [taylor]: Taking taylor expansion of (sin re) in im
1.105 * [taylor]: Taking taylor expansion of re in im
1.105 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 2) (sin re))) in re
1.105 * [taylor]: Taking taylor expansion of 1/2 in re
1.105 * [taylor]: Taking taylor expansion of (* (sqrt 2) (sin re)) in re
1.105 * [taylor]: Taking taylor expansion of (sqrt 2) in re
1.105 * [taylor]: Taking taylor expansion of 2 in re
1.105 * [taylor]: Taking taylor expansion of (sin re) in re
1.105 * [taylor]: Taking taylor expansion of re in re
1.106 * [taylor]: Taking taylor expansion of 0 in re
1.106 * [taylor]: Taking taylor expansion of (* 1/4 (/ (sin re) (sqrt 2))) in re
1.106 * [taylor]: Taking taylor expansion of 1/4 in re
1.106 * [taylor]: Taking taylor expansion of (/ (sin re) (sqrt 2)) in re
1.106 * [taylor]: Taking taylor expansion of (sin re) in re
1.106 * [taylor]: Taking taylor expansion of re in re
1.107 * [taylor]: Taking taylor expansion of (sqrt 2) in re
1.107 * [taylor]: Taking taylor expansion of 2 in re
1.108 * [taylor]: Taking taylor expansion of 0 in re
1.109 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in (im re) around 0
1.109 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re
1.109 * [taylor]: Taking taylor expansion of 1/2 in re
1.109 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.109 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.109 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.109 * [taylor]: Taking taylor expansion of re in re
1.109 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.109 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.109 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.109 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.109 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.109 * [taylor]: Taking taylor expansion of im in re
1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.109 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.109 * [taylor]: Taking taylor expansion of im in re
1.109 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im
1.109 * [taylor]: Taking taylor expansion of 1/2 in im
1.109 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.109 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.109 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.110 * [taylor]: Taking taylor expansion of re in im
1.110 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.110 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.110 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.110 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.110 * [taylor]: Taking taylor expansion of im in im
1.110 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.110 * [taylor]: Taking taylor expansion of im in im
1.110 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im
1.110 * [taylor]: Taking taylor expansion of 1/2 in im
1.110 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.110 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.110 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.110 * [taylor]: Taking taylor expansion of re in im
1.110 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.110 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.110 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.110 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.110 * [taylor]: Taking taylor expansion of im in im
1.110 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.110 * [taylor]: Taking taylor expansion of im in im
1.111 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re
1.111 * [taylor]: Taking taylor expansion of 1/2 in re
1.111 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.111 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.111 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.111 * [taylor]: Taking taylor expansion of re in re
1.111 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.111 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.111 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.111 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.111 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.111 * [taylor]: Taking taylor expansion of im in re
1.111 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.111 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.111 * [taylor]: Taking taylor expansion of im in re
1.113 * [taylor]: Taking taylor expansion of 0 in re
1.113 * [taylor]: Taking taylor expansion of 0 in re
1.115 * [taylor]: Taking taylor expansion of 0 in re
1.115 * [approximate]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in (im re) around 0
1.115 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re
1.115 * [taylor]: Taking taylor expansion of 1/2 in re
1.115 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re
1.115 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re
1.115 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.115 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.115 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.115 * [taylor]: Taking taylor expansion of -1 in re
1.115 * [taylor]: Taking taylor expansion of im in re
1.115 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.116 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.116 * [taylor]: Taking taylor expansion of im in re
1.116 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.116 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.116 * [taylor]: Taking taylor expansion of -1 in re
1.116 * [taylor]: Taking taylor expansion of re in re
1.116 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im
1.116 * [taylor]: Taking taylor expansion of 1/2 in im
1.116 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im
1.116 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im
1.116 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.116 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.116 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.116 * [taylor]: Taking taylor expansion of -1 in im
1.116 * [taylor]: Taking taylor expansion of im in im
1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.116 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.116 * [taylor]: Taking taylor expansion of im in im
1.117 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.117 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.117 * [taylor]: Taking taylor expansion of -1 in im
1.117 * [taylor]: Taking taylor expansion of re in im
1.117 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im
1.117 * [taylor]: Taking taylor expansion of 1/2 in im
1.117 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im
1.117 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im
1.117 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.117 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.117 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.117 * [taylor]: Taking taylor expansion of -1 in im
1.117 * [taylor]: Taking taylor expansion of im in im
1.117 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.117 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.117 * [taylor]: Taking taylor expansion of im in im
1.117 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.117 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.117 * [taylor]: Taking taylor expansion of -1 in im
1.117 * [taylor]: Taking taylor expansion of re in im
1.118 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re
1.118 * [taylor]: Taking taylor expansion of 1/2 in re
1.118 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re
1.118 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re
1.118 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.118 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.118 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.118 * [taylor]: Taking taylor expansion of -1 in re
1.118 * [taylor]: Taking taylor expansion of im in re
1.118 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.118 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.118 * [taylor]: Taking taylor expansion of im in re
1.118 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.118 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.118 * [taylor]: Taking taylor expansion of -1 in re
1.118 * [taylor]: Taking taylor expansion of re in re
1.119 * [taylor]: Taking taylor expansion of 0 in re
1.120 * [taylor]: Taking taylor expansion of 0 in re
1.121 * [taylor]: Taking taylor expansion of 0 in re
1.121 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.122 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
1.122 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.122 * [taylor]: Taking taylor expansion of (exp im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.122 * [taylor]: Taking taylor expansion of (neg im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.122 * [taylor]: Taking taylor expansion of (exp im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.122 * [taylor]: Taking taylor expansion of (neg im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.123 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1.123 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.123 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.123 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.123 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.123 * [taylor]: Taking taylor expansion of im in im
1.123 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.123 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.123 * [taylor]: Taking taylor expansion of im in im
1.123 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.123 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.123 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.123 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.123 * [taylor]: Taking taylor expansion of im in im
1.123 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.123 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.123 * [taylor]: Taking taylor expansion of im in im
1.124 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1.124 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.124 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.124 * [taylor]: Taking taylor expansion of -1 in im
1.124 * [taylor]: Taking taylor expansion of im in im
1.124 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.124 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.124 * [taylor]: Taking taylor expansion of im in im
1.124 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.124 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.124 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.124 * [taylor]: Taking taylor expansion of -1 in im
1.124 * [taylor]: Taking taylor expansion of im in im
1.124 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.124 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.124 * [taylor]: Taking taylor expansion of im in im
1.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.125 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
1.125 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.125 * [taylor]: Taking taylor expansion of (exp im) in im
1.125 * [taylor]: Taking taylor expansion of im in im
1.125 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.125 * [taylor]: Taking taylor expansion of (neg im) in im
1.125 * [taylor]: Taking taylor expansion of im in im
1.125 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.125 * [taylor]: Taking taylor expansion of (exp im) in im
1.125 * [taylor]: Taking taylor expansion of im in im
1.125 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.125 * [taylor]: Taking taylor expansion of (neg im) in im
1.125 * [taylor]: Taking taylor expansion of im in im
1.126 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1.126 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.126 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.126 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.126 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.126 * [taylor]: Taking taylor expansion of im in im
1.126 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.126 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.126 * [taylor]: Taking taylor expansion of im in im
1.126 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.126 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.126 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.126 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.126 * [taylor]: Taking taylor expansion of im in im
1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.127 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.127 * [taylor]: Taking taylor expansion of im in im
1.127 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1.127 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.127 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.127 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.127 * [taylor]: Taking taylor expansion of -1 in im
1.127 * [taylor]: Taking taylor expansion of im in im
1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.127 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.127 * [taylor]: Taking taylor expansion of im in im
1.127 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.127 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.127 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.127 * [taylor]: Taking taylor expansion of -1 in im
1.127 * [taylor]: Taking taylor expansion of im in im
1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.127 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.127 * [taylor]: Taking taylor expansion of im in im
1.128 * * * [progress]: simplifying candidates
1.129 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (+.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (+.f64 (log.f64 1/2) (log.f64 (sin.f64 re)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (+.f64 (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (log.f64 (*.f64 1/2 (sin.f64 re)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (+.f64 (log.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (log.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (exp.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 re) (sin.f64 re)) (sin.f64 re)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) (*.f64 1/2 (sin.f64 re)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (sqrt.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (sqrt.f64 (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))))
  (*.f64 (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 1))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 1))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) 1)
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (+.f64 (log.f64 1/2) (log.f64 (sin.f64 re))))
  (+.f64 (log.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (log.f64 (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (exp.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (sin.f64 re) (sin.f64 re)) (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (*.f64 1/2 (sin.f64 re))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1/2)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im)))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (-.f64 (+.f64 re (*.f64 1/2 (*.f64 re (pow.f64 im 2)))) (*.f64 1/6 (pow.f64 re 3)))
  (*.f64 1/2 (*.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (sin.f64 re)))
  (*.f64 1/2 (*.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (sin.f64 re)))
  (-.f64 (+.f64 (*.f64 1/2 (*.f64 re (sqrt.f64 2))) (*.f64 1/4 (/.f64 (*.f64 re (pow.f64 im 2)) (sqrt.f64 2)))) (*.f64 1/12 (*.f64 (pow.f64 re 3) (sqrt.f64 2))))
  (*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))) (sin.f64 re)))
  (*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))) (sin.f64 re)))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2))
  (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
  (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2))
  (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im)))
  (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im))
1.184 * * [simplify]: iteration  0 :  4886  enodes  (cost  1227 )
1.185 * * [simplify]: iteration  1 :  4886  enodes  (cost  1227 )
1.189 * [simplify]: Simplified to:
   (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (pow.f64 (sqrt.f64 (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sin.f64 re))
  (*.f64 1/8 (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re)) 3))
  (*.f64 1/8 (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re)) 3))
  (*.f64 1/8 (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re)) 3))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (*.f64 1/8 (pow.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re)) 3))
  (sqrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))
  (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))
  (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (fabs.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (log.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (log.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (pow.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (sin.f64 re))
  (*.f64 1/8 (pow.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re)) 3))
  (*.f64 1/8 (pow.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re)) 3))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))))
  (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 1/8 (pow.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sin.f64 re)) 3))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 1/2)
  (*.f64 (*.f64 1/2 (sin.f64 re)) (cbrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))))
  (*.f64 (*.f64 1/2 (sin.f64 re)) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))
  (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
  (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))
  (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1))
  (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
  (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (-.f64 (+.f64 re (*.f64 1/2 (*.f64 re (*.f64 im im)))) (*.f64 1/6 (pow.f64 re 3)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 1/2 (sin.f64 re)))
  (+.f64 (*.f64 1/4 (/.f64 (*.f64 re (*.f64 im im)) (sqrt.f64 2))) (*.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 re) (*.f64 (pow.f64 re 3) -1/12))))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re)))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
  (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
1.190 * * * [progress]: adding candidates to table
1.254 * [progress]: [Phase 3 of 3] Extracting.
1.254 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))> #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>)
1.255 * * * [regime-changes]: Trying 4 branch expressions: ((sin.f64 re) (*.f64 1/2 (sin.f64 re)) im re)
1.255 * * * * [regimes]: Trying to branch on (sin.f64 re) from (#<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))> #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>)
1.312 * * * * [regimes]: Trying to branch on (*.f64 1/2 (sin.f64 re)) from (#<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))> #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>)
1.350 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))> #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>)
1.383 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re)))))> #<alt (λ (re im) (*.f64 (*.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 1/2 (sin.f64 re))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))>)
1.418 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.418 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
1.420 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
1.420 * * [simplify]: iteration  1 :  12  enodes  (cost  15 )
1.420 * [simplify]: Simplified to:
   (+.f64 (/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)) (*.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im)))
4.787 * [regime-testing]: End program error score: 0.019450551631544088