2.398 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.180 * * * [progress]: [2/2] Setting up program.
0.184 * [progress]: [Phase 2 of 3] Improving.
0.184 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
0.184 * * [simplify]: iteration 0: 11 enodes
0.188 * * [simplify]: iteration 1: 26 enodes
0.192 * * [simplify]: iteration 2: 61 enodes
0.203 * * [simplify]: iteration 3: 108 enodes
0.219 * * [simplify]: iteration 4: 175 enodes
0.304 * * [simplify]: iteration 5: 760 enodes
1.103 * * [simplify]: iteration complete: 5001 enodes
1.103 * * [simplify]: Extracting #0: cost 1 inf + 0
1.104 * * [simplify]: Extracting #1: cost 183 inf + 0
1.109 * * [simplify]: Extracting #2: cost 1079 inf + 2
1.119 * * [simplify]: Extracting #3: cost 1870 inf + 45
1.132 * * [simplify]: Extracting #4: cost 1297 inf + 2789
1.144 * * [simplify]: Extracting #5: cost 168 inf + 9476
1.160 * * [simplify]: Extracting #6: cost 1 inf + 10828
1.172 * * [simplify]: Extracting #7: cost 0 inf + 10839
1.184 * [simplify]: Simplified to:
  (* (* (sin re) 0.5) (+ (exp (- 0.0 im)) (exp im)))
1.193 * * [progress]: iteration 1 / 4
1.193 * * * [progress]: picking best candidate
1.199 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>
1.200 * * * [progress]: localizing error
1.229 * * * [progress]: generating rewritten candidates
1.229 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.336 * * * [progress]: generating series expansions
1.336 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.340 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
1.341 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0
1.341 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im
1.341 * [taylor]: Taking taylor expansion of 0.5 in im
1.341 * [backup-simplify]: Simplify 0.5 into 0.5
1.342 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im
1.342 * [taylor]: Taking taylor expansion of (sin re) in im
1.342 * [taylor]: Taking taylor expansion of re in im
1.342 * [backup-simplify]: Simplify re into re
1.342 * [backup-simplify]: Simplify (sin re) into (sin re)
1.342 * [backup-simplify]: Simplify (cos re) into (cos re)
1.342 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
1.342 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.342 * [taylor]: Taking taylor expansion of (- im) in im
1.342 * [taylor]: Taking taylor expansion of im in im
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [backup-simplify]: Simplify 1 into 1
1.343 * [backup-simplify]: Simplify (- 0) into 0
1.344 * [backup-simplify]: Simplify (- 1) into -1
1.344 * [backup-simplify]: Simplify (exp 0) into 1
1.344 * [taylor]: Taking taylor expansion of (exp im) in im
1.344 * [taylor]: Taking taylor expansion of im in im
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.344 * [backup-simplify]: Simplify (exp 0) into 1
1.344 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
1.344 * [taylor]: Taking taylor expansion of 0.5 in re
1.344 * [backup-simplify]: Simplify 0.5 into 0.5
1.344 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
1.344 * [taylor]: Taking taylor expansion of (sin re) in re
1.344 * [taylor]: Taking taylor expansion of re in re
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.344 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
1.344 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.344 * [taylor]: Taking taylor expansion of (- im) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [backup-simplify]: Simplify im into im
1.344 * [backup-simplify]: Simplify (- im) into (- im)
1.344 * [backup-simplify]: Simplify (- im) into (- im)
1.344 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.344 * [taylor]: Taking taylor expansion of (exp im) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [backup-simplify]: Simplify im into im
1.344 * [backup-simplify]: Simplify (exp im) into (exp im)
1.344 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
1.344 * [taylor]: Taking taylor expansion of 0.5 in re
1.344 * [backup-simplify]: Simplify 0.5 into 0.5
1.344 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
1.344 * [taylor]: Taking taylor expansion of (sin re) in re
1.344 * [taylor]: Taking taylor expansion of re in re
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.344 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
1.344 * [taylor]: Taking taylor expansion of (exp (- im)) in re
1.344 * [taylor]: Taking taylor expansion of (- im) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [backup-simplify]: Simplify im into im
1.344 * [backup-simplify]: Simplify (- im) into (- im)
1.344 * [backup-simplify]: Simplify (- im) into (- im)
1.344 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
1.344 * [taylor]: Taking taylor expansion of (exp im) in re
1.344 * [taylor]: Taking taylor expansion of im in re
1.344 * [backup-simplify]: Simplify im into im
1.345 * [backup-simplify]: Simplify (exp im) into (exp im)
1.345 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
1.345 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0
1.346 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.346 * [taylor]: Taking taylor expansion of 0 in im
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify (- im) into (- im)
1.347 * [backup-simplify]: Simplify (- 0) into 0
1.347 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.348 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
1.348 * [backup-simplify]: Simplify (+ 0 0) into 0
1.349 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1.349 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im))
1.350 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im)))
1.350 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im
1.350 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im
1.350 * [taylor]: Taking taylor expansion of 0.5 in im
1.350 * [backup-simplify]: Simplify 0.5 into 0.5
1.350 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.350 * [taylor]: Taking taylor expansion of (- im) in im
1.350 * [taylor]: Taking taylor expansion of im in im
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (- 0) into 0
1.351 * [backup-simplify]: Simplify (- 1) into -1
1.351 * [backup-simplify]: Simplify (exp 0) into 1
1.351 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
1.351 * [taylor]: Taking taylor expansion of 0.5 in im
1.351 * [backup-simplify]: Simplify 0.5 into 0.5
1.351 * [taylor]: Taking taylor expansion of (exp im) in im
1.351 * [taylor]: Taking taylor expansion of im in im
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (exp 0) into 1
1.351 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.352 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.352 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
1.352 * [backup-simplify]: Simplify 1.0 into 1.0
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify (- im) into (- im)
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.355 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.356 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.356 * [backup-simplify]: Simplify (+ 0 0) into 0
1.357 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0
1.359 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0
1.359 * [taylor]: Taking taylor expansion of 0 in im
1.359 * [backup-simplify]: Simplify 0 into 0
1.359 * [backup-simplify]: Simplify 0 into 0
1.360 * [backup-simplify]: Simplify (- 1) into -1
1.361 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.362 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
1.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.365 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
1.366 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify (- im) into (- im)
1.366 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.369 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.371 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.371 * [backup-simplify]: Simplify (+ 0 0) into 0
1.373 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
1.374 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))
1.375 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))) (+ (* 0 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0)))) into (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))))
1.376 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im
1.376 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im
1.376 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im
1.376 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
1.376 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
1.376 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.376 * [taylor]: Taking taylor expansion of (- im) in im
1.376 * [taylor]: Taking taylor expansion of im in im
1.376 * [backup-simplify]: Simplify 0 into 0
1.376 * [backup-simplify]: Simplify 1 into 1
1.376 * [backup-simplify]: Simplify (- 0) into 0
1.377 * [backup-simplify]: Simplify (- 1) into -1
1.377 * [backup-simplify]: Simplify (exp 0) into 1
1.377 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im
1.377 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
1.377 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
1.377 * [taylor]: Taking taylor expansion of (exp im) in im
1.377 * [taylor]: Taking taylor expansion of im in im
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify 1 into 1
1.377 * [backup-simplify]: Simplify (exp 0) into 1
1.377 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
1.378 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
1.378 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666
1.378 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
1.379 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
1.379 * [backup-simplify]: Simplify 0 into 0
1.379 * [backup-simplify]: Simplify (- 1) into -1
1.380 * [backup-simplify]: Simplify (- 0) into 0
1.381 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.384 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
1.385 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.387 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
1.388 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
1.388 * [backup-simplify]: Simplify 0.5 into 0.5
1.389 * [backup-simplify]: Simplify (+ (* 0.5 (* (pow im 2) re)) (+ (* (- 0.16666666666666666) (pow (* 1 re) 3)) (* 1.0 (* 1 re)))) into (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
1.390 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 re))) (+ (exp (- 0.0 (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))
1.390 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0
1.390 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
1.390 * [taylor]: Taking taylor expansion of 0.5 in im
1.390 * [backup-simplify]: Simplify 0.5 into 0.5
1.390 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
1.390 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1.390 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
1.390 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
1.390 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.390 * [taylor]: Taking taylor expansion of im in im
1.390 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify 1 into 1
1.391 * [backup-simplify]: Simplify (/ 1 1) into 1
1.391 * [backup-simplify]: Simplify (- 1) into -1
1.391 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.391 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.391 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.391 * [taylor]: Taking taylor expansion of im in im
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 1 into 1
1.392 * [backup-simplify]: Simplify (/ 1 1) into 1
1.392 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.392 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.392 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.392 * [taylor]: Taking taylor expansion of re in im
1.392 * [backup-simplify]: Simplify re into re
1.392 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
1.392 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1.392 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1.392 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
1.392 * [taylor]: Taking taylor expansion of 0.5 in re
1.392 * [backup-simplify]: Simplify 0.5 into 0.5
1.392 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
1.392 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
1.392 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
1.392 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
1.392 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.392 * [taylor]: Taking taylor expansion of im in re
1.392 * [backup-simplify]: Simplify im into im
1.393 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.393 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.393 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.393 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.393 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.393 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.393 * [taylor]: Taking taylor expansion of im in re
1.393 * [backup-simplify]: Simplify im into im
1.393 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.393 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.393 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.393 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.393 * [taylor]: Taking taylor expansion of re in re
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify (/ 1 1) into 1
1.394 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1.394 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
1.394 * [taylor]: Taking taylor expansion of 0.5 in re
1.394 * [backup-simplify]: Simplify 0.5 into 0.5
1.394 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
1.394 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
1.394 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
1.394 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
1.394 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.394 * [taylor]: Taking taylor expansion of im in re
1.394 * [backup-simplify]: Simplify im into im
1.394 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.394 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.394 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.394 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.394 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.394 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.394 * [taylor]: Taking taylor expansion of im in re
1.394 * [backup-simplify]: Simplify im into im
1.394 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.395 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.395 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
1.395 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.395 * [taylor]: Taking taylor expansion of re in re
1.395 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify 1 into 1
1.395 * [backup-simplify]: Simplify (/ 1 1) into 1
1.395 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1.395 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1.396 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
1.396 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))
1.396 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
1.396 * [taylor]: Taking taylor expansion of 0.5 in im
1.396 * [backup-simplify]: Simplify 0.5 into 0.5
1.396 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
1.396 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1.396 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
1.396 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
1.396 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.396 * [taylor]: Taking taylor expansion of im in im
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify 1 into 1
1.397 * [backup-simplify]: Simplify (/ 1 1) into 1
1.397 * [backup-simplify]: Simplify (- 1) into -1
1.397 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.397 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.397 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.397 * [taylor]: Taking taylor expansion of im in im
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 1 into 1
1.398 * [backup-simplify]: Simplify (/ 1 1) into 1
1.398 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.398 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
1.398 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.398 * [taylor]: Taking taylor expansion of re in im
1.398 * [backup-simplify]: Simplify re into re
1.398 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
1.398 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1.398 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1.398 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1.399 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
1.399 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
1.399 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
1.399 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
1.399 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))
1.400 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))
1.400 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1.401 * [backup-simplify]: Simplify (- 0) into 0
1.401 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
1.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1.403 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.403 * [backup-simplify]: Simplify (+ 0 0) into 0
1.403 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
1.404 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
1.404 * [taylor]: Taking taylor expansion of 0 in im
1.404 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify 0 into 0
1.405 * [backup-simplify]: Simplify (+ 0) into 0
1.405 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
1.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1.406 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.407 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
1.407 * [backup-simplify]: Simplify (+ 0 0) into 0
1.407 * [backup-simplify]: Simplify (+ 0 0) into 0
1.408 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
1.408 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
1.408 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.409 * [backup-simplify]: Simplify (- 0) into 0
1.410 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.410 * [backup-simplify]: Simplify (- 0) into 0
1.411 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.413 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.413 * [backup-simplify]: Simplify (+ 0 0) into 0
1.414 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
1.415 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
1.415 * [taylor]: Taking taylor expansion of 0 in im
1.415 * [backup-simplify]: Simplify 0 into 0
1.415 * [backup-simplify]: Simplify 0 into 0
1.415 * [backup-simplify]: Simplify 0 into 0
1.416 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.417 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1.418 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.418 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1.419 * [backup-simplify]: Simplify (+ 0 0) into 0
1.419 * [backup-simplify]: Simplify (+ 0 0) into 0
1.420 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
1.421 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
1.421 * [backup-simplify]: Simplify 0 into 0
1.421 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
1.421 * [backup-simplify]: Simplify (- 0) into 0
1.422 * [backup-simplify]: Simplify (- 0) into 0
1.422 * [backup-simplify]: Simplify (- 0) into 0
1.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.423 * [backup-simplify]: Simplify (- 0) into 0
1.425 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.425 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.427 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.427 * [backup-simplify]: Simplify (+ 0 0) into 0
1.428 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0
1.429 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0
1.430 * [taylor]: Taking taylor expansion of 0 in im
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (sin (/ 1 (/ 1 re))))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
1.430 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 (- re)))) (+ (exp (- 0.0 (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))
1.430 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0
1.430 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
1.430 * [taylor]: Taking taylor expansion of 0.5 in im
1.430 * [backup-simplify]: Simplify 0.5 into 0.5
1.431 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
1.431 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.431 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.431 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.431 * [taylor]: Taking taylor expansion of -1 in im
1.431 * [backup-simplify]: Simplify -1 into -1
1.431 * [taylor]: Taking taylor expansion of im in im
1.431 * [backup-simplify]: Simplify 0 into 0
1.431 * [backup-simplify]: Simplify 1 into 1
1.432 * [backup-simplify]: Simplify (/ -1 1) into -1
1.432 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.432 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.432 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.432 * [taylor]: Taking taylor expansion of im in im
1.432 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify 1 into 1
1.433 * [backup-simplify]: Simplify (/ 1 1) into 1
1.433 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.433 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.433 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.433 * [taylor]: Taking taylor expansion of -1 in im
1.433 * [backup-simplify]: Simplify -1 into -1
1.433 * [taylor]: Taking taylor expansion of re in im
1.433 * [backup-simplify]: Simplify re into re
1.433 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
1.433 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1.433 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1.433 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.433 * [taylor]: Taking taylor expansion of 0.5 in re
1.433 * [backup-simplify]: Simplify 0.5 into 0.5
1.433 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.433 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.433 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.433 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.433 * [taylor]: Taking taylor expansion of -1 in re
1.434 * [backup-simplify]: Simplify -1 into -1
1.434 * [taylor]: Taking taylor expansion of im in re
1.434 * [backup-simplify]: Simplify im into im
1.434 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
1.434 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.434 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.434 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.434 * [taylor]: Taking taylor expansion of im in re
1.434 * [backup-simplify]: Simplify im into im
1.434 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.434 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.434 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.434 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.434 * [taylor]: Taking taylor expansion of -1 in re
1.434 * [backup-simplify]: Simplify -1 into -1
1.434 * [taylor]: Taking taylor expansion of re in re
1.434 * [backup-simplify]: Simplify 0 into 0
1.434 * [backup-simplify]: Simplify 1 into 1
1.435 * [backup-simplify]: Simplify (/ -1 1) into -1
1.435 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1.435 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
1.435 * [taylor]: Taking taylor expansion of 0.5 in re
1.435 * [backup-simplify]: Simplify 0.5 into 0.5
1.435 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
1.435 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
1.435 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
1.435 * [taylor]: Taking taylor expansion of (/ -1 im) in re
1.435 * [taylor]: Taking taylor expansion of -1 in re
1.435 * [backup-simplify]: Simplify -1 into -1
1.435 * [taylor]: Taking taylor expansion of im in re
1.435 * [backup-simplify]: Simplify im into im
1.435 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
1.435 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.435 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
1.435 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.435 * [taylor]: Taking taylor expansion of im in re
1.435 * [backup-simplify]: Simplify im into im
1.435 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
1.436 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.436 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
1.436 * [taylor]: Taking taylor expansion of (/ -1 re) in re
1.436 * [taylor]: Taking taylor expansion of -1 in re
1.436 * [backup-simplify]: Simplify -1 into -1
1.436 * [taylor]: Taking taylor expansion of re in re
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify 1 into 1
1.436 * [backup-simplify]: Simplify (/ -1 1) into -1
1.436 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1.436 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
1.437 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))
1.437 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))
1.437 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
1.437 * [taylor]: Taking taylor expansion of 0.5 in im
1.437 * [backup-simplify]: Simplify 0.5 into 0.5
1.437 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im
1.437 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im
1.437 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.437 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.437 * [taylor]: Taking taylor expansion of im in im
1.437 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (/ 1 1) into 1
1.438 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.438 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.438 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.438 * [taylor]: Taking taylor expansion of -1 in im
1.438 * [backup-simplify]: Simplify -1 into -1
1.438 * [taylor]: Taking taylor expansion of im in im
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (/ -1 1) into -1
1.438 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.438 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
1.438 * [taylor]: Taking taylor expansion of (/ -1 re) in im
1.439 * [taylor]: Taking taylor expansion of -1 in im
1.439 * [backup-simplify]: Simplify -1 into -1
1.439 * [taylor]: Taking taylor expansion of re in im
1.439 * [backup-simplify]: Simplify re into re
1.439 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
1.439 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1.439 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1.439 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1.439 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
1.439 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
1.439 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
1.439 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))
1.440 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))
1.440 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))
1.441 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1.441 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1.442 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1.443 * [backup-simplify]: Simplify (+ 0 0) into 0
1.443 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
1.444 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0
1.444 * [taylor]: Taking taylor expansion of 0 in im
1.444 * [backup-simplify]: Simplify 0 into 0
1.444 * [backup-simplify]: Simplify 0 into 0
1.444 * [backup-simplify]: Simplify (+ 0) into 0
1.445 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
1.445 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1.446 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.446 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
1.447 * [backup-simplify]: Simplify (+ 0 0) into 0
1.447 * [backup-simplify]: Simplify (+ 0 0) into 0
1.447 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
1.448 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.450 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.451 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.452 * [backup-simplify]: Simplify (+ 0 0) into 0
1.452 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
1.453 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0
1.453 * [taylor]: Taking taylor expansion of 0 in im
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.455 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1.455 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1.456 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.457 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1.457 * [backup-simplify]: Simplify (+ 0 0) into 0
1.457 * [backup-simplify]: Simplify (+ 0 0) into 0
1.458 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
1.459 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.461 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.461 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1.463 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.463 * [backup-simplify]: Simplify (+ 0 0) into 0
1.464 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0
1.466 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0
1.466 * [taylor]: Taking taylor expansion of 0 in im
1.466 * [backup-simplify]: Simplify 0 into 0
1.466 * [backup-simplify]: Simplify 0 into 0
1.466 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (sin (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im)))))
1.466 * * * [progress]: simplifying candidates
1.472 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
  (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im))))
  (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im))))
  (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im))))
  (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
  (* (* 0.5 (sin re)) (exp (- 0.0 im)))
  (* (* 0.5 (sin re)) (exp im))
  (* (exp (- 0.0 im)) (* 0.5 (sin re)))
  (* (exp im) (* 0.5 (sin re)))
  (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (+ (exp (- 0.0 im)) (exp im)))
  (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))
  (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
  (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
  (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im)))))
