9.345 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.469 * * * [progress]: [2/2] Setting up program.
0.472 * [progress]: [Phase 2 of 3] Improving.
0.472 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)))
0.566 * * [simplify]: iteration  0 :  5415  enodes  (cost  11 )
0.567 * [simplify]: Simplified to:
   (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.571 * * [progress]: iteration 1 / 4
0.571 * * * [progress]: picking best candidate
0.578 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))>
0.578 * * * [progress]: localizing error
0.587 * * * [progress]: generating rewritten candidates
0.587 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.593 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.604 * * * [progress]: generating series expansions
0.604 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.604 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
0.604 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.605 * [taylor]: Taking taylor expansion of (exp im) in im
0.605 * [taylor]: Taking taylor expansion of im in im
0.605 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.605 * [taylor]: Taking taylor expansion of (neg im) in im
0.605 * [taylor]: Taking taylor expansion of im in im
0.605 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.605 * [taylor]: Taking taylor expansion of (exp im) in im
0.605 * [taylor]: Taking taylor expansion of im in im
0.605 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.605 * [taylor]: Taking taylor expansion of (neg im) in im
0.605 * [taylor]: Taking taylor expansion of im in im
0.607 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
0.607 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.607 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.607 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.607 * [taylor]: Taking taylor expansion of im in im
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.607 * [taylor]: Taking taylor expansion of im in im
0.607 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.607 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.607 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.607 * [taylor]: Taking taylor expansion of im in im
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.607 * [taylor]: Taking taylor expansion of im in im
0.608 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
0.608 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.608 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.608 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.608 * [taylor]: Taking taylor expansion of -1 in im
0.608 * [taylor]: Taking taylor expansion of im in im
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.608 * [taylor]: Taking taylor expansion of im in im
0.608 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.608 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.608 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.608 * [taylor]: Taking taylor expansion of -1 in im
0.608 * [taylor]: Taking taylor expansion of im in im
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.608 * [taylor]: Taking taylor expansion of im in im
0.609 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.609 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in (re im) around 0
0.609 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
0.609 * [taylor]: Taking taylor expansion of 1/2 in im
0.609 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
0.609 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
0.609 * [taylor]: Taking taylor expansion of (exp im) in im
0.609 * [taylor]: Taking taylor expansion of im in im
0.609 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.609 * [taylor]: Taking taylor expansion of (neg im) in im
0.609 * [taylor]: Taking taylor expansion of im in im
0.609 * [taylor]: Taking taylor expansion of (sin re) in im
0.609 * [taylor]: Taking taylor expansion of re in im
0.609 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
0.609 * [taylor]: Taking taylor expansion of 1/2 in re
0.609 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
0.609 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
0.609 * [taylor]: Taking taylor expansion of (exp im) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.609 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
0.609 * [taylor]: Taking taylor expansion of (neg im) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.609 * [taylor]: Taking taylor expansion of (sin re) in re
0.609 * [taylor]: Taking taylor expansion of re in re
0.609 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
0.609 * [taylor]: Taking taylor expansion of 1/2 in re
0.609 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
0.609 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
0.609 * [taylor]: Taking taylor expansion of (exp im) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.609 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
0.609 * [taylor]: Taking taylor expansion of (neg im) in re
0.609 * [taylor]: Taking taylor expansion of im in re
0.609 * [taylor]: Taking taylor expansion of (sin re) in re
0.609 * [taylor]: Taking taylor expansion of re in re
0.610 * [taylor]: Taking taylor expansion of 0 in im
0.610 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp im)) (* 1/2 (exp (neg im)))) in im
0.610 * [taylor]: Taking taylor expansion of (* 1/2 (exp im)) in im
0.610 * [taylor]: Taking taylor expansion of 1/2 in im
0.610 * [taylor]: Taking taylor expansion of (exp im) in im
0.610 * [taylor]: Taking taylor expansion of im in im
0.610 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg im))) in im
0.610 * [taylor]: Taking taylor expansion of 1/2 in im
0.610 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.610 * [taylor]: Taking taylor expansion of (neg im) in im
0.610 * [taylor]: Taking taylor expansion of im in im
0.611 * [taylor]: Taking taylor expansion of 0 in im
0.611 * [taylor]: Taking taylor expansion of (neg (+ (* 1/12 (exp im)) (* 1/12 (exp (neg im))))) in im
0.611 * [taylor]: Taking taylor expansion of (+ (* 1/12 (exp im)) (* 1/12 (exp (neg im)))) in im
0.611 * [taylor]: Taking taylor expansion of (* 1/12 (exp im)) in im
0.611 * [taylor]: Taking taylor expansion of 1/12 in im
0.611 * [taylor]: Taking taylor expansion of (exp im) in im
0.611 * [taylor]: Taking taylor expansion of im in im
0.611 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg im))) in im
0.611 * [taylor]: Taking taylor expansion of 1/12 in im
0.611 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
0.611 * [taylor]: Taking taylor expansion of (neg im) in im
0.611 * [taylor]: Taking taylor expansion of im in im
0.612 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
0.612 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
0.612 * [taylor]: Taking taylor expansion of 1/2 in im
0.612 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
0.612 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.612 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.612 * [taylor]: Taking taylor expansion of re in im
0.612 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.612 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.612 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.612 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.612 * [taylor]: Taking taylor expansion of im in im
0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.612 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.612 * [taylor]: Taking taylor expansion of im in im
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
0.613 * [taylor]: Taking taylor expansion of 1/2 in re
0.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
0.613 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.613 * [taylor]: Taking taylor expansion of re in re
0.613 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
0.613 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
0.613 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.613 * [taylor]: Taking taylor expansion of im in re
0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.613 * [taylor]: Taking taylor expansion of im in re
0.613 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
0.613 * [taylor]: Taking taylor expansion of 1/2 in re
0.613 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
0.613 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.613 * [taylor]: Taking taylor expansion of re in re
0.613 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
0.613 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
0.613 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.613 * [taylor]: Taking taylor expansion of im in re
0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.613 * [taylor]: Taking taylor expansion of im in re
0.614 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
0.614 * [taylor]: Taking taylor expansion of 1/2 in im
0.614 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
0.614 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.614 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.614 * [taylor]: Taking taylor expansion of re in im
0.614 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
0.614 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
0.614 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.614 * [taylor]: Taking taylor expansion of im in im
0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.614 * [taylor]: Taking taylor expansion of im in im
0.615 * [taylor]: Taking taylor expansion of 0 in im
0.616 * [taylor]: Taking taylor expansion of 0 in im
0.618 * [taylor]: Taking taylor expansion of 0 in im
0.618 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0
0.618 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
0.618 * [taylor]: Taking taylor expansion of 1/2 in im
0.618 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
0.618 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.618 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.618 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.618 * [taylor]: Taking taylor expansion of -1 in im
0.618 * [taylor]: Taking taylor expansion of im in im
0.618 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.618 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.618 * [taylor]: Taking taylor expansion of im in im
0.618 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.618 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.618 * [taylor]: Taking taylor expansion of -1 in im
0.618 * [taylor]: Taking taylor expansion of re in im
0.619 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
0.619 * [taylor]: Taking taylor expansion of 1/2 in re
0.619 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
0.619 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.619 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.619 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.619 * [taylor]: Taking taylor expansion of -1 in re
0.619 * [taylor]: Taking taylor expansion of im in re
0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.619 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.619 * [taylor]: Taking taylor expansion of im in re
0.619 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.619 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.619 * [taylor]: Taking taylor expansion of -1 in re
0.619 * [taylor]: Taking taylor expansion of re in re
0.619 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
0.619 * [taylor]: Taking taylor expansion of 1/2 in re
0.619 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
0.619 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.619 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.619 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.619 * [taylor]: Taking taylor expansion of -1 in re
0.619 * [taylor]: Taking taylor expansion of im in re
0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.619 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.619 * [taylor]: Taking taylor expansion of im in re
0.619 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.619 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.619 * [taylor]: Taking taylor expansion of -1 in re
0.619 * [taylor]: Taking taylor expansion of re in re
0.620 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
0.620 * [taylor]: Taking taylor expansion of 1/2 in im
0.620 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
0.620 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.620 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.620 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.620 * [taylor]: Taking taylor expansion of -1 in im
0.620 * [taylor]: Taking taylor expansion of im in im
0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.620 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.620 * [taylor]: Taking taylor expansion of im in im
0.620 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.620 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.620 * [taylor]: Taking taylor expansion of -1 in im
0.620 * [taylor]: Taking taylor expansion of re in im
0.621 * [taylor]: Taking taylor expansion of 0 in im
0.622 * [taylor]: Taking taylor expansion of 0 in im
0.623 * [taylor]: Taking taylor expansion of 0 in im
0.623 * * * [progress]: simplifying candidates
0.624 * [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.681 * * [simplify]: iteration  0 :  5332  enodes  (cost  440 )
0.684 * [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.684 * * * [progress]: adding candidates to table
0.859 * * [progress]: iteration 2 / 4
0.859 * * * [progress]: picking best candidate
0.864 * * * * [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.864 * * * [progress]: localizing error
0.873 * * * [progress]: generating rewritten candidates
0.873 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.880 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.886 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.896 * * * [progress]: generating series expansions
0.896 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.897 * [approximate]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in (im re) around 0
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.897 * [taylor]: Taking taylor expansion of 1/2 in re
0.897 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.897 * [taylor]: Taking taylor expansion of (exp im) in re
0.897 * [taylor]: Taking taylor expansion of im in re
0.897 * [taylor]: Taking taylor expansion of (sin re) in re
0.897 * [taylor]: Taking taylor expansion of re in re
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.897 * [taylor]: Taking taylor expansion of 1/2 in im
0.897 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im
0.897 * [taylor]: Taking taylor expansion of (exp im) in im
0.897 * [taylor]: Taking taylor expansion of im in im
0.897 * [taylor]: Taking taylor expansion of (sin re) in im
0.897 * [taylor]: Taking taylor expansion of re in im
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.897 * [taylor]: Taking taylor expansion of 1/2 in im
0.897 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im
0.897 * [taylor]: Taking taylor expansion of (exp im) in im
0.897 * [taylor]: Taking taylor expansion of im in im
0.897 * [taylor]: Taking taylor expansion of (sin re) in im
0.897 * [taylor]: Taking taylor expansion of re in im
0.897 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
0.897 * [taylor]: Taking taylor expansion of 1/2 in re
0.897 * [taylor]: Taking taylor expansion of (sin re) in re
0.897 * [taylor]: Taking taylor expansion of re in re
0.898 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
0.898 * [taylor]: Taking taylor expansion of 1/2 in re
0.898 * [taylor]: Taking taylor expansion of (sin re) in re
0.898 * [taylor]: Taking taylor expansion of re in re
0.898 * [taylor]: Taking taylor expansion of (* 1/4 (sin re)) in re
0.898 * [taylor]: Taking taylor expansion of 1/4 in re
0.898 * [taylor]: Taking taylor expansion of (sin re) in re
0.898 * [taylor]: Taking taylor expansion of re in re
0.899 * [taylor]: Taking taylor expansion of (* 1/12 (sin re)) in re
0.899 * [taylor]: Taking taylor expansion of 1/12 in re
0.899 * [taylor]: Taking taylor expansion of (sin re) in re
0.899 * [taylor]: Taking taylor expansion of re in re
0.899 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0
0.899 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.899 * [taylor]: Taking taylor expansion of 1/2 in re
0.899 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.899 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.899 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.899 * [taylor]: Taking taylor expansion of re in re
0.899 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.899 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.899 * [taylor]: Taking taylor expansion of im in re
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.900 * [taylor]: Taking taylor expansion of 1/2 in im
0.900 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.900 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.900 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.900 * [taylor]: Taking taylor expansion of re in im
0.900 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.900 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.900 * [taylor]: Taking taylor expansion of im in im
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.900 * [taylor]: Taking taylor expansion of 1/2 in im
0.900 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.900 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.900 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.900 * [taylor]: Taking taylor expansion of re in im
0.900 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.900 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.900 * [taylor]: Taking taylor expansion of im in im
0.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.900 * [taylor]: Taking taylor expansion of 1/2 in re
0.900 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 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 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 im in re
0.901 * [taylor]: Taking taylor expansion of 0 in re
0.902 * [taylor]: Taking taylor expansion of 0 in re
0.903 * [taylor]: Taking taylor expansion of 0 in re
0.903 * [approximate]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0
0.903 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.903 * [taylor]: Taking taylor expansion of 1/2 in re
0.903 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.903 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.903 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.903 * [taylor]: Taking taylor expansion of -1 in re
0.903 * [taylor]: Taking taylor expansion of im in re
0.903 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.903 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.903 * [taylor]: Taking taylor expansion of -1 in re
0.903 * [taylor]: Taking taylor expansion of re in re
0.903 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.903 * [taylor]: Taking taylor expansion of 1/2 in im
0.903 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.903 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.903 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.903 * [taylor]: Taking taylor expansion of -1 in im
0.903 * [taylor]: Taking taylor expansion of im in im
0.903 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.903 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.903 * [taylor]: Taking taylor expansion of -1 in im
0.903 * [taylor]: Taking taylor expansion of re in im
0.903 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.903 * [taylor]: Taking taylor expansion of 1/2 in im
0.904 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.904 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.904 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.904 * [taylor]: Taking taylor expansion of -1 in im
0.904 * [taylor]: Taking taylor expansion of im in im
0.904 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.904 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.904 * [taylor]: Taking taylor expansion of -1 in im
0.904 * [taylor]: Taking taylor expansion of re in im
0.904 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.904 * [taylor]: Taking taylor expansion of 1/2 in re
0.904 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.904 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.904 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.904 * [taylor]: Taking taylor expansion of -1 in re
0.904 * [taylor]: Taking taylor expansion of im in re
0.904 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.904 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.904 * [taylor]: Taking taylor expansion of -1 in re
0.904 * [taylor]: Taking taylor expansion of re in re
0.905 * [taylor]: Taking taylor expansion of 0 in re
0.905 * [taylor]: Taking taylor expansion of 0 in re
0.906 * [taylor]: Taking taylor expansion of 0 in re
0.906 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.907 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in (re im) around 0
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in im
0.907 * [taylor]: Taking taylor expansion of 1/2 in im
0.907 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im
0.907 * [taylor]: Taking taylor expansion of (sin re) in im
0.907 * [taylor]: Taking taylor expansion of re in im
0.907 * [taylor]: Taking taylor expansion of (exp im) in im
0.907 * [taylor]: Taking taylor expansion of im in im
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.907 * [taylor]: Taking taylor expansion of 1/2 in re
0.907 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.907 * [taylor]: Taking taylor expansion of (sin re) in re
0.907 * [taylor]: Taking taylor expansion of re in re
0.907 * [taylor]: Taking taylor expansion of (exp im) in re
0.907 * [taylor]: Taking taylor expansion of im in re
0.907 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.907 * [taylor]: Taking taylor expansion of 1/2 in re
0.907 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.907 * [taylor]: Taking taylor expansion of (sin re) in re
0.907 * [taylor]: Taking taylor expansion of re in re
0.907 * [taylor]: Taking taylor expansion of (exp im) in re
0.907 * [taylor]: Taking taylor expansion of im in re
0.907 * [taylor]: Taking taylor expansion of (/ 1/2 (exp im)) in im
0.907 * [taylor]: Taking taylor expansion of 1/2 in im
0.907 * [taylor]: Taking taylor expansion of (exp im) in im
0.907 * [taylor]: Taking taylor expansion of im in im
0.908 * [taylor]: Taking taylor expansion of 0 in im
0.908 * [taylor]: Taking taylor expansion of (neg (* 1/12 (/ 1 (exp im)))) in im
0.908 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (exp im))) in im
0.908 * [taylor]: Taking taylor expansion of 1/12 in im
0.908 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.908 * [taylor]: Taking taylor expansion of (exp im) in im
0.908 * [taylor]: Taking taylor expansion of im in im
0.909 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
0.909 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.909 * [taylor]: Taking taylor expansion of 1/2 in im
0.909 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.909 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.909 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.909 * [taylor]: Taking taylor expansion of re in im
0.909 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.909 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.909 * [taylor]: Taking taylor expansion of im in im
0.909 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.909 * [taylor]: Taking taylor expansion of 1/2 in re
0.909 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.909 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.909 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.909 * [taylor]: Taking taylor expansion of re in re
0.909 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.909 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.909 * [taylor]: Taking taylor expansion of im in re
0.909 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.909 * [taylor]: Taking taylor expansion of 1/2 in re
0.909 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.909 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.909 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.909 * [taylor]: Taking taylor expansion of re in re
0.909 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.909 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.909 * [taylor]: Taking taylor expansion of im in re
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 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 im in im
0.910 * [taylor]: Taking taylor expansion of 0 in im
0.911 * [taylor]: Taking taylor expansion of 0 in im
0.912 * [taylor]: Taking taylor expansion of 0 in im
0.913 * [approximate]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.913 * [taylor]: Taking taylor expansion of 1/2 in im
0.913 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.913 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.913 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.913 * [taylor]: Taking taylor expansion of -1 in im
0.913 * [taylor]: Taking taylor expansion of re in im
0.913 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.913 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.913 * [taylor]: Taking taylor expansion of -1 in im
0.913 * [taylor]: Taking taylor expansion of im in im
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.913 * [taylor]: Taking taylor expansion of 1/2 in re
0.913 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.913 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.913 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.913 * [taylor]: Taking taylor expansion of -1 in re
0.913 * [taylor]: Taking taylor expansion of re in re
0.913 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.913 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.913 * [taylor]: Taking taylor expansion of -1 in re
0.913 * [taylor]: Taking taylor expansion of im in re
0.913 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.913 * [taylor]: Taking taylor expansion of 1/2 in re
0.913 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.913 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.914 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.914 * [taylor]: Taking taylor expansion of -1 in re
0.914 * [taylor]: Taking taylor expansion of re in re
0.914 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.914 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.914 * [taylor]: Taking taylor expansion of -1 in re
0.914 * [taylor]: Taking taylor expansion of im in re
0.914 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.914 * [taylor]: Taking taylor expansion of 1/2 in im
0.914 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.914 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.914 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.914 * [taylor]: Taking taylor expansion of -1 in im
0.914 * [taylor]: Taking taylor expansion of re in im
0.914 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.914 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.914 * [taylor]: Taking taylor expansion of -1 in im
0.914 * [taylor]: Taking taylor expansion of im in im
0.915 * [taylor]: Taking taylor expansion of 0 in im
0.916 * [taylor]: Taking taylor expansion of 0 in im
0.917 * [taylor]: Taking taylor expansion of 0 in im
0.917 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.917 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in (re im) around 0
0.917 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in im
0.917 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in im
0.917 * [taylor]: Taking taylor expansion of 1/2 in im
0.917 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) 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 (sin re) in im
0.917 * [taylor]: Taking taylor expansion of re in im
0.917 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in im
0.917 * [taylor]: Taking taylor expansion of 1/2 in im
0.917 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im
0.917 * [taylor]: Taking taylor expansion of (sin re) in im
0.917 * [taylor]: Taking taylor expansion of re 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/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in re
0.917 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.917 * [taylor]: Taking taylor expansion of 1/2 in re
0.917 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.917 * [taylor]: Taking taylor expansion of (exp im) in re
0.918 * [taylor]: Taking taylor expansion of im in re
0.918 * [taylor]: Taking taylor expansion of (sin re) in re
0.918 * [taylor]: Taking taylor expansion of re in re
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.918 * [taylor]: Taking taylor expansion of 1/2 in re
0.918 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.918 * [taylor]: Taking taylor expansion of (sin re) in re
0.918 * [taylor]: Taking taylor expansion of re in re
0.918 * [taylor]: Taking taylor expansion of (exp im) in re
0.918 * [taylor]: Taking taylor expansion of im in re
0.918 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp im) (sin re))) (* 1/2 (/ (sin re) (exp im)))) in re
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp im) (sin re))) in re
0.918 * [taylor]: Taking taylor expansion of 1/2 in re
0.918 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re
0.918 * [taylor]: Taking taylor expansion of (exp im) in re
0.918 * [taylor]: Taking taylor expansion of im in re
0.918 * [taylor]: Taking taylor expansion of (sin re) in re
0.918 * [taylor]: Taking taylor expansion of re in re
0.918 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin re) (exp im))) in re
0.918 * [taylor]: Taking taylor expansion of 1/2 in re
0.918 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re
0.918 * [taylor]: Taking taylor expansion of (sin re) in re
0.918 * [taylor]: Taking taylor expansion of re in re
0.918 * [taylor]: Taking taylor expansion of (exp im) in re
0.918 * [taylor]: Taking taylor expansion of im in re
0.918 * [taylor]: Taking taylor expansion of 0 in im
0.919 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (exp im))) (* 1/2 (exp im))) in im
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp im))) in im
0.919 * [taylor]: Taking taylor expansion of 1/2 in im
0.919 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.919 * [taylor]: Taking taylor expansion of (exp im) in im
0.919 * [taylor]: Taking taylor expansion of im in im
0.919 * [taylor]: Taking taylor expansion of (* 1/2 (exp im)) in im
0.919 * [taylor]: Taking taylor expansion of 1/2 in im
0.919 * [taylor]: Taking taylor expansion of (exp im) in im
0.919 * [taylor]: Taking taylor expansion of im in im
0.919 * [taylor]: Taking taylor expansion of 0 in im
0.920 * [taylor]: Taking taylor expansion of (neg (+ (* 1/12 (/ 1 (exp im))) (* 1/12 (exp im)))) in im
0.920 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (exp im))) (* 1/12 (exp im))) in im
0.920 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (exp im))) in im
0.920 * [taylor]: Taking taylor expansion of 1/12 in im
0.920 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.920 * [taylor]: Taking taylor expansion of (exp im) in im
0.920 * [taylor]: Taking taylor expansion of im in im
0.920 * [taylor]: Taking taylor expansion of (* 1/12 (exp im)) in im
0.920 * [taylor]: Taking taylor expansion of 1/12 in im
0.920 * [taylor]: Taking taylor expansion of (exp im) in im
0.920 * [taylor]: Taking taylor expansion of im in im
0.921 * [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.921 * [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.922 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.922 * [taylor]: Taking taylor expansion of 1/2 in im
0.922 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.922 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.922 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.922 * [taylor]: Taking taylor expansion of re in im
0.922 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.922 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.922 * [taylor]: Taking taylor expansion of im in im
0.922 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re
0.922 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.922 * [taylor]: Taking taylor expansion of 1/2 in re
0.922 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.922 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.922 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.922 * [taylor]: Taking taylor expansion of re in re
0.922 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.922 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.922 * [taylor]: Taking taylor expansion of im in re
0.922 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.922 * [taylor]: Taking taylor expansion of 1/2 in re
0.922 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.922 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.922 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.922 * [taylor]: Taking taylor expansion of re in re
0.922 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.922 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.922 * [taylor]: Taking taylor expansion of im in re
0.922 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re
0.922 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.922 * [taylor]: Taking taylor expansion of 1/2 in re
0.922 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
0.922 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.922 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.922 * [taylor]: Taking taylor expansion of re in re
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.923 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.923 * [taylor]: Taking taylor expansion of im in re
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
0.923 * [taylor]: Taking taylor expansion of 1/2 in re
0.923 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
0.923 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
0.923 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.923 * [taylor]: Taking taylor expansion of re in re
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.923 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.923 * [taylor]: Taking taylor expansion of im in re
0.923 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im
0.923 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.923 * [taylor]: Taking taylor expansion of 1/2 in im
0.923 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
0.923 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.923 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.923 * [taylor]: Taking taylor expansion of re in im
0.923 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.923 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.923 * [taylor]: Taking taylor expansion of im in im
0.924 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
0.924 * [taylor]: Taking taylor expansion of 1/2 in im
0.924 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
0.924 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
0.924 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.924 * [taylor]: Taking taylor expansion of re in im
0.924 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.924 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.924 * [taylor]: Taking taylor expansion of im in im
0.925 * [taylor]: Taking taylor expansion of 0 in im
0.926 * [taylor]: Taking taylor expansion of 0 in im
0.928 * [taylor]: Taking taylor expansion of 0 in im
0.929 * [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.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.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 (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.930 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in re
0.930 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.930 * [taylor]: Taking taylor expansion of 1/2 in re
0.930 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.930 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of im in re
0.930 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of re in re
0.930 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.930 * [taylor]: Taking taylor expansion of 1/2 in re
0.930 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.930 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of re in re
0.930 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of im in re
0.930 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in re
0.930 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re
0.930 * [taylor]: Taking taylor expansion of 1/2 in re
0.930 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re
0.930 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of im in re
0.930 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.930 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.930 * [taylor]: Taking taylor expansion of -1 in re
0.930 * [taylor]: Taking taylor expansion of re in re
0.930 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re
0.930 * [taylor]: Taking taylor expansion of 1/2 in re
0.930 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
0.931 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.931 * [taylor]: Taking taylor expansion of -1 in re
0.931 * [taylor]: Taking taylor expansion of re in re
0.931 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.931 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.931 * [taylor]: Taking taylor expansion of -1 in re
0.931 * [taylor]: Taking taylor expansion of im in re
0.931 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im))))) in im
0.931 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im
0.931 * [taylor]: Taking taylor expansion of 1/2 in im
0.931 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im
0.931 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.931 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.931 * [taylor]: Taking taylor expansion of -1 in im
0.931 * [taylor]: Taking taylor expansion of im in im
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.931 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.931 * [taylor]: Taking taylor expansion of -1 in im
0.931 * [taylor]: Taking taylor expansion of re in im
0.931 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im
0.931 * [taylor]: Taking taylor expansion of 1/2 in im
0.931 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
0.931 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
0.931 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.932 * [taylor]: Taking taylor expansion of -1 in im
0.932 * [taylor]: Taking taylor expansion of re in im
0.932 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.932 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.932 * [taylor]: Taking taylor expansion of -1 in im
0.932 * [taylor]: Taking taylor expansion of im in im
0.933 * [taylor]: Taking taylor expansion of 0 in im
0.938 * [taylor]: Taking taylor expansion of 0 in im
0.940 * [taylor]: Taking taylor expansion of 0 in im
0.940 * * * [progress]: simplifying candidates
0.941 * [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.974 * * [simplify]: iteration  0 :  5046  enodes  (cost  608 )
0.977 * [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.977 * * * [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.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.097 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.114 * * * [progress]: generating series expansions
1.114 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.114 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in (im re) around 0
1.114 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in re
1.114 * [taylor]: Taking taylor expansion of 1/2 in re
1.114 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re
1.114 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
1.115 * [taylor]: Taking taylor expansion of (exp im) in re
1.115 * [taylor]: Taking taylor expansion of im in re
1.115 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
1.115 * [taylor]: Taking taylor expansion of (neg im) in re
1.115 * [taylor]: Taking taylor expansion of im in re
1.115 * [taylor]: Taking taylor expansion of (sin re) in re
1.115 * [taylor]: Taking taylor expansion of re in re
1.115 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
1.115 * [taylor]: Taking taylor expansion of 1/2 in im
1.115 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
1.115 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.115 * [taylor]: Taking taylor expansion of (exp im) in im
1.115 * [taylor]: Taking taylor expansion of im in im
1.115 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.115 * [taylor]: Taking taylor expansion of (neg im) in im
1.115 * [taylor]: Taking taylor expansion of im in im
1.115 * [taylor]: Taking taylor expansion of (sin re) in im
1.115 * [taylor]: Taking taylor expansion of re in im
1.115 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp im) (exp (neg im))) (sin re))) in im
1.115 * [taylor]: Taking taylor expansion of 1/2 in im
1.115 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im
1.115 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.115 * [taylor]: Taking taylor expansion of (exp im) in im
1.115 * [taylor]: Taking taylor expansion of im in im
1.115 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.116 * [taylor]: Taking taylor expansion of (neg im) in im
1.116 * [taylor]: Taking taylor expansion of im in im
1.116 * [taylor]: Taking taylor expansion of (sin re) in im
1.116 * [taylor]: Taking taylor expansion of re in im
1.116 * [taylor]: Taking taylor expansion of (sin re) in re
1.116 * [taylor]: Taking taylor expansion of re in re
1.117 * [taylor]: Taking taylor expansion of 0 in re
1.118 * [taylor]: Taking taylor expansion of (* 1/2 (sin re)) in re
1.118 * [taylor]: Taking taylor expansion of 1/2 in re
1.118 * [taylor]: Taking taylor expansion of (sin re) in re
1.118 * [taylor]: Taking taylor expansion of re in re
1.119 * [taylor]: Taking taylor expansion of 0 in re
1.120 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (im re) around 0
1.120 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.120 * [taylor]: Taking taylor expansion of 1/2 in re
1.120 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.120 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.120 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.121 * [taylor]: Taking taylor expansion of re in re
1.121 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.121 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.121 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.121 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.121 * [taylor]: Taking taylor expansion of im in re
1.121 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.121 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.121 * [taylor]: Taking taylor expansion of im in re
1.121 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.121 * [taylor]: Taking taylor expansion of 1/2 in im
1.121 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.121 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.121 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.121 * [taylor]: Taking taylor expansion of re in im
1.121 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.122 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.122 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.122 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.122 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.122 * [taylor]: Taking taylor expansion of 1/2 in im
1.122 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.122 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.122 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.122 * [taylor]: Taking taylor expansion of re in im
1.122 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.122 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.122 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.122 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.122 * [taylor]: Taking taylor expansion of im in im
1.122 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.122 * [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 (* 1/2 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.123 * [taylor]: Taking taylor expansion of 1/2 in re
1.123 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.123 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.123 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.123 * [taylor]: Taking taylor expansion of re in re
1.124 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.124 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.124 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.124 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.124 * [taylor]: Taking taylor expansion of im in re
1.124 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.124 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.124 * [taylor]: Taking taylor expansion of im in re
1.126 * [taylor]: Taking taylor expansion of 0 in re
1.128 * [taylor]: Taking taylor expansion of 0 in re
1.130 * [taylor]: Taking taylor expansion of 0 in re
1.131 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (im re) around 0
1.131 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.131 * [taylor]: Taking taylor expansion of 1/2 in re
1.131 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.131 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.131 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.131 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.131 * [taylor]: Taking taylor expansion of -1 in re
1.131 * [taylor]: Taking taylor expansion of im in re
1.131 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.131 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.131 * [taylor]: Taking taylor expansion of im in re
1.131 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.131 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.131 * [taylor]: Taking taylor expansion of -1 in re
1.131 * [taylor]: Taking taylor expansion of re in re
1.132 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
1.132 * [taylor]: Taking taylor expansion of 1/2 in im
1.132 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
1.132 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.132 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.132 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.132 * [taylor]: Taking taylor expansion of -1 in im
1.132 * [taylor]: Taking taylor expansion of im in im
1.132 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.132 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.132 * [taylor]: Taking taylor expansion of im in im
1.132 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.132 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.132 * [taylor]: Taking taylor expansion of -1 in im
1.132 * [taylor]: Taking taylor expansion of re in im
1.132 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
1.132 * [taylor]: Taking taylor expansion of 1/2 in im
1.132 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
1.132 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.133 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.133 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.133 * [taylor]: Taking taylor expansion of -1 in im
1.133 * [taylor]: Taking taylor expansion of im in im
1.133 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.133 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.133 * [taylor]: Taking taylor expansion of im in im
1.133 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.133 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.133 * [taylor]: Taking taylor expansion of -1 in im
1.133 * [taylor]: Taking taylor expansion of re in im
1.134 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.134 * [taylor]: Taking taylor expansion of 1/2 in re
1.134 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.134 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.134 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.134 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.134 * [taylor]: Taking taylor expansion of -1 in re
1.134 * [taylor]: Taking taylor expansion of im in re
1.134 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.134 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.134 * [taylor]: Taking taylor expansion of im in re
1.135 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.135 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.135 * [taylor]: Taking taylor expansion of -1 in re
1.135 * [taylor]: Taking taylor expansion of re in re
1.136 * [taylor]: Taking taylor expansion of 0 in re
1.138 * [taylor]: Taking taylor expansion of 0 in re
1.139 * [taylor]: Taking taylor expansion of 0 in re
1.139 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.139 * [approximate]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in (im re) around 0
1.139 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in re
1.139 * [taylor]: Taking taylor expansion of 1/2 in re
1.139 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in re
1.139 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in re
1.139 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
1.139 * [taylor]: Taking taylor expansion of (exp im) in re
1.139 * [taylor]: Taking taylor expansion of im in re
1.139 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
1.139 * [taylor]: Taking taylor expansion of (neg im) in re
1.139 * [taylor]: Taking taylor expansion of im in re
1.140 * [taylor]: Taking taylor expansion of (sin re) in re
1.140 * [taylor]: Taking taylor expansion of re in re
1.140 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in im
1.140 * [taylor]: Taking taylor expansion of 1/2 in im
1.140 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in im
1.140 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im
1.140 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.140 * [taylor]: Taking taylor expansion of (exp im) in im
1.140 * [taylor]: Taking taylor expansion of im in im
1.140 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.140 * [taylor]: Taking taylor expansion of (neg im) in im
1.140 * [taylor]: Taking taylor expansion of im in im
1.140 * [taylor]: Taking taylor expansion of (sin re) in im
1.140 * [taylor]: Taking taylor expansion of re in im
1.140 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in im
1.140 * [taylor]: Taking taylor expansion of 1/2 in im
1.140 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in im
1.140 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im
1.140 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.140 * [taylor]: Taking taylor expansion of (exp im) in im
1.140 * [taylor]: Taking taylor expansion of im in im
1.140 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.140 * [taylor]: Taking taylor expansion of (neg im) in im
1.140 * [taylor]: Taking taylor expansion of im in im
1.140 * [taylor]: Taking taylor expansion of (sin re) in im
1.140 * [taylor]: Taking taylor expansion of re in im
1.141 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 2) (sin re))) in re
1.141 * [taylor]: Taking taylor expansion of 1/2 in re
1.141 * [taylor]: Taking taylor expansion of (* (sqrt 2) (sin re)) in re
1.141 * [taylor]: Taking taylor expansion of (sqrt 2) in re
1.141 * [taylor]: Taking taylor expansion of 2 in re
1.141 * [taylor]: Taking taylor expansion of (sin re) in re
1.141 * [taylor]: Taking taylor expansion of re in re
1.141 * [taylor]: Taking taylor expansion of 0 in re
1.142 * [taylor]: Taking taylor expansion of (* 1/4 (/ (sin re) (sqrt 2))) in re
1.142 * [taylor]: Taking taylor expansion of 1/4 in re
1.142 * [taylor]: Taking taylor expansion of (/ (sin re) (sqrt 2)) in re
1.142 * [taylor]: Taking taylor expansion of (sin re) in re
1.142 * [taylor]: Taking taylor expansion of re in re
1.142 * [taylor]: Taking taylor expansion of (sqrt 2) in re
1.142 * [taylor]: Taking taylor expansion of 2 in re
1.143 * [taylor]: Taking taylor expansion of 0 in re
1.144 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in (im re) around 0
1.144 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re
1.144 * [taylor]: Taking taylor expansion of 1/2 in re
1.144 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.144 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.144 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.144 * [taylor]: Taking taylor expansion of re in re
1.144 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.144 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.144 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.144 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.144 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.144 * [taylor]: Taking taylor expansion of im in re
1.144 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.144 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.144 * [taylor]: Taking taylor expansion of im in re
1.145 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im
1.145 * [taylor]: Taking taylor expansion of 1/2 in im
1.145 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.145 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.145 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.145 * [taylor]: Taking taylor expansion of re in im
1.145 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.145 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.145 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.145 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.145 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.145 * [taylor]: Taking taylor expansion of im in im
1.145 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.145 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.145 * [taylor]: Taking taylor expansion of im in im
1.145 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im
1.145 * [taylor]: Taking taylor expansion of 1/2 in im
1.145 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
1.146 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.146 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.146 * [taylor]: Taking taylor expansion of re in im
1.146 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
1.146 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.146 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.146 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.146 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.146 * [taylor]: Taking taylor expansion of im in im
1.146 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.146 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.146 * [taylor]: Taking taylor expansion of im in im
1.146 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re
1.146 * [taylor]: Taking taylor expansion of 1/2 in re
1.146 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
1.146 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.146 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.147 * [taylor]: Taking taylor expansion of re in re
1.147 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
1.147 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
1.147 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
1.147 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
1.147 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.147 * [taylor]: Taking taylor expansion of im in re
1.147 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.147 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.147 * [taylor]: Taking taylor expansion of im in re
1.148 * [taylor]: Taking taylor expansion of 0 in re
1.149 * [taylor]: Taking taylor expansion of 0 in re
1.153 * [taylor]: Taking taylor expansion of 0 in re
1.153 * [approximate]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in (im re) around 0
1.154 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re
1.154 * [taylor]: Taking taylor expansion of 1/2 in re
1.154 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re
1.154 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re
1.154 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.154 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.154 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.154 * [taylor]: Taking taylor expansion of -1 in re
1.154 * [taylor]: Taking taylor expansion of im in re
1.154 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.154 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.154 * [taylor]: Taking taylor expansion of im in re
1.154 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.154 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.154 * [taylor]: Taking taylor expansion of -1 in re
1.154 * [taylor]: Taking taylor expansion of re in re
1.154 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im
1.154 * [taylor]: Taking taylor expansion of 1/2 in im
1.154 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im
1.154 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im
1.154 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.154 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.154 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.154 * [taylor]: Taking taylor expansion of -1 in im
1.154 * [taylor]: Taking taylor expansion of im in im
1.155 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.155 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.155 * [taylor]: Taking taylor expansion of im in im
1.155 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.155 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.155 * [taylor]: Taking taylor expansion of -1 in im
1.155 * [taylor]: Taking taylor expansion of re in im
1.155 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im
1.155 * [taylor]: Taking taylor expansion of 1/2 in im
1.155 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im
1.155 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im
1.155 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.155 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.155 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.155 * [taylor]: Taking taylor expansion of -1 in im
1.155 * [taylor]: Taking taylor expansion of im in im
1.155 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.155 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.155 * [taylor]: Taking taylor expansion of im in im
1.155 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.155 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.155 * [taylor]: Taking taylor expansion of -1 in im
1.155 * [taylor]: Taking taylor expansion of re in im
1.156 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re
1.156 * [taylor]: Taking taylor expansion of 1/2 in re
1.156 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re
1.156 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re
1.156 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.156 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.156 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.156 * [taylor]: Taking taylor expansion of -1 in re
1.156 * [taylor]: Taking taylor expansion of im in re
1.156 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.156 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.156 * [taylor]: Taking taylor expansion of im in re
1.157 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.157 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.157 * [taylor]: Taking taylor expansion of -1 in re
1.157 * [taylor]: Taking taylor expansion of re in re
1.157 * [taylor]: Taking taylor expansion of 0 in re
1.158 * [taylor]: Taking taylor expansion of 0 in re
1.160 * [taylor]: Taking taylor expansion of 0 in re
1.160 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.160 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
1.160 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.160 * [taylor]: Taking taylor expansion of (exp im) in im
1.160 * [taylor]: Taking taylor expansion of im in im
1.160 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.160 * [taylor]: Taking taylor expansion of (neg im) in im
1.160 * [taylor]: Taking taylor expansion of im in im
1.160 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.160 * [taylor]: Taking taylor expansion of (exp im) in im
1.160 * [taylor]: Taking taylor expansion of im in im
1.160 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.160 * [taylor]: Taking taylor expansion of (neg im) in im
1.160 * [taylor]: Taking taylor expansion of im in im
1.161 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1.161 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.161 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.161 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.161 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.161 * [taylor]: Taking taylor expansion of im in im
1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.162 * [taylor]: Taking taylor expansion of im in im
1.162 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.162 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.162 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.162 * [taylor]: Taking taylor expansion of im in im
1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.162 * [taylor]: Taking taylor expansion of im in im
1.162 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1.162 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.162 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.162 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.162 * [taylor]: Taking taylor expansion of -1 in im
1.162 * [taylor]: Taking taylor expansion of im in im
1.162 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.162 * [taylor]: Taking taylor expansion of im in im
1.163 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.163 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.163 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.163 * [taylor]: Taking taylor expansion of -1 in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.163 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.163 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.163 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.163 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
1.163 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.163 * [taylor]: Taking taylor expansion of (exp im) in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.163 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.163 * [taylor]: Taking taylor expansion of (neg im) in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.163 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
1.163 * [taylor]: Taking taylor expansion of (exp im) in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.163 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
1.163 * [taylor]: Taking taylor expansion of (neg im) in im
1.163 * [taylor]: Taking taylor expansion of im in im
1.165 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1.165 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.165 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.165 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.165 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.165 * [taylor]: Taking taylor expansion of im in im
1.165 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.165 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.165 * [taylor]: Taking taylor expansion of im in im
1.165 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
1.165 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
1.165 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
1.165 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.165 * [taylor]: Taking taylor expansion of im in im
1.165 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.165 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.165 * [taylor]: Taking taylor expansion of im in im
1.165 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1.166 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.166 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.166 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.166 * [taylor]: Taking taylor expansion of -1 in im
1.166 * [taylor]: Taking taylor expansion of im in im
1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.166 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.166 * [taylor]: Taking taylor expansion of im in im
1.166 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.166 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.166 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.166 * [taylor]: Taking taylor expansion of -1 in im
1.166 * [taylor]: Taking taylor expansion of im in im
1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.166 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.166 * [taylor]: Taking taylor expansion of im in im
1.166 * * * [progress]: simplifying candidates
1.168 * [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.223 * * [simplify]: iteration  0 :  4886  enodes  (cost  1227 )
1.224 * * [simplify]: iteration  1 :  4886  enodes  (cost  1227 )
1.229 * [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.229 * * * [progress]: adding candidates to table
1.290 * [progress]: [Phase 3 of 3] Extracting.
1.290 * * [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.291 * * * [regime-changes]: Trying 4 branch expressions: ((sin.f64 re) (*.f64 1/2 (sin.f64 re)) im re)
1.291 * * * * [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.322 * * * * [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.356 * * * * [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.388 * * * * [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.419 * [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.738 * [regime-testing]: End program error score: 0.019450551631544088