11.187 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
3.686 * * * [progress]: [2/2] Setting up program.
3.689 * [progress]: [Phase 2 of 3] Improving.
3.689 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
3.691 * * [simplify]: iteration  0 :  23  enodes  (cost  7 )
3.692 * * [simplify]: iteration  1 :  58  enodes  (cost  7 )
3.694 * * [simplify]: iteration  2 :  95  enodes  (cost  7 )
3.696 * * [simplify]: iteration  3 :  209  enodes  (cost  7 )
3.698 * * [simplify]: iteration  4 :  459  enodes  (cost  7 )
3.702 * * [simplify]: iteration  5 :  596  enodes  (cost  7 )
3.709 * * [simplify]: iteration  6 :  1198  enodes  (cost  7 )
3.719 * * [simplify]: iteration  7 :  1931  enodes  (cost  7 )
3.762 * * [simplify]: iteration  8 :  5001  enodes  (cost  7 )
3.763 * [simplify]: Simplified to:
   (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
3.763 * * [progress]: iteration 1 / 4
3.763 * * * [progress]: picking best candidate
3.766 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))>
3.766 * * * [progress]: localizing error
3.776 * * * [progress]: generating rewritten candidates
3.776 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.781 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.791 * * * [progress]: generating series expansions
3.791 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.791 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0
3.791 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
3.791 * [taylor]: Taking taylor expansion of (exp im) in im
3.791 * [taylor]: Taking taylor expansion of im in im
3.791 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
3.791 * [taylor]: Taking taylor expansion of (neg im) in im
3.791 * [taylor]: Taking taylor expansion of im in im
3.791 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
3.791 * [taylor]: Taking taylor expansion of (exp im) in im
3.791 * [taylor]: Taking taylor expansion of im in im
3.791 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
3.791 * [taylor]: Taking taylor expansion of (neg im) in im
3.791 * [taylor]: Taking taylor expansion of im in im
3.794 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0
3.794 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
3.794 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
3.794 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
3.794 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.794 * [taylor]: Taking taylor expansion of im in im
3.794 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.794 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.794 * [taylor]: Taking taylor expansion of im in im
3.794 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
3.794 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
3.794 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
3.794 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.794 * [taylor]: Taking taylor expansion of im in im
3.794 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.794 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.794 * [taylor]: Taking taylor expansion of im in im
3.795 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
3.795 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.795 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.795 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.795 * [taylor]: Taking taylor expansion of -1 in im
3.795 * [taylor]: Taking taylor expansion of im in im
3.795 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.795 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.795 * [taylor]: Taking taylor expansion of im in im
3.795 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.795 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.795 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.795 * [taylor]: Taking taylor expansion of -1 in im
3.795 * [taylor]: Taking taylor expansion of im in im
3.795 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.795 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.795 * [taylor]: Taking taylor expansion of im in im
3.796 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.796 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in (re im) around 0
3.796 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in im
3.796 * [taylor]: Taking taylor expansion of 0.5 in im
3.796 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in im
3.796 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
3.796 * [taylor]: Taking taylor expansion of (exp im) in im
3.796 * [taylor]: Taking taylor expansion of im in im
3.796 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
3.796 * [taylor]: Taking taylor expansion of (neg im) in im
3.796 * [taylor]: Taking taylor expansion of im in im
3.796 * [taylor]: Taking taylor expansion of (cos re) in im
3.796 * [taylor]: Taking taylor expansion of re in im
3.796 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in re
3.796 * [taylor]: Taking taylor expansion of 0.5 in re
3.796 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in re
3.796 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
3.796 * [taylor]: Taking taylor expansion of (exp im) in re
3.796 * [taylor]: Taking taylor expansion of im in re
3.796 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
3.796 * [taylor]: Taking taylor expansion of (neg im) in re
3.796 * [taylor]: Taking taylor expansion of im in re
3.796 * [taylor]: Taking taylor expansion of (cos re) in re
3.796 * [taylor]: Taking taylor expansion of re in re
3.796 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in re
3.796 * [taylor]: Taking taylor expansion of 0.5 in re
3.796 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in re
3.796 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re
3.796 * [taylor]: Taking taylor expansion of (exp im) in re
3.796 * [taylor]: Taking taylor expansion of im in re
3.796 * [taylor]: Taking taylor expansion of (exp (neg im)) in re
3.796 * [taylor]: Taking taylor expansion of (neg im) in re
3.796 * [taylor]: Taking taylor expansion of im in re
3.796 * [taylor]: Taking taylor expansion of (cos re) in re
3.796 * [taylor]: Taking taylor expansion of re in re
3.797 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (neg im)))) in im
3.797 * [taylor]: Taking taylor expansion of 0.5 in im
3.797 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im
3.797 * [taylor]: Taking taylor expansion of (exp im) in im
3.797 * [taylor]: Taking taylor expansion of im in im
3.797 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
3.797 * [taylor]: Taking taylor expansion of (neg im) in im
3.797 * [taylor]: Taking taylor expansion of im in im
3.797 * [taylor]: Taking taylor expansion of 0 in im
3.798 * [taylor]: Taking taylor expansion of (neg (+ (* 0.25 (exp im)) (* 0.25 (exp (neg im))))) in im
3.798 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (neg im)))) in im
3.798 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
3.798 * [taylor]: Taking taylor expansion of 0.25 in im
3.798 * [taylor]: Taking taylor expansion of (exp im) in im
3.798 * [taylor]: Taking taylor expansion of im in im
3.798 * [taylor]: Taking taylor expansion of (* 0.25 (exp (neg im))) in im
3.798 * [taylor]: Taking taylor expansion of 0.25 in im
3.798 * [taylor]: Taking taylor expansion of (exp (neg im)) in im
3.798 * [taylor]: Taking taylor expansion of (neg im) in im
3.798 * [taylor]: Taking taylor expansion of im in im
3.799 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
3.799 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
3.799 * [taylor]: Taking taylor expansion of 0.5 in im
3.799 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
3.799 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.799 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.799 * [taylor]: Taking taylor expansion of re in im
3.799 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
3.799 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
3.799 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
3.799 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.799 * [taylor]: Taking taylor expansion of im in im
3.799 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.799 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.799 * [taylor]: Taking taylor expansion of im in im
3.799 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
3.799 * [taylor]: Taking taylor expansion of 0.5 in re
3.799 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
3.799 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.799 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.799 * [taylor]: Taking taylor expansion of re in re
3.799 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
3.799 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
3.799 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
3.799 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.799 * [taylor]: Taking taylor expansion of im in re
3.799 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.799 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.799 * [taylor]: Taking taylor expansion of im in re
3.800 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re
3.800 * [taylor]: Taking taylor expansion of 0.5 in re
3.800 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re
3.800 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.800 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.800 * [taylor]: Taking taylor expansion of re in re
3.800 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re
3.800 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re
3.800 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re
3.800 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.800 * [taylor]: Taking taylor expansion of im in re
3.800 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.800 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.800 * [taylor]: Taking taylor expansion of im in re
3.800 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im
3.800 * [taylor]: Taking taylor expansion of 0.5 in im
3.800 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im
3.800 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.800 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.800 * [taylor]: Taking taylor expansion of re in im
3.800 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im
3.800 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im
3.800 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im
3.800 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.800 * [taylor]: Taking taylor expansion of im in im
3.800 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.800 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.800 * [taylor]: Taking taylor expansion of im in im
3.801 * [taylor]: Taking taylor expansion of 0 in im
3.802 * [taylor]: Taking taylor expansion of 0 in im
3.804 * [taylor]: Taking taylor expansion of 0 in im
3.804 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0
3.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
3.804 * [taylor]: Taking taylor expansion of 0.5 in im
3.804 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
3.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.804 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.804 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.804 * [taylor]: Taking taylor expansion of -1 in im
3.804 * [taylor]: Taking taylor expansion of im in im
3.804 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.804 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.804 * [taylor]: Taking taylor expansion of im in im
3.804 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.804 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.804 * [taylor]: Taking taylor expansion of -1 in im
3.804 * [taylor]: Taking taylor expansion of re in im
3.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.804 * [taylor]: Taking taylor expansion of 0.5 in re
3.804 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.804 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.804 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.804 * [taylor]: Taking taylor expansion of -1 in re
3.805 * [taylor]: Taking taylor expansion of im in re
3.805 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.805 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.805 * [taylor]: Taking taylor expansion of im in re
3.805 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.805 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.805 * [taylor]: Taking taylor expansion of -1 in re
3.805 * [taylor]: Taking taylor expansion of re in re
3.805 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
3.805 * [taylor]: Taking taylor expansion of 0.5 in re
3.805 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
3.805 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
3.805 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.805 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.805 * [taylor]: Taking taylor expansion of -1 in re
3.805 * [taylor]: Taking taylor expansion of im in re
3.805 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.805 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.805 * [taylor]: Taking taylor expansion of im in re
3.805 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.805 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.805 * [taylor]: Taking taylor expansion of -1 in re
3.805 * [taylor]: Taking taylor expansion of re in re
3.805 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
3.805 * [taylor]: Taking taylor expansion of 0.5 in im
3.805 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
3.805 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
3.805 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.805 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.805 * [taylor]: Taking taylor expansion of -1 in im
3.805 * [taylor]: Taking taylor expansion of im in im
3.805 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.805 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.805 * [taylor]: Taking taylor expansion of im in im
3.806 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.806 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.806 * [taylor]: Taking taylor expansion of -1 in im
3.806 * [taylor]: Taking taylor expansion of re in im
3.810 * [taylor]: Taking taylor expansion of 0 in im
3.811 * [taylor]: Taking taylor expansion of 0 in im
3.812 * [taylor]: Taking taylor expansion of 0 in im
3.813 * * * [progress]: simplifying candidates
3.813 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (exp (neg im))) (exp (exp im)))
  (log (+ (exp (neg im)) (exp im)))
  (exp (+ (exp (neg im)) (exp im)))
  (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im))))
  (cbrt (+ (exp (neg im)) (exp im)))
  (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im)))
  (sqrt (+ (exp (neg im)) (exp im)))
  (sqrt (+ (exp (neg im)) (exp im)))
  (+ (pow (exp (neg im)) 3) (pow (exp im) 3))
  (+ (* (exp (neg im)) (exp (neg im))) (- (* (exp im) (exp im)) (* (exp (neg im)) (exp im))))
  (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))
  (- (exp (neg im)) (exp im))
  (+ (exp (neg im)) (exp im))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
  (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (neg im)) (exp im))))
  (+ (log (* 0.5 (cos re))) (log (+ (exp (neg im)) (exp im))))
  (log (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im))))
  (* (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (* (* 0.5 (cos re)) (exp (neg im)))
  (* (* 0.5 (cos re)) (exp im))
  (* (exp (neg im)) (* 0.5 (cos re)))
  (* (exp im) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (+ (exp (neg im)) (exp im))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (+ (exp (neg im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (pow (exp (neg im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (cos re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (exp im) (exp (neg im)))
  (+ (exp (* -1 im)) (exp im))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re)))
  (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re)))
3.817 * * [simplify]: iteration  0 :  248  enodes  (cost  347 )
3.822 * * [simplify]: iteration  1 :  1228  enodes  (cost  286 )
3.848 * * [simplify]: iteration  2 :  5001  enodes  (cost  284 )
3.850 * [simplify]: Simplified to:
   (exp (+ (exp (neg im)) (exp im)))
  (log (+ (exp (* -1 im)) (exp im)))
  (exp (+ (exp (neg im)) (exp im)))
  (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im))))
  (cbrt (+ (exp (neg im)) (exp im)))
  (pow (+ (exp (* -1 im)) (exp im)) 3)
  (sqrt (+ (exp (neg im)) (exp im)))
  (sqrt (+ (exp (neg im)) (exp im)))
  (+ (pow (exp (neg im)) 3) (pow (exp im) 3))
  (+ (+ (pow (exp im) -2) -1) (exp (+ im im)))
  (+ (neg (exp (+ im im))) (pow (exp -1) (* 2 im)))
  (- (exp (neg im)) (exp im))
  (+ (exp (* -1 im)) (exp im))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
  (log (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (log (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (log (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (pow (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 3)
  (pow (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 3)
  (* (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (pow (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 3)
  (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))
  (/ (* 0.5 (cos re)) (exp im))
  (* (* 0.5 (cos re)) (exp im))
  (/ (* 0.5 (cos re)) (exp im))
  (* (* 0.5 (cos re)) (exp im))
  (* (* 0.5 (cos re)) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (+ (exp (neg im)) (exp im))))
  (* 0.5 (cos re))
  (* 0.5 (cos re))
  (* (cos re) (+ (exp (neg im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (pow (exp (neg im)) 3) (pow (exp im) 3)))
  (* (+ (* 0.5 (pow (exp im) -2)) (* 0.5 (neg (exp (+ im im))))) (cos re))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (exp (* -1 im)) (exp im))
  (+ (exp (* -1 im)) (exp im))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
3.851 * * * [progress]: adding candidates to table
3.888 * * [progress]: iteration 2 / 4
3.888 * * * [progress]: picking best candidate
3.891 * * * * [pick]: Picked  #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>
3.891 * * * [progress]: localizing error
3.900 * * * [progress]: generating rewritten candidates
3.900 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
3.907 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
3.913 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.921 * * * [progress]: generating series expansions
3.921 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
3.922 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0
3.922 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
3.922 * [taylor]: Taking taylor expansion of 0.5 in im
3.922 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
3.922 * [taylor]: Taking taylor expansion of (cos re) in im
3.922 * [taylor]: Taking taylor expansion of re in im
3.922 * [taylor]: Taking taylor expansion of (exp im) in im
3.922 * [taylor]: Taking taylor expansion of im in im
3.922 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
3.922 * [taylor]: Taking taylor expansion of 0.5 in re
3.922 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
3.922 * [taylor]: Taking taylor expansion of (cos re) in re
3.922 * [taylor]: Taking taylor expansion of re in re
3.922 * [taylor]: Taking taylor expansion of (exp im) in re
3.922 * [taylor]: Taking taylor expansion of im in re
3.922 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
3.922 * [taylor]: Taking taylor expansion of 0.5 in re
3.922 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
3.922 * [taylor]: Taking taylor expansion of (cos re) in re
3.922 * [taylor]: Taking taylor expansion of re in re
3.922 * [taylor]: Taking taylor expansion of (exp im) in re
3.922 * [taylor]: Taking taylor expansion of im in re
3.922 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
3.922 * [taylor]: Taking taylor expansion of 0.5 in im
3.922 * [taylor]: Taking taylor expansion of (exp im) in im
3.922 * [taylor]: Taking taylor expansion of im in im
3.923 * [taylor]: Taking taylor expansion of 0 in im
3.923 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (exp im)))) in im
3.923 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
3.923 * [taylor]: Taking taylor expansion of 0.25 in im
3.923 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
3.923 * [taylor]: Taking taylor expansion of (exp im) in im
3.923 * [taylor]: Taking taylor expansion of im in im
3.923 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
3.924 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.924 * [taylor]: Taking taylor expansion of 0.5 in im
3.924 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
3.924 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.924 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.924 * [taylor]: Taking taylor expansion of re in im
3.924 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.924 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.924 * [taylor]: Taking taylor expansion of im in im
3.924 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.924 * [taylor]: Taking taylor expansion of 0.5 in re
3.924 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
3.924 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.924 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.924 * [taylor]: Taking taylor expansion of re in re
3.924 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.924 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.924 * [taylor]: Taking taylor expansion of im in re
3.924 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.924 * [taylor]: Taking taylor expansion of 0.5 in re
3.924 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
3.924 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.924 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.924 * [taylor]: Taking taylor expansion of re in re
3.924 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.924 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.924 * [taylor]: Taking taylor expansion of im in re
3.924 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.924 * [taylor]: Taking taylor expansion of 0.5 in im
3.925 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
3.925 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.925 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.925 * [taylor]: Taking taylor expansion of re in im
3.925 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.925 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.925 * [taylor]: Taking taylor expansion of im in im
3.925 * [taylor]: Taking taylor expansion of 0 in im
3.926 * [taylor]: Taking taylor expansion of 0 in im
3.927 * [taylor]: Taking taylor expansion of 0 in im
3.927 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
3.927 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
3.927 * [taylor]: Taking taylor expansion of 0.5 in im
3.927 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
3.927 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.927 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.927 * [taylor]: Taking taylor expansion of -1 in im
3.927 * [taylor]: Taking taylor expansion of re in im
3.927 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.927 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.928 * [taylor]: Taking taylor expansion of -1 in im
3.928 * [taylor]: Taking taylor expansion of im in im
3.928 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
3.928 * [taylor]: Taking taylor expansion of 0.5 in re
3.928 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
3.928 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.928 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.928 * [taylor]: Taking taylor expansion of -1 in re
3.928 * [taylor]: Taking taylor expansion of re in re
3.928 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.928 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.928 * [taylor]: Taking taylor expansion of -1 in re
3.928 * [taylor]: Taking taylor expansion of im in re
3.928 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
3.928 * [taylor]: Taking taylor expansion of 0.5 in re
3.928 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
3.928 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.928 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.928 * [taylor]: Taking taylor expansion of -1 in re
3.928 * [taylor]: Taking taylor expansion of re in re
3.928 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.928 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.928 * [taylor]: Taking taylor expansion of -1 in re
3.928 * [taylor]: Taking taylor expansion of im in re
3.928 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
3.928 * [taylor]: Taking taylor expansion of 0.5 in im
3.928 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
3.928 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.928 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.928 * [taylor]: Taking taylor expansion of -1 in im
3.928 * [taylor]: Taking taylor expansion of re in im
3.929 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.929 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.929 * [taylor]: Taking taylor expansion of -1 in im
3.929 * [taylor]: Taking taylor expansion of im in im
3.929 * [taylor]: Taking taylor expansion of 0 in im
3.930 * [taylor]: Taking taylor expansion of 0 in im
3.931 * [taylor]: Taking taylor expansion of 0 in im
3.931 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
3.931 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (re im) around 0
3.931 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
3.931 * [taylor]: Taking taylor expansion of 0.5 in im
3.931 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
3.931 * [taylor]: Taking taylor expansion of (exp im) in im
3.931 * [taylor]: Taking taylor expansion of im in im
3.931 * [taylor]: Taking taylor expansion of (cos re) in im
3.931 * [taylor]: Taking taylor expansion of re in im
3.931 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
3.931 * [taylor]: Taking taylor expansion of 0.5 in re
3.932 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
3.932 * [taylor]: Taking taylor expansion of (exp im) in re
3.932 * [taylor]: Taking taylor expansion of im in re
3.932 * [taylor]: Taking taylor expansion of (cos re) in re
3.932 * [taylor]: Taking taylor expansion of re in re
3.932 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
3.932 * [taylor]: Taking taylor expansion of 0.5 in re
3.932 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
3.932 * [taylor]: Taking taylor expansion of (exp im) in re
3.932 * [taylor]: Taking taylor expansion of im in re
3.932 * [taylor]: Taking taylor expansion of (cos re) in re
3.932 * [taylor]: Taking taylor expansion of re in re
3.932 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
3.932 * [taylor]: Taking taylor expansion of 0.5 in im
3.932 * [taylor]: Taking taylor expansion of (exp im) in im
3.932 * [taylor]: Taking taylor expansion of im in im
3.932 * [taylor]: Taking taylor expansion of 0 in im
3.932 * [taylor]: Taking taylor expansion of (neg (* 0.25 (exp im))) in im
3.932 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
3.932 * [taylor]: Taking taylor expansion of 0.25 in im
3.933 * [taylor]: Taking taylor expansion of (exp im) in im
3.933 * [taylor]: Taking taylor expansion of im in im
3.933 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
3.933 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.933 * [taylor]: Taking taylor expansion of 0.5 in im
3.933 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
3.933 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.933 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.933 * [taylor]: Taking taylor expansion of re in im
3.933 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.933 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.933 * [taylor]: Taking taylor expansion of im in im
3.933 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.933 * [taylor]: Taking taylor expansion of 0.5 in re
3.933 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
3.933 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.933 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.933 * [taylor]: Taking taylor expansion of re in re
3.933 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.933 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.933 * [taylor]: Taking taylor expansion of im in re
3.933 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.933 * [taylor]: Taking taylor expansion of 0.5 in re
3.933 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
3.933 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.933 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.933 * [taylor]: Taking taylor expansion of re in re
3.933 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.933 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.933 * [taylor]: Taking taylor expansion of im in re
3.934 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.934 * [taylor]: Taking taylor expansion of 0.5 in im
3.934 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
3.934 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.934 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.934 * [taylor]: Taking taylor expansion of re in im
3.934 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.934 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.934 * [taylor]: Taking taylor expansion of im in im
3.934 * [taylor]: Taking taylor expansion of 0 in im
3.935 * [taylor]: Taking taylor expansion of 0 in im
3.936 * [taylor]: Taking taylor expansion of 0 in im
3.936 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in (re im) around 0
3.936 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
3.936 * [taylor]: Taking taylor expansion of 0.5 in im
3.936 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
3.936 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.936 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.936 * [taylor]: Taking taylor expansion of -1 in im
3.936 * [taylor]: Taking taylor expansion of im in im
3.936 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.936 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.936 * [taylor]: Taking taylor expansion of -1 in im
3.936 * [taylor]: Taking taylor expansion of re in im
3.936 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
3.936 * [taylor]: Taking taylor expansion of 0.5 in re
3.936 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
3.936 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.936 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.936 * [taylor]: Taking taylor expansion of -1 in re
3.936 * [taylor]: Taking taylor expansion of im in re
3.936 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.936 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.936 * [taylor]: Taking taylor expansion of -1 in re
3.936 * [taylor]: Taking taylor expansion of re in re
3.937 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
3.937 * [taylor]: Taking taylor expansion of 0.5 in re
3.937 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
3.937 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.937 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.937 * [taylor]: Taking taylor expansion of -1 in re
3.937 * [taylor]: Taking taylor expansion of im in re
3.937 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.937 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.937 * [taylor]: Taking taylor expansion of -1 in re
3.937 * [taylor]: Taking taylor expansion of re in re
3.937 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
3.937 * [taylor]: Taking taylor expansion of 0.5 in im
3.937 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
3.937 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.937 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.937 * [taylor]: Taking taylor expansion of -1 in im
3.937 * [taylor]: Taking taylor expansion of im in im
3.937 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.937 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.937 * [taylor]: Taking taylor expansion of -1 in im
3.937 * [taylor]: Taking taylor expansion of re in im
3.938 * [taylor]: Taking taylor expansion of 0 in im
3.938 * [taylor]: Taking taylor expansion of 0 in im
3.939 * [taylor]: Taking taylor expansion of 0 in im
3.939 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.940 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (re im) around 0
3.940 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
3.940 * [taylor]: Taking taylor expansion of 0.5 in im
3.940 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
3.940 * [taylor]: Taking taylor expansion of (exp im) in im
3.940 * [taylor]: Taking taylor expansion of im in im
3.940 * [taylor]: Taking taylor expansion of (cos re) in im
3.940 * [taylor]: Taking taylor expansion of re in im
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
3.940 * [taylor]: Taking taylor expansion of 0.5 in im
3.940 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
3.940 * [taylor]: Taking taylor expansion of (cos re) in im
3.940 * [taylor]: Taking taylor expansion of re in im
3.940 * [taylor]: Taking taylor expansion of (exp im) in im
3.940 * [taylor]: Taking taylor expansion of im in im
3.940 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
3.940 * [taylor]: Taking taylor expansion of 0.5 in re
3.940 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
3.940 * [taylor]: Taking taylor expansion of (exp im) in re
3.940 * [taylor]: Taking taylor expansion of im in re
3.940 * [taylor]: Taking taylor expansion of (cos re) in re
3.940 * [taylor]: Taking taylor expansion of re in re
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
3.940 * [taylor]: Taking taylor expansion of 0.5 in re
3.940 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
3.940 * [taylor]: Taking taylor expansion of (cos re) in re
3.940 * [taylor]: Taking taylor expansion of re in re
3.940 * [taylor]: Taking taylor expansion of (exp im) in re
3.940 * [taylor]: Taking taylor expansion of im in re
3.940 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
3.940 * [taylor]: Taking taylor expansion of 0.5 in re
3.940 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
3.940 * [taylor]: Taking taylor expansion of (exp im) in re
3.940 * [taylor]: Taking taylor expansion of im in re
3.940 * [taylor]: Taking taylor expansion of (cos re) in re
3.940 * [taylor]: Taking taylor expansion of re in re
3.940 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
3.940 * [taylor]: Taking taylor expansion of 0.5 in re
3.940 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
3.940 * [taylor]: Taking taylor expansion of (cos re) in re
3.940 * [taylor]: Taking taylor expansion of re in re
3.940 * [taylor]: Taking taylor expansion of (exp im) in re
3.940 * [taylor]: Taking taylor expansion of im in re
3.941 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) in im
3.941 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
3.941 * [taylor]: Taking taylor expansion of 0.5 in im
3.941 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
3.941 * [taylor]: Taking taylor expansion of (exp im) in im
3.941 * [taylor]: Taking taylor expansion of im in im
3.941 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
3.941 * [taylor]: Taking taylor expansion of 0.5 in im
3.941 * [taylor]: Taking taylor expansion of (exp im) in im
3.941 * [taylor]: Taking taylor expansion of im in im
3.941 * [taylor]: Taking taylor expansion of 0 in im
3.942 * [taylor]: Taking taylor expansion of (neg (+ (* 0.25 (/ 1 (exp im))) (* 0.25 (exp im)))) in im
3.942 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (exp im))) (* 0.25 (exp im))) in im
3.942 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
3.942 * [taylor]: Taking taylor expansion of 0.25 in im
3.942 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
3.942 * [taylor]: Taking taylor expansion of (exp im) in im
3.942 * [taylor]: Taking taylor expansion of im in im
3.942 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
3.942 * [taylor]: Taking taylor expansion of 0.25 in im
3.942 * [taylor]: Taking taylor expansion of (exp im) in im
3.942 * [taylor]: Taking taylor expansion of im in im
3.943 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in (re im) around 0
3.943 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
3.943 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.943 * [taylor]: Taking taylor expansion of 0.5 in im
3.943 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
3.943 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.943 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.943 * [taylor]: Taking taylor expansion of re in im
3.943 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.943 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.943 * [taylor]: Taking taylor expansion of im in im
3.943 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.943 * [taylor]: Taking taylor expansion of 0.5 in im
3.943 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
3.943 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.943 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.943 * [taylor]: Taking taylor expansion of re in im
3.944 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.944 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.944 * [taylor]: Taking taylor expansion of im in im
3.944 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re
3.944 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.944 * [taylor]: Taking taylor expansion of 0.5 in re
3.944 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
3.944 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.944 * [taylor]: Taking taylor expansion of re in re
3.944 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.944 * [taylor]: Taking taylor expansion of im in re
3.944 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.944 * [taylor]: Taking taylor expansion of 0.5 in re
3.944 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
3.944 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.944 * [taylor]: Taking taylor expansion of re in re
3.944 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.944 * [taylor]: Taking taylor expansion of im in re
3.944 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re
3.944 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.944 * [taylor]: Taking taylor expansion of 0.5 in re
3.944 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
3.944 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.944 * [taylor]: Taking taylor expansion of re in re
3.944 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.944 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.944 * [taylor]: Taking taylor expansion of im in re
3.944 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
3.944 * [taylor]: Taking taylor expansion of 0.5 in re
3.945 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
3.945 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.945 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.945 * [taylor]: Taking taylor expansion of re in re
3.945 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
3.945 * [taylor]: Taking taylor expansion of (/ 1 im) in re
3.945 * [taylor]: Taking taylor expansion of im in re
3.945 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
3.945 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.945 * [taylor]: Taking taylor expansion of 0.5 in im
3.945 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
3.945 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.945 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.945 * [taylor]: Taking taylor expansion of re in im
3.945 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.945 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.945 * [taylor]: Taking taylor expansion of im in im
3.945 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
3.945 * [taylor]: Taking taylor expansion of 0.5 in im
3.945 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
3.945 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.945 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.945 * [taylor]: Taking taylor expansion of re in im
3.945 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
3.945 * [taylor]: Taking taylor expansion of (/ 1 im) in im
3.945 * [taylor]: Taking taylor expansion of im in im
3.947 * [taylor]: Taking taylor expansion of 0 in im
3.948 * [taylor]: Taking taylor expansion of 0 in im
3.950 * [taylor]: Taking taylor expansion of 0 in im
3.951 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in (re im) around 0
3.951 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in im
3.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
3.951 * [taylor]: Taking taylor expansion of 0.5 in im
3.951 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
3.951 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.951 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.951 * [taylor]: Taking taylor expansion of -1 in im
3.951 * [taylor]: Taking taylor expansion of re in im
3.951 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.951 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.951 * [taylor]: Taking taylor expansion of -1 in im
3.951 * [taylor]: Taking taylor expansion of im in im
3.951 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
3.951 * [taylor]: Taking taylor expansion of 0.5 in im
3.951 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
3.951 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.951 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.951 * [taylor]: Taking taylor expansion of -1 in im
3.951 * [taylor]: Taking taylor expansion of im in im
3.951 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.951 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.951 * [taylor]: Taking taylor expansion of -1 in im
3.951 * [taylor]: Taking taylor expansion of re in im
3.951 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in re
3.951 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
3.951 * [taylor]: Taking taylor expansion of 0.5 in re
3.951 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
3.951 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.951 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.951 * [taylor]: Taking taylor expansion of -1 in re
3.951 * [taylor]: Taking taylor expansion of re in re
3.951 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.951 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.951 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of im in re
3.952 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
3.952 * [taylor]: Taking taylor expansion of 0.5 in re
3.952 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
3.952 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of im in re
3.952 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of re in re
3.952 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in re
3.952 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
3.952 * [taylor]: Taking taylor expansion of 0.5 in re
3.952 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
3.952 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of re in re
3.952 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of im in re
3.952 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
3.952 * [taylor]: Taking taylor expansion of 0.5 in re
3.952 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
3.952 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 im) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of im in re
3.952 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.952 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.952 * [taylor]: Taking taylor expansion of -1 in re
3.952 * [taylor]: Taking taylor expansion of re in re
3.953 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in im
3.953 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
3.953 * [taylor]: Taking taylor expansion of 0.5 in im
3.953 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
3.953 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.953 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.953 * [taylor]: Taking taylor expansion of -1 in im
3.953 * [taylor]: Taking taylor expansion of re in im
3.953 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.953 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.953 * [taylor]: Taking taylor expansion of -1 in im
3.953 * [taylor]: Taking taylor expansion of im in im
3.953 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
3.953 * [taylor]: Taking taylor expansion of 0.5 in im
3.953 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
3.953 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
3.953 * [taylor]: Taking taylor expansion of (/ -1 im) in im
3.953 * [taylor]: Taking taylor expansion of -1 in im
3.953 * [taylor]: Taking taylor expansion of im in im
3.953 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.953 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.953 * [taylor]: Taking taylor expansion of -1 in im
3.953 * [taylor]: Taking taylor expansion of re in im
3.954 * [taylor]: Taking taylor expansion of 0 in im
3.956 * [taylor]: Taking taylor expansion of 0 in im
3.958 * [taylor]: Taking taylor expansion of 0 in im
3.958 * * * [progress]: simplifying candidates
3.959 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log 0.5) (log (cos re))) im)
  (- (log (* 0.5 (cos re))) im)
  (log (/ (* 0.5 (cos re)) (exp im)))
  (exp (/ (* 0.5 (cos re)) (exp im)))
  (/ (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (/ (* 0.5 (cos re)) (exp im))) (cbrt (/ (* 0.5 (cos re)) (exp im))))
  (cbrt (/ (* 0.5 (cos re)) (exp im)))
  (* (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (/ (* 0.5 (cos re)) (exp im)))
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (neg (* 0.5 (cos re)))
  (neg (exp im))
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (cbrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  (/ (cos re) (sqrt (exp im)))
  (/ 0.5 1)
  (/ (cos re) (exp im))
  (/ 1 (exp im))
  (/ (exp im) (* 0.5 (cos re)))
  (/ (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (* 0.5 (cos re)) (sqrt (exp im)))
  (/ (* 0.5 (cos re)) 1)
  (/ (exp im) (cos re))
  (* (* 0.5 (cos re)) (exp im))
  (* (* 0.5 (cos re)) (exp im))
  (+ (+ (log 0.5) (log (cos re))) im)
  (+ (log (* 0.5 (cos re))) im)
  (log (* (* 0.5 (cos re)) (exp im)))
  (exp (* (* 0.5 (cos re)) (exp im)))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (* (* 0.5 (cos re)) (exp im))) (cbrt (* (* 0.5 (cos re)) (exp im))))
  (cbrt (* (* 0.5 (cos re)) (exp im)))
  (* (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (* (* 0.5 (cos re)) (exp im)))
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (* (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (* (* 0.5 (cos re)) (sqrt (exp im)))
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (exp im))
  (* (exp (/ (* 0.5 (cos re)) (exp im))) (exp (* (* 0.5 (cos re)) (exp im))))
  (log (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (exp (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (* (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))) (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))))
  (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (* (* (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (+ (pow (/ (* 0.5 (cos re)) (exp im)) 3) (pow (* (* 0.5 (cos re)) (exp im)) 3))
  (+ (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (- (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (* (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))))
  (- (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (- (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
  (+ (/ 1 (exp im)) (exp im))
  (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
  (* 0.5 (/ (cos re) (exp im)))
  (* 0.5 (/ (cos re) (exp im)))
  (- (+ (* 0.5 im) 0.5) (* 0.25 (pow re 2)))
  (* 0.5 (* (exp im) (cos re)))
  (* 0.5 (* (exp im) (cos re)))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
3.963 * * [simplify]: iteration  0 :  284  enodes  (cost  450 )
3.970 * * [simplify]: iteration  1 :  1619  enodes  (cost  391 )
4.005 * * [simplify]: iteration  2 :  5002  enodes  (cost  384 )
4.007 * [simplify]: Simplified to:
   (- (log (* 0.5 (cos re))) im)
  (- (log (* 0.5 (cos re))) im)
  (- (log (* 0.5 (cos re))) im)
  (exp (/ (* 0.5 (cos re)) (exp im)))
  (pow (/ (* 0.5 (cos re)) (exp im)) 3)
  (pow (/ (* 0.5 (cos re)) (exp im)) 3)
  (* (cbrt (/ (* 0.5 (cos re)) (exp im))) (cbrt (/ (* 0.5 (cos re)) (exp im))))
  (cbrt (/ (* 0.5 (cos re)) (exp im)))
  (pow (/ (* 0.5 (cos re)) (exp im)) 3)
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (neg (* 0.5 (cos re)))
  (neg (exp im))
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (cbrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  (/ (cos re) (sqrt (exp im)))
  0.5
  (/ (cos re) (exp im))
  (/ 1 (exp im))
  (/ (exp im) (* 0.5 (cos re)))
  (/ (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (* 0.5 (cos re)) (sqrt (exp im)))
  (* 0.5 (cos re))
  (/ (exp im) (cos re))
  (* 0.5 (* (exp im) (cos re)))
  (* 0.5 (* (exp im) (cos re)))
  (+ im (log (* 0.5 (cos re))))
  (+ im (log (* 0.5 (cos re))))
  (+ im (log (* 0.5 (cos re))))
  (exp (* (* 0.5 (cos re)) (exp im)))
  (pow (* (* 0.5 (cos re)) (exp im)) 3)
  (pow (* (* 0.5 (cos re)) (exp im)) 3)
  (* (cbrt (* (* 0.5 (cos re)) (exp im))) (cbrt (* (* 0.5 (cos re)) (exp im))))
  (cbrt (* (* 0.5 (cos re)) (exp im)))
  (pow (* (* 0.5 (cos re)) (exp im)) 3)
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (* (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (* (* 0.5 (cos re)) (sqrt (exp im)))
  (* 0.5 (cos re))
  (* (cos re) (exp im))
  (exp (* 0.5 (+ (* (exp im) (cos re)) (/ (cos re) (exp im)))))
  (log (* 0.5 (+ (* (exp im) (cos re)) (/ (cos re) (exp im)))))
  (exp (* 0.5 (+ (* (exp im) (cos re)) (/ (cos re) (exp im)))))
  (* (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))) (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))))
  (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (pow (* 0.5 (+ (* (exp im) (cos re)) (/ (cos re) (exp im)))) 3)
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (+ (pow (/ (* 0.5 (cos re)) (exp im)) 3) (pow (* (* 0.5 (cos re)) (exp im)) 3))
  (* 0.5 (+ (* (/ (cos re) (exp im)) (* 0.5 (/ (cos re) (exp im)))) (* (* (cos re) (exp im)) (* 0.5 (- (* (cos re) (exp im)) (/ (cos re) (exp im)))))))
  (* (* 0.5 0.5) (- (* (/ (cos re) (exp im)) (/ (cos re) (exp im))) (* (exp (+ im im)) (* (cos re) (cos re)))))
  (* (cos re) (- (/ 0.5 (exp im)) (* 0.5 (exp im))))
  (+ (/ 1 (exp im)) (exp im))
  (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
  (* 0.5 (/ (cos re) (exp im)))
  (* 0.5 (/ (cos re) (exp im)))
  (- (+ (* 0.5 im) 0.5) (* 0.25 (pow re 2)))
  (* 0.5 (* (exp im) (cos re)))
  (* 0.5 (* (exp im) (cos re)))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (* (cos re) (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))
  (* (cos re) (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))
4.007 * * * [progress]: adding candidates to table
4.064 * [progress]: [Phase 3 of 3] Extracting.
4.064 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.065 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (neg im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) im re)
4.065 * * * * [regimes]: Trying to branch on (+ (exp (neg im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.096 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.126 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.158 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.199 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.231 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))> #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>)
4.264 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.264 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
4.264 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
4.265 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
4.265 * [simplify]: Simplified to:
   (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
11.150 * [regime-testing]: End program error score: 0.012220888548839041