1.473 * * [simplify]: iteration 0: 79 enodes
1.502 * * [simplify]: iteration 1: 245 enodes
1.652 * * [simplify]: iteration 2: 1483 enodes
2.241 * * [simplify]: iteration complete: 5001 enodes
2.242 * * [simplify]: Extracting #0: cost 18 inf + 0
2.244 * * [simplify]: Extracting #1: cost 644 inf + 0
2.251 * * [simplify]: Extracting #2: cost 1791 inf + 15
2.263 * * [simplify]: Extracting #3: cost 2163 inf + 463
2.277 * * [simplify]: Extracting #4: cost 1887 inf + 2821
2.286 * * [simplify]: Extracting #5: cost 1060 inf + 13339
2.293 * * [simplify]: Extracting #6: cost 201 inf + 31011
2.305 * * [simplify]: Extracting #7: cost 2 inf + 36123
2.313 * * [simplify]: Extracting #8: cost 0 inf + 36176
2.325 * [simplify]: Simplified to:
  (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re))
  (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re))
  (log (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (log (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (log (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (pow (exp (sin re)) (* 0.5 (+ (exp (- 0.0 im)) (exp im))))
  (* (pow 0.5 3) (* (pow (sin re) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3)))
  (pow (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)) 3)
  (* (cbrt (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re))) (cbrt (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re))))
  (cbrt (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (pow (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)) 3)
  (sqrt (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (sqrt (* (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (sin re)))
  (* (* (sin re) 0.5) (exp (- 0.0 im)))
  (* (* 0.5 (sin re)) (exp im))
  (* (* (sin re) 0.5) (exp (- 0.0 im)))
  (* (* 0.5 (sin re)) (exp im))
  (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (* (* (sin re) 0.5) (cbrt (+ (exp (- 0.0 im)) (exp im)))))
  (* 0.5 (* (sin re) (sqrt (+ (exp (- 0.0 im)) (exp im)))))
  (* (sin re) 0.5)
  (* (sin re) 0.5)
  (* (sin re) (+ (exp (- 0.0 im)) (exp im)))
  (* (* (+ (pow (exp im) 3) (pow (exp (- 0.0 im)) 3)) (sin re)) 0.5)
  (* (* (- (exp (* 2 (- 0.0 im))) (exp (+ im im))) 0.5) (sin re))
  (- (+ (* (* re (pow im 2)) 0.5) (* re 1.0)) (* (pow re 3) 0.16666666666666666))
  (* (sin re) (* (+ (exp (- im)) (exp im)) 0.5))
  (* (sin re) (* (+ (exp (- im)) (exp im)) 0.5))
2.326 * * * [progress]: adding candidates to table
2.457 * * [progress]: iteration 2 / 4
2.457 * * * [progress]: picking best candidate
2.464 * * * * [pick]: Picked  #<alt (λ (re im) (+ (* (* (sin re) 0.5) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im))))>
2.464 * * * [progress]: localizing error
2.495 * * * [progress]: generating rewritten candidates
2.495 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.565 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.600 * * * [progress]: generating series expansions
2.600 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.601 * [backup-simplify]: Simplify (* (* (sin re) 0.5) (exp (- 0.0 im))) into (* 0.5 (* (exp (- im)) (sin re)))
2.601 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (re im) around 0
2.601 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im
2.601 * [taylor]: Taking taylor expansion of 0.5 in im
2.601 * [backup-simplify]: Simplify 0.5 into 0.5
2.601 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im
2.601 * [taylor]: Taking taylor expansion of (exp (- im)) in im
2.601 * [taylor]: Taking taylor expansion of (- im) in im
2.601 * [taylor]: Taking taylor expansion of im in im
2.601 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify 1 into 1
2.601 * [backup-simplify]: Simplify (- 0) into 0
2.602 * [backup-simplify]: Simplify (- 1) into -1
2.602 * [backup-simplify]: Simplify (exp 0) into 1
2.602 * [taylor]: Taking taylor expansion of (sin re) in im
2.602 * [taylor]: Taking taylor expansion of re in im
2.602 * [backup-simplify]: Simplify re into re
2.602 * [backup-simplify]: Simplify (sin re) into (sin re)
2.602 * [backup-simplify]: Simplify (cos re) into (cos re)
2.602 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re
2.602 * [taylor]: Taking taylor expansion of 0.5 in re
2.602 * [backup-simplify]: Simplify 0.5 into 0.5
2.602 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re
2.602 * [taylor]: Taking taylor expansion of (exp (- im)) in re
2.602 * [taylor]: Taking taylor expansion of (- im) in re
2.602 * [taylor]: Taking taylor expansion of im in re
2.602 * [backup-simplify]: Simplify im into im
2.602 * [backup-simplify]: Simplify (- im) into (- im)
2.602 * [backup-simplify]: Simplify (- im) into (- im)
2.602 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
2.602 * [taylor]: Taking taylor expansion of (sin re) in re
2.602 * [taylor]: Taking taylor expansion of re in re
2.602 * [backup-simplify]: Simplify 0 into 0
2.602 * [backup-simplify]: Simplify 1 into 1
2.602 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re
2.602 * [taylor]: Taking taylor expansion of 0.5 in re
2.602 * [backup-simplify]: Simplify 0.5 into 0.5
2.602 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re
2.602 * [taylor]: Taking taylor expansion of (exp (- im)) in re
2.602 * [taylor]: Taking taylor expansion of (- im) in re
2.602 * [taylor]: Taking taylor expansion of im in re
2.602 * [backup-simplify]: Simplify im into im
2.602 * [backup-simplify]: Simplify (- im) into (- im)
2.602 * [backup-simplify]: Simplify (- im) into (- im)
2.602 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
2.602 * [taylor]: Taking taylor expansion of (sin re) in re
2.602 * [taylor]: Taking taylor expansion of re in re
2.602 * [backup-simplify]: Simplify 0 into 0
2.602 * [backup-simplify]: Simplify 1 into 1
2.602 * [backup-simplify]: Simplify (* (exp (- im)) 0) into 0
2.603 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.603 * [taylor]: Taking taylor expansion of 0 in im
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.603 * [backup-simplify]: Simplify (- im) into (- im)
2.603 * [backup-simplify]: Simplify (- 0) into 0
2.604 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
2.604 * [backup-simplify]: Simplify (+ (* (exp (- im)) 1) (* 0 0)) into (exp (- im))
2.605 * [backup-simplify]: Simplify (+ (* 0.5 (exp (- im))) (* 0 0)) into (* 0.5 (exp (- im)))
2.605 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im
2.605 * [taylor]: Taking taylor expansion of 0.5 in im
2.605 * [backup-simplify]: Simplify 0.5 into 0.5
2.605 * [taylor]: Taking taylor expansion of (exp (- im)) in im
2.605 * [taylor]: Taking taylor expansion of (- im) in im
2.605 * [taylor]: Taking taylor expansion of im in im
2.605 * [backup-simplify]: Simplify 0 into 0
2.605 * [backup-simplify]: Simplify 1 into 1
2.605 * [backup-simplify]: Simplify (- 0) into 0
2.605 * [backup-simplify]: Simplify (- 1) into -1
2.605 * [backup-simplify]: Simplify (exp 0) into 1
2.606 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.606 * [backup-simplify]: Simplify 0.5 into 0.5
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.606 * [backup-simplify]: Simplify (- im) into (- im)
2.606 * [backup-simplify]: Simplify (- 0) into 0
2.607 * [backup-simplify]: Simplify (- 0) into 0
2.607 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.608 * [backup-simplify]: Simplify (+ (* (exp (- im)) 0) (+ (* 0 1) (* 0 0))) into 0
2.608 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (exp (- im))) (* 0 0))) into 0
2.608 * [taylor]: Taking taylor expansion of 0 in im
2.608 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify 0 into 0
2.609 * [backup-simplify]: Simplify (- 1) into -1
2.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
2.610 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
2.611 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.611 * [backup-simplify]: Simplify 0 into 0
2.612 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
2.612 * [backup-simplify]: Simplify (- im) into (- im)
2.612 * [backup-simplify]: Simplify (- 0) into 0
2.613 * [backup-simplify]: Simplify (- 0) into 0
2.613 * [backup-simplify]: Simplify (- 0) into 0
2.614 * [backup-simplify]: Simplify (- 0) into 0
2.615 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.616 * [backup-simplify]: Simplify (+ (* (exp (- im)) -1/6) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into (- (* 1/6 (exp (- im))))
2.617 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/6 (exp (- im))))) (+ (* 0 0) (+ (* 0 (exp (- im))) (* 0 0)))) into (- (* 0.08333333333333333 (exp (- im))))
2.617 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp (- im)))) in im
2.617 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im
2.617 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
2.617 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
2.617 * [taylor]: Taking taylor expansion of (exp (- im)) in im
2.617 * [taylor]: Taking taylor expansion of (- im) in im
2.617 * [taylor]: Taking taylor expansion of im in im
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify 1 into 1
2.618 * [backup-simplify]: Simplify (- 0) into 0
2.618 * [backup-simplify]: Simplify (- 1) into -1
2.618 * [backup-simplify]: Simplify (exp 0) into 1
2.619 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
2.619 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333)
2.619 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333)
2.621 * [backup-simplify]: Simplify (+ (* (- 0.08333333333333333) (pow (* 1 re) 3)) (+ (* (- 0.5) (* im re)) (* 0.5 (* 1 re)))) into (- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3))))
2.621 * [backup-simplify]: Simplify (* (* (sin (/ 1 re)) 0.5) (exp (- 0.0 (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
2.621 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (re im) around 0
2.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im
2.621 * [taylor]: Taking taylor expansion of 0.5 in im
2.621 * [backup-simplify]: Simplify 0.5 into 0.5
2.621 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im
2.621 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
2.621 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.621 * [taylor]: Taking taylor expansion of re in im
2.621 * [backup-simplify]: Simplify re into re
2.621 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.621 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.621 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
2.621 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
2.622 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
2.622 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.622 * [taylor]: Taking taylor expansion of im in im
2.622 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify 1 into 1
2.622 * [backup-simplify]: Simplify (/ 1 1) into 1
2.622 * [backup-simplify]: Simplify (- 1) into -1
2.622 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
2.623 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re
2.623 * [taylor]: Taking taylor expansion of 0.5 in re
2.623 * [backup-simplify]: Simplify 0.5 into 0.5
2.623 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re
2.623 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
2.623 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.623 * [taylor]: Taking taylor expansion of re in re
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 1 into 1
2.623 * [backup-simplify]: Simplify (/ 1 1) into 1
2.623 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.623 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
2.623 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
2.623 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.623 * [taylor]: Taking taylor expansion of im in re
2.623 * [backup-simplify]: Simplify im into im
2.623 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.624 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.624 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.624 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
2.624 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re
2.624 * [taylor]: Taking taylor expansion of 0.5 in re
2.624 * [backup-simplify]: Simplify 0.5 into 0.5
2.624 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re
2.624 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
2.624 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.624 * [taylor]: Taking taylor expansion of re in re
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.624 * [backup-simplify]: Simplify (/ 1 1) into 1
2.624 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.624 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
2.624 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
2.625 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.625 * [taylor]: Taking taylor expansion of im in re
2.625 * [backup-simplify]: Simplify im into im
2.625 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.625 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.625 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.625 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
2.625 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (- (/ 1 im)))) into (* (sin (/ 1 re)) (exp (- (/ 1 im))))
2.625 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
2.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im
2.625 * [taylor]: Taking taylor expansion of 0.5 in im
2.625 * [backup-simplify]: Simplify 0.5 into 0.5
2.625 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im
2.626 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
2.626 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.626 * [taylor]: Taking taylor expansion of re in im
2.626 * [backup-simplify]: Simplify re into re
2.626 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.626 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.626 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
2.626 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
2.626 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
2.626 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.626 * [taylor]: Taking taylor expansion of im in im
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 1 into 1
2.626 * [backup-simplify]: Simplify (/ 1 1) into 1
2.627 * [backup-simplify]: Simplify (- 1) into -1
2.627 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
2.627 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
2.627 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
2.627 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
2.628 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (- (/ 1 im)))) into (* (sin (/ 1 re)) (exp (- (/ 1 im))))
2.628 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
2.628 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
2.628 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.628 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
2.629 * [backup-simplify]: Simplify (- 0) into 0
2.630 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
2.630 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (- (/ 1 im))))) into 0
2.631 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))) into 0
2.631 * [taylor]: Taking taylor expansion of 0 in im
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify (+ 0) into 0
2.632 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
2.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.633 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.633 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
2.634 * [backup-simplify]: Simplify (+ 0 0) into 0
2.634 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (- (/ 1 im))))) into 0
2.635 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))) into 0
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.635 * [backup-simplify]: Simplify (- 0) into 0
2.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.636 * [backup-simplify]: Simplify (- 0) into 0
2.637 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.638 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
2.639 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im))))))) into 0
2.639 * [taylor]: Taking taylor expansion of 0 in im
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.641 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
2.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.642 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.643 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
2.643 * [backup-simplify]: Simplify (+ 0 0) into 0
2.644 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
2.645 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im))))))) into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
2.645 * [backup-simplify]: Simplify (- 0) into 0
2.646 * [backup-simplify]: Simplify (- 0) into 0
2.647 * [backup-simplify]: Simplify (- 0) into 0
2.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.647 * [backup-simplify]: Simplify (- 0) into 0
2.649 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.650 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im))))))) into 0
2.651 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))))) into 0
2.651 * [taylor]: Taking taylor expansion of 0 in im
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 (/ 1 re))) (exp (- (/ 1 (/ 1 im)))))) into (* 0.5 (* (exp (- im)) (sin re)))
2.652 * [backup-simplify]: Simplify (* (* (sin (/ 1 (- re))) 0.5) (exp (- 0.0 (/ 1 (- im))))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
2.652 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (re im) around 0
2.652 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im
2.652 * [taylor]: Taking taylor expansion of 0.5 in im
2.652 * [backup-simplify]: Simplify 0.5 into 0.5
2.652 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im
2.652 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
2.652 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.652 * [taylor]: Taking taylor expansion of -1 in im
2.652 * [backup-simplify]: Simplify -1 into -1
2.652 * [taylor]: Taking taylor expansion of re in im
2.652 * [backup-simplify]: Simplify re into re
2.652 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.653 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.653 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
2.653 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
2.653 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.653 * [taylor]: Taking taylor expansion of im in im
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify (/ 1 1) into 1
2.653 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re
2.653 * [taylor]: Taking taylor expansion of 0.5 in re
2.653 * [backup-simplify]: Simplify 0.5 into 0.5
2.653 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re
2.653 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
2.653 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.653 * [taylor]: Taking taylor expansion of -1 in re
2.653 * [backup-simplify]: Simplify -1 into -1
2.654 * [taylor]: Taking taylor expansion of re in re
2.654 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify (/ -1 1) into -1
2.654 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.654 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
2.654 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.654 * [taylor]: Taking taylor expansion of im in re
2.654 * [backup-simplify]: Simplify im into im
2.654 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.654 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.654 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re
2.654 * [taylor]: Taking taylor expansion of 0.5 in re
2.654 * [backup-simplify]: Simplify 0.5 into 0.5
2.654 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re
2.654 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
2.654 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.654 * [taylor]: Taking taylor expansion of -1 in re
2.655 * [backup-simplify]: Simplify -1 into -1
2.655 * [taylor]: Taking taylor expansion of re in re
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.655 * [backup-simplify]: Simplify (/ -1 1) into -1
2.655 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.655 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
2.655 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.655 * [taylor]: Taking taylor expansion of im in re
2.655 * [backup-simplify]: Simplify im into im
2.655 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.655 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.656 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ 1 im))) into (* (sin (/ -1 re)) (exp (/ 1 im)))
2.656 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
2.656 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im
2.656 * [taylor]: Taking taylor expansion of 0.5 in im
2.656 * [backup-simplify]: Simplify 0.5 into 0.5
2.656 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im
2.656 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
2.656 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.656 * [taylor]: Taking taylor expansion of -1 in im
2.656 * [backup-simplify]: Simplify -1 into -1
2.656 * [taylor]: Taking taylor expansion of re in im
2.656 * [backup-simplify]: Simplify re into re
2.656 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.656 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.656 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
2.656 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
2.656 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.656 * [taylor]: Taking taylor expansion of im in im
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 1 into 1
2.657 * [backup-simplify]: Simplify (/ 1 1) into 1
2.657 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.657 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
2.657 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
2.657 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
2.657 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ 1 im))) into (* (sin (/ -1 re)) (exp (/ 1 im)))
2.658 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
2.658 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
2.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
2.659 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
2.659 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
2.660 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))) into 0
2.660 * [taylor]: Taking taylor expansion of 0 in im
2.660 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify (+ 0) into 0
2.661 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
2.661 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
2.662 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.662 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
2.663 * [backup-simplify]: Simplify (+ 0 0) into 0
2.663 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
2.663 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))) into 0
2.663 * [backup-simplify]: Simplify 0 into 0
2.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.665 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.666 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
2.666 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im)))))) into 0
2.667 * [taylor]: Taking taylor expansion of 0 in im
2.667 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify 0 into 0
2.668 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.668 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
2.669 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.669 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.670 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
2.670 * [backup-simplify]: Simplify (+ 0 0) into 0
2.671 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
2.672 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im)))))) into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.674 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.675 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
2.676 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))))) into 0
2.676 * [taylor]: Taking taylor expansion of 0 in im
2.676 * [backup-simplify]: Simplify 0 into 0
2.676 * [backup-simplify]: Simplify 0 into 0
2.677 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 (/ 1 (- re)))) (exp (/ 1 (/ 1 (- im)))))) into (* 0.5 (* (sin re) (exp (* -1 im))))
2.677 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.677 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (exp im)) into (* 0.5 (* (sin re) (exp im)))
2.677 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (exp im))) in (re im) around 0
2.677 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (exp im))) in im
2.677 * [taylor]: Taking taylor expansion of 0.5 in im
2.677 * [backup-simplify]: Simplify 0.5 into 0.5
2.677 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in im
2.677 * [taylor]: Taking taylor expansion of (sin re) in im
2.677 * [taylor]: Taking taylor expansion of re in im
2.677 * [backup-simplify]: Simplify re into re
2.677 * [backup-simplify]: Simplify (sin re) into (sin re)
2.677 * [backup-simplify]: Simplify (cos re) into (cos re)
2.677 * [taylor]: Taking taylor expansion of (exp im) in im
2.677 * [taylor]: Taking taylor expansion of im in im
2.677 * [backup-simplify]: Simplify 0 into 0
2.677 * [backup-simplify]: Simplify 1 into 1
2.677 * [backup-simplify]: Simplify (exp 0) into 1
2.678 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (exp im))) in re
2.678 * [taylor]: Taking taylor expansion of 0.5 in re
2.678 * [backup-simplify]: Simplify 0.5 into 0.5
2.678 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re
2.678 * [taylor]: Taking taylor expansion of (sin re) in re
2.678 * [taylor]: Taking taylor expansion of re in re
2.678 * [backup-simplify]: Simplify 0 into 0
2.678 * [backup-simplify]: Simplify 1 into 1
2.678 * [taylor]: Taking taylor expansion of (exp im) in re
2.678 * [taylor]: Taking taylor expansion of im in re
2.678 * [backup-simplify]: Simplify im into im
2.678 * [backup-simplify]: Simplify (exp im) into (exp im)
2.678 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (exp im))) in re
2.678 * [taylor]: Taking taylor expansion of 0.5 in re
2.678 * [backup-simplify]: Simplify 0.5 into 0.5
2.678 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re
2.678 * [taylor]: Taking taylor expansion of (sin re) in re
2.678 * [taylor]: Taking taylor expansion of re in re
2.678 * [backup-simplify]: Simplify 0 into 0
2.678 * [backup-simplify]: Simplify 1 into 1
2.678 * [taylor]: Taking taylor expansion of (exp im) in re
2.678 * [taylor]: Taking taylor expansion of im in re
2.678 * [backup-simplify]: Simplify im into im
2.678 * [backup-simplify]: Simplify (exp im) into (exp im)
2.678 * [backup-simplify]: Simplify (* 0 (exp im)) into 0
2.679 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.679 * [taylor]: Taking taylor expansion of 0 in im
2.679 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify 0 into 0
2.680 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
2.680 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
2.681 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp im))) into (exp im)
2.681 * [backup-simplify]: Simplify (+ (* 0.5 (exp im)) (* 0 0)) into (* 0.5 (exp im))
2.681 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
2.681 * [taylor]: Taking taylor expansion of 0.5 in im
2.681 * [backup-simplify]: Simplify 0.5 into 0.5
2.681 * [taylor]: Taking taylor expansion of (exp im) in im
2.681 * [taylor]: Taking taylor expansion of im in im
2.682 * [backup-simplify]: Simplify 0 into 0
2.682 * [backup-simplify]: Simplify 1 into 1
2.682 * [backup-simplify]: Simplify (exp 0) into 1
2.682 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.682 * [backup-simplify]: Simplify 0.5 into 0.5
2.682 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.684 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.685 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp im)))) into 0
2.686 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (exp im)) (* 0 0))) into 0
2.686 * [taylor]: Taking taylor expansion of 0 in im
2.686 * [backup-simplify]: Simplify 0 into 0
2.686 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.689 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
2.689 * [backup-simplify]: Simplify 0.5 into 0.5
2.689 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.692 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
2.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (exp im))))) into (- (* 1/6 (exp im)))
2.695 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/6 (exp im)))) (+ (* 0 0) (+ (* 0 (exp im)) (* 0 0)))) into (- (* 0.08333333333333333 (exp im)))
2.695 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im))) in im
2.695 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im
2.695 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
2.695 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
2.695 * [taylor]: Taking taylor expansion of (exp im) in im
2.695 * [taylor]: Taking taylor expansion of im in im
2.695 * [backup-simplify]: Simplify 0 into 0
2.695 * [backup-simplify]: Simplify 1 into 1
2.695 * [backup-simplify]: Simplify (exp 0) into 1
2.695 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
2.696 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333)
2.696 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333)
2.697 * [backup-simplify]: Simplify (+ (* (- 0.08333333333333333) (pow (* 1 re) 3)) (+ (* 0.5 (* im re)) (* 0.5 (* 1 re)))) into (- (+ (* 0.5 re) (* 0.5 (* re im))) (* 0.08333333333333333 (pow re 3)))
2.697 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))
2.697 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
2.698 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
2.698 * [taylor]: Taking taylor expansion of 0.5 in im
2.698 * [backup-simplify]: Simplify 0.5 into 0.5
2.698 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
2.698 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
2.698 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.698 * [taylor]: Taking taylor expansion of re in im
2.698 * [backup-simplify]: Simplify re into re
2.698 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.698 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.698 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
2.698 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
2.698 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.698 * [taylor]: Taking taylor expansion of im in im
2.698 * [backup-simplify]: Simplify 0 into 0
2.698 * [backup-simplify]: Simplify 1 into 1
2.699 * [backup-simplify]: Simplify (/ 1 1) into 1
2.699 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.699 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
2.699 * [taylor]: Taking taylor expansion of 0.5 in re
2.699 * [backup-simplify]: Simplify 0.5 into 0.5
2.699 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
2.699 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
2.699 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.699 * [taylor]: Taking taylor expansion of re in re
2.699 * [backup-simplify]: Simplify 0 into 0
2.699 * [backup-simplify]: Simplify 1 into 1
2.700 * [backup-simplify]: Simplify (/ 1 1) into 1
2.700 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.700 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
2.700 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.700 * [taylor]: Taking taylor expansion of im in re
2.700 * [backup-simplify]: Simplify im into im
2.700 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.700 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.700 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re
2.700 * [taylor]: Taking taylor expansion of 0.5 in re
2.700 * [backup-simplify]: Simplify 0.5 into 0.5
2.700 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re
2.700 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
2.700 * [taylor]: Taking taylor expansion of (/ 1 re) in re
2.700 * [taylor]: Taking taylor expansion of re in re
2.700 * [backup-simplify]: Simplify 0 into 0
2.700 * [backup-simplify]: Simplify 1 into 1
2.701 * [backup-simplify]: Simplify (/ 1 1) into 1
2.701 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.701 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
2.701 * [taylor]: Taking taylor expansion of (/ 1 im) in re
2.701 * [taylor]: Taking taylor expansion of im in re
2.701 * [backup-simplify]: Simplify im into im
2.701 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.701 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.701 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im)))
2.702 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))
2.702 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im
2.702 * [taylor]: Taking taylor expansion of 0.5 in im
2.702 * [backup-simplify]: Simplify 0.5 into 0.5
2.702 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im
2.702 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
2.702 * [taylor]: Taking taylor expansion of (/ 1 re) in im
2.702 * [taylor]: Taking taylor expansion of re in im
2.702 * [backup-simplify]: Simplify re into re
2.702 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.702 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
2.702 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
2.702 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
2.702 * [taylor]: Taking taylor expansion of (/ 1 im) in im
2.702 * [taylor]: Taking taylor expansion of im in im
2.702 * [backup-simplify]: Simplify 0 into 0
2.702 * [backup-simplify]: Simplify 1 into 1
2.703 * [backup-simplify]: Simplify (/ 1 1) into 1
2.703 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
2.703 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
2.703 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
2.703 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
2.703 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im)))
2.704 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))
2.704 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))
2.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
2.705 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
2.705 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
2.706 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0
2.706 * [taylor]: Taking taylor expansion of 0 in im
2.706 * [backup-simplify]: Simplify 0 into 0
2.706 * [backup-simplify]: Simplify 0 into 0
2.707 * [backup-simplify]: Simplify (+ 0) into 0
2.707 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
2.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.708 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.709 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
2.709 * [backup-simplify]: Simplify (+ 0 0) into 0
2.709 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
2.710 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.712 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.712 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
2.713 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0
2.713 * [taylor]: Taking taylor expansion of 0 in im
2.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify 0 into 0
2.713 * [backup-simplify]: Simplify 0 into 0
2.714 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.715 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
2.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.716 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.717 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
2.717 * [backup-simplify]: Simplify (+ 0 0) into 0
2.718 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0
2.719 * [backup-simplify]: Simplify 0 into 0
2.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.721 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.722 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
2.723 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))))) into 0
2.723 * [taylor]: Taking taylor expansion of 0 in im
2.723 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (sin re) (exp im)))
2.724 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))
2.724 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
2.724 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im
2.724 * [taylor]: Taking taylor expansion of 0.5 in im
2.724 * [backup-simplify]: Simplify 0.5 into 0.5
2.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im
2.724 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
2.724 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.724 * [taylor]: Taking taylor expansion of -1 in im
2.724 * [backup-simplify]: Simplify -1 into -1
2.724 * [taylor]: Taking taylor expansion of re in im
2.724 * [backup-simplify]: Simplify re into re
2.724 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.724 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.725 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
2.725 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
2.725 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.725 * [taylor]: Taking taylor expansion of -1 in im
2.725 * [backup-simplify]: Simplify -1 into -1
2.725 * [taylor]: Taking taylor expansion of im in im
2.725 * [backup-simplify]: Simplify 0 into 0
2.725 * [backup-simplify]: Simplify 1 into 1
2.727 * [backup-simplify]: Simplify (/ -1 1) into -1
2.727 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
2.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re
2.727 * [taylor]: Taking taylor expansion of 0.5 in re
2.727 * [backup-simplify]: Simplify 0.5 into 0.5
2.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re
2.727 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
2.727 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.727 * [taylor]: Taking taylor expansion of -1 in re
2.728 * [backup-simplify]: Simplify -1 into -1
2.728 * [taylor]: Taking taylor expansion of re in re
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 1 into 1
2.728 * [backup-simplify]: Simplify (/ -1 1) into -1
2.728 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.728 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
2.728 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.728 * [taylor]: Taking taylor expansion of -1 in re
2.728 * [backup-simplify]: Simplify -1 into -1
2.729 * [taylor]: Taking taylor expansion of im in re
2.729 * [backup-simplify]: Simplify im into im
2.729 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.729 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
2.729 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re
2.729 * [taylor]: Taking taylor expansion of 0.5 in re
2.729 * [backup-simplify]: Simplify 0.5 into 0.5
2.729 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re
2.729 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
2.729 * [taylor]: Taking taylor expansion of (/ -1 re) in re
2.729 * [taylor]: Taking taylor expansion of -1 in re
2.729 * [backup-simplify]: Simplify -1 into -1
2.729 * [taylor]: Taking taylor expansion of re in re
2.729 * [backup-simplify]: Simplify 0 into 0
2.729 * [backup-simplify]: Simplify 1 into 1
2.730 * [backup-simplify]: Simplify (/ -1 1) into -1
2.730 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.730 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
2.730 * [taylor]: Taking taylor expansion of (/ -1 im) in re
2.730 * [taylor]: Taking taylor expansion of -1 in re
2.730 * [backup-simplify]: Simplify -1 into -1
2.730 * [taylor]: Taking taylor expansion of im in re
2.730 * [backup-simplify]: Simplify im into im
2.730 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
2.730 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
2.730 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im)))
2.730 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))
2.730 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im
2.731 * [taylor]: Taking taylor expansion of 0.5 in im
2.731 * [backup-simplify]: Simplify 0.5 into 0.5
2.731 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im
2.731 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
2.731 * [taylor]: Taking taylor expansion of (/ -1 re) in im
2.731 * [taylor]: Taking taylor expansion of -1 in im
2.731 * [backup-simplify]: Simplify -1 into -1
2.731 * [taylor]: Taking taylor expansion of re in im
2.731 * [backup-simplify]: Simplify re into re
2.731 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
2.731 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
2.731 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
2.731 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
2.731 * [taylor]: Taking taylor expansion of (/ -1 im) in im
2.731 * [taylor]: Taking taylor expansion of -1 in im
2.731 * [backup-simplify]: Simplify -1 into -1
2.731 * [taylor]: Taking taylor expansion of im in im
2.731 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify 1 into 1
2.732 * [backup-simplify]: Simplify (/ -1 1) into -1
2.732 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
2.732 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
2.732 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
2.732 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
2.732 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im)))
2.733 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))
2.733 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))
2.733 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
2.734 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
2.734 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
2.735 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0
2.735 * [taylor]: Taking taylor expansion of 0 in im
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify (+ 0) into 0
2.736 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
2.736 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
2.737 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.737 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
2.738 * [backup-simplify]: Simplify (+ 0 0) into 0
2.738 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
2.738 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0
2.738 * [backup-simplify]: Simplify 0 into 0
2.739 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.740 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.740 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
2.741 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0
2.741 * [taylor]: Taking taylor expansion of 0 in im
2.741 * [backup-simplify]: Simplify 0 into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.743 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
2.743 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.744 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.745 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
2.745 * [backup-simplify]: Simplify (+ 0 0) into 0
2.746 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
2.747 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0
2.747 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
2.749 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.749 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
2.751 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))))) into 0
2.751 * [taylor]: Taking taylor expansion of 0 in im
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (sin re) (exp im)))
2.751 * * * [progress]: simplifying candidates
2.753 * [simplify]: Simplifying:
  (* (* (sin re) 0.5) (exp (- 0.0 im)))
  (* (* (sin re) 0.5) (exp (- 0.0 im)))
  (+ (+ (log (sin re)) (log 0.5)) (- 0.0 im))
  (+ (log (* (sin re) 0.5)) (- 0.0 im))
  (log (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (exp (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (* (* (* (* (sin re) (sin re)) (sin re)) (* (* 0.5 0.5) 0.5)) (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))))
  (* (* (* (* (sin re) 0.5) (* (sin re) 0.5)) (* (sin re) 0.5)) (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))))
  (* (cbrt (* (* (sin re) 0.5) (exp (- 0.0 im)))) (cbrt (* (* (sin re) 0.5) (exp (- 0.0 im)))))
  (cbrt (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (* (* (* (* (sin re) 0.5) (exp (- 0.0 im))) (* (* (sin re) 0.5) (exp (- 0.0 im)))) (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (sqrt (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (sqrt (* (* (sin re) 0.5) (exp (- 0.0 im))))
  (* (* (sin re) 0.5) (exp 0.0))
  (* (* (sin re) 0.5) (exp 0.0))
  (* (* (sin re) 0.5) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))))
  (* (* (sin re) 0.5) (sqrt (exp (- 0.0 im))))
  (* (* (sin re) 0.5) 1)
  (* 0.5 (exp (- 0.0 im)))
  (* (* (sin re) 0.5) (exp 0.0))
  (* (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (sin re)) (exp im))
  (+ (+ (log 0.5) (log (sin re))) im)
  (+ (log (* 0.5 (sin re))) im)
  (log (* (* 0.5 (sin re)) (exp im)))
  (exp (* (* 0.5 (sin re)) (exp im)))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (exp im) (exp im)) (exp im)))
  (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (* (* 0.5 (sin re)) (exp im))) (cbrt (* (* 0.5 (sin re)) (exp im))))
  (cbrt (* (* 0.5 (sin re)) (exp im)))
  (* (* (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))) (* (* 0.5 (sin re)) (exp im)))
  (sqrt (* (* 0.5 (sin re)) (exp im)))
  (sqrt (* (* 0.5 (sin re)) (exp im)))
  (* (* 0.5 (sin re)) (* (cbrt (exp im)) (cbrt (exp im))))
  (* (* 0.5 (sin re)) (sqrt (exp im)))
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (exp im))
  (- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3))))
  (* 0.5 (* (exp (- im)) (sin re)))
  (* 0.5 (* (sin re) (exp (* -1 im))))
  (- (+ (* 0.5 re) (* 0.5 (* re im))) (* 0.08333333333333333 (pow re 3)))
  (* 0.5 (* (sin re) (exp im)))
  (* 0.5 (* (sin re) (exp im)))
