16.752 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.085 * * * [progress]: [2/2] Setting up program.
0.088 * [progress]: [Phase 2 of 3] Improving.
0.088 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.088 * [simplify]: Sending expressions to egg_math:
 (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))
0.090 * * [simplify]: iteration  0 :  23  enodes  (cost  7 )
0.091 * * [simplify]: iteration  1 :  58  enodes  (cost  7 )
0.093 * * [simplify]: iteration  2 :  95  enodes  (cost  7 )
0.095 * * [simplify]: iteration  3 :  209  enodes  (cost  7 )
0.098 * * [simplify]: iteration  4 :  459  enodes  (cost  7 )
0.101 * * [simplify]: iteration  5 :  629  enodes  (cost  7 )
0.109 * * [simplify]: iteration  6 :  1415  enodes  (cost  7 )
0.121 * * [simplify]: iteration  7 :  2148  enodes  (cost  7 )
0.159 * * [simplify]: iteration  8 :  5002  enodes  (cost  7 )
0.160 * * [progress]: iteration 1 / 4
0.160 * * * [progress]: picking best candidate
0.162 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
0.162 * * * [progress]: localizing error
0.171 * * * [progress]: generating rewritten candidates
0.171 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.231 * * * [progress]: generating series expansions
0.231 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.231 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))
0.231 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in (re im) around 0
0.231 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im
0.231 * [taylor]: Taking taylor expansion of 0.5 in im
0.231 * [backup-simplify]: Simplify 0.5 into 0.5
0.231 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im
0.231 * [taylor]: Taking taylor expansion of (cos re) in im
0.231 * [taylor]: Taking taylor expansion of re in im
0.231 * [backup-simplify]: Simplify re into re
0.231 * [backup-simplify]: Simplify (cos re) into (cos re)
0.231 * [backup-simplify]: Simplify (sin re) into (sin re)
0.231 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
0.231 * [taylor]: Taking taylor expansion of (exp im) in im
0.231 * [taylor]: Taking taylor expansion of im in im
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [backup-simplify]: Simplify (exp 0) into 1
0.231 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.231 * [taylor]: Taking taylor expansion of (- im) in im
0.231 * [taylor]: Taking taylor expansion of im in im
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.232 * [backup-simplify]: Simplify (- 0) into 0
0.232 * [backup-simplify]: Simplify (- 1) into -1
0.232 * [backup-simplify]: Simplify (exp 0) into 1
0.232 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
0.232 * [taylor]: Taking taylor expansion of 0.5 in re
0.232 * [backup-simplify]: Simplify 0.5 into 0.5
0.232 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
0.232 * [taylor]: Taking taylor expansion of (cos re) in re
0.232 * [taylor]: Taking taylor expansion of re in re
0.232 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify 1 into 1
0.232 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
0.232 * [taylor]: Taking taylor expansion of (exp im) in re
0.232 * [taylor]: Taking taylor expansion of im in re
0.232 * [backup-simplify]: Simplify im into im
0.232 * [backup-simplify]: Simplify (exp im) into (exp im)
0.232 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.232 * [taylor]: Taking taylor expansion of (- im) in re
0.232 * [taylor]: Taking taylor expansion of im in re
0.232 * [backup-simplify]: Simplify im into im
0.232 * [backup-simplify]: Simplify (- im) into (- im)
0.232 * [backup-simplify]: Simplify (- im) into (- im)
0.232 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
0.232 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re
0.232 * [taylor]: Taking taylor expansion of 0.5 in re
0.232 * [backup-simplify]: Simplify 0.5 into 0.5
0.232 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re
0.232 * [taylor]: Taking taylor expansion of (cos re) in re
0.232 * [taylor]: Taking taylor expansion of re in re
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re
0.233 * [taylor]: Taking taylor expansion of (exp im) in re
0.233 * [taylor]: Taking taylor expansion of im in re
0.233 * [backup-simplify]: Simplify im into im
0.233 * [backup-simplify]: Simplify (exp im) into (exp im)
0.233 * [taylor]: Taking taylor expansion of (exp (- im)) in re
0.233 * [taylor]: Taking taylor expansion of (- im) in re
0.233 * [taylor]: Taking taylor expansion of im in re
0.233 * [backup-simplify]: Simplify im into im
0.233 * [backup-simplify]: Simplify (- im) into (- im)
0.233 * [backup-simplify]: Simplify (- im) into (- im)
0.233 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
0.233 * [backup-simplify]: Simplify (+ (exp im) (exp (- im))) into (+ (exp im) (exp (- im)))
0.233 * [backup-simplify]: Simplify (* 1 (+ (exp im) (exp (- im)))) into (+ (exp im) (exp (- im)))
0.233 * [backup-simplify]: Simplify (* 0.5 (+ (exp im) (exp (- im)))) into (* 0.5 (+ (exp im) (exp (- im))))
0.233 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in im
0.233 * [taylor]: Taking taylor expansion of 0.5 in im
0.233 * [backup-simplify]: Simplify 0.5 into 0.5
0.233 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
0.233 * [taylor]: Taking taylor expansion of (exp im) in im
0.233 * [taylor]: Taking taylor expansion of im in im
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (exp 0) into 1
0.233 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.233 * [taylor]: Taking taylor expansion of (- im) in im
0.233 * [taylor]: Taking taylor expansion of im in im
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 1 into 1
0.233 * [backup-simplify]: Simplify (- 0) into 0
0.234 * [backup-simplify]: Simplify (- 1) into -1
0.234 * [backup-simplify]: Simplify (exp 0) into 1
0.234 * [backup-simplify]: Simplify (+ 1 1) into 2
0.234 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
0.234 * [backup-simplify]: Simplify 1.0 into 1.0
0.235 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
0.235 * [backup-simplify]: Simplify (- im) into (- im)
0.235 * [backup-simplify]: Simplify (- 0) into 0
0.235 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.236 * [backup-simplify]: Simplify (+ 0 0) into 0
0.236 * [backup-simplify]: Simplify (+ 0) into 0
0.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp im) (exp (- im))))) into 0
0.236 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp im) (exp (- im))))) into 0
0.237 * [taylor]: Taking taylor expansion of 0 in im
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.237 * [backup-simplify]: Simplify (- 1) into -1
0.238 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.238 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.239 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.239 * [backup-simplify]: Simplify (- im) into (- im)
0.240 * [backup-simplify]: Simplify (- 0) into 0
0.240 * [backup-simplify]: Simplify (- 0) into 0
0.240 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.241 * [backup-simplify]: Simplify (+ 0 0) into 0
0.241 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp im) (exp (- im)))))) into (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))
0.242 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))) (+ (* 0 0) (* 0 (+ (exp im) (exp (- im)))))) into (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))))
0.242 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im))))) in im
0.242 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im
0.242 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
0.242 * [taylor]: Taking taylor expansion of 0.25 in im
0.242 * [backup-simplify]: Simplify 0.25 into 0.25
0.242 * [taylor]: Taking taylor expansion of (exp im) in im
0.242 * [taylor]: Taking taylor expansion of im in im
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 1 into 1
0.242 * [backup-simplify]: Simplify (exp 0) into 1
0.242 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im
0.242 * [taylor]: Taking taylor expansion of 0.25 in im
0.242 * [backup-simplify]: Simplify 0.25 into 0.25
0.242 * [taylor]: Taking taylor expansion of (exp (- im)) in im
0.242 * [taylor]: Taking taylor expansion of (- im) in im
0.243 * [taylor]: Taking taylor expansion of im in im
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (- 0) into 0
0.243 * [backup-simplify]: Simplify (- 1) into -1
0.243 * [backup-simplify]: Simplify (exp 0) into 1
0.243 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.243 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.244 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
0.244 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.244 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.244 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.245 * [backup-simplify]: Simplify (- 1) into -1
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.246 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.246 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.248 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
0.248 * [backup-simplify]: Simplify 0.5 into 0.5
0.248 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
0.248 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))
0.248 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0
0.248 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.248 * [taylor]: Taking taylor expansion of 0.5 in im
0.248 * [backup-simplify]: Simplify 0.5 into 0.5
0.248 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.248 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.248 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.248 * [taylor]: Taking taylor expansion of re in im
0.248 * [backup-simplify]: Simplify re into re
0.248 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.249 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.249 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.249 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.249 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.249 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.249 * [taylor]: Taking taylor expansion of im in im
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (/ 1 1) into 1
0.249 * [backup-simplify]: Simplify (- 1) into -1
0.249 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
0.249 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.249 * [taylor]: Taking taylor expansion of im in im
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (/ 1 1) into 1
0.250 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.250 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.250 * [taylor]: Taking taylor expansion of 0.5 in re
0.250 * [backup-simplify]: Simplify 0.5 into 0.5
0.250 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.250 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.250 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.250 * [taylor]: Taking taylor expansion of re in re
0.250 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (/ 1 1) into 1
0.250 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.250 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.250 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.250 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.250 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.250 * [taylor]: Taking taylor expansion of im in re
0.250 * [backup-simplify]: Simplify im into im
0.250 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.250 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.250 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.250 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
0.250 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.250 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.251 * [taylor]: Taking taylor expansion of im in re
0.251 * [backup-simplify]: Simplify im into im
0.251 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.251 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.251 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re
0.251 * [taylor]: Taking taylor expansion of 0.5 in re
0.251 * [backup-simplify]: Simplify 0.5 into 0.5
0.251 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re
0.251 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.251 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.251 * [taylor]: Taking taylor expansion of re in re
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [backup-simplify]: Simplify (/ 1 1) into 1
0.251 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.251 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
0.251 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
0.251 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
0.251 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.251 * [taylor]: Taking taylor expansion of im in re
0.251 * [backup-simplify]: Simplify im into im
0.251 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.251 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.251 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.251 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
0.251 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.251 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.251 * [taylor]: Taking taylor expansion of im in re
0.251 * [backup-simplify]: Simplify im into im
0.251 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.251 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.252 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
0.252 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))
0.252 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))
0.252 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im
0.252 * [taylor]: Taking taylor expansion of 0.5 in im
0.252 * [backup-simplify]: Simplify 0.5 into 0.5
0.252 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im
0.252 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.252 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.252 * [taylor]: Taking taylor expansion of re in im
0.252 * [backup-simplify]: Simplify re into re
0.252 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.252 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.252 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.252 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
0.252 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
0.252 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
0.252 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.252 * [taylor]: Taking taylor expansion of im in im
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify 1 into 1
0.253 * [backup-simplify]: Simplify (/ 1 1) into 1
0.253 * [backup-simplify]: Simplify (- 1) into -1
0.253 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.253 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.253 * [taylor]: Taking taylor expansion of im in im
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [backup-simplify]: Simplify (/ 1 1) into 1
0.253 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.253 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.253 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.254 * [backup-simplify]: Simplify (- 0) into 0
0.254 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.254 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
0.254 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))
0.254 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))
0.254 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))
0.254 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.255 * [backup-simplify]: Simplify (- 0) into 0
0.255 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
0.255 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.256 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.256 * [backup-simplify]: Simplify (+ 0 0) into 0
0.256 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0
0.256 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0
0.256 * [taylor]: Taking taylor expansion of 0 in im
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify (+ 0 0) into 0
0.257 * [backup-simplify]: Simplify (+ 0) into 0
0.257 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.258 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.258 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
0.258 * [backup-simplify]: Simplify (- 0) into 0
0.258 * [backup-simplify]: Simplify (+ 0 0) into 0
0.259 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0
0.259 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.259 * [backup-simplify]: Simplify (- 0) into 0
0.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.260 * [backup-simplify]: Simplify (- 0) into 0
0.260 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.261 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.261 * [backup-simplify]: Simplify (+ 0 0) into 0
0.262 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0
0.262 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0
0.262 * [taylor]: Taking taylor expansion of 0 in im
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (+ 0 0) into 0
0.263 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.264 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.264 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.265 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.265 * [backup-simplify]: Simplify (- 0) into 0
0.265 * [backup-simplify]: Simplify (+ 0 0) into 0
0.265 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0
0.266 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
0.266 * [backup-simplify]: Simplify (- 0) into 0
0.266 * [backup-simplify]: Simplify (- 0) into 0
0.267 * [backup-simplify]: Simplify (- 0) into 0
0.267 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.267 * [backup-simplify]: Simplify (- 0) into 0
0.268 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.269 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.269 * [backup-simplify]: Simplify (+ 0 0) into 0
0.270 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0
0.271 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0
0.271 * [taylor]: Taking taylor expansion of 0 in im
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))
0.271 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
0.271 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0
0.271 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
0.271 * [taylor]: Taking taylor expansion of 0.5 in im
0.271 * [backup-simplify]: Simplify 0.5 into 0.5
0.271 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
0.271 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.271 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.271 * [taylor]: Taking taylor expansion of -1 in im
0.271 * [backup-simplify]: Simplify -1 into -1
0.271 * [taylor]: Taking taylor expansion of im in im
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 1 into 1
0.271 * [backup-simplify]: Simplify (/ -1 1) into -1
0.272 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.272 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.272 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.272 * [taylor]: Taking taylor expansion of im in im
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (/ 1 1) into 1
0.272 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.272 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.272 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.272 * [taylor]: Taking taylor expansion of -1 in im
0.272 * [backup-simplify]: Simplify -1 into -1
0.272 * [taylor]: Taking taylor expansion of re in im
0.272 * [backup-simplify]: Simplify re into re
0.272 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.272 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.272 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.272 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
0.272 * [taylor]: Taking taylor expansion of 0.5 in re
0.272 * [backup-simplify]: Simplify 0.5 into 0.5
0.272 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
0.272 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.272 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.272 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.272 * [taylor]: Taking taylor expansion of -1 in re
0.272 * [backup-simplify]: Simplify -1 into -1
0.272 * [taylor]: Taking taylor expansion of im in re
0.272 * [backup-simplify]: Simplify im into im
0.272 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.272 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.272 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.272 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.272 * [taylor]: Taking taylor expansion of im in re
0.272 * [backup-simplify]: Simplify im into im
0.272 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.273 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.273 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.273 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.273 * [taylor]: Taking taylor expansion of -1 in re
0.273 * [backup-simplify]: Simplify -1 into -1
0.273 * [taylor]: Taking taylor expansion of re in re
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (/ -1 1) into -1
0.273 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.273 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re
0.273 * [taylor]: Taking taylor expansion of 0.5 in re
0.273 * [backup-simplify]: Simplify 0.5 into 0.5
0.273 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re
0.273 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
0.273 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.273 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.273 * [taylor]: Taking taylor expansion of -1 in re
0.273 * [backup-simplify]: Simplify -1 into -1
0.273 * [taylor]: Taking taylor expansion of im in re
0.273 * [backup-simplify]: Simplify im into im
0.273 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.273 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.273 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.273 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.273 * [taylor]: Taking taylor expansion of im in re
0.273 * [backup-simplify]: Simplify im into im
0.273 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.273 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.273 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.273 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.273 * [taylor]: Taking taylor expansion of -1 in re
0.273 * [backup-simplify]: Simplify -1 into -1
0.273 * [taylor]: Taking taylor expansion of re in re
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.274 * [backup-simplify]: Simplify (/ -1 1) into -1
0.274 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.274 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
0.274 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))
0.274 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
0.274 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im
0.274 * [taylor]: Taking taylor expansion of 0.5 in im
0.274 * [backup-simplify]: Simplify 0.5 into 0.5
0.274 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im
0.274 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
0.274 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.274 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.274 * [taylor]: Taking taylor expansion of -1 in im
0.274 * [backup-simplify]: Simplify -1 into -1
0.274 * [taylor]: Taking taylor expansion of im in im
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 1 into 1
0.275 * [backup-simplify]: Simplify (/ -1 1) into -1
0.275 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.275 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.275 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.275 * [taylor]: Taking taylor expansion of im in im
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.275 * [backup-simplify]: Simplify (/ 1 1) into 1
0.275 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.275 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.275 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.275 * [taylor]: Taking taylor expansion of -1 in im
0.275 * [backup-simplify]: Simplify -1 into -1
0.275 * [taylor]: Taking taylor expansion of re in im
0.275 * [backup-simplify]: Simplify re into re
0.275 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.275 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.275 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.275 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
0.275 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.275 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.276 * [backup-simplify]: Simplify (- 0) into 0
0.276 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.276 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))
0.276 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
0.276 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))
0.276 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.277 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.277 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.277 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.278 * [backup-simplify]: Simplify (+ 0 0) into 0
0.278 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
0.278 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0
0.278 * [taylor]: Taking taylor expansion of 0 in im
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify (+ 0) into 0
0.279 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
0.279 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.279 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.279 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
0.280 * [backup-simplify]: Simplify (- 0) into 0
0.280 * [backup-simplify]: Simplify (+ 0 0) into 0
0.280 * [backup-simplify]: Simplify (+ 0 0) into 0
0.280 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0
0.281 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.282 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.286 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.287 * [backup-simplify]: Simplify (+ 0 0) into 0
0.287 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.288 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0
0.288 * [taylor]: Taking taylor expansion of 0 in im
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.289 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.289 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.289 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.290 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.290 * [backup-simplify]: Simplify (- 0) into 0
0.290 * [backup-simplify]: Simplify (+ 0 0) into 0
0.290 * [backup-simplify]: Simplify (+ 0 0) into 0
0.291 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.291 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.292 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.293 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.294 * [backup-simplify]: Simplify (+ 0 0) into 0
0.294 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
0.295 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0
0.295 * [taylor]: Taking taylor expansion of 0 in im
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re)))
0.295 * * * [progress]: simplifying candidates
0.296 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
  (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (- im)) (exp im))))
  (+ (log (* 0.5 (cos re))) (log (+ (exp (- im)) (exp im))))
  (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (exp (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
  (* (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))))
  (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
  (* (* 0.5 (cos re)) (exp (- im)))
  (* (* 0.5 (cos re)) (exp im))
  (* (exp (- im)) (* 0.5 (cos re)))
  (* (exp im) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))))
  (* (* 0.5 (cos re)) (sqrt (+ (exp (- im)) (exp im))))
  (* (* 0.5 (cos re)) 1)
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (+ (exp (- im)) (exp im)))
  (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (cos re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))
  (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re)))
