1553847444.291 * [progress]: [Phase 1 of 3] Setting up. 1553847444.291 * * * [progress]: [1/2] Preparing points 1553847444.526 * * * [progress]: [2/2] Setting up program. 1553847444.529 * [progress]: [Phase 2 of 3] Improving. 1553847444.529 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553847444.529 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553847444.529 * * [simplify]: iters left: 6 (11 enodes) 1553847444.533 * * [simplify]: iters left: 5 (49 enodes) 1553847444.542 * * [simplify]: iters left: 4 (94 enodes) 1553847444.558 * * [simplify]: iters left: 3 (152 enodes) 1553847444.592 * * [simplify]: iters left: 2 (176 enodes) 1553847444.614 * * [simplify]: iters left: 1 (200 enodes) 1553847444.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847444.636 * * [simplify]: Extracting #1: cost 10 inf + 0 1553847444.636 * * [simplify]: Extracting #2: cost 27 inf + 1 1553847444.636 * * [simplify]: Extracting #3: cost 38 inf + 3 1553847444.637 * * [simplify]: Extracting #4: cost 37 inf + 228 1553847444.637 * * [simplify]: Extracting #5: cost 26 inf + 1182 1553847444.639 * * [simplify]: Extracting #6: cost 3 inf + 5294 1553847444.641 * * [simplify]: Extracting #7: cost 0 inf + 5910 1553847444.644 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1553847444.644 * [simplify]: Simplified (2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))) 1553847444.660 * * [progress]: iteration 1 / 4 1553847444.660 * * * [progress]: picking best candidate 1553847444.666 * * * * [pick]: Picked # 1553847444.666 * * * [progress]: localizing error 1553847444.696 * * * [progress]: generating rewritten candidates 1553847444.696 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553847444.820 * * * [progress]: generating series expansions 1553847444.820 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553847444.824 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553847444.824 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0 1553847444.825 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im 1553847444.825 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.825 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.825 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im 1553847444.825 * [taylor]: Taking taylor expansion of (sin re) in im 1553847444.825 * [taylor]: Taking taylor expansion of re in im 1553847444.825 * [backup-simplify]: Simplify re into re 1553847444.825 * [backup-simplify]: Simplify (sin re) into (sin re) 1553847444.825 * [backup-simplify]: Simplify (cos re) into (cos re) 1553847444.825 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1553847444.825 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553847444.825 * [taylor]: Taking taylor expansion of (- im) in im 1553847444.825 * [taylor]: Taking taylor expansion of im in im 1553847444.825 * [backup-simplify]: Simplify 0 into 0 1553847444.825 * [backup-simplify]: Simplify 1 into 1 1553847444.826 * [backup-simplify]: Simplify (- 0) into 0 1553847444.826 * [backup-simplify]: Simplify (- 1) into -1 1553847444.826 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.826 * [taylor]: Taking taylor expansion of (exp im) in im 1553847444.826 * [taylor]: Taking taylor expansion of im in im 1553847444.826 * [backup-simplify]: Simplify 0 into 0 1553847444.826 * [backup-simplify]: Simplify 1 into 1 1553847444.826 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.826 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 1553847444.826 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.826 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.826 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 1553847444.826 * [taylor]: Taking taylor expansion of (sin re) in re 1553847444.826 * [taylor]: Taking taylor expansion of re in re 1553847444.826 * [backup-simplify]: Simplify 0 into 0 1553847444.826 * [backup-simplify]: Simplify 1 into 1 1553847444.826 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1553847444.826 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1553847444.826 * [taylor]: Taking taylor expansion of (- im) in re 1553847444.826 * [taylor]: Taking taylor expansion of im in re 1553847444.826 * [backup-simplify]: Simplify im into im 1553847444.827 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.827 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.827 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1553847444.827 * [taylor]: Taking taylor expansion of (exp im) in re 1553847444.827 * [taylor]: Taking taylor expansion of im in re 1553847444.827 * [backup-simplify]: Simplify im into im 1553847444.827 * [backup-simplify]: Simplify (exp im) into (exp im) 1553847444.827 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 1553847444.827 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.827 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.827 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 1553847444.827 * [taylor]: Taking taylor expansion of (sin re) in re 1553847444.827 * [taylor]: Taking taylor expansion of re in re 1553847444.827 * [backup-simplify]: Simplify 0 into 0 1553847444.827 * [backup-simplify]: Simplify 1 into 1 1553847444.827 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1553847444.827 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1553847444.827 * [taylor]: Taking taylor expansion of (- im) in re 1553847444.827 * [taylor]: Taking taylor expansion of im in re 1553847444.827 * [backup-simplify]: Simplify im into im 1553847444.827 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.827 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.827 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1553847444.827 * [taylor]: Taking taylor expansion of (exp im) in re 1553847444.827 * [taylor]: Taking taylor expansion of im in re 1553847444.827 * [backup-simplify]: Simplify im into im 1553847444.827 * [backup-simplify]: Simplify (exp im) into (exp im) 1553847444.828 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 1553847444.828 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0 1553847444.828 * [backup-simplify]: Simplify (* 0.5 0) into 0 1553847444.828 * [taylor]: Taking taylor expansion of 0 in im 1553847444.828 * [backup-simplify]: Simplify 0 into 0 1553847444.828 * [backup-simplify]: Simplify 0 into 0 1553847444.828 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.829 * [backup-simplify]: Simplify (- 0) into 0 1553847444.830 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.830 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.830 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.831 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553847444.831 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im)) 1553847444.832 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) 1553847444.832 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im 1553847444.832 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1553847444.832 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.832 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.832 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553847444.832 * [taylor]: Taking taylor expansion of (- im) in im 1553847444.832 * [taylor]: Taking taylor expansion of im in im 1553847444.832 * [backup-simplify]: Simplify 0 into 0 1553847444.832 * [backup-simplify]: Simplify 1 into 1 1553847444.832 * [backup-simplify]: Simplify (- 0) into 0 1553847444.833 * [backup-simplify]: Simplify (- 1) into -1 1553847444.833 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.833 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1553847444.833 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.833 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.833 * [taylor]: Taking taylor expansion of (exp im) in im 1553847444.833 * [taylor]: Taking taylor expansion of im in im 1553847444.833 * [backup-simplify]: Simplify 0 into 0 1553847444.833 * [backup-simplify]: Simplify 1 into 1 1553847444.833 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.833 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 1553847444.833 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 1553847444.834 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0 1553847444.834 * [backup-simplify]: Simplify 1.0 into 1.0 1553847444.834 * [backup-simplify]: Simplify 0 into 0 1553847444.834 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.834 * [backup-simplify]: Simplify (- 0) into 0 1553847444.834 * [backup-simplify]: Simplify (- 0) into 0 1553847444.835 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.836 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.836 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.837 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553847444.837 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0 1553847444.838 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0 1553847444.838 * [taylor]: Taking taylor expansion of 0 in im 1553847444.838 * [backup-simplify]: Simplify 0 into 0 1553847444.838 * [backup-simplify]: Simplify 0 into 0 1553847444.838 * [backup-simplify]: Simplify (- 1) into -1 1553847444.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553847444.840 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5) 1553847444.840 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553847444.841 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5 1553847444.842 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0 1553847444.842 * [backup-simplify]: Simplify 0 into 0 1553847444.842 * [backup-simplify]: Simplify 0 into 0 1553847444.842 * [backup-simplify]: Simplify (- im) into (- im) 1553847444.842 * [backup-simplify]: Simplify (- 0) into 0 1553847444.842 * [backup-simplify]: Simplify (- 0) into 0 1553847444.842 * [backup-simplify]: Simplify (- 0) into 0 1553847444.843 * [backup-simplify]: Simplify (- 0) into 0 1553847444.844 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.845 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.846 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 1553847444.847 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im)))) 1553847444.847 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))) (+ (* 0 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0)))) into (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) 1553847444.848 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im 1553847444.848 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im 1553847444.848 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 1553847444.848 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1553847444.848 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 1553847444.848 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553847444.848 * [taylor]: Taking taylor expansion of (- im) in im 1553847444.848 * [taylor]: Taking taylor expansion of im in im 1553847444.848 * [backup-simplify]: Simplify 0 into 0 1553847444.848 * [backup-simplify]: Simplify 1 into 1 1553847444.848 * [backup-simplify]: Simplify (- 0) into 0 1553847444.848 * [backup-simplify]: Simplify (- 1) into -1 1553847444.848 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.848 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 1553847444.848 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1553847444.848 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 1553847444.848 * [taylor]: Taking taylor expansion of (exp im) in im 1553847444.848 * [taylor]: Taking taylor expansion of im in im 1553847444.848 * [backup-simplify]: Simplify 0 into 0 1553847444.848 * [backup-simplify]: Simplify 1 into 1 1553847444.848 * [backup-simplify]: Simplify (exp 0) into 1 1553847444.849 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 1553847444.849 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 1553847444.849 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666 1553847444.849 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 1553847444.850 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 1553847444.850 * [backup-simplify]: Simplify 0 into 0 1553847444.850 * [backup-simplify]: Simplify (- 1) into -1 1553847444.850 * [backup-simplify]: Simplify (- 0) into 0 1553847444.851 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553847444.853 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25 1553847444.853 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553847444.855 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25 1553847444.855 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 1553847444.855 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.856 * [backup-simplify]: Simplify (+ (* 0.5 (* (pow im 2) re)) (+ (* (- 0.16666666666666666) (pow (* 1 re) 3)) (* 1.0 (* 1 re)))) into (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 1553847444.856 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 re))) (+ (exp (- 0 (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553847444.856 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0 1553847444.856 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 1553847444.856 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.856 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.856 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 1553847444.856 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1553847444.856 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1553847444.856 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1553847444.856 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.856 * [taylor]: Taking taylor expansion of im in im 1553847444.856 * [backup-simplify]: Simplify 0 into 0 1553847444.856 * [backup-simplify]: Simplify 1 into 1 1553847444.857 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.857 * [backup-simplify]: Simplify (- 1) into -1 1553847444.857 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553847444.857 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553847444.857 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.857 * [taylor]: Taking taylor expansion of im in im 1553847444.857 * [backup-simplify]: Simplify 0 into 0 1553847444.857 * [backup-simplify]: Simplify 1 into 1 1553847444.857 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.857 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.857 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1553847444.857 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553847444.857 * [taylor]: Taking taylor expansion of re in im 1553847444.857 * [backup-simplify]: Simplify re into re 1553847444.857 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553847444.857 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553847444.858 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1553847444.858 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 1553847444.858 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.858 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.858 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 1553847444.858 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1553847444.858 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1553847444.858 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1553847444.858 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.858 * [taylor]: Taking taylor expansion of im in re 1553847444.858 * [backup-simplify]: Simplify im into im 1553847444.858 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.858 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.858 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.858 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553847444.858 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553847444.858 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.858 * [taylor]: Taking taylor expansion of im in re 1553847444.858 * [backup-simplify]: Simplify im into im 1553847444.858 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.858 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.858 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1553847444.858 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553847444.858 * [taylor]: Taking taylor expansion of re in re 1553847444.858 * [backup-simplify]: Simplify 0 into 0 1553847444.858 * [backup-simplify]: Simplify 1 into 1 1553847444.858 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.858 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553847444.859 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 1553847444.859 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.859 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.859 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 1553847444.859 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1553847444.859 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1553847444.859 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1553847444.859 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.859 * [taylor]: Taking taylor expansion of im in re 1553847444.859 * [backup-simplify]: Simplify im into im 1553847444.859 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.859 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.859 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.859 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553847444.859 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553847444.859 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.859 * [taylor]: Taking taylor expansion of im in re 1553847444.859 * [backup-simplify]: Simplify im into im 1553847444.859 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.859 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.859 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1553847444.859 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553847444.859 * [taylor]: Taking taylor expansion of re in re 1553847444.859 * [backup-simplify]: Simplify 0 into 0 1553847444.859 * [backup-simplify]: Simplify 1 into 1 1553847444.859 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.859 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553847444.860 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1553847444.860 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 1553847444.860 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553847444.860 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 1553847444.860 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.860 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.860 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 1553847444.860 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1553847444.860 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1553847444.860 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1553847444.860 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.860 * [taylor]: Taking taylor expansion of im in im 1553847444.860 * [backup-simplify]: Simplify 0 into 0 1553847444.860 * [backup-simplify]: Simplify 1 into 1 1553847444.860 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.861 * [backup-simplify]: Simplify (- 1) into -1 1553847444.861 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553847444.861 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553847444.861 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.861 * [taylor]: Taking taylor expansion of im in im 1553847444.861 * [backup-simplify]: Simplify 0 into 0 1553847444.861 * [backup-simplify]: Simplify 1 into 1 1553847444.861 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.861 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.861 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1553847444.861 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553847444.861 * [taylor]: Taking taylor expansion of re in im 1553847444.861 * [backup-simplify]: Simplify re into re 1553847444.861 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553847444.861 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553847444.861 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1553847444.861 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1553847444.862 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1553847444.862 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 1553847444.862 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1553847444.862 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 1553847444.862 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553847444.862 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553847444.862 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553847444.863 * [backup-simplify]: Simplify (- 0) into 0 1553847444.863 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553847444.864 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.864 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.864 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 1553847444.865 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 1553847444.865 * [taylor]: Taking taylor expansion of 0 in im 1553847444.865 * [backup-simplify]: Simplify 0 into 0 1553847444.865 * [backup-simplify]: Simplify 0 into 0 1553847444.865 * [backup-simplify]: Simplify (+ 0) into 0 1553847444.866 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 1553847444.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553847444.866 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553847444.866 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 1553847444.867 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.867 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.867 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 1553847444.867 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 1553847444.867 * [backup-simplify]: Simplify 0 into 0 1553847444.868 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.868 * [backup-simplify]: Simplify (- 0) into 0 1553847444.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.868 * [backup-simplify]: Simplify (- 0) into 0 1553847444.869 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.870 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.870 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.870 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 1553847444.871 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 1553847444.871 * [taylor]: Taking taylor expansion of 0 in im 1553847444.871 * [backup-simplify]: Simplify 0 into 0 1553847444.871 * [backup-simplify]: Simplify 0 into 0 1553847444.871 * [backup-simplify]: Simplify 0 into 0 1553847444.872 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553847444.873 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1553847444.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553847444.874 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553847444.874 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1553847444.874 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.875 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.875 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 1553847444.876 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 1553847444.876 * [backup-simplify]: Simplify 0 into 0 1553847444.876 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553847444.876 * [backup-simplify]: Simplify (- 0) into 0 1553847444.876 * [backup-simplify]: Simplify (- 0) into 0 1553847444.877 * [backup-simplify]: Simplify (- 0) into 0 1553847444.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.877 * [backup-simplify]: Simplify (- 0) into 0 1553847444.878 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.879 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.880 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0 1553847444.881 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0 1553847444.881 * [taylor]: Taking taylor expansion of 0 in im 1553847444.881 * [backup-simplify]: Simplify 0 into 0 1553847444.881 * [backup-simplify]: Simplify 0 into 0 1553847444.881 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (sin (/ 1 (/ 1 re))))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553847444.881 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 (- re)))) (+ (exp (- 0 (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 1553847444.881 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 1553847444.881 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1553847444.881 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.881 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.881 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1553847444.881 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1553847444.881 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553847444.882 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553847444.882 * [taylor]: Taking taylor expansion of -1 in im 1553847444.882 * [backup-simplify]: Simplify -1 into -1 1553847444.882 * [taylor]: Taking taylor expansion of im in im 1553847444.882 * [backup-simplify]: Simplify 0 into 0 1553847444.882 * [backup-simplify]: Simplify 1 into 1 1553847444.882 * [backup-simplify]: Simplify (/ -1 1) into -1 1553847444.882 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553847444.882 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553847444.882 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.882 * [taylor]: Taking taylor expansion of im in im 1553847444.882 * [backup-simplify]: Simplify 0 into 0 1553847444.882 * [backup-simplify]: Simplify 1 into 1 1553847444.882 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.882 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.882 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1553847444.882 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553847444.882 * [taylor]: Taking taylor expansion of -1 in im 1553847444.882 * [backup-simplify]: Simplify -1 into -1 1553847444.882 * [taylor]: Taking taylor expansion of re in im 1553847444.882 * [backup-simplify]: Simplify re into re 1553847444.883 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553847444.883 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553847444.883 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1553847444.883 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1553847444.883 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.883 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.883 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1553847444.883 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1553847444.883 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1553847444.883 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553847444.883 * [taylor]: Taking taylor expansion of -1 in re 1553847444.883 * [backup-simplify]: Simplify -1 into -1 1553847444.883 * [taylor]: Taking taylor expansion of im in re 1553847444.883 * [backup-simplify]: Simplify im into im 1553847444.883 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553847444.883 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553847444.883 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553847444.883 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.883 * [taylor]: Taking taylor expansion of im in re 1553847444.883 * [backup-simplify]: Simplify im into im 1553847444.883 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.883 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.883 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1553847444.883 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553847444.883 * [taylor]: Taking taylor expansion of -1 in re 1553847444.883 * [backup-simplify]: Simplify -1 into -1 1553847444.883 * [taylor]: Taking taylor expansion of re in re 1553847444.883 * [backup-simplify]: Simplify 0 into 0 1553847444.883 * [backup-simplify]: Simplify 1 into 1 1553847444.883 * [backup-simplify]: Simplify (/ -1 1) into -1 1553847444.883 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553847444.883 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1553847444.883 * [taylor]: Taking taylor expansion of 0.5 in re 1553847444.884 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.884 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1553847444.884 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1553847444.884 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1553847444.884 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553847444.884 * [taylor]: Taking taylor expansion of -1 in re 1553847444.884 * [backup-simplify]: Simplify -1 into -1 1553847444.884 * [taylor]: Taking taylor expansion of im in re 1553847444.884 * [backup-simplify]: Simplify im into im 1553847444.884 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553847444.884 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553847444.884 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553847444.884 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553847444.884 * [taylor]: Taking taylor expansion of im in re 1553847444.884 * [backup-simplify]: Simplify im into im 1553847444.884 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553847444.884 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.884 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1553847444.884 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553847444.884 * [taylor]: Taking taylor expansion of -1 in re 1553847444.884 * [backup-simplify]: Simplify -1 into -1 1553847444.884 * [taylor]: Taking taylor expansion of re in re 1553847444.884 * [backup-simplify]: Simplify 0 into 0 1553847444.884 * [backup-simplify]: Simplify 1 into 1 1553847444.884 * [backup-simplify]: Simplify (/ -1 1) into -1 1553847444.884 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553847444.884 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 1553847444.885 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) 1553847444.885 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 1553847444.885 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 1553847444.885 * [taylor]: Taking taylor expansion of 0.5 in im 1553847444.885 * [backup-simplify]: Simplify 0.5 into 0.5 1553847444.885 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 1553847444.885 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 1553847444.885 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553847444.885 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553847444.885 * [taylor]: Taking taylor expansion of im in im 1553847444.885 * [backup-simplify]: Simplify 0 into 0 1553847444.885 * [backup-simplify]: Simplify 1 into 1 1553847444.885 * [backup-simplify]: Simplify (/ 1 1) into 1 1553847444.885 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553847444.885 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553847444.885 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553847444.885 * [taylor]: Taking taylor expansion of -1 in im 1553847444.885 * [backup-simplify]: Simplify -1 into -1 1553847444.885 * [taylor]: Taking taylor expansion of im in im 1553847444.885 * [backup-simplify]: Simplify 0 into 0 1553847444.885 * [backup-simplify]: Simplify 1 into 1 1553847444.885 * [backup-simplify]: Simplify (/ -1 1) into -1 1553847444.886 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553847444.886 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1553847444.886 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553847444.886 * [taylor]: Taking taylor expansion of -1 in im 1553847444.886 * [backup-simplify]: Simplify -1 into -1 1553847444.886 * [taylor]: Taking taylor expansion of re in im 1553847444.886 * [backup-simplify]: Simplify re into re 1553847444.886 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553847444.886 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553847444.886 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1553847444.886 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 1553847444.886 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1553847444.886 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 1553847444.886 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1553847444.886 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) 1553847444.886 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 1553847444.886 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 1553847444.887 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1553847444.887 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553847444.888 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553847444.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.888 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 1553847444.888 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0 1553847444.888 * [taylor]: Taking taylor expansion of 0 in im 1553847444.888 * [backup-simplify]: Simplify 0 into 0 1553847444.888 * [backup-simplify]: Simplify 0 into 0 1553847444.889 * [backup-simplify]: Simplify (+ 0) into 0 1553847444.889 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 1553847444.889 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553847444.890 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553847444.890 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 1553847444.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.890 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 1553847444.891 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0 1553847444.891 * [backup-simplify]: Simplify 0 into 0 1553847444.891 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.892 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.893 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553847444.893 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.893 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 1553847444.894 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0 1553847444.894 * [taylor]: Taking taylor expansion of 0 in im 1553847444.894 * [backup-simplify]: Simplify 0 into 0 1553847444.894 * [backup-simplify]: Simplify 0 into 0 1553847444.894 * [backup-simplify]: Simplify 0 into 0 1553847444.895 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553847444.895 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1553847444.895 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553847444.896 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553847444.896 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1553847444.896 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.897 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.897 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 1553847444.897 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0 1553847444.897 * [backup-simplify]: Simplify 0 into 0 1553847444.898 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.902 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553847444.903 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553847444.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1553847444.904 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0 1553847444.905 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0 1553847444.905 * [taylor]: Taking taylor expansion of 0 in im 1553847444.905 * [backup-simplify]: Simplify 0 into 0 1553847444.905 * [backup-simplify]: Simplify 0 into 0 1553847444.905 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (sin (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 1553847444.905 * * * [progress]: simplifying candidates 1553847444.905 * * * * [progress]: [ 1 / 42 ] simplifiying candidate # 1553847444.906 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553847444.906 * * [simplify]: iters left: 6 (11 enodes) 1553847444.912 * * [simplify]: iters left: 5 (49 enodes) 1553847444.923 * * [simplify]: iters left: 4 (94 enodes) 1553847444.939 * * [simplify]: iters left: 3 (152 enodes) 1553847444.961 * * [simplify]: iters left: 2 (176 enodes) 1553847444.985 * * [simplify]: iters left: 1 (200 enodes) 1553847445.008 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.008 * * [simplify]: Extracting #1: cost 10 inf + 0 1553847445.008 * * [simplify]: Extracting #2: cost 27 inf + 1 1553847445.008 * * [simplify]: Extracting #3: cost 38 inf + 3 1553847445.008 * * [simplify]: Extracting #4: cost 37 inf + 228 1553847445.009 * * [simplify]: Extracting #5: cost 26 inf + 1182 1553847445.009 * * [simplify]: Extracting #6: cost 3 inf + 5294 1553847445.011 * * [simplify]: Extracting #7: cost 0 inf + 5910 1553847445.012 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1553847445.012 * [simplify]: Simplified (2 1) to (λ (re im) (pow (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1)) 1553847445.012 * * * * [progress]: [ 2 / 42 ] simplifiying candidate # 1553847445.012 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553847445.012 * * [simplify]: iters left: 6 (11 enodes) 1553847445.016 * * [simplify]: iters left: 5 (49 enodes) 1553847445.024 * * [simplify]: iters left: 4 (94 enodes) 1553847445.040 * * [simplify]: iters left: 3 (152 enodes) 1553847445.063 * * [simplify]: iters left: 2 (176 enodes) 1553847445.086 * * [simplify]: iters left: 1 (200 enodes) 1553847445.110 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.110 * * [simplify]: Extracting #1: cost 10 inf + 0 1553847445.110 * * [simplify]: Extracting #2: cost 27 inf + 1 1553847445.110 * * [simplify]: Extracting #3: cost 38 inf + 3 1553847445.110 * * [simplify]: Extracting #4: cost 37 inf + 228 1553847445.110 * * [simplify]: Extracting #5: cost 26 inf + 1182 1553847445.111 * * [simplify]: Extracting #6: cost 3 inf + 5294 1553847445.113 * * [simplify]: Extracting #7: cost 0 inf + 5910 1553847445.114 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1553847445.114 * [simplify]: Simplified (2 1) to (λ (re im) (pow (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1)) 1553847445.114 * * * * [progress]: [ 3 / 42 ] simplifiying candidate # 1553847445.114 * * * * [progress]: [ 4 / 42 ] simplifiying candidate # 1553847445.114 * [simplify]: Simplifying (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 1553847445.114 * * [simplify]: iters left: 6 (14 enodes) 1553847445.118 * * [simplify]: iters left: 5 (52 enodes) 1553847445.126 * * [simplify]: iters left: 4 (67 enodes) 1553847445.136 * * [simplify]: iters left: 3 (78 enodes) 1553847445.145 * * [simplify]: iters left: 2 (80 enodes) 1553847445.155 * * [simplify]: iters left: 1 (82 enodes) 1553847445.173 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.173 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847445.173 * * [simplify]: Extracting #2: cost 17 inf + 0 1553847445.173 * * [simplify]: Extracting #3: cost 21 inf + 1 1553847445.174 * * [simplify]: Extracting #4: cost 24 inf + 134 1553847445.174 * * [simplify]: Extracting #5: cost 19 inf + 793 1553847445.175 * * [simplify]: Extracting #6: cost 6 inf + 2849 1553847445.176 * * [simplify]: Extracting #7: cost 0 inf + 5441 1553847445.177 * [simplify]: Simplified to (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))) 1553847445.177 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))))) 1553847445.177 * * * * [progress]: [ 5 / 42 ] simplifiying candidate # 1553847445.177 * [simplify]: Simplifying (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 1553847445.178 * * [simplify]: iters left: 6 (13 enodes) 1553847445.181 * * [simplify]: iters left: 5 (50 enodes) 1553847445.189 * * [simplify]: iters left: 4 (66 enodes) 1553847445.200 * * [simplify]: iters left: 3 (80 enodes) 1553847445.210 * * [simplify]: iters left: 2 (82 enodes) 1553847445.219 * * [simplify]: iters left: 1 (84 enodes) 1553847445.231 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.231 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847445.231 * * [simplify]: Extracting #2: cost 18 inf + 0 1553847445.231 * * [simplify]: Extracting #3: cost 23 inf + 1 1553847445.231 * * [simplify]: Extracting #4: cost 27 inf + 73 1553847445.232 * * [simplify]: Extracting #5: cost 16 inf + 1150 1553847445.233 * * [simplify]: Extracting #6: cost 4 inf + 3536 1553847445.234 * * [simplify]: Extracting #7: cost 0 inf + 5365 1553847445.235 * [simplify]: Simplified to (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))) 1553847445.235 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))))) 1553847445.236 * * * * [progress]: [ 6 / 42 ] simplifiying candidate # 1553847445.236 * * * * [progress]: [ 7 / 42 ] simplifiying candidate # 1553847445.236 * * * * [progress]: [ 8 / 42 ] simplifiying candidate # 1553847445.236 * [simplify]: Simplifying (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 1553847445.236 * * [simplify]: iters left: 6 (17 enodes) 1553847445.241 * * [simplify]: iters left: 5 (82 enodes) 1553847445.261 * * [simplify]: iters left: 4 (274 enodes) 1553847445.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.413 * * [simplify]: Extracting #1: cost 49 inf + 0 1553847445.415 * * [simplify]: Extracting #2: cost 255 inf + 42 1553847445.417 * * [simplify]: Extracting #3: cost 326 inf + 2492 1553847445.424 * * [simplify]: Extracting #4: cost 285 inf + 16510 1553847445.463 * * [simplify]: Extracting #5: cost 38 inf + 116510 1553847445.518 * * [simplify]: Extracting #6: cost 0 inf + 126909 1553847445.571 * * [simplify]: Extracting #7: cost 0 inf + 125177 1553847445.623 * * [simplify]: Extracting #8: cost 0 inf + 125117 1553847445.650 * [simplify]: Simplified to (* (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im)))) (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5)))) 1553847445.650 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im)))) (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5)))))) 1553847445.650 * * * * [progress]: [ 9 / 42 ] simplifiying candidate # 1553847445.650 * [simplify]: Simplifying (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 1553847445.651 * * [simplify]: iters left: 6 (15 enodes) 1553847445.655 * * [simplify]: iters left: 5 (80 enodes) 1553847445.694 * * [simplify]: iters left: 4 (281 enodes) 1553847445.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847445.826 * * [simplify]: Extracting #1: cost 50 inf + 0 1553847445.830 * * [simplify]: Extracting #2: cost 275 inf + 1 1553847445.832 * * [simplify]: Extracting #3: cost 347 inf + 1989 1553847445.836 * * [simplify]: Extracting #4: cost 284 inf + 23728 1553847445.852 * * [simplify]: Extracting #5: cost 106 inf + 92260 1553847445.889 * * [simplify]: Extracting #6: cost 0 inf + 132799 1553847445.944 * * [simplify]: Extracting #7: cost 0 inf + 132541 1553847445.978 * [simplify]: Simplified to (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))) 1553847445.978 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))))) 1553847445.978 * * * * [progress]: [ 10 / 42 ] simplifiying candidate # 1553847445.978 * * * * [progress]: [ 11 / 42 ] simplifiying candidate # 1553847445.979 * * * * [progress]: [ 12 / 42 ] simplifiying candidate # 1553847445.979 * * * * [progress]: [ 13 / 42 ] simplifiying candidate # 1553847445.979 * * * * [progress]: [ 14 / 42 ] simplifiying candidate # 1553847445.979 * [simplify]: Simplifying (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553847445.979 * * [simplify]: iters left: 6 (13 enodes) 1553847445.983 * * [simplify]: iters left: 5 (47 enodes) 1553847445.990 * * [simplify]: iters left: 4 (54 enodes) 1553847445.997 * * [simplify]: iters left: 3 (60 enodes) 1553847446.005 * * [simplify]: iters left: 2 (62 enodes) 1553847446.012 * * [simplify]: iters left: 1 (64 enodes) 1553847446.019 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.019 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.020 * * [simplify]: Extracting #2: cost 8 inf + 0 1553847446.020 * * [simplify]: Extracting #3: cost 14 inf + 0 1553847446.020 * * [simplify]: Extracting #4: cost 21 inf + 1 1553847446.020 * * [simplify]: Extracting #5: cost 18 inf + 157 1553847446.020 * * [simplify]: Extracting #6: cost 9 inf + 788 1553847446.020 * * [simplify]: Extracting #7: cost 1 inf + 2550 1553847446.021 * * [simplify]: Extracting #8: cost 0 inf + 2993 1553847446.021 * [simplify]: Simplified to (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) 1553847446.021 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))))) 1553847446.021 * [simplify]: Simplifying (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553847446.021 * * [simplify]: iters left: 6 (13 enodes) 1553847446.025 * * [simplify]: iters left: 5 (47 enodes) 1553847446.032 * * [simplify]: iters left: 4 (54 enodes) 1553847446.039 * * [simplify]: iters left: 3 (60 enodes) 1553847446.049 * * [simplify]: iters left: 2 (62 enodes) 1553847446.056 * * [simplify]: iters left: 1 (64 enodes) 1553847446.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.063 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.063 * * [simplify]: Extracting #2: cost 8 inf + 0 1553847446.063 * * [simplify]: Extracting #3: cost 14 inf + 0 1553847446.063 * * [simplify]: Extracting #4: cost 21 inf + 1 1553847446.063 * * [simplify]: Extracting #5: cost 18 inf + 157 1553847446.064 * * [simplify]: Extracting #6: cost 9 inf + 788 1553847446.064 * * [simplify]: Extracting #7: cost 1 inf + 2550 1553847446.064 * * [simplify]: Extracting #8: cost 0 inf + 2993 1553847446.065 * [simplify]: Simplified to (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) 1553847446.065 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))))) 1553847446.065 * * * * [progress]: [ 15 / 42 ] simplifiying candidate # 1553847446.065 * [simplify]: Simplifying (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553847446.065 * * [simplify]: iters left: 6 (14 enodes) 1553847446.073 * * [simplify]: iters left: 5 (52 enodes) 1553847446.089 * * [simplify]: iters left: 4 (67 enodes) 1553847446.107 * * [simplify]: iters left: 3 (79 enodes) 1553847446.127 * * [simplify]: iters left: 2 (81 enodes) 1553847446.144 * * [simplify]: iters left: 1 (83 enodes) 1553847446.153 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.153 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847446.153 * * [simplify]: Extracting #2: cost 17 inf + 0 1553847446.153 * * [simplify]: Extracting #3: cost 21 inf + 1 1553847446.154 * * [simplify]: Extracting #4: cost 24 inf + 104 1553847446.154 * * [simplify]: Extracting #5: cost 19 inf + 643 1553847446.154 * * [simplify]: Extracting #6: cost 6 inf + 2489 1553847446.155 * * [simplify]: Extracting #7: cost 0 inf + 4721 1553847446.155 * [simplify]: Simplified to (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) 1553847446.156 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))))) 1553847446.156 * [simplify]: Simplifying (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553847446.156 * * [simplify]: iters left: 6 (14 enodes) 1553847446.162 * * [simplify]: iters left: 5 (52 enodes) 1553847446.170 * * [simplify]: iters left: 4 (67 enodes) 1553847446.181 * * [simplify]: iters left: 3 (79 enodes) 1553847446.202 * * [simplify]: iters left: 2 (81 enodes) 1553847446.220 * * [simplify]: iters left: 1 (83 enodes) 1553847446.230 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.230 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847446.230 * * [simplify]: Extracting #2: cost 17 inf + 0 1553847446.230 * * [simplify]: Extracting #3: cost 21 inf + 1 1553847446.230 * * [simplify]: Extracting #4: cost 24 inf + 104 1553847446.230 * * [simplify]: Extracting #5: cost 19 inf + 643 1553847446.231 * * [simplify]: Extracting #6: cost 6 inf + 2489 1553847446.231 * * [simplify]: Extracting #7: cost 0 inf + 4721 1553847446.232 * [simplify]: Simplified to (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) 1553847446.232 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))))) 1553847446.232 * * * * [progress]: [ 16 / 42 ] simplifiying candidate # 1553847446.232 * [simplify]: Simplifying (* (* 0.5 (sin re)) (exp im)) 1553847446.232 * * [simplify]: iters left: 5 (7 enodes) 1553847446.234 * * [simplify]: iters left: 4 (25 enodes) 1553847446.238 * * [simplify]: iters left: 3 (33 enodes) 1553847446.243 * * [simplify]: iters left: 2 (39 enodes) 1553847446.252 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.252 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847446.252 * * [simplify]: Extracting #2: cost 14 inf + 1 1553847446.252 * * [simplify]: Extracting #3: cost 11 inf + 74 1553847446.253 * * [simplify]: Extracting #4: cost 4 inf + 755 1553847446.253 * * [simplify]: Extracting #5: cost 1 inf + 1252 1553847446.254 * * [simplify]: Extracting #6: cost 0 inf + 1465 1553847446.254 * [simplify]: Simplified to (* (* 0.5 (sin re)) (exp im)) 1553847446.254 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp (- 0 im))) (* (* 0.5 (sin re)) (exp im)))) 1553847446.254 * * * * [progress]: [ 17 / 42 ] simplifiying candidate # 1553847446.255 * [simplify]: Simplifying (* (* 0.5 (sin re)) (exp (- 0 im))) 1553847446.255 * * [simplify]: iters left: 5 (9 enodes) 1553847446.260 * * [simplify]: iters left: 4 (37 enodes) 1553847446.275 * * [simplify]: iters left: 3 (54 enodes) 1553847446.292 * * [simplify]: iters left: 2 (79 enodes) 1553847446.317 * * [simplify]: iters left: 1 (92 enodes) 1553847446.341 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.341 * * [simplify]: Extracting #1: cost 13 inf + 0 1553847446.342 * * [simplify]: Extracting #2: cost 22 inf + 2 1553847446.342 * * [simplify]: Extracting #3: cost 21 inf + 45 1553847446.342 * * [simplify]: Extracting #4: cost 6 inf + 1528 1553847446.344 * * [simplify]: Extracting #5: cost 0 inf + 2481 1553847446.345 * [simplify]: Simplified to (* (/ 0.5 (exp im)) (sin re)) 1553847446.345 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp im)) (* (/ 0.5 (exp im)) (sin re)))) 1553847446.345 * * * * [progress]: [ 18 / 42 ] simplifiying candidate # 1553847446.345 * [simplify]: Simplifying (* (exp im) (* 0.5 (sin re))) 1553847446.345 * * [simplify]: iters left: 5 (7 enodes) 1553847446.349 * * [simplify]: iters left: 4 (25 enodes) 1553847446.357 * * [simplify]: iters left: 3 (33 enodes) 1553847446.367 * * [simplify]: iters left: 2 (39 enodes) 1553847446.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.377 * * [simplify]: Extracting #1: cost 8 inf + 0 1553847446.377 * * [simplify]: Extracting #2: cost 14 inf + 1 1553847446.377 * * [simplify]: Extracting #3: cost 12 inf + 3 1553847446.377 * * [simplify]: Extracting #4: cost 6 inf + 481 1553847446.378 * * [simplify]: Extracting #5: cost 2 inf + 1080 1553847446.378 * * [simplify]: Extracting #6: cost 0 inf + 1465 1553847446.379 * [simplify]: Simplified to (* (* 0.5 (exp im)) (sin re)) 1553847446.379 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp (- 0 im)) (* 0.5 (sin re))) (* (* 0.5 (exp im)) (sin re)))) 1553847446.379 * * * * [progress]: [ 19 / 42 ] simplifiying candidate # 1553847446.379 * [simplify]: Simplifying (* (exp (- 0 im)) (* 0.5 (sin re))) 1553847446.379 * * [simplify]: iters left: 5 (9 enodes) 1553847446.383 * * [simplify]: iters left: 4 (37 enodes) 1553847446.389 * * [simplify]: iters left: 3 (54 enodes) 1553847446.397 * * [simplify]: iters left: 2 (79 enodes) 1553847446.410 * * [simplify]: iters left: 1 (92 enodes) 1553847446.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.424 * * [simplify]: Extracting #1: cost 13 inf + 0 1553847446.424 * * [simplify]: Extracting #2: cost 22 inf + 2 1553847446.425 * * [simplify]: Extracting #3: cost 21 inf + 45 1553847446.425 * * [simplify]: Extracting #4: cost 6 inf + 1528 1553847446.425 * * [simplify]: Extracting #5: cost 0 inf + 2481 1553847446.426 * [simplify]: Simplified to (/ 0.5 (/ (exp im) (sin re))) 1553847446.426 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ 0.5 (/ (exp im) (sin re))))) 1553847446.426 * * * * [progress]: [ 20 / 42 ] simplifiying candidate # 1553847446.426 * [simplify]: Simplifying (cbrt (+ (exp (- 0 im)) (exp im))) 1553847446.426 * * [simplify]: iters left: 6 (7 enodes) 1553847446.429 * * [simplify]: iters left: 5 (27 enodes) 1553847446.433 * * [simplify]: iters left: 4 (34 enodes) 1553847446.438 * * [simplify]: iters left: 3 (40 enodes) 1553847446.444 * * [simplify]: iters left: 2 (42 enodes) 1553847446.449 * * [simplify]: iters left: 1 (44 enodes) 1553847446.454 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.454 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.454 * * [simplify]: Extracting #2: cost 6 inf + 0 1553847446.454 * * [simplify]: Extracting #3: cost 12 inf + 0 1553847446.454 * * [simplify]: Extracting #4: cost 12 inf + 43 1553847446.454 * * [simplify]: Extracting #5: cost 4 inf + 681 1553847446.454 * * [simplify]: Extracting #6: cost 1 inf + 1274 1553847446.455 * * [simplify]: Extracting #7: cost 0 inf + 1575 1553847446.455 * [simplify]: Simplified to (cbrt (+ (exp (- im)) (exp im))) 1553847446.455 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0 im)) (exp im))) (cbrt (+ (exp (- 0 im)) (exp im))))) (cbrt (+ (exp (- im)) (exp im))))) 1553847446.455 * * * * [progress]: [ 21 / 42 ] simplifiying candidate # 1553847446.455 * [simplify]: Simplifying (sqrt (+ (exp (- 0 im)) (exp im))) 1553847446.455 * * [simplify]: iters left: 6 (7 enodes) 1553847446.457 * * [simplify]: iters left: 5 (27 enodes) 1553847446.462 * * [simplify]: iters left: 4 (34 enodes) 1553847446.467 * * [simplify]: iters left: 3 (40 enodes) 1553847446.472 * * [simplify]: iters left: 2 (42 enodes) 1553847446.479 * * [simplify]: iters left: 1 (44 enodes) 1553847446.489 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.489 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.489 * * [simplify]: Extracting #2: cost 6 inf + 0 1553847446.489 * * [simplify]: Extracting #3: cost 12 inf + 0 1553847446.489 * * [simplify]: Extracting #4: cost 12 inf + 43 1553847446.490 * * [simplify]: Extracting #5: cost 4 inf + 681 1553847446.490 * * [simplify]: Extracting #6: cost 1 inf + 1234 1553847446.490 * * [simplify]: Extracting #7: cost 0 inf + 1495 1553847446.491 * [simplify]: Simplified to (sqrt (+ (exp (- im)) (exp im))) 1553847446.491 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) 1553847446.491 * * * * [progress]: [ 22 / 42 ] simplifiying candidate # 1553847446.491 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 1553847446.491 * * [simplify]: iters left: 5 (6 enodes) 1553847446.495 * * [simplify]: iters left: 4 (24 enodes) 1553847446.501 * * [simplify]: iters left: 3 (31 enodes) 1553847446.506 * * [simplify]: iters left: 2 (37 enodes) 1553847446.511 * * [simplify]: iters left: 1 (39 enodes) 1553847446.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.515 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.515 * * [simplify]: Extracting #2: cost 10 inf + 0 1553847446.515 * * [simplify]: Extracting #3: cost 6 inf + 226 1553847446.515 * * [simplify]: Extracting #4: cost 1 inf + 711 1553847446.515 * * [simplify]: Extracting #5: cost 0 inf + 932 1553847446.516 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 1553847446.516 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 1553847446.516 * * * * [progress]: [ 23 / 42 ] simplifiying candidate # 1553847446.516 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 1553847446.516 * * [simplify]: iters left: 5 (6 enodes) 1553847446.518 * * [simplify]: iters left: 4 (24 enodes) 1553847446.522 * * [simplify]: iters left: 3 (31 enodes) 1553847446.527 * * [simplify]: iters left: 2 (37 enodes) 1553847446.532 * * [simplify]: iters left: 1 (39 enodes) 1553847446.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.538 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.538 * * [simplify]: Extracting #2: cost 10 inf + 0 1553847446.538 * * [simplify]: Extracting #3: cost 6 inf + 226 1553847446.538 * * [simplify]: Extracting #4: cost 1 inf + 711 1553847446.539 * * [simplify]: Extracting #5: cost 0 inf + 932 1553847446.539 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 1553847446.539 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 1553847446.539 * * * * [progress]: [ 24 / 42 ] simplifiying candidate # 1553847446.539 * * * * [progress]: [ 25 / 42 ] simplifiying candidate # 1553847446.540 * [simplify]: Simplifying (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 1553847446.540 * * [simplify]: iters left: 6 (6 enodes) 1553847446.542 * * [simplify]: iters left: 5 (19 enodes) 1553847446.547 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.547 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.547 * * [simplify]: Extracting #2: cost 5 inf + 0 1553847446.547 * * [simplify]: Extracting #3: cost 8 inf + 0 1553847446.547 * * [simplify]: Extracting #4: cost 9 inf + 1 1553847446.547 * * [simplify]: Extracting #5: cost 0 inf + 1136 1553847446.548 * [simplify]: Simplified to (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 1553847446.548 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553847446.548 * * * * [progress]: [ 26 / 42 ] simplifiying candidate # 1553847446.548 * [simplify]: Simplifying (sqrt (* 0.5 (sin re))) 1553847446.548 * * [simplify]: iters left: 4 (5 enodes) 1553847446.550 * * [simplify]: iters left: 3 (16 enodes) 1553847446.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.552 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.552 * * [simplify]: Extracting #2: cost 6 inf + 0 1553847446.552 * * [simplify]: Extracting #3: cost 7 inf + 1 1553847446.552 * * [simplify]: Extracting #4: cost 0 inf + 612 1553847446.553 * [simplify]: Simplified to (sqrt (* 0.5 (sin re))) 1553847446.553 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (* 0.5 (sin re))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553847446.553 * * * * [progress]: [ 27 / 42 ] simplifiying candidate # 1553847446.553 * * * * [progress]: [ 28 / 42 ] simplifiying candidate # 1553847446.553 * [simplify]: Simplifying (* (sqrt 0.5) (sqrt (sin re))) 1553847446.553 * * [simplify]: iters left: 4 (6 enodes) 1553847446.555 * * [simplify]: iters left: 3 (19 enodes) 1553847446.558 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.558 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.558 * * [simplify]: Extracting #2: cost 8 inf + 0 1553847446.558 * * [simplify]: Extracting #3: cost 9 inf + 1 1553847446.558 * * [simplify]: Extracting #4: cost 0 inf + 772 1553847446.558 * [simplify]: Simplified to (* (sqrt 0.5) (sqrt (sin re))) 1553847446.558 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt 0.5) (sqrt (sin re))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553847446.558 * * * * [progress]: [ 29 / 42 ] simplifiying candidate # 1553847446.558 * [simplify]: Simplifying (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 1553847446.558 * * [simplify]: iters left: 6 (6 enodes) 1553847446.560 * * [simplify]: iters left: 5 (21 enodes) 1553847446.563 * * [simplify]: iters left: 4 (25 enodes) 1553847446.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.567 * * [simplify]: Extracting #1: cost 6 inf + 0 1553847446.567 * * [simplify]: Extracting #2: cost 9 inf + 1 1553847446.567 * * [simplify]: Extracting #3: cost 11 inf + 1 1553847446.567 * * [simplify]: Extracting #4: cost 10 inf + 2 1553847446.567 * * [simplify]: Extracting #5: cost 0 inf + 1576 1553847446.567 * [simplify]: Simplified to (* (* (cbrt (sin re)) (cbrt (sin re))) 0.5) 1553847446.567 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (* (cbrt (sin re)) (cbrt (sin re))) 0.5) (* (cbrt (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553847446.567 * * * * [progress]: [ 30 / 42 ] simplifiying candidate # 1553847446.568 * [simplify]: Simplifying (* 0.5 (sqrt (sin re))) 1553847446.568 * * [simplify]: iters left: 4 (5 enodes) 1553847446.569 * * [simplify]: iters left: 3 (16 enodes) 1553847446.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.571 * * [simplify]: Extracting #1: cost 4 inf + 0 1553847446.571 * * [simplify]: Extracting #2: cost 5 inf + 1 1553847446.571 * * [simplify]: Extracting #3: cost 7 inf + 1 1553847446.571 * * [simplify]: Extracting #4: cost 0 inf + 610 1553847446.572 * [simplify]: Simplified to (* (sqrt (sin re)) 0.5) 1553847446.572 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (sin re)) 0.5) (* (sqrt (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553847446.572 * * * * [progress]: [ 31 / 42 ] simplifiying candidate # 1553847446.572 * [simplify]: Simplifying (* 0.5 1) 1553847446.572 * * [simplify]: iters left: 2 (3 enodes) 1553847446.573 * * [simplify]: iters left: 1 (9 enodes) 1553847446.575 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.575 * * [simplify]: Extracting #1: cost 0 inf + 1 1553847446.575 * [simplify]: Simplified to 0.5 1553847446.575 * [simplify]: Simplified (2 1) to (λ (re im) (* 0.5 (* (sin re) (+ (exp (- 0 im)) (exp im))))) 1553847446.575 * * * * [progress]: [ 32 / 42 ] simplifiying candidate # 1553847446.575 * [simplify]: Simplifying (* (cbrt 0.5) (cbrt 0.5)) 1553847446.575 * * [simplify]: iters left: 3 (3 enodes) 1553847446.577 * * [simplify]: iters left: 2 (9 enodes) 1553847446.579 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.579 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.579 * * [simplify]: Extracting #2: cost 5 inf + 0 1553847446.580 * * [simplify]: Extracting #3: cost 4 inf + 1 1553847446.580 * * [simplify]: Extracting #4: cost 0 inf + 405 1553847446.580 * [simplify]: Simplified to (* (cbrt 0.5) (cbrt 0.5)) 1553847446.580 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553847446.580 * * * * [progress]: [ 33 / 42 ] simplifiying candidate # 1553847446.580 * [simplify]: Simplifying (sqrt 0.5) 1553847446.580 * * [simplify]: iters left: 1 (2 enodes) 1553847446.582 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.582 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.582 * * [simplify]: Extracting #2: cost 2 inf + 1 1553847446.582 * * [simplify]: Extracting #3: cost 0 inf + 83 1553847446.582 * [simplify]: Simplified to (sqrt 0.5) 1553847446.582 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553847446.582 * * * * [progress]: [ 34 / 42 ] simplifiying candidate # 1553847446.582 * * * * [progress]: [ 35 / 42 ] simplifiying candidate # 1553847446.582 * [simplify]: Simplifying (sin re) 1553847446.582 * * [simplify]: iters left: 1 (2 enodes) 1553847446.583 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.583 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847446.583 * * [simplify]: Extracting #2: cost 2 inf + 1 1553847446.583 * * [simplify]: Extracting #3: cost 0 inf + 123 1553847446.583 * [simplify]: Simplified to (sin re) 1553847446.583 * [simplify]: Simplified (2 1) to (λ (re im) (* (sin re) (* 0.5 (+ (exp (- 0 im)) (exp im))))) 1553847446.584 * * * * [progress]: [ 36 / 42 ] simplifiying candidate # 1553847446.584 * [simplify]: Simplifying (+ (* (exp (- 0 im)) (exp (- 0 im))) (- (* (exp im) (exp im)) (* (exp (- 0 im)) (exp im)))) 1553847446.584 * * [simplify]: iters left: 6 (10 enodes) 1553847446.590 * * [simplify]: iters left: 5 (49 enodes) 1553847446.600 * * [simplify]: iters left: 4 (97 enodes) 1553847446.615 * * [simplify]: iters left: 3 (153 enodes) 1553847446.655 * * [simplify]: iters left: 2 (190 enodes) 1553847446.695 * * [simplify]: iters left: 1 (265 enodes) 1553847446.785 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.785 * * [simplify]: Extracting #1: cost 18 inf + 0 1553847446.785 * * [simplify]: Extracting #2: cost 63 inf + 2 1553847446.786 * * [simplify]: Extracting #3: cost 82 inf + 2 1553847446.786 * * [simplify]: Extracting #4: cost 83 inf + 4 1553847446.788 * * [simplify]: Extracting #5: cost 42 inf + 4579 1553847446.793 * * [simplify]: Extracting #6: cost 2 inf + 11356 1553847446.797 * * [simplify]: Extracting #7: cost 0 inf + 11330 1553847446.802 * * [simplify]: Extracting #8: cost 0 inf + 11221 1553847446.807 * [simplify]: Simplified to (- (+ -1 (exp (+ im im))) (/ -1 (exp (+ im im)))) 1553847446.808 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3))) (- (+ -1 (exp (+ im im))) (/ -1 (exp (+ im im)))))) 1553847446.808 * * * * [progress]: [ 37 / 42 ] simplifiying candidate # 1553847446.808 * [simplify]: Simplifying (- (exp (- 0 im)) (exp im)) 1553847446.808 * * [simplify]: iters left: 5 (6 enodes) 1553847446.815 * * [simplify]: iters left: 4 (25 enodes) 1553847446.823 * * [simplify]: iters left: 3 (35 enodes) 1553847446.831 * * [simplify]: iters left: 2 (41 enodes) 1553847446.837 * * [simplify]: iters left: 1 (43 enodes) 1553847446.841 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847446.841 * * [simplify]: Extracting #1: cost 5 inf + 0 1553847446.841 * * [simplify]: Extracting #2: cost 12 inf + 0 1553847446.841 * * [simplify]: Extracting #3: cost 7 inf + 377 1553847446.842 * * [simplify]: Extracting #4: cost 2 inf + 822 1553847446.842 * * [simplify]: Extracting #5: cost 0 inf + 1154 1553847446.842 * [simplify]: Simplified to (- (exp (- im)) (exp im)) 1553847446.842 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))) (- (exp (- im)) (exp im)))) 1553847446.842 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #real (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))> 1553847446.842 * * * * [progress]: [ 39 / 42 ] simplifiying candidate # 1553847446.842 * * * * [progress]: [ 40 / 42 ] simplifiying candidate # 1553847446.842 * [simplify]: Simplifying (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 1553847446.842 * * [simplify]: iters left: 6 (15 enodes) 1553847446.848 * * [simplify]: iters left: 5 (68 enodes) 1553847446.861 * * [simplify]: iters left: 4 (130 enodes) 1553847446.888 * * [simplify]: iters left: 3 (274 enodes) 1553847446.963 * * [simplify]: iters left: 2 (479 enodes) 1553847447.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847447.160 * * [simplify]: Extracting #1: cost 16 inf + 0 1553847447.160 * * [simplify]: Extracting #2: cost 86 inf + 1 1553847447.161 * * [simplify]: Extracting #3: cost 163 inf + 663 1553847447.163 * * [simplify]: Extracting #4: cost 106 inf + 8014 1553847447.169 * * [simplify]: Extracting #5: cost 59 inf + 22704 1553847447.180 * * [simplify]: Extracting #6: cost 7 inf + 46754 1553847447.193 * * [simplify]: Extracting #7: cost 0 inf + 50915 1553847447.206 * [simplify]: Simplified to (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re) 1553847447.206 * [simplify]: Simplified (2) to (λ (re im) (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re)) 1553847447.206 * * * * [progress]: [ 41 / 42 ] simplifiying candidate # 1553847447.206 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553847447.206 * * [simplify]: iters left: 6 (10 enodes) 1553847447.212 * * [simplify]: iters left: 5 (43 enodes) 1553847447.229 * * [simplify]: iters left: 4 (89 enodes) 1553847447.244 * * [simplify]: iters left: 3 (142 enodes) 1553847447.271 * * [simplify]: iters left: 2 (217 enodes) 1553847447.326 * * [simplify]: iters left: 1 (229 enodes) 1553847447.358 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847447.358 * * [simplify]: Extracting #1: cost 11 inf + 0 1553847447.358 * * [simplify]: Extracting #2: cost 34 inf + 2 1553847447.358 * * [simplify]: Extracting #3: cost 43 inf + 87 1553847447.359 * * [simplify]: Extracting #4: cost 19 inf + 3855 1553847447.361 * * [simplify]: Extracting #5: cost 1 inf + 7049 1553847447.365 * * [simplify]: Extracting #6: cost 0 inf + 7021 1553847447.369 * [simplify]: Simplified to (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) 1553847447.369 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re))))) 1553847447.369 * * * * [progress]: [ 42 / 42 ] simplifiying candidate # 1553847447.369 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 1553847447.370 * * [simplify]: iters left: 6 (11 enodes) 1553847447.376 * * [simplify]: iters left: 5 (48 enodes) 1553847447.393 * * [simplify]: iters left: 4 (95 enodes) 1553847447.417 * * [simplify]: iters left: 3 (170 enodes) 1553847447.458 * * [simplify]: iters left: 2 (265 enodes) 1553847447.532 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847447.532 * * [simplify]: Extracting #1: cost 10 inf + 0 1553847447.532 * * [simplify]: Extracting #2: cost 52 inf + 1 1553847447.533 * * [simplify]: Extracting #3: cost 120 inf + 3 1553847447.534 * * [simplify]: Extracting #4: cost 118 inf + 1910 1553847447.537 * * [simplify]: Extracting #5: cost 81 inf + 7947 1553847447.542 * * [simplify]: Extracting #6: cost 44 inf + 17479 1553847447.551 * * [simplify]: Extracting #7: cost 4 inf + 37970 1553847447.562 * * [simplify]: Extracting #8: cost 0 inf + 41294 1553847447.573 * [simplify]: Simplified to (* (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) 0.5) 1553847447.573 * [simplify]: Simplified (2) to (λ (re im) (* (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) 0.5)) 1553847447.573 * * * [progress]: adding candidates to table 1553847448.010 * * [progress]: iteration 2 / 4 1553847448.010 * * * [progress]: picking best candidate 1553847448.013 * * * * [pick]: Picked # 1553847448.013 * * * [progress]: localizing error 1553847448.034 * * * [progress]: generating rewritten candidates 1553847448.034 * * * [progress]: generating series expansions 1553847448.034 * * * [progress]: simplifying candidates 1553847448.034 * * * [progress]: adding candidates to table 1553847448.034 * [progress]: [Phase 3 of 3] Extracting. 1553847448.037 * [simplify]: Simplifying (* (sin re) (* 0.5 (+ (exp (- 0 im)) (exp im)))) 1553847448.037 * * [simplify]: iters left: 6 (11 enodes) 1553847448.038 * * [simplify]: iters left: 5 (15 enodes) 1553847448.038 * * [simplify]: Extracting #0: cost 1 inf + 0 1553847448.038 * * [simplify]: Extracting #1: cost 3 inf + 0 1553847448.038 * * [simplify]: Extracting #2: cost 6 inf + 0 1553847448.038 * * [simplify]: Extracting #3: cost 6 inf + 2 1553847448.038 * * [simplify]: Extracting #4: cost 7 inf + 63 1553847448.039 * * [simplify]: Extracting #5: cost 1 inf + 1133 1553847448.039 * * [simplify]: Extracting #6: cost 0 inf + 1134 1553847448.039 * [simplify]: Simplified to (* (sin re) (* 0.5 (+ (exp im) (exp (- im))))) 1553847457.698 * [regime-testing]: Baseline error score: 0.021476335178044977 1553847457.700 * [regime-testing]: Oracle error score: 0.021476335178044977 1553847457.700 * [regime-testing]: End program error score: 0.021476335178044977