2.754 * * [simplify]: iteration 0: 92 enodes
2.791 * * [simplify]: iteration 1: 258 enodes
3.002 * * [simplify]: iteration 2: 1885 enodes
4.349 * * [simplify]: iteration complete: 5000 enodes
4.349 * * [simplify]: Extracting #0: cost 27 inf + 0
4.351 * * [simplify]: Extracting #1: cost 548 inf + 0
4.359 * * [simplify]: Extracting #2: cost 1670 inf + 49
4.370 * * [simplify]: Extracting #3: cost 1341 inf + 3372
4.382 * * [simplify]: Extracting #4: cost 314 inf + 11010
4.393 * * [simplify]: Extracting #5: cost 20 inf + 13883
4.400 * * [simplify]: Extracting #6: cost 2 inf + 14031
4.410 * * [simplify]: Extracting #7: cost 0 inf + 14041
4.417 * [simplify]: Simplified to:
  (* (* (exp (- 0.0 im)) 0.5) (sin re))
  (* (* (exp (- 0.0 im)) 0.5) (sin re))
  (+ (log (* (sin re) 0.5)) (- 0.0 im))
  (+ (log (* (sin re) 0.5)) (- 0.0 im))
  (+ (log (* (sin re) 0.5)) (- 0.0 im))
  (pow (pow (exp 0.5) (sin re)) (exp (- 0.0 im)))
  (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))
  (pow (* (* (exp (- 0.0 im)) 0.5) (sin re)) 3)
  (* (cbrt (* (* (exp (- 0.0 im)) 0.5) (sin re))) (cbrt (* (* (exp (- 0.0 im)) 0.5) (sin re))))
  (cbrt (* (* (exp (- 0.0 im)) 0.5) (sin re)))
  (pow (* (* (exp (- 0.0 im)) 0.5) (sin re)) 3)
  (sqrt (* (* (exp (- 0.0 im)) 0.5) (sin re)))
  (sqrt (* (* (exp (- 0.0 im)) 0.5) (sin re)))
  (* (exp 0.0) (* (sin re) 0.5))
  (* (exp 0.0) (* (sin re) 0.5))
  (* (sin re) (* 0.5 (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))))
  (* (* (sqrt (exp (- 0.0 im))) (sin re)) 0.5)
  (* (sin re) 0.5)
  (* (exp (- 0.0 im)) 0.5)
  (* (exp 0.0) (* (sin re) 0.5))
  (* 0.5 (* (sin re) (exp im)))
  (* 0.5 (* (sin re) (exp im)))
  (+ (log (* 0.5 (sin re))) im)
  (+ (log (* 0.5 (sin re))) im)
  (+ (log (* 0.5 (sin re))) im)
  (pow (exp (sin re)) (* 0.5 (exp im)))
  (* (pow (sin re) 3) (* (pow 0.5 3) (pow (exp im) 3)))
  (pow (* 0.5 (* (sin re) (exp im))) 3)
  (* (cbrt (* 0.5 (* (sin re) (exp im)))) (cbrt (* 0.5 (* (sin re) (exp im)))))
  (cbrt (* 0.5 (* (sin re) (exp im))))
  (pow (* 0.5 (* (sin re) (exp im))) 3)
  (sqrt (* 0.5 (* (sin re) (exp im))))
  (sqrt (* 0.5 (* (sin re) (exp im))))
  (* (* (cbrt (exp im)) (* (sin re) 0.5)) (cbrt (exp im)))
  (* (* 0.5 (sin re)) (sqrt (exp im)))
  (* (sin re) 0.5)
  (* (exp im) (sin re))
  (- (* re (- 0.5 (* im 0.5))) (* 0.08333333333333333 (pow re 3)))
  (/ (* (sin re) 0.5) (exp im))
  (/ (* (sin re) 0.5) (exp im))
  (- (* re (+ (* 0.5 im) 0.5)) (* 0.08333333333333333 (pow re 3)))
  (* 0.5 (* (sin re) (exp im)))
  (* 0.5 (* (sin re) (exp im)))
