9.092 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.049 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying:
  (* (exp re) (cos im))
0.050 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.050 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.050 * * [simplify]: Extracting # 2 : cost  5  inf +  0
0.050 * * [simplify]: Extracting # 3 : cost  2  inf +  63
0.050 * * [simplify]: Extracting # 4 : cost  0  inf +  306
0.050 * * [simplify]: iteration  0 :  5  enodes  (cost  172 )
0.051 * * [simplify]: Extracting # 0 : cost  0  inf +  306
0.051 * * [simplify]: iteration  1 :  6  enodes  (cost  172 )
0.052 * * [simplify]: Extracting # 0 : cost  0  inf +  306
0.052 * * [simplify]: iteration complete:  6  enodes  (cost  172 )
0.052 * [simplify]: Simplified to:
  (* (exp re) (cos im))
0.052 * * [progress]: iteration 1 / 4
0.052 * * * [progress]: picking best candidate
0.056 * * * * [pick]: Picked  #<alt (λ (re im) (* (exp re) (cos im)))>
0.056 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.075 * * * [progress]: generating series expansions
0.075 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.076 * [backup-simplify]: Simplify (* (exp re) (cos im)) into (* (cos im) (exp re))
0.076 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
0.076 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
0.076 * [taylor]: Taking taylor expansion of (cos im) in im
0.076 * [taylor]: Taking taylor expansion of im in im
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [taylor]: Taking taylor expansion of (exp re) in im
0.076 * [taylor]: Taking taylor expansion of re in im
0.076 * [backup-simplify]: Simplify re into re
0.076 * [backup-simplify]: Simplify (exp re) into (exp re)
0.076 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.076 * [taylor]: Taking taylor expansion of (cos im) in re
0.076 * [taylor]: Taking taylor expansion of im in re
0.076 * [backup-simplify]: Simplify im into im
0.076 * [backup-simplify]: Simplify (cos im) into (cos im)
0.076 * [backup-simplify]: Simplify (sin im) into (sin im)
0.076 * [taylor]: Taking taylor expansion of (exp re) in re
0.076 * [taylor]: Taking taylor expansion of re in re
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (exp 0) into 1
0.076 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
0.076 * [taylor]: Taking taylor expansion of (cos im) in re
0.076 * [taylor]: Taking taylor expansion of im in re
0.076 * [backup-simplify]: Simplify im into im
0.076 * [backup-simplify]: Simplify (cos im) into (cos im)
0.076 * [backup-simplify]: Simplify (sin im) into (sin im)
0.076 * [taylor]: Taking taylor expansion of (exp re) in re
0.076 * [taylor]: Taking taylor expansion of re in re
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (exp 0) into 1
0.076 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
0.076 * [backup-simplify]: Simplify (* (sin im) 0) into 0
0.077 * [backup-simplify]: Simplify (- 0) into 0
0.077 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im)
0.077 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
0.077 * [taylor]: Taking taylor expansion of (cos im) in im
0.077 * [taylor]: Taking taylor expansion of im in im
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.077 * [backup-simplify]: Simplify 1 into 1
0.078 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.078 * [backup-simplify]: Simplify (+ 0) into 0
0.078 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0
0.079 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.079 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0
0.079 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.080 * [backup-simplify]: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im)
0.080 * [taylor]: Taking taylor expansion of (cos im) in im
0.080 * [taylor]: Taking taylor expansion of im in im
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify (+ 0) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.082 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.082 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
0.082 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.083 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
0.083 * [backup-simplify]: Simplify (- 0) into 0
0.083 * [backup-simplify]: Simplify (+ 0 0) into 0
0.084 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im))
0.084 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
0.084 * [taylor]: Taking taylor expansion of 1/2 in im
0.084 * [backup-simplify]: Simplify 1/2 into 1/2
0.084 * [taylor]: Taking taylor expansion of (cos im) in im
0.084 * [taylor]: Taking taylor expansion of im in im
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify 1 into 1
0.084 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.084 * [backup-simplify]: Simplify 1/2 into 1/2
0.084 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1))
0.085 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (cos (/ 1 im))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
0.085 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
0.085 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
0.085 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.085 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.085 * [taylor]: Taking taylor expansion of im in im
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [backup-simplify]: Simplify (/ 1 1) into 1
0.085 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.085 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.085 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.085 * [taylor]: Taking taylor expansion of re in im
0.085 * [backup-simplify]: Simplify re into re
0.085 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.085 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.085 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
0.085 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.085 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.085 * [taylor]: Taking taylor expansion of im in re
0.085 * [backup-simplify]: Simplify im into im
0.085 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.085 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.085 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.085 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.085 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.085 * [taylor]: Taking taylor expansion of re in re
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.086 * [backup-simplify]: Simplify (/ 1 1) into 1
0.086 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.086 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
0.086 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
0.086 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.086 * [taylor]: Taking taylor expansion of im in re
0.086 * [backup-simplify]: Simplify im into im
0.086 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.086 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.086 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
0.086 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
0.086 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.086 * [taylor]: Taking taylor expansion of re in re
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify 1 into 1
0.086 * [backup-simplify]: Simplify (/ 1 1) into 1
0.086 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.086 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
0.087 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0
0.087 * [backup-simplify]: Simplify (- 0) into 0
0.087 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
0.087 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
0.087 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
0.087 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.087 * [taylor]: Taking taylor expansion of im in im
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 1 into 1
0.087 * [backup-simplify]: Simplify (/ 1 1) into 1
0.087 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
0.087 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
0.087 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.087 * [taylor]: Taking taylor expansion of re in im
0.087 * [backup-simplify]: Simplify re into re
0.088 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.088 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
0.088 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
0.088 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
0.088 * [backup-simplify]: Simplify (+ 0) into 0
0.088 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
0.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.089 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.089 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
0.089 * [backup-simplify]: Simplify (- 0) into 0
0.090 * [backup-simplify]: Simplify (+ 0 0) into 0
0.090 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
0.090 * [taylor]: Taking taylor expansion of 0 in im
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.091 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
0.091 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.092 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
0.092 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.092 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.093 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
0.093 * [backup-simplify]: Simplify (- 0) into 0
0.093 * [backup-simplify]: Simplify (+ 0 0) into 0
0.093 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
0.093 * [taylor]: Taking taylor expansion of 0 in im
0.093 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.094 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.095 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.096 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.097 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.097 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.098 * [backup-simplify]: Simplify (- 0) into 0
0.098 * [backup-simplify]: Simplify (+ 0 0) into 0
0.098 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
0.098 * [taylor]: Taking taylor expansion of 0 in im
0.098 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re))
0.099 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (cos (/ 1 (- im)))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
0.099 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
0.099 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.099 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.099 * [taylor]: Taking taylor expansion of -1 in im
0.099 * [backup-simplify]: Simplify -1 into -1
0.099 * [taylor]: Taking taylor expansion of re in im
0.099 * [backup-simplify]: Simplify re into re
0.099 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.099 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.099 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.099 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.099 * [taylor]: Taking taylor expansion of -1 in im
0.099 * [backup-simplify]: Simplify -1 into -1
0.099 * [taylor]: Taking taylor expansion of im in im
0.099 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify 1 into 1
0.099 * [backup-simplify]: Simplify (/ -1 1) into -1
0.099 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.099 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.099 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.099 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.099 * [taylor]: Taking taylor expansion of -1 in re
0.100 * [backup-simplify]: Simplify -1 into -1
0.100 * [taylor]: Taking taylor expansion of re in re
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify 1 into 1
0.100 * [backup-simplify]: Simplify (/ -1 1) into -1
0.100 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.100 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.100 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.100 * [taylor]: Taking taylor expansion of -1 in re
0.100 * [backup-simplify]: Simplify -1 into -1
0.100 * [taylor]: Taking taylor expansion of im in re
0.100 * [backup-simplify]: Simplify im into im
0.100 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.100 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.100 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.100 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
0.100 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
0.100 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.100 * [taylor]: Taking taylor expansion of -1 in re
0.100 * [backup-simplify]: Simplify -1 into -1
0.100 * [taylor]: Taking taylor expansion of re in re
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify 1 into 1
0.101 * [backup-simplify]: Simplify (/ -1 1) into -1
0.101 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.101 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
0.101 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.101 * [taylor]: Taking taylor expansion of -1 in re
0.101 * [backup-simplify]: Simplify -1 into -1
0.101 * [taylor]: Taking taylor expansion of im in re
0.101 * [backup-simplify]: Simplify im into im
0.101 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.101 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.101 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
0.101 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
0.101 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0
0.101 * [backup-simplify]: Simplify (- 0) into 0
0.101 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
0.101 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
0.102 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
0.102 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
0.102 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.102 * [taylor]: Taking taylor expansion of -1 in im
0.102 * [backup-simplify]: Simplify -1 into -1
0.102 * [taylor]: Taking taylor expansion of re in im
0.102 * [backup-simplify]: Simplify re into re
0.102 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.102 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
0.102 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.102 * [taylor]: Taking taylor expansion of -1 in im
0.102 * [backup-simplify]: Simplify -1 into -1
0.102 * [taylor]: Taking taylor expansion of im in im
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 1 into 1
0.102 * [backup-simplify]: Simplify (/ -1 1) into -1
0.102 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
0.102 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
0.102 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
0.103 * [backup-simplify]: Simplify (+ 0) into 0
0.103 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
0.103 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.103 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.104 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
0.116 * [backup-simplify]: Simplify (- 0) into 0
0.117 * [backup-simplify]: Simplify (+ 0 0) into 0
0.117 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
0.117 * [taylor]: Taking taylor expansion of 0 in im
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.118 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
0.118 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.119 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
0.119 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.119 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.120 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
0.120 * [backup-simplify]: Simplify (- 0) into 0
0.120 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
0.121 * [taylor]: Taking taylor expansion of 0 in im
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.122 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.122 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
0.122 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.123 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.123 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.124 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.125 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.125 * [backup-simplify]: Simplify (- 0) into 0
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0
0.126 * [taylor]: Taking taylor expansion of 0 in im
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re))
0.126 * * * [progress]: simplifying candidates
0.127 * [simplify]: Simplifying:
  (expm1 (* (exp re) (cos im)))
  (log1p (* (exp re) (cos im)))
  (* (exp re) (cos im))
  (+ re (log (cos im)))
  (log (* (exp re) (cos im)))
  (exp (* (exp re) (cos im)))
  (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (* (exp re) 1)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (exp re) (cos im))
  (+ re (+ (* 1/2 (pow re 2)) 1))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
