1550606373.747 * [misc]progress: [Phase 1 of 3] Setting up. 1550606373.747 * * * [misc]progress: [1/2] Preparing points 1550606373.845 * * * [misc]progress: [2/2] Setting up program. 1550606373.848 * [misc]progress: [Phase 2 of 3] Improving. 1550606373.848 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550606373.848 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1550606373.848 * * [misc]simplify: iters left: 3 (5 enodes) 1550606373.850 * * [misc]simplify: iters left: 2 (16 enodes) 1550606373.854 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606373.854 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550606373.854 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550606373.854 * * [misc]simplify: Extracting #3: cost 4 inf + 124 1550606373.854 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550606373.854 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1550606373.854 * [misc]simplify: Simplified (2) to (λ (re im) (* (cos im) (exp re))) 1550606373.860 * * [misc]progress: iteration 1 / 4 1550606373.860 * * * [misc]progress: picking best candidate 1550606373.864 * * * * [misc]pick: Picked # 1550606373.865 * * * [misc]progress: localizing error 1550606373.883 * * * [misc]progress: generating rewritten candidates 1550606373.883 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550606373.893 * * * [misc]progress: generating series expansions 1550606373.893 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550606373.893 * [misc]backup-simplify: Simplify (* (exp re) (cos im)) into (* (cos im) (exp re)) 1550606373.893 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0 1550606373.893 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1550606373.893 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550606373.893 * [misc]taylor: Taking taylor expansion of im in im 1550606373.893 * [misc]backup-simplify: Simplify 0 into 0 1550606373.893 * [misc]backup-simplify: Simplify 1 into 1 1550606373.893 * [misc]taylor: Taking taylor expansion of (exp re) in im 1550606373.893 * [misc]taylor: Taking taylor expansion of re in im 1550606373.893 * [misc]backup-simplify: Simplify re into re 1550606373.893 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1550606373.893 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1550606373.893 * [misc]taylor: Taking taylor expansion of (cos im) in re 1550606373.893 * [misc]taylor: Taking taylor expansion of im in re 1550606373.893 * [misc]backup-simplify: Simplify im into im 1550606373.894 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1550606373.894 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1550606373.894 * [misc]taylor: Taking taylor expansion of (exp re) in re 1550606373.894 * [misc]taylor: Taking taylor expansion of re in re 1550606373.894 * [misc]backup-simplify: Simplify 0 into 0 1550606373.894 * [misc]backup-simplify: Simplify 1 into 1 1550606373.894 * [misc]backup-simplify: Simplify (exp 0) into 1 1550606373.894 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1550606373.894 * [misc]taylor: Taking taylor expansion of (cos im) in re 1550606373.894 * [misc]taylor: Taking taylor expansion of im in re 1550606373.894 * [misc]backup-simplify: Simplify im into im 1550606373.894 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1550606373.894 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1550606373.894 * [misc]taylor: Taking taylor expansion of (exp re) in re 1550606373.894 * [misc]taylor: Taking taylor expansion of re in re 1550606373.894 * [misc]backup-simplify: Simplify 0 into 0 1550606373.894 * [misc]backup-simplify: Simplify 1 into 1 1550606373.894 * [misc]backup-simplify: Simplify (exp 0) into 1 1550606373.895 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1550606373.895 * [misc]backup-simplify: Simplify (* (sin im) 0) into 0 1550606373.895 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.895 * [misc]backup-simplify: Simplify (+ (cos im) 0) into (cos im) 1550606373.895 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1550606373.895 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550606373.895 * [misc]taylor: Taking taylor expansion of im in im 1550606373.895 * [misc]backup-simplify: Simplify 0 into 0 1550606373.895 * [misc]backup-simplify: Simplify 1 into 1 1550606373.895 * [misc]backup-simplify: Simplify 1 into 1 1550606373.897 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1550606373.897 * [misc]backup-simplify: Simplify (+ 0) into 0 1550606373.898 * [misc]backup-simplify: Simplify (+ (* (cos im) 0) (* 0 1)) into 0 1550606373.899 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550606373.899 * [misc]backup-simplify: Simplify (+ (* (sin im) 0) (* 0 0)) into 0 1550606373.899 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.900 * [misc]backup-simplify: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im) 1550606373.900 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550606373.900 * [misc]taylor: Taking taylor expansion of im in im 1550606373.900 * [misc]backup-simplify: Simplify 0 into 0 1550606373.900 * [misc]backup-simplify: Simplify 1 into 1 1550606373.900 * [misc]backup-simplify: Simplify 1 into 1 1550606373.900 * [misc]backup-simplify: Simplify (+ 0) into 0 1550606373.900 * [misc]backup-simplify: Simplify 0 into 0 1550606373.902 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550606373.904 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550606373.904 * [misc]backup-simplify: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0 1550606373.905 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550606373.905 * [misc]backup-simplify: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0 1550606373.905 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.905 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.906 * [misc]backup-simplify: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im)) 1550606373.906 * [misc]taylor: Taking taylor expansion of (* 1/2 (cos im)) in im 1550606373.906 * [misc]taylor: Taking taylor expansion of 1/2 in im 1550606373.906 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550606373.906 * [misc]taylor: Taking taylor expansion of (cos im) in im 1550606373.906 * [misc]taylor: Taking taylor expansion of im in im 1550606373.906 * [misc]backup-simplify: Simplify 0 into 0 1550606373.906 * [misc]backup-simplify: Simplify 1 into 1 1550606373.906 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1550606373.906 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550606373.907 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1)) 1550606373.907 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (cos (/ 1 im))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550606373.907 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1550606373.907 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1550606373.907 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550606373.907 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550606373.907 * [misc]taylor: Taking taylor expansion of im in im 1550606373.907 * [misc]backup-simplify: Simplify 0 into 0 1550606373.907 * [misc]backup-simplify: Simplify 1 into 1 1550606373.907 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550606373.907 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550606373.907 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1550606373.907 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1550606373.907 * [misc]taylor: Taking taylor expansion of re in im 1550606373.907 * [misc]backup-simplify: Simplify re into re 1550606373.907 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550606373.908 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550606373.908 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of im in re 1550606373.908 * [misc]backup-simplify: Simplify im into im 1550606373.908 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550606373.908 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550606373.908 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1550606373.908 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of re in re 1550606373.908 * [misc]backup-simplify: Simplify 0 into 0 1550606373.908 * [misc]backup-simplify: Simplify 1 into 1 1550606373.908 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550606373.908 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550606373.908 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1550606373.908 * [misc]taylor: Taking taylor expansion of im in re 1550606373.908 * [misc]backup-simplify: Simplify im into im 1550606373.908 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550606373.909 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550606373.909 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1550606373.909 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1550606373.909 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1550606373.909 * [misc]taylor: Taking taylor expansion of re in re 1550606373.909 * [misc]backup-simplify: Simplify 0 into 0 1550606373.909 * [misc]backup-simplify: Simplify 1 into 1 1550606373.909 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550606373.909 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550606373.909 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1550606373.909 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1550606373.909 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.910 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1550606373.910 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550606373.910 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1550606373.910 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1550606373.910 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1550606373.910 * [misc]taylor: Taking taylor expansion of im in im 1550606373.910 * [misc]backup-simplify: Simplify 0 into 0 1550606373.910 * [misc]backup-simplify: Simplify 1 into 1 1550606373.910 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550606373.910 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1550606373.910 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1550606373.910 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1550606373.910 * [misc]taylor: Taking taylor expansion of re in im 1550606373.910 * [misc]backup-simplify: Simplify re into re 1550606373.910 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550606373.910 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1550606373.911 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550606373.911 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1550606373.911 * [misc]backup-simplify: Simplify (+ 0) into 0 1550606373.911 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1550606373.911 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1550606373.913 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550606373.913 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1550606373.913 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.913 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.913 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1550606373.914 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.914 * [misc]backup-simplify: Simplify 0 into 0 1550606373.914 * [misc]backup-simplify: Simplify 0 into 0 1550606373.914 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1550606373.915 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1550606373.915 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1550606373.915 * [misc]backup-simplify: Simplify 0 into 0 1550606373.917 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550606373.917 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1550606373.917 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550606373.918 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550606373.919 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1550606373.919 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.919 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1550606373.919 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.920 * [misc]backup-simplify: Simplify 0 into 0 1550606373.920 * [misc]backup-simplify: Simplify 0 into 0 1550606373.920 * [misc]backup-simplify: Simplify 0 into 0 1550606373.920 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1550606373.922 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550606373.922 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1550606373.922 * [misc]backup-simplify: Simplify 0 into 0 1550606373.924 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550606373.925 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550606373.925 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550606373.927 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1550606373.927 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1550606373.927 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.928 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.928 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1550606373.928 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.928 * [misc]backup-simplify: Simplify 0 into 0 1550606373.928 * [misc]backup-simplify: Simplify 0 into 0 1550606373.928 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1550606373.929 * [misc]backup-simplify: Simplify (* (exp (/ 1 (- re))) (cos (/ 1 (- im)))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550606373.929 * [misc]approximate: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 1550606373.929 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1550606373.929 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1550606373.929 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1550606373.929 * [misc]taylor: Taking taylor expansion of -1 in im 1550606373.929 * [misc]backup-simplify: Simplify -1 into -1 1550606373.929 * [misc]taylor: Taking taylor expansion of re in im 1550606373.929 * [misc]backup-simplify: Simplify re into re 1550606373.929 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1550606373.929 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550606373.929 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550606373.929 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550606373.929 * [misc]taylor: Taking taylor expansion of -1 in im 1550606373.929 * [misc]backup-simplify: Simplify -1 into -1 1550606373.929 * [misc]taylor: Taking taylor expansion of im in im 1550606373.930 * [misc]backup-simplify: Simplify 0 into 0 1550606373.930 * [misc]backup-simplify: Simplify 1 into 1 1550606373.930 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550606373.930 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550606373.930 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1550606373.930 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1550606373.930 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1550606373.930 * [misc]taylor: Taking taylor expansion of -1 in re 1550606373.930 * [misc]backup-simplify: Simplify -1 into -1 1550606373.930 * [misc]taylor: Taking taylor expansion of re in re 1550606373.930 * [misc]backup-simplify: Simplify 0 into 0 1550606373.930 * [misc]backup-simplify: Simplify 1 into 1 1550606373.930 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550606373.930 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550606373.931 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1550606373.931 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1550606373.931 * [misc]taylor: Taking taylor expansion of -1 in re 1550606373.931 * [misc]backup-simplify: Simplify -1 into -1 1550606373.931 * [misc]taylor: Taking taylor expansion of im in re 1550606373.931 * [misc]backup-simplify: Simplify im into im 1550606373.931 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1550606373.931 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550606373.931 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1550606373.931 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1550606373.931 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1550606373.931 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1550606373.931 * [misc]taylor: Taking taylor expansion of -1 in re 1550606373.931 * [misc]backup-simplify: Simplify -1 into -1 1550606373.931 * [misc]taylor: Taking taylor expansion of re in re 1550606373.931 * [misc]backup-simplify: Simplify 0 into 0 1550606373.931 * [misc]backup-simplify: Simplify 1 into 1 1550606373.931 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550606373.931 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550606373.931 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1550606373.932 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1550606373.932 * [misc]taylor: Taking taylor expansion of -1 in re 1550606373.932 * [misc]backup-simplify: Simplify -1 into -1 1550606373.932 * [misc]taylor: Taking taylor expansion of im in re 1550606373.932 * [misc]backup-simplify: Simplify im into im 1550606373.932 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1550606373.932 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550606373.932 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1550606373.932 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1550606373.932 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1550606373.932 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.933 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1550606373.933 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550606373.933 * [misc]taylor: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1550606373.933 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1550606373.933 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1550606373.933 * [misc]taylor: Taking taylor expansion of -1 in im 1550606373.933 * [misc]backup-simplify: Simplify -1 into -1 1550606373.933 * [misc]taylor: Taking taylor expansion of re in im 1550606373.933 * [misc]backup-simplify: Simplify re into re 1550606373.933 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1550606373.933 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1550606373.933 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1550606373.933 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1550606373.933 * [misc]taylor: Taking taylor expansion of -1 in im 1550606373.933 * [misc]backup-simplify: Simplify -1 into -1 1550606373.933 * [misc]taylor: Taking taylor expansion of im in im 1550606373.933 * [misc]backup-simplify: Simplify 0 into 0 1550606373.933 * [misc]backup-simplify: Simplify 1 into 1 1550606373.933 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550606373.933 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1550606373.934 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550606373.934 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1550606373.934 * [misc]backup-simplify: Simplify (+ 0) into 0 1550606373.934 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1550606373.934 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1550606373.936 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1550606373.936 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1550606373.936 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.936 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.936 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1550606373.936 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.936 * [misc]backup-simplify: Simplify 0 into 0 1550606373.936 * [misc]backup-simplify: Simplify 0 into 0 1550606373.937 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1550606373.938 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1550606373.938 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1550606373.938 * [misc]backup-simplify: Simplify 0 into 0 1550606373.939 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1550606373.939 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1550606373.940 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550606373.941 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1550606373.941 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1550606373.941 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.941 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1550606373.941 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.941 * [misc]backup-simplify: Simplify 0 into 0 1550606373.942 * [misc]backup-simplify: Simplify 0 into 0 1550606373.942 * [misc]backup-simplify: Simplify 0 into 0 1550606373.942 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1550606373.944 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550606373.944 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1550606373.944 * [misc]backup-simplify: Simplify 0 into 0 1550606373.946 * [misc]backup-simplify: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1550606373.946 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1550606373.946 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550606373.948 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1550606373.948 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1550606373.949 * [misc]backup-simplify: Simplify (- 0) into 0 1550606373.949 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550606373.949 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1550606373.949 * [misc]taylor: Taking taylor expansion of 0 in im 1550606373.949 * [misc]backup-simplify: Simplify 0 into 0 1550606373.949 * [misc]backup-simplify: Simplify 0 into 0 1550606373.949 * [misc]backup-simplify: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re)) 1550606373.949 * * * [misc]progress: simplifying candidates 1550606373.949 * * * * [misc]progress: [ 1 / 21 ] simplifiying candidate # 1550606373.949 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1550606373.949 * * [misc]simplify: iters left: 3 (5 enodes) 1550606373.950 * * [misc]simplify: iters left: 2 (16 enodes) 1550606373.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606373.952 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550606373.952 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550606373.952 * * [misc]simplify: Extracting #3: cost 4 inf + 124 1550606373.953 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550606373.953 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1550606373.953 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1)) 1550606373.953 * * * * [misc]progress: [ 2 / 21 ] simplifiying candidate # 1550606373.953 * * * * [misc]progress: [ 3 / 21 ] simplifiying candidate # 1550606373.953 * [enter]simplify: Simplifying (+ re (log (cos im))) 1550606373.953 * * [misc]simplify: iters left: 4 (5 enodes) 1550606373.954 * * [misc]simplify: iters left: 3 (16 enodes) 1550606373.967 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606373.967 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550606373.967 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550606373.967 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1550606373.967 * * [misc]simplify: Extracting #4: cost 0 inf + 730 1550606373.967 * [exit]simplify: Simplified to (+ (log (cos im)) re) 1550606373.967 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ (log (cos im)) re))) 1550606373.967 * * * * [misc]progress: [ 4 / 21 ] simplifiying candidate # 1550606373.967 * * * * [misc]progress: [ 5 / 21 ] simplifiying candidate # 1550606373.968 * * * * [misc]progress: [ 6 / 21 ] simplifiying candidate # 1550606373.968 * [enter]simplify: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im))) 1550606373.968 * * [misc]simplify: iters left: 6 (9 enodes) 1550606373.970 * * [misc]simplify: iters left: 5 (36 enodes) 1550606373.975 * * [misc]simplify: iters left: 4 (71 enodes) 1550606373.988 * * [misc]simplify: iters left: 3 (119 enodes) 1550606374.012 * * [misc]simplify: iters left: 2 (142 enodes) 1550606374.039 * * [misc]simplify: iters left: 1 (143 enodes) 1550606374.066 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.066 * * [misc]simplify: Extracting #1: cost 17 inf + 0 1550606374.066 * * [misc]simplify: Extracting #2: cost 34 inf + 1 1550606374.066 * * [misc]simplify: Extracting #3: cost 30 inf + 348 1550606374.068 * * [misc]simplify: Extracting #4: cost 5 inf + 5066 1550606374.070 * * [misc]simplify: Extracting #5: cost 0 inf + 5926 1550606374.072 * * [misc]simplify: Extracting #6: cost 0 inf + 5655 1550606374.074 * [exit]simplify: Simplified to (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1550606374.074 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))))) 1550606374.074 * * * * [misc]progress: [ 7 / 21 ] simplifiying candidate # 1550606374.074 * * * * [misc]progress: [ 8 / 21 ] simplifiying candidate # 1550606374.074 * * * * [misc]progress: [ 9 / 21 ] simplifiying candidate # 1550606374.074 * * * * [misc]progress: [ 10 / 21 ] simplifiying candidate # 1550606374.074 * * * * [misc]progress: [ 11 / 21 ] simplifiying candidate # 1550606374.074 * [enter]simplify: Simplifying (cbrt (cos im)) 1550606374.074 * * [misc]simplify: iters left: 2 (3 enodes) 1550606374.075 * * [misc]simplify: iters left: 1 (9 enodes) 1550606374.076 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.076 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.076 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550606374.076 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550606374.076 * * [misc]simplify: Extracting #4: cost 0 inf + 405 1550606374.076 * [exit]simplify: Simplified to (cbrt (cos im)) 1550606374.076 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1550606374.076 * * * * [misc]progress: [ 12 / 21 ] simplifiying candidate # 1550606374.076 * [enter]simplify: Simplifying (sqrt (cos im)) 1550606374.076 * * [misc]simplify: iters left: 2 (3 enodes) 1550606374.077 * * [misc]simplify: iters left: 1 (9 enodes) 1550606374.078 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.078 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.078 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550606374.078 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550606374.078 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550606374.078 * [exit]simplify: Simplified to (sqrt (cos im)) 1550606374.078 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) 1550606374.078 * * * * [misc]progress: [ 13 / 21 ] simplifiying candidate # 1550606374.079 * [enter]simplify: Simplifying (cos im) 1550606374.079 * * [misc]simplify: iters left: 1 (2 enodes) 1550606374.079 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.079 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.079 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550606374.079 * * [misc]simplify: Extracting #3: cost 0 inf + 123 1550606374.079 * [exit]simplify: Simplified to (cos im) 1550606374.079 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (cos im))) 1550606374.079 * * * * [misc]progress: [ 14 / 21 ] simplifiying candidate # 1550606374.080 * [enter]simplify: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1550606374.080 * * [misc]simplify: iters left: 4 (4 enodes) 1550606374.080 * * [misc]simplify: iters left: 3 (12 enodes) 1550606374.082 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.082 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.082 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550606374.082 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550606374.082 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1550606374.082 * * [misc]simplify: Extracting #5: cost 0 inf + 827 1550606374.083 * [exit]simplify: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1550606374.083 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im)))) 1550606374.083 * * * * [misc]progress: [ 15 / 21 ] simplifiying candidate # 1550606374.083 * [enter]simplify: Simplifying (sqrt (exp re)) 1550606374.083 * * [misc]simplify: iters left: 2 (3 enodes) 1550606374.084 * * [misc]simplify: iters left: 1 (9 enodes) 1550606374.085 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.085 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.085 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550606374.085 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550606374.085 * * [misc]simplify: Extracting #4: cost 0 inf + 365 1550606374.085 * [exit]simplify: Simplified to (sqrt (exp re)) 1550606374.085 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1550606374.085 * * * * [misc]progress: [ 16 / 21 ] simplifiying candidate # 1550606374.085 * * * * [misc]progress: [ 17 / 21 ] simplifiying candidate #real (real->posit16 (* (exp re) (cos im)))))> 1550606374.085 * * * * [misc]progress: [ 18 / 21 ] simplifiying candidate # 1550606374.085 * * * * [misc]progress: [ 19 / 21 ] simplifiying candidate # 1550606374.086 * [enter]simplify: Simplifying (+ re (+ (* 1/2 (pow re 2)) 1)) 1550606374.086 * * [misc]simplify: iters left: 6 (8 enodes) 1550606374.089 * * [misc]simplify: iters left: 5 (32 enodes) 1550606374.094 * * [misc]simplify: iters left: 4 (46 enodes) 1550606374.105 * * [misc]simplify: iters left: 3 (58 enodes) 1550606374.113 * * [misc]simplify: iters left: 2 (62 enodes) 1550606374.120 * * [misc]simplify: iters left: 1 (70 enodes) 1550606374.138 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.138 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550606374.138 * * [misc]simplify: Extracting #2: cost 14 inf + 2 1550606374.138 * * [misc]simplify: Extracting #3: cost 14 inf + 128 1550606374.138 * * [misc]simplify: Extracting #4: cost 2 inf + 1115 1550606374.138 * * [misc]simplify: Extracting #5: cost 0 inf + 1400 1550606374.139 * [exit]simplify: Simplified to (+ re (+ 1 (* (* re re) 1/2))) 1550606374.139 * [misc]simplify: Simplified (2) to (λ (re im) (+ re (+ 1 (* (* re re) 1/2)))) 1550606374.139 * * * * [misc]progress: [ 20 / 21 ] simplifiying candidate # 1550606374.139 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1550606374.139 * * [misc]simplify: iters left: 3 (5 enodes) 1550606374.140 * * [misc]simplify: iters left: 2 (16 enodes) 1550606374.142 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.142 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550606374.142 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550606374.142 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1550606374.142 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550606374.142 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1550606374.142 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1550606374.142 * * * * [misc]progress: [ 21 / 21 ] simplifiying candidate # 1550606374.142 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1550606374.142 * * [misc]simplify: iters left: 3 (5 enodes) 1550606374.143 * * [misc]simplify: iters left: 2 (16 enodes) 1550606374.145 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.145 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550606374.145 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550606374.145 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1550606374.145 * * [misc]simplify: Extracting #4: cost 0 inf + 610 1550606374.146 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1550606374.146 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1550606374.146 * * * [misc]progress: adding candidates to table 1550606374.320 * * [misc]progress: iteration 2 / 4 1550606374.320 * * * [misc]progress: picking best candidate 1550606374.326 * * * * [misc]pick: Picked # 1550606374.326 * * * [misc]progress: localizing error 1550606374.337 * * * [misc]progress: generating rewritten candidates 1550606374.337 * * * [misc]progress: generating series expansions 1550606374.337 * * * [misc]progress: simplifying candidates 1550606374.337 * * * [misc]progress: adding candidates to table 1550606374.337 * [misc]progress: [Phase 3 of 3] Extracting. 1550606374.340 * [enter]simplify: Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) 1550606374.340 * * [misc]simplify: iters left: 6 (7 enodes) 1550606374.340 * * [misc]simplify: iters left: 5 (9 enodes) 1550606374.341 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550606374.341 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550606374.341 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550606374.341 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1550606374.341 * * [misc]simplify: Extracting #4: cost 4 inf + 63 1550606374.341 * * [misc]simplify: Extracting #5: cost 0 inf + 709 1550606374.341 * [exit]simplify: Simplified to (* (sqrt (exp re)) (* (cos im) (sqrt (exp re)))) 1550606377.930 * [misc]regime-testing: Baseline error score: 0.023861629580680773 1550606377.931 * [misc]regime-testing: Oracle error score: 0.023861629580680773 1550606377.931 * [misc]regime-testing: End program error score: 0.023861629580680773