4.417 * * * [progress]: adding candidates to table
4.675 * * [progress]: iteration 3 / 4
4.675 * * * [progress]: picking best candidate
4.684 * * * * [pick]: Picked  #<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))>
4.685 * * * [progress]: localizing error
4.718 * * * [progress]: generating rewritten candidates
4.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.775 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
4.778 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
4.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.857 * * * [progress]: generating series expansions
4.858 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.859 * [backup-simplify]: Simplify (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) into (* (exp (- im)) (* (sin re) 0.5))
4.859 * [approximate]: Taking taylor expansion of (* (exp (- im)) (* (sin re) 0.5)) in (im re) around 0
4.859 * [taylor]: Taking taylor expansion of (* (exp (- im)) (* (sin re) 0.5)) in re
4.859 * [taylor]: Taking taylor expansion of (exp (- im)) in re
4.859 * [taylor]: Taking taylor expansion of (- im) in re
4.859 * [taylor]: Taking taylor expansion of im in re
4.859 * [backup-simplify]: Simplify im into im
4.859 * [backup-simplify]: Simplify (- im) into (- im)
4.859 * [backup-simplify]: Simplify (- im) into (- im)
4.859 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
4.859 * [taylor]: Taking taylor expansion of (* (sin re) 0.5) in re
4.859 * [taylor]: Taking taylor expansion of (sin re) in re
4.859 * [taylor]: Taking taylor expansion of re in re
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify 1 into 1
4.859 * [taylor]: Taking taylor expansion of 0.5 in re
4.859 * [backup-simplify]: Simplify 0.5 into 0.5
4.859 * [taylor]: Taking taylor expansion of (* (exp (- im)) (* (sin re) 0.5)) in im
4.859 * [taylor]: Taking taylor expansion of (exp (- im)) in im
4.859 * [taylor]: Taking taylor expansion of (- im) in im
4.859 * [taylor]: Taking taylor expansion of im in im
4.859 * [backup-simplify]: Simplify 0 into 0
4.859 * [backup-simplify]: Simplify 1 into 1
4.859 * [backup-simplify]: Simplify (- 0) into 0
4.860 * [backup-simplify]: Simplify (- 1) into -1
4.860 * [backup-simplify]: Simplify (exp 0) into 1
4.860 * [taylor]: Taking taylor expansion of (* (sin re) 0.5) in im
4.860 * [taylor]: Taking taylor expansion of (sin re) in im
4.860 * [taylor]: Taking taylor expansion of re in im
4.860 * [backup-simplify]: Simplify re into re
4.860 * [backup-simplify]: Simplify (sin re) into (sin re)
4.860 * [backup-simplify]: Simplify (cos re) into (cos re)
4.860 * [taylor]: Taking taylor expansion of 0.5 in im
4.860 * [backup-simplify]: Simplify 0.5 into 0.5
4.860 * [taylor]: Taking taylor expansion of (* (exp (- im)) (* (sin re) 0.5)) in im
4.860 * [taylor]: Taking taylor expansion of (exp (- im)) in im
4.860 * [taylor]: Taking taylor expansion of (- im) in im
4.860 * [taylor]: Taking taylor expansion of im in im
4.860 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify 1 into 1
4.860 * [backup-simplify]: Simplify (- 0) into 0
4.860 * [backup-simplify]: Simplify (- 1) into -1
4.860 * [backup-simplify]: Simplify (exp 0) into 1
4.860 * [taylor]: Taking taylor expansion of (* (sin re) 0.5) in im
4.860 * [taylor]: Taking taylor expansion of (sin re) in im
4.860 * [taylor]: Taking taylor expansion of re in im
4.861 * [backup-simplify]: Simplify re into re
4.861 * [backup-simplify]: Simplify (sin re) into (sin re)
4.861 * [backup-simplify]: Simplify (cos re) into (cos re)
4.861 * [taylor]: Taking taylor expansion of 0.5 in im
4.861 * [backup-simplify]: Simplify 0.5 into 0.5
4.861 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re)
4.861 * [backup-simplify]: Simplify (* (cos re) 0) into 0
4.861 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re)
4.861 * [backup-simplify]: Simplify (* (sin re) 0.5) into (* 0.5 (sin re))
4.861 * [backup-simplify]: Simplify (* 1 (* 0.5 (sin re))) into (* 0.5 (sin re))
4.861 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re
4.861 * [taylor]: Taking taylor expansion of 0.5 in re
4.861 * [backup-simplify]: Simplify 0.5 into 0.5
4.861 * [taylor]: Taking taylor expansion of (sin re) in re
4.861 * [taylor]: Taking taylor expansion of re in re
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify 1 into 1
4.861 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.861 * [backup-simplify]: Simplify 0 into 0
4.862 * [backup-simplify]: Simplify (+ 0) into 0
4.862 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 1)) into 0
4.862 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.863 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 0)) into 0
4.863 * [backup-simplify]: Simplify (+ 0 0) into 0
4.863 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0.5)) into 0
4.863 * [backup-simplify]: Simplify (- 1) into -1
4.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.864 * [backup-simplify]: Simplify (+ (* 1 0) (* -1 (* 0.5 (sin re)))) into (- (* 0.5 (sin re)))
4.865 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin re))) in re
4.865 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re
4.865 * [taylor]: Taking taylor expansion of 0.5 in re
4.865 * [backup-simplify]: Simplify 0.5 into 0.5
4.865 * [taylor]: Taking taylor expansion of (sin re) in re
4.865 * [taylor]: Taking taylor expansion of re in re
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.865 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.865 * [backup-simplify]: Simplify (- 0) into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.867 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.867 * [backup-simplify]: Simplify 0.5 into 0.5
4.867 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.868 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0
4.868 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.869 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0
4.869 * [backup-simplify]: Simplify (+ 0 0) into 0
4.869 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0.5))) into 0
4.869 * [backup-simplify]: Simplify (- 1) into -1
4.870 * [backup-simplify]: Simplify (- 0) into 0
4.871 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -1 0) (* 1/2 (* 0.5 (sin re))))) into (* 0.25 (sin re))
4.872 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re
4.872 * [taylor]: Taking taylor expansion of 0.25 in re
4.872 * [backup-simplify]: Simplify 0.25 into 0.25
4.872 * [taylor]: Taking taylor expansion of (sin re) in re
4.872 * [taylor]: Taking taylor expansion of re in re
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify 1 into 1
4.872 * [backup-simplify]: Simplify (* 0.25 0) into 0
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.873 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.874 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.874 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.874 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.875 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.876 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.877 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.877 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.878 * [backup-simplify]: Simplify (+ 0 0) into 0
4.878 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0.5)))) into 0
4.878 * [backup-simplify]: Simplify (- 1) into -1
4.879 * [backup-simplify]: Simplify (- 1) into -1
4.879 * [backup-simplify]: Simplify (- 0) into 0
4.879 * [backup-simplify]: Simplify (- 0) into 0
4.880 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -1 0) (+ (* 1/2 0) (* -1/6 (* 0.5 (sin re)))))) into (- (* 0.08333333333333333 (sin re)))
4.881 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (sin re))) in re
4.881 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re
4.881 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re
4.881 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
4.881 * [taylor]: Taking taylor expansion of (sin re) in re
4.881 * [taylor]: Taking taylor expansion of re in re
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* 0.08333333333333333 0) into 0
4.882 * [backup-simplify]: Simplify (- 0) into 0
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.883 * [backup-simplify]: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25
4.883 * [backup-simplify]: Simplify 0.25 into 0.25
4.884 * [backup-simplify]: Simplify (+ (* 0.25 (* re (pow im 2))) (+ (* (- 0.5) (* re im)) (* 0.5 (* re 1)))) into (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im)))
4.885 * [backup-simplify]: Simplify (cbrt (* (* (pow (exp (- 0.0 (/ 1 im))) 3) (pow (sin (/ 1 re)) 3)) (pow 0.5 3))) into (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im)))))
4.885 * [approximate]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im))))) in (im re) around 0
4.885 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im))))) in re
4.885 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
4.885 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.885 * [taylor]: Taking taylor expansion of re in re
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 1 into 1
4.885 * [backup-simplify]: Simplify (/ 1 1) into 1
4.885 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.885 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- (/ 1 im)))) in re
4.885 * [taylor]: Taking taylor expansion of 0.5 in re
4.885 * [backup-simplify]: Simplify 0.5 into 0.5
4.885 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
4.885 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
4.885 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.885 * [taylor]: Taking taylor expansion of im in re
4.885 * [backup-simplify]: Simplify im into im
4.885 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.885 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.885 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.885 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
4.885 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im))))) in im
4.885 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
4.885 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.885 * [taylor]: Taking taylor expansion of re in im
4.886 * [backup-simplify]: Simplify re into re
4.886 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.886 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.886 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.886 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- (/ 1 im)))) in im
4.886 * [taylor]: Taking taylor expansion of 0.5 in im
4.886 * [backup-simplify]: Simplify 0.5 into 0.5
4.886 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
4.886 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
4.886 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.886 * [taylor]: Taking taylor expansion of im in im
4.886 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify 1 into 1
4.886 * [backup-simplify]: Simplify (/ 1 1) into 1
4.886 * [backup-simplify]: Simplify (- 1) into -1
4.886 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
4.886 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im))))) in im
4.886 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
4.886 * [taylor]: Taking taylor expansion of (/ 1 re) in im
4.886 * [taylor]: Taking taylor expansion of re in im
4.886 * [backup-simplify]: Simplify re into re
4.886 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
4.886 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.887 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
4.887 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- (/ 1 im)))) in im
4.887 * [taylor]: Taking taylor expansion of 0.5 in im
4.887 * [backup-simplify]: Simplify 0.5 into 0.5
4.887 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
4.887 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
4.887 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.887 * [taylor]: Taking taylor expansion of im in im
4.887 * [backup-simplify]: Simplify 0 into 0
4.887 * [backup-simplify]: Simplify 1 into 1
4.887 * [backup-simplify]: Simplify (/ 1 1) into 1
4.887 * [backup-simplify]: Simplify (- 1) into -1
4.887 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
4.887 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
4.887 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
4.887 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
4.888 * [backup-simplify]: Simplify (* 0.5 (exp (- (/ 1 im)))) into (* 0.5 (exp (- (/ 1 im))))
4.888 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (* 0.5 (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
4.888 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re
4.888 * [taylor]: Taking taylor expansion of 0.5 in re
4.888 * [backup-simplify]: Simplify 0.5 into 0.5
4.888 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re
4.888 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
4.888 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.888 * [taylor]: Taking taylor expansion of re in re
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify 1 into 1
4.888 * [backup-simplify]: Simplify (/ 1 1) into 1
4.888 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.888 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
4.888 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
4.888 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.888 * [taylor]: Taking taylor expansion of im in re
4.888 * [backup-simplify]: Simplify im into im
4.888 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.888 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.888 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.888 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
4.888 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (- (/ 1 im)))) into (* (sin (/ 1 re)) (exp (- (/ 1 im))))
4.889 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
4.889 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) into (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))
4.889 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp (- (/ 1 im))))) into 0
4.889 * [backup-simplify]: Simplify (+ 0) into 0
4.890 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
4.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
4.890 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.890 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
4.891 * [backup-simplify]: Simplify (+ 0 0) into 0
4.891 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (* 0.5 (exp (- (/ 1 im)))))) into 0
4.891 * [taylor]: Taking taylor expansion of 0 in re
4.891 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.891 * [backup-simplify]: Simplify (- 0) into 0
4.892 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
4.892 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (- (/ 1 im))))) into 0
4.892 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im)))))) into 0
4.892 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
4.893 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.894 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.894 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.894 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.895 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.895 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (* 0.5 (exp (- (/ 1 im))))))) into 0
4.896 * [taylor]: Taking taylor expansion of 0 in re
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
4.896 * [backup-simplify]: Simplify (- 0) into 0
4.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.897 * [backup-simplify]: Simplify (- 0) into 0
4.898 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.899 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
4.900 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (- (/ 1 im))))))) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im))))))) into 0
4.902 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.903 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.904 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.905 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.906 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.906 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (exp (- (/ 1 im)))))))) into 0
4.908 * [taylor]: Taking taylor expansion of 0 in re
4.908 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 (/ 1 re))) (exp (- (/ 1 (/ 1 im)))))) into (* 0.5 (* (exp (- im)) (sin re)))
4.909 * [backup-simplify]: Simplify (cbrt (* (* (pow (exp (- 0.0 (/ 1 (- im)))) 3) (pow (sin (/ 1 (- re))) 3)) (pow 0.5 3))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
4.909 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (im re) around 0
4.909 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re
4.909 * [taylor]: Taking taylor expansion of 0.5 in re
4.909 * [backup-simplify]: Simplify 0.5 into 0.5
4.909 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re
4.909 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
4.909 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.909 * [taylor]: Taking taylor expansion of -1 in re
4.909 * [backup-simplify]: Simplify -1 into -1
4.909 * [taylor]: Taking taylor expansion of re in re
4.909 * [backup-simplify]: Simplify 0 into 0
4.909 * [backup-simplify]: Simplify 1 into 1
4.910 * [backup-simplify]: Simplify (/ -1 1) into -1
4.910 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.910 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.910 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.910 * [taylor]: Taking taylor expansion of im in re
4.910 * [backup-simplify]: Simplify im into im
4.910 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.910 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.910 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im
4.910 * [taylor]: Taking taylor expansion of 0.5 in im
4.910 * [backup-simplify]: Simplify 0.5 into 0.5
4.910 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im
4.910 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
4.910 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.910 * [taylor]: Taking taylor expansion of -1 in im
4.910 * [backup-simplify]: Simplify -1 into -1
4.910 * [taylor]: Taking taylor expansion of re in im
4.910 * [backup-simplify]: Simplify re into re
4.911 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.911 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.911 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.911 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.911 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.911 * [taylor]: Taking taylor expansion of im in im
4.911 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify 1 into 1
4.911 * [backup-simplify]: Simplify (/ 1 1) into 1
4.911 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.911 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im
4.911 * [taylor]: Taking taylor expansion of 0.5 in im
4.911 * [backup-simplify]: Simplify 0.5 into 0.5
4.912 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im
4.912 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
4.912 * [taylor]: Taking taylor expansion of (/ -1 re) in im
4.912 * [taylor]: Taking taylor expansion of -1 in im
4.912 * [backup-simplify]: Simplify -1 into -1
4.912 * [taylor]: Taking taylor expansion of re in im
4.912 * [backup-simplify]: Simplify re into re
4.912 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
4.912 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.912 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
4.912 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
4.912 * [taylor]: Taking taylor expansion of (/ 1 im) in im
4.912 * [taylor]: Taking taylor expansion of im in im
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [backup-simplify]: Simplify 1 into 1
4.912 * [backup-simplify]: Simplify (/ 1 1) into 1
4.913 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.913 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
4.913 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
4.913 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
4.913 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ 1 im))) into (* (sin (/ -1 re)) (exp (/ 1 im)))
4.913 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
4.913 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re
4.913 * [taylor]: Taking taylor expansion of 0.5 in re
4.913 * [backup-simplify]: Simplify 0.5 into 0.5
4.913 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re
4.914 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
4.914 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.914 * [taylor]: Taking taylor expansion of -1 in re
4.914 * [backup-simplify]: Simplify -1 into -1
4.914 * [taylor]: Taking taylor expansion of re in re
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify 1 into 1
4.914 * [backup-simplify]: Simplify (/ -1 1) into -1
4.914 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.914 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
4.914 * [taylor]: Taking taylor expansion of (/ 1 im) in re
4.914 * [taylor]: Taking taylor expansion of im in re
4.914 * [backup-simplify]: Simplify im into im
4.914 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
4.914 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
4.915 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ 1 im))) into (* (sin (/ -1 re)) (exp (/ 1 im)))
4.915 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
4.915 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im))))
4.915 * [backup-simplify]: Simplify (+ 0) into 0
4.916 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
4.916 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
4.917 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.917 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
4.918 * [backup-simplify]: Simplify (+ 0 0) into 0
4.918 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.919 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))) into 0
4.919 * [taylor]: Taking taylor expansion of 0 in re
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
4.920 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
4.920 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))) into 0
4.921 * [backup-simplify]: Simplify 0 into 0
4.922 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.923 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
4.923 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.924 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.924 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
4.925 * [backup-simplify]: Simplify (+ 0 0) into 0
4.925 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.926 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im)))))) into 0
4.926 * [taylor]: Taking taylor expansion of 0 in re
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
4.928 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.929 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
4.929 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im)))))) into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.931 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.932 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
4.933 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.934 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.934 * [backup-simplify]: Simplify (+ 0 0) into 0
4.935 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
4.937 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ 1 im))))))) into 0
4.937 * [taylor]: Taking taylor expansion of 0 in re
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 (/ 1 (- re)))) (exp (/ 1 (/ 1 (- im)))))) into (* 0.5 (* (sin re) (exp (* -1 im))))
4.937 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
4.937 * [backup-simplify]: Simplify (pow (sin re) 3) into (pow (sin re) 3)
4.937 * [approximate]: Taking taylor expansion of (pow (sin re) 3) in (re) around 0
4.937 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
4.937 * [taylor]: Taking taylor expansion of (sin re) in re
4.937 * [taylor]: Taking taylor expansion of re in re
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 1 into 1
4.938 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.938 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
4.938 * [taylor]: Taking taylor expansion of (sin re) in re
4.938 * [taylor]: Taking taylor expansion of re in re
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.940 * [backup-simplify]: Simplify (* 1 1) into 1
4.940 * [backup-simplify]: Simplify (* 1 1) into 1
4.940 * [backup-simplify]: Simplify 1 into 1
4.941 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.943 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
4.945 * [backup-simplify]: Simplify (+ (* 1 -1/6) (+ (* 0 0) (* -1/6 1))) into -1/3
4.946 * [backup-simplify]: Simplify (+ (* 1 -1/3) (+ (* 0 0) (* -1/6 1))) into -1/2
4.946 * [backup-simplify]: Simplify -1/2 into -1/2
4.948 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 -1/6) (+ (* -1/6 0) (* 0 1)))) into 0
4.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 -1/3) (+ (* -1/6 0) (* 0 1)))) into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 5) 120)) 0 (* -1 (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 1 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 1/120
4.957 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* -1/6 -1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45
4.960 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* -1/6 -1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120
4.960 * [backup-simplify]: Simplify 13/120 into 13/120
4.960 * [backup-simplify]: Simplify (+ (* 13/120 (pow re 7)) (+ (* -1/2 (pow re 5)) (* 1 (pow re 3)))) into (- (+ (* 13/120 (pow re 7)) (pow re 3)) (* 1/2 (pow re 5)))
4.961 * [backup-simplify]: Simplify (pow (sin (/ 1 re)) 3) into (pow (sin (/ 1 re)) 3)
4.961 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in (re) around 0
4.961 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in re
4.961 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
4.961 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.961 * [taylor]: Taking taylor expansion of re in re
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1 into 1
4.961 * [backup-simplify]: Simplify (/ 1 1) into 1
4.961 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.961 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in re
4.961 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
4.961 * [taylor]: Taking taylor expansion of (/ 1 re) in re
4.961 * [taylor]: Taking taylor expansion of re in re
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 1 into 1
4.962 * [backup-simplify]: Simplify (/ 1 1) into 1
4.962 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
4.962 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (sin (/ 1 re))) into (pow (sin (/ 1 re)) 2)
4.963 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (pow (sin (/ 1 re)) 2)) into (pow (sin (/ 1 re)) 3)
4.963 * [backup-simplify]: Simplify (pow (sin (/ 1 re)) 3) into (pow (sin (/ 1 re)) 3)
4.963 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (sin (/ 1 re)))) into 0
4.963 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (pow (sin (/ 1 re)) 2))) into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
4.970 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2)))) into 0
4.970 * [backup-simplify]: Simplify 0 into 0
4.972 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0
4.973 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2))))) into 0
4.973 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))))) into 0
4.976 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2)))))) into 0
4.976 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))))) into 0
4.979 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2))))))) into 0
4.979 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))))))) into 0
4.983 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2)))))))) into 0
4.983 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify (pow (sin (/ 1 (/ 1 re))) 3) into (pow (sin re) 3)
4.984 * [backup-simplify]: Simplify (pow (sin (/ 1 (- re))) 3) into (pow (sin (/ -1 re)) 3)
4.984 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in (re) around 0
4.984 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in re
4.984 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
4.984 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.984 * [taylor]: Taking taylor expansion of -1 in re
4.984 * [backup-simplify]: Simplify -1 into -1
4.984 * [taylor]: Taking taylor expansion of re in re
4.984 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify 1 into 1
4.985 * [backup-simplify]: Simplify (/ -1 1) into -1
4.985 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.985 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in re
4.985 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
4.985 * [taylor]: Taking taylor expansion of (/ -1 re) in re
4.985 * [taylor]: Taking taylor expansion of -1 in re
4.985 * [backup-simplify]: Simplify -1 into -1
4.985 * [taylor]: Taking taylor expansion of re in re
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 1 into 1
4.985 * [backup-simplify]: Simplify (/ -1 1) into -1
4.985 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
4.986 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (sin (/ -1 re))) into (pow (sin (/ -1 re)) 2)
4.986 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (pow (sin (/ -1 re)) 2)) into (pow (sin (/ -1 re)) 3)
4.986 * [backup-simplify]: Simplify (pow (sin (/ -1 re)) 3) into (pow (sin (/ -1 re)) 3)
4.987 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (sin (/ -1 re)))) into 0
4.987 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (pow (sin (/ -1 re)) 2))) into 0
4.987 * [backup-simplify]: Simplify 0 into 0
4.988 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
4.988 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2)))) into 0
4.988 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0
4.990 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2))))) into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))))) into 0
4.993 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2)))))) into 0
4.993 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))))) into 0
4.996 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2))))))) into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))))))) into 0
5.001 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2)))))))) into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify (pow (sin (/ -1 (/ 1 (- re)))) 3) into (pow (sin re) 3)
5.001 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
5.001 * [backup-simplify]: Simplify (pow (exp (- 0.0 im)) 3) into (pow (exp (- im)) 3)
5.001 * [approximate]: Taking taylor expansion of (pow (exp (- im)) 3) in (im) around 0
5.001 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im
5.001 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.001 * [taylor]: Taking taylor expansion of (- im) in im
5.001 * [taylor]: Taking taylor expansion of im in im
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 1 into 1
5.002 * [backup-simplify]: Simplify (- 0) into 0
5.002 * [backup-simplify]: Simplify (- 1) into -1
5.002 * [backup-simplify]: Simplify (exp 0) into 1
5.002 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im
5.002 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.002 * [taylor]: Taking taylor expansion of (- im) in im
5.002 * [taylor]: Taking taylor expansion of im in im
5.002 * [backup-simplify]: Simplify 0 into 0
5.002 * [backup-simplify]: Simplify 1 into 1
5.003 * [backup-simplify]: Simplify (- 0) into 0
5.003 * [backup-simplify]: Simplify (- 1) into -1
5.003 * [backup-simplify]: Simplify (exp 0) into 1
5.004 * [backup-simplify]: Simplify (* 1 1) into 1
5.004 * [backup-simplify]: Simplify (* 1 1) into 1
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [backup-simplify]: Simplify (- 1) into -1
5.006 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
5.006 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
5.007 * [backup-simplify]: Simplify (+ (* 1 -2) (* -1 1)) into -3
5.007 * [backup-simplify]: Simplify -3 into -3
5.008 * [backup-simplify]: Simplify (- 1) into -1
5.008 * [backup-simplify]: Simplify (- 0) into 0
5.010 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.011 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
5.012 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* -1 -2) (* 1/2 1))) into 9/2
5.012 * [backup-simplify]: Simplify 9/2 into 9/2
5.013 * [backup-simplify]: Simplify (+ (* 9/2 (pow im 2)) (+ (* -3 im) 1)) into (- (+ (* 9/2 (pow im 2)) 1) (* 3 im))
5.013 * [backup-simplify]: Simplify (pow (exp (- 0.0 (/ 1 im))) 3) into (pow (exp (- (/ 1 im))) 3)
5.013 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in (im) around 0
5.013 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im
5.013 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.013 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.013 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.013 * [taylor]: Taking taylor expansion of im in im
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify 1 into 1
5.013 * [backup-simplify]: Simplify (/ 1 1) into 1
5.014 * [backup-simplify]: Simplify (- 1) into -1
5.014 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.014 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im
5.014 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.014 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.014 * [taylor]: Taking taylor expansion of im in im
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 1 into 1
5.015 * [backup-simplify]: Simplify (/ 1 1) into 1
5.015 * [backup-simplify]: Simplify (- 1) into -1
5.015 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.015 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (exp (- (/ 1 im)))) into (pow (exp (- (/ 1 im))) 2)
5.016 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (pow (exp (- (/ 1 im))) 2)) into (pow (exp (- (/ 1 im))) 3)
5.016 * [backup-simplify]: Simplify (pow (exp (- (/ 1 im))) 3) into (pow (exp (- (/ 1 im))) 3)
5.016 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (exp (- (/ 1 im))))) into 0
5.016 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (pow (exp (- (/ 1 im))) 2))) into 0
5.016 * [backup-simplify]: Simplify 0 into 0
5.017 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
5.018 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2)))) into 0
5.018 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im))))))) into 0
5.020 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2))))) into 0
5.020 * [backup-simplify]: Simplify 0 into 0
5.022 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))))) into 0
5.023 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2)))))) into 0
5.023 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im))))))))) into 0
5.027 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2))))))) into 0
5.027 * [backup-simplify]: Simplify 0 into 0
5.029 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))))))) into 0
5.031 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2)))))))) into 0
5.031 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 im)))) 3) into (pow (exp (- im)) 3)
5.031 * [backup-simplify]: Simplify (pow (exp (- 0.0 (/ 1 (- im)))) 3) into (pow (exp (/ 1 im)) 3)
5.031 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in (im) around 0
5.031 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im
5.031 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.031 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.032 * [taylor]: Taking taylor expansion of im in im
5.032 * [backup-simplify]: Simplify 0 into 0
5.032 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify (/ 1 1) into 1
5.032 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.032 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im
5.032 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.032 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.032 * [taylor]: Taking taylor expansion of im in im
5.032 * [backup-simplify]: Simplify 0 into 0
5.032 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify (/ 1 1) into 1
5.032 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.032 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (exp (/ 1 im))) into (pow (exp (/ 1 im)) 2)
5.033 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (pow (exp (/ 1 im)) 2)) into (pow (exp (/ 1 im)) 3)
5.033 * [backup-simplify]: Simplify (pow (exp (/ 1 im)) 3) into (pow (exp (/ 1 im)) 3)
5.033 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (exp (/ 1 im)))) into 0
5.033 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (pow (exp (/ 1 im)) 2))) into 0
5.033 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.034 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2)))) into 0
5.034 * [backup-simplify]: Simplify 0 into 0
5.034 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
5.035 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2))))) into 0
5.035 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))) into 0
5.037 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2)))))) into 0
5.037 * [backup-simplify]: Simplify 0 into 0
5.038 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))))) into 0
5.039 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2))))))) into 0
5.039 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))))) into 0
5.041 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2)))))))) into 0
5.041 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- im)))) 3) into (pow (exp (* -1 im)) 3)
5.042 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.042 * [backup-simplify]: Simplify (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) into (* (pow (exp (- im)) 3) (pow (sin re) 3))
5.042 * [approximate]: Taking taylor expansion of (* (pow (exp (- im)) 3) (pow (sin re) 3)) in (im re) around 0
5.042 * [taylor]: Taking taylor expansion of (* (pow (exp (- im)) 3) (pow (sin re) 3)) in re
5.042 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in re
5.042 * [taylor]: Taking taylor expansion of (exp (- im)) in re
5.042 * [taylor]: Taking taylor expansion of (- im) in re
5.042 * [taylor]: Taking taylor expansion of im in re
5.042 * [backup-simplify]: Simplify im into im
5.042 * [backup-simplify]: Simplify (- im) into (- im)
5.042 * [backup-simplify]: Simplify (- im) into (- im)
5.042 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
5.042 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
5.042 * [taylor]: Taking taylor expansion of (sin re) in re
5.042 * [taylor]: Taking taylor expansion of re in re
5.042 * [backup-simplify]: Simplify 0 into 0
5.042 * [backup-simplify]: Simplify 1 into 1
5.042 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.042 * [taylor]: Taking taylor expansion of (* (pow (exp (- im)) 3) (pow (sin re) 3)) in im
5.042 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im
5.043 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.043 * [taylor]: Taking taylor expansion of (- im) in im
5.043 * [taylor]: Taking taylor expansion of im in im
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.043 * [backup-simplify]: Simplify (- 0) into 0
5.043 * [backup-simplify]: Simplify (- 1) into -1
5.043 * [backup-simplify]: Simplify (exp 0) into 1
5.043 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in im
5.043 * [taylor]: Taking taylor expansion of (sin re) in im
5.043 * [taylor]: Taking taylor expansion of re in im
5.043 * [backup-simplify]: Simplify re into re
5.043 * [backup-simplify]: Simplify (sin re) into (sin re)
5.043 * [backup-simplify]: Simplify (cos re) into (cos re)
5.043 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re)
5.043 * [backup-simplify]: Simplify (* (cos re) 0) into 0
5.043 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re)
5.043 * [taylor]: Taking taylor expansion of (* (pow (exp (- im)) 3) (pow (sin re) 3)) in im
5.043 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im
5.043 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.043 * [taylor]: Taking taylor expansion of (- im) in im
5.043 * [taylor]: Taking taylor expansion of im in im
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.044 * [backup-simplify]: Simplify (- 0) into 0
5.044 * [backup-simplify]: Simplify (- 1) into -1
5.044 * [backup-simplify]: Simplify (exp 0) into 1
5.044 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in im
5.044 * [taylor]: Taking taylor expansion of (sin re) in im
5.044 * [taylor]: Taking taylor expansion of re in im
5.044 * [backup-simplify]: Simplify re into re
5.044 * [backup-simplify]: Simplify (sin re) into (sin re)
5.044 * [backup-simplify]: Simplify (cos re) into (cos re)
5.044 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re)
5.044 * [backup-simplify]: Simplify (* (cos re) 0) into 0
5.044 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re)
5.045 * [backup-simplify]: Simplify (* 1 1) into 1
5.045 * [backup-simplify]: Simplify (* 1 1) into 1
5.045 * [backup-simplify]: Simplify (* (sin re) (sin re)) into (pow (sin re) 2)
5.045 * [backup-simplify]: Simplify (* (sin re) (pow (sin re) 2)) into (pow (sin re) 3)
5.045 * [backup-simplify]: Simplify (* 1 (pow (sin re) 3)) into (pow (sin re) 3)
5.045 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
5.045 * [taylor]: Taking taylor expansion of (sin re) in re
5.045 * [taylor]: Taking taylor expansion of re in re
5.045 * [backup-simplify]: Simplify 0 into 0
5.045 * [backup-simplify]: Simplify 1 into 1
5.046 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.046 * [backup-simplify]: Simplify (* 1 1) into 1
5.046 * [backup-simplify]: Simplify (* 1 1) into 1
5.046 * [backup-simplify]: Simplify 1 into 1
5.046 * [backup-simplify]: Simplify (+ 0) into 0
5.047 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 1)) into 0
5.047 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.047 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 0)) into 0
5.048 * [backup-simplify]: Simplify (+ 0 0) into 0
5.048 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 (sin re))) into 0
5.048 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 (pow (sin re) 2))) into 0
5.048 * [backup-simplify]: Simplify (- 1) into -1
5.049 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
5.049 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
5.050 * [backup-simplify]: Simplify (+ (* 1 -2) (* -1 1)) into -3
5.050 * [backup-simplify]: Simplify (+ (* 1 0) (* -3 (pow (sin re) 3))) into (- (* 3 (pow (sin re) 3)))
5.050 * [taylor]: Taking taylor expansion of (- (* 3 (pow (sin re) 3))) in re
5.050 * [taylor]: Taking taylor expansion of (* 3 (pow (sin re) 3)) in re
5.050 * [taylor]: Taking taylor expansion of 3 in re
5.050 * [backup-simplify]: Simplify 3 into 3
5.050 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
5.050 * [taylor]: Taking taylor expansion of (sin re) in re
5.050 * [taylor]: Taking taylor expansion of re in re
5.050 * [backup-simplify]: Simplify 0 into 0
5.050 * [backup-simplify]: Simplify 1 into 1
5.051 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.051 * [backup-simplify]: Simplify (* 1 1) into 1
5.051 * [backup-simplify]: Simplify (* 1 1) into 1
5.051 * [backup-simplify]: Simplify (* 3 1) into 3
5.052 * [backup-simplify]: Simplify (- 3) into -3
5.052 * [backup-simplify]: Simplify -3 into -3
5.052 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.054 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0
5.054 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.055 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0
5.055 * [backup-simplify]: Simplify (+ 0 0) into 0
5.055 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 (sin re)))) into 0
5.056 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 (pow (sin re) 2)))) into 0
5.056 * [backup-simplify]: Simplify (- 1) into -1
5.056 * [backup-simplify]: Simplify (- 0) into 0
5.057 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.058 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
5.058 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* -1 -2) (* 1/2 1))) into 9/2
5.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -3 0) (* 9/2 (pow (sin re) 3)))) into (* 9/2 (pow (sin re) 3))
5.059 * [taylor]: Taking taylor expansion of (* 9/2 (pow (sin re) 3)) in re
5.059 * [taylor]: Taking taylor expansion of 9/2 in re
5.059 * [backup-simplify]: Simplify 9/2 into 9/2
5.059 * [taylor]: Taking taylor expansion of (pow (sin re) 3) in re
5.059 * [taylor]: Taking taylor expansion of (sin re) in re
5.059 * [taylor]: Taking taylor expansion of re in re
5.059 * [backup-simplify]: Simplify 0 into 0
5.059 * [backup-simplify]: Simplify 1 into 1
5.060 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.060 * [backup-simplify]: Simplify (* 1 1) into 1
5.060 * [backup-simplify]: Simplify (* 1 1) into 1
5.061 * [backup-simplify]: Simplify (* 9/2 1) into 9/2
5.061 * [backup-simplify]: Simplify 9/2 into 9/2
5.061 * [backup-simplify]: Simplify (+ (* 9/2 (* (pow re 3) (pow im 2))) (+ (* -3 (* (pow re 3) im)) (* 1 (pow (* re 1) 3)))) into (- (+ (* 9/2 (* (pow re 3) (pow im 2))) (pow re 3)) (* 3 (* (pow re 3) im)))
5.061 * [backup-simplify]: Simplify (* (pow (exp (- 0.0 (/ 1 im))) 3) (pow (sin (/ 1 re)) 3)) into (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3))
5.061 * [approximate]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) in (im re) around 0
5.061 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) in re
5.061 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in re
5.061 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
5.061 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.061 * [taylor]: Taking taylor expansion of re in re
5.061 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify 1 into 1
5.062 * [backup-simplify]: Simplify (/ 1 1) into 1
5.062 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.062 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re
5.062 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
5.062 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
5.062 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.062 * [taylor]: Taking taylor expansion of im in re
5.062 * [backup-simplify]: Simplify im into im
5.062 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.062 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.062 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.062 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.062 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) in im
5.062 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in im
5.062 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
5.062 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.062 * [taylor]: Taking taylor expansion of re in im
5.062 * [backup-simplify]: Simplify re into re
5.062 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.062 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.062 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.062 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
5.062 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
5.062 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
5.062 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im
5.062 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.062 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.062 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.062 * [taylor]: Taking taylor expansion of im in im
5.062 * [backup-simplify]: Simplify 0 into 0
5.063 * [backup-simplify]: Simplify 1 into 1
5.063 * [backup-simplify]: Simplify (/ 1 1) into 1
5.063 * [backup-simplify]: Simplify (- 1) into -1
5.063 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.063 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) in im
5.063 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in im
5.063 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
5.063 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.063 * [taylor]: Taking taylor expansion of re in im
5.063 * [backup-simplify]: Simplify re into re
5.063 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.063 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.064 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.064 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
5.064 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
5.064 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
5.064 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im
5.064 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.064 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.064 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.064 * [taylor]: Taking taylor expansion of im in im
5.064 * [backup-simplify]: Simplify 0 into 0
5.064 * [backup-simplify]: Simplify 1 into 1
5.064 * [backup-simplify]: Simplify (/ 1 1) into 1
5.065 * [backup-simplify]: Simplify (- 1) into -1
5.065 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.065 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (sin (/ 1 re))) into (pow (sin (/ 1 re)) 2)
5.065 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (pow (sin (/ 1 re)) 2)) into (pow (sin (/ 1 re)) 3)
5.066 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (exp (- (/ 1 im)))) into (pow (exp (- (/ 1 im))) 2)
5.066 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (pow (exp (- (/ 1 im))) 2)) into (pow (exp (- (/ 1 im))) 3)
5.066 * [backup-simplify]: Simplify (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) into (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3))
5.066 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) in re
5.066 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in re
5.066 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
5.066 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.066 * [taylor]: Taking taylor expansion of re in re
5.067 * [backup-simplify]: Simplify 0 into 0
5.067 * [backup-simplify]: Simplify 1 into 1
5.067 * [backup-simplify]: Simplify (/ 1 1) into 1
5.067 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.067 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re
5.067 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
5.067 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
5.067 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.067 * [taylor]: Taking taylor expansion of im in re
5.067 * [backup-simplify]: Simplify im into im
5.067 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.067 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.067 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.068 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.068 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (sin (/ 1 re))) into (pow (sin (/ 1 re)) 2)
5.068 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (pow (sin (/ 1 re)) 2)) into (pow (sin (/ 1 re)) 3)
5.068 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (exp (- (/ 1 im)))) into (pow (exp (- (/ 1 im))) 2)
5.068 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (pow (exp (- (/ 1 im))) 2)) into (pow (exp (- (/ 1 im))) 3)
5.069 * [backup-simplify]: Simplify (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) into (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3))
5.069 * [backup-simplify]: Simplify (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3)) into (* (pow (sin (/ 1 re)) 3) (pow (exp (- (/ 1 im))) 3))
5.069 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (exp (- (/ 1 im))))) into 0
5.070 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (pow (exp (- (/ 1 im))) 2))) into 0
5.070 * [backup-simplify]: Simplify (+ 0) into 0
5.071 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
5.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
5.072 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.072 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
5.072 * [backup-simplify]: Simplify (+ 0 0) into 0
5.073 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (sin (/ 1 re)))) into 0
5.073 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (pow (sin (/ 1 re)) 2))) into 0
5.073 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 re)) 3) 0) (* 0 (pow (exp (- (/ 1 im))) 3))) into 0
5.073 * [taylor]: Taking taylor expansion of 0 in re
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 0 into 0
5.074 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.074 * [backup-simplify]: Simplify (- 0) into 0
5.075 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
5.075 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (exp (- (/ 1 im))))) into 0
5.076 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (* 0 (pow (exp (- (/ 1 im))) 2))) into 0
5.076 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (sin (/ 1 re)))) into 0
5.076 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (pow (sin (/ 1 re)) 2))) into 0
5.076 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 re)) 3) 0) (* 0 (pow (exp (- (/ 1 im))) 3))) into 0
5.076 * [backup-simplify]: Simplify 0 into 0
5.077 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
5.078 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2)))) into 0
5.079 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.080 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.080 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.081 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.081 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.082 * [backup-simplify]: Simplify (+ 0 0) into 0
5.082 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
5.083 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2)))) into 0
5.084 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 re)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 3)))) into 0
5.084 * [taylor]: Taking taylor expansion of 0 in re
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.085 * [backup-simplify]: Simplify (- 0) into 0
5.085 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.085 * [backup-simplify]: Simplify (- 0) into 0
5.087 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.087 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im)))))) into 0
5.088 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2)))) into 0
5.089 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
5.089 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2)))) into 0
5.090 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 re)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 3)))) into 0
5.090 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 im))))))) into 0
5.092 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 2))))) into 0
5.093 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.094 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.095 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.096 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.096 * [backup-simplify]: Simplify (+ 0 0) into 0
5.096 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0
5.097 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ 1 re)) 2))))) into 0
5.098 * [backup-simplify]: Simplify (+ (* (pow (sin (/ 1 re)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 im))) 3))))) into 0
5.098 * [taylor]: Taking taylor expansion of 0 in re
5.098 * [backup-simplify]: Simplify 0 into 0
5.098 * [backup-simplify]: Simplify 0 into 0
5.098 * [backup-simplify]: Simplify (* (pow (sin (/ 1 (/ 1 re))) 3) (pow (exp (- (/ 1 (/ 1 im)))) 3)) into (* (pow (exp (- im)) 3) (pow (sin re) 3))
5.098 * [backup-simplify]: Simplify (* (pow (exp (- 0.0 (/ 1 (- im)))) 3) (pow (sin (/ 1 (- re))) 3)) into (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3))
5.098 * [approximate]: Taking taylor expansion of (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) in (im re) around 0
5.098 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) in re
5.099 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in re
5.099 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
5.099 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.099 * [taylor]: Taking taylor expansion of -1 in re
5.099 * [backup-simplify]: Simplify -1 into -1
5.099 * [taylor]: Taking taylor expansion of re in re
5.099 * [backup-simplify]: Simplify 0 into 0
5.099 * [backup-simplify]: Simplify 1 into 1
5.099 * [backup-simplify]: Simplify (/ -1 1) into -1
5.099 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.099 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re
5.099 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.099 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.099 * [taylor]: Taking taylor expansion of im in re
5.099 * [backup-simplify]: Simplify im into im
5.099 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.099 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.099 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) in im
5.099 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in im
5.100 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
5.100 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.100 * [taylor]: Taking taylor expansion of -1 in im
5.100 * [backup-simplify]: Simplify -1 into -1
5.100 * [taylor]: Taking taylor expansion of re in im
5.100 * [backup-simplify]: Simplify re into re
5.100 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.100 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.100 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.100 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
5.100 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
5.100 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
5.100 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im
5.100 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.100 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.100 * [taylor]: Taking taylor expansion of im in im
5.100 * [backup-simplify]: Simplify 0 into 0
5.100 * [backup-simplify]: Simplify 1 into 1
5.100 * [backup-simplify]: Simplify (/ 1 1) into 1
5.100 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.100 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) in im
5.100 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in im
5.100 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
5.100 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.100 * [taylor]: Taking taylor expansion of -1 in im
5.100 * [backup-simplify]: Simplify -1 into -1
5.100 * [taylor]: Taking taylor expansion of re in im
5.100 * [backup-simplify]: Simplify re into re
5.100 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.101 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.101 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.101 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
5.101 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
5.101 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
5.101 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im
5.101 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.101 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.101 * [taylor]: Taking taylor expansion of im in im
5.101 * [backup-simplify]: Simplify 0 into 0
5.101 * [backup-simplify]: Simplify 1 into 1
5.101 * [backup-simplify]: Simplify (/ 1 1) into 1
5.101 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.101 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (sin (/ -1 re))) into (pow (sin (/ -1 re)) 2)
5.101 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (pow (sin (/ -1 re)) 2)) into (pow (sin (/ -1 re)) 3)
5.102 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (exp (/ 1 im))) into (pow (exp (/ 1 im)) 2)
5.102 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (pow (exp (/ 1 im)) 2)) into (pow (exp (/ 1 im)) 3)
5.102 * [backup-simplify]: Simplify (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) into (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3))
5.102 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) in re
5.102 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in re
5.102 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
5.102 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.102 * [taylor]: Taking taylor expansion of -1 in re
5.102 * [backup-simplify]: Simplify -1 into -1
5.102 * [taylor]: Taking taylor expansion of re in re
5.102 * [backup-simplify]: Simplify 0 into 0
5.102 * [backup-simplify]: Simplify 1 into 1
5.105 * [backup-simplify]: Simplify (/ -1 1) into -1
5.105 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.105 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re
5.105 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.105 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.105 * [taylor]: Taking taylor expansion of im in re
5.105 * [backup-simplify]: Simplify im into im
5.105 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.105 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.106 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (sin (/ -1 re))) into (pow (sin (/ -1 re)) 2)
5.106 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (pow (sin (/ -1 re)) 2)) into (pow (sin (/ -1 re)) 3)
5.106 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (exp (/ 1 im))) into (pow (exp (/ 1 im)) 2)
5.106 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (pow (exp (/ 1 im)) 2)) into (pow (exp (/ 1 im)) 3)
5.106 * [backup-simplify]: Simplify (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) into (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3))
5.106 * [backup-simplify]: Simplify (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3)) into (* (pow (sin (/ -1 re)) 3) (pow (exp (/ 1 im)) 3))
5.106 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (exp (/ 1 im)))) into 0
5.107 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (pow (exp (/ 1 im)) 2))) into 0
5.107 * [backup-simplify]: Simplify (+ 0) into 0
5.107 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
5.108 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
5.108 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.108 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
5.109 * [backup-simplify]: Simplify (+ 0 0) into 0
5.109 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (sin (/ -1 re)))) into 0
5.109 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (pow (sin (/ -1 re)) 2))) into 0
5.109 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 re)) 3) 0) (* 0 (pow (exp (/ 1 im)) 3))) into 0
5.109 * [taylor]: Taking taylor expansion of 0 in re
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.110 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.110 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (exp (/ 1 im)))) into 0
5.110 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (pow (exp (/ 1 im)) 2))) into 0
5.110 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (sin (/ -1 re)))) into 0
5.110 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (pow (sin (/ -1 re)) 2))) into 0
5.111 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 re)) 3) 0) (* 0 (pow (exp (/ 1 im)) 3))) into 0
5.111 * [backup-simplify]: Simplify 0 into 0
5.111 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.111 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2)))) into 0
5.112 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.112 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.112 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.113 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.113 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.114 * [backup-simplify]: Simplify (+ 0 0) into 0
5.114 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
5.114 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2)))) into 0
5.115 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 re)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 3)))) into 0
5.115 * [taylor]: Taking taylor expansion of 0 in re
5.115 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.116 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.116 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
5.116 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2)))) into 0
5.117 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
5.117 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2)))) into 0
5.118 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 re)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 3)))) into 0
5.118 * [backup-simplify]: Simplify 0 into 0
5.118 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
5.119 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 2))))) into 0
5.119 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.120 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.120 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.121 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.121 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.122 * [backup-simplify]: Simplify (+ 0 0) into 0
5.122 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0
5.123 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sin (/ -1 re)) 2))))) into 0
5.124 * [backup-simplify]: Simplify (+ (* (pow (sin (/ -1 re)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 im)) 3))))) into 0
5.124 * [taylor]: Taking taylor expansion of 0 in re
5.124 * [backup-simplify]: Simplify 0 into 0
5.124 * [backup-simplify]: Simplify 0 into 0
5.125 * [backup-simplify]: Simplify (* (pow (sin (/ -1 (/ 1 (- re)))) 3) (pow (exp (/ 1 (/ 1 (- im)))) 3)) into (* (pow (sin re) 3) (pow (exp (* -1 im)) 3))
5.125 * * * [progress]: simplifying candidates
5.129 * [simplify]: Simplifying:
  (log (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (exp (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (cbrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (cbrt (pow 0.5 3))
  (cbrt (* (* (pow (exp 0.0) 3) (pow (sin re) 3)) (pow 0.5 3)))
  (cbrt (pow (exp im) 3))
  (* (cbrt (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3)))) (cbrt (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3)))))
  (cbrt (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (* (* (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3)))) (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (sqrt (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (sqrt (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))))
  (* (log (sin re)) 3)
  (* (log (sin re)) 3)
  (* 1 3)
  (pow (sin re) (* (cbrt 3) (cbrt 3)))
  (pow (sin re) (sqrt 3))
  (pow (sin re) 1)
  (pow (* (cbrt (sin re)) (cbrt (sin re))) 3)
  (pow (cbrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  (pow 1 3)
  (pow (sin re) 3)
  (* (sin re) (sin re))
  (log (pow (sin re) 3))
  (exp (pow (sin re) 3))
  (* (cbrt (pow (sin re) 3)) (cbrt (pow (sin re) 3)))
  (cbrt (pow (sin re) 3))
  (* (* (pow (sin re) 3) (pow (sin re) 3)) (pow (sin re) 3))
  (pow (* (cbrt (sin re)) (cbrt (sin re))) 3)
  (pow (cbrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  (pow 1 3)
  (pow (sin re) 3)
  (* (sin re) (sin re))
  (sqrt (pow (sin re) 3))
  (sqrt (pow (sin re) 3))
  (pow (sin re) (/ 3 2))
  (pow (sin re) (/ 3 2))
  (* (- 0.0 im) 3)
  (* (log (exp (- 0.0 im))) 3)
  (* 1 3)
  (* (cbrt (- 0.0 im)) 3)
  (* (sqrt (- 0.0 im)) 3)
  (* (- 0.0 im) 3)
  (* (- (sqrt 0.0) (sqrt im)) 3)
  (* (- 0.0 im) 3)
  (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- 0.0 im)) (sqrt 3))
  (pow (exp (- 0.0 im)) 1)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3)
  (pow (cbrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow 1 3)
  (pow (exp (- 0.0 im)) 3)
  (* (exp (- 0.0 im)) (exp (- 0.0 im)))
  (log (pow (exp (- 0.0 im)) 3))
  (exp (pow (exp (- 0.0 im)) 3))
  (* (cbrt (pow (exp (- 0.0 im)) 3)) (cbrt (pow (exp (- 0.0 im)) 3)))
  (cbrt (pow (exp (- 0.0 im)) 3))
  (* (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3))
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3)
  (pow (cbrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow 1 3)
  (pow (exp (- 0.0 im)) 3)
  (pow (exp 0.0) 3)
  (pow (exp im) 3)
  (* (exp (- 0.0 im)) (exp (- 0.0 im)))
  (sqrt (pow (exp (- 0.0 im)) 3))
  (sqrt (pow (exp (- 0.0 im)) 3))
  (pow (exp (- 0.0 im)) (/ 3 2))
  (pow (exp (- 0.0 im)) (/ 3 2))
  (* (exp (- 0.0 im)) (sin re))
  (+ (* (- 0.0 im) 3) (* (log (sin re)) 3))
  (+ (* (- 0.0 im) 3) (* (log (sin re)) 3))
  (+ (* (- 0.0 im) 3) (log (pow (sin re) 3)))
  (+ (* (log (exp (- 0.0 im))) 3) (* (log (sin re)) 3))
  (+ (* (log (exp (- 0.0 im))) 3) (* (log (sin re)) 3))
  (+ (* (log (exp (- 0.0 im))) 3) (log (pow (sin re) 3)))
  (+ (log (pow (exp (- 0.0 im)) 3)) (* (log (sin re)) 3))
  (+ (log (pow (exp (- 0.0 im)) 3)) (* (log (sin re)) 3))
  (+ (log (pow (exp (- 0.0 im)) 3)) (log (pow (sin re) 3)))
  (log (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (exp (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (* (* (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3)) (* (* (pow (sin re) 3) (pow (sin re) 3)) (pow (sin re) 3)))
  (* (cbrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))) (cbrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))))
  (cbrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (* (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))) (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (sqrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (sqrt (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (pow (sin re) 3)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (pow (sin re) 3)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) (/ 3 2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) (/ 3 2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (pow (sin re) 3)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (pow (sin re) 3)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) (/ 3 2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) (/ 3 2)))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sqrt (sin re)) 3))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sqrt (sin re)) 3))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sqrt (sin re)) 3))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sqrt (sin re)) 3))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (sin re) 3)))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (sin re) 3)))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sin re) (/ 3 2)))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sin re) (/ 3 2)))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (sqrt (pow (sin re) 3)))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (sqrt (pow (sin re) 3)))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sin re) (/ 3 2)))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sin re) (/ 3 2)))
  (* (pow (exp (- 0.0 im)) 3) (pow (* (cbrt (sin re)) (cbrt (sin re))) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow 1 3))
  (* (pow (exp (- 0.0 im)) 3) (* (sin re) (sin re)))
  (* (pow (exp (- 0.0 im)) 3) (* (cbrt (pow (sin re) 3)) (cbrt (pow (sin re) 3))))
  (* (pow (exp (- 0.0 im)) 3) (pow (* (cbrt (sin re)) (cbrt (sin re))) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow 1 3))
  (* (pow (exp (- 0.0 im)) 3) (sin re))
  (* (pow (exp (- 0.0 im)) 3) (sqrt (pow (sin re) 3)))
  (* (pow (exp (- 0.0 im)) 3) 1)
  (* (pow (exp (- 0.0 im)) 3) (pow (sin re) (/ 3 2)))
  (* (pow (exp (- im)) 3) (pow (sin re) 3))
  (* (pow (exp (- im)) 3) (pow (sin re) 3))
  (* (pow (cbrt (exp (- 0.0 im))) 3) (pow (sin re) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))
  (* (exp (- 0.0 im)) (pow (sin re) 3))
  (* (cbrt (pow (exp (- 0.0 im)) 3)) (pow (sin re) 3))
  (* (pow (exp (- im)) 3) (pow (sin re) 3))
  (* (pow (exp (- im)) 3) (pow (sin re) 3))
  (* (pow (cbrt (exp (- 0.0 im))) 3) (pow (sin re) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))
  (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (pow (sin re) 3))
  (* (sqrt (pow (exp (- 0.0 im)) 3)) (pow (sin re) 3))
  (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3))
  (* (pow (exp (- 0.0 im)) (/ 3 2)) (pow (sin re) 3))
  (* (pow (exp 0.0) 3) (pow (sin re) 3))
  (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im)))
  (* 0.5 (* (exp (- im)) (sin re)))
  (* 0.5 (* (sin re) (exp (* -1 im))))
  (- (+ (* 13/120 (pow re 7)) (pow re 3)) (* 1/2 (pow re 5)))
  (pow (sin re) 3)
  (pow (sin re) 3)
  (- (+ (* 9/2 (pow im 2)) 1) (* 3 im))
  (pow (exp (- im)) 3)
  (pow (exp (* -1 im)) 3)
  (- (+ (* 9/2 (* (pow re 3) (pow im 2))) (pow re 3)) (* 3 (* (pow re 3) im)))
  (* (pow (exp (- im)) 3) (pow (sin re) 3))
  (* (pow (sin re) 3) (pow (exp (* -1 im)) 3))
