1545727210.652 * [misc]progress:  [Phase 1 of 3] Setting up.
1545727210.652 * * * [misc]progress:  [1/2] Preparing points
1545727210.652 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545727210.702 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727210.702 * * * * [misc]points:  Sampling 68 additional inputs, on iter 1 have 188 / 256
1545727210.712 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727210.712 * * * * [misc]points:  Sampling 15 additional inputs, on iter 2 have 241 / 256
1545727210.715 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727210.715 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1545727210.716 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727210.716 * * * * [exit]points:  Sampled 258 points with exact outputs
1545727210.717 * * * [misc]progress:  [2/2] Setting up program.
1545727210.719 * [misc]progress:  [Phase 2 of 3] Improving.
1545727210.719 * [enter]simplify:  Simplifying (* (exp re) (cos im))
1545727210.719 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727210.720 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727210.721 * [exit]simplify:  Simplified to (* (cos im) (exp re))
1545727210.746 * * [misc]progress:  iteration 1 / 4
1545727210.746 * * * [misc]progress:  picking best candidate
1545727210.748 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (exp re) (cos im)))>
1545727210.748 * * * [misc]progress:  localizing error
1545727210.762 * * * [misc]progress:  generating rewritten candidates
1545727210.762 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545727210.779 * * * [misc]progress:  generating series expansions
1545727210.779 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545727210.779 * [misc]backup-simplify:  Simplify (* (exp re) (cos im)) into (* (cos im) (exp re))
1545727210.779 * [misc]approximate:  Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
1545727210.779 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in im
1545727210.779 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727210.779 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.779 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.779 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.779 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1545727210.779 * [misc]taylor:  Taking taylor expansion of re in im
1545727210.779 * [misc]backup-simplify:  Simplify re into re
1545727210.779 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1545727210.779 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in re
1545727210.779 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727210.780 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.780 * [misc]backup-simplify:  Simplify im into im
1545727210.780 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727210.780 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727210.780 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727210.780 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.780 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.780 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.780 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727210.780 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in re
1545727210.780 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727210.780 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.780 * [misc]backup-simplify:  Simplify im into im
1545727210.780 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727210.780 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727210.780 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727210.780 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.780 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.780 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.780 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727210.780 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727210.781 * [misc]backup-simplify:  Simplify (* (sin im) 0) into 0
1545727210.781 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.781 * [misc]backup-simplify:  Simplify (+ (cos im) 0) into (cos im)
1545727210.781 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727210.781 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727210.781 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.781 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.781 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.781 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.783 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545727210.783 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727210.783 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 1)) into 0
1545727210.784 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727210.784 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 0)) into 0
1545727210.785 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.785 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.785 * [misc]backup-simplify:  Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im)
1545727210.785 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727210.785 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.785 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.785 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.785 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.785 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727210.785 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.788 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545727210.789 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727210.789 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
1545727210.790 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727210.790 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
1545727210.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.791 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.791 * [misc]backup-simplify:  Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im))
1545727210.791 * [misc]taylor:  Taking taylor expansion of (* 1/2 (cos im)) in im
1545727210.791 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1545727210.791 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727210.791 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727210.791 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.791 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.791 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.791 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545727210.791 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727210.792 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1))
1545727210.792 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (cos (/ 1 im))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727210.792 * [misc]approximate:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
1545727210.792 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
1545727210.792 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727210.792 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727210.792 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.792 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.792 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.792 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727210.792 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727210.792 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727210.792 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727210.792 * [misc]taylor:  Taking taylor expansion of re in im
1545727210.792 * [misc]backup-simplify:  Simplify re into re
1545727210.792 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727210.793 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727210.793 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.793 * [misc]backup-simplify:  Simplify im into im
1545727210.793 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727210.793 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727210.793 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727210.793 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.793 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.793 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.793 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727210.793 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727210.793 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727210.793 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.793 * [misc]backup-simplify:  Simplify im into im
1545727210.793 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727210.794 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727210.794 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727210.794 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727210.794 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727210.794 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.794 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.794 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.794 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727210.794 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727210.794 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
1545727210.794 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 0) into 0
1545727210.795 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.795 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
1545727210.795 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727210.795 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
1545727210.795 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727210.795 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727210.795 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.795 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.795 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.795 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727210.795 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727210.795 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727210.795 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727210.795 * [misc]taylor:  Taking taylor expansion of re in im
1545727210.795 * [misc]backup-simplify:  Simplify re into re
1545727210.795 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727210.795 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727210.796 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727210.796 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727210.796 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727210.796 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
1545727210.796 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545727210.798 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727210.798 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
1545727210.798 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.798 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1545727210.798 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.798 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.798 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.798 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1545727210.800 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727210.800 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1545727210.800 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.801 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727210.801 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727210.801 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727210.802 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727210.803 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727210.803 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.803 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.803 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727210.803 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.803 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.803 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.803 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.804 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727210.805 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727210.806 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727210.806 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.808 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727210.808 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727210.808 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727210.810 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727210.810 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727210.810 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.810 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.811 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1545727210.811 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.811 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.811 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.811 * [misc]backup-simplify:  Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re))
1545727210.811 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- re))) (cos (/ 1 (- im)))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727210.811 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
1545727210.811 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
1545727210.811 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727210.811 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727210.811 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727210.811 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.811 * [misc]taylor:  Taking taylor expansion of re in im
1545727210.811 * [misc]backup-simplify:  Simplify re into re
1545727210.811 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727210.811 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727210.812 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727210.812 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727210.812 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727210.812 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.812 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.812 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.812 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.812 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727210.812 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727210.812 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
1545727210.812 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727210.812 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727210.812 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727210.812 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.812 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.812 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.812 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.812 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727210.812 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727210.812 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727210.812 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727210.812 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727210.812 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.812 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.812 * [misc]backup-simplify:  Simplify im into im
1545727210.812 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727210.813 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727210.813 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727210.813 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
1545727210.813 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727210.813 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727210.813 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727210.813 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.813 * [misc]taylor:  Taking taylor expansion of re in re
1545727210.813 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.813 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.813 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727210.813 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727210.813 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727210.813 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727210.813 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727210.813 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.813 * [misc]taylor:  Taking taylor expansion of im in re
1545727210.813 * [misc]backup-simplify:  Simplify im into im
1545727210.813 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727210.813 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727210.813 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727210.813 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
1545727210.814 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 0) into 0
1545727210.814 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.814 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
1545727210.814 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727210.814 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
1545727210.814 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727210.814 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727210.814 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727210.814 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.814 * [misc]taylor:  Taking taylor expansion of re in im
1545727210.814 * [misc]backup-simplify:  Simplify re into re
1545727210.814 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727210.814 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727210.814 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727210.814 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727210.814 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727210.814 * [misc]backup-simplify:  Simplify -1 into -1
1545727210.814 * [misc]taylor:  Taking taylor expansion of im in im
1545727210.814 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.814 * [misc]backup-simplify:  Simplify 1 into 1
1545727210.814 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727210.815 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727210.815 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727210.815 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727210.815 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727210.815 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
1545727210.815 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1545727210.816 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727210.817 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
1545727210.817 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.817 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.817 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
1545727210.817 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.817 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.817 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.817 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1545727210.818 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727210.818 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
1545727210.818 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.819 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727210.820 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727210.820 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727210.821 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727210.821 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727210.821 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.821 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.822 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
1545727210.822 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.822 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.822 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.822 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.822 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727210.824 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727210.824 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
1545727210.824 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.826 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727210.826 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727210.826 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727210.828 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727210.828 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727210.828 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727210.828 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727210.829 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0
1545727210.829 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727210.829 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.829 * [misc]backup-simplify:  Simplify 0 into 0
1545727210.829 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re))
1545727210.829 * * * [misc]progress:  simplifying candidates
1545727210.829 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (cos im)) 1))>
1545727210.829 * [enter]simplify:  Simplifying (* (exp re) (cos im))
1545727210.829 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727210.831 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727210.832 * [exit]simplify:  Simplified to (* (cos im) (exp re))
1545727210.832 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1))
1545727210.832 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* (exp re) (cos im)) 1))>
1545727210.832 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (+ re (log (cos im)))))>
1545727210.833 * [enter]simplify:  Simplifying (+ re (log (cos im)))
1545727210.833 * * [misc]simplify:  iters left: 4 (5 enodes)
1545727210.834 * * [misc]simplify:  iters left: 3 (6 enodes)
1545727210.836 * [exit]simplify:  Simplified to (+ (log (cos im)) re)
1545727210.836 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (cos im)) re)))
1545727210.836 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (exp re) (cos im)))))>
1545727210.836 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (exp re) (cos im)))))>
1545727210.836 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))))>
1545727210.836 * [enter]simplify:  Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im)))
1545727210.836 * * [misc]simplify:  iters left: 6 (9 enodes)
1545727210.839 * * [misc]simplify:  iters left: 5 (18 enodes)
1545727210.846 * * [misc]simplify:  iters left: 4 (47 enodes)
1545727210.863 * * [misc]simplify:  iters left: 3 (80 enodes)
1545727210.895 * * [misc]simplify:  iters left: 2 (100 enodes)
1545727210.918 * * [misc]simplify:  iters left: 1 (101 enodes)
1545727210.929 * [exit]simplify:  Simplified to (pow (* (cos im) (exp re)) 3)
1545727210.929 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3)))
1545727210.929 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (exp re) (cos im)))))>
1545727210.929 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im)))))>
1545727210.929 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (exp re) (cos im))) (sqrt (* (exp re) (cos im)))))>
1545727210.929 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (cos im))))>
1545727210.929 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im))))>
1545727210.930 * [enter]simplify:  Simplifying (cbrt (cos im))
1545727210.930 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727210.930 * [exit]simplify:  Simplified to (cbrt (cos im))
1545727210.930 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im))))
1545727210.930 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727210.930 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727210.930 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727210.931 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727210.931 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727210.931 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) 1) (cos im)))>
1545727210.931 * [enter]simplify:  Simplifying (cos im)
1545727210.931 * * [misc]simplify:  iters left: 1 (2 enodes)
1545727210.931 * [exit]simplify:  Simplified to (cos im)
1545727210.932 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (cos im)))
1545727210.932 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))>
1545727210.932 * [enter]simplify:  Simplifying (* (cbrt (exp re)) (cbrt (exp re)))
1545727210.932 * * [misc]simplify:  iters left: 4 (4 enodes)
1545727210.932 * [exit]simplify:  Simplified to (* (cbrt (exp re)) (cbrt (exp re)))
1545727210.932 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im))))
1545727210.932 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))>
1545727210.933 * [enter]simplify:  Simplifying (sqrt (exp re))
1545727210.933 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727210.933 * [exit]simplify:  Simplified to (sqrt (exp re))
1545727210.933 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))
1545727210.933 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (exp re) (cos im))))>
1545727210.933 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (* (cos im) (exp re)))>
1545727210.933 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (+ re (+ (* 1/2 (pow re 2)) 1)))>
1545727210.933 * [enter]simplify:  Simplifying (+ re (+ (* 1/2 (pow re 2)) 1))
1545727210.933 * * [misc]simplify:  iters left: 6 (8 enodes)
1545727210.935 * * [misc]simplify:  iters left: 5 (16 enodes)
1545727210.937 * * [misc]simplify:  iters left: 4 (26 enodes)
1545727210.941 * * [misc]simplify:  iters left: 3 (31 enodes)
1545727210.944 * * [misc]simplify:  iters left: 2 (33 enodes)
1545727210.948 * * [misc]simplify:  iters left: 1 (39 enodes)
1545727210.954 * [exit]simplify:  Simplified to (+ (* (* re re) 1/2) (+ 1 re))
1545727210.954 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (* (* re re) 1/2) (+ 1 re)))
1545727210.954 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (* (cos im) (exp re)))>
1545727210.954 * [enter]simplify:  Simplifying (* (cos im) (exp re))
1545727210.954 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727210.955 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727210.956 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727210.956 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (cos im)))
1545727210.956 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (* (cos im) (exp re)))>
1545727210.956 * [enter]simplify:  Simplifying (* (cos im) (exp re))
1545727210.956 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727210.957 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727210.958 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727210.958 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (cos im)))
1545727210.958 * * * [misc]progress:  adding candidates to table
1545727211.155 * * [misc]progress:  iteration 2 / 4
1545727211.155 * * * [misc]progress:  picking best candidate
1545727211.160 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727211.160 * * * [misc]progress:  localizing error
1545727211.169 * * * [misc]progress:  generating rewritten candidates
1545727211.169 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1545727211.179 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1545727211.180 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1545727211.180 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1)
1545727211.185 * * * [misc]progress:  generating series expansions
1545727211.185 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1545727211.185 * [misc]backup-simplify:  Simplify (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))) into (* (cos im) (exp re))
1545727211.185 * [misc]approximate:  Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0
1545727211.185 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in im
1545727211.185 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.185 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.185 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.185 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.185 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1545727211.185 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.185 * [misc]backup-simplify:  Simplify re into re
1545727211.185 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1545727211.185 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in re
1545727211.185 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727211.185 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.185 * [misc]backup-simplify:  Simplify im into im
1545727211.185 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727211.185 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727211.185 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727211.185 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.185 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.185 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.185 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727211.185 * [misc]taylor:  Taking taylor expansion of (* (cos im) (exp re)) in re
1545727211.185 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727211.185 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.185 * [misc]backup-simplify:  Simplify im into im
1545727211.185 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727211.186 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727211.186 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727211.186 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.186 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.186 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.186 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727211.186 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727211.186 * [misc]backup-simplify:  Simplify (* (sin im) 0) into 0
1545727211.186 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.186 * [misc]backup-simplify:  Simplify (+ (cos im) 0) into (cos im)
1545727211.186 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727211.186 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.186 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.186 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.186 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.186 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.187 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545727211.187 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.187 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 1)) into 0
1545727211.188 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.188 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 0)) into 0
1545727211.188 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.188 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.189 * [misc]backup-simplify:  Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im)
1545727211.189 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.189 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.189 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.189 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.189 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.189 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.189 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.190 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545727211.191 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.191 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.192 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.192 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.192 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.192 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.192 * [misc]backup-simplify:  Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im))
1545727211.192 * [misc]taylor:  Taking taylor expansion of (* 1/2 (cos im)) in im
1545727211.192 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1545727211.192 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727211.192 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.192 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.192 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.192 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.192 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545727211.192 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727211.193 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1))
1545727211.193 * [misc]backup-simplify:  Simplify (* (* (exp (/ 1 re)) (sqrt (cos (/ 1 im)))) (sqrt (cos (/ 1 im)))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727211.193 * [misc]approximate:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0
1545727211.193 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
1545727211.193 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.193 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.193 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.193 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.193 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.193 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.193 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.193 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727211.193 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727211.193 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.193 * [misc]backup-simplify:  Simplify re into re
1545727211.193 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727211.193 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.193 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
1545727211.193 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727211.193 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727211.193 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.193 * [misc]backup-simplify:  Simplify im into im
1545727211.193 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727211.193 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.193 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727211.193 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727211.193 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727211.193 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.193 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.193 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.193 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.193 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.194 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re
1545727211.194 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727211.194 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727211.194 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.194 * [misc]backup-simplify:  Simplify im into im
1545727211.194 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727211.194 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.194 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727211.194 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727211.194 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727211.194 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.194 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.194 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.194 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.194 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.194 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
1545727211.194 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 0) into 0
1545727211.194 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.194 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
1545727211.194 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727211.194 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im
1545727211.194 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.194 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.194 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.194 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.194 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.195 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.195 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.195 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727211.195 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727211.195 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.195 * [misc]backup-simplify:  Simplify re into re
1545727211.195 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727211.195 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.195 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727211.195 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re)))
1545727211.195 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.195 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
1545727211.195 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545727211.196 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.197 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
1545727211.197 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.197 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.197 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1545727211.197 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.197 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.197 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.197 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1545727211.199 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727211.199 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0
1545727211.199 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.200 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.200 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.200 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.201 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.202 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.202 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.202 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.202 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727211.202 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.202 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.202 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.202 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.203 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727211.205 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727211.205 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727211.205 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.207 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.207 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727211.207 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.210 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.210 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727211.210 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.210 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.211 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1545727211.211 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.211 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.211 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.211 * [misc]backup-simplify:  Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re))
1545727211.211 * [misc]backup-simplify:  Simplify (* (* (exp (/ 1 (- re))) (sqrt (cos (/ 1 (- im))))) (sqrt (cos (/ 1 (- im))))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727211.211 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0
1545727211.211 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
1545727211.211 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727211.211 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727211.211 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.211 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.211 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.212 * [misc]backup-simplify:  Simplify re into re
1545727211.212 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727211.212 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.212 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.212 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.212 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.212 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.212 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.212 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.212 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.212 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.212 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.212 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
1545727211.212 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727211.212 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727211.212 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.212 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.212 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.212 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.212 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.212 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.213 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.213 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.213 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.213 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.213 * [misc]backup-simplify:  Simplify im into im
1545727211.213 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727211.213 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.213 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727211.213 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.213 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.213 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.213 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.213 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.213 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.213 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.213 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727211.213 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727211.214 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.214 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.214 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.214 * [misc]backup-simplify:  Simplify im into im
1545727211.214 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727211.214 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.214 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727211.214 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
1545727211.214 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 0) into 0
1545727211.214 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.214 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
1545727211.214 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727211.214 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im
1545727211.215 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727211.215 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727211.215 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.215 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.215 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.215 * [misc]backup-simplify:  Simplify re into re
1545727211.215 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727211.215 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.215 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.215 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.215 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.215 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.215 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.215 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.215 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.215 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.215 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.215 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727211.215 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im)))
1545727211.216 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.216 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
1545727211.216 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1545727211.217 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.218 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
1545727211.218 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.218 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.218 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
1545727211.218 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.218 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.218 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.218 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1545727211.219 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727211.220 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0
1545727211.220 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.221 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.221 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.221 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.222 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.223 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.223 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.223 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.223 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
1545727211.223 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.223 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.223 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.223 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.223 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727211.225 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727211.225 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0
1545727211.225 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.226 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.226 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727211.226 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.227 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.227 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727211.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.228 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0
1545727211.228 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.228 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.228 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.228 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re))
1545727211.228 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1545727211.228 * [misc]backup-simplify:  Simplify (sqrt (cos im)) into (sqrt (cos im))
1545727211.228 * [misc]approximate:  Taking taylor expansion of (sqrt (cos im)) in (im) around 0
1545727211.228 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.228 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.228 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.228 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.228 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.228 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.229 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.229 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.229 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.229 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.229 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.229 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.229 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.229 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.229 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.229 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.229 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.229 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.230 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2)
1545727211.231 * [misc]backup-simplify:  Simplify (/ (- (- 1/2) (pow 0 2) (+)) (* 2 1)) into -1/4
1545727211.231 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1545727211.232 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.232 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/4)))) (* 2 1)) into 0
1545727211.232 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.234 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24
1545727211.235 * [misc]backup-simplify:  Simplify (/ (- 1/24 (pow -1/4 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/96
1545727211.235 * [misc]backup-simplify:  Simplify -1/96 into -1/96
1545727211.235 * [misc]backup-simplify:  Simplify (+ (* -1/96 (pow im 4)) (+ (* -1/4 (pow im 2)) 1)) into (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))
1545727211.235 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.235 * [misc]approximate:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in (im) around 0
1545727211.235 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.235 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.235 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.235 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.235 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.235 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.235 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.235 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.235 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.235 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.235 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.236 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.236 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.236 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.236 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.236 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.236 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.236 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.237 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.237 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.237 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.237 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.237 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.238 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.238 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.238 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.238 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.238 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 (/ 1 im)))) into (sqrt (cos im))
1545727211.238 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 (- im)))) into (sqrt (cos (/ -1 im)))
1545727211.238 * [misc]approximate:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in (im) around 0
1545727211.238 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.239 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.239 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.239 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.239 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.239 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.239 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.239 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.239 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.239 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.239 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.239 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.239 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.239 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.239 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.239 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.239 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.239 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.239 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.239 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.239 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.240 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.240 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.240 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.240 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.241 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.241 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.241 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.241 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.242 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.242 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.242 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 (/ 1 (- im))))) into (sqrt (cos im))
1545727211.242 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1545727211.242 * [misc]backup-simplify:  Simplify (sqrt (cos im)) into (sqrt (cos im))
1545727211.242 * [misc]approximate:  Taking taylor expansion of (sqrt (cos im)) in (im) around 0
1545727211.242 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.242 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.242 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.242 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.242 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.242 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.242 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.243 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.243 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.243 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.243 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.243 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.243 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.243 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.243 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.243 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.243 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.243 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.244 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2)
1545727211.245 * [misc]backup-simplify:  Simplify (/ (- (- 1/2) (pow 0 2) (+)) (* 2 1)) into -1/4
1545727211.245 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1545727211.246 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.246 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/4)))) (* 2 1)) into 0
1545727211.246 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.248 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24
1545727211.249 * [misc]backup-simplify:  Simplify (/ (- 1/24 (pow -1/4 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/96
1545727211.249 * [misc]backup-simplify:  Simplify -1/96 into -1/96
1545727211.249 * [misc]backup-simplify:  Simplify (+ (* -1/96 (pow im 4)) (+ (* -1/4 (pow im 2)) 1)) into (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))
1545727211.249 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.249 * [misc]approximate:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in (im) around 0
1545727211.249 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.249 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.249 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.249 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.249 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.249 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.249 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.250 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.250 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.250 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.250 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.250 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.250 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.250 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.250 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.250 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.250 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.250 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.250 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.250 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.250 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.250 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.251 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.251 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.251 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.251 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.252 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.252 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.252 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.252 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.253 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.253 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.253 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 (/ 1 im)))) into (sqrt (cos im))
1545727211.253 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 (- im)))) into (sqrt (cos (/ -1 im)))
1545727211.253 * [misc]approximate:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in (im) around 0
1545727211.253 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.253 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.253 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.253 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.253 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.253 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.253 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.253 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.253 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.253 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.253 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.253 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.253 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.253 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.253 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.253 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.253 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.254 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.254 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.254 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.254 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.254 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.254 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.255 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.255 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.255 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.255 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.255 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.256 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.256 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.256 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.256 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 (/ 1 (- im))))) into (sqrt (cos im))
1545727211.256 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1)
1545727211.256 * [misc]backup-simplify:  Simplify (* (exp re) (sqrt (cos im))) into (* (sqrt (cos im)) (exp re))
1545727211.256 * [misc]approximate:  Taking taylor expansion of (* (sqrt (cos im)) (exp re)) in (re im) around 0
1545727211.256 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos im)) (exp re)) in im
1545727211.256 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.256 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.256 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.257 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.257 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.257 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.257 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.257 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.257 * [misc]taylor:  Taking taylor expansion of (exp re) in im
1545727211.257 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.257 * [misc]backup-simplify:  Simplify re into re
1545727211.257 * [misc]backup-simplify:  Simplify (exp re) into (exp re)
1545727211.257 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos im)) (exp re)) in re
1545727211.257 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in re
1545727211.257 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727211.257 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.257 * [misc]backup-simplify:  Simplify im into im
1545727211.257 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727211.257 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727211.257 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727211.257 * [misc]backup-simplify:  Simplify (* (sin im) 0) into 0
1545727211.257 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.257 * [misc]backup-simplify:  Simplify (+ (cos im) 0) into (cos im)
1545727211.257 * [misc]backup-simplify:  Simplify (sqrt (cos im)) into (sqrt (cos im))
1545727211.258 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.258 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 1)) into 0
1545727211.258 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.259 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 0)) into 0
1545727211.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.259 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.259 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos im)))) into 0
1545727211.259 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727211.259 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.259 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.259 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.259 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727211.259 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos im)) (exp re)) in re
1545727211.259 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in re
1545727211.259 * [misc]taylor:  Taking taylor expansion of (cos im) in re
1545727211.259 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.259 * [misc]backup-simplify:  Simplify im into im
1545727211.259 * [misc]backup-simplify:  Simplify (cos im) into (cos im)
1545727211.259 * [misc]backup-simplify:  Simplify (sin im) into (sin im)
1545727211.259 * [misc]backup-simplify:  Simplify (* (cos im) 1) into (cos im)
1545727211.259 * [misc]backup-simplify:  Simplify (* (sin im) 0) into 0
1545727211.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.260 * [misc]backup-simplify:  Simplify (+ (cos im) 0) into (cos im)
1545727211.260 * [misc]backup-simplify:  Simplify (sqrt (cos im)) into (sqrt (cos im))
1545727211.260 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.260 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (* 0 1)) into 0
1545727211.261 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.261 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (* 0 0)) into 0
1545727211.261 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.261 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.261 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos im)))) into 0
1545727211.261 * [misc]taylor:  Taking taylor expansion of (exp re) in re
1545727211.261 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.261 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.261 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.261 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545727211.261 * [misc]backup-simplify:  Simplify (* (sqrt (cos im)) 1) into (sqrt (cos im))
1545727211.261 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.261 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.261 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.261 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.261 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.261 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.261 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.262 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.262 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.263 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545727211.263 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos im)) 1) (* 0 1)) into (sqrt (cos im))
1545727211.263 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.263 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.263 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.263 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.263 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.263 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.263 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.263 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.263 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.263 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.265 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545727211.265 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.268 * [misc]backup-simplify:  Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.268 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.269 * [misc]backup-simplify:  Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.269 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.269 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos im)))) into 0
1545727211.270 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos im)) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sqrt (cos im)))
1545727211.270 * [misc]taylor:  Taking taylor expansion of (* 1/2 (sqrt (cos im))) in im
1545727211.270 * [misc]taylor:  Taking taylor expansion of 1/2 in im
1545727211.270 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727211.270 * [misc]taylor:  Taking taylor expansion of (sqrt (cos im)) in im
1545727211.270 * [misc]taylor:  Taking taylor expansion of (cos im) in im
1545727211.270 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.270 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.270 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.270 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1545727211.270 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.270 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1545727211.270 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545727211.270 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545727211.270 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1))
1545727211.271 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (sqrt (cos (/ 1 im)))) into (* (sqrt (cos (/ 1 im))) (exp (/ 1 re)))
1545727211.271 * [misc]approximate:  Taking taylor expansion of (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) in (re im) around 0
1545727211.271 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.271 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.271 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.271 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.271 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.271 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.271 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.271 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727211.271 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.271 * [misc]backup-simplify:  Simplify re into re
1545727211.271 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727211.271 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.271 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) in re
1545727211.271 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in re
1545727211.271 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727211.271 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727211.271 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.271 * [misc]backup-simplify:  Simplify im into im
1545727211.271 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727211.271 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.271 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727211.272 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
1545727211.272 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 0) into 0
1545727211.272 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.272 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
1545727211.272 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.272 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.272 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
1545727211.272 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545727211.273 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.273 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
1545727211.274 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.274 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.274 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.274 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.274 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.274 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.274 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.274 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.274 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1545727211.274 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.274 * [misc]backup-simplify:  Simplify im into im
1545727211.274 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545727211.275 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.275 * [misc]backup-simplify:  Simplify (sin (/ 1 im)) into (sin (/ 1 im))
1545727211.275 * [misc]backup-simplify:  Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im))
1545727211.275 * [misc]backup-simplify:  Simplify (* (sin (/ 1 im)) 0) into 0
1545727211.275 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.275 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im))
1545727211.275 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.275 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.275 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0
1545727211.275 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545727211.276 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.276 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0
1545727211.276 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.277 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.277 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in re
1545727211.277 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1545727211.277 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.277 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.277 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.277 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.277 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.277 * [misc]backup-simplify:  Simplify (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) into (* (sqrt (cos (/ 1 im))) (exp (/ 1 re)))
1545727211.277 * [misc]taylor:  Taking taylor expansion of (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ 1 im))) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 im)) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.277 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.277 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.277 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545727211.277 * [misc]backup-simplify:  Simplify (cos (/ 1 im)) into (cos (/ 1 im))
1545727211.277 * [misc]backup-simplify:  Simplify (sqrt (cos (/ 1 im))) into (sqrt (cos (/ 1 im)))
1545727211.277 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.277 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 re)) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1545727211.277 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.277 * [misc]backup-simplify:  Simplify re into re
1545727211.278 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545727211.278 * [misc]backup-simplify:  Simplify (exp (/ 1 re)) into (exp (/ 1 re))
1545727211.278 * [misc]backup-simplify:  Simplify (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) into (* (sqrt (cos (/ 1 im))) (exp (/ 1 re)))
1545727211.278 * [misc]backup-simplify:  Simplify (* (sqrt (cos (/ 1 im))) (exp (/ 1 re))) into (* (sqrt (cos (/ 1 im))) (exp (/ 1 re)))
1545727211.278 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos (/ 1 im))) 0) (* 0 (exp (/ 1 re)))) into 0
1545727211.278 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.278 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.278 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.278 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1545727211.279 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727211.279 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos (/ 1 im))) 0) (* 0 (exp (/ 1 re)))) into 0
1545727211.279 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.280 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.280 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.280 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.281 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.281 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.281 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.282 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.282 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos (/ 1 im))) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727211.282 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.282 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.282 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.282 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.282 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727211.284 * [misc]backup-simplify:  Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727211.284 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.285 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos (/ 1 im))) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0
1545727211.285 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.286 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.286 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727211.286 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.287 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.288 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727211.288 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.288 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.288 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ 1 im))))) into 0
1545727211.288 * [misc]backup-simplify:  Simplify (+ (* (sqrt (cos (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0
1545727211.288 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.288 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.288 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.288 * [misc]backup-simplify:  Simplify (* (sqrt (cos (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 re)))) into (* (sqrt (cos im)) (exp re))
1545727211.289 * [misc]backup-simplify:  Simplify (* (exp (/ 1 (- re))) (sqrt (cos (/ 1 (- im))))) into (* (exp (/ -1 re)) (sqrt (cos (/ -1 im))))
1545727211.289 * [misc]approximate:  Taking taylor expansion of (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) in (re im) around 0
1545727211.289 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.289 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.289 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.289 * [misc]backup-simplify:  Simplify re into re
1545727211.289 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727211.289 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.289 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.289 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.289 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.289 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.289 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.289 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.289 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.289 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.289 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.289 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.289 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.289 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.289 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.289 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.289 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.289 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.289 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.289 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727211.289 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.290 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.290 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.290 * [misc]backup-simplify:  Simplify im into im
1545727211.290 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727211.290 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.290 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727211.290 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
1545727211.290 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 0) into 0
1545727211.290 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.290 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
1545727211.290 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.290 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.290 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
1545727211.290 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1545727211.291 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.291 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
1545727211.291 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.291 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.291 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.292 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.292 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.292 * [misc]taylor:  Taking taylor expansion of re in re
1545727211.292 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.292 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.292 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.292 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.292 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1545727211.292 * [misc]taylor:  Taking taylor expansion of -1 in re
1545727211.292 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.292 * [misc]taylor:  Taking taylor expansion of im in re
1545727211.292 * [misc]backup-simplify:  Simplify im into im
1545727211.292 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1545727211.292 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.292 * [misc]backup-simplify:  Simplify (sin (/ -1 im)) into (sin (/ -1 im))
1545727211.292 * [misc]backup-simplify:  Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im))
1545727211.292 * [misc]backup-simplify:  Simplify (* (sin (/ -1 im)) 0) into 0
1545727211.292 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.292 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im))
1545727211.292 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.292 * [misc]backup-simplify:  Simplify (+ 0) into 0
1545727211.293 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0
1545727211.293 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1545727211.293 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1545727211.293 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0
1545727211.294 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.294 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.294 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.294 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) into (* (exp (/ -1 re)) (sqrt (cos (/ -1 im))))
1545727211.294 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 re)) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.294 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.294 * [misc]taylor:  Taking taylor expansion of re in im
1545727211.294 * [misc]backup-simplify:  Simplify re into re
1545727211.294 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1545727211.294 * [misc]backup-simplify:  Simplify (exp (/ -1 re)) into (exp (/ -1 re))
1545727211.294 * [misc]taylor:  Taking taylor expansion of (sqrt (cos (/ -1 im))) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 im)) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1545727211.294 * [misc]taylor:  Taking taylor expansion of -1 in im
1545727211.294 * [misc]backup-simplify:  Simplify -1 into -1
1545727211.294 * [misc]taylor:  Taking taylor expansion of im in im
1545727211.294 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.294 * [misc]backup-simplify:  Simplify 1 into 1
1545727211.294 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545727211.294 * [misc]backup-simplify:  Simplify (cos (/ -1 im)) into (cos (/ -1 im))
1545727211.294 * [misc]backup-simplify:  Simplify (sqrt (cos (/ -1 im))) into (sqrt (cos (/ -1 im)))
1545727211.294 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.295 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) into (* (exp (/ -1 re)) (sqrt (cos (/ -1 im))))
1545727211.295 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (sqrt (cos (/ -1 im)))) into (* (exp (/ -1 re)) (sqrt (cos (/ -1 im))))
1545727211.295 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sqrt (cos (/ -1 im))))) into 0
1545727211.295 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.295 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.295 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.295 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1545727211.296 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0
1545727211.296 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sqrt (cos (/ -1 im))))) into 0
1545727211.296 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.297 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1545727211.297 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0
1545727211.297 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.297 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.298 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0
1545727211.298 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.298 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.298 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.298 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sqrt (cos (/ -1 im)))))) into 0
1545727211.299 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.299 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.299 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.299 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.299 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.299 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1545727211.300 * [misc]backup-simplify:  Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545727211.301 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sqrt (cos (/ -1 im)))))) into 0
1545727211.301 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.302 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1545727211.302 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545727211.302 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545727211.303 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1545727211.304 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1545727211.304 * [misc]backup-simplify:  Simplify (- 0) into 0
1545727211.304 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545727211.304 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (cos (/ -1 im))))) into 0
1545727211.304 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (cos (/ -1 im))))))) into 0
1545727211.304 * [misc]taylor:  Taking taylor expansion of 0 in im
1545727211.304 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.304 * [misc]backup-simplify:  Simplify 0 into 0
1545727211.305 * [misc]backup-simplify:  Simplify (* (exp (/ -1 (/ 1 (- re)))) (sqrt (cos (/ -1 (/ 1 (- im)))))) into (* (sqrt (cos im)) (exp re))
1545727211.305 * * * [misc]progress:  simplifying candidates
1545727211.305 * * * * [misc]progress:  [ 1 / 77 ] simplifiying candidate #<alt (λ (re im) (pow (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))) 1))>
1545727211.305 * [enter]simplify:  Simplifying (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))
1545727211.305 * * [misc]simplify:  iters left: 6 (7 enodes)
1545727211.306 * * [misc]simplify:  iters left: 5 (11 enodes)
1545727211.308 * * [misc]simplify:  iters left: 4 (12 enodes)
1545727211.309 * * [misc]simplify:  iters left: 3 (13 enodes)
1545727211.311 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727211.311 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1))
1545727211.311 * * * * [misc]progress:  [ 2 / 77 ] simplifiying candidate #<alt (λ (re im) (pow (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))) 1))>
1545727211.311 * [enter]simplify:  Simplifying (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))
1545727211.311 * * [misc]simplify:  iters left: 6 (7 enodes)
1545727211.312 * * [misc]simplify:  iters left: 5 (11 enodes)
1545727211.314 * * [misc]simplify:  iters left: 4 (12 enodes)
1545727211.315 * * [misc]simplify:  iters left: 3 (13 enodes)
1545727211.317 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727211.317 * [misc]simplify:  Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1))
1545727211.317 * * * * [misc]progress:  [ 3 / 77 ] simplifiying candidate #<alt (λ (re im) (pow (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))) 1))>
1545727211.317 * * * * [misc]progress:  [ 4 / 77 ] simplifiying candidate #<alt (λ (re im) (exp (+ (+ re (log (sqrt (cos im)))) (log (sqrt (cos im))))))>
1545727211.317 * [enter]simplify:  Simplifying (+ (+ re (log (sqrt (cos im)))) (log (sqrt (cos im))))
1545727211.317 * * [misc]simplify:  iters left: 6 (7 enodes)
1545727211.318 * * [misc]simplify:  iters left: 5 (11 enodes)
1545727211.320 * * [misc]simplify:  iters left: 4 (12 enodes)
1545727211.321 * [exit]simplify:  Simplified to (+ (+ re (log (sqrt (cos im)))) (log (sqrt (cos im))))
1545727211.321 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (+ re (log (sqrt (cos im)))) (log (sqrt (cos im))))))
1545727211.321 * * * * [misc]progress:  [ 5 / 77 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (* (exp re) (sqrt (cos im)))) (log (sqrt (cos im))))))>
1545727211.321 * [enter]simplify:  Simplifying (+ (log (* (exp re) (sqrt (cos im)))) (log (sqrt (cos im))))
1545727211.321 * * [misc]simplify:  iters left: 6 (9 enodes)
1545727211.323 * * [misc]simplify:  iters left: 5 (13 enodes)
1545727211.325 * * [misc]simplify:  iters left: 4 (18 enodes)
1545727211.327 * * [misc]simplify:  iters left: 3 (20 enodes)
1545727211.329 * [exit]simplify:  Simplified to (+ (log (sqrt (cos im))) (+ re (log (sqrt (cos im)))))
1545727211.329 * [misc]simplify:  Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (cos im))) (+ re (log (sqrt (cos im)))))))
1545727211.329 * * * * [misc]progress:  [ 6 / 77 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))))>
1545727211.329 * * * * [misc]progress:  [ 7 / 77 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))))>
1545727211.329 * * * * [misc]progress:  [ 8 / 77 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* (exp re) (exp re)) (exp re)) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im)))) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))))>
1545727211.329 * [enter]simplify:  Simplifying (* (* (* (* (exp re) (exp re)) (exp re)) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im)))) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))
1545727211.330 * * [misc]simplify:  iters left: 6 (11 enodes)
1545727211.332 * * [misc]simplify:  iters left: 5 (25 enodes)
1545727211.336 * * [misc]simplify:  iters left: 4 (85 enodes)
1545727211.359 * * [misc]simplify:  iters left: 3 (209 enodes)
1545727211.433 * * [misc]simplify:  iters left: 2 (388 enodes)
1545727211.533 * * [misc]simplify:  iters left: 1 (452 enodes)
1545727211.674 * [exit]simplify:  Simplified to (pow (* (exp re) (cos im)) 3)
1545727211.675 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3)))
1545727211.675 * * * * [misc]progress:  [ 9 / 77 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* (exp re) (sqrt (cos im))) (* (exp re) (sqrt (cos im)))) (* (exp re) (sqrt (cos im)))) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))))>
1545727211.675 * [enter]simplify:  Simplifying (* (* (* (* (exp re) (sqrt (cos im))) (* (exp re) (sqrt (cos im)))) (* (exp re) (sqrt (cos im)))) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))
1545727211.675 * * [misc]simplify:  iters left: 6 (11 enodes)
1545727211.679 * * [misc]simplify:  iters left: 5 (25 enodes)
1545727211.688 * * [misc]simplify:  iters left: 4 (75 enodes)
1545727211.718 * * [misc]simplify:  iters left: 3 (209 enodes)
1545727211.819 * * [misc]simplify:  iters left: 2 (370 enodes)
1545727211.996 * * [misc]simplify:  iters left: 1 (447 enodes)
1545727212.124 * [exit]simplify:  Simplified to (pow (* (cos im) (exp re)) 3)
1545727212.124 * [misc]simplify:  Simplified (2 1) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3)))
1545727212.124 * * * * [misc]progress:  [ 10 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) (cbrt (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))) (cbrt (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))))>
1545727212.124 * * * * [misc]progress:  [ 11 / 77 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))))>
1545727212.124 * * * * [misc]progress:  [ 12 / 77 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) (sqrt (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))))>
1545727212.124 * * * * [misc]progress:  [ 13 / 77 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))))>
1545727212.124 * * * * [misc]progress:  [ 14 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))))) (cbrt (sqrt (cos im)))))>
1545727212.124 * [enter]simplify:  Simplifying (cbrt (sqrt (cos im)))
1545727212.124 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.125 * [exit]simplify:  Simplified to (cbrt (sqrt (cos im)))
1545727212.125 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))))) (cbrt (sqrt (cos im)))))
1545727212.125 * * * * [misc]progress:  [ 15 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (* (cbrt (cos im)) (cbrt (cos im))))) (sqrt (cbrt (cos im)))))>
1545727212.125 * [enter]simplify:  Simplifying (sqrt (cbrt (cos im)))
1545727212.125 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.126 * [exit]simplify:  Simplified to (sqrt (cbrt (cos im)))
1545727212.126 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (* (cbrt (cos im)) (cbrt (cos im))))) (sqrt (cbrt (cos im)))))
1545727212.126 * * * * [misc]progress:  [ 16 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))))>
1545727212.126 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.126 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.127 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.127 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))))
1545727212.127 * * * * [misc]progress:  [ 17 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt 1)) (sqrt (cos im))))>
1545727212.127 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.127 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.127 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.127 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt 1)) (sqrt (cos im))))
1545727212.128 * * * * [misc]progress:  [ 18 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))))>
1545727212.128 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.128 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.128 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.128 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))))
1545727212.128 * * * * [misc]progress:  [ 19 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (cos im))) 1) (sqrt (cos im))))>
1545727212.128 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.128 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.129 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.129 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (* (exp re) (sqrt (cos im))) 1) (sqrt (cos im))))
1545727212.129 * * * * [misc]progress:  [ 20 / 77 ] simplifiying candidate #<alt (λ (re im) (* (exp re) (* (sqrt (cos im)) (sqrt (cos im)))))>
1545727212.129 * [enter]simplify:  Simplifying (exp re)
1545727212.129 * * [misc]simplify:  iters left: 1 (2 enodes)
1545727212.129 * [exit]simplify:  Simplified to (exp re)
1545727212.129 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (exp re) (* (sqrt (cos im)) (sqrt (cos im)))))
1545727212.129 * * * * [misc]progress:  [ 21 / 77 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (cos im)) (* (exp re) (sqrt (cos im)))))>
1545727212.129 * * * * [misc]progress:  [ 22 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (pow (cos im) 1/2)))>
1545727212.129 * * * * [misc]progress:  [ 23 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (pow (sqrt (cos im)) 1)))>
1545727212.130 * * * * [misc]progress:  [ 24 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (exp (log (sqrt (cos im))))))>
1545727212.130 * * * * [misc]progress:  [ 25 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (log (exp (sqrt (cos im))))))>
1545727212.130 * * * * [misc]progress:  [ 26 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (cbrt (sqrt (cos im))))))>
1545727212.130 * * * * [misc]progress:  [ 27 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (cbrt (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))))>
1545727212.130 * * * * [misc]progress:  [ 28 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (sqrt (* (cbrt (cos im)) (cbrt (cos im)))) (sqrt (cbrt (cos im))))))>
1545727212.130 * [enter]simplify:  Simplifying (sqrt (* (cbrt (cos im)) (cbrt (cos im))))
1545727212.130 * * [misc]simplify:  iters left: 5 (5 enodes)
1545727212.131 * * [misc]simplify:  iters left: 4 (6 enodes)
1545727212.131 * [exit]simplify:  Simplified to (fabs (cbrt (cos im)))
1545727212.131 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (fabs (cbrt (cos im))) (sqrt (cbrt (cos im))))))
1545727212.131 * * * * [misc]progress:  [ 29 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))))>
1545727212.132 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.132 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.132 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.132 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))))
1545727212.132 * * * * [misc]progress:  [ 30 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (sqrt 1) (sqrt (cos im)))))>
1545727212.132 * [enter]simplify:  Simplifying (sqrt 1)
1545727212.132 * * [misc]simplify:  iters left: 1 (2 enodes)
1545727212.133 * [exit]simplify:  Simplified to 1
1545727212.133 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (* 1 (sqrt (cos im)))))
1545727212.133 * * * * [misc]progress:  [ 31 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))))>
1545727212.133 * * * * [misc]progress:  [ 32 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (fabs (sqrt (cos im)))))>
1545727212.134 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.134 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.134 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.134 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (fabs (sqrt (cos im)))))
1545727212.134 * * * * [misc]progress:  [ 33 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (* 1 (sqrt (cos im)))))>
1545727212.134 * * * * [misc]progress:  [ 34 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (pow (cos im) 1/2)) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 35 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (pow (sqrt (cos im)) 1)) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 36 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (exp (log (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 37 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (log (exp (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 38 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im)))) (cbrt (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 39 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (cbrt (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.134 * * * * [misc]progress:  [ 40 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (sqrt (* (cbrt (cos im)) (cbrt (cos im)))) (sqrt (cbrt (cos im))))) (sqrt (cos im))))>
1545727212.134 * [enter]simplify:  Simplifying (sqrt (* (cbrt (cos im)) (cbrt (cos im))))
1545727212.134 * * [misc]simplify:  iters left: 5 (5 enodes)
1545727212.135 * * [misc]simplify:  iters left: 4 (6 enodes)
1545727212.136 * [exit]simplify:  Simplified to (fabs (cbrt (cos im)))
1545727212.136 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (fabs (cbrt (cos im))) (sqrt (cbrt (cos im))))) (sqrt (cos im))))
1545727212.136 * * * * [misc]progress:  [ 41 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.136 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.136 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.137 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.137 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))) (sqrt (cos im))))
1545727212.137 * * * * [misc]progress:  [ 42 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (sqrt 1) (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.137 * [enter]simplify:  Simplifying (sqrt 1)
1545727212.137 * * [misc]simplify:  iters left: 1 (2 enodes)
1545727212.138 * [exit]simplify:  Simplified to 1
1545727212.138 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (* 1 (sqrt (cos im)))) (sqrt (cos im))))
1545727212.138 * * * * [misc]progress:  [ 43 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* (sqrt (sqrt (cos im))) (sqrt (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.138 * * * * [misc]progress:  [ 44 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (fabs (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.138 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.138 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.138 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.139 * [misc]simplify:  Simplified (2 1 2 1) to (λ (re im) (* (* (exp re) (fabs (sqrt (cos im)))) (sqrt (cos im))))
1545727212.139 * * * * [misc]progress:  [ 45 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (* 1 (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.139 * * * * [misc]progress:  [ 46 / 77 ] simplifiying candidate #<alt (λ (re im) (* (pow (* (exp re) (sqrt (cos im))) 1) (sqrt (cos im))))>
1545727212.139 * [enter]simplify:  Simplifying (* (exp re) (sqrt (cos im)))
1545727212.139 * * [misc]simplify:  iters left: 4 (6 enodes)
1545727212.140 * * [misc]simplify:  iters left: 3 (7 enodes)
1545727212.141 * [exit]simplify:  Simplified to (* (exp re) (sqrt (cos im)))
1545727212.141 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (pow (* (exp re) (sqrt (cos im))) 1) (sqrt (cos im))))
1545727212.141 * * * * [misc]progress:  [ 47 / 77 ] simplifiying candidate #<alt (λ (re im) (* (pow (* (exp re) (sqrt (cos im))) 1) (sqrt (cos im))))>
1545727212.141 * * * * [misc]progress:  [ 48 / 77 ] simplifiying candidate #<alt (λ (re im) (* (exp (+ re (log (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.141 * [enter]simplify:  Simplifying (+ re (log (sqrt (cos im))))
1545727212.141 * * [misc]simplify:  iters left: 5 (6 enodes)
1545727212.142 * * [misc]simplify:  iters left: 4 (7 enodes)
1545727212.143 * [exit]simplify:  Simplified to (+ re (log (sqrt (cos im))))
1545727212.143 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (exp (+ re (log (sqrt (cos im))))) (sqrt (cos im))))
1545727212.143 * * * * [misc]progress:  [ 49 / 77 ] simplifiying candidate #<alt (λ (re im) (* (exp (log (* (exp re) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.143 * * * * [misc]progress:  [ 50 / 77 ] simplifiying candidate #<alt (λ (re im) (* (log (exp (* (exp re) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.143 * * * * [misc]progress:  [ 51 / 77 ] simplifiying candidate #<alt (λ (re im) (* (cbrt (* (* (* (exp re) (exp re)) (exp re)) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.143 * [enter]simplify:  Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sqrt (cos im)) (sqrt (cos im))) (sqrt (cos im))))
1545727212.143 * * [misc]simplify:  iters left: 6 (10 enodes)
1545727212.145 * * [misc]simplify:  iters left: 5 (19 enodes)
1545727212.148 * * [misc]simplify:  iters left: 4 (49 enodes)
1545727212.157 * * [misc]simplify:  iters left: 3 (80 enodes)
1545727212.169 * * [misc]simplify:  iters left: 2 (100 enodes)
1545727212.192 * * [misc]simplify:  iters left: 1 (103 enodes)
1545727212.204 * [exit]simplify:  Simplified to (* (* (exp re) (cos im)) (* (sqrt (cos im)) (* (exp re) (exp re))))
1545727212.204 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (cbrt (* (* (exp re) (cos im)) (* (sqrt (cos im)) (* (exp re) (exp re))))) (sqrt (cos im))))
1545727212.204 * * * * [misc]progress:  [ 52 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (cbrt (* (exp re) (sqrt (cos im)))) (cbrt (* (exp re) (sqrt (cos im))))) (cbrt (* (exp re) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.204 * * * * [misc]progress:  [ 53 / 77 ] simplifiying candidate #<alt (λ (re im) (* (cbrt (* (* (* (exp re) (sqrt (cos im))) (* (exp re) (sqrt (cos im)))) (* (exp re) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.204 * * * * [misc]progress:  [ 54 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (* (exp re) (sqrt (cos im)))) (sqrt (* (exp re) (sqrt (cos im))))) (sqrt (cos im))))>
1545727212.204 * * * * [misc]progress:  [ 55 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (* (exp re) (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.204 * * * * [misc]progress:  [ 56 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))))) (cbrt (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.204 * [enter]simplify:  Simplifying (cbrt (sqrt (cos im)))
1545727212.204 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.205 * [exit]simplify:  Simplified to (cbrt (sqrt (cos im)))
1545727212.205 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) (* (cbrt (sqrt (cos im))) (cbrt (sqrt (cos im))))) (cbrt (sqrt (cos im)))) (sqrt (cos im))))
1545727212.205 * * * * [misc]progress:  [ 57 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (* (cbrt (cos im)) (cbrt (cos im))))) (sqrt (cbrt (cos im)))) (sqrt (cos im))))>
1545727212.205 * [enter]simplify:  Simplifying (sqrt (cbrt (cos im)))
1545727212.205 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.206 * [exit]simplify:  Simplified to (sqrt (cbrt (cos im)))
1545727212.206 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) (sqrt (* (cbrt (cos im)) (cbrt (cos im))))) (sqrt (cbrt (cos im)))) (sqrt (cos im))))
1545727212.206 * * * * [misc]progress:  [ 58 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.206 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.206 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.206 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.207 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))) (sqrt (cos im))))
1545727212.207 * * * * [misc]progress:  [ 59 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt 1)) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.207 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.207 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.207 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.207 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) (sqrt 1)) (sqrt (cos im))) (sqrt (cos im))))
1545727212.207 * * * * [misc]progress:  [ 60 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.207 * [enter]simplify:  Simplifying (sqrt (sqrt (cos im)))
1545727212.207 * * [misc]simplify:  iters left: 3 (4 enodes)
1545727212.208 * [exit]simplify:  Simplified to (sqrt (sqrt (cos im)))
1545727212.208 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) (sqrt (sqrt (cos im)))) (sqrt (sqrt (cos im)))) (sqrt (cos im))))
1545727212.208 * * * * [misc]progress:  [ 61 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (exp re) 1) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.208 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.208 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.209 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.209 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (* (exp re) 1) (sqrt (cos im))) (sqrt (cos im))))
1545727212.209 * * * * [misc]progress:  [ 62 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.209 * [enter]simplify:  Simplifying (* (cbrt (exp re)) (cbrt (exp re)))
1545727212.209 * * [misc]simplify:  iters left: 4 (4 enodes)
1545727212.209 * [exit]simplify:  Simplified to (* (cbrt (exp re)) (cbrt (exp re)))
1545727212.209 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sqrt (cos im)))) (sqrt (cos im))))
1545727212.209 * * * * [misc]progress:  [ 63 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (exp re)) (* (sqrt (exp re)) (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.210 * [enter]simplify:  Simplifying (sqrt (exp re))
1545727212.210 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.210 * [exit]simplify:  Simplified to (sqrt (exp re))
1545727212.210 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (* (sqrt (exp re)) (* (sqrt (exp re)) (sqrt (cos im)))) (sqrt (cos im))))
1545727212.210 * * * * [misc]progress:  [ 64 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (* (exp re) (sqrt (cos im)))) (sqrt (cos im))))>
1545727212.210 * * * * [misc]progress:  [ 65 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (cos im)) (exp re)) (sqrt (cos im))))>
1545727212.210 * * * * [misc]progress:  [ 66 / 77 ] simplifiying candidate #<alt (λ (re im) (+ re (+ (* 1/2 (pow re 2)) 1)))>
1545727212.210 * [enter]simplify:  Simplifying (+ re (+ (* 1/2 (pow re 2)) 1))
1545727212.210 * * [misc]simplify:  iters left: 6 (8 enodes)
1545727212.212 * * [misc]simplify:  iters left: 5 (16 enodes)
1545727212.214 * * [misc]simplify:  iters left: 4 (26 enodes)
1545727212.217 * * [misc]simplify:  iters left: 3 (31 enodes)
1545727212.221 * * [misc]simplify:  iters left: 2 (33 enodes)
1545727212.225 * * [misc]simplify:  iters left: 1 (39 enodes)
1545727212.235 * [exit]simplify:  Simplified to (+ (* (* re re) 1/2) (+ 1 re))
1545727212.235 * [misc]simplify:  Simplified (2) to (λ (re im) (+ (* (* re re) 1/2) (+ 1 re)))
1545727212.235 * * * * [misc]progress:  [ 67 / 77 ] simplifiying candidate #<alt (λ (re im) (* (cos im) (exp re)))>
1545727212.235 * [enter]simplify:  Simplifying (* (cos im) (exp re))
1545727212.235 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727212.237 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727212.238 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727212.238 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (cos im)))
1545727212.238 * * * * [misc]progress:  [ 68 / 77 ] simplifiying candidate #<alt (λ (re im) (* (cos im) (exp re)))>
1545727212.239 * [enter]simplify:  Simplifying (* (cos im) (exp re))
1545727212.239 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727212.240 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727212.242 * [exit]simplify:  Simplified to (* (exp re) (cos im))
1545727212.242 * [misc]simplify:  Simplified (2) to (λ (re im) (* (exp re) (cos im)))
1545727212.242 * * * * [misc]progress:  [ 69 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))))>
1545727212.242 * [enter]simplify:  Simplifying (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))
1545727212.242 * * [misc]simplify:  iters left: 6 (12 enodes)
1545727212.245 * * [misc]simplify:  iters left: 5 (22 enodes)
1545727212.248 * * [misc]simplify:  iters left: 4 (34 enodes)
1545727212.255 * * [misc]simplify:  iters left: 3 (66 enodes)
1545727212.266 * * [misc]simplify:  iters left: 2 (87 enodes)
1545727212.280 * * [misc]simplify:  iters left: 1 (103 enodes)
1545727212.315 * [exit]simplify:  Simplified to (- (* -1/96 (pow im 4)) (+ (* 1/4 (* im im)) -1))
1545727212.315 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (- (* -1/96 (pow im 4)) (+ (* 1/4 (* im im)) -1))))
1545727212.315 * * * * [misc]progress:  [ 70 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.315 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.316 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.317 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.317 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.317 * * * * [misc]progress:  [ 71 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.317 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.317 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.318 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.318 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.318 * * * * [misc]progress:  [ 72 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))) (sqrt (cos im))))>
1545727212.318 * [enter]simplify:  Simplifying (- 1 (+ (* 1/4 (pow im 2)) (* 1/96 (pow im 4))))
1545727212.318 * * [misc]simplify:  iters left: 6 (12 enodes)
1545727212.322 * * [misc]simplify:  iters left: 5 (22 enodes)
1545727212.329 * * [misc]simplify:  iters left: 4 (34 enodes)
1545727212.340 * * [misc]simplify:  iters left: 3 (66 enodes)
1545727212.360 * * [misc]simplify:  iters left: 2 (87 enodes)
1545727212.381 * * [misc]simplify:  iters left: 1 (103 enodes)
1545727212.414 * [exit]simplify:  Simplified to (- (* -1/96 (pow im 4)) (+ (* 1/4 (* im im)) -1))
1545727212.414 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (exp re) (- (* -1/96 (pow im 4)) (+ (* 1/4 (* im im)) -1))) (sqrt (cos im))))
1545727212.414 * * * * [misc]progress:  [ 73 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.415 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.415 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.416 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.416 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.416 * * * * [misc]progress:  [ 74 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))>
1545727212.416 * [enter]simplify:  Simplifying (sqrt (cos im))
1545727212.416 * * [misc]simplify:  iters left: 2 (3 enodes)
1545727212.417 * [exit]simplify:  Simplified to (sqrt (cos im))
1545727212.417 * [misc]simplify:  Simplified (2 1 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.417 * * * * [misc]progress:  [ 75 / 77 ] simplifiying candidate #<alt (λ (re im) (* (+ re (+ (* 1/2 (pow re 2)) 1)) (sqrt (cos im))))>
1545727212.417 * [enter]simplify:  Simplifying (+ re (+ (* 1/2 (pow re 2)) 1))
1545727212.417 * * [misc]simplify:  iters left: 6 (8 enodes)
1545727212.420 * * [misc]simplify:  iters left: 5 (16 enodes)
1545727212.424 * * [misc]simplify:  iters left: 4 (26 enodes)
1545727212.431 * * [misc]simplify:  iters left: 3 (31 enodes)
1545727212.437 * * [misc]simplify:  iters left: 2 (33 enodes)
1545727212.444 * * [misc]simplify:  iters left: 1 (39 enodes)
1545727212.454 * [exit]simplify:  Simplified to (+ (* (* re re) 1/2) (+ 1 re))
1545727212.454 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (+ (* (* re re) 1/2) (+ 1 re)) (sqrt (cos im))))
1545727212.454 * * * * [misc]progress:  [ 76 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (cos im)) (exp re)) (sqrt (cos im))))>
1545727212.454 * [enter]simplify:  Simplifying (* (sqrt (cos im)) (exp re))
1545727212.454 * * [misc]simplify:  iters left: 4 (6 enodes)
1545727212.456 * * [misc]simplify:  iters left: 3 (7 enodes)
1545727212.458 * [exit]simplify:  Simplified to (* (exp re) (sqrt (cos im)))
1545727212.459 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.459 * * * * [misc]progress:  [ 77 / 77 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (cos im)) (exp re)) (sqrt (cos im))))>
1545727212.459 * [enter]simplify:  Simplifying (* (sqrt (cos im)) (exp re))
1545727212.459 * * [misc]simplify:  iters left: 4 (6 enodes)
1545727212.461 * * [misc]simplify:  iters left: 3 (7 enodes)
1545727212.463 * [exit]simplify:  Simplified to (* (exp re) (sqrt (cos im)))
1545727212.463 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))
1545727212.464 * * * [misc]progress:  adding candidates to table
1545727213.251 * [misc]progress:  [Phase 3 of 3] Extracting.
1545727213.251 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.252 * * * [misc]regime-changes:  Trying 5 branch expressions: (im (cos im) re (exp re) (* (exp re) (cos im)))
1545727213.252 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.285 * * * * [misc]regimes:  Trying to branch on (cos im) from (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.306 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.328 * * * * [misc]regimes:  Trying to branch on (exp re) from (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.350 * * * * [misc]regimes:  Trying to branch on (* (exp re) (cos im)) from (#<alt (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im))))> #<alt (λ (re im) (* (exp re) (cos im)))>)
1545727213.387 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545727213.387 * [enter]simplify:  Simplifying (* (exp re) (cos im))
1545727213.387 * * [misc]simplify:  iters left: 3 (5 enodes)
1545727213.388 * * [misc]simplify:  iters left: 2 (6 enodes)
1545727213.388 * [exit]simplify:  Simplified to (* (cos im) (exp re))
1545727213.388 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545727215.886 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727215.889 * * * * [misc]points:  Sampling 1950 additional inputs, on iter 1 have 6050 / 8000
1545727216.411 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.412 * * * * [misc]points:  Sampling 500 additional inputs, on iter 2 have 7500 / 8000
1545727216.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.515 * * * * [misc]points:  Sampling 138 additional inputs, on iter 3 have 7862 / 8000
1545727216.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.568 * * * * [misc]points:  Sampling 31 additional inputs, on iter 4 have 7969 / 8000
1545727216.580 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.580 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 7992 / 8000
1545727216.584 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.584 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7997 / 8000
1545727216.586 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545727216.586 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545727216.886 * [misc]regime-testing:  Baseline error score: 0.006948120312590144
1545727216.887 * [misc]regime-testing:  Oracle error score: 0.006198120312590144