1536828487.560 * [misc]progress:  [Phase 1 of 3] Setting up.
1536828487.560 * * * [misc]progress:  [1/2] Preparing points
1536828487.560 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536828487.562 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1536828487.563 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.566 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.567 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1536828487.568 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.568 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.569 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1536828487.570 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.571 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.573 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1536828487.574 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.576 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.578 * * * * [misc]points:  Computing exacts for 256 points
1536828487.579 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.585 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.592 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828487.592 * * * * [misc]points:  Sampling 60 additional inputs, on iter 1 have 196 / 256
1536828487.593 * * * * [misc]points:  Computing exacts on every 3 of 60 points to ramp up precision
1536828487.594 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.594 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.595 * * * * [misc]points:  Computing exacts for 60 points
1536828487.595 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.597 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.598 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828487.598 * * * * [misc]points:  Sampling 8 additional inputs, on iter 2 have 248 / 256
1536828487.599 * * * * [misc]points:  Computing exacts for 8 points
1536828487.599 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.600 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.600 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828487.600 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1536828487.600 * * * * [misc]points:  Computing exacts for 4 points
1536828487.601 * * * * [misc]points:  Setting MPFR precision to 64
1536828487.601 * * * * [misc]points:  Setting MPFR precision to 320
1536828487.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828487.601 * * * * [exit]points:  Sampled 257 points with exact outputs
1536828487.601 * * * [misc]progress:  [2/2] Setting up program.
1536828487.604 * [misc]progress:  [Phase 2 of 3] Improving.
1536828487.604 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1536828487.605 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828487.606 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828487.607 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1536828487.614 * * [misc]progress:  iteration 1 / 4
1536828487.614 * * * [misc]progress:  picking best candidate
1536828487.617 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (exp re) (sin im)))>
1536828487.617 * * * [misc]progress:  localizing error
1536828487.628 * * * [misc]progress:  generating rewritten candidates
1536828487.628 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536828487.666 * * * [misc]progress:  generating series expansions
1536828487.666 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536828487.666 * [misc]backup-simplify:  Simplify (* (exp re) (sin im)) into (* (sin im) (exp re))
1536828487.666 * [misc]approximate:  Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0
1536828487.666 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in im
1536828487.666 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828487.666 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.666 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.667 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.667 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1536828487.667 * [misc]taylor:  Taking taylor expansion of re in im
1536828487.667 * [misc]backup-simplify:  Simplify re into re
1536828487.667 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1536828487.667 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.667 * [misc]backup-simplify:  Simplify im into im
1536828487.667 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828487.667 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828487.667 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.667 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.667 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.667 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828487.667 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.667 * [misc]backup-simplify:  Simplify im into im
1536828487.667 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828487.667 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828487.667 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828487.667 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.667 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.667 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.667 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828487.667 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828487.667 * [misc]backup-simplify:  Simplify (* (cos im) 0) into 0
1536828487.668 * [misc]backup-simplify:  Simplify (+ (sin im) 0) into (sin im)
1536828487.668 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828487.668 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828487.668 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.668 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.668 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.668 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.669 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828487.669 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828487.669 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 1)) into 0
1536828487.670 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828487.670 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 0)) into 0
1536828487.670 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.670 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im)
1536828487.670 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828487.670 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.670 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.671 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.671 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.671 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828487.671 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.673 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828487.673 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828487.673 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
1536828487.674 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.674 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
1536828487.674 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.675 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im))
1536828487.675 * [misc]taylor:  Taking taylor expansion of (* 1/2 (sin im)) in im
1536828487.675 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828487.675 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828487.675 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828487.675 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.675 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.675 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.675 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1536828487.675 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.675 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828487.675 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.676 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.676 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.678 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1536828487.679 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828487.680 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828487.681 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.681 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828487.681 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.681 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im))
1536828487.681 * [misc]taylor:  Taking taylor expansion of (* 1/6 (sin im)) in im
1536828487.681 * [misc]taylor:  Taking taylor expansion of 1/6 in im
1536828487.681 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1536828487.681 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828487.682 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.682 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.682 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.682 * [misc]backup-simplify:  Simplify (* 1/6 0) into 0
1536828487.682 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.682 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828487.683 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1536828487.683 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828487.683 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828487.683 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828487.683 * [misc]approximate:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
1536828487.683 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1536828487.683 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828487.683 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828487.683 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.683 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.683 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.683 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828487.684 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828487.684 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828487.684 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828487.684 * [misc]taylor:  Taking taylor expansion of re in im
1536828487.684 * [misc]backup-simplify:  Simplify re into re
1536828487.684 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828487.684 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828487.684 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.684 * [misc]backup-simplify:  Simplify im into im
1536828487.684 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828487.684 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828487.684 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828487.684 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.684 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.684 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.684 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828487.684 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828487.684 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.684 * [misc]backup-simplify:  Simplify im into im
1536828487.684 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828487.684 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828487.684 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828487.684 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828487.684 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.684 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.684 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.685 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828487.685 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828487.685 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
1536828487.685 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 0) into 0
1536828487.685 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
1536828487.685 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828487.685 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1536828487.685 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828487.685 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828487.685 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.685 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.685 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.685 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828487.685 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828487.685 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828487.685 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828487.685 * [misc]taylor:  Taking taylor expansion of re in im
1536828487.685 * [misc]backup-simplify:  Simplify re into re
1536828487.685 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828487.685 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828487.685 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828487.686 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828487.686 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828487.686 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
1536828487.686 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828487.687 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828487.687 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
1536828487.687 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.687 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1536828487.687 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.687 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.687 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.687 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828487.688 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828487.688 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1536828487.688 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.689 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828487.689 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828487.689 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828487.690 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.690 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828487.690 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.690 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1536828487.690 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.690 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.690 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.690 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.690 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828487.691 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828487.692 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1536828487.692 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.693 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828487.693 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828487.693 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828487.694 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.694 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828487.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.695 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1536828487.695 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.695 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.695 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.695 * [misc]backup-simplify:  Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re))
1536828487.695 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828487.695 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0
1536828487.695 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1536828487.695 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828487.695 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828487.695 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828487.695 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.695 * [misc]taylor:  Taking taylor expansion of re in im
1536828487.695 * [misc]backup-simplify:  Simplify re into re
1536828487.695 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828487.695 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828487.695 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828487.695 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828487.695 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828487.695 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.695 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.695 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.695 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.696 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828487.696 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828487.696 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828487.696 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.696 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.696 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.696 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.696 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828487.696 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828487.696 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828487.696 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.696 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.696 * [misc]backup-simplify:  Simplify im into im
1536828487.696 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828487.696 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828487.696 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828487.696 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828487.696 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.696 * [misc]taylor:  Taking taylor expansion of re in re
1536828487.696 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.696 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.696 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828487.696 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828487.696 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828487.696 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828487.696 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.696 * [misc]taylor:  Taking taylor expansion of im in re
1536828487.696 * [misc]backup-simplify:  Simplify im into im
1536828487.696 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828487.697 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828487.697 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828487.697 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
1536828487.697 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 0) into 0
1536828487.697 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
1536828487.697 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828487.697 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1536828487.697 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828487.697 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828487.697 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828487.697 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.697 * [misc]taylor:  Taking taylor expansion of re in im
1536828487.697 * [misc]backup-simplify:  Simplify re into re
1536828487.697 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828487.697 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828487.697 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828487.697 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828487.697 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828487.697 * [misc]backup-simplify:  Simplify -1 into -1
1536828487.697 * [misc]taylor:  Taking taylor expansion of im in im
1536828487.697 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.697 * [misc]backup-simplify:  Simplify 1 into 1
1536828487.697 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828487.697 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828487.697 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828487.697 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828487.698 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828487.698 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
1536828487.698 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828487.699 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828487.699 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
1536828487.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.699 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1536828487.699 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.699 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.699 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.699 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828487.700 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828487.700 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1536828487.700 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.701 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828487.701 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828487.701 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828487.702 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.702 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828487.702 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.702 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828487.702 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.702 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.702 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.702 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.702 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828487.703 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828487.704 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828487.704 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.705 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828487.705 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828487.705 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828487.706 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828487.706 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828487.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828487.707 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
1536828487.707 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828487.707 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.707 * [misc]backup-simplify:  Simplify 0 into 0
1536828487.707 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re))
1536828487.707 * * * [misc]progress:  simplifying candidates
1536828487.707 * * * * [misc]progress:  [ 1 / 22 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* (exp re) (sin im)))))>
1536828487.707 * * * * [misc]progress:  [ 2 / 22 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* (exp re) (sin im)))))>
1536828487.707 * * * * [misc]progress:  [ 3 / 22 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (sin im)) 1))>
1536828487.707 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1536828487.708 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828487.709 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828487.710 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1536828487.710 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (sin im) (exp re)) 1))
1536828487.710 * * * * [misc]progress:  [ 4 / 22 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (sin im)) 1))>
1536828487.710 * * * * [misc]progress:  [ 5 / 22 ] simplifiying candidate #<alt (λ (re im) (exp (+ re (log (sin im)))))>
1536828487.710 * [enter]simplify:  Simplifying (+ re (log (sin im)))
1536828487.710 * * [misc]simplify:  iters left: 4 (5 enodes)
1536828487.711 * * [misc]simplify:  iters left: 3 (6 enodes)
1536828487.712 * [exit]simplify:  Simplified to (+ (log (sin im)) re)
1536828487.712 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (sin im)) re)))
1536828487.712 * * * * [misc]progress:  [ 6 / 22 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (exp re) (sin im)))))>
1536828487.712 * * * * [misc]progress:  [ 7 / 22 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (exp re) (sin im)))))>
1536828487.712 * * * * [misc]progress:  [ 8 / 22 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))))>
1536828487.712 * [enter]simplify:  Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
1536828487.713 * * [misc]simplify:  iters left: 6 (9 enodes)
1536828487.715 * * [misc]simplify:  iters left: 5 (18 enodes)
1536828487.721 * * [misc]simplify:  iters left: 4 (47 enodes)
1536828487.733 * * [misc]simplify:  iters left: 3 (80 enodes)
1536828487.750 * * [misc]simplify:  iters left: 2 (100 enodes)
1536828487.762 * * [misc]simplify:  iters left: 1 (101 enodes)
1536828487.773 * [exit]simplify:  Simplified to (pow (* (sin im) (exp re)) 3)
1536828487.773 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (sin im) (exp re)) 3)))
1536828487.773 * * * * [misc]progress:  [ 9 / 22 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im)))))>
1536828487.773 * * * * [misc]progress:  [ 10 / 22 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im)))))>
1536828487.773 * * * * [misc]progress:  [ 11 / 22 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im)))))>
1536828487.773 * * * * [misc]progress:  [ 12 / 22 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (sin im))))>
1536828487.773 * * * * [misc]progress:  [ 13 / 22 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im))))>
1536828487.773 * [enter]simplify:  Simplifying (cbrt (sin im))
1536828487.773 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828487.774 * [exit]simplify:  Simplified to (cbrt (sin im))
1536828487.774 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im))))
1536828487.774 * * * * [misc]progress:  [ 14 / 22 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im))))>
1536828487.774 * [enter]simplify:  Simplifying (sqrt (sin im))
1536828487.774 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828487.775 * [exit]simplify:  Simplified to (sqrt (sin im))
1536828487.775 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im))))
1536828487.775 * * * * [misc]progress:  [ 15 / 22 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) 1) (sin im)))>
1536828487.775 * [enter]simplify:  Simplifying (sin im)
1536828487.775 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828487.775 * [exit]simplify:  Simplified to (sin im)
1536828487.775 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (sin im)))
1536828487.776 * * * * [misc]progress:  [ 16 / 22 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im))))>
1536828487.776 * [enter]simplify:  Simplifying (* (cbrt (exp re)) (cbrt (exp re)))
1536828487.776 * * [misc]simplify:  iters left: 4 (4 enodes)
1536828487.777 * [exit]simplify:  Simplified to (* (cbrt (exp re)) (cbrt (exp re)))
1536828487.777 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im))))
1536828487.777 * * * * [misc]progress:  [ 17 / 22 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828487.777 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828487.777 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828487.778 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828487.778 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1536828487.778 * * * * [misc]progress:  [ 18 / 22 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (sin im))))>
1536828487.778 * * * * [misc]progress:  [ 19 / 22 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1536828487.778 * * * * [misc]progress:  [ 20 / 22 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1536828487.778 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828487.778 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828487.781 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828487.789 * * [misc]simplify:  iters left: 4 (58 enodes)
1536828487.805 * * [misc]simplify:  iters left: 3 (117 enodes)
1536828487.862 * * [misc]simplify:  iters left: 2 (187 enodes)
1536828487.898 * * [misc]simplify:  iters left: 1 (245 enodes)
1536828488.052 * [exit]simplify:  Simplified to (fma (* re im) (fma 1/2 re 1) im)
1536828488.052 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (* re im) (fma 1/2 re 1) im))
1536828488.052 * * * * [misc]progress:  [ 21 / 22 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1536828488.052 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1536828488.053 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828488.054 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828488.055 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828488.055 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1536828488.055 * * * * [misc]progress:  [ 22 / 22 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1536828488.055 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1536828488.055 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828488.056 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828488.057 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828488.057 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1536828488.057 * * * [misc]progress:  adding candidates to table
1536828488.238 * * [misc]progress:  iteration 2 / 4
1536828488.238 * * * [misc]progress:  picking best candidate
1536828488.245 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828488.245 * * * [misc]progress:  localizing error
1536828488.254 * * * [misc]progress:  generating rewritten candidates
1536828488.254 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1536828488.287 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1536828488.392 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
1536828488.396 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1536828488.401 * * * [misc]progress:  generating series expansions
1536828488.401 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1536828488.401 * [misc]backup-simplify:  Simplify (* (sqrt (exp re)) (sin im)) into (* (sin im) (sqrt (exp re)))
1536828488.401 * [misc]approximate:  Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0
1536828488.401 * [misc]taylor:  Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im
1536828488.401 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.401 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.401 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.401 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.401 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in im
1536828488.401 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1536828488.401 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.401 * [misc]backup-simplify:  Simplify re into re
1536828488.401 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1536828488.401 * [misc]backup-simplify:  Simplify (sqrt (exp re)) into (sqrt (exp re))
1536828488.402 * [misc]backup-simplify:  Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.402 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0
1536828488.402 * [misc]taylor:  Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re
1536828488.402 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828488.402 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.402 * [misc]backup-simplify:  Simplify im into im
1536828488.402 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828488.402 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828488.402 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.402 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.402 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.402 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.402 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.402 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.403 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.403 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.403 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.403 * [misc]taylor:  Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re
1536828488.404 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828488.404 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.404 * [misc]backup-simplify:  Simplify im into im
1536828488.404 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828488.404 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828488.404 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.404 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.404 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.404 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.404 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.404 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.404 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.405 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.405 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.405 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828488.405 * [misc]backup-simplify:  Simplify (* (cos im) 0) into 0
1536828488.405 * [misc]backup-simplify:  Simplify (+ (sin im) 0) into (sin im)
1536828488.405 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828488.405 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.405 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.405 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.405 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.405 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.405 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.405 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 1)) into 0
1536828488.406 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.406 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 0)) into 0
1536828488.406 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.406 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/2) (* 0 1)) into (* 1/2 (sin im))
1536828488.406 * [misc]taylor:  Taking taylor expansion of (* 1/2 (sin im)) in im
1536828488.406 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828488.406 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.406 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.406 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.406 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.406 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.407 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1536828488.407 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.407 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.407 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.409 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828488.409 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
1536828488.410 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.410 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.411 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.411 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.411 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/8) (+ (* 0 1/2) (* 0 1))) into (* 1/8 (sin im))
1536828488.411 * [misc]taylor:  Taking taylor expansion of (* 1/8 (sin im)) in im
1536828488.411 * [misc]taylor:  Taking taylor expansion of 1/8 in im
1536828488.411 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536828488.411 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.411 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.411 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.411 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.411 * [misc]backup-simplify:  Simplify (* 1/8 0) into 0
1536828488.411 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.412 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.412 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1536828488.412 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.413 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.413 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.415 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1536828488.415 * [misc]backup-simplify:  Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48
1536828488.416 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.416 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.417 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.418 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.418 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/48) (+ (* 0 1/8) (+ (* 0 1/2) (* 0 1)))) into (* 1/48 (sin im))
1536828488.418 * [misc]taylor:  Taking taylor expansion of (* 1/48 (sin im)) in im
1536828488.418 * [misc]taylor:  Taking taylor expansion of 1/48 in im
1536828488.418 * [misc]backup-simplify:  Simplify 1/48 into 1/48
1536828488.418 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.418 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.418 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.418 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.418 * [misc]backup-simplify:  Simplify (* 1/48 0) into 0
1536828488.418 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.419 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.419 * [misc]backup-simplify:  Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
1536828488.419 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536828488.419 * [misc]backup-simplify:  Simplify (+ (* 1/8 (* im (pow re 2))) (+ (* 1/2 (* im re)) (* 1 (* im 1)))) into (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))
1536828488.419 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re))))
1536828488.419 * [misc]approximate:  Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in (re im) around 0
1536828488.419 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in im
1536828488.419 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828488.419 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828488.419 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.419 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.419 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.420 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.420 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.420 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in im
1536828488.420 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828488.420 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828488.420 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.420 * [misc]backup-simplify:  Simplify re into re
1536828488.420 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828488.420 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.420 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.420 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828488.420 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.421 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.421 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.421 * [misc]backup-simplify:  Simplify im into im
1536828488.421 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828488.421 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.421 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828488.421 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.421 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.421 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.421 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.421 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.421 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.421 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.421 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.421 * [misc]backup-simplify:  Simplify im into im
1536828488.421 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828488.421 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.421 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828488.421 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.421 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.421 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.421 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.422 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.422 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.422 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.422 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.422 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
1536828488.422 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 0) into 0
1536828488.422 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
1536828488.422 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re))))
1536828488.422 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.422 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.422 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.422 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.422 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.422 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828488.422 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.422 * [misc]backup-simplify:  Simplify re into re
1536828488.422 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828488.422 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.423 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.423 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828488.423 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.423 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.423 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re))))
1536828488.424 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (sin (/ 1 im)) (sqrt (exp (/ 1 re))))
1536828488.424 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.424 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
1536828488.424 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828488.425 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.425 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
1536828488.425 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.425 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0
1536828488.425 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.425 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.425 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.425 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0
1536828488.425 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.426 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.426 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.426 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.426 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.427 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.427 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.427 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.428 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0
1536828488.428 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.428 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.428 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.428 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.428 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828488.429 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828488.429 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.430 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0
1536828488.430 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.430 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.431 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.431 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.431 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.432 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.432 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.432 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.433 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re))))))) into 0
1536828488.433 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.433 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.433 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.433 * [misc]backup-simplify:  Simplify (* (sin (/ 1 (/ 1 im))) (sqrt (exp (/ 1 (/ 1 re))))) into (* (sin im) (sqrt (exp re)))
1536828488.433 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ 1 (- re)))) (sin (/ 1 (- im)))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im)))
1536828488.433 * [misc]approximate:  Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in (re im) around 0
1536828488.433 * [misc]taylor:  Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in im
1536828488.433 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in im
1536828488.433 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828488.433 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828488.433 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.433 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.433 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.433 * [misc]backup-simplify:  Simplify re into re
1536828488.433 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828488.433 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.433 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.433 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828488.434 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.434 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.434 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828488.434 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828488.434 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.434 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.434 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.434 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.434 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.434 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.434 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.434 * [misc]taylor:  Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.435 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.435 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.435 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.435 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.435 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.435 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.435 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.435 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.435 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.435 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.435 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.435 * [misc]backup-simplify:  Simplify im into im
1536828488.435 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828488.435 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.435 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828488.435 * [misc]taylor:  Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.435 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.435 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.435 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.435 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.435 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.436 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.436 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.436 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.436 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.436 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828488.436 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828488.436 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.436 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.436 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.436 * [misc]backup-simplify:  Simplify im into im
1536828488.436 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828488.436 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.436 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828488.436 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
1536828488.436 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 0) into 0
1536828488.436 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
1536828488.436 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im)))
1536828488.436 * [misc]taylor:  Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) in im
1536828488.436 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in im
1536828488.436 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828488.436 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828488.436 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.436 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.436 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.436 * [misc]backup-simplify:  Simplify re into re
1536828488.436 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828488.436 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.436 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.437 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828488.437 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.437 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.437 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828488.437 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828488.437 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.437 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.437 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.438 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.438 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.438 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.438 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.438 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im)))
1536828488.438 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ -1 re))) (sin (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (sin (/ -1 im)))
1536828488.438 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.438 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
1536828488.438 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828488.439 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.439 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
1536828488.439 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.439 * [misc]backup-simplify:  Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (sin (/ -1 im)))) into 0
1536828488.439 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.439 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.439 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.439 * [misc]backup-simplify:  Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (sin (/ -1 im)))) into 0
1536828488.440 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.440 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.440 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.441 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.441 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.441 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.441 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.442 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.442 * [misc]backup-simplify:  Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828488.442 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.442 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.442 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.442 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.442 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828488.443 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828488.444 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.444 * [misc]backup-simplify:  Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828488.444 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.445 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.445 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.446 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.447 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.447 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.447 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.447 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.447 * [misc]backup-simplify:  Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
1536828488.447 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.447 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.448 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.448 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ -1 (/ 1 (- re))))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (sqrt (exp re)))
1536828488.448 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1536828488.451 * [misc]backup-simplify:  Simplify (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) into (* (sin im) (exp re))
1536828488.451 * [misc]approximate:  Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0
1536828488.451 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in im
1536828488.451 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.451 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.451 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.451 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.451 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1536828488.451 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.451 * [misc]backup-simplify:  Simplify re into re
1536828488.451 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1536828488.451 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.451 * [misc]backup-simplify:  Simplify im into im
1536828488.451 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828488.451 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828488.451 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.451 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.451 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.451 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.451 * [misc]taylor:  Taking taylor expansion of (* (sin im) (exp re)) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of (sin im) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.451 * [misc]backup-simplify:  Simplify im into im
1536828488.451 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1536828488.451 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1536828488.451 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.451 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.451 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.451 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.451 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.451 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828488.451 * [misc]backup-simplify:  Simplify (* (cos im) 0) into 0
1536828488.451 * [misc]backup-simplify:  Simplify (+ (sin im) 0) into (sin im)
1536828488.451 * [misc]backup-simplify:  Simplify (* (sin im) 1) into (sin im)
1536828488.451 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.451 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.451 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.451 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.452 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.452 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.453 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.453 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 1)) into 0
1536828488.453 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.453 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 0)) into 0
1536828488.454 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.454 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im)
1536828488.454 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.454 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.454 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.454 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.454 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.454 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.454 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.456 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828488.456 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.457 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.457 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.457 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.457 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.458 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im))
1536828488.458 * [misc]taylor:  Taking taylor expansion of (* 1/2 (sin im)) in im
1536828488.458 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828488.458 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.458 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.458 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.458 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.458 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.458 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1536828488.458 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.459 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.459 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.459 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.459 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.461 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1536828488.462 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.463 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.464 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.464 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.464 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.464 * [misc]backup-simplify:  Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im))
1536828488.464 * [misc]taylor:  Taking taylor expansion of (* 1/6 (sin im)) in im
1536828488.464 * [misc]taylor:  Taking taylor expansion of 1/6 in im
1536828488.464 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1536828488.464 * [misc]taylor:  Taking taylor expansion of (sin im) in im
1536828488.464 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.464 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.464 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.464 * [misc]backup-simplify:  Simplify (* 1/6 0) into 0
1536828488.464 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.465 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1536828488.465 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1536828488.465 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.465 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828488.466 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ 1 re))) (* (sqrt (exp (/ 1 re))) (sin (/ 1 im)))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828488.466 * [misc]approximate:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
1536828488.466 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1536828488.466 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828488.466 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828488.466 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.466 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.466 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.466 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.466 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.466 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828488.466 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828488.466 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.466 * [misc]backup-simplify:  Simplify re into re
1536828488.466 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828488.466 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.466 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.466 * [misc]backup-simplify:  Simplify im into im
1536828488.466 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828488.466 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.466 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828488.466 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.466 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.466 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.466 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.466 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.466 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re
1536828488.466 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in re
1536828488.467 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828488.467 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.467 * [misc]backup-simplify:  Simplify im into im
1536828488.467 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828488.467 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.467 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1536828488.467 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.467 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.467 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.467 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.467 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.467 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.467 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.467 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im))
1536828488.467 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 0) into 0
1536828488.467 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im))
1536828488.467 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828488.467 * [misc]taylor:  Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im
1536828488.467 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 im)) in im
1536828488.467 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828488.467 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.467 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.467 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.467 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.467 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1536828488.467 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1536828488.467 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828488.467 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.468 * [misc]backup-simplify:  Simplify re into re
1536828488.468 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828488.468 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.468 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828488.468 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re)))
1536828488.468 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.468 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0
1536828488.468 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828488.469 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.469 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0
1536828488.469 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.469 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1536828488.469 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.469 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.469 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.469 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828488.470 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.470 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1536828488.470 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.471 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.471 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.471 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.472 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.472 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.472 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.472 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1536828488.472 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.472 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.472 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.472 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.472 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828488.473 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828488.474 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1536828488.474 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.475 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.475 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.475 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.476 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.476 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.476 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.477 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1536828488.477 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.477 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.477 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.477 * [misc]backup-simplify:  Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re))
1536828488.477 * [misc]backup-simplify:  Simplify (* (sqrt (exp (/ 1 (- re)))) (* (sqrt (exp (/ 1 (- re)))) (sin (/ 1 (- im))))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828488.477 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0
1536828488.477 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1536828488.477 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828488.477 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828488.477 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.477 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.477 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.477 * [misc]backup-simplify:  Simplify re into re
1536828488.477 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828488.477 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.477 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828488.477 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828488.477 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.477 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.477 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.477 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.477 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.477 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.477 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.477 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1536828488.477 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.477 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.477 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.477 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.477 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.478 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.478 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.478 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.478 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.478 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.478 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.478 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.478 * [misc]backup-simplify:  Simplify im into im
1536828488.478 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828488.478 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.478 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828488.478 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.478 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.478 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.478 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.478 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.478 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.478 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.478 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828488.478 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.478 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.478 * [misc]taylor:  Taking taylor expansion of im in re
1536828488.478 * [misc]backup-simplify:  Simplify im into im
1536828488.478 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828488.478 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.478 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1536828488.478 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im))
1536828488.479 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 0) into 0
1536828488.479 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im))
1536828488.479 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828488.479 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im
1536828488.479 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1536828488.479 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828488.479 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.479 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.479 * [misc]taylor:  Taking taylor expansion of re in im
1536828488.479 * [misc]backup-simplify:  Simplify re into re
1536828488.479 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828488.479 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.479 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 im)) in im
1536828488.479 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828488.479 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828488.479 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.479 * [misc]taylor:  Taking taylor expansion of im in im
1536828488.479 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.479 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.479 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.479 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1536828488.479 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828488.479 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im)))
1536828488.479 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828488.480 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0
1536828488.480 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828488.480 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828488.480 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0
1536828488.481 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.481 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1536828488.481 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.481 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.481 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.481 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828488.481 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828488.482 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0
1536828488.482 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.482 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828488.482 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828488.483 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.483 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.483 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828488.483 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.484 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828488.484 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.484 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.484 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.484 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.484 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828488.485 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828488.485 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0
1536828488.485 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.486 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828488.487 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828488.487 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828488.488 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828488.488 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828488.488 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828488.488 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0
1536828488.488 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828488.489 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.489 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.489 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re))
1536828488.489 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
1536828488.489 * [misc]backup-simplify:  Simplify (sqrt (exp re)) into (sqrt (exp re))
1536828488.489 * [misc]approximate:  Taking taylor expansion of (sqrt (exp re)) in (re) around 0
1536828488.489 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.489 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.489 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.489 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.489 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.489 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.489 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.490 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.490 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.490 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.490 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.490 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.490 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.490 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.490 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.490 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.491 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.491 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.491 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.491 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.493 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828488.493 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
1536828488.493 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536828488.494 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
1536828488.494 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.494 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0
1536828488.494 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.494 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.494 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.494 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.494 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.494 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.494 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.494 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.494 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.494 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.494 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.494 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.494 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.494 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.494 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.494 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.495 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.495 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.495 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.495 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.496 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.496 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.496 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.496 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.497 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.497 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.497 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re))
1536828488.497 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re)))
1536828488.497 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0
1536828488.497 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.497 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.497 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.497 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.497 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.497 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.497 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.497 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.497 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.497 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.497 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.497 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.497 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.497 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.497 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.498 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.498 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.498 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.498 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.498 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.498 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.498 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.498 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.499 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.499 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.499 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.499 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.499 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.499 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.500 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.500 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.500 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re))
1536828488.500 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1536828488.500 * [misc]backup-simplify:  Simplify (sqrt (exp re)) into (sqrt (exp re))
1536828488.500 * [misc]approximate:  Taking taylor expansion of (sqrt (exp re)) in (re) around 0
1536828488.500 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.500 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.500 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.500 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.500 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.500 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.501 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.501 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.501 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.501 * [misc]taylor:  Taking taylor expansion of (sqrt (exp re)) in re
1536828488.501 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1536828488.502 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.502 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.502 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.502 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828488.502 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536828488.502 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828488.503 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536828488.503 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.503 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828488.504 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828488.505 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
1536828488.505 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536828488.505 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
1536828488.505 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.505 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0
1536828488.505 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.505 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.505 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.505 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.505 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.505 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.505 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.505 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 re))) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828488.505 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.505 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.505 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.505 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828488.506 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1536828488.506 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.506 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.506 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re)))
1536828488.506 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.506 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.506 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.506 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.507 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.507 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.507 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.507 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.507 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.508 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0
1536828488.508 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.508 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re))
1536828488.508 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re)))
1536828488.508 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0
1536828488.508 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.508 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.508 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.508 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.508 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.508 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.508 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.508 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.508 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.508 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.508 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.509 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.509 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ -1 re))) in re
1536828488.509 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1536828488.509 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828488.509 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828488.509 * [misc]backup-simplify:  Simplify -1 into -1
1536828488.509 * [misc]taylor:  Taking taylor expansion of re in re
1536828488.509 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.509 * [misc]backup-simplify:  Simplify 1 into 1
1536828488.509 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828488.509 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1536828488.509 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.509 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.509 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re)))
1536828488.509 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.510 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.510 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.510 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.510 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.510 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.510 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.511 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.511 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.511 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0
1536828488.511 * [misc]backup-simplify:  Simplify 0 into 0
1536828488.511 * [misc]backup-simplify:  Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re))
1536828488.511 * * * [misc]progress:  simplifying candidates
1536828488.511 * * * * [misc]progress:  [ 1 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (log1p (expm1 (* (sqrt (exp re)) (sin im))))))>
1536828488.512 * * * * [misc]progress:  [ 2 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (expm1 (log1p (* (sqrt (exp re)) (sin im))))))>
1536828488.512 * * * * [misc]progress:  [ 3 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (pow (* (sqrt (exp re)) (sin im)) 1)))>
1536828488.512 * [enter]simplify:  Simplifying (* (sqrt (exp re)) (sin im))
1536828488.512 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828488.513 * * [misc]simplify:  iters left: 3 (7 enodes)
1536828488.514 * [exit]simplify:  Simplified to (* (sin im) (sqrt (exp re)))
1536828488.514 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (pow (* (sin im) (sqrt (exp re))) 1)))
1536828488.514 * * * * [misc]progress:  [ 4 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (pow (* (sqrt (exp re)) (sin im)) 1)))>
1536828488.514 * * * * [misc]progress:  [ 5 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (exp (+ (log (sqrt (exp re))) (log (sin im))))))>
1536828488.515 * [enter]simplify:  Simplifying (+ (log (sqrt (exp re))) (log (sin im)))
1536828488.515 * * [misc]simplify:  iters left: 5 (8 enodes)
1536828488.516 * * [misc]simplify:  iters left: 4 (9 enodes)
1536828488.518 * [exit]simplify:  Simplified to (+ (log (sqrt (exp re))) (log (sin im)))
1536828488.518 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (exp (+ (log (sqrt (exp re))) (log (sin im))))))
1536828488.518 * * * * [misc]progress:  [ 6 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (exp (log (* (sqrt (exp re)) (sin im))))))>
1536828488.518 * * * * [misc]progress:  [ 7 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (log (exp (* (sqrt (exp re)) (sin im))))))>
1536828488.518 * * * * [misc]progress:  [ 8 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (cbrt (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))))))>
1536828488.518 * [enter]simplify:  Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))
1536828488.519 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828488.521 * * [misc]simplify:  iters left: 5 (17 enodes)
1536828488.526 * * [misc]simplify:  iters left: 4 (43 enodes)
1536828488.537 * * [misc]simplify:  iters left: 3 (76 enodes)
1536828488.553 * * [misc]simplify:  iters left: 2 (96 enodes)
1536828488.565 * * [misc]simplify:  iters left: 1 (97 enodes)
1536828488.577 * [exit]simplify:  Simplified to (* (* (sqrt (exp re)) (* (exp re) (sin im))) (* (sin im) (sin im)))
1536828488.577 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (cbrt (* (* (sqrt (exp re)) (* (exp re) (sin im))) (* (sin im) (sin im))))))
1536828488.577 * * * * [misc]progress:  [ 9 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))))))>
1536828488.577 * * * * [misc]progress:  [ 10 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (cbrt (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))))>
1536828488.577 * * * * [misc]progress:  [ 11 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))))))>
1536828488.577 * * * * [misc]progress:  [ 12 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* 1 (* (sqrt (exp re)) (sin im)))))>
1536828488.577 * * * * [misc]progress:  [ 13 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im)))))>
1536828488.577 * [enter]simplify:  Simplifying (cbrt (sin im))
1536828488.577 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828488.578 * [exit]simplify:  Simplified to (cbrt (sin im))
1536828488.578 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im)))))
1536828488.578 * * * * [misc]progress:  [ 14 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (sqrt (sin im))) (sqrt (sin im)))))>
1536828488.578 * [enter]simplify:  Simplifying (sqrt (sin im))
1536828488.578 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828488.579 * [exit]simplify:  Simplified to (sqrt (sin im))
1536828488.579 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (sqrt (sin im))) (sqrt (sin im)))))
1536828488.579 * * * * [misc]progress:  [ 15 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) 1) (sin im))))>
1536828488.579 * [enter]simplify:  Simplifying (sin im)
1536828488.579 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828488.580 * [exit]simplify:  Simplified to (sin im)
1536828488.580 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) 1) (sin im))))
1536828488.580 * * * * [misc]progress:  [ 16 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (sin im)))))>
1536828488.580 * [enter]simplify:  Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
1536828488.580 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828488.581 * [exit]simplify:  Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
1536828488.581 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (sin im)))))
1536828488.581 * * * * [misc]progress:  [ 17 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (* (sqrt (cbrt (exp re))) (sin im)))))>
1536828488.581 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
1536828488.581 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828488.582 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828488.583 * [exit]simplify:  Simplified to (fabs (cbrt (exp re)))
1536828488.583 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (sin im)))))
1536828488.583 * * * * [misc]progress:  [ 18 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im)))))>
1536828488.584 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828488.584 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828488.584 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828488.585 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im)))))
1536828488.585 * * * * [misc]progress:  [ 19 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt 1) (* (sqrt (exp re)) (sin im)))))>
1536828488.585 * [enter]simplify:  Simplifying (sqrt 1)
1536828488.585 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828488.586 * [exit]simplify:  Simplified to 1
1536828488.586 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* 1 (* (sqrt (exp re)) (sin im)))))
1536828488.586 * * * * [misc]progress:  [ 20 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im)))))>
1536828488.586 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828488.586 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828488.587 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828488.587 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sin im)))))
1536828488.587 * * * * [misc]progress:  [ 21 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* 1 (* (sqrt (exp re)) (sin im)))))>
1536828488.587 * * * * [misc]progress:  [ 22 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re)))))>
1536828488.587 * * * * [misc]progress:  [ 23 / 85 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828488.587 * * * * [misc]progress:  [ 24 / 85 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828488.587 * * * * [misc]progress:  [ 25 / 85 ] simplifiying candidate #<alt (λ (re im) (pow (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) 1))>
1536828488.588 * [enter]simplify:  Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
1536828488.588 * * [misc]simplify:  iters left: 6 (7 enodes)
1536828488.589 * * [misc]simplify:  iters left: 5 (11 enodes)
1536828488.591 * * [misc]simplify:  iters left: 4 (12 enodes)
1536828488.593 * * [misc]simplify:  iters left: 3 (13 enodes)
1536828488.595 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828488.595 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1))
1536828488.595 * * * * [misc]progress:  [ 26 / 85 ] simplifiying candidate #<alt (λ (re im) (pow (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) 1))>
1536828488.595 * [enter]simplify:  Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
1536828488.595 * * [misc]simplify:  iters left: 6 (7 enodes)
1536828488.597 * * [misc]simplify:  iters left: 5 (11 enodes)
1536828488.598 * * [misc]simplify:  iters left: 4 (12 enodes)
1536828488.600 * * [misc]simplify:  iters left: 3 (13 enodes)
1536828488.602 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828488.602 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1))
1536828488.602 * * * * [misc]progress:  [ 27 / 85 ] simplifiying candidate #<alt (λ (re im) (pow (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) 1))>
1536828488.602 * * * * [misc]progress:  [ 28 / 85 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im))))))>
1536828488.602 * [enter]simplify:  Simplifying (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im))))
1536828488.603 * * [misc]simplify:  iters left: 6 (9 enodes)
1536828488.606 * * [misc]simplify:  iters left: 5 (13 enodes)
1536828488.608 * * [misc]simplify:  iters left: 4 (14 enodes)
1536828488.611 * [exit]simplify:  Simplified to (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im))))
1536828488.611 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im))))))
1536828488.611 * * * * [misc]progress:  [ 29 / 85 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im))))))>
1536828488.611 * [enter]simplify:  Simplifying (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im))))
1536828488.612 * * [misc]simplify:  iters left: 6 (9 enodes)
1536828488.614 * * [misc]simplify:  iters left: 5 (13 enodes)
1536828488.616 * * [misc]simplify:  iters left: 4 (17 enodes)
1536828488.618 * * [misc]simplify:  iters left: 3 (18 enodes)
1536828488.622 * [exit]simplify:  Simplified to (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im))))
1536828488.622 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im))))))
1536828488.622 * * * * [misc]progress:  [ 30 / 85 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828488.622 * * * * [misc]progress:  [ 31 / 85 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828488.622 * * * * [misc]progress:  [ 32 / 85 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))))))>
1536828488.622 * [enter]simplify:  Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))))
1536828488.623 * * [misc]simplify:  iters left: 6 (11 enodes)
1536828488.626 * * [misc]simplify:  iters left: 5 (23 enodes)
1536828488.635 * * [misc]simplify:  iters left: 4 (79 enodes)
1536828488.670 * * [misc]simplify:  iters left: 3 (216 enodes)
1536828488.769 * * [misc]simplify:  iters left: 2 (418 enodes)
1536828488.939 * [exit]simplify:  Simplified to (* (pow (exp re) 3) (pow (sin im) 3))
1536828488.939 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (* (pow (exp re) 3) (pow (sin im) 3))))
1536828488.939 * * * * [misc]progress:  [ 33 / 85 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))))>
1536828488.939 * [enter]simplify:  Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))
1536828488.940 * * [misc]simplify:  iters left: 6 (11 enodes)
1536828488.944 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828488.953 * * [misc]simplify:  iters left: 4 (76 enodes)
1536828488.985 * * [misc]simplify:  iters left: 3 (210 enodes)
1536828489.165 * * [misc]simplify:  iters left: 2 (475 enodes)
1536828489.447 * [exit]simplify:  Simplified to (pow (* (exp re) (sin im)) 3)
1536828489.447 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (sin im)) 3)))
1536828489.447 * * * * [misc]progress:  [ 34 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828489.447 * * * * [misc]progress:  [ 35 / 85 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828489.447 * * * * [misc]progress:  [ 36 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))))>
1536828489.447 * * * * [misc]progress:  [ 37 / 85 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))>
1536828489.447 * * * * [misc]progress:  [ 38 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (exp re)) (sqrt (exp re))) (sin im)))>
1536828489.447 * [enter]simplify:  Simplifying (sin im)
1536828489.447 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828489.448 * [exit]simplify:  Simplified to (sin im)
1536828489.448 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (exp re))) (sin im)))
1536828489.448 * * * * [misc]progress:  [ 39 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))>
1536828489.448 * [enter]simplify:  Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
1536828489.449 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828489.451 * [exit]simplify:  Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
1536828489.451 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))
1536828489.451 * * * * [misc]progress:  [ 40 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im)))))>
1536828489.451 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
1536828489.452 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828489.454 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828489.455 * [exit]simplify:  Simplified to (fabs (cbrt (exp re)))
1536828489.455 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im)))))
1536828489.456 * * * * [misc]progress:  [ 41 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))>
1536828489.456 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828489.456 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828489.458 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828489.458 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))
1536828489.458 * * * * [misc]progress:  [ 42 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt 1) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))>
1536828489.458 * [enter]simplify:  Simplifying (sqrt 1)
1536828489.458 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828489.460 * [exit]simplify:  Simplified to 1
1536828489.460 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))
1536828489.460 * * * * [misc]progress:  [ 43 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))>
1536828489.460 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828489.460 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828489.462 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828489.462 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im)))))
1536828489.462 * * * * [misc]progress:  [ 44 / 85 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))>
1536828489.462 * * * * [misc]progress:  [ 45 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (exp re)) (sin im)) (sqrt (exp re))))>
1536828489.462 * * * * [misc]progress:  [ 46 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (log1p (expm1 (sqrt (exp re)))) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 47 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (expm1 (log1p (sqrt (exp re)))) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 48 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (pow (exp re) 1/2) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 49 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (pow (sqrt (exp re)) 1) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 50 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (exp (log (sqrt (exp re)))) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 51 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (log (exp (sqrt (exp re)))) (sin im))))>
1536828489.462 * * * * [misc]progress:  [ 52 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re)))) (sin im))))>
1536828489.463 * * * * [misc]progress:  [ 53 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (cbrt (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) (sin im))))>
1536828489.463 * * * * [misc]progress:  [ 54 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (sqrt (cbrt (exp re)))) (sin im))))>
1536828489.463 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
1536828489.464 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828489.465 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828489.467 * [exit]simplify:  Simplified to (fabs (cbrt (exp re)))
1536828489.467 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (sin im))))
1536828489.467 * * * * [misc]progress:  [ 55 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sin im))))>
1536828489.468 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828489.468 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828489.469 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828489.469 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sin im))))
1536828489.469 * * * * [misc]progress:  [ 56 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt 1) (sqrt (exp re))) (sin im))))>
1536828489.470 * [enter]simplify:  Simplifying (sqrt 1)
1536828489.470 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828489.471 * [exit]simplify:  Simplified to 1
1536828489.471 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* 1 (sqrt (exp re))) (sin im))))
1536828489.471 * * * * [misc]progress:  [ 57 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sin im))))>
1536828489.472 * * * * [misc]progress:  [ 58 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (fabs (sqrt (exp re))) (sin im))))>
1536828489.472 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828489.472 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828489.473 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828489.473 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (fabs (sqrt (exp re))) (sin im))))
1536828489.473 * * * * [misc]progress:  [ 59 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (* 1 (sqrt (exp re))) (sin im))))>
1536828489.473 * * * * [misc]progress:  [ 60 / 85 ] simplifiying candidate #<alt (λ (re im) (* (log1p (expm1 (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.473 * * * * [misc]progress:  [ 61 / 85 ] simplifiying candidate #<alt (λ (re im) (* (expm1 (log1p (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.473 * * * * [misc]progress:  [ 62 / 85 ] simplifiying candidate #<alt (λ (re im) (* (pow (exp re) 1/2) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 63 / 85 ] simplifiying candidate #<alt (λ (re im) (* (pow (sqrt (exp re)) 1) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 64 / 85 ] simplifiying candidate #<alt (λ (re im) (* (exp (log (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 65 / 85 ] simplifiying candidate #<alt (λ (re im) (* (log (exp (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 66 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 67 / 85 ] simplifiying candidate #<alt (λ (re im) (* (cbrt (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * * * * [misc]progress:  [ 68 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.474 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re))))
1536828489.475 * * [misc]simplify:  iters left: 5 (5 enodes)
1536828489.476 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828489.477 * [exit]simplify:  Simplified to (fabs (cbrt (exp re)))
1536828489.477 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (sin im))))
1536828489.477 * * * * [misc]progress:  [ 69 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.477 * [enter]simplify:  Simplifying (sqrt (sqrt (exp re)))
1536828489.477 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828489.478 * [exit]simplify:  Simplified to (sqrt (sqrt (exp re)))
1536828489.478 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))
1536828489.478 * * * * [misc]progress:  [ 70 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt 1) (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))>
1536828489.478 * [enter]simplify:  Simplifying (sqrt 1)
1536828489.478 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828489.479 * [exit]simplify:  Simplified to 1
1536828489.479 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (* 1 (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))
1536828489.479 * * * * [misc]progress:  [ 71 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im))))>
1536828489.479 * * * * [misc]progress:  [ 72 / 85 ] simplifiying candidate #<alt (λ (re im) (* (fabs (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))>
1536828489.479 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828489.480 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828489.480 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828489.480 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (fabs (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))
1536828489.480 * * * * [misc]progress:  [ 73 / 85 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (sqrt (exp re))) (* (sqrt (exp re)) (sin im))))>
1536828489.480 * * * * [misc]progress:  [ 74 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))))>
1536828489.480 * [enter]simplify:  Simplifying (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))
1536828489.481 * * [misc]simplify:  iters left: 6 (12 enodes)
1536828489.484 * * [misc]simplify:  iters left: 5 (27 enodes)
1536828489.494 * * [misc]simplify:  iters left: 4 (61 enodes)
1536828489.512 * * [misc]simplify:  iters left: 3 (124 enodes)
1536828489.542 * * [misc]simplify:  iters left: 2 (198 enodes)
1536828489.643 * * [misc]simplify:  iters left: 1 (261 enodes)
1536828489.682 * [exit]simplify:  Simplified to (fma (fma re 1/8 1/2) (* re im) im)
1536828489.683 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (fma (fma re 1/8 1/2) (* re im) im)))
1536828489.683 * * * * [misc]progress:  [ 75 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re)))))>
1536828489.683 * [enter]simplify:  Simplifying (* (sin im) (sqrt (exp re)))
1536828489.683 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828489.684 * * [misc]simplify:  iters left: 3 (7 enodes)
1536828489.686 * [exit]simplify:  Simplified to (* (sin im) (sqrt (exp re)))
1536828489.686 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re)))))
1536828489.686 * * * * [misc]progress:  [ 76 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re)))))>
1536828489.686 * [enter]simplify:  Simplifying (* (sin im) (sqrt (exp re)))
1536828489.686 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828489.687 * * [misc]simplify:  iters left: 3 (7 enodes)
1536828489.688 * [exit]simplify:  Simplified to (* (sin im) (sqrt (exp re)))
1536828489.688 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (sin im) (sqrt (exp re)))))
1536828489.689 * * * * [misc]progress:  [ 77 / 85 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1536828489.689 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828489.689 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828489.692 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828489.699 * * [misc]simplify:  iters left: 4 (58 enodes)
1536828489.718 * * [misc]simplify:  iters left: 3 (117 enodes)
1536828489.775 * * [misc]simplify:  iters left: 2 (187 enodes)
1536828489.822 * * [misc]simplify:  iters left: 1 (245 enodes)
1536828490.003 * [exit]simplify:  Simplified to (fma (* re im) (fma 1/2 re 1) im)
1536828490.003 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (* re im) (fma 1/2 re 1) im))
1536828490.003 * * * * [misc]progress:  [ 78 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1536828490.003 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1536828490.003 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828490.004 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828490.005 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828490.005 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1536828490.005 * * * * [misc]progress:  [ 79 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sin im) (exp re)))>
1536828490.006 * [enter]simplify:  Simplifying (* (sin im) (exp re))
1536828490.006 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828490.007 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828490.008 * [exit]simplify:  Simplified to (* (exp re) (sin im))
1536828490.008 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (sin im)))
1536828490.008 * * * * [misc]progress:  [ 80 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) (sin im))))>
1536828490.008 * [enter]simplify:  Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
1536828490.008 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828490.011 * * [misc]simplify:  iters left: 5 (21 enodes)
1536828490.015 * * [misc]simplify:  iters left: 4 (35 enodes)
1536828490.023 * * [misc]simplify:  iters left: 3 (56 enodes)
1536828490.032 * * [misc]simplify:  iters left: 2 (76 enodes)
1536828490.044 * * [misc]simplify:  iters left: 1 (91 enodes)
1536828490.052 * [exit]simplify:  Simplified to (fma re (fma re 1/8 1/2) 1)
1536828490.052 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (fma re (fma re 1/8 1/2) 1) (sin im))))
1536828490.052 * * * * [misc]progress:  [ 81 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828490.052 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828490.053 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.053 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828490.053 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1536828490.053 * * * * [misc]progress:  [ 82 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828490.053 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828490.054 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.054 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828490.054 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1536828490.054 * * * * [misc]progress:  [ 83 / 85 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) (* (sqrt (exp re)) (sin im))))>
1536828490.054 * [enter]simplify:  Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1))
1536828490.055 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828490.057 * * [misc]simplify:  iters left: 5 (21 enodes)
1536828490.061 * * [misc]simplify:  iters left: 4 (35 enodes)
1536828490.070 * * [misc]simplify:  iters left: 3 (56 enodes)
1536828490.079 * * [misc]simplify:  iters left: 2 (76 enodes)
1536828490.091 * * [misc]simplify:  iters left: 1 (91 enodes)
1536828490.099 * [exit]simplify:  Simplified to (fma re (fma re 1/8 1/2) 1)
1536828490.099 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (fma re (fma re 1/8 1/2) 1) (* (sqrt (exp re)) (sin im))))
1536828490.099 * * * * [misc]progress:  [ 84 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828490.099 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828490.099 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.100 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828490.100 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1536828490.100 * * * * [misc]progress:  [ 85 / 85 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))>
1536828490.100 * [enter]simplify:  Simplifying (sqrt (exp re))
1536828490.100 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.101 * [exit]simplify:  Simplified to (sqrt (exp re))
1536828490.101 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))
1536828490.101 * * * [misc]progress:  adding candidates to table
1536828491.142 * * [misc]progress:  iteration 3 / 4
1536828491.142 * * * [misc]progress:  picking best candidate
1536828491.146 * * * * [misc]pick:  Picked  #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>
1536828491.146 * * * [misc]progress:  localizing error
1536828491.159 * * * [misc]progress:  generating rewritten candidates
1536828491.159 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536828491.160 * * * [misc]progress:  generating series expansions
1536828491.160 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536828491.160 * [misc]backup-simplify:  Simplify (fma (* re im) (fma 1/2 re 1) im) into (fma (* re im) (fma 1/2 re 1) im)
1536828491.160 * [misc]approximate:  Taking taylor expansion of (fma (* re im) (fma 1/2 re 1) im) in (re im) around 0
1536828491.160 * [misc]taylor:  Taking taylor expansion of (fma (* re im) (fma 1/2 re 1) im) in im
1536828491.160 * [misc]taylor:  Rewrote expression to (+ (* (* re im) (fma 1/2 re 1)) im)
1536828491.160 * [misc]taylor:  Taking taylor expansion of (* (* re im) (fma 1/2 re 1)) in im
1536828491.160 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1536828491.160 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.160 * [misc]backup-simplify:  Simplify re into re
1536828491.160 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.160 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.160 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.160 * [misc]taylor:  Taking taylor expansion of (fma 1/2 re 1) in im
1536828491.161 * [misc]taylor:  Rewrote expression to (+ (* 1/2 re) 1)
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* 1/2 re) in im
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.161 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.161 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.161 * [misc]backup-simplify:  Simplify re into re
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1 in im
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.161 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of (fma (* re im) (fma 1/2 re 1) im) in re
1536828491.161 * [misc]taylor:  Rewrote expression to (+ (* (* re im) (fma 1/2 re 1)) im)
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* (* re im) (fma 1/2 re 1)) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.161 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.161 * [misc]backup-simplify:  Simplify im into im
1536828491.161 * [misc]taylor:  Taking taylor expansion of (fma 1/2 re 1) in re
1536828491.161 * [misc]taylor:  Rewrote expression to (+ (* 1/2 re) 1)
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* 1/2 re) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.161 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.161 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.161 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.161 * [misc]backup-simplify:  Simplify im into im
1536828491.161 * [misc]taylor:  Taking taylor expansion of (fma (* re im) (fma 1/2 re 1) im) in re
1536828491.161 * [misc]taylor:  Rewrote expression to (+ (* (* re im) (fma 1/2 re 1)) im)
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* (* re im) (fma 1/2 re 1)) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.161 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.161 * [misc]backup-simplify:  Simplify im into im
1536828491.161 * [misc]taylor:  Taking taylor expansion of (fma 1/2 re 1) in re
1536828491.161 * [misc]taylor:  Rewrote expression to (+ (* 1/2 re) 1)
1536828491.161 * [misc]taylor:  Taking taylor expansion of (* 1/2 re) in re
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.161 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.161 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.161 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.161 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.161 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.161 * [misc]backup-simplify:  Simplify im into im
1536828491.161 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1536828491.162 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1536828491.162 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536828491.162 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1536828491.162 * [misc]backup-simplify:  Simplify (+ 0 im) into im
1536828491.162 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.162 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.162 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.162 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.162 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1536828491.162 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1536828491.162 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1536828491.162 * [misc]backup-simplify:  Simplify (+ (* 0 1/2) (* im 1)) into im
1536828491.163 * [misc]backup-simplify:  Simplify (+ im 0) into im
1536828491.163 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.163 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.163 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.163 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.163 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.163 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0
1536828491.163 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828491.163 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1536828491.163 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* im 1/2) (* 0 1))) into (* 1/2 im)
1536828491.163 * [misc]backup-simplify:  Simplify (+ (* 1/2 im) 0) into (* 1/2 im)
1536828491.163 * [misc]taylor:  Taking taylor expansion of (* 1/2 im) in im
1536828491.163 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.163 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.163 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.163 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.164 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.164 * [misc]backup-simplify:  Simplify (* 1/2 0) into 0
1536828491.164 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.164 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.164 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.164 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1536828491.164 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828491.164 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1536828491.165 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* im 0) (+ (* 0 1/2) (* 0 1)))) into 0
1536828491.165 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828491.165 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828491.165 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.165 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.165 * [misc]backup-simplify:  Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
1536828491.165 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.165 * [misc]backup-simplify:  Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.165 * [misc]backup-simplify:  Simplify (fma (* (/ 1 re) (/ 1 im)) (fma 1/2 (/ 1 re) 1) (/ 1 im)) into (fma (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1) (/ 1 im))
1536828491.165 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1) (/ 1 im)) in (re im) around 0
1536828491.165 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1) (/ 1 im)) in im
1536828491.165 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) (/ 1 im))
1536828491.165 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) in im
1536828491.165 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1536828491.165 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1536828491.165 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.165 * [misc]backup-simplify:  Simplify re into re
1536828491.165 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.165 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.165 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.165 * [misc]backup-simplify:  Simplify (* re 0) into 0
1536828491.166 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1536828491.166 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828491.166 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ 1 re) 1) in im
1536828491.166 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ 1 re)) 1)
1536828491.166 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 re)) in im
1536828491.166 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.166 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.166 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828491.166 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.166 * [misc]backup-simplify:  Simplify re into re
1536828491.166 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828491.166 * [misc]taylor:  Taking taylor expansion of 1 in im
1536828491.166 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.166 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.166 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.166 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.166 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.166 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.166 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1) (/ 1 im)) in re
1536828491.166 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) (/ 1 im))
1536828491.166 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) in re
1536828491.166 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1536828491.166 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.166 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.166 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.166 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.166 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.166 * [misc]backup-simplify:  Simplify im into im
1536828491.166 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1536828491.166 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1536828491.166 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.166 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ 1 re) 1) in re
1536828491.166 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ 1 re)) 1)
1536828491.166 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 re)) in re
1536828491.166 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.166 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.167 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.167 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.167 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.167 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.167 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.167 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.167 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.167 * [misc]backup-simplify:  Simplify im into im
1536828491.167 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.167 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1) (/ 1 im)) in re
1536828491.167 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) (/ 1 im))
1536828491.167 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ 1 re) 1)) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.167 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.167 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.167 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.167 * [misc]backup-simplify:  Simplify im into im
1536828491.167 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1536828491.167 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1536828491.167 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.167 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ 1 re) 1) in re
1536828491.167 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ 1 re)) 1)
1536828491.167 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 re)) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.167 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.167 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828491.167 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.167 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.167 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.167 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.167 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.167 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.167 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828491.168 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.168 * [misc]backup-simplify:  Simplify im into im
1536828491.168 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.168 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1536828491.168 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1536828491.168 * [misc]backup-simplify:  Simplify (* (/ 1 im) 1/2) into (/ 1/2 im)
1536828491.168 * [misc]backup-simplify:  Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im))
1536828491.168 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 im)) in im
1536828491.168 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.168 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.168 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.168 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.168 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.168 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.168 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.168 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1536828491.168 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.168 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536828491.169 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1536828491.169 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536828491.169 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1536828491.169 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828491.169 * [misc]backup-simplify:  Simplify (+ (* (/ 1 im) 1) (* 0 1/2)) into (/ 1 im)
1536828491.169 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1536828491.169 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.169 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.169 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.169 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.169 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.169 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.169 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536828491.170 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1536828491.170 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.170 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536828491.170 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1536828491.170 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828491.170 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1536828491.170 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828491.171 * [misc]backup-simplify:  Simplify (+ (* (/ 1 im) 0) (+ (* 0 1) (* 0 1/2))) into 0
1536828491.171 * [misc]backup-simplify:  Simplify (+ 0 (/ 1 im)) into (/ 1 im)
1536828491.171 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.171 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.171 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.171 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.171 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.171 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.171 * [misc]backup-simplify:  Simplify (+ (* 1 (* (/ 1 (/ 1 im)) 1)) (+ (* 1 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) (* 1/2 (* (/ 1 (/ 1 im)) (pow (/ 1 re) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.172 * [misc]backup-simplify:  Simplify (fma (* (/ 1 (- re)) (/ 1 (- im))) (fma 1/2 (/ 1 (- re)) 1) (/ 1 (- im))) into (fma (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1) (/ -1 im))
1536828491.172 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1) (/ -1 im)) in (re im) around 0
1536828491.172 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1) (/ -1 im)) in im
1536828491.172 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) (/ -1 im))
1536828491.172 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.172 * [misc]backup-simplify:  Simplify re into re
1536828491.172 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.172 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.172 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.172 * [misc]backup-simplify:  Simplify (* re 0) into 0
1536828491.172 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1536828491.172 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828491.172 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ -1 re) 1) in im
1536828491.172 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ -1 re)) 1)
1536828491.172 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ -1 re)) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.172 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.172 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828491.172 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.172 * [misc]taylor:  Taking taylor expansion of re in im
1536828491.172 * [misc]backup-simplify:  Simplify re into re
1536828491.172 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828491.172 * [misc]taylor:  Taking taylor expansion of 1 in im
1536828491.172 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.172 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828491.172 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828491.172 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.172 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.172 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.172 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.172 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828491.172 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1) (/ -1 im)) in re
1536828491.172 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) (/ -1 im))
1536828491.173 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.173 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.173 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.173 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.173 * [misc]backup-simplify:  Simplify im into im
1536828491.173 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1536828491.173 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1536828491.173 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.173 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ -1 re) 1) in re
1536828491.173 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ -1 re)) 1)
1536828491.173 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ -1 re)) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.173 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.173 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828491.173 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.173 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.173 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.173 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.173 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828491.173 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.173 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.173 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828491.173 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.173 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.173 * [misc]backup-simplify:  Simplify im into im
1536828491.173 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828491.173 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1) (/ -1 im)) in re
1536828491.173 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) (/ -1 im))
1536828491.173 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (* re im)) (fma 1/2 (/ -1 re) 1)) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1536828491.173 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.173 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.173 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.173 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.173 * [misc]backup-simplify:  Simplify im into im
1536828491.173 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1536828491.174 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1536828491.174 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828491.174 * [misc]taylor:  Taking taylor expansion of (fma 1/2 (/ -1 re) 1) in re
1536828491.174 * [misc]taylor:  Rewrote expression to (+ (* 1/2 (/ -1 re)) 1)
1536828491.174 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ -1 re)) in re
1536828491.174 * [misc]taylor:  Taking taylor expansion of 1/2 in re
1536828491.174 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.174 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828491.174 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828491.174 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.174 * [misc]taylor:  Taking taylor expansion of re in re
1536828491.174 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.174 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.174 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828491.174 * [misc]taylor:  Taking taylor expansion of 1 in re
1536828491.174 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.174 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828491.174 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828491.174 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.174 * [misc]taylor:  Taking taylor expansion of im in re
1536828491.174 * [misc]backup-simplify:  Simplify im into im
1536828491.174 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828491.174 * [misc]backup-simplify:  Simplify (* 1/2 -1) into -1/2
1536828491.174 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1536828491.174 * [misc]backup-simplify:  Simplify (* (/ 1 im) -1/2) into (/ -1/2 im)
1536828491.174 * [misc]backup-simplify:  Simplify (+ (/ -1/2 im) 0) into (- (* 1/2 (/ 1 im)))
1536828491.174 * [misc]taylor:  Taking taylor expansion of (- (* 1/2 (/ 1 im))) in im
1536828491.175 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 im)) in im
1536828491.175 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1536828491.175 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536828491.175 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.175 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.175 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.175 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.175 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.175 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1536828491.175 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536828491.175 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536828491.175 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1536828491.175 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 -1)) into 0
1536828491.175 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536828491.176 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1536828491.176 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828491.176 * [misc]backup-simplify:  Simplify (+ (* (/ 1 im) 1) (* 0 -1/2)) into (/ 1 im)
1536828491.176 * [misc]backup-simplify:  Simplify (+ (/ 1 im) 0) into (/ 1 im)
1536828491.176 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.176 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.176 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.176 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.177 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.177 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.177 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536828491.177 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1536828491.177 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828491.177 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.178 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536828491.178 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 -1))) into 0
1536828491.178 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828491.178 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1536828491.179 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828491.179 * [misc]backup-simplify:  Simplify (+ (* (/ 1 im) 0) (+ (* 0 1) (* 0 -1/2))) into 0
1536828491.179 * [misc]backup-simplify:  Simplify (+ 0 (/ -1 im)) into (- (/ 1 im))
1536828491.179 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1536828491.179 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828491.179 * [misc]taylor:  Taking taylor expansion of im in im
1536828491.179 * [misc]backup-simplify:  Simplify 0 into 0
1536828491.179 * [misc]backup-simplify:  Simplify 1 into 1
1536828491.179 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828491.179 * [misc]backup-simplify:  Simplify (- 1) into -1
1536828491.180 * [misc]backup-simplify:  Simplify -1 into -1
1536828491.180 * [misc]backup-simplify:  Simplify (+ (* -1 (* (/ 1 (/ 1 (- im))) 1)) (+ (* 1 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) (* -1/2 (* (/ 1 (/ 1 (- im))) (pow (/ 1 (- re)) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.180 * * * [misc]progress:  simplifying candidates
1536828491.180 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (re im) (+ (* (* re im) (fma 1/2 re 1)) im))>
1536828491.181 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (re im) (pow (fma (* re im) (fma 1/2 re 1) im) 1))>
1536828491.181 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (re im) (exp (log (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (re im) (log (exp (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (fma (* re im) (fma 1/2 re 1) im)) (cbrt (fma (* re im) (fma 1/2 re 1) im))) (cbrt (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (fma (* re im) (fma 1/2 re 1) im) (fma (* re im) (fma 1/2 re 1) im)) (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (fma (* re im) (fma 1/2 re 1) im)) (sqrt (fma (* re im) (fma 1/2 re 1) im))))>
1536828491.181 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (re im) (* 1 (fma (* re im) (fma 1/2 re 1) im)))>
1536828491.181 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1536828491.181 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.182 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828491.188 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828491.202 * * [misc]simplify:  iters left: 4 (58 enodes)
1536828491.223 * * [misc]simplify:  iters left: 3 (117 enodes)
1536828491.313 * * [misc]simplify:  iters left: 2 (187 enodes)
1536828491.365 * * [misc]simplify:  iters left: 1 (245 enodes)
1536828491.640 * [exit]simplify:  Simplified to (fma (* re im) (fma 1/2 re 1) im)
1536828491.640 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (* re im) (fma 1/2 re 1) im))
1536828491.640 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1536828491.641 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.641 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828491.644 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828491.652 * * [misc]simplify:  iters left: 4 (58 enodes)
1536828491.671 * * [misc]simplify:  iters left: 3 (117 enodes)
1536828491.741 * * [misc]simplify:  iters left: 2 (187 enodes)
1536828491.780 * * [misc]simplify:  iters left: 1 (245 enodes)
1536828491.963 * [exit]simplify:  Simplified to (fma (* re im) (fma 1/2 re 1) im)
1536828491.963 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (* re im) (fma 1/2 re 1) im))
1536828491.963 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (re im) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)))>
1536828491.963 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
1536828491.964 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828491.970 * * [misc]simplify:  iters left: 5 (25 enodes)
1536828491.980 * * [misc]simplify:  iters left: 4 (58 enodes)
1536828492.007 * * [misc]simplify:  iters left: 3 (117 enodes)
1536828492.075 * * [misc]simplify:  iters left: 2 (187 enodes)
1536828492.122 * * [misc]simplify:  iters left: 1 (245 enodes)
1536828492.337 * [exit]simplify:  Simplified to (fma (* re im) (fma 1/2 re 1) im)
1536828492.337 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (* re im) (fma 1/2 re 1) im))
1536828492.337 * * * [misc]progress:  adding candidates to table
1536828492.465 * [misc]progress:  [Phase 3 of 3] Extracting.
1536828492.465 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.466 * * * [misc]regime-changes:  Trying 5 branch expressions: (im (sin im) re (exp re) (* (exp re) (sin im)))
1536828492.466 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.493 * * * * [misc]regimes:  Trying to branch on (sin im) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.527 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.553 * * * * [misc]regimes:  Trying to branch on (exp re) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.583 * * * * [misc]regimes:  Trying to branch on (* (exp re) (sin im)) from (#<alt (λ (re im) (* (exp re) (sin im)))> #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))> #<alt (λ (re im) (fma (* re im) (fma 1/2 re 1) im))>)
1536828492.625 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1536828492.625 * [enter]simplify:  Simplifying (* (exp re) (sin im))
1536828492.626 * * [misc]simplify:  iters left: 3 (5 enodes)
1536828492.626 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828492.626 * [exit]simplify:  Simplified to (* (sin im) (exp re))
1536828492.626 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536828492.663 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1536828492.664 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.664 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.665 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1536828492.665 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.666 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.667 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1536828492.668 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.669 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.671 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1536828492.672 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.675 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.679 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1536828492.680 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.686 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.693 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1536828492.694 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.706 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.737 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1536828492.739 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.765 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.793 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1536828492.794 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.847 * * * * [misc]points:  Setting MPFR precision to 320
1536828492.985 * * * * [misc]points:  Computing exacts for 8000 points
1536828492.987 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.378 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828493.748 * * * * [misc]points:  Sampling 1987 additional inputs, on iter 1 have 6013 / 8000
1536828493.766 * * * * [misc]points:  Computing exacts on every 124 of 1987 points to ramp up precision
1536828493.768 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.769 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.770 * * * * [misc]points:  Computing exacts on every 62 of 1987 points to ramp up precision
1536828493.772 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.773 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.775 * * * * [misc]points:  Computing exacts on every 31 of 1987 points to ramp up precision
1536828493.777 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.779 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.782 * * * * [misc]points:  Computing exacts on every 15 of 1987 points to ramp up precision
1536828493.784 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.789 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.795 * * * * [misc]points:  Computing exacts on every 7 of 1987 points to ramp up precision
1536828493.796 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.806 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.854 * * * * [misc]points:  Computing exacts on every 3 of 1987 points to ramp up precision
1536828493.856 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.870 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.893 * * * * [misc]points:  Computing exacts for 1987 points
1536828493.894 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.989 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.102 * * * * [misc]points:  Sampling 473 additional inputs, on iter 2 have 7527 / 8000
1536828494.143 * * * * [misc]points:  Computing exacts on every 29 of 473 points to ramp up precision
1536828494.144 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.145 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.145 * * * * [misc]points:  Computing exacts on every 14 of 473 points to ramp up precision
1536828494.146 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.147 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.148 * * * * [misc]points:  Computing exacts on every 7 of 473 points to ramp up precision
1536828494.149 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.150 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.155 * * * * [misc]points:  Computing exacts on every 3 of 473 points to ramp up precision
1536828494.156 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.159 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.162 * * * * [misc]points:  Computing exacts for 473 points
1536828494.163 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.175 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.190 * * * * [misc]points:  Sampling 119 additional inputs, on iter 3 have 7881 / 8000
1536828494.191 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1536828494.193 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.194 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.194 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1536828494.196 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.197 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.199 * * * * [misc]points:  Computing exacts for 119 points
1536828494.200 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.205 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.208 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.209 * * * * [misc]points:  Sampling 26 additional inputs, on iter 4 have 7974 / 8000
1536828494.209 * * * * [misc]points:  Computing exacts for 26 points
1536828494.210 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.211 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.212 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.212 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7998 / 8000
1536828494.212 * * * * [misc]points:  Computing exacts for 4 points
1536828494.213 * * * * [misc]points:  Setting MPFR precision to 64
1536828494.213 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.214 * * * * [exit]points:  Sampled 8002 points with exact outputs