5.132 * * [simplify]: iteration 0: 171 enodes
5.226 * * [simplify]: iteration 1: 487 enodes
5.599 * * [simplify]: iteration 2: 2827 enodes
7.076 * * [simplify]: iteration complete: 5002 enodes
7.077 * * [simplify]: Extracting #0: cost 73 inf + 0
7.078 * * [simplify]: Extracting #1: cost 959 inf + 3
7.083 * * [simplify]: Extracting #2: cost 1387 inf + 236
7.088 * * [simplify]: Extracting #3: cost 1250 inf + 1836
7.097 * * [simplify]: Extracting #4: cost 859 inf + 4982
7.104 * * [simplify]: Extracting #5: cost 283 inf + 11107
7.109 * * [simplify]: Extracting #6: cost 43 inf + 14201
7.118 * * [simplify]: Extracting #7: cost 2 inf + 14858
7.123 * * [simplify]: Extracting #8: cost 0 inf + 14887
7.135 * [simplify]: Simplified to:
  (log (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))))
  (exp (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))))
  (cbrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))
  0.5
  (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (pow (exp 0.0) 3))))
  (exp im)
  (* (cbrt (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))))) (cbrt (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))))))
  (cbrt (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))))
  (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))
  (sqrt (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))))
  (sqrt (cbrt (* (pow 0.5 3) (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))))
  (* 3 (log (sin re)))
  (* 3 (log (sin re)))
  3
  (pow (sin re) (* (cbrt 3) (cbrt 3)))
  (pow (sin re) (sqrt 3))
  (sin re)
  (pow (sin re) 2)
  (sin re)
  (pow (sqrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  1
  (pow (sin re) 3)
  (pow (sin re) 2)
  (* 3 (log (sin re)))
  (exp (pow (sin re) 3))
  (pow (sin re) 2)
  (sin re)
  (pow (pow (sin re) 3) 3)
  (pow (sin re) 2)
  (sin re)
  (pow (sqrt (sin re)) 3)
  (pow (sqrt (sin re)) 3)
  1
  (pow (sin re) 3)
  (pow (sin re) 2)
  (fabs (pow (sin re) 3/2))
  (fabs (pow (sin re) 3/2))
  (pow (sin re) 3/2)
  (pow (sin re) 3/2)
  (* (- 0.0 im) 3)
  (* (- 0.0 im) 3)
  3
  (* (cbrt (- 0.0 im)) 3)
  (* (sqrt (- 0.0 im)) 3)
  (* (- 0.0 im) 3)
  (* (- (sqrt 0.0) (sqrt im)) 3)
  (* (- 0.0 im) 3)
  (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- 0.0 im)) (sqrt 3))
  (exp (- 0.0 im))
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 2) (- 0.0 im))
  (exp (- 0.0 im))
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  1
  (exp (* (- 0.0 im) 3))
  (pow (exp 2) (- 0.0 im))
  (* (- 0.0 im) 3)
  (exp (exp (* (- 0.0 im) 3)))
  (pow (exp 2) (- 0.0 im))
  (exp (- 0.0 im))
  (pow (exp (* (- 0.0 im) 3)) 3)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 0.0) 3)
  (pow (exp (- im)) 3)
  (pow (exp 2) (- 0.0 im))
  (exp (- 0.0 im))
  (pow (sqrt (exp (- 0.0 im))) 3)
  (pow (sqrt (exp (- 0.0 im))) 3)
  1
  (exp (* (- 0.0 im) 3))
  (pow (exp 0.0) 3)
  (pow (exp im) 3)
  (pow (exp 2) (- 0.0 im))
  (fabs (pow (exp (- 0.0 im)) 3/2))
  (fabs (pow (exp (- 0.0 im)) 3/2))
  (pow (exp (- 0.0 im)) 3/2)
  (pow (exp (- 0.0 im)) 3/2)
  (* (exp (- 0.0 im)) (sin re))
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (* (- 0.0 (- im (log (sin re)))) 3)
  (pow (exp (pow (sin re) 3)) (exp (* (- 0.0 im) 3)))
  (pow (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))) 3)
  (* (cbrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))) (cbrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))))
  (cbrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))
  (pow (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))) 3)
  (sqrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))
  (sqrt (* (pow (sin re) 3) (exp (* (- 0.0 im) 3))))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (fabs (pow (sin re) 3/2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (fabs (pow (sin re) 3/2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3/2))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3/2))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (sin re)) 3))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (fabs (pow (sin re) 3/2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (fabs (pow (sin re) 3/2)))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3/2))
  (* (pow (sqrt (exp (- 0.0 im))) 3) (pow (sin re) 3/2))
  (* (pow (sqrt (sin re)) 3) (fabs (pow (exp (- 0.0 im)) 3/2)))
  (* (pow (sqrt (sin re)) 3) (fabs (pow (exp (- 0.0 im)) 3/2)))
  (* (pow (sqrt (sin re)) 3) (fabs (pow (exp (- 0.0 im)) 3/2)))
  (* (pow (sqrt (sin re)) 3) (fabs (pow (exp (- 0.0 im)) 3/2)))
  (* (fabs (pow (exp (- 0.0 im)) 3/2)) (fabs (pow (sin re) 3/2)))
  (* (fabs (pow (exp (- 0.0 im)) 3/2)) (fabs (pow (sin re) 3/2)))
  (* (fabs (pow (exp (- 0.0 im)) 3/2)) (pow (sin re) 3/2))
  (* (fabs (pow (exp (- 0.0 im)) 3/2)) (pow (sin re) 3/2))
  (* (pow (exp (- 0.0 im)) 3/2) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3/2) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3/2) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3/2) (pow (sqrt (sin re)) 3))
  (* (pow (exp (- 0.0 im)) 3/2) (fabs (pow (sin re) 3/2)))
  (* (pow (exp (- 0.0 im)) 3/2) (fabs (pow (sin re) 3/2)))
  (* (pow (sin re) 3/2) (pow (exp (- 0.0 im)) 3/2))
  (* (pow (sin re) 3/2) (pow (exp (- 0.0 im)) 3/2))
  (* (exp (* (- 0.0 im) 3)) (pow (sin re) 2))
  (* (pow (sqrt (sin re)) 3) (exp (* (- 0.0 im) 3)))
  (exp (* (- 0.0 im) 3))
  (* (exp (* (- 0.0 im) 3)) (pow (sin re) 2))
  (* (exp (* (- 0.0 im) 3)) (pow (sin re) 2))
  (* (exp (* (- 0.0 im) 3)) (pow (sin re) 2))
  (* (pow (sqrt (sin re)) 3) (exp (* (- 0.0 im) 3)))
  (exp (* (- 0.0 im) 3))
  (* (exp (* (- 0.0 im) 3)) (sin re))
  (* (exp (* (- 0.0 im) 3)) (fabs (pow (sin re) 3/2)))
  (exp (* (- 0.0 im) 3))
  (* (pow (sin re) 3/2) (exp (* (- 0.0 im) 3)))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
  (* (pow (sin re) 3) (exp (- 0.0 im)))
  (* (pow (sin re) 3) (pow (sqrt (exp (- 0.0 im))) 3))
  (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))
  (* (pow (sin re) 3) (exp (- 0.0 im)))
  (* (pow (sin re) 3) (exp (- 0.0 im)))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
  (* (pow (sin re) 3) (exp (- 0.0 im)))
  (* (pow (sin re) 3) (pow (sqrt (exp (- 0.0 im))) 3))
  (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))
  (* (pow (sin re) 3) (pow (exp 2) (- 0.0 im)))
  (* (fabs (pow (exp (- 0.0 im)) 3/2)) (pow (sin re) 3))
  (* (pow (sin re) 3) (exp (* (- 0.0 im) 3)))
  (* (pow (exp (- 0.0 im)) 3/2) (pow (sin re) 3))
  (* (pow (sin re) 3) (pow (exp 0.0) 3))
  (+ (* re 0.5) (- (* (* re (* im im)) 0.25) (* im (* re 0.5))))
  (/ (* (sin re) 0.5) (exp im))
  (/ (* (sin re) 0.5) (exp im))
  (+ (pow re 3) (- (* 13/120 (pow re 7)) (* 1/2 (pow re 5))))
  (pow (sin re) 3)
  (pow (sin re) 3)
  (+ 1 (- (* (* im im) 9/2) (* 3 im)))
  (pow (exp (- im)) 3)
  (pow (exp (- im)) 3)
  (+ (* (* (* im im) 9/2) (pow re 3)) (+ (pow re 3) (* (* im (pow re 3)) -3)))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
  (* (pow (sin re) 3) (pow (exp (- im)) 3))