0.296 * [simplify]: Sending expressions to egg_math:
 (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))
 (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))
 (+ (+ (log h0) (log (cos h1))) (log (+ (exp (- h2)) (exp h2))))
 (+ (log (* h0 (cos h1))) (log (+ (exp (- h2)) (exp h2))))
 (log (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (exp (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (* (* (* (* h0 h0) h0) (* (* (cos h1) (cos h1)) (cos h1))) (* (* (+ (exp (- h2)) (exp h2)) (+ (exp (- h2)) (exp h2))) (+ (exp (- h2)) (exp h2))))
 (* (* (* (* h0 (cos h1)) (* h0 (cos h1))) (* h0 (cos h1))) (* (* (+ (exp (- h2)) (exp h2)) (+ (exp (- h2)) (exp h2))) (+ (exp (- h2)) (exp h2))))
 (* (cbrt (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))) (cbrt (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))))
 (cbrt (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (* (* (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))) (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2)))) (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (sqrt (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (sqrt (* (* h0 (cos h1)) (+ (exp (- h2)) (exp h2))))
 (* (* h0 (cos h1)) (exp (- h2)))
 (* (* h0 (cos h1)) (exp h2))
 (* (exp (- h2)) (* h0 (cos h1)))
 (* (exp h2) (* h0 (cos h1)))
 (* (* h0 (cos h1)) (* (cbrt (+ (exp (- h2)) (exp h2))) (cbrt (+ (exp (- h2)) (exp h2)))))
 (* (* h0 (cos h1)) (sqrt (+ (exp (- h2)) (exp h2))))
 (* (* h0 (cos h1)) 1)
 (* (* h0 (cos h1)) 1)
 (* (cos h1) (+ (exp (- h2)) (exp h2)))
 (* (* h0 (cos h1)) (+ (pow (exp (- h2)) 3) (pow (exp h2) 3)))
 (* (* h0 (cos h1)) (- (* (exp (- h2)) (exp (- h2))) (* (exp h2) (exp h2))))
 (- (+ (* h0 (pow h2 2)) h3) (* h0 (pow h1 2)))
 (* h0 (* (cos h1) (+ (exp h2) (exp (- h2)))))
 (* h0 (* (+ (exp (* -1 h2)) (exp h2)) (cos h1)))
0.299 * * [simplify]: iteration  0 :  215  enodes  (cost  246 )
0.304 * * [simplify]: iteration  1 :  1120  enodes  (cost  199 )
0.329 * * [simplify]: iteration  2 :  5002  enodes  (cost  198 )
0.330 * * * [progress]: adding candidates to table
0.376 * * [progress]: iteration 2 / 4
0.376 * * * [progress]: picking best candidate
0.378 * * * * [pick]: Picked  #<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))>
0.378 * * * [progress]: localizing error
0.386 * * * [progress]: generating rewritten candidates
0.386 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.399 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.422 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.450 * * * [progress]: generating series expansions
0.450 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.450 * [backup-simplify]: Simplify (/ (* 0.5 (cos re)) (exp im)) into (* 0.5 (/ (cos re) (exp im)))
0.450 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0
0.450 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
0.450 * [taylor]: Taking taylor expansion of 0.5 in im
0.450 * [backup-simplify]: Simplify 0.5 into 0.5
0.450 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
0.450 * [taylor]: Taking taylor expansion of (cos re) in im
0.451 * [taylor]: Taking taylor expansion of re in im
0.451 * [backup-simplify]: Simplify re into re
0.451 * [backup-simplify]: Simplify (cos re) into (cos re)
0.451 * [backup-simplify]: Simplify (sin re) into (sin re)
0.451 * [taylor]: Taking taylor expansion of (exp im) in im
0.451 * [taylor]: Taking taylor expansion of im in im
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [backup-simplify]: Simplify (exp 0) into 1
0.451 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
0.451 * [backup-simplify]: Simplify (* (sin re) 0) into 0
0.451 * [backup-simplify]: Simplify (- 0) into 0
0.451 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
0.451 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
0.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
0.451 * [taylor]: Taking taylor expansion of 0.5 in re
0.451 * [backup-simplify]: Simplify 0.5 into 0.5
0.451 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
0.451 * [taylor]: Taking taylor expansion of (cos re) in re
0.451 * [taylor]: Taking taylor expansion of re in re
0.451 * [backup-simplify]: Simplify 0 into 0
0.451 * [backup-simplify]: Simplify 1 into 1
0.451 * [taylor]: Taking taylor expansion of (exp im) in re
0.451 * [taylor]: Taking taylor expansion of im in re
0.452 * [backup-simplify]: Simplify im into im
0.452 * [backup-simplify]: Simplify (exp im) into (exp im)
0.452 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
0.452 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
0.452 * [taylor]: Taking taylor expansion of 0.5 in re
0.452 * [backup-simplify]: Simplify 0.5 into 0.5
0.452 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
0.452 * [taylor]: Taking taylor expansion of (cos re) in re
0.452 * [taylor]: Taking taylor expansion of re in re
0.452 * [backup-simplify]: Simplify 0 into 0
0.452 * [backup-simplify]: Simplify 1 into 1
0.452 * [taylor]: Taking taylor expansion of (exp im) in re
0.452 * [taylor]: Taking taylor expansion of im in re
0.452 * [backup-simplify]: Simplify im into im
0.452 * [backup-simplify]: Simplify (exp im) into (exp im)
0.452 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
0.452 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im))
0.452 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
0.452 * [taylor]: Taking taylor expansion of 0.5 in im
0.452 * [backup-simplify]: Simplify 0.5 into 0.5
0.452 * [taylor]: Taking taylor expansion of (exp im) in im
0.452 * [taylor]: Taking taylor expansion of im in im
0.452 * [backup-simplify]: Simplify 0 into 0
0.452 * [backup-simplify]: Simplify 1 into 1
0.452 * [backup-simplify]: Simplify (exp 0) into 1
0.452 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.452 * [backup-simplify]: Simplify 0.5 into 0.5
0.453 * [backup-simplify]: Simplify (+ 0) into 0
0.453 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
0.453 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
0.454 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0
0.454 * [taylor]: Taking taylor expansion of 0 in im
0.454 * [backup-simplify]: Simplify 0 into 0
0.454 * [backup-simplify]: Simplify 0 into 0
0.454 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
0.456 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.456 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.457 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.457 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
0.458 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im))))
0.458 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im
0.458 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
0.458 * [taylor]: Taking taylor expansion of 0.25 in im
0.458 * [backup-simplify]: Simplify 0.25 into 0.25
0.458 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.458 * [taylor]: Taking taylor expansion of (exp im) in im
0.458 * [taylor]: Taking taylor expansion of im in im
0.458 * [backup-simplify]: Simplify 0 into 0
0.458 * [backup-simplify]: Simplify 1 into 1
0.458 * [backup-simplify]: Simplify (exp 0) into 1
0.458 * [backup-simplify]: Simplify (/ 1 1) into 1
0.458 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.459 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
0.459 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
0.459 * [backup-simplify]: Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* (- 0.5) (* im 1)) 0.5)) into (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
0.460 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.460 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
0.460 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.460 * [taylor]: Taking taylor expansion of 0.5 in im
0.460 * [backup-simplify]: Simplify 0.5 into 0.5
0.460 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
0.460 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.460 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.460 * [taylor]: Taking taylor expansion of re in im
0.460 * [backup-simplify]: Simplify re into re
0.460 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.460 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.460 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.460 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.460 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.460 * [taylor]: Taking taylor expansion of im in im
0.460 * [backup-simplify]: Simplify 0 into 0
0.460 * [backup-simplify]: Simplify 1 into 1
0.460 * [backup-simplify]: Simplify (/ 1 1) into 1
0.460 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.460 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.460 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.461 * [backup-simplify]: Simplify (- 0) into 0
0.461 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.461 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.461 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.461 * [taylor]: Taking taylor expansion of 0.5 in re
0.461 * [backup-simplify]: Simplify 0.5 into 0.5
0.461 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
0.461 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.461 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.461 * [taylor]: Taking taylor expansion of re in re
0.461 * [backup-simplify]: Simplify 0 into 0
0.461 * [backup-simplify]: Simplify 1 into 1
0.461 * [backup-simplify]: Simplify (/ 1 1) into 1
0.461 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.461 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.461 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.461 * [taylor]: Taking taylor expansion of im in re
0.461 * [backup-simplify]: Simplify im into im
0.461 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.461 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.461 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.461 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.461 * [taylor]: Taking taylor expansion of 0.5 in re
0.462 * [backup-simplify]: Simplify 0.5 into 0.5
0.462 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
0.462 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.462 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.462 * [taylor]: Taking taylor expansion of re in re
0.462 * [backup-simplify]: Simplify 0 into 0
0.462 * [backup-simplify]: Simplify 1 into 1
0.462 * [backup-simplify]: Simplify (/ 1 1) into 1
0.462 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.462 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.462 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.462 * [taylor]: Taking taylor expansion of im in re
0.462 * [backup-simplify]: Simplify im into im
0.462 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.462 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.462 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.462 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.462 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.462 * [taylor]: Taking taylor expansion of 0.5 in im
0.462 * [backup-simplify]: Simplify 0.5 into 0.5
0.462 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
0.462 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.462 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.462 * [taylor]: Taking taylor expansion of re in im
0.462 * [backup-simplify]: Simplify re into re
0.462 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.462 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.463 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.463 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.463 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.463 * [taylor]: Taking taylor expansion of im in im
0.463 * [backup-simplify]: Simplify 0 into 0
0.463 * [backup-simplify]: Simplify 1 into 1
0.463 * [backup-simplify]: Simplify (/ 1 1) into 1
0.463 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.463 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.463 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.463 * [backup-simplify]: Simplify (- 0) into 0
0.463 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.463 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.463 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.464 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.464 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.464 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
0.465 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.465 * [taylor]: Taking taylor expansion of 0 in im
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify 0 into 0
0.465 * [backup-simplify]: Simplify (+ 0) into 0
0.465 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
0.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.466 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.466 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
0.466 * [backup-simplify]: Simplify (- 0) into 0
0.466 * [backup-simplify]: Simplify (+ 0 0) into 0
0.467 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
0.467 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.467 * [backup-simplify]: Simplify 0 into 0
0.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.468 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.468 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.469 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.469 * [taylor]: Taking taylor expansion of 0 in im
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify 0 into 0
0.469 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.470 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.470 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.470 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.471 * [backup-simplify]: Simplify (- 0) into 0
0.471 * [backup-simplify]: Simplify (+ 0 0) into 0
0.471 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.472 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.472 * [backup-simplify]: Simplify 0 into 0
0.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.473 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.473 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.474 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
0.474 * [taylor]: Taking taylor expansion of 0 in im
0.474 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify 0 into 0
0.474 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im)))
0.474 * [backup-simplify]: Simplify (/ (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.474 * [approximate]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
0.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
0.474 * [taylor]: Taking taylor expansion of 0.5 in im
0.474 * [backup-simplify]: Simplify 0.5 into 0.5
0.474 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
0.474 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.474 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.474 * [taylor]: Taking taylor expansion of -1 in im
0.474 * [backup-simplify]: Simplify -1 into -1
0.474 * [taylor]: Taking taylor expansion of re in im
0.474 * [backup-simplify]: Simplify re into re
0.474 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.474 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.474 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.474 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.474 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.474 * [taylor]: Taking taylor expansion of -1 in im
0.474 * [backup-simplify]: Simplify -1 into -1
0.474 * [taylor]: Taking taylor expansion of im in im
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [backup-simplify]: Simplify 1 into 1
0.475 * [backup-simplify]: Simplify (/ -1 1) into -1
0.475 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.475 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.475 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.475 * [backup-simplify]: Simplify (- 0) into 0
0.475 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.475 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.475 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
0.475 * [taylor]: Taking taylor expansion of 0.5 in re
0.475 * [backup-simplify]: Simplify 0.5 into 0.5
0.475 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
0.475 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.475 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.475 * [taylor]: Taking taylor expansion of -1 in re
0.475 * [backup-simplify]: Simplify -1 into -1
0.475 * [taylor]: Taking taylor expansion of re in re
0.475 * [backup-simplify]: Simplify 0 into 0
0.475 * [backup-simplify]: Simplify 1 into 1
0.476 * [backup-simplify]: Simplify (/ -1 1) into -1
0.476 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.476 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.476 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.476 * [taylor]: Taking taylor expansion of -1 in re
0.476 * [backup-simplify]: Simplify -1 into -1
0.476 * [taylor]: Taking taylor expansion of im in re
0.476 * [backup-simplify]: Simplify im into im
0.476 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.476 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.476 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.476 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
0.476 * [taylor]: Taking taylor expansion of 0.5 in re
0.476 * [backup-simplify]: Simplify 0.5 into 0.5
0.476 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
0.476 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.476 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.476 * [taylor]: Taking taylor expansion of -1 in re
0.476 * [backup-simplify]: Simplify -1 into -1
0.476 * [taylor]: Taking taylor expansion of re in re
0.476 * [backup-simplify]: Simplify 0 into 0
0.476 * [backup-simplify]: Simplify 1 into 1
0.476 * [backup-simplify]: Simplify (/ -1 1) into -1
0.477 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.477 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.477 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.477 * [taylor]: Taking taylor expansion of -1 in re
0.477 * [backup-simplify]: Simplify -1 into -1
0.477 * [taylor]: Taking taylor expansion of im in re
0.477 * [backup-simplify]: Simplify im into im
0.477 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.477 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.477 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.477 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.477 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
0.477 * [taylor]: Taking taylor expansion of 0.5 in im
0.477 * [backup-simplify]: Simplify 0.5 into 0.5
0.477 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
0.477 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.477 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.477 * [taylor]: Taking taylor expansion of -1 in im
0.477 * [backup-simplify]: Simplify -1 into -1
0.477 * [taylor]: Taking taylor expansion of re in im
0.477 * [backup-simplify]: Simplify re into re
0.477 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.477 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.477 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.477 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.477 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.477 * [taylor]: Taking taylor expansion of -1 in im
0.477 * [backup-simplify]: Simplify -1 into -1
0.477 * [taylor]: Taking taylor expansion of im in im
0.477 * [backup-simplify]: Simplify 0 into 0
0.477 * [backup-simplify]: Simplify 1 into 1
0.478 * [backup-simplify]: Simplify (/ -1 1) into -1
0.478 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.478 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.478 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.478 * [backup-simplify]: Simplify (- 0) into 0
0.478 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.478 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.478 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.478 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.478 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.479 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.479 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
0.479 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
0.479 * [taylor]: Taking taylor expansion of 0 in im
0.480 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify 0 into 0
0.480 * [backup-simplify]: Simplify (+ 0) into 0
0.480 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
0.480 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.481 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.481 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
0.481 * [backup-simplify]: Simplify (- 0) into 0
0.481 * [backup-simplify]: Simplify (+ 0 0) into 0
0.481 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
0.482 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
0.482 * [backup-simplify]: Simplify 0 into 0
0.482 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.483 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.483 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.483 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
0.484 * [taylor]: Taking taylor expansion of 0 in im
0.484 * [backup-simplify]: Simplify 0 into 0
0.484 * [backup-simplify]: Simplify 0 into 0
0.484 * [backup-simplify]: Simplify 0 into 0
0.484 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.484 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.485 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.485 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.485 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.486 * [backup-simplify]: Simplify (- 0) into 0
0.486 * [backup-simplify]: Simplify (+ 0 0) into 0
0.486 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.487 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
0.487 * [backup-simplify]: Simplify 0 into 0
0.487 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.488 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.488 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.489 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
0.489 * [taylor]: Taking taylor expansion of 0 in im
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im)))
0.489 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.489 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (exp im)) into (* 0.5 (* (exp im) (cos re)))
0.489 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in (re im) around 0
0.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
0.489 * [taylor]: Taking taylor expansion of 0.5 in im
0.489 * [backup-simplify]: Simplify 0.5 into 0.5
0.489 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
0.489 * [taylor]: Taking taylor expansion of (exp im) in im
0.489 * [taylor]: Taking taylor expansion of im in im
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify 1 into 1
0.489 * [backup-simplify]: Simplify (exp 0) into 1
0.489 * [taylor]: Taking taylor expansion of (cos re) in im
0.489 * [taylor]: Taking taylor expansion of re in im
0.489 * [backup-simplify]: Simplify re into re
0.489 * [backup-simplify]: Simplify (cos re) into (cos re)
0.489 * [backup-simplify]: Simplify (sin re) into (sin re)
0.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
0.489 * [taylor]: Taking taylor expansion of 0.5 in re
0.489 * [backup-simplify]: Simplify 0.5 into 0.5
0.489 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
0.489 * [taylor]: Taking taylor expansion of (exp im) in re
0.489 * [taylor]: Taking taylor expansion of im in re
0.489 * [backup-simplify]: Simplify im into im
0.489 * [backup-simplify]: Simplify (exp im) into (exp im)
0.489 * [taylor]: Taking taylor expansion of (cos re) in re
0.489 * [taylor]: Taking taylor expansion of re in re
0.489 * [backup-simplify]: Simplify 0 into 0
0.489 * [backup-simplify]: Simplify 1 into 1
0.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
0.489 * [taylor]: Taking taylor expansion of 0.5 in re
0.490 * [backup-simplify]: Simplify 0.5 into 0.5
0.490 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
0.490 * [taylor]: Taking taylor expansion of (exp im) in re
0.490 * [taylor]: Taking taylor expansion of im in re
0.490 * [backup-simplify]: Simplify im into im
0.490 * [backup-simplify]: Simplify (exp im) into (exp im)
0.490 * [taylor]: Taking taylor expansion of (cos re) in re
0.490 * [taylor]: Taking taylor expansion of re in re
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 1 into 1
0.490 * [backup-simplify]: Simplify (* (exp im) 1) into (exp im)
0.490 * [backup-simplify]: Simplify (* 0.5 (exp im)) into (* 0.5 (exp im))
0.490 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
0.490 * [taylor]: Taking taylor expansion of 0.5 in im
0.490 * [backup-simplify]: Simplify 0.5 into 0.5
0.490 * [taylor]: Taking taylor expansion of (exp im) in im
0.490 * [taylor]: Taking taylor expansion of im in im
0.490 * [backup-simplify]: Simplify 0 into 0
0.490 * [backup-simplify]: Simplify 1 into 1
0.490 * [backup-simplify]: Simplify (exp 0) into 1
0.490 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.490 * [backup-simplify]: Simplify 0.5 into 0.5
0.491 * [backup-simplify]: Simplify (+ 0) into 0
0.491 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
0.491 * [backup-simplify]: Simplify (+ (* (exp im) 0) (* 0 1)) into 0
0.492 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp im))) into 0
0.492 * [taylor]: Taking taylor expansion of 0 in im
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify 0 into 0
0.492 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.493 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
0.493 * [backup-simplify]: Simplify 0.5 into 0.5
0.494 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.494 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.495 * [backup-simplify]: Simplify (+ (* (exp im) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp im)))
0.495 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (exp im)))) (+ (* 0 0) (* 0 (exp im)))) into (- (* 0.25 (exp im)))
0.495 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im))) in im
0.495 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
0.495 * [taylor]: Taking taylor expansion of 0.25 in im
0.495 * [backup-simplify]: Simplify 0.25 into 0.25
0.495 * [taylor]: Taking taylor expansion of (exp im) in im
0.495 * [taylor]: Taking taylor expansion of im in im
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify 1 into 1
0.495 * [backup-simplify]: Simplify (exp 0) into 1
0.495 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.496 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
0.496 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
0.496 * [backup-simplify]: Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* 0.5 (* im 1)) 0.5)) into (- (+ (* 0.5 im) 0.5) (* 0.25 (pow re 2)))
0.496 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.496 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
0.496 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.496 * [taylor]: Taking taylor expansion of 0.5 in im
0.496 * [backup-simplify]: Simplify 0.5 into 0.5
0.496 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
0.496 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.496 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.496 * [taylor]: Taking taylor expansion of re in im
0.496 * [backup-simplify]: Simplify re into re
0.497 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.497 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.497 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.497 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.497 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.497 * [taylor]: Taking taylor expansion of im in im
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 1 into 1
0.497 * [backup-simplify]: Simplify (/ 1 1) into 1
0.497 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.497 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.497 * [taylor]: Taking taylor expansion of 0.5 in re
0.497 * [backup-simplify]: Simplify 0.5 into 0.5
0.497 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
0.497 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.497 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.497 * [taylor]: Taking taylor expansion of re in re
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 1 into 1
0.497 * [backup-simplify]: Simplify (/ 1 1) into 1
0.497 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.497 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.497 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.497 * [taylor]: Taking taylor expansion of im in re
0.497 * [backup-simplify]: Simplify im into im
0.498 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.498 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.498 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.498 * [taylor]: Taking taylor expansion of 0.5 in re
0.498 * [backup-simplify]: Simplify 0.5 into 0.5
0.498 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
0.498 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.498 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.498 * [taylor]: Taking taylor expansion of re in re
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify 1 into 1
0.498 * [backup-simplify]: Simplify (/ 1 1) into 1
0.498 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.498 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.498 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.498 * [taylor]: Taking taylor expansion of im in re
0.498 * [backup-simplify]: Simplify im into im
0.498 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.498 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.498 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
0.498 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.498 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.498 * [taylor]: Taking taylor expansion of 0.5 in im
0.498 * [backup-simplify]: Simplify 0.5 into 0.5
0.498 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
0.498 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.498 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.498 * [taylor]: Taking taylor expansion of re in im
0.498 * [backup-simplify]: Simplify re into re
0.499 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.499 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.499 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.499 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.499 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.499 * [taylor]: Taking taylor expansion of im in im
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [backup-simplify]: Simplify (/ 1 1) into 1
0.499 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.499 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.499 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.499 * [backup-simplify]: Simplify (- 0) into 0
0.499 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.499 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
0.500 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.500 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.500 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.500 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
0.501 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.501 * [taylor]: Taking taylor expansion of 0 in im
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify 0 into 0
0.501 * [backup-simplify]: Simplify (+ 0) into 0
0.501 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
0.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.502 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.502 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
0.502 * [backup-simplify]: Simplify (- 0) into 0
0.502 * [backup-simplify]: Simplify (+ 0 0) into 0
0.503 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
0.503 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.503 * [backup-simplify]: Simplify 0 into 0
0.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.504 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.504 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
0.505 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.505 * [taylor]: Taking taylor expansion of 0 in im
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify 0 into 0
0.505 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.506 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.506 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.507 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.507 * [backup-simplify]: Simplify (- 0) into 0
0.507 * [backup-simplify]: Simplify (+ 0 0) into 0
0.507 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
0.508 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.508 * [backup-simplify]: Simplify 0 into 0
0.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.509 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.509 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
0.510 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
0.510 * [taylor]: Taking taylor expansion of 0 in im
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (exp im) (cos re)))
0.510 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.510 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in (re im) around 0
0.510 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
0.510 * [taylor]: Taking taylor expansion of 0.5 in im
0.510 * [backup-simplify]: Simplify 0.5 into 0.5
0.511 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
0.511 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.511 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.511 * [taylor]: Taking taylor expansion of -1 in im
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of im in im
0.511 * [backup-simplify]: Simplify 0 into 0
0.511 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify (/ -1 1) into -1
0.511 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.511 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.511 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.511 * [taylor]: Taking taylor expansion of -1 in im
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of re in im
0.511 * [backup-simplify]: Simplify re into re
0.511 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.511 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.511 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.511 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
0.511 * [taylor]: Taking taylor expansion of 0.5 in re
0.511 * [backup-simplify]: Simplify 0.5 into 0.5
0.511 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
0.511 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.511 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.511 * [taylor]: Taking taylor expansion of -1 in re
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of im in re
0.511 * [backup-simplify]: Simplify im into im
0.511 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.511 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.511 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.511 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.511 * [taylor]: Taking taylor expansion of -1 in re
0.511 * [backup-simplify]: Simplify -1 into -1
0.511 * [taylor]: Taking taylor expansion of re in re
0.511 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [backup-simplify]: Simplify (/ -1 1) into -1
0.512 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.512 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
0.512 * [taylor]: Taking taylor expansion of 0.5 in re
0.512 * [backup-simplify]: Simplify 0.5 into 0.5
0.512 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
0.512 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.512 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.512 * [taylor]: Taking taylor expansion of -1 in re
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [taylor]: Taking taylor expansion of im in re
0.512 * [backup-simplify]: Simplify im into im
0.512 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.512 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.512 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.512 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.512 * [taylor]: Taking taylor expansion of -1 in re
0.512 * [backup-simplify]: Simplify -1 into -1
0.512 * [taylor]: Taking taylor expansion of re in re
0.512 * [backup-simplify]: Simplify 0 into 0
0.512 * [backup-simplify]: Simplify 1 into 1
0.512 * [backup-simplify]: Simplify (/ -1 1) into -1
0.512 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.513 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (cos (/ -1 re))) into (* (exp (/ -1 im)) (cos (/ -1 re)))
0.513 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.513 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
0.513 * [taylor]: Taking taylor expansion of 0.5 in im
0.513 * [backup-simplify]: Simplify 0.5 into 0.5
0.513 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
0.513 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.513 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.513 * [taylor]: Taking taylor expansion of -1 in im
0.513 * [backup-simplify]: Simplify -1 into -1
0.513 * [taylor]: Taking taylor expansion of im in im
0.513 * [backup-simplify]: Simplify 0 into 0
0.513 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (/ -1 1) into -1
0.513 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.513 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.513 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.513 * [taylor]: Taking taylor expansion of -1 in im
0.513 * [backup-simplify]: Simplify -1 into -1
0.513 * [taylor]: Taking taylor expansion of re in im
0.513 * [backup-simplify]: Simplify re into re
0.513 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.513 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.513 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.513 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.514 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.514 * [backup-simplify]: Simplify (- 0) into 0
0.514 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.514 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (cos (/ -1 re))) into (* (exp (/ -1 im)) (cos (/ -1 re)))
0.514 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.514 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.514 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.515 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.515 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (cos (/ -1 re)))) into 0
0.515 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))) into 0
0.515 * [taylor]: Taking taylor expansion of 0 in im
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify 0 into 0
0.515 * [backup-simplify]: Simplify (+ 0) into 0
0.516 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
0.516 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.516 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.516 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
0.517 * [backup-simplify]: Simplify (- 0) into 0
0.517 * [backup-simplify]: Simplify (+ 0 0) into 0
0.517 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (cos (/ -1 re)))) into 0
0.517 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))) into 0
0.517 * [backup-simplify]: Simplify 0 into 0
0.521 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.522 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.522 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.523 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re)))))) into 0
0.523 * [taylor]: Taking taylor expansion of 0 in im
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.524 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.524 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.524 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.525 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.525 * [backup-simplify]: Simplify (- 0) into 0
0.525 * [backup-simplify]: Simplify (+ 0 0) into 0
0.525 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.526 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re)))))) into 0
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.527 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.528 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
0.528 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))))) into 0
0.528 * [taylor]: Taking taylor expansion of 0 in im
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 (/ 1 (- im)))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (exp im) (cos re)))
0.529 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.529 * [backup-simplify]: Simplify (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
0.529 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in (re im) around 0
0.529 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in im
0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in im
0.529 * [taylor]: Taking taylor expansion of 0.5 in im
0.529 * [backup-simplify]: Simplify 0.5 into 0.5
0.529 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in im
0.529 * [taylor]: Taking taylor expansion of (exp im) in im
0.529 * [taylor]: Taking taylor expansion of im in im
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (exp 0) into 1
0.529 * [taylor]: Taking taylor expansion of (cos re) in im
0.529 * [taylor]: Taking taylor expansion of re in im
0.529 * [backup-simplify]: Simplify re into re
0.529 * [backup-simplify]: Simplify (cos re) into (cos re)
0.529 * [backup-simplify]: Simplify (sin re) into (sin re)
0.529 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
0.529 * [taylor]: Taking taylor expansion of 0.5 in im
0.529 * [backup-simplify]: Simplify 0.5 into 0.5
0.529 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in im
0.529 * [taylor]: Taking taylor expansion of (cos re) in im
0.529 * [taylor]: Taking taylor expansion of re in im
0.529 * [backup-simplify]: Simplify re into re
0.529 * [backup-simplify]: Simplify (cos re) into (cos re)
0.529 * [backup-simplify]: Simplify (sin re) into (sin re)
0.529 * [taylor]: Taking taylor expansion of (exp im) in im
0.529 * [taylor]: Taking taylor expansion of im in im
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (exp 0) into 1
0.529 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re)
0.529 * [backup-simplify]: Simplify (* (sin re) 0) into 0
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re)
0.530 * [backup-simplify]: Simplify (/ (cos re) 1) into (cos re)
0.530 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
0.530 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
0.530 * [taylor]: Taking taylor expansion of 0.5 in re
0.530 * [backup-simplify]: Simplify 0.5 into 0.5
0.530 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
0.530 * [taylor]: Taking taylor expansion of (exp im) in re
0.530 * [taylor]: Taking taylor expansion of im in re
0.530 * [backup-simplify]: Simplify im into im
0.530 * [backup-simplify]: Simplify (exp im) into (exp im)
0.530 * [taylor]: Taking taylor expansion of (cos re) in re
0.530 * [taylor]: Taking taylor expansion of re in re
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
0.530 * [taylor]: Taking taylor expansion of 0.5 in re
0.530 * [backup-simplify]: Simplify 0.5 into 0.5
0.530 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
0.530 * [taylor]: Taking taylor expansion of (cos re) in re
0.530 * [taylor]: Taking taylor expansion of re in re
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [taylor]: Taking taylor expansion of (exp im) in re
0.530 * [taylor]: Taking taylor expansion of im in re
0.530 * [backup-simplify]: Simplify im into im
0.530 * [backup-simplify]: Simplify (exp im) into (exp im)
0.530 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
0.530 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))) in re
0.530 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (cos re))) in re
0.530 * [taylor]: Taking taylor expansion of 0.5 in re
0.530 * [backup-simplify]: Simplify 0.5 into 0.5
0.530 * [taylor]: Taking taylor expansion of (* (exp im) (cos re)) in re
0.530 * [taylor]: Taking taylor expansion of (exp im) in re
0.530 * [taylor]: Taking taylor expansion of im in re
0.530 * [backup-simplify]: Simplify im into im
0.530 * [backup-simplify]: Simplify (exp im) into (exp im)
0.530 * [taylor]: Taking taylor expansion of (cos re) in re
0.530 * [taylor]: Taking taylor expansion of re in re
0.530 * [backup-simplify]: Simplify 0 into 0
0.530 * [backup-simplify]: Simplify 1 into 1
0.531 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
0.531 * [taylor]: Taking taylor expansion of 0.5 in re
0.531 * [backup-simplify]: Simplify 0.5 into 0.5
0.531 * [taylor]: Taking taylor expansion of (/ (cos re) (exp im)) in re
0.531 * [taylor]: Taking taylor expansion of (cos re) in re
0.531 * [taylor]: Taking taylor expansion of re in re
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 1 into 1
0.531 * [taylor]: Taking taylor expansion of (exp im) in re
0.531 * [taylor]: Taking taylor expansion of im in re
0.531 * [backup-simplify]: Simplify im into im
0.531 * [backup-simplify]: Simplify (exp im) into (exp im)
0.531 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im))
0.531 * [backup-simplify]: Simplify (* (exp im) 1) into (exp im)
0.531 * [backup-simplify]: Simplify (* 0.5 (exp im)) into (* 0.5 (exp im))
0.531 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im))
0.531 * [backup-simplify]: Simplify (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) into (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im)))
0.531 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) in im
0.531 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
0.531 * [taylor]: Taking taylor expansion of 0.5 in im
0.531 * [backup-simplify]: Simplify 0.5 into 0.5
0.531 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.531 * [taylor]: Taking taylor expansion of (exp im) in im
0.531 * [taylor]: Taking taylor expansion of im in im
0.531 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify 1 into 1
0.531 * [backup-simplify]: Simplify (exp 0) into 1
0.531 * [backup-simplify]: Simplify (/ 1 1) into 1
0.531 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
0.531 * [taylor]: Taking taylor expansion of 0.5 in im
0.531 * [backup-simplify]: Simplify 0.5 into 0.5
0.532 * [taylor]: Taking taylor expansion of (exp im) in im
0.532 * [taylor]: Taking taylor expansion of im in im
0.532 * [backup-simplify]: Simplify 0 into 0
0.532 * [backup-simplify]: Simplify 1 into 1
0.532 * [backup-simplify]: Simplify (exp 0) into 1
0.532 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.532 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.532 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
0.532 * [backup-simplify]: Simplify 1.0 into 1.0
0.533 * [backup-simplify]: Simplify (+ 0) into 0
0.533 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
0.533 * [backup-simplify]: Simplify (+ (* (exp im) 0) (* 0 1)) into 0
0.534 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp im))) into 0
0.534 * [backup-simplify]: Simplify (+ 0) into 0
0.534 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
0.534 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
0.535 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0
0.535 * [backup-simplify]: Simplify (+ 0 0) into 0
0.535 * [taylor]: Taking taylor expansion of 0 in im
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.537 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
0.537 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.538 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
0.538 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0
0.538 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.540 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.540 * [backup-simplify]: Simplify (+ (* (exp im) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp im)))
0.541 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (exp im)))) (+ (* 0 0) (* 0 (exp im)))) into (- (* 0.25 (exp im)))
0.541 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.542 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.542 * [backup-simplify]: Simplify (- (/ -1/2 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
0.542 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im))))
0.543 * [backup-simplify]: Simplify (+ (- (* 0.25 (exp im))) (- (* 0.25 (/ 1 (exp im))))) into (- (+ (* 0.25 (/ 1 (exp im))) (* 0.25 (exp im))))
0.543 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (exp im))) (* 0.25 (exp im)))) in im
0.543 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (exp im))) (* 0.25 (exp im))) in im
0.543 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
0.543 * [taylor]: Taking taylor expansion of 0.25 in im
0.543 * [backup-simplify]: Simplify 0.25 into 0.25
0.543 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
0.543 * [taylor]: Taking taylor expansion of (exp im) in im
0.543 * [taylor]: Taking taylor expansion of im in im
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (exp 0) into 1
0.543 * [backup-simplify]: Simplify (/ 1 1) into 1
0.543 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im
0.543 * [taylor]: Taking taylor expansion of 0.25 in im
0.543 * [backup-simplify]: Simplify 0.25 into 0.25
0.543 * [taylor]: Taking taylor expansion of (exp im) in im
0.543 * [taylor]: Taking taylor expansion of im in im
0.543 * [backup-simplify]: Simplify 0 into 0
0.543 * [backup-simplify]: Simplify 1 into 1
0.543 * [backup-simplify]: Simplify (exp 0) into 1
0.543 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.544 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
0.544 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
0.544 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.544 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.544 * [backup-simplify]: Simplify 0 into 0
0.545 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
0.547 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
0.548 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.549 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
0.549 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
0.549 * [backup-simplify]: Simplify 0.5 into 0.5
0.549 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
0.550 * [backup-simplify]: Simplify (+ (/ (* 0.5 (cos (/ 1 re))) (exp (/ 1 im))) (* (* 0.5 (cos (/ 1 re))) (exp (/ 1 im)))) into (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
0.550 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in (re im) around 0
0.550 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
0.550 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.550 * [taylor]: Taking taylor expansion of 0.5 in im
0.550 * [backup-simplify]: Simplify 0.5 into 0.5
0.550 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
0.550 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.550 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.550 * [taylor]: Taking taylor expansion of re in im
0.550 * [backup-simplify]: Simplify re into re
0.550 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.550 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.550 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.550 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.550 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.550 * [taylor]: Taking taylor expansion of im in im
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [backup-simplify]: Simplify (/ 1 1) into 1
0.550 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.550 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.550 * [taylor]: Taking taylor expansion of 0.5 in im
0.550 * [backup-simplify]: Simplify 0.5 into 0.5
0.550 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
0.550 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.550 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.550 * [taylor]: Taking taylor expansion of re in im
0.550 * [backup-simplify]: Simplify re into re
0.550 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.550 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.550 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.551 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.551 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.551 * [taylor]: Taking taylor expansion of im in im
0.551 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify 1 into 1
0.551 * [backup-simplify]: Simplify (/ 1 1) into 1
0.551 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.551 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.551 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.551 * [backup-simplify]: Simplify (- 0) into 0
0.551 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.551 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.551 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re
0.551 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.551 * [taylor]: Taking taylor expansion of 0.5 in re
0.551 * [backup-simplify]: Simplify 0.5 into 0.5
0.551 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
0.551 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.551 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.551 * [taylor]: Taking taylor expansion of re in re
0.551 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 1 into 1
0.552 * [backup-simplify]: Simplify (/ 1 1) into 1
0.552 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.552 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.552 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.552 * [taylor]: Taking taylor expansion of im in re
0.552 * [backup-simplify]: Simplify im into im
0.552 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.552 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.552 * [taylor]: Taking taylor expansion of 0.5 in re
0.552 * [backup-simplify]: Simplify 0.5 into 0.5
0.552 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
0.552 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.552 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.552 * [taylor]: Taking taylor expansion of re in re
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 1 into 1
0.552 * [backup-simplify]: Simplify (/ 1 1) into 1
0.552 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.552 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.552 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.552 * [taylor]: Taking taylor expansion of im in re
0.552 * [backup-simplify]: Simplify im into im
0.552 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.552 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.553 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.553 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re
0.553 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.553 * [taylor]: Taking taylor expansion of 0.5 in re
0.553 * [backup-simplify]: Simplify 0.5 into 0.5
0.553 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
0.553 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.553 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.553 * [taylor]: Taking taylor expansion of re in re
0.553 * [backup-simplify]: Simplify 0 into 0
0.553 * [backup-simplify]: Simplify 1 into 1
0.553 * [backup-simplify]: Simplify (/ 1 1) into 1
0.553 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.553 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.553 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.553 * [taylor]: Taking taylor expansion of im in re
0.553 * [backup-simplify]: Simplify im into im
0.553 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.553 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
0.553 * [taylor]: Taking taylor expansion of 0.5 in re
0.553 * [backup-simplify]: Simplify 0.5 into 0.5
0.553 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
0.553 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
0.553 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.553 * [taylor]: Taking taylor expansion of re in re
0.553 * [backup-simplify]: Simplify 0 into 0
0.553 * [backup-simplify]: Simplify 1 into 1
0.554 * [backup-simplify]: Simplify (/ 1 1) into 1
0.554 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.554 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
0.554 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.554 * [taylor]: Taking taylor expansion of im in re
0.554 * [backup-simplify]: Simplify im into im
0.554 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
0.554 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.554 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.554 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
0.554 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.554 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.554 * [backup-simplify]: Simplify (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
0.554 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
0.554 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.554 * [taylor]: Taking taylor expansion of 0.5 in im
0.554 * [backup-simplify]: Simplify 0.5 into 0.5
0.554 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in im
0.554 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.554 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.555 * [taylor]: Taking taylor expansion of re in im
0.555 * [backup-simplify]: Simplify re into re
0.555 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.555 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.555 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.555 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.555 * [taylor]: Taking taylor expansion of im in im
0.555 * [backup-simplify]: Simplify 0 into 0
0.555 * [backup-simplify]: Simplify 1 into 1
0.555 * [backup-simplify]: Simplify (/ 1 1) into 1
0.555 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.555 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
0.555 * [taylor]: Taking taylor expansion of 0.5 in im
0.555 * [backup-simplify]: Simplify 0.5 into 0.5
0.555 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
0.555 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
0.555 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.555 * [taylor]: Taking taylor expansion of re in im
0.555 * [backup-simplify]: Simplify re into re
0.555 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.555 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
0.555 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
0.555 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.555 * [taylor]: Taking taylor expansion of im in im
0.555 * [backup-simplify]: Simplify 0 into 0
0.555 * [backup-simplify]: Simplify 1 into 1
0.556 * [backup-simplify]: Simplify (/ 1 1) into 1
0.556 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
0.556 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.556 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.556 * [backup-simplify]: Simplify (- 0) into 0
0.556 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.556 * [backup-simplify]: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
0.556 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
0.556 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
0.556 * [backup-simplify]: Simplify (- 0) into 0
0.557 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
0.557 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
0.557 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
0.557 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
0.557 * [backup-simplify]: Simplify (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
0.557 * [backup-simplify]: Simplify (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
0.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.558 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.558 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
0.558 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
0.559 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.559 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
0.559 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.560 * [backup-simplify]: Simplify (+ 0 0) into 0
0.560 * [taylor]: Taking taylor expansion of 0 in im
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify 0 into 0
0.560 * [backup-simplify]: Simplify (+ 0) into 0
0.560 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
0.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.561 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.561 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
0.561 * [backup-simplify]: Simplify (- 0) into 0
0.561 * [backup-simplify]: Simplify (+ 0 0) into 0
0.561 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
0.562 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.562 * [backup-simplify]: Simplify (+ 0) into 0
0.562 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
0.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
0.563 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.563 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
0.563 * [backup-simplify]: Simplify (- 0) into 0
0.564 * [backup-simplify]: Simplify (+ 0 0) into 0
0.564 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
0.564 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
0.564 * [backup-simplify]: Simplify (+ 0 0) into 0
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.565 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.566 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
0.566 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.567 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.567 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.568 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.568 * [backup-simplify]: Simplify (+ 0 0) into 0
0.568 * [taylor]: Taking taylor expansion of 0 in im
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.569 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.569 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.570 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.570 * [backup-simplify]: Simplify (- 0) into 0
0.570 * [backup-simplify]: Simplify (+ 0 0) into 0
0.570 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
0.571 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.571 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.572 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.572 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.573 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.573 * [backup-simplify]: Simplify (- 0) into 0
0.573 * [backup-simplify]: Simplify (+ 0 0) into 0
0.573 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.574 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
0.574 * [backup-simplify]: Simplify (+ 0 0) into 0
0.574 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.575 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.576 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
0.576 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
0.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.577 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.578 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
0.578 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
0.579 * [backup-simplify]: Simplify (+ 0 0) into 0
0.579 * [taylor]: Taking taylor expansion of 0 in im
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify (+ (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
0.579 * [backup-simplify]: Simplify (+ (/ (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im)))) (* (* 0.5 (cos (/ 1 (- re)))) (exp (/ 1 (- im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))))
0.579 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in (re im) around 0
0.579 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in im
0.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
0.579 * [taylor]: Taking taylor expansion of 0.5 in im
0.579 * [backup-simplify]: Simplify 0.5 into 0.5
0.579 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
0.579 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.579 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.579 * [taylor]: Taking taylor expansion of -1 in im
0.580 * [backup-simplify]: Simplify -1 into -1
0.580 * [taylor]: Taking taylor expansion of re in im
0.580 * [backup-simplify]: Simplify re into re
0.580 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.580 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.580 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.580 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.580 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.580 * [taylor]: Taking taylor expansion of -1 in im
0.580 * [backup-simplify]: Simplify -1 into -1
0.580 * [taylor]: Taking taylor expansion of im in im
0.580 * [backup-simplify]: Simplify 0 into 0
0.580 * [backup-simplify]: Simplify 1 into 1
0.580 * [backup-simplify]: Simplify (/ -1 1) into -1
0.580 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.580 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.580 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.580 * [backup-simplify]: Simplify (- 0) into 0
0.580 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.581 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.581 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
0.581 * [taylor]: Taking taylor expansion of 0.5 in im
0.581 * [backup-simplify]: Simplify 0.5 into 0.5
0.581 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
0.581 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.581 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.581 * [taylor]: Taking taylor expansion of -1 in im
0.581 * [backup-simplify]: Simplify -1 into -1
0.581 * [taylor]: Taking taylor expansion of im in im
0.581 * [backup-simplify]: Simplify 0 into 0
0.581 * [backup-simplify]: Simplify 1 into 1
0.581 * [backup-simplify]: Simplify (/ -1 1) into -1
0.581 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.581 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.581 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.581 * [taylor]: Taking taylor expansion of -1 in im
0.581 * [backup-simplify]: Simplify -1 into -1
0.581 * [taylor]: Taking taylor expansion of re in im
0.581 * [backup-simplify]: Simplify re into re
0.581 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.581 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.581 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.581 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in re
0.581 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
0.581 * [taylor]: Taking taylor expansion of 0.5 in re
0.581 * [backup-simplify]: Simplify 0.5 into 0.5
0.581 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
0.581 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.581 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.581 * [taylor]: Taking taylor expansion of -1 in re
0.581 * [backup-simplify]: Simplify -1 into -1
0.581 * [taylor]: Taking taylor expansion of re in re
0.581 * [backup-simplify]: Simplify 0 into 0
0.581 * [backup-simplify]: Simplify 1 into 1
0.582 * [backup-simplify]: Simplify (/ -1 1) into -1
0.582 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.582 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.582 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.582 * [taylor]: Taking taylor expansion of -1 in re
0.582 * [backup-simplify]: Simplify -1 into -1
0.582 * [taylor]: Taking taylor expansion of im in re
0.582 * [backup-simplify]: Simplify im into im
0.582 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.582 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.582 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
0.582 * [taylor]: Taking taylor expansion of 0.5 in re
0.582 * [backup-simplify]: Simplify 0.5 into 0.5
0.582 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
0.582 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.582 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.582 * [taylor]: Taking taylor expansion of -1 in re
0.582 * [backup-simplify]: Simplify -1 into -1
0.582 * [taylor]: Taking taylor expansion of im in re
0.582 * [backup-simplify]: Simplify im into im
0.582 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.582 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.582 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.582 * [taylor]: Taking taylor expansion of -1 in re
0.582 * [backup-simplify]: Simplify -1 into -1
0.582 * [taylor]: Taking taylor expansion of re in re
0.582 * [backup-simplify]: Simplify 0 into 0
0.582 * [backup-simplify]: Simplify 1 into 1
0.583 * [backup-simplify]: Simplify (/ -1 1) into -1
0.583 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.583 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in re
0.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
0.583 * [taylor]: Taking taylor expansion of 0.5 in re
0.583 * [backup-simplify]: Simplify 0.5 into 0.5
0.583 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
0.583 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.583 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.583 * [taylor]: Taking taylor expansion of -1 in re
0.583 * [backup-simplify]: Simplify -1 into -1
0.583 * [taylor]: Taking taylor expansion of re in re
0.583 * [backup-simplify]: Simplify 0 into 0
0.583 * [backup-simplify]: Simplify 1 into 1
0.583 * [backup-simplify]: Simplify (/ -1 1) into -1
0.583 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.583 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.583 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.583 * [taylor]: Taking taylor expansion of -1 in re
0.583 * [backup-simplify]: Simplify -1 into -1
0.583 * [taylor]: Taking taylor expansion of im in re
0.583 * [backup-simplify]: Simplify im into im
0.583 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.583 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.583 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.584 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in re
0.584 * [taylor]: Taking taylor expansion of 0.5 in re
0.584 * [backup-simplify]: Simplify 0.5 into 0.5
0.584 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in re
0.584 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
0.584 * [taylor]: Taking taylor expansion of (/ -1 im) in re
0.584 * [taylor]: Taking taylor expansion of -1 in re
0.584 * [backup-simplify]: Simplify -1 into -1
0.584 * [taylor]: Taking taylor expansion of im in re
0.584 * [backup-simplify]: Simplify im into im
0.584 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
0.584 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.584 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
0.584 * [taylor]: Taking taylor expansion of (/ -1 re) in re
0.584 * [taylor]: Taking taylor expansion of -1 in re
0.584 * [backup-simplify]: Simplify -1 into -1
0.584 * [taylor]: Taking taylor expansion of re in re
0.584 * [backup-simplify]: Simplify 0 into 0
0.584 * [backup-simplify]: Simplify 1 into 1
0.584 * [backup-simplify]: Simplify (/ -1 1) into -1
0.584 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.584 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.584 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (cos (/ -1 re))) into (* (exp (/ -1 im)) (cos (/ -1 re)))
0.584 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.585 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))))
0.585 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) in im
0.585 * [taylor]: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
0.585 * [taylor]: Taking taylor expansion of 0.5 in im
0.585 * [backup-simplify]: Simplify 0.5 into 0.5
0.585 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
0.585 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.585 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.585 * [taylor]: Taking taylor expansion of -1 in im
0.585 * [backup-simplify]: Simplify -1 into -1
0.585 * [taylor]: Taking taylor expansion of re in im
0.585 * [backup-simplify]: Simplify re into re
0.585 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.585 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.585 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.585 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.585 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.585 * [taylor]: Taking taylor expansion of -1 in im
0.585 * [backup-simplify]: Simplify -1 into -1
0.585 * [taylor]: Taking taylor expansion of im in im
0.585 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify 1 into 1
0.585 * [backup-simplify]: Simplify (/ -1 1) into -1
0.585 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.585 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.586 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.586 * [backup-simplify]: Simplify (- 0) into 0
0.586 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.586 * [backup-simplify]: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
0.586 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) in im
0.586 * [taylor]: Taking taylor expansion of 0.5 in im
0.586 * [backup-simplify]: Simplify 0.5 into 0.5
0.586 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (cos (/ -1 re))) in im
0.586 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
0.586 * [taylor]: Taking taylor expansion of (/ -1 im) in im
0.586 * [taylor]: Taking taylor expansion of -1 in im
0.586 * [backup-simplify]: Simplify -1 into -1
0.586 * [taylor]: Taking taylor expansion of im in im
0.586 * [backup-simplify]: Simplify 0 into 0
0.586 * [backup-simplify]: Simplify 1 into 1
0.586 * [backup-simplify]: Simplify (/ -1 1) into -1
0.586 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
0.586 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
0.586 * [taylor]: Taking taylor expansion of (/ -1 re) in im
0.586 * [taylor]: Taking taylor expansion of -1 in im
0.586 * [backup-simplify]: Simplify -1 into -1
0.586 * [taylor]: Taking taylor expansion of re in im
0.586 * [backup-simplify]: Simplify re into re
0.586 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
0.587 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
0.587 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
0.587 * [backup-simplify]: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
0.587 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
0.587 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
0.587 * [backup-simplify]: Simplify (- 0) into 0
0.587 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
0.587 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (cos (/ -1 re))) into (* (exp (/ -1 im)) (cos (/ -1 re)))
0.587 * [backup-simplify]: Simplify (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))) into (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))
0.587 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))))
0.588 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (cos (/ -1 re)))))
0.588 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.588 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.589 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
0.589 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
0.589 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
0.589 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
0.590 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (cos (/ -1 re)))) into 0
0.590 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))) into 0
0.590 * [backup-simplify]: Simplify (+ 0 0) into 0
0.590 * [taylor]: Taking taylor expansion of 0 in im
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.591 * [backup-simplify]: Simplify (+ 0) into 0
0.591 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
0.591 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.591 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.592 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
0.592 * [backup-simplify]: Simplify (- 0) into 0
0.592 * [backup-simplify]: Simplify (+ 0 0) into 0
0.592 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
0.593 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
0.593 * [backup-simplify]: Simplify (+ 0) into 0
0.593 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
0.593 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
0.594 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.594 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
0.594 * [backup-simplify]: Simplify (- 0) into 0
0.594 * [backup-simplify]: Simplify (+ 0 0) into 0
0.594 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (cos (/ -1 re)))) into 0
0.595 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))) into 0
0.595 * [backup-simplify]: Simplify (+ 0 0) into 0
0.595 * [backup-simplify]: Simplify 0 into 0
0.595 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.596 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.596 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.597 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
0.597 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.598 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.598 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.598 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re)))))) into 0
0.599 * [backup-simplify]: Simplify (+ 0 0) into 0
0.599 * [taylor]: Taking taylor expansion of 0 in im
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.600 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.600 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.600 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.600 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.601 * [backup-simplify]: Simplify (- 0) into 0
0.601 * [backup-simplify]: Simplify (+ 0 0) into 0
0.601 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.602 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
0.602 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.603 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
0.603 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
0.603 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.603 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
0.604 * [backup-simplify]: Simplify (- 0) into 0
0.604 * [backup-simplify]: Simplify (+ 0 0) into 0
0.604 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
0.605 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re)))))) into 0
0.605 * [backup-simplify]: Simplify (+ 0 0) into 0
0.605 * [backup-simplify]: Simplify 0 into 0
0.605 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.606 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.606 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
0.607 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
0.607 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
0.608 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.608 * [backup-simplify]: Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
0.609 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (exp (/ -1 im)) (cos (/ -1 re))))))) into 0
0.609 * [backup-simplify]: Simplify (+ 0 0) into 0
0.609 * [taylor]: Taking taylor expansion of 0 in im
0.609 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify 0 into 0
0.610 * [backup-simplify]: Simplify (+ (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (* (exp (/ -1 (/ 1 (- im)))) (cos (/ -1 (/ 1 (- re))))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
0.610 * * * [progress]: simplifying candidates
0.611 * [simplify]: Simplifying:
  (- (+ (log 0.5) (log (cos re))) im)
  (- (log (* 0.5 (cos re))) im)
  (log (/ (* 0.5 (cos re)) (exp im)))
  (exp (/ (* 0.5 (cos re)) (exp im)))
  (/ (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (/ (* 0.5 (cos re)) (exp im))) (cbrt (/ (* 0.5 (cos re)) (exp im))))
  (cbrt (/ (* 0.5 (cos re)) (exp im)))
  (* (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (/ (* 0.5 (cos re)) (exp im)))
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (sqrt (/ (* 0.5 (cos re)) (exp im)))
  (- (* 0.5 (cos re)))
  (- (exp im))
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cos re) (cbrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  (/ (cos re) (sqrt (exp im)))
  (/ 0.5 1)
  (/ (cos re) (exp im))
  (/ 1 (exp im))
  (/ (exp im) (* 0.5 (cos re)))
  (/ (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (* 0.5 (cos re)) (sqrt (exp im)))
  (/ (* 0.5 (cos re)) 1)
  (/ (exp im) (cos re))
  (* (* 0.5 (cos re)) (exp im))
  (* (* 0.5 (cos re)) (exp im))
  (+ (+ (log 0.5) (log (cos re))) im)
  (+ (log (* 0.5 (cos re))) im)
  (log (* (* 0.5 (cos re)) (exp im)))
  (exp (* (* 0.5 (cos re)) (exp im)))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (* (* 0.5 (cos re)) (exp im))) (cbrt (* (* 0.5 (cos re)) (exp im))))
  (cbrt (* (* 0.5 (cos re)) (exp im)))
  (* (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (* (* 0.5 (cos re)) (exp im)))
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (sqrt (* (* 0.5 (cos re)) (exp im)))
  (* (* 0.5 (cos re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (* (* 0.5 (cos re)) (sqrt (exp im)))
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (exp im))
  (* (exp (/ (* 0.5 (cos re)) (exp im))) (exp (* (* 0.5 (cos re)) (exp im))))
  (log (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (exp (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (* (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))) (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))))
  (cbrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (* (* (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (+ (pow (/ (* 0.5 (cos re)) (exp im)) 3) (pow (* (* 0.5 (cos re)) (exp im)) 3))
  (+ (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (- (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))) (* (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))))
  (- (* (/ (* 0.5 (cos re)) (exp im)) (/ (* 0.5 (cos re)) (exp im))) (* (* (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))
  (- (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
  (+ (/ 1 (exp im)) (exp im))
  (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
  (* 0.5 (/ (cos re) (exp im)))
  (* 0.5 (/ (cos re) (exp im)))
  (- (+ (* 0.5 im) 0.5) (* 0.25 (pow re 2)))
  (* 0.5 (* (exp im) (cos re)))
  (* 0.5 (* (exp im) (cos re)))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
  (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
0.611 * [simplify]: Sending expressions to egg_math:
 (- (+ (log h0) (log (cos h1))) h2)
 (- (log (* h0 (cos h1))) h2)
 (log (/ (* h0 (cos h1)) (exp h2)))
 (exp (/ (* h0 (cos h1)) (exp h2)))
 (/ (* (* (* h0 h0) h0) (* (* (cos h1) (cos h1)) (cos h1))) (* (* (exp h2) (exp h2)) (exp h2)))
 (/ (* (* (* h0 (cos h1)) (* h0 (cos h1))) (* h0 (cos h1))) (* (* (exp h2) (exp h2)) (exp h2)))
 (* (cbrt (/ (* h0 (cos h1)) (exp h2))) (cbrt (/ (* h0 (cos h1)) (exp h2))))
 (cbrt (/ (* h0 (cos h1)) (exp h2)))
 (* (* (/ (* h0 (cos h1)) (exp h2)) (/ (* h0 (cos h1)) (exp h2))) (/ (* h0 (cos h1)) (exp h2)))
 (sqrt (/ (* h0 (cos h1)) (exp h2)))
 (sqrt (/ (* h0 (cos h1)) (exp h2)))
 (- (* h0 (cos h1)))
 (- (exp h2))
 (/ h0 (* (cbrt (exp h2)) (cbrt (exp h2))))
 (/ (cos h1) (cbrt (exp h2)))
 (/ h0 (sqrt (exp h2)))
 (/ (cos h1) (sqrt (exp h2)))
 (/ h0 1)
 (/ (cos h1) (exp h2))
 (/ 1 (exp h2))
 (/ (exp h2) (* h0 (cos h1)))
 (/ (* h0 (cos h1)) (* (cbrt (exp h2)) (cbrt (exp h2))))
 (/ (* h0 (cos h1)) (sqrt (exp h2)))
 (/ (* h0 (cos h1)) 1)
 (/ (exp h2) (cos h1))
 (* (* h0 (cos h1)) (exp h2))
 (* (* h0 (cos h1)) (exp h2))
 (+ (+ (log h0) (log (cos h1))) h2)
 (+ (log (* h0 (cos h1))) h2)
 (log (* (* h0 (cos h1)) (exp h2)))
 (exp (* (* h0 (cos h1)) (exp h2)))
 (* (* (* (* h0 h0) h0) (* (* (cos h1) (cos h1)) (cos h1))) (* (* (exp h2) (exp h2)) (exp h2)))
 (* (* (* (* h0 (cos h1)) (* h0 (cos h1))) (* h0 (cos h1))) (* (* (exp h2) (exp h2)) (exp h2)))
 (* (cbrt (* (* h0 (cos h1)) (exp h2))) (cbrt (* (* h0 (cos h1)) (exp h2))))
 (cbrt (* (* h0 (cos h1)) (exp h2)))
 (* (* (* (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))) (* (* h0 (cos h1)) (exp h2)))
 (sqrt (* (* h0 (cos h1)) (exp h2)))
 (sqrt (* (* h0 (cos h1)) (exp h2)))
 (* (* h0 (cos h1)) (* (cbrt (exp h2)) (cbrt (exp h2))))
 (* (* h0 (cos h1)) (sqrt (exp h2)))
 (* (* h0 (cos h1)) 1)
 (* (cos h1) (exp h2))
 (* (exp (/ (* h0 (cos h1)) (exp h2))) (exp (* (* h0 (cos h1)) (exp h2))))
 (log (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (exp (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (* (cbrt (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))) (cbrt (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))))
 (cbrt (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (* (* (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))) (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))) (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (sqrt (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (sqrt (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (+ (pow (/ (* h0 (cos h1)) (exp h2)) 3) (pow (* (* h0 (cos h1)) (exp h2)) 3))
 (+ (* (/ (* h0 (cos h1)) (exp h2)) (/ (* h0 (cos h1)) (exp h2))) (- (* (* (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))) (* (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))))
 (- (* (/ (* h0 (cos h1)) (exp h2)) (/ (* h0 (cos h1)) (exp h2))) (* (* (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2))))
 (- (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))
 (+ (/ 1 (exp h2)) (exp h2))
 (- h0 (+ (* h3 (pow h1 2)) (* h0 h2)))
 (* h0 (/ (cos h1) (exp h2)))
 (* h0 (/ (cos h1) (exp h2)))
 (- (+ (* h0 h2) h0) (* h3 (pow h1 2)))
 (* h0 (* (exp h2) (cos h1)))
 (* h0 (* (exp h2) (cos h1)))
 (- (+ (* h0 (pow h2 2)) h4) (* h0 (pow h1 2)))
 (+ (* h0 (* (exp h2) (cos h1))) (* h0 (/ (cos h1) (exp h2))))
 (+ (* h0 (* (exp h2) (cos h1))) (* h0 (/ (cos h1) (exp h2))))
0.619 * * [simplify]: iteration  0 :  284  enodes  (cost  450 )
0.625 * * [simplify]: iteration  1 :  1619  enodes  (cost  391 )
0.660 * * [simplify]: iteration  2 :  5002  enodes  (cost  384 )
0.661 * * * [progress]: adding candidates to table
0.786 * [progress]: [Phase 3 of 3] Extracting.
0.786 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.786 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) im re)
0.786 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.803 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.817 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.831 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.853 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.865 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
0.877 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.877 * [simplify]: Simplifying:
  (+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
0.877 * [simplify]: Sending expressions to egg_math:
 (+ (/ (* h0 (cos h1)) (exp h2)) (* (* h0 (cos h1)) (exp h2)))
0.877 * * [simplify]: iteration  0 :  12  enodes  (cost  9 )
0.878 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
3.687 * [regime-testing]: Baseline error score: 0.008001000125015627
3.687 * [regime-testing]: Oracle error score: 0.004750593824228029
3.688 * [regime-testing]: End program error score: 0.008001000125015627