0.128 * * [simplify]: Extracting # 0 : cost  19  inf +  0
0.128 * * [simplify]: Extracting # 1 : cost  32  inf +  0
0.128 * * [simplify]: Extracting # 2 : cost  34  inf +  73
0.129 * * [simplify]: Extracting # 3 : cost  17  inf +  2921
0.129 * * [simplify]: Extracting # 4 : cost  7  inf +  5300
0.129 * * [simplify]: Extracting # 5 : cost  3  inf +  6057
0.130 * * [simplify]: Extracting # 6 : cost  0  inf +  6938
0.130 * * [simplify]: iteration  0 :  40  enodes  (cost  5318 )
0.138 * * [simplify]: Extracting # 0 : cost  0  inf +  6938
0.139 * * [simplify]: Extracting # 1 : cost  13  inf +  6676
0.140 * * [simplify]: Extracting # 2 : cost  0  inf +  8856
0.141 * * [simplify]: Extracting # 3 : cost  0  inf +  8514
0.141 * * [simplify]: iteration  1 :  88  enodes  (cost  5081 )
0.161 * * [simplify]: Extracting # 0 : cost  0  inf +  8514
0.163 * * [simplify]: Extracting # 1 : cost  38  inf +  8013
0.165 * * [simplify]: Extracting # 2 : cost  2  inf +  13748
0.167 * * [simplify]: Extracting # 3 : cost  1  inf +  13850
0.172 * * [simplify]: Extracting # 4 : cost  0  inf +  14303
0.175 * * [simplify]: iteration  2 :  211  enodes  (cost  4931 )
0.265 * * [simplify]: Extracting # 0 : cost  0  inf +  14303
0.269 * * [simplify]: Extracting # 1 : cost  150  inf +  13828
0.277 * * [simplify]: Extracting # 2 : cost  15  inf +  37354
0.294 * * [simplify]: Extracting # 3 : cost  6  inf +  38118
0.308 * * [simplify]: Extracting # 4 : cost  0  inf +  39915
0.322 * * [simplify]: iteration  3 :  662  enodes  (cost  4931 )
0.683 * * [simplify]: Extracting # 0 : cost  0  inf +  39915
0.697 * * [simplify]: Extracting # 1 : cost  265  inf +  37973
0.719 * * [simplify]: Extracting # 2 : cost  16  inf +  81813
0.744 * * [simplify]: Extracting # 3 : cost  4  inf +  84417
0.771 * * [simplify]: Extracting # 4 : cost  0  inf +  85909
0.802 * * [simplify]: iteration  4 :  1647  enodes  (cost  4906 )
1.938 * * [simplify]: Extracting # 0 : cost  0  inf +  85909
2.004 * * [simplify]: Extracting # 1 : cost  1062  inf +  82935
2.103 * * [simplify]: Extracting # 2 : cost  43  inf +  285117
2.240 * * [simplify]: Extracting # 3 : cost  10  inf +  290425
2.363 * * [simplify]: Extracting # 4 : cost  0  inf +  294226
2.511 * * [simplify]: iteration complete:  5001  enodes  (cost  4906 )
2.511 * [simplify]: Simplified to:
  (expm1 (* (exp re) (cos im)))
  (log1p (* (exp re) (cos im)))
  (* (cos im) (exp re))
  (+ re (log (cos im)))
  (+ re (log (cos im)))
  (exp (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im))))
  (cbrt (* (exp re) (cos im)))
  (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (sqrt (* (exp re) (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (exp re) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (exp re) (sqrt (cos im)))
  (exp re)
  (* (cbrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (cos im) (exp re))
  (fma (fma re 1/2 1) re 1)
  (* (cos im) (exp re))
  (* (cos im) (exp re))
2.512 * * * [progress]: adding candidates to table
2.629 * * [progress]: iteration 2 / 4
2.629 * * * [progress]: picking best candidate
2.633 * * * * [pick]: Picked  #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>
2.633 * * * [progress]: localizing error
2.654 * * * [progress]: generating rewritten candidates
2.654 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.700 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
2.716 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.720 * * * [progress]: generating series expansions
2.720 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.720 * [backup-simplify]: Simplify (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) into (* (cos im) (exp re))
2.720 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
2.720 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im
2.720 * [taylor]: Taking taylor expansion of (cos im) in im
2.720 * [taylor]: Taking taylor expansion of im in im
2.720 * [backup-simplify]: Simplify 0 into 0
2.720 * [backup-simplify]: Simplify 1 into 1
2.720 * [taylor]: Taking taylor expansion of (exp re) in im
2.720 * [taylor]: Taking taylor expansion of re in im
2.720 * [backup-simplify]: Simplify re into re
2.720 * [backup-simplify]: Simplify (exp re) into (exp re)
2.720 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
2.720 * [taylor]: Taking taylor expansion of (cos im) in re
2.720 * [taylor]: Taking taylor expansion of im in re
2.720 * [backup-simplify]: Simplify im into im
2.720 * [backup-simplify]: Simplify (cos im) into (cos im)
2.721 * [backup-simplify]: Simplify (sin im) into (sin im)
2.721 * [taylor]: Taking taylor expansion of (exp re) in re
2.721 * [taylor]: Taking taylor expansion of re in re
2.721 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify 1 into 1
2.721 * [backup-simplify]: Simplify (exp 0) into 1
2.721 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re
2.721 * [taylor]: Taking taylor expansion of (cos im) in re
2.721 * [taylor]: Taking taylor expansion of im in re
2.721 * [backup-simplify]: Simplify im into im
2.721 * [backup-simplify]: Simplify (cos im) into (cos im)
2.721 * [backup-simplify]: Simplify (sin im) into (sin im)
2.721 * [taylor]: Taking taylor expansion of (exp re) in re
2.721 * [taylor]: Taking taylor expansion of re in re
2.721 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify 1 into 1
2.721 * [backup-simplify]: Simplify (exp 0) into 1
2.721 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
2.721 * [backup-simplify]: Simplify (* (sin im) 0) into 0
2.721 * [backup-simplify]: Simplify (- 0) into 0
2.722 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im)
2.722 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
2.722 * [taylor]: Taking taylor expansion of (cos im) in im
2.722 * [taylor]: Taking taylor expansion of im in im
2.722 * [backup-simplify]: Simplify 0 into 0
2.722 * [backup-simplify]: Simplify 1 into 1
2.722 * [backup-simplify]: Simplify 1 into 1
2.722 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.723 * [backup-simplify]: Simplify (+ 0) into 0
2.723 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0
2.723 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.724 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0
2.724 * [backup-simplify]: Simplify (- 0) into 0
2.724 * [backup-simplify]: Simplify (+ 0 0) into 0
2.724 * [backup-simplify]: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im)
2.724 * [taylor]: Taking taylor expansion of (cos im) in im
2.724 * [taylor]: Taking taylor expansion of im in im
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.725 * [backup-simplify]: Simplify 1 into 1
2.725 * [backup-simplify]: Simplify (+ 0) into 0
2.725 * [backup-simplify]: Simplify 0 into 0
2.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.726 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.727 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
2.728 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.728 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
2.729 * [backup-simplify]: Simplify (- 0) into 0
2.729 * [backup-simplify]: Simplify (+ 0 0) into 0
2.730 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im))
2.730 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
2.730 * [taylor]: Taking taylor expansion of 1/2 in im
2.730 * [backup-simplify]: Simplify 1/2 into 1/2
2.730 * [taylor]: Taking taylor expansion of (cos im) in im
2.730 * [taylor]: Taking taylor expansion of im in im
2.730 * [backup-simplify]: Simplify 0 into 0
2.730 * [backup-simplify]: Simplify 1 into 1
2.730 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.730 * [backup-simplify]: Simplify 1/2 into 1/2
2.731 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1))
2.731 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (* (sqrt (exp (/ 1 re))) (cos (/ 1 im)))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
2.731 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
2.731 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
2.731 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
2.731 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.731 * [taylor]: Taking taylor expansion of im in im
2.731 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify 1 into 1
2.732 * [backup-simplify]: Simplify (/ 1 1) into 1
2.732 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.732 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
2.732 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.732 * [taylor]: Taking taylor expansion of re in im
2.732 * [backup-simplify]: Simplify re into re
2.732 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.732 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.732 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
2.732 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
2.732 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.732 * [taylor]: Taking taylor expansion of im in re
2.732 * [backup-simplify]: Simplify im into im
2.732 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.732 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.732 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
2.732 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.732 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.732 * [taylor]: Taking taylor expansion of re in re
2.732 * [backup-simplify]: Simplify 0 into 0
2.733 * [backup-simplify]: Simplify 1 into 1
2.733 * [backup-simplify]: Simplify (/ 1 1) into 1
2.733 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.733 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
2.733 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
2.733 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.733 * [taylor]: Taking taylor expansion of im in re
2.733 * [backup-simplify]: Simplify im into im
2.733 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.733 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.733 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
2.733 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.733 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.733 * [taylor]: Taking taylor expansion of re in re
2.733 * [backup-simplify]: Simplify 0 into 0
2.734 * [backup-simplify]: Simplify 1 into 1
2.734 * [backup-simplify]: Simplify (/ 1 1) into 1
2.734 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.734 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
2.734 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0
2.735 * [backup-simplify]: Simplify (- 0) into 0
2.735 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
2.735 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
2.735 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
2.735 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
2.735 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.735 * [taylor]: Taking taylor expansion of im in im
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 1 into 1
2.736 * [backup-simplify]: Simplify (/ 1 1) into 1
2.736 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.736 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
2.736 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.736 * [taylor]: Taking taylor expansion of re in im
2.736 * [backup-simplify]: Simplify re into re
2.736 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.736 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.736 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
2.736 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
2.737 * [backup-simplify]: Simplify (+ 0) into 0
2.737 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
2.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
2.738 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.739 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
2.739 * [backup-simplify]: Simplify (- 0) into 0
2.739 * [backup-simplify]: Simplify (+ 0 0) into 0
2.740 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
2.740 * [taylor]: Taking taylor expansion of 0 in im
2.740 * [backup-simplify]: Simplify 0 into 0
2.740 * [backup-simplify]: Simplify 0 into 0
2.740 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.741 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.741 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.746 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
2.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.747 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.747 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
2.748 * [backup-simplify]: Simplify (- 0) into 0
2.748 * [backup-simplify]: Simplify (+ 0 0) into 0
2.749 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
2.749 * [taylor]: Taking taylor expansion of 0 in im
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.751 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.751 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
2.751 * [backup-simplify]: Simplify 0 into 0
2.752 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.753 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.756 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
2.757 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
2.757 * [backup-simplify]: Simplify (- 0) into 0
2.757 * [backup-simplify]: Simplify (+ 0 0) into 0
2.758 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
2.758 * [taylor]: Taking taylor expansion of 0 in im
2.758 * [backup-simplify]: Simplify 0 into 0
2.758 * [backup-simplify]: Simplify 0 into 0
2.759 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re))
2.759 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (* (sqrt (exp (/ 1 (- re)))) (cos (/ 1 (- im))))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
2.759 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
2.759 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
2.759 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
2.759 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.759 * [taylor]: Taking taylor expansion of -1 in im
2.759 * [backup-simplify]: Simplify -1 into -1
2.759 * [taylor]: Taking taylor expansion of re in im
2.759 * [backup-simplify]: Simplify re into re
2.759 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.759 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.759 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
2.759 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.759 * [taylor]: Taking taylor expansion of -1 in im
2.759 * [backup-simplify]: Simplify -1 into -1
2.759 * [taylor]: Taking taylor expansion of im in im
2.759 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify 1 into 1
2.760 * [backup-simplify]: Simplify (/ -1 1) into -1
2.760 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.760 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
2.760 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.760 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.760 * [taylor]: Taking taylor expansion of -1 in re
2.760 * [backup-simplify]: Simplify -1 into -1
2.760 * [taylor]: Taking taylor expansion of re in re
2.760 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify 1 into 1
2.761 * [backup-simplify]: Simplify (/ -1 1) into -1
2.761 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.761 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
2.761 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.761 * [taylor]: Taking taylor expansion of -1 in re
2.761 * [backup-simplify]: Simplify -1 into -1
2.761 * [taylor]: Taking taylor expansion of im in re
2.761 * [backup-simplify]: Simplify im into im
2.761 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.761 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.761 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
2.761 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
2.761 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.761 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.762 * [taylor]: Taking taylor expansion of -1 in re
2.762 * [backup-simplify]: Simplify -1 into -1
2.762 * [taylor]: Taking taylor expansion of re in re
2.762 * [backup-simplify]: Simplify 0 into 0
2.762 * [backup-simplify]: Simplify 1 into 1
2.762 * [backup-simplify]: Simplify (/ -1 1) into -1
2.762 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.762 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
2.762 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.762 * [taylor]: Taking taylor expansion of -1 in re
2.762 * [backup-simplify]: Simplify -1 into -1
2.762 * [taylor]: Taking taylor expansion of im in re
2.762 * [backup-simplify]: Simplify im into im
2.763 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.763 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.763 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
2.763 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
2.763 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0
2.764 * [backup-simplify]: Simplify (- 0) into 0
2.764 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
2.764 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
2.764 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
2.764 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
2.764 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.764 * [taylor]: Taking taylor expansion of -1 in im
2.764 * [backup-simplify]: Simplify -1 into -1
2.764 * [taylor]: Taking taylor expansion of re in im
2.764 * [backup-simplify]: Simplify re into re
2.764 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.764 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.764 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
2.764 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.764 * [taylor]: Taking taylor expansion of -1 in im
2.764 * [backup-simplify]: Simplify -1 into -1
2.764 * [taylor]: Taking taylor expansion of im in im
2.764 * [backup-simplify]: Simplify 0 into 0
2.764 * [backup-simplify]: Simplify 1 into 1
2.765 * [backup-simplify]: Simplify (/ -1 1) into -1
2.765 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.765 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
2.765 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
2.766 * [backup-simplify]: Simplify (+ 0) into 0
2.766 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
2.767 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
2.767 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.768 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
2.768 * [backup-simplify]: Simplify (- 0) into 0
2.769 * [backup-simplify]: Simplify (+ 0 0) into 0
2.769 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
2.769 * [taylor]: Taking taylor expansion of 0 in im
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
2.770 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.770 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
2.770 * [backup-simplify]: Simplify 0 into 0
2.771 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.772 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
2.772 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.773 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.774 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
2.774 * [backup-simplify]: Simplify (- 0) into 0
2.775 * [backup-simplify]: Simplify (+ 0 0) into 0
2.775 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
2.775 * [taylor]: Taking taylor expansion of 0 in im
2.775 * [backup-simplify]: Simplify 0 into 0
2.775 * [backup-simplify]: Simplify 0 into 0
2.775 * [backup-simplify]: Simplify 0 into 0
2.775 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.776 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.777 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.778 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.778 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.779 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
2.779 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
2.780 * [backup-simplify]: Simplify (- 0) into 0
2.780 * [backup-simplify]: Simplify (+ 0 0) into 0
2.780 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0
2.780 * [taylor]: Taking taylor expansion of 0 in im
2.780 * [backup-simplify]: Simplify 0 into 0
2.780 * [backup-simplify]: Simplify 0 into 0
2.781 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re))
2.781 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.781 * [backup-simplify]: Simplify (* (sqrt (exp re)) (cos im)) into (* (cos im) (sqrt (exp re)))
2.781 * [approximate]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in (re im) around 0
2.781 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in im
2.781 * [taylor]: Taking taylor expansion of (cos im) in im
2.781 * [taylor]: Taking taylor expansion of im in im
2.781 * [backup-simplify]: Simplify 0 into 0
2.781 * [backup-simplify]: Simplify 1 into 1
2.781 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im
2.781 * [taylor]: Taking taylor expansion of (exp re) in im
2.781 * [taylor]: Taking taylor expansion of re in im
2.781 * [backup-simplify]: Simplify re into re
2.781 * [backup-simplify]: Simplify (exp re) into (exp re)
2.781 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re))
2.781 * [backup-simplify]: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0
2.782 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0
2.782 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in re
2.782 * [taylor]: Taking taylor expansion of (cos im) in re
2.782 * [taylor]: Taking taylor expansion of im in re
2.782 * [backup-simplify]: Simplify im into im
2.782 * [backup-simplify]: Simplify (cos im) into (cos im)
2.782 * [backup-simplify]: Simplify (sin im) into (sin im)
2.782 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.782 * [taylor]: Taking taylor expansion of (exp re) in re
2.782 * [taylor]: Taking taylor expansion of re in re
2.782 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [backup-simplify]: Simplify (exp 0) into 1
2.782 * [backup-simplify]: Simplify (sqrt 1) into 1
2.783 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.783 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.783 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in re
2.783 * [taylor]: Taking taylor expansion of (cos im) in re
2.783 * [taylor]: Taking taylor expansion of im in re
2.783 * [backup-simplify]: Simplify im into im
2.783 * [backup-simplify]: Simplify (cos im) into (cos im)
2.783 * [backup-simplify]: Simplify (sin im) into (sin im)
2.783 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.783 * [taylor]: Taking taylor expansion of (exp re) in re
2.783 * [taylor]: Taking taylor expansion of re in re
2.783 * [backup-simplify]: Simplify 0 into 0
2.783 * [backup-simplify]: Simplify 1 into 1
2.783 * [backup-simplify]: Simplify (exp 0) into 1
2.783 * [backup-simplify]: Simplify (sqrt 1) into 1
2.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.784 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.785 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
2.785 * [backup-simplify]: Simplify (* (sin im) 0) into 0
2.785 * [backup-simplify]: Simplify (- 0) into 0
2.785 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im)
2.785 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im)
2.785 * [taylor]: Taking taylor expansion of (cos im) in im
2.785 * [taylor]: Taking taylor expansion of im in im
2.785 * [backup-simplify]: Simplify 0 into 0
2.785 * [backup-simplify]: Simplify 1 into 1
2.785 * [backup-simplify]: Simplify 1 into 1
2.785 * [backup-simplify]: Simplify (+ 0) into 0
2.786 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0
2.786 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.786 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0
2.787 * [backup-simplify]: Simplify (- 0) into 0
2.787 * [backup-simplify]: Simplify (+ 0 0) into 0
2.787 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (* 0 1)) into (* 1/2 (cos im))
2.787 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im
2.787 * [taylor]: Taking taylor expansion of 1/2 in im
2.787 * [backup-simplify]: Simplify 1/2 into 1/2
2.787 * [taylor]: Taking taylor expansion of (cos im) in im
2.787 * [taylor]: Taking taylor expansion of im in im
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 1 into 1
2.788 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.788 * [backup-simplify]: Simplify 1/2 into 1/2
2.788 * [backup-simplify]: Simplify (+ 0) into 0
2.788 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.789 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
2.790 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.790 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
2.791 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.791 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
2.791 * [backup-simplify]: Simplify (- 0) into 0
2.792 * [backup-simplify]: Simplify (+ 0 0) into 0
2.792 * [backup-simplify]: Simplify (+ (* (cos im) 1/8) (+ (* 0 1/2) (* 0 1))) into (* 1/8 (cos im))
2.792 * [taylor]: Taking taylor expansion of (* 1/8 (cos im)) in im
2.792 * [taylor]: Taking taylor expansion of 1/8 in im
2.792 * [backup-simplify]: Simplify 1/8 into 1/8
2.792 * [taylor]: Taking taylor expansion of (cos im) in im
2.792 * [taylor]: Taking taylor expansion of im in im
2.792 * [backup-simplify]: Simplify 0 into 0
2.792 * [backup-simplify]: Simplify 1 into 1
2.793 * [backup-simplify]: Simplify (* 1/8 1) into 1/8
2.793 * [backup-simplify]: Simplify 1/8 into 1/8
2.793 * [backup-simplify]: Simplify (+ (* 1/8 (pow (* 1 re) 2)) (+ (* 1/2 (* 1 re)) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
2.793 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re))))
2.793 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in (re im) around 0
2.793 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im
2.793 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
2.793 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.793 * [taylor]: Taking taylor expansion of im in im
2.793 * [backup-simplify]: Simplify 0 into 0
2.793 * [backup-simplify]: Simplify 1 into 1
2.793 * [backup-simplify]: Simplify (/ 1 1) into 1
2.793 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.793 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im
2.793 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
2.793 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.793 * [taylor]: Taking taylor expansion of re in im
2.793 * [backup-simplify]: Simplify re into re
2.793 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.793 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.794 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.794 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.794 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.794 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re
2.794 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
2.794 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.794 * [taylor]: Taking taylor expansion of im in re
2.794 * [backup-simplify]: Simplify im into im
2.794 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.794 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.794 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
2.794 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.794 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.794 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.795 * [taylor]: Taking taylor expansion of re in re
2.795 * [backup-simplify]: Simplify 0 into 0
2.795 * [backup-simplify]: Simplify 1 into 1
2.795 * [backup-simplify]: Simplify (/ 1 1) into 1
2.795 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.795 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.795 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.795 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re
2.795 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re
2.795 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.795 * [taylor]: Taking taylor expansion of im in re
2.795 * [backup-simplify]: Simplify im into im
2.795 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.795 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.795 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im))
2.795 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.795 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.795 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.795 * [taylor]: Taking taylor expansion of re in re
2.795 * [backup-simplify]: Simplify 0 into 0
2.795 * [backup-simplify]: Simplify 1 into 1
2.796 * [backup-simplify]: Simplify (/ 1 1) into 1
2.796 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.796 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.796 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
2.796 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0
2.796 * [backup-simplify]: Simplify (- 0) into 0
2.796 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
2.796 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re))))
2.796 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im
2.796 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im
2.796 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.796 * [taylor]: Taking taylor expansion of im in im
2.796 * [backup-simplify]: Simplify 0 into 0
2.796 * [backup-simplify]: Simplify 1 into 1
2.797 * [backup-simplify]: Simplify (/ 1 1) into 1
2.797 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im))
2.797 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im
2.797 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im
2.797 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.797 * [taylor]: Taking taylor expansion of re in im
2.797 * [backup-simplify]: Simplify re into re
2.797 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.797 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.797 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.798 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.798 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.798 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re))))
2.798 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re))))
2.798 * [backup-simplify]: Simplify (+ 0) into 0
2.798 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
2.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
2.799 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.799 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
2.800 * [backup-simplify]: Simplify (- 0) into 0
2.800 * [backup-simplify]: Simplify (+ 0 0) into 0
2.800 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0
2.800 * [taylor]: Taking taylor expansion of 0 in im
2.800 * [backup-simplify]: Simplify 0 into 0
2.800 * [backup-simplify]: Simplify 0 into 0
2.800 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0
2.800 * [backup-simplify]: Simplify 0 into 0
2.801 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.801 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.802 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
2.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.802 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.802 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
2.803 * [backup-simplify]: Simplify (- 0) into 0
2.803 * [backup-simplify]: Simplify (+ 0 0) into 0
2.804 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0
2.804 * [taylor]: Taking taylor expansion of 0 in im
2.804 * [backup-simplify]: Simplify 0 into 0
2.804 * [backup-simplify]: Simplify 0 into 0
2.804 * [backup-simplify]: Simplify 0 into 0
2.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.805 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.806 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.807 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0
2.807 * [backup-simplify]: Simplify 0 into 0
2.807 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.808 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.811 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
2.812 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
2.812 * [backup-simplify]: Simplify (- 0) into 0
2.812 * [backup-simplify]: Simplify (+ 0 0) into 0
2.813 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re))))))) into 0
2.813 * [taylor]: Taking taylor expansion of 0 in im
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (sqrt (exp (/ 1 (/ 1 re))))) into (* (cos im) (sqrt (exp re)))
2.814 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (cos (/ 1 (- im)))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im)))
2.814 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in (re im) around 0
2.814 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im
2.814 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im
2.814 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
2.814 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.814 * [taylor]: Taking taylor expansion of -1 in im
2.814 * [backup-simplify]: Simplify -1 into -1
2.814 * [taylor]: Taking taylor expansion of re in im
2.814 * [backup-simplify]: Simplify re into re
2.814 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.814 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.814 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.815 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
2.815 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.816 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
2.816 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.816 * [taylor]: Taking taylor expansion of -1 in im
2.816 * [backup-simplify]: Simplify -1 into -1
2.816 * [taylor]: Taking taylor expansion of im in im
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [backup-simplify]: Simplify (/ -1 1) into -1
2.816 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.816 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re
2.816 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.816 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.816 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.816 * [taylor]: Taking taylor expansion of -1 in re
2.816 * [backup-simplify]: Simplify -1 into -1
2.816 * [taylor]: Taking taylor expansion of re in re
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.817 * [backup-simplify]: Simplify (/ -1 1) into -1
2.817 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.817 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.817 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.817 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
2.817 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.817 * [taylor]: Taking taylor expansion of -1 in re
2.817 * [backup-simplify]: Simplify -1 into -1
2.817 * [taylor]: Taking taylor expansion of im in re
2.817 * [backup-simplify]: Simplify im into im
2.817 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.817 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.817 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
2.817 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re
2.818 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.818 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.818 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.818 * [taylor]: Taking taylor expansion of -1 in re
2.818 * [backup-simplify]: Simplify -1 into -1
2.818 * [taylor]: Taking taylor expansion of re in re
2.818 * [backup-simplify]: Simplify 0 into 0
2.818 * [backup-simplify]: Simplify 1 into 1
2.818 * [backup-simplify]: Simplify (/ -1 1) into -1
2.818 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.818 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.818 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.819 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re
2.819 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.819 * [taylor]: Taking taylor expansion of -1 in re
2.819 * [backup-simplify]: Simplify -1 into -1
2.819 * [taylor]: Taking taylor expansion of im in re
2.819 * [backup-simplify]: Simplify im into im
2.819 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.819 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.819 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im))
2.819 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
2.819 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0
2.820 * [backup-simplify]: Simplify (- 0) into 0
2.820 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
2.820 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im)))
2.820 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im
2.820 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im
2.820 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im
2.820 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.820 * [taylor]: Taking taylor expansion of -1 in im
2.820 * [backup-simplify]: Simplify -1 into -1
2.820 * [taylor]: Taking taylor expansion of re in im
2.820 * [backup-simplify]: Simplify re into re
2.820 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.821 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.821 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.821 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
2.822 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
2.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.822 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im
2.822 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.822 * [taylor]: Taking taylor expansion of -1 in im
2.822 * [backup-simplify]: Simplify -1 into -1
2.822 * [taylor]: Taking taylor expansion of im in im
2.822 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (/ -1 1) into -1
2.822 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im))
2.823 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im)))
2.823 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im)))
2.823 * [backup-simplify]: Simplify (+ 0) into 0
2.824 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
2.824 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
2.824 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.824 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
2.825 * [backup-simplify]: Simplify (- 0) into 0
2.825 * [backup-simplify]: Simplify (+ 0 0) into 0
2.825 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (cos (/ -1 im)))) into 0
2.825 * [taylor]: Taking taylor expansion of 0 in im
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (cos (/ -1 im)))) into 0
2.825 * [backup-simplify]: Simplify 0 into 0
2.826 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.826 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
2.826 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.827 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.827 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
2.828 * [backup-simplify]: Simplify (- 0) into 0
2.828 * [backup-simplify]: Simplify (+ 0 0) into 0
2.828 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.829 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
2.829 * [taylor]: Taking taylor expansion of 0 in im
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.830 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.830 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.830 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
2.830 * [backup-simplify]: Simplify 0 into 0
2.831 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.832 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.832 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.833 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
2.833 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
2.833 * [backup-simplify]: Simplify (- 0) into 0
2.834 * [backup-simplify]: Simplify (+ 0 0) into 0
2.834 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.835 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0
2.835 * [taylor]: Taking taylor expansion of 0 in im
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 (/ 1 (- re))))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (sqrt (exp re)))
2.835 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
2.835 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re))
2.835 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0
2.835 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.835 * [taylor]: Taking taylor expansion of (exp re) in re
2.835 * [taylor]: Taking taylor expansion of re in re
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify 1 into 1
2.835 * [backup-simplify]: Simplify (exp 0) into 1
2.835 * [backup-simplify]: Simplify (sqrt 1) into 1
2.836 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.836 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.836 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.837 * [taylor]: Taking taylor expansion of (exp re) in re
2.837 * [taylor]: Taking taylor expansion of re in re
2.837 * [backup-simplify]: Simplify 0 into 0
2.837 * [backup-simplify]: Simplify 1 into 1
2.837 * [backup-simplify]: Simplify (exp 0) into 1
2.837 * [backup-simplify]: Simplify (sqrt 1) into 1
2.837 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.838 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.838 * [backup-simplify]: Simplify 1 into 1
2.838 * [backup-simplify]: Simplify 1/2 into 1/2
2.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.839 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
2.839 * [backup-simplify]: Simplify 1/8 into 1/8
2.840 * [backup-simplify]: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
2.840 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.840 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0
2.840 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.840 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.840 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.840 * [taylor]: Taking taylor expansion of re in re
2.840 * [backup-simplify]: Simplify 0 into 0
2.840 * [backup-simplify]: Simplify 1 into 1
2.840 * [backup-simplify]: Simplify (/ 1 1) into 1
2.840 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.840 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.840 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.840 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.840 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.840 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.840 * [taylor]: Taking taylor expansion of re in re
2.840 * [backup-simplify]: Simplify 0 into 0
2.840 * [backup-simplify]: Simplify 1 into 1
2.841 * [backup-simplify]: Simplify (/ 1 1) into 1
2.841 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.841 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.841 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.841 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.841 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.842 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.843 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.844 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re))
2.844 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re)))
2.844 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0
2.844 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.844 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.844 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.844 * [taylor]: Taking taylor expansion of -1 in re
2.844 * [backup-simplify]: Simplify -1 into -1
2.844 * [taylor]: Taking taylor expansion of re in re
2.844 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify 1 into 1
2.845 * [backup-simplify]: Simplify (/ -1 1) into -1
2.845 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.845 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.845 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.845 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.845 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.845 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.845 * [taylor]: Taking taylor expansion of -1 in re
2.845 * [backup-simplify]: Simplify -1 into -1
2.845 * [taylor]: Taking taylor expansion of re in re
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 1 into 1
2.845 * [backup-simplify]: Simplify (/ -1 1) into -1
2.845 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.845 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.845 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.845 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.845 * [backup-simplify]: Simplify 0 into 0
2.846 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.846 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.847 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.847 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re))
2.849 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.849 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re))
2.849 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0
2.849 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.849 * [taylor]: Taking taylor expansion of (exp re) in re
2.849 * [taylor]: Taking taylor expansion of re in re
2.849 * [backup-simplify]: Simplify 0 into 0
2.849 * [backup-simplify]: Simplify 1 into 1
2.849 * [backup-simplify]: Simplify (exp 0) into 1
2.849 * [backup-simplify]: Simplify (sqrt 1) into 1
2.850 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.850 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.850 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re
2.850 * [taylor]: Taking taylor expansion of (exp re) in re
2.850 * [taylor]: Taking taylor expansion of re in re
2.850 * [backup-simplify]: Simplify 0 into 0
2.850 * [backup-simplify]: Simplify 1 into 1
2.850 * [backup-simplify]: Simplify (exp 0) into 1
2.850 * [backup-simplify]: Simplify (sqrt 1) into 1
2.851 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.851 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
2.851 * [backup-simplify]: Simplify 1 into 1
2.851 * [backup-simplify]: Simplify 1/2 into 1/2
2.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.853 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
2.853 * [backup-simplify]: Simplify 1/8 into 1/8
2.853 * [backup-simplify]: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
2.853 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.853 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0
2.853 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.853 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.853 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.853 * [taylor]: Taking taylor expansion of re in re
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 1 into 1
2.854 * [backup-simplify]: Simplify (/ 1 1) into 1
2.854 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.854 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.854 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
2.854 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re
2.854 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.854 * [taylor]: Taking taylor expansion of re in re
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [backup-simplify]: Simplify (/ 1 1) into 1
2.854 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re))
2.854 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
2.854 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
2.854 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.856 * [backup-simplify]: Simplify 0 into 0
2.856 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.856 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re))
2.858 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re)))
2.858 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0
2.858 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.858 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.858 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.858 * [taylor]: Taking taylor expansion of -1 in re
2.858 * [backup-simplify]: Simplify -1 into -1
2.858 * [taylor]: Taking taylor expansion of re in re
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 1 into 1
2.858 * [backup-simplify]: Simplify (/ -1 1) into -1
2.858 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.858 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.858 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.858 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
2.858 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re
2.858 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.858 * [taylor]: Taking taylor expansion of -1 in re
2.858 * [backup-simplify]: Simplify -1 into -1
2.858 * [taylor]: Taking taylor expansion of re in re
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 1 into 1
2.859 * [backup-simplify]: Simplify (/ -1 1) into -1
2.859 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re))
2.859 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
2.859 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.860 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.861 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.861 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re))
2.863 * * * [progress]: simplifying candidates
2.865 * [simplify]: Simplifying:
  (expm1 (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (log1p (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
  (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (cos im))))
  (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (cos im))))
  (log (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im))))
  (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im))))
  (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))))
  (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (* (* (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
  (* (sqrt (exp re)) (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
  (expm1 (* (sqrt (exp re)) (cos im)))
  (log1p (* (sqrt (exp re)) (cos im)))
  (* (sqrt (exp re)) (cos im))
  (+ (log (sqrt (exp re))) (log (cos im)))
  (log (* (sqrt (exp re)) (cos im)))
  (exp (* (sqrt (exp re)) (cos im)))
  (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im)))
  (* (cbrt (* (sqrt (exp re)) (cos im))) (cbrt (* (sqrt (exp re)) (cos im))))
  (cbrt (* (sqrt (exp re)) (cos im)))
  (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)))
  (sqrt (* (sqrt (exp re)) (cos im)))
  (sqrt (* (sqrt (exp re)) (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (exp re)) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (* (sqrt (exp re)) 1)
  (* (cbrt (sqrt (exp re))) (cos im))
  (* (sqrt (cbrt (exp re))) (cos im))
  (* (sqrt (sqrt (exp re))) (cos im))
  (* (sqrt (exp re)) (cos im))
  (* (sqrt (sqrt (exp re))) (cos im))
  (* (sqrt (exp re)) (cos im))
  (expm1 (sqrt (exp re)))
  (log1p (sqrt (exp re)))
  (log (sqrt (exp re)))
  (exp (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (cbrt (sqrt (exp re)))
  (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))
  (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
  (sqrt (cbrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt 1)
  (sqrt (exp re))
  (/ 1 2)
  (/ (cbrt re) 2)
  (/ (sqrt re) 2)
  (/ re 2)
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (expm1 (sqrt (exp re)))
  (log1p (sqrt (exp re)))
  (log (sqrt (exp re)))
  (exp (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (cbrt (sqrt (exp re)))
  (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))
  (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
  (sqrt (cbrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt 1)
  (sqrt (exp re))
  (/ 1 2)
  (/ (cbrt re) 2)
  (/ (sqrt re) 2)
  (/ re 2)
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (+ re (+ (* 1/2 (pow re 2)) 1))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
  (* (cos im) (sqrt (exp re)))
  (* (cos im) (sqrt (exp re)))
  (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
  (sqrt (exp re))
  (sqrt (exp re))
  (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
  (sqrt (exp re))
  (sqrt (exp re))
2.867 * * [simplify]: Extracting # 0 : cost  55  inf +  0
2.867 * * [simplify]: Extracting # 1 : cost  73  inf +  0
2.867 * * [simplify]: Extracting # 2 : cost  74  inf +  116
2.868 * * [simplify]: Extracting # 3 : cost  32  inf +  8683
2.870 * * [simplify]: Extracting # 4 : cost  6  inf +  15355
2.872 * * [simplify]: Extracting # 5 : cost  0  inf +  17512
2.875 * * [simplify]: iteration  0 :  81  enodes  (cost  22220 )
2.910 * * [simplify]: Extracting # 0 : cost  0  inf +  17512
2.913 * * [simplify]: Extracting # 1 : cost  24  inf +  15884
2.918 * * [simplify]: Extracting # 2 : cost  0  inf +  21609
2.923 * * [simplify]: Extracting # 3 : cost  0  inf +  21408
2.927 * * [simplify]: iteration  1 :  170  enodes  (cost  20588 )
3.013 * * [simplify]: Extracting # 0 : cost  0  inf +  21408
3.021 * * [simplify]: Extracting # 1 : cost  77  inf +  19557
3.036 * * [simplify]: Extracting # 2 : cost  6  inf +  33866
3.048 * * [simplify]: Extracting # 3 : cost  0  inf +  35331
3.061 * * [simplify]: iteration  2 :  444  enodes  (cost  19108 )
3.332 * * [simplify]: Extracting # 0 : cost  0  inf +  35331
3.347 * * [simplify]: Extracting # 1 : cost  211  inf +  33002
3.382 * * [simplify]: Extracting # 2 : cost  18  inf +  75132
3.428 * * [simplify]: Extracting # 3 : cost  2  inf +  79108
3.463 * * [simplify]: Extracting # 4 : cost  0  inf +  79834
3.484 * * [simplify]: iteration  3 :  1219  enodes  (cost  18898 )
4.850 * * [simplify]: Extracting # 0 : cost  0  inf +  79834
4.898 * * [simplify]: Extracting # 1 : cost  382  inf +  75896
4.988 * * [simplify]: Extracting # 2 : cost  28  inf +  172778
5.062 * * [simplify]: Extracting # 3 : cost  6  inf +  177627
5.127 * * [simplify]: Extracting # 4 : cost  0  inf +  180394
5.200 * * [simplify]: iteration  4 :  3157  enodes  (cost  18898 )
5.948 * * [simplify]: Extracting # 0 : cost  0  inf +  180394
6.072 * * [simplify]: Extracting # 1 : cost  582  inf +  178153
6.207 * * [simplify]: Extracting # 2 : cost  0  inf +  320967
6.449 * * [simplify]: Extracting # 3 : cost  0  inf +  320887
6.651 * * [simplify]: iteration complete:  5000  enodes  (cost  18753 )
6.652 * [simplify]: Simplified to:
  (expm1 (* (cos im) (exp re)))
  (log1p (* (cos im) (exp re)))
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (+ (log (cos im)) re)
  (exp (* (cos im) (exp re)))
  (* (* (cos im) (exp re)) (* (* (cos im) (exp re)) (* (cos im) (exp re))))
  (* (* (cos im) (exp re)) (* (* (cos im) (exp re)) (* (cos im) (exp re))))
  (* (cbrt (* (cos im) (exp re))) (cbrt (* (cos im) (exp re))))
  (cbrt (* (cos im) (exp re)))
  (* (* (cos im) (exp re)) (* (* (cos im) (exp re)) (* (cos im) (exp re))))
  (sqrt (* (cos im) (exp re)))
  (sqrt (* (cos im) (exp re)))
  (exp re)
  (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (cos im) (exp re))
  (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))
  (* (cos im) (exp re))
  (expm1 (* (sqrt (exp re)) (cos im)))
  (log1p (* (sqrt (exp re)) (cos im)))
  (* (sqrt (exp re)) (cos im))
  (log (* (sqrt (exp re)) (cos im)))
  (log (* (sqrt (exp re)) (cos im)))
  (exp (* (sqrt (exp re)) (cos im)))
  (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)))
  (* (cbrt (* (sqrt (exp re)) (cos im))) (cbrt (* (sqrt (exp re)) (cos im))))
  (cbrt (* (sqrt (exp re)) (cos im)))
  (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)))
  (sqrt (* (sqrt (exp re)) (cos im)))
  (sqrt (* (sqrt (exp re)) (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (sqrt (exp re))) (sqrt (cos im)))
  (* (sqrt (exp re)) (* (cbrt (cos im)) (cbrt (cos im))))
  (* (sqrt (exp re)) (sqrt (cos im)))
  (sqrt (exp re))
  (* (cos im) (cbrt (sqrt (exp re))))
  (* (cos im) (sqrt (cbrt (exp re))))
  (* (cos im) (sqrt (sqrt (exp re))))
  (* (sqrt (exp re)) (cos im))
  (* (cos im) (sqrt (sqrt (exp re))))
  (* (sqrt (exp re)) (cos im))
  (expm1 (sqrt (exp re)))
  (log1p (sqrt (exp re)))
  (log (sqrt (exp re)))
  (exp (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (cbrt (sqrt (exp re)))
  (* (exp re) (sqrt (exp re)))
  (fabs (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  1
  (sqrt (exp re))
  1/2
  (/ (cbrt re) 2)
  (/ (sqrt re) 2)
  (* 1/2 re)
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (expm1 (sqrt (exp re)))
  (log1p (sqrt (exp re)))
  (log (sqrt (exp re)))
  (exp (sqrt (exp re)))
  (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
  (cbrt (sqrt (exp re)))
  (* (exp re) (sqrt (exp re)))
  (fabs (cbrt (exp re)))
  (sqrt (cbrt (exp re)))
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  1
  (sqrt (exp re))
  1/2
  (/ (cbrt re) 2)
  (/ (sqrt re) 2)
  (* 1/2 re)
  (sqrt (sqrt (exp re)))
  (sqrt (sqrt (exp re)))
  (fma (fma re 1/2 1) re 1)
  (* (cos im) (exp re))
  (* (cos im) (exp re))
  (fma re (fma re 1/8 1/2) 1)
  (* (sqrt (exp re)) (cos im))
  (* (sqrt (exp re)) (cos im))
  (fma re (fma re 1/8 1/2) 1)
  (sqrt (exp re))
  (sqrt (exp re))
  (fma re (fma re 1/8 1/2) 1)
  (sqrt (exp re))
  (sqrt (exp re))
6.655 * * * [progress]: adding candidates to table
7.194 * [progress]: [Phase 3 of 3] Extracting.
7.194 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.194 * * * [regime-changes]: Trying 5 branch expressions: ((cos im) (exp re) (* (exp re) (cos im)) im re)
7.194 * * * * [regimes]: Trying to branch on (cos im) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.221 * * * * [regimes]: Trying to branch on (exp re) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.265 * * * * [regimes]: Trying to branch on (* (exp re) (cos im)) from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.315 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.358 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (exp re) (cos im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>)
7.401 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.401 * [simplify]: Simplifying:
  (* (exp re) (cos im))
7.401 * * [simplify]: Extracting # 0 : cost  1  inf +  0
7.401 * * [simplify]: Extracting # 1 : cost  3  inf +  0
7.401 * * [simplify]: Extracting # 2 : cost  5  inf +  0
7.401 * * [simplify]: Extracting # 3 : cost  2  inf +  63
7.401 * * [simplify]: Extracting # 4 : cost  0  inf +  306
7.401 * * [simplify]: iteration  0 :  5  enodes  (cost  172 )
7.401 * * [simplify]: Extracting # 0 : cost  0  inf +  306
7.401 * * [simplify]: iteration  1 :  6  enodes  (cost  172 )
7.402 * * [simplify]: Extracting # 0 : cost  0  inf +  306
7.402 * * [simplify]: iteration complete:  6  enodes  (cost  172 )
7.402 * [simplify]: Simplified to:
  (* (exp re) (cos im))
10.678 * [regime-testing]: Baseline error score: 0.005625703212901613
10.686 * [regime-testing]: Oracle error score: 0.0038754844355544443
10.714 * [regime-testing]: End program error score: 0.005625703212901613