7.137 * * * [progress]: adding candidates to table
7.944 * [progress]: [Phase 3 of 3] Extracting.
7.945 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
7.946 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re)
7.946 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
7.995 * * * * [regimes]: Trying to branch on (sin re) from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
8.068 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
8.104 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
8.166 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
8.228 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+ (cbrt (* (* (pow (exp (- 0.0 im)) 3) (pow (sin re) 3)) (pow 0.5 3))) (* (* 0.5 (sin re)) (exp im))))> #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))>)
8.258 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.258 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
8.258 * * [simplify]: iteration 0: 11 enodes
8.259 * * [simplify]: iteration 1: 14 enodes
8.259 * * [simplify]: iteration complete: 14 enodes
8.259 * * [simplify]: Extracting #0: cost 1 inf + 0
8.259 * * [simplify]: Extracting #1: cost 3 inf + 0
8.259 * * [simplify]: Extracting #2: cost 7 inf + 0
8.259 * * [simplify]: Extracting #3: cost 9 inf + 1
8.259 * * [simplify]: Extracting #4: cost 5 inf + 11
8.259 * * [simplify]: Extracting #5: cost 0 inf + 38
8.259 * [simplify]: Simplified to:
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))
15.949 * [regime-testing]: Baseline error score: 0.024691808351584816
15.951 * [regime-testing]: Oracle error score: 0.018825473496777243
15.956 * [regime-testing]: End program error score: 0.024691808351584816