1554044990.755 * [progress]: [Phase 1 of 3] Setting up. 1554044990.756 * * * [progress]: [1/2] Preparing points 1554044990.812 * * * [progress]: [2/2] Setting up program. 1554044990.815 * [progress]: [Phase 2 of 3] Improving. 1554044990.815 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554044990.815 * [simplify]: Simplifying (* (exp re) (sin im)) 1554044990.815 * * [simplify]: iters left: 3 (5 enodes) 1554044990.816 * * [simplify]: iters left: 2 (16 enodes) 1554044990.819 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044990.819 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044990.819 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044990.819 * * [simplify]: Extracting #3: cost 4 inf + 124 1554044990.819 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044990.819 * [simplify]: Simplified to (* (sin im) (exp re)) 1554044990.819 * [simplify]: Simplified (2) to (λ (re im) (* (sin im) (exp re))) 1554044990.822 * * [progress]: iteration 1 / 4 1554044990.822 * * * [progress]: picking best candidate 1554044990.824 * * * * [pick]: Picked # 1554044990.824 * * * [progress]: localizing error 1554044990.834 * * * [progress]: generating rewritten candidates 1554044990.834 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554044990.864 * * * [progress]: generating series expansions 1554044990.864 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554044990.864 * [backup-simplify]: Simplify (* (exp re) (sin im)) into (* (sin im) (exp re)) 1554044990.864 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 1554044990.864 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1554044990.864 * [taylor]: Taking taylor expansion of (sin im) in im 1554044990.864 * [taylor]: Taking taylor expansion of im in im 1554044990.864 * [backup-simplify]: Simplify 0 into 0 1554044990.864 * [backup-simplify]: Simplify 1 into 1 1554044990.864 * [taylor]: Taking taylor expansion of (exp re) in im 1554044990.864 * [taylor]: Taking taylor expansion of re in im 1554044990.865 * [backup-simplify]: Simplify re into re 1554044990.865 * [backup-simplify]: Simplify (exp re) into (exp re) 1554044990.865 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044990.865 * [taylor]: Taking taylor expansion of (sin im) in re 1554044990.865 * [taylor]: Taking taylor expansion of im in re 1554044990.865 * [backup-simplify]: Simplify im into im 1554044990.865 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044990.865 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044990.865 * [taylor]: Taking taylor expansion of (exp re) in re 1554044990.865 * [taylor]: Taking taylor expansion of re in re 1554044990.865 * [backup-simplify]: Simplify 0 into 0 1554044990.865 * [backup-simplify]: Simplify 1 into 1 1554044990.865 * [backup-simplify]: Simplify (exp 0) into 1 1554044990.865 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044990.865 * [taylor]: Taking taylor expansion of (sin im) in re 1554044990.865 * [taylor]: Taking taylor expansion of im in re 1554044990.865 * [backup-simplify]: Simplify im into im 1554044990.865 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044990.865 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044990.865 * [taylor]: Taking taylor expansion of (exp re) in re 1554044990.865 * [taylor]: Taking taylor expansion of re in re 1554044990.865 * [backup-simplify]: Simplify 0 into 0 1554044990.865 * [backup-simplify]: Simplify 1 into 1 1554044990.865 * [backup-simplify]: Simplify (exp 0) into 1 1554044990.865 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044990.865 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1554044990.865 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1554044990.865 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044990.865 * [taylor]: Taking taylor expansion of (sin im) in im 1554044990.865 * [taylor]: Taking taylor expansion of im in im 1554044990.865 * [backup-simplify]: Simplify 0 into 0 1554044990.865 * [backup-simplify]: Simplify 1 into 1 1554044990.865 * [backup-simplify]: Simplify 0 into 0 1554044990.866 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044990.867 * [backup-simplify]: Simplify (+ 0) into 0 1554044990.867 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1554044990.869 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044990.870 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1554044990.870 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.870 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1554044990.870 * [taylor]: Taking taylor expansion of (sin im) in im 1554044990.870 * [taylor]: Taking taylor expansion of im in im 1554044990.870 * [backup-simplify]: Simplify 0 into 0 1554044990.870 * [backup-simplify]: Simplify 1 into 1 1554044990.870 * [backup-simplify]: Simplify 0 into 0 1554044990.871 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044990.871 * [backup-simplify]: Simplify 1 into 1 1554044990.872 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554044990.872 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044990.873 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1554044990.873 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.873 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1554044990.874 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.874 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1554044990.874 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1554044990.874 * [taylor]: Taking taylor expansion of 1/2 in im 1554044990.874 * [backup-simplify]: Simplify 1/2 into 1/2 1554044990.874 * [taylor]: Taking taylor expansion of (sin im) in im 1554044990.874 * [taylor]: Taking taylor expansion of im in im 1554044990.874 * [backup-simplify]: Simplify 0 into 0 1554044990.874 * [backup-simplify]: Simplify 1 into 1 1554044990.874 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554044990.874 * [backup-simplify]: Simplify 0 into 0 1554044990.875 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044990.875 * [backup-simplify]: Simplify 1 into 1 1554044990.875 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.875 * [backup-simplify]: Simplify 0 into 0 1554044990.877 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554044990.877 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044990.878 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044990.879 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.879 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044990.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.880 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im)) 1554044990.880 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 1554044990.880 * [taylor]: Taking taylor expansion of 1/6 in im 1554044990.880 * [backup-simplify]: Simplify 1/6 into 1/6 1554044990.880 * [taylor]: Taking taylor expansion of (sin im) in im 1554044990.880 * [taylor]: Taking taylor expansion of im in im 1554044990.880 * [backup-simplify]: Simplify 0 into 0 1554044990.880 * [backup-simplify]: Simplify 1 into 1 1554044990.880 * [backup-simplify]: Simplify (* 1/6 0) into 0 1554044990.880 * [backup-simplify]: Simplify 0 into 0 1554044990.881 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044990.881 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1554044990.881 * [backup-simplify]: Simplify 1/2 into 1/2 1554044990.881 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044990.881 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044990.881 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1554044990.881 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044990.881 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044990.882 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044990.882 * [taylor]: Taking taylor expansion of im in im 1554044990.882 * [backup-simplify]: Simplify 0 into 0 1554044990.882 * [backup-simplify]: Simplify 1 into 1 1554044990.882 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044990.882 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044990.882 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044990.882 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044990.882 * [taylor]: Taking taylor expansion of re in im 1554044990.882 * [backup-simplify]: Simplify re into re 1554044990.882 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044990.882 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044990.882 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044990.882 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044990.882 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044990.882 * [taylor]: Taking taylor expansion of im in re 1554044990.882 * [backup-simplify]: Simplify im into im 1554044990.882 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044990.882 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044990.882 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044990.882 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044990.882 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044990.882 * [taylor]: Taking taylor expansion of re in re 1554044990.882 * [backup-simplify]: Simplify 0 into 0 1554044990.882 * [backup-simplify]: Simplify 1 into 1 1554044990.883 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044990.883 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044990.883 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044990.883 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044990.883 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044990.883 * [taylor]: Taking taylor expansion of im in re 1554044990.883 * [backup-simplify]: Simplify im into im 1554044990.883 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044990.883 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044990.883 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044990.883 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044990.883 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044990.883 * [taylor]: Taking taylor expansion of re in re 1554044990.883 * [backup-simplify]: Simplify 0 into 0 1554044990.883 * [backup-simplify]: Simplify 1 into 1 1554044990.883 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044990.883 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044990.883 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1554044990.883 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1554044990.883 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1554044990.883 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044990.883 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044990.884 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044990.884 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044990.884 * [taylor]: Taking taylor expansion of im in im 1554044990.884 * [backup-simplify]: Simplify 0 into 0 1554044990.884 * [backup-simplify]: Simplify 1 into 1 1554044990.884 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044990.884 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044990.884 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044990.884 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044990.884 * [taylor]: Taking taylor expansion of re in im 1554044990.884 * [backup-simplify]: Simplify re into re 1554044990.884 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044990.884 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044990.884 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044990.884 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044990.884 * [backup-simplify]: Simplify (+ 0) into 0 1554044990.885 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1554044990.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1554044990.885 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044990.886 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1554044990.886 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.886 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044990.886 * [taylor]: Taking taylor expansion of 0 in im 1554044990.886 * [backup-simplify]: Simplify 0 into 0 1554044990.886 * [backup-simplify]: Simplify 0 into 0 1554044990.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1554044990.886 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044990.887 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044990.887 * [backup-simplify]: Simplify 0 into 0 1554044990.887 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044990.888 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044990.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044990.888 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.888 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044990.889 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.889 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044990.889 * [taylor]: Taking taylor expansion of 0 in im 1554044990.889 * [backup-simplify]: Simplify 0 into 0 1554044990.889 * [backup-simplify]: Simplify 0 into 0 1554044990.889 * [backup-simplify]: Simplify 0 into 0 1554044990.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044990.890 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044990.890 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044990.890 * [backup-simplify]: Simplify 0 into 0 1554044990.891 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044990.891 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044990.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044990.892 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.893 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044990.893 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.893 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1554044990.893 * [taylor]: Taking taylor expansion of 0 in im 1554044990.893 * [backup-simplify]: Simplify 0 into 0 1554044990.893 * [backup-simplify]: Simplify 0 into 0 1554044990.894 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1554044990.894 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044990.894 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0 1554044990.894 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044990.894 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044990.894 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044990.894 * [taylor]: Taking taylor expansion of -1 in im 1554044990.894 * [backup-simplify]: Simplify -1 into -1 1554044990.894 * [taylor]: Taking taylor expansion of re in im 1554044990.894 * [backup-simplify]: Simplify re into re 1554044990.894 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044990.894 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044990.894 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044990.894 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044990.894 * [taylor]: Taking taylor expansion of -1 in im 1554044990.894 * [backup-simplify]: Simplify -1 into -1 1554044990.894 * [taylor]: Taking taylor expansion of im in im 1554044990.894 * [backup-simplify]: Simplify 0 into 0 1554044990.894 * [backup-simplify]: Simplify 1 into 1 1554044990.894 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044990.894 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044990.894 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044990.894 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044990.894 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044990.894 * [taylor]: Taking taylor expansion of -1 in re 1554044990.894 * [backup-simplify]: Simplify -1 into -1 1554044990.894 * [taylor]: Taking taylor expansion of re in re 1554044990.894 * [backup-simplify]: Simplify 0 into 0 1554044990.894 * [backup-simplify]: Simplify 1 into 1 1554044990.895 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044990.895 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044990.895 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044990.895 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044990.895 * [taylor]: Taking taylor expansion of -1 in re 1554044990.895 * [backup-simplify]: Simplify -1 into -1 1554044990.895 * [taylor]: Taking taylor expansion of im in re 1554044990.895 * [backup-simplify]: Simplify im into im 1554044990.895 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044990.895 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044990.895 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044990.895 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044990.895 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044990.895 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044990.895 * [taylor]: Taking taylor expansion of -1 in re 1554044990.895 * [backup-simplify]: Simplify -1 into -1 1554044990.895 * [taylor]: Taking taylor expansion of re in re 1554044990.895 * [backup-simplify]: Simplify 0 into 0 1554044990.895 * [backup-simplify]: Simplify 1 into 1 1554044990.895 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044990.895 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044990.895 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044990.895 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044990.895 * [taylor]: Taking taylor expansion of -1 in re 1554044990.895 * [backup-simplify]: Simplify -1 into -1 1554044990.895 * [taylor]: Taking taylor expansion of im in re 1554044990.895 * [backup-simplify]: Simplify im into im 1554044990.895 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044990.896 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044990.896 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044990.896 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1554044990.896 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1554044990.896 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1554044990.896 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044990.896 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044990.896 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044990.896 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044990.896 * [taylor]: Taking taylor expansion of -1 in im 1554044990.896 * [backup-simplify]: Simplify -1 into -1 1554044990.896 * [taylor]: Taking taylor expansion of re in im 1554044990.896 * [backup-simplify]: Simplify re into re 1554044990.896 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044990.896 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044990.896 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044990.896 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044990.896 * [taylor]: Taking taylor expansion of -1 in im 1554044990.896 * [backup-simplify]: Simplify -1 into -1 1554044990.896 * [taylor]: Taking taylor expansion of im in im 1554044990.896 * [backup-simplify]: Simplify 0 into 0 1554044990.896 * [backup-simplify]: Simplify 1 into 1 1554044990.896 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044990.896 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044990.897 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044990.897 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044990.897 * [backup-simplify]: Simplify (+ 0) into 0 1554044990.897 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1554044990.897 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1554044990.898 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044990.898 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1554044990.898 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.898 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044990.898 * [taylor]: Taking taylor expansion of 0 in im 1554044990.898 * [backup-simplify]: Simplify 0 into 0 1554044990.898 * [backup-simplify]: Simplify 0 into 0 1554044990.898 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1554044990.899 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044990.899 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044990.899 * [backup-simplify]: Simplify 0 into 0 1554044990.900 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044990.900 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044990.900 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044990.901 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.901 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044990.901 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.915 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044990.916 * [taylor]: Taking taylor expansion of 0 in im 1554044990.916 * [backup-simplify]: Simplify 0 into 0 1554044990.916 * [backup-simplify]: Simplify 0 into 0 1554044990.916 * [backup-simplify]: Simplify 0 into 0 1554044990.916 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044990.917 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044990.918 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044990.918 * [backup-simplify]: Simplify 0 into 0 1554044990.919 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044990.920 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044990.920 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044990.922 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044990.923 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044990.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044990.924 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1554044990.924 * [taylor]: Taking taylor expansion of 0 in im 1554044990.924 * [backup-simplify]: Simplify 0 into 0 1554044990.924 * [backup-simplify]: Simplify 0 into 0 1554044990.924 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re)) 1554044990.924 * * * [progress]: simplifying candidates 1554044990.924 * * * * [progress]: [ 1 / 24 ] simplifiying candidate # 1554044990.924 * * * * [progress]: [ 2 / 24 ] simplifiying candidate # 1554044990.924 * * * * [progress]: [ 3 / 24 ] simplifiying candidate # 1554044990.925 * [simplify]: Simplifying (* (exp re) (sin im)) 1554044990.925 * * [simplify]: iters left: 3 (5 enodes) 1554044990.927 * * [simplify]: iters left: 2 (16 enodes) 1554044990.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044990.931 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044990.931 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044990.931 * * [simplify]: Extracting #3: cost 4 inf + 124 1554044990.931 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044990.931 * [simplify]: Simplified to (* (sin im) (exp re)) 1554044990.931 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (sin im) (exp re)) 1)) 1554044990.932 * * * * [progress]: [ 4 / 24 ] simplifiying candidate # 1554044990.932 * * * * [progress]: [ 5 / 24 ] simplifiying candidate # 1554044990.932 * [simplify]: Simplifying (+ re (log (sin im))) 1554044990.932 * * [simplify]: iters left: 4 (5 enodes) 1554044990.934 * * [simplify]: iters left: 3 (16 enodes) 1554044990.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044990.938 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044990.938 * * [simplify]: Extracting #2: cost 5 inf + 1 1554044990.938 * * [simplify]: Extracting #3: cost 7 inf + 1 1554044990.939 * * [simplify]: Extracting #4: cost 0 inf + 730 1554044990.939 * [simplify]: Simplified to (+ (log (sin im)) re) 1554044990.939 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sin im)) re))) 1554044990.939 * * * * [progress]: [ 6 / 24 ] simplifiying candidate # 1554044990.939 * * * * [progress]: [ 7 / 24 ] simplifiying candidate # 1554044990.939 * * * * [progress]: [ 8 / 24 ] simplifiying candidate # 1554044990.939 * [simplify]: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) 1554044990.939 * * [simplify]: iters left: 6 (9 enodes) 1554044990.944 * * [simplify]: iters left: 5 (36 enodes) 1554044990.955 * * [simplify]: iters left: 4 (71 enodes) 1554044990.980 * * [simplify]: iters left: 3 (127 enodes) 1554044991.034 * * [simplify]: iters left: 2 (202 enodes) 1554044991.102 * * [simplify]: iters left: 1 (360 enodes) 1554044991.219 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.219 * * [simplify]: Extracting #1: cost 49 inf + 0 1554044991.220 * * [simplify]: Extracting #2: cost 155 inf + 1 1554044991.222 * * [simplify]: Extracting #3: cost 148 inf + 2143 1554044991.225 * * [simplify]: Extracting #4: cost 101 inf + 19581 1554044991.233 * * [simplify]: Extracting #5: cost 8 inf + 69910 1554044991.242 * * [simplify]: Extracting #6: cost 0 inf + 74840 1554044991.250 * [simplify]: Simplified to (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))) 1554044991.250 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))) 1554044991.250 * * * * [progress]: [ 9 / 24 ] simplifiying candidate # 1554044991.250 * * * * [progress]: [ 10 / 24 ] simplifiying candidate # 1554044991.250 * * * * [progress]: [ 11 / 24 ] simplifiying candidate # 1554044991.250 * * * * [progress]: [ 12 / 24 ] simplifiying candidate # 1554044991.250 * * * * [progress]: [ 13 / 24 ] simplifiying candidate # 1554044991.251 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (sin im))) 1554044991.251 * * [simplify]: iters left: 4 (7 enodes) 1554044991.252 * * [simplify]: iters left: 3 (22 enodes) 1554044991.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.257 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044991.257 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044991.257 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044991.257 * * [simplify]: Extracting #4: cost 10 inf + 2 1554044991.257 * * [simplify]: Extracting #5: cost 4 inf + 468 1554044991.258 * * [simplify]: Extracting #6: cost 1 inf + 942 1554044991.258 * * [simplify]: Extracting #7: cost 0 inf + 1194 1554044991.258 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (sin im))) 1554044991.258 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))))) 1554044991.258 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (sin im))) 1554044991.258 * * [simplify]: iters left: 4 (7 enodes) 1554044991.260 * * [simplify]: iters left: 3 (22 enodes) 1554044991.264 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.264 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044991.264 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044991.264 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044991.264 * * [simplify]: Extracting #4: cost 10 inf + 2 1554044991.265 * * [simplify]: Extracting #5: cost 4 inf + 468 1554044991.265 * * [simplify]: Extracting #6: cost 1 inf + 942 1554044991.265 * * [simplify]: Extracting #7: cost 0 inf + 1194 1554044991.266 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (sin im))) 1554044991.266 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))))) 1554044991.266 * * * * [progress]: [ 14 / 24 ] simplifiying candidate # 1554044991.266 * [simplify]: Simplifying (cbrt (sin im)) 1554044991.266 * * [simplify]: iters left: 2 (3 enodes) 1554044991.267 * * [simplify]: iters left: 1 (9 enodes) 1554044991.270 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.270 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044991.270 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044991.270 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044991.270 * * [simplify]: Extracting #4: cost 0 inf + 405 1554044991.270 * [simplify]: Simplified to (cbrt (sin im)) 1554044991.270 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im)))) 1554044991.270 * * * * [progress]: [ 15 / 24 ] simplifiying candidate # 1554044991.270 * [simplify]: Simplifying (sqrt (sin im)) 1554044991.270 * * [simplify]: iters left: 2 (3 enodes) 1554044991.272 * * [simplify]: iters left: 1 (9 enodes) 1554044991.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.274 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044991.274 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044991.274 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044991.274 * * [simplify]: Extracting #4: cost 0 inf + 325 1554044991.274 * [simplify]: Simplified to (sqrt (sin im)) 1554044991.274 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))) 1554044991.275 * * * * [progress]: [ 16 / 24 ] simplifiying candidate # 1554044991.275 * [simplify]: Simplifying (sin im) 1554044991.275 * * [simplify]: iters left: 1 (2 enodes) 1554044991.276 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.276 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044991.276 * * [simplify]: Extracting #2: cost 2 inf + 1 1554044991.276 * * [simplify]: Extracting #3: cost 0 inf + 123 1554044991.276 * [simplify]: Simplified to (sin im) 1554044991.276 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (sin im))) 1554044991.276 * * * * [progress]: [ 17 / 24 ] simplifiying candidate # 1554044991.276 * [simplify]: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1554044991.276 * * [simplify]: iters left: 4 (4 enodes) 1554044991.278 * * [simplify]: iters left: 3 (12 enodes) 1554044991.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.281 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044991.281 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044991.281 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044991.281 * * [simplify]: Extracting #4: cost 6 inf + 1 1554044991.282 * * [simplify]: Extracting #5: cost 0 inf + 827 1554044991.282 * [simplify]: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1554044991.282 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im)))) 1554044991.282 * * * * [progress]: [ 18 / 24 ] simplifiying candidate # 1554044991.282 * [simplify]: Simplifying (sqrt (exp re)) 1554044991.282 * * [simplify]: iters left: 2 (3 enodes) 1554044991.283 * * [simplify]: iters left: 1 (9 enodes) 1554044991.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.286 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044991.286 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044991.286 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044991.286 * * [simplify]: Extracting #4: cost 0 inf + 365 1554044991.286 * [simplify]: Simplified to (sqrt (exp re)) 1554044991.286 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) 1554044991.286 * * * * [progress]: [ 19 / 24 ] simplifiying candidate # 1554044991.286 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #real (real->posit16 (* (exp re) (sin im)))))> 1554044991.286 * * * * [progress]: [ 21 / 24 ] simplifiying candidate # 1554044991.286 * * * * [progress]: [ 22 / 24 ] simplifiying candidate # 1554044991.287 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044991.287 * * [simplify]: iters left: 6 (10 enodes) 1554044991.291 * * [simplify]: iters left: 5 (48 enodes) 1554044991.299 * * [simplify]: iters left: 4 (89 enodes) 1554044991.315 * * [simplify]: iters left: 3 (165 enodes) 1554044991.348 * * [simplify]: iters left: 2 (238 enodes) 1554044991.385 * * [simplify]: iters left: 1 (290 enodes) 1554044991.474 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.475 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044991.475 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044991.477 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044991.479 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044991.482 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044991.483 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044991.483 * [simplify]: Simplified (2) to (λ (re im) (fma (fma 1/2 (* re re) re) im im)) 1554044991.483 * * * * [progress]: [ 23 / 24 ] simplifiying candidate # 1554044991.483 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044991.483 * * [simplify]: iters left: 3 (5 enodes) 1554044991.484 * * [simplify]: iters left: 2 (16 enodes) 1554044991.487 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.487 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044991.487 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044991.487 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044991.487 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044991.487 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044991.487 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1554044991.487 * * * * [progress]: [ 24 / 24 ] simplifiying candidate # 1554044991.487 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044991.487 * * [simplify]: iters left: 3 (5 enodes) 1554044991.488 * * [simplify]: iters left: 2 (16 enodes) 1554044991.490 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044991.490 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044991.490 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044991.490 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044991.490 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044991.491 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044991.491 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1554044991.491 * * * [progress]: adding candidates to table 1554044991.700 * * [progress]: iteration 2 / 4 1554044991.700 * * * [progress]: picking best candidate 1554044991.704 * * * * [pick]: Picked # 1554044991.705 * * * [progress]: localizing error 1554044991.718 * * * [progress]: generating rewritten candidates 1554044991.718 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1554044991.722 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1554044991.735 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1554044991.761 * * * [progress]: generating series expansions 1554044991.761 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1554044991.762 * [backup-simplify]: Simplify (log (exp (* (exp re) (sin im)))) into (* (sin im) (exp re)) 1554044991.762 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 1554044991.762 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1554044991.762 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.762 * [taylor]: Taking taylor expansion of im in im 1554044991.762 * [backup-simplify]: Simplify 0 into 0 1554044991.762 * [backup-simplify]: Simplify 1 into 1 1554044991.762 * [taylor]: Taking taylor expansion of (exp re) in im 1554044991.762 * [taylor]: Taking taylor expansion of re in im 1554044991.762 * [backup-simplify]: Simplify re into re 1554044991.762 * [backup-simplify]: Simplify (exp re) into (exp re) 1554044991.762 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.762 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.762 * [taylor]: Taking taylor expansion of im in re 1554044991.762 * [backup-simplify]: Simplify im into im 1554044991.762 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.762 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.762 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.762 * [taylor]: Taking taylor expansion of re in re 1554044991.762 * [backup-simplify]: Simplify 0 into 0 1554044991.762 * [backup-simplify]: Simplify 1 into 1 1554044991.762 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.762 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.762 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.762 * [taylor]: Taking taylor expansion of im in re 1554044991.762 * [backup-simplify]: Simplify im into im 1554044991.762 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.762 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.762 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.762 * [taylor]: Taking taylor expansion of re in re 1554044991.762 * [backup-simplify]: Simplify 0 into 0 1554044991.762 * [backup-simplify]: Simplify 1 into 1 1554044991.762 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.763 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.763 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1554044991.763 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1554044991.763 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.763 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.763 * [taylor]: Taking taylor expansion of im in im 1554044991.763 * [backup-simplify]: Simplify 0 into 0 1554044991.763 * [backup-simplify]: Simplify 1 into 1 1554044991.763 * [backup-simplify]: Simplify 0 into 0 1554044991.764 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044991.765 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.765 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1554044991.766 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.766 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1554044991.767 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.767 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1554044991.767 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.767 * [taylor]: Taking taylor expansion of im in im 1554044991.767 * [backup-simplify]: Simplify 0 into 0 1554044991.767 * [backup-simplify]: Simplify 1 into 1 1554044991.767 * [backup-simplify]: Simplify 0 into 0 1554044991.768 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.768 * [backup-simplify]: Simplify 1 into 1 1554044991.770 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554044991.771 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.771 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.772 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.773 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.773 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.774 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1554044991.774 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1554044991.774 * [taylor]: Taking taylor expansion of 1/2 in im 1554044991.774 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.774 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.774 * [taylor]: Taking taylor expansion of im in im 1554044991.774 * [backup-simplify]: Simplify 0 into 0 1554044991.774 * [backup-simplify]: Simplify 1 into 1 1554044991.774 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554044991.774 * [backup-simplify]: Simplify 0 into 0 1554044991.775 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.775 * [backup-simplify]: Simplify 1 into 1 1554044991.776 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.776 * [backup-simplify]: Simplify 0 into 0 1554044991.778 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554044991.783 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.784 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.785 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.786 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.787 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.787 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im)) 1554044991.788 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 1554044991.788 * [taylor]: Taking taylor expansion of 1/6 in im 1554044991.788 * [backup-simplify]: Simplify 1/6 into 1/6 1554044991.788 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.788 * [taylor]: Taking taylor expansion of im in im 1554044991.788 * [backup-simplify]: Simplify 0 into 0 1554044991.788 * [backup-simplify]: Simplify 1 into 1 1554044991.788 * [backup-simplify]: Simplify (* 1/6 0) into 0 1554044991.788 * [backup-simplify]: Simplify 0 into 0 1554044991.789 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.790 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1554044991.790 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.790 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044991.790 * [backup-simplify]: Simplify (log (exp (* (exp (/ 1 re)) (sin (/ 1 im))))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.790 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1554044991.790 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.790 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.790 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.790 * [taylor]: Taking taylor expansion of im in im 1554044991.790 * [backup-simplify]: Simplify 0 into 0 1554044991.790 * [backup-simplify]: Simplify 1 into 1 1554044991.791 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.791 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.791 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.791 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.791 * [taylor]: Taking taylor expansion of re in im 1554044991.791 * [backup-simplify]: Simplify re into re 1554044991.791 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.791 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.791 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.791 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.791 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.791 * [taylor]: Taking taylor expansion of im in re 1554044991.791 * [backup-simplify]: Simplify im into im 1554044991.791 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.791 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.792 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.792 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.792 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.792 * [taylor]: Taking taylor expansion of re in re 1554044991.792 * [backup-simplify]: Simplify 0 into 0 1554044991.792 * [backup-simplify]: Simplify 1 into 1 1554044991.792 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.792 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.792 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.792 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.792 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.792 * [taylor]: Taking taylor expansion of im in re 1554044991.792 * [backup-simplify]: Simplify im into im 1554044991.792 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.792 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.792 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.792 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.793 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.793 * [taylor]: Taking taylor expansion of re in re 1554044991.793 * [backup-simplify]: Simplify 0 into 0 1554044991.793 * [backup-simplify]: Simplify 1 into 1 1554044991.793 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.793 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.793 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1554044991.793 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1554044991.793 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1554044991.794 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.794 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.794 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.794 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.794 * [taylor]: Taking taylor expansion of im in im 1554044991.794 * [backup-simplify]: Simplify 0 into 0 1554044991.794 * [backup-simplify]: Simplify 1 into 1 1554044991.794 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.794 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.794 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.794 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.794 * [taylor]: Taking taylor expansion of re in im 1554044991.794 * [backup-simplify]: Simplify re into re 1554044991.795 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.795 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.795 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.795 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.795 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.796 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1554044991.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1554044991.797 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.797 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1554044991.798 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.798 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.798 * [taylor]: Taking taylor expansion of 0 in im 1554044991.798 * [backup-simplify]: Simplify 0 into 0 1554044991.798 * [backup-simplify]: Simplify 0 into 0 1554044991.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1554044991.799 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.799 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.799 * [backup-simplify]: Simplify 0 into 0 1554044991.800 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.801 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.802 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.802 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.802 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.803 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.803 * [taylor]: Taking taylor expansion of 0 in im 1554044991.803 * [backup-simplify]: Simplify 0 into 0 1554044991.803 * [backup-simplify]: Simplify 0 into 0 1554044991.803 * [backup-simplify]: Simplify 0 into 0 1554044991.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.804 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.805 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.805 * [backup-simplify]: Simplify 0 into 0 1554044991.806 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.807 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.808 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.809 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.810 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1554044991.810 * [taylor]: Taking taylor expansion of 0 in im 1554044991.810 * [backup-simplify]: Simplify 0 into 0 1554044991.810 * [backup-simplify]: Simplify 0 into 0 1554044991.810 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1554044991.811 * [backup-simplify]: Simplify (log (exp (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.811 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0 1554044991.811 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.811 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.811 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.811 * [taylor]: Taking taylor expansion of -1 in im 1554044991.811 * [backup-simplify]: Simplify -1 into -1 1554044991.811 * [taylor]: Taking taylor expansion of re in im 1554044991.811 * [backup-simplify]: Simplify re into re 1554044991.811 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.811 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.811 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.811 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.811 * [taylor]: Taking taylor expansion of -1 in im 1554044991.811 * [backup-simplify]: Simplify -1 into -1 1554044991.811 * [taylor]: Taking taylor expansion of im in im 1554044991.811 * [backup-simplify]: Simplify 0 into 0 1554044991.811 * [backup-simplify]: Simplify 1 into 1 1554044991.812 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.812 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.812 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.812 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.812 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.812 * [taylor]: Taking taylor expansion of -1 in re 1554044991.812 * [backup-simplify]: Simplify -1 into -1 1554044991.812 * [taylor]: Taking taylor expansion of re in re 1554044991.812 * [backup-simplify]: Simplify 0 into 0 1554044991.812 * [backup-simplify]: Simplify 1 into 1 1554044991.813 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.813 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.813 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.813 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.813 * [taylor]: Taking taylor expansion of -1 in re 1554044991.813 * [backup-simplify]: Simplify -1 into -1 1554044991.813 * [taylor]: Taking taylor expansion of im in re 1554044991.813 * [backup-simplify]: Simplify im into im 1554044991.813 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.813 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.813 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.813 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.813 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.813 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.813 * [taylor]: Taking taylor expansion of -1 in re 1554044991.813 * [backup-simplify]: Simplify -1 into -1 1554044991.813 * [taylor]: Taking taylor expansion of re in re 1554044991.813 * [backup-simplify]: Simplify 0 into 0 1554044991.813 * [backup-simplify]: Simplify 1 into 1 1554044991.814 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.814 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.814 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.814 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.814 * [taylor]: Taking taylor expansion of -1 in re 1554044991.814 * [backup-simplify]: Simplify -1 into -1 1554044991.814 * [taylor]: Taking taylor expansion of im in re 1554044991.814 * [backup-simplify]: Simplify im into im 1554044991.814 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.814 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.814 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.814 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1554044991.814 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1554044991.815 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1554044991.815 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.815 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.815 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.815 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.815 * [taylor]: Taking taylor expansion of -1 in im 1554044991.815 * [backup-simplify]: Simplify -1 into -1 1554044991.815 * [taylor]: Taking taylor expansion of re in im 1554044991.815 * [backup-simplify]: Simplify re into re 1554044991.815 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.815 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.815 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.815 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.815 * [taylor]: Taking taylor expansion of -1 in im 1554044991.815 * [backup-simplify]: Simplify -1 into -1 1554044991.815 * [taylor]: Taking taylor expansion of im in im 1554044991.815 * [backup-simplify]: Simplify 0 into 0 1554044991.815 * [backup-simplify]: Simplify 1 into 1 1554044991.816 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.816 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.816 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.816 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.816 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.817 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1554044991.817 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1554044991.818 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.818 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1554044991.819 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.819 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.819 * [taylor]: Taking taylor expansion of 0 in im 1554044991.819 * [backup-simplify]: Simplify 0 into 0 1554044991.819 * [backup-simplify]: Simplify 0 into 0 1554044991.819 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1554044991.820 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.820 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.820 * [backup-simplify]: Simplify 0 into 0 1554044991.821 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.822 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.822 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.823 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.823 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.824 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.824 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.824 * [taylor]: Taking taylor expansion of 0 in im 1554044991.824 * [backup-simplify]: Simplify 0 into 0 1554044991.824 * [backup-simplify]: Simplify 0 into 0 1554044991.824 * [backup-simplify]: Simplify 0 into 0 1554044991.825 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.826 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.826 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.826 * [backup-simplify]: Simplify 0 into 0 1554044991.827 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.828 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.828 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.830 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.830 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.831 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.832 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1554044991.832 * [taylor]: Taking taylor expansion of 0 in im 1554044991.832 * [backup-simplify]: Simplify 0 into 0 1554044991.832 * [backup-simplify]: Simplify 0 into 0 1554044991.832 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re)) 1554044991.832 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1554044991.832 * [backup-simplify]: Simplify (exp (* (exp re) (sin im))) into (exp (* (sin im) (exp re))) 1554044991.832 * [approximate]: Taking taylor expansion of (exp (* (sin im) (exp re))) in (re im) around 0 1554044991.832 * [taylor]: Taking taylor expansion of (exp (* (sin im) (exp re))) in im 1554044991.832 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1554044991.832 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.832 * [taylor]: Taking taylor expansion of im in im 1554044991.832 * [backup-simplify]: Simplify 0 into 0 1554044991.832 * [backup-simplify]: Simplify 1 into 1 1554044991.832 * [taylor]: Taking taylor expansion of (exp re) in im 1554044991.832 * [taylor]: Taking taylor expansion of re in im 1554044991.832 * [backup-simplify]: Simplify re into re 1554044991.832 * [backup-simplify]: Simplify (exp re) into (exp re) 1554044991.832 * [backup-simplify]: Simplify (* 0 (exp re)) into 0 1554044991.833 * [backup-simplify]: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.834 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.834 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1554044991.834 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.834 * [taylor]: Taking taylor expansion of (exp (* (sin im) (exp re))) in re 1554044991.834 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.834 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.834 * [taylor]: Taking taylor expansion of im in re 1554044991.835 * [backup-simplify]: Simplify im into im 1554044991.835 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.835 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.835 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.835 * [taylor]: Taking taylor expansion of re in re 1554044991.835 * [backup-simplify]: Simplify 0 into 0 1554044991.835 * [backup-simplify]: Simplify 1 into 1 1554044991.835 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.835 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.835 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1554044991.835 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1554044991.835 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.835 * [backup-simplify]: Simplify (exp (sin im)) into (exp (sin im)) 1554044991.835 * [taylor]: Taking taylor expansion of (exp (* (sin im) (exp re))) in re 1554044991.835 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.835 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.835 * [taylor]: Taking taylor expansion of im in re 1554044991.835 * [backup-simplify]: Simplify im into im 1554044991.835 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.835 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.835 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.835 * [taylor]: Taking taylor expansion of re in re 1554044991.835 * [backup-simplify]: Simplify 0 into 0 1554044991.835 * [backup-simplify]: Simplify 1 into 1 1554044991.835 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.836 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.836 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1554044991.836 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1554044991.836 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.836 * [backup-simplify]: Simplify (exp (sin im)) into (exp (sin im)) 1554044991.836 * [taylor]: Taking taylor expansion of (exp (sin im)) in im 1554044991.836 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.836 * [taylor]: Taking taylor expansion of im in im 1554044991.836 * [backup-simplify]: Simplify 0 into 0 1554044991.836 * [backup-simplify]: Simplify 1 into 1 1554044991.837 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.837 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.837 * [backup-simplify]: Simplify 1 into 1 1554044991.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044991.839 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.840 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1554044991.841 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.841 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1554044991.841 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.842 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1554044991.842 * [backup-simplify]: Simplify (* (exp (sin im)) (+ (* (/ (pow (sin im) 1) 1)))) into (* (sin im) (exp (sin im))) 1554044991.842 * [taylor]: Taking taylor expansion of (* (sin im) (exp (sin im))) in im 1554044991.842 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.842 * [taylor]: Taking taylor expansion of im in im 1554044991.842 * [backup-simplify]: Simplify 0 into 0 1554044991.842 * [backup-simplify]: Simplify 1 into 1 1554044991.842 * [taylor]: Taking taylor expansion of (exp (sin im)) in im 1554044991.842 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.842 * [taylor]: Taking taylor expansion of im in im 1554044991.842 * [backup-simplify]: Simplify 0 into 0 1554044991.842 * [backup-simplify]: Simplify 1 into 1 1554044991.843 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.843 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.844 * [backup-simplify]: Simplify (* 0 1) into 0 1554044991.844 * [backup-simplify]: Simplify 0 into 0 1554044991.845 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044991.845 * [backup-simplify]: Simplify 1 into 1 1554044991.847 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554044991.848 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.848 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.849 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.850 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.850 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.851 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1554044991.851 * [backup-simplify]: Simplify (* (exp (sin im)) (+ (* (/ (pow (sin im) 2) 2)) (* (/ (pow (* 1/2 (sin im)) 1) 1)))) into (* (exp (sin im)) (+ (* 1/2 (sin im)) (* 1/2 (pow (sin im) 2)))) 1554044991.851 * [taylor]: Taking taylor expansion of (* (exp (sin im)) (+ (* 1/2 (sin im)) (* 1/2 (pow (sin im) 2)))) in im 1554044991.851 * [taylor]: Taking taylor expansion of (exp (sin im)) in im 1554044991.851 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.851 * [taylor]: Taking taylor expansion of im in im 1554044991.851 * [backup-simplify]: Simplify 0 into 0 1554044991.851 * [backup-simplify]: Simplify 1 into 1 1554044991.852 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.852 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.852 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin im)) (* 1/2 (pow (sin im) 2))) in im 1554044991.852 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1554044991.852 * [taylor]: Taking taylor expansion of 1/2 in im 1554044991.852 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.852 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.852 * [taylor]: Taking taylor expansion of im in im 1554044991.852 * [backup-simplify]: Simplify 0 into 0 1554044991.852 * [backup-simplify]: Simplify 1 into 1 1554044991.852 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin im) 2)) in im 1554044991.852 * [taylor]: Taking taylor expansion of 1/2 in im 1554044991.852 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.852 * [taylor]: Taking taylor expansion of (pow (sin im) 2) in im 1554044991.852 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.852 * [taylor]: Taking taylor expansion of im in im 1554044991.852 * [backup-simplify]: Simplify 0 into 0 1554044991.852 * [backup-simplify]: Simplify 1 into 1 1554044991.853 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.853 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554044991.854 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.854 * [backup-simplify]: Simplify (* 1 0) into 0 1554044991.854 * [backup-simplify]: Simplify 0 into 0 1554044991.855 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044991.856 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.856 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1554044991.857 * [backup-simplify]: Simplify 1 into 1 1554044991.857 * [backup-simplify]: Simplify (+ (* 1 (* im re)) (+ (* 1 (* im 1)) 1)) into (+ (* re im) (+ im 1)) 1554044991.857 * [backup-simplify]: Simplify (exp (* (exp (/ 1 re)) (sin (/ 1 im)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.857 * [approximate]: Taking taylor expansion of (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) in (re im) around 0 1554044991.857 * [taylor]: Taking taylor expansion of (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1554044991.857 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.857 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.857 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.857 * [taylor]: Taking taylor expansion of im in im 1554044991.857 * [backup-simplify]: Simplify 0 into 0 1554044991.857 * [backup-simplify]: Simplify 1 into 1 1554044991.858 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.858 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.858 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.858 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.858 * [taylor]: Taking taylor expansion of re in im 1554044991.858 * [backup-simplify]: Simplify re into re 1554044991.858 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.858 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.858 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.858 * [backup-simplify]: Simplify (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.858 * [taylor]: Taking taylor expansion of (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1554044991.858 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.858 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.858 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.858 * [taylor]: Taking taylor expansion of im in re 1554044991.858 * [backup-simplify]: Simplify im into im 1554044991.858 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.858 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.859 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.859 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.859 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.859 * [taylor]: Taking taylor expansion of re in re 1554044991.859 * [backup-simplify]: Simplify 0 into 0 1554044991.859 * [backup-simplify]: Simplify 1 into 1 1554044991.859 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.859 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.859 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1554044991.859 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1554044991.859 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1554044991.860 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.860 * [backup-simplify]: Simplify (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.860 * [taylor]: Taking taylor expansion of (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1554044991.860 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.860 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.860 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.860 * [taylor]: Taking taylor expansion of im in re 1554044991.860 * [backup-simplify]: Simplify im into im 1554044991.860 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.860 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.860 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.860 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.860 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.860 * [taylor]: Taking taylor expansion of re in re 1554044991.860 * [backup-simplify]: Simplify 0 into 0 1554044991.860 * [backup-simplify]: Simplify 1 into 1 1554044991.861 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.861 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.861 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1554044991.861 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1554044991.861 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1554044991.861 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.861 * [backup-simplify]: Simplify (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.861 * [taylor]: Taking taylor expansion of (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1554044991.861 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.861 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.861 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.861 * [taylor]: Taking taylor expansion of im in im 1554044991.861 * [backup-simplify]: Simplify 0 into 0 1554044991.861 * [backup-simplify]: Simplify 1 into 1 1554044991.861 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.862 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.862 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.862 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.862 * [taylor]: Taking taylor expansion of re in im 1554044991.862 * [backup-simplify]: Simplify re into re 1554044991.862 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.862 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.862 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.862 * [backup-simplify]: Simplify (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.862 * [backup-simplify]: Simplify (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) into (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) 1554044991.862 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.862 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1554044991.863 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1554044991.863 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.863 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1554044991.863 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.864 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.864 * [backup-simplify]: Simplify (* (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.864 * [taylor]: Taking taylor expansion of 0 in im 1554044991.864 * [backup-simplify]: Simplify 0 into 0 1554044991.864 * [backup-simplify]: Simplify 0 into 0 1554044991.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1554044991.865 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.865 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.865 * [backup-simplify]: Simplify (* (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.865 * [backup-simplify]: Simplify 0 into 0 1554044991.866 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.866 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.867 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.867 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.867 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.868 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.868 * [backup-simplify]: Simplify (* (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.868 * [taylor]: Taking taylor expansion of 0 in im 1554044991.868 * [backup-simplify]: Simplify 0 into 0 1554044991.869 * [backup-simplify]: Simplify 0 into 0 1554044991.869 * [backup-simplify]: Simplify 0 into 0 1554044991.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.869 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.870 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.870 * [backup-simplify]: Simplify (* (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.870 * [backup-simplify]: Simplify 0 into 0 1554044991.871 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.872 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.872 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.873 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.873 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.874 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1554044991.874 * [backup-simplify]: Simplify (* (exp (* (sin (/ 1 im)) (exp (/ 1 re)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554044991.875 * [taylor]: Taking taylor expansion of 0 in im 1554044991.875 * [backup-simplify]: Simplify 0 into 0 1554044991.875 * [backup-simplify]: Simplify 0 into 0 1554044991.875 * [backup-simplify]: Simplify (exp (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re))))) into (exp (* (sin im) (exp re))) 1554044991.875 * [backup-simplify]: Simplify (exp (* (exp (/ 1 (- re))) (sin (/ 1 (- im))))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.875 * [approximate]: Taking taylor expansion of (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) in (re im) around 0 1554044991.875 * [taylor]: Taking taylor expansion of (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) in im 1554044991.875 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.875 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.875 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.875 * [taylor]: Taking taylor expansion of -1 in im 1554044991.875 * [backup-simplify]: Simplify -1 into -1 1554044991.875 * [taylor]: Taking taylor expansion of re in im 1554044991.875 * [backup-simplify]: Simplify re into re 1554044991.875 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.875 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.875 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.875 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.875 * [taylor]: Taking taylor expansion of -1 in im 1554044991.875 * [backup-simplify]: Simplify -1 into -1 1554044991.875 * [taylor]: Taking taylor expansion of im in im 1554044991.875 * [backup-simplify]: Simplify 0 into 0 1554044991.875 * [backup-simplify]: Simplify 1 into 1 1554044991.875 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.875 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.876 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.876 * [backup-simplify]: Simplify (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.876 * [taylor]: Taking taylor expansion of (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) in re 1554044991.876 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.876 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.876 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.876 * [taylor]: Taking taylor expansion of -1 in re 1554044991.876 * [backup-simplify]: Simplify -1 into -1 1554044991.876 * [taylor]: Taking taylor expansion of re in re 1554044991.876 * [backup-simplify]: Simplify 0 into 0 1554044991.876 * [backup-simplify]: Simplify 1 into 1 1554044991.876 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.876 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.876 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.876 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.876 * [taylor]: Taking taylor expansion of -1 in re 1554044991.876 * [backup-simplify]: Simplify -1 into -1 1554044991.876 * [taylor]: Taking taylor expansion of im in re 1554044991.876 * [backup-simplify]: Simplify im into im 1554044991.876 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.876 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.876 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.876 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1554044991.876 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1554044991.876 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1554044991.877 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.877 * [backup-simplify]: Simplify (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.877 * [taylor]: Taking taylor expansion of (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) in re 1554044991.877 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.877 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.877 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.877 * [taylor]: Taking taylor expansion of -1 in re 1554044991.877 * [backup-simplify]: Simplify -1 into -1 1554044991.877 * [taylor]: Taking taylor expansion of re in re 1554044991.877 * [backup-simplify]: Simplify 0 into 0 1554044991.877 * [backup-simplify]: Simplify 1 into 1 1554044991.877 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.877 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.877 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.877 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.877 * [taylor]: Taking taylor expansion of -1 in re 1554044991.877 * [backup-simplify]: Simplify -1 into -1 1554044991.877 * [taylor]: Taking taylor expansion of im in re 1554044991.877 * [backup-simplify]: Simplify im into im 1554044991.877 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.877 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.877 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.877 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1554044991.877 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1554044991.877 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1554044991.877 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.878 * [backup-simplify]: Simplify (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.878 * [taylor]: Taking taylor expansion of (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) in im 1554044991.878 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.878 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.878 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.878 * [taylor]: Taking taylor expansion of -1 in im 1554044991.878 * [backup-simplify]: Simplify -1 into -1 1554044991.878 * [taylor]: Taking taylor expansion of re in im 1554044991.878 * [backup-simplify]: Simplify re into re 1554044991.878 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.878 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.878 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.878 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.878 * [taylor]: Taking taylor expansion of -1 in im 1554044991.878 * [backup-simplify]: Simplify -1 into -1 1554044991.878 * [taylor]: Taking taylor expansion of im in im 1554044991.878 * [backup-simplify]: Simplify 0 into 0 1554044991.878 * [backup-simplify]: Simplify 1 into 1 1554044991.878 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.878 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.878 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.878 * [backup-simplify]: Simplify (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.879 * [backup-simplify]: Simplify (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) into (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) 1554044991.879 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.879 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1554044991.879 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1554044991.880 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.880 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1554044991.880 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.880 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.881 * [backup-simplify]: Simplify (* (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.881 * [taylor]: Taking taylor expansion of 0 in im 1554044991.881 * [backup-simplify]: Simplify 0 into 0 1554044991.881 * [backup-simplify]: Simplify 0 into 0 1554044991.881 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1554044991.881 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.882 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.882 * [backup-simplify]: Simplify (* (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.882 * [backup-simplify]: Simplify 0 into 0 1554044991.883 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.883 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.883 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.884 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.884 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.884 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.885 * [backup-simplify]: Simplify (* (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.885 * [taylor]: Taking taylor expansion of 0 in im 1554044991.885 * [backup-simplify]: Simplify 0 into 0 1554044991.885 * [backup-simplify]: Simplify 0 into 0 1554044991.885 * [backup-simplify]: Simplify 0 into 0 1554044991.885 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.886 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.886 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.887 * [backup-simplify]: Simplify (* (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.887 * [backup-simplify]: Simplify 0 into 0 1554044991.888 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.888 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.888 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.889 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.890 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.890 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1554044991.891 * [backup-simplify]: Simplify (* (exp (* (exp (/ -1 re)) (sin (/ -1 im)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554044991.891 * [taylor]: Taking taylor expansion of 0 in im 1554044991.891 * [backup-simplify]: Simplify 0 into 0 1554044991.891 * [backup-simplify]: Simplify 0 into 0 1554044991.891 * [backup-simplify]: Simplify (exp (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im)))))) into (exp (* (sin im) (exp re))) 1554044991.892 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1554044991.892 * [backup-simplify]: Simplify (* (exp re) (sin im)) into (* (sin im) (exp re)) 1554044991.892 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 1554044991.892 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 1554044991.892 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.892 * [taylor]: Taking taylor expansion of im in im 1554044991.892 * [backup-simplify]: Simplify 0 into 0 1554044991.892 * [backup-simplify]: Simplify 1 into 1 1554044991.892 * [taylor]: Taking taylor expansion of (exp re) in im 1554044991.892 * [taylor]: Taking taylor expansion of re in im 1554044991.892 * [backup-simplify]: Simplify re into re 1554044991.892 * [backup-simplify]: Simplify (exp re) into (exp re) 1554044991.892 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.892 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.892 * [taylor]: Taking taylor expansion of im in re 1554044991.892 * [backup-simplify]: Simplify im into im 1554044991.892 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.892 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.892 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.892 * [taylor]: Taking taylor expansion of re in re 1554044991.892 * [backup-simplify]: Simplify 0 into 0 1554044991.892 * [backup-simplify]: Simplify 1 into 1 1554044991.892 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.892 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 1554044991.892 * [taylor]: Taking taylor expansion of (sin im) in re 1554044991.892 * [taylor]: Taking taylor expansion of im in re 1554044991.892 * [backup-simplify]: Simplify im into im 1554044991.892 * [backup-simplify]: Simplify (sin im) into (sin im) 1554044991.892 * [backup-simplify]: Simplify (cos im) into (cos im) 1554044991.892 * [taylor]: Taking taylor expansion of (exp re) in re 1554044991.892 * [taylor]: Taking taylor expansion of re in re 1554044991.892 * [backup-simplify]: Simplify 0 into 0 1554044991.892 * [backup-simplify]: Simplify 1 into 1 1554044991.892 * [backup-simplify]: Simplify (exp 0) into 1 1554044991.892 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.892 * [backup-simplify]: Simplify (* (cos im) 0) into 0 1554044991.892 * [backup-simplify]: Simplify (+ (sin im) 0) into (sin im) 1554044991.892 * [backup-simplify]: Simplify (* (sin im) 1) into (sin im) 1554044991.892 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.892 * [taylor]: Taking taylor expansion of im in im 1554044991.892 * [backup-simplify]: Simplify 0 into 0 1554044991.892 * [backup-simplify]: Simplify 1 into 1 1554044991.892 * [backup-simplify]: Simplify 0 into 0 1554044991.893 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554044991.894 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.894 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 1)) into 0 1554044991.895 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.896 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 0)) into 0 1554044991.896 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.897 * [backup-simplify]: Simplify (+ (* (sin im) 1) (* 0 1)) into (sin im) 1554044991.897 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.897 * [taylor]: Taking taylor expansion of im in im 1554044991.897 * [backup-simplify]: Simplify 0 into 0 1554044991.897 * [backup-simplify]: Simplify 1 into 1 1554044991.897 * [backup-simplify]: Simplify 0 into 0 1554044991.898 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.898 * [backup-simplify]: Simplify 1 into 1 1554044991.899 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554044991.900 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.901 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.902 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.903 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.904 * [backup-simplify]: Simplify (+ (* (sin im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (sin im)) 1554044991.904 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 1554044991.904 * [taylor]: Taking taylor expansion of 1/2 in im 1554044991.904 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.904 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.904 * [taylor]: Taking taylor expansion of im in im 1554044991.904 * [backup-simplify]: Simplify 0 into 0 1554044991.904 * [backup-simplify]: Simplify 1 into 1 1554044991.904 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554044991.904 * [backup-simplify]: Simplify 0 into 0 1554044991.905 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.905 * [backup-simplify]: Simplify 1 into 1 1554044991.906 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.906 * [backup-simplify]: Simplify 0 into 0 1554044991.908 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554044991.909 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.910 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.913 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.914 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.914 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.915 * [backup-simplify]: Simplify (+ (* (sin im) 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into (* 1/6 (sin im)) 1554044991.915 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 1554044991.915 * [taylor]: Taking taylor expansion of 1/6 in im 1554044991.915 * [backup-simplify]: Simplify 1/6 into 1/6 1554044991.915 * [taylor]: Taking taylor expansion of (sin im) in im 1554044991.915 * [taylor]: Taking taylor expansion of im in im 1554044991.915 * [backup-simplify]: Simplify 0 into 0 1554044991.915 * [backup-simplify]: Simplify 1 into 1 1554044991.916 * [backup-simplify]: Simplify (* 1/6 0) into 0 1554044991.916 * [backup-simplify]: Simplify 0 into 0 1554044991.917 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1554044991.917 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1554044991.917 * [backup-simplify]: Simplify 1/2 into 1/2 1554044991.918 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044991.918 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (sin (/ 1 im))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.918 * [approximate]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1554044991.918 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.918 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.918 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.918 * [taylor]: Taking taylor expansion of im in im 1554044991.918 * [backup-simplify]: Simplify 0 into 0 1554044991.918 * [backup-simplify]: Simplify 1 into 1 1554044991.918 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.918 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.919 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.919 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.919 * [taylor]: Taking taylor expansion of re in im 1554044991.919 * [backup-simplify]: Simplify re into re 1554044991.919 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.919 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.919 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.919 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.919 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.919 * [taylor]: Taking taylor expansion of im in re 1554044991.919 * [backup-simplify]: Simplify im into im 1554044991.919 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.919 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.919 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.919 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.919 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.919 * [taylor]: Taking taylor expansion of re in re 1554044991.919 * [backup-simplify]: Simplify 0 into 0 1554044991.919 * [backup-simplify]: Simplify 1 into 1 1554044991.920 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.920 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.920 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1554044991.920 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 1554044991.920 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044991.920 * [taylor]: Taking taylor expansion of im in re 1554044991.920 * [backup-simplify]: Simplify im into im 1554044991.920 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044991.920 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.920 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1554044991.920 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1554044991.920 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044991.920 * [taylor]: Taking taylor expansion of re in re 1554044991.920 * [backup-simplify]: Simplify 0 into 0 1554044991.920 * [backup-simplify]: Simplify 1 into 1 1554044991.920 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.920 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.921 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1554044991.921 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 0) into 0 1554044991.921 * [backup-simplify]: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1554044991.921 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.921 * [taylor]: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1554044991.921 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 1554044991.921 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044991.921 * [taylor]: Taking taylor expansion of im in im 1554044991.921 * [backup-simplify]: Simplify 0 into 0 1554044991.921 * [backup-simplify]: Simplify 1 into 1 1554044991.922 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044991.922 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1554044991.922 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1554044991.922 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044991.922 * [taylor]: Taking taylor expansion of re in im 1554044991.922 * [backup-simplify]: Simplify re into re 1554044991.922 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044991.922 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1554044991.922 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.922 * [backup-simplify]: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1554044991.923 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.923 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1554044991.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1554044991.924 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.925 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1554044991.925 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.925 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.925 * [taylor]: Taking taylor expansion of 0 in im 1554044991.925 * [backup-simplify]: Simplify 0 into 0 1554044991.925 * [backup-simplify]: Simplify 0 into 0 1554044991.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1554044991.926 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.927 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1554044991.927 * [backup-simplify]: Simplify 0 into 0 1554044991.927 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.928 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.929 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.930 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.930 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.930 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.930 * [taylor]: Taking taylor expansion of 0 in im 1554044991.931 * [backup-simplify]: Simplify 0 into 0 1554044991.931 * [backup-simplify]: Simplify 0 into 0 1554044991.931 * [backup-simplify]: Simplify 0 into 0 1554044991.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.932 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.933 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1554044991.933 * [backup-simplify]: Simplify 0 into 0 1554044991.933 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.934 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.936 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.937 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.937 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.938 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1554044991.938 * [taylor]: Taking taylor expansion of 0 in im 1554044991.938 * [backup-simplify]: Simplify 0 into 0 1554044991.938 * [backup-simplify]: Simplify 0 into 0 1554044991.938 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1554044991.938 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (sin (/ 1 (- im)))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.938 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in (re im) around 0 1554044991.938 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.938 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.938 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.938 * [taylor]: Taking taylor expansion of -1 in im 1554044991.938 * [backup-simplify]: Simplify -1 into -1 1554044991.938 * [taylor]: Taking taylor expansion of re in im 1554044991.939 * [backup-simplify]: Simplify re into re 1554044991.939 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.939 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.939 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.939 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.939 * [taylor]: Taking taylor expansion of -1 in im 1554044991.939 * [backup-simplify]: Simplify -1 into -1 1554044991.939 * [taylor]: Taking taylor expansion of im in im 1554044991.939 * [backup-simplify]: Simplify 0 into 0 1554044991.939 * [backup-simplify]: Simplify 1 into 1 1554044991.939 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.939 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.939 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.939 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.939 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.939 * [taylor]: Taking taylor expansion of -1 in re 1554044991.939 * [backup-simplify]: Simplify -1 into -1 1554044991.940 * [taylor]: Taking taylor expansion of re in re 1554044991.940 * [backup-simplify]: Simplify 0 into 0 1554044991.940 * [backup-simplify]: Simplify 1 into 1 1554044991.940 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.940 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.940 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.940 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.940 * [taylor]: Taking taylor expansion of -1 in re 1554044991.940 * [backup-simplify]: Simplify -1 into -1 1554044991.940 * [taylor]: Taking taylor expansion of im in re 1554044991.940 * [backup-simplify]: Simplify im into im 1554044991.940 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.940 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.940 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.940 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in re 1554044991.940 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1554044991.940 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044991.940 * [taylor]: Taking taylor expansion of -1 in re 1554044991.941 * [backup-simplify]: Simplify -1 into -1 1554044991.941 * [taylor]: Taking taylor expansion of re in re 1554044991.941 * [backup-simplify]: Simplify 0 into 0 1554044991.941 * [backup-simplify]: Simplify 1 into 1 1554044991.941 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.941 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.941 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 1554044991.941 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044991.941 * [taylor]: Taking taylor expansion of -1 in re 1554044991.941 * [backup-simplify]: Simplify -1 into -1 1554044991.941 * [taylor]: Taking taylor expansion of im in re 1554044991.941 * [backup-simplify]: Simplify im into im 1554044991.941 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044991.941 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.941 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1554044991.942 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1554044991.942 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 0) into 0 1554044991.942 * [backup-simplify]: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1554044991.942 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.942 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (sin (/ -1 im))) in im 1554044991.942 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1554044991.942 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044991.942 * [taylor]: Taking taylor expansion of -1 in im 1554044991.942 * [backup-simplify]: Simplify -1 into -1 1554044991.942 * [taylor]: Taking taylor expansion of re in im 1554044991.942 * [backup-simplify]: Simplify re into re 1554044991.942 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044991.942 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1554044991.942 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 1554044991.942 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044991.942 * [taylor]: Taking taylor expansion of -1 in im 1554044991.942 * [backup-simplify]: Simplify -1 into -1 1554044991.942 * [taylor]: Taking taylor expansion of im in im 1554044991.942 * [backup-simplify]: Simplify 0 into 0 1554044991.942 * [backup-simplify]: Simplify 1 into 1 1554044991.943 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044991.943 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1554044991.943 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.943 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (sin (/ -1 im))) into (* (exp (/ -1 re)) (sin (/ -1 im))) 1554044991.944 * [backup-simplify]: Simplify (+ 0) into 0 1554044991.944 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1554044991.944 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1554044991.945 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1554044991.946 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1554044991.946 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.946 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.946 * [taylor]: Taking taylor expansion of 0 in im 1554044991.946 * [backup-simplify]: Simplify 0 into 0 1554044991.946 * [backup-simplify]: Simplify 0 into 0 1554044991.946 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1554044991.947 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1554044991.947 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (sin (/ -1 im)))) into 0 1554044991.947 * [backup-simplify]: Simplify 0 into 0 1554044991.948 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1554044991.949 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1554044991.949 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.950 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.950 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1554044991.951 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.951 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.951 * [taylor]: Taking taylor expansion of 0 in im 1554044991.951 * [backup-simplify]: Simplify 0 into 0 1554044991.951 * [backup-simplify]: Simplify 0 into 0 1554044991.951 * [backup-simplify]: Simplify 0 into 0 1554044991.952 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1554044991.953 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554044991.953 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (sin (/ -1 im))))) into 0 1554044991.953 * [backup-simplify]: Simplify 0 into 0 1554044991.954 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1554044991.955 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044991.955 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044991.957 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1554044991.957 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1554044991.958 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044991.959 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 im)))))) into 0 1554044991.959 * [taylor]: Taking taylor expansion of 0 in im 1554044991.959 * [backup-simplify]: Simplify 0 into 0 1554044991.959 * [backup-simplify]: Simplify 0 into 0 1554044991.959 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (sin (/ -1 (/ 1 (- im))))) into (* (sin im) (exp re)) 1554044991.959 * * * [progress]: simplifying candidates 1554044991.959 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 1554044991.959 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 1554044991.959 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 1554044991.959 * [simplify]: Simplifying (log (* (cbrt (exp (* (exp re) (sin im)))) (cbrt (exp (* (exp re) (sin im)))))) 1554044991.960 * * [simplify]: iters left: 6 (9 enodes) 1554044991.963 * * [simplify]: iters left: 5 (32 enodes) 1554044991.972 * * [simplify]: iters left: 4 (42 enodes) 1554044991.984 * * [simplify]: iters left: 3 (55 enodes) 1554044992.001 * * [simplify]: iters left: 2 (82 enodes) 1554044992.015 * * [simplify]: iters left: 1 (147 enodes) 1554044992.052 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.052 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.052 * * [simplify]: Extracting #2: cost 7 inf + 0 1554044992.052 * * [simplify]: Extracting #3: cost 9 inf + 0 1554044992.052 * * [simplify]: Extracting #4: cost 29 inf + 0 1554044992.053 * * [simplify]: Extracting #5: cost 81 inf + 1 1554044992.053 * * [simplify]: Extracting #6: cost 88 inf + 748 1554044992.054 * * [simplify]: Extracting #7: cost 51 inf + 8010 1554044992.056 * * [simplify]: Extracting #8: cost 10 inf + 28548 1554044992.060 * * [simplify]: Extracting #9: cost 0 inf + 36149 1554044992.064 * * [simplify]: Extracting #10: cost 0 inf + 35687 1554044992.068 * * [simplify]: Extracting #11: cost 0 inf + 35647 1554044992.072 * [simplify]: Simplified to (log (* (cbrt (exp (* (sin im) (exp re)))) (cbrt (exp (* (sin im) (exp re)))))) 1554044992.072 * [simplify]: Simplified (2 1) to (λ (re im) (+ (log (* (cbrt (exp (* (sin im) (exp re)))) (cbrt (exp (* (sin im) (exp re)))))) (log (cbrt (exp (* (exp re) (sin im))))))) 1554044992.072 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 1554044992.072 * [simplify]: Simplifying (log (sqrt (exp (* (exp re) (sin im))))) 1554044992.072 * * [simplify]: iters left: 6 (8 enodes) 1554044992.074 * * [simplify]: iters left: 5 (27 enodes) 1554044992.078 * * [simplify]: iters left: 4 (35 enodes) 1554044992.083 * * [simplify]: iters left: 3 (49 enodes) 1554044992.091 * * [simplify]: iters left: 2 (76 enodes) 1554044992.104 * * [simplify]: iters left: 1 (141 enodes) 1554044992.133 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.133 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.133 * * [simplify]: Extracting #2: cost 6 inf + 0 1554044992.133 * * [simplify]: Extracting #3: cost 31 inf + 0 1554044992.133 * * [simplify]: Extracting #4: cost 85 inf + 1 1554044992.134 * * [simplify]: Extracting #5: cost 85 inf + 1074 1554044992.134 * * [simplify]: Extracting #6: cost 53 inf + 5618 1554044992.136 * * [simplify]: Extracting #7: cost 20 inf + 19233 1554044992.139 * * [simplify]: Extracting #8: cost 1 inf + 31175 1554044992.143 * * [simplify]: Extracting #9: cost 0 inf + 31457 1554044992.147 * [simplify]: Simplified to (log (sqrt (exp (* (sin im) (exp re))))) 1554044992.147 * [simplify]: Simplified (2 1) to (λ (re im) (+ (log (sqrt (exp (* (sin im) (exp re))))) (log (sqrt (exp (* (exp re) (sin im))))))) 1554044992.147 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 1554044992.148 * [simplify]: Simplifying (log 1) 1554044992.148 * * [simplify]: iters left: 1 (2 enodes) 1554044992.149 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.149 * * [simplify]: Extracting #1: cost 0 inf + 1 1554044992.149 * [simplify]: Simplified to 0 1554044992.149 * [simplify]: Simplified (2 1) to (λ (re im) (+ 0 (log (exp (* (exp re) (sin im)))))) 1554044992.149 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 1554044992.149 * [simplify]: Simplifying (sin im) 1554044992.149 * * [simplify]: iters left: 1 (2 enodes) 1554044992.150 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.150 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.150 * * [simplify]: Extracting #2: cost 2 inf + 1 1554044992.150 * * [simplify]: Extracting #3: cost 0 inf + 123 1554044992.150 * [simplify]: Simplified to (sin im) 1554044992.150 * [simplify]: Simplified (2 1) to (λ (re im) (* (sin im) (log (exp (exp re))))) 1554044992.150 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 1554044992.150 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 1554044992.150 * [simplify]: Simplifying (sin im) 1554044992.150 * * [simplify]: iters left: 1 (2 enodes) 1554044992.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.151 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.151 * * [simplify]: Extracting #2: cost 2 inf + 1 1554044992.151 * * [simplify]: Extracting #3: cost 0 inf + 123 1554044992.151 * [simplify]: Simplified to (sin im) 1554044992.151 * [simplify]: Simplified (2 1) to (λ (re im) (* (sin im) (log (exp (exp re))))) 1554044992.151 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 1554044992.151 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 1554044992.151 * [simplify]: Simplifying (exp re) 1554044992.151 * * [simplify]: iters left: 1 (2 enodes) 1554044992.151 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.151 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.151 * * [simplify]: Extracting #2: cost 2 inf + 1 1554044992.151 * * [simplify]: Extracting #3: cost 0 inf + 143 1554044992.152 * [simplify]: Simplified to (exp re) 1554044992.152 * [simplify]: Simplified (2 1) to (λ (re im) (* (exp re) (sin im))) 1554044992.152 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 17 / 60 ] simplifiying candidate #real (real->posit16 (log (exp (* (exp re) (sin im)))))))> 1554044992.152 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 1554044992.152 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 1554044992.152 * [simplify]: Simplifying (exp (exp re)) 1554044992.152 * * [simplify]: iters left: 2 (3 enodes) 1554044992.153 * * [simplify]: iters left: 1 (9 enodes) 1554044992.154 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.154 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.154 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.154 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044992.154 * * [simplify]: Extracting #4: cost 0 inf + 425 1554044992.154 * [simplify]: Simplified to (exp (exp re)) 1554044992.154 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (pow (exp (exp re)) (sin im)))) 1554044992.154 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 1554044992.154 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 1554044992.154 * [simplify]: Simplifying (exp (exp re)) 1554044992.154 * * [simplify]: iters left: 2 (3 enodes) 1554044992.155 * * [simplify]: iters left: 1 (9 enodes) 1554044992.156 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.156 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.156 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.156 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044992.156 * * [simplify]: Extracting #4: cost 0 inf + 425 1554044992.156 * [simplify]: Simplified to (exp (exp re)) 1554044992.156 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (pow (exp (exp re)) (sin im)))) 1554044992.156 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 1554044992.157 * [simplify]: Simplifying (* (exp re) (sin im)) 1554044992.157 * * [simplify]: iters left: 3 (5 enodes) 1554044992.158 * * [simplify]: iters left: 2 (16 enodes) 1554044992.163 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.163 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.163 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.163 * * [simplify]: Extracting #3: cost 4 inf + 124 1554044992.163 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044992.163 * [simplify]: Simplified to (* (sin im) (exp re)) 1554044992.163 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (exp (* (sin im) (exp re))))) 1554044992.163 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 1554044992.163 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 30 / 60 ] simplifiying candidate #real (real->posit16 (exp (* (exp re) (sin im)))))))> 1554044992.164 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 1554044992.164 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 1554044992.164 * [simplify]: Simplifying (* (exp re) (sin im)) 1554044992.164 * * [simplify]: iters left: 3 (5 enodes) 1554044992.166 * * [simplify]: iters left: 2 (16 enodes) 1554044992.171 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.171 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.171 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.171 * * [simplify]: Extracting #3: cost 4 inf + 124 1554044992.171 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044992.171 * [simplify]: Simplified to (* (sin im) (exp re)) 1554044992.171 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (pow (* (sin im) (exp re)) 1)))) 1554044992.171 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 1554044992.171 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 1554044992.172 * [simplify]: Simplifying (+ re (log (sin im))) 1554044992.172 * * [simplify]: iters left: 4 (5 enodes) 1554044992.174 * * [simplify]: iters left: 3 (16 enodes) 1554044992.178 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.178 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.178 * * [simplify]: Extracting #2: cost 5 inf + 1 1554044992.178 * * [simplify]: Extracting #3: cost 7 inf + 1 1554044992.178 * * [simplify]: Extracting #4: cost 0 inf + 730 1554044992.178 * [simplify]: Simplified to (+ (log (sin im)) re) 1554044992.178 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (exp (+ (log (sin im)) re))))) 1554044992.179 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 1554044992.179 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 1554044992.179 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 1554044992.179 * [simplify]: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) 1554044992.179 * * [simplify]: iters left: 6 (9 enodes) 1554044992.183 * * [simplify]: iters left: 5 (36 enodes) 1554044992.195 * * [simplify]: iters left: 4 (71 enodes) 1554044992.221 * * [simplify]: iters left: 3 (127 enodes) 1554044992.253 * * [simplify]: iters left: 2 (202 enodes) 1554044992.337 * * [simplify]: iters left: 1 (360 enodes) 1554044992.490 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.491 * * [simplify]: Extracting #1: cost 49 inf + 0 1554044992.492 * * [simplify]: Extracting #2: cost 155 inf + 1 1554044992.494 * * [simplify]: Extracting #3: cost 148 inf + 2143 1554044992.499 * * [simplify]: Extracting #4: cost 101 inf + 19581 1554044992.513 * * [simplify]: Extracting #5: cost 8 inf + 69910 1554044992.528 * * [simplify]: Extracting #6: cost 0 inf + 74840 1554044992.543 * [simplify]: Simplified to (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))) 1554044992.543 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (cbrt (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))))) 1554044992.543 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 1554044992.543 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 1554044992.543 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 1554044992.543 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 1554044992.543 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 1554044992.544 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (sin im))) 1554044992.544 * * [simplify]: iters left: 4 (7 enodes) 1554044992.550 * * [simplify]: iters left: 3 (22 enodes) 1554044992.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.552 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.553 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.553 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044992.553 * * [simplify]: Extracting #4: cost 10 inf + 2 1554044992.553 * * [simplify]: Extracting #5: cost 4 inf + 468 1554044992.553 * * [simplify]: Extracting #6: cost 1 inf + 942 1554044992.553 * * [simplify]: Extracting #7: cost 0 inf + 1194 1554044992.553 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (sin im))) 1554044992.553 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (* (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))))))) 1554044992.553 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (sin im))) 1554044992.553 * * [simplify]: iters left: 4 (7 enodes) 1554044992.555 * * [simplify]: iters left: 3 (22 enodes) 1554044992.558 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.558 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.558 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.558 * * [simplify]: Extracting #3: cost 12 inf + 0 1554044992.558 * * [simplify]: Extracting #4: cost 10 inf + 2 1554044992.558 * * [simplify]: Extracting #5: cost 4 inf + 468 1554044992.558 * * [simplify]: Extracting #6: cost 1 inf + 942 1554044992.558 * * [simplify]: Extracting #7: cost 0 inf + 1194 1554044992.559 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (sin im))) 1554044992.559 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (log (exp (* (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))))))) 1554044992.559 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 1554044992.559 * [simplify]: Simplifying (cbrt (sin im)) 1554044992.559 * * [simplify]: iters left: 2 (3 enodes) 1554044992.560 * * [simplify]: iters left: 1 (9 enodes) 1554044992.561 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.561 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.561 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.561 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044992.561 * * [simplify]: Extracting #4: cost 0 inf + 405 1554044992.561 * [simplify]: Simplified to (cbrt (sin im)) 1554044992.561 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (log (exp (* (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (cbrt (sin im)))))) 1554044992.561 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 1554044992.561 * [simplify]: Simplifying (sqrt (sin im)) 1554044992.562 * * [simplify]: iters left: 2 (3 enodes) 1554044992.562 * * [simplify]: iters left: 1 (9 enodes) 1554044992.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.563 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.563 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.563 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044992.563 * * [simplify]: Extracting #4: cost 0 inf + 325 1554044992.564 * [simplify]: Simplified to (sqrt (sin im)) 1554044992.564 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (log (exp (* (* (exp re) (sqrt (sin im))) (sqrt (sin im)))))) 1554044992.564 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 1554044992.564 * [simplify]: Simplifying (sin im) 1554044992.564 * * [simplify]: iters left: 1 (2 enodes) 1554044992.564 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.564 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.564 * * [simplify]: Extracting #2: cost 2 inf + 1 1554044992.564 * * [simplify]: Extracting #3: cost 0 inf + 123 1554044992.564 * [simplify]: Simplified to (sin im) 1554044992.564 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (log (exp (* (* (exp re) 1) (sin im))))) 1554044992.564 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 1554044992.565 * [simplify]: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1554044992.565 * * [simplify]: iters left: 4 (4 enodes) 1554044992.565 * * [simplify]: iters left: 3 (12 enodes) 1554044992.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.567 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.567 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.567 * * [simplify]: Extracting #3: cost 7 inf + 0 1554044992.567 * * [simplify]: Extracting #4: cost 6 inf + 1 1554044992.567 * * [simplify]: Extracting #5: cost 0 inf + 827 1554044992.567 * [simplify]: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1554044992.567 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (sin im)))))) 1554044992.568 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 1554044992.568 * [simplify]: Simplifying (sqrt (exp re)) 1554044992.568 * * [simplify]: iters left: 2 (3 enodes) 1554044992.568 * * [simplify]: iters left: 1 (9 enodes) 1554044992.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.570 * * [simplify]: Extracting #1: cost 3 inf + 0 1554044992.570 * * [simplify]: Extracting #2: cost 5 inf + 0 1554044992.570 * * [simplify]: Extracting #3: cost 4 inf + 1 1554044992.570 * * [simplify]: Extracting #4: cost 0 inf + 365 1554044992.570 * [simplify]: Simplified to (sqrt (exp re)) 1554044992.570 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))))) 1554044992.570 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 1554044992.570 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #real (real->posit16 (* (exp re) (sin im)))))))> 1554044992.570 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 1554044992.570 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 1554044992.570 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044992.570 * * [simplify]: iters left: 6 (10 enodes) 1554044992.574 * * [simplify]: iters left: 5 (48 enodes) 1554044992.582 * * [simplify]: iters left: 4 (89 enodes) 1554044992.598 * * [simplify]: iters left: 3 (165 enodes) 1554044992.647 * * [simplify]: iters left: 2 (238 enodes) 1554044992.688 * * [simplify]: iters left: 1 (290 enodes) 1554044992.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.777 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044992.778 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044992.779 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044992.782 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044992.784 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044992.787 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044992.787 * [simplify]: Simplified (2) to (λ (re im) (fma (fma 1/2 (* re re) re) im im)) 1554044992.787 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 1554044992.788 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044992.788 * * [simplify]: iters left: 3 (5 enodes) 1554044992.790 * * [simplify]: iters left: 2 (16 enodes) 1554044992.793 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.793 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.794 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.794 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044992.794 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044992.794 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044992.794 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1554044992.794 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 1554044992.794 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044992.794 * * [simplify]: iters left: 3 (5 enodes) 1554044992.796 * * [simplify]: iters left: 2 (16 enodes) 1554044992.800 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.800 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044992.800 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044992.800 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044992.800 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044992.800 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044992.801 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1554044992.801 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 1554044992.801 * [simplify]: Simplifying (+ (* re im) (+ im 1)) 1554044992.801 * * [simplify]: iters left: 4 (6 enodes) 1554044992.804 * * [simplify]: iters left: 3 (26 enodes) 1554044992.811 * * [simplify]: iters left: 2 (41 enodes) 1554044992.822 * * [simplify]: iters left: 1 (53 enodes) 1554044992.834 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.834 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044992.834 * * [simplify]: Extracting #2: cost 14 inf + 3 1554044992.834 * * [simplify]: Extracting #3: cost 4 inf + 510 1554044992.835 * * [simplify]: Extracting #4: cost 0 inf + 765 1554044992.837 * [simplify]: Simplified to (fma im (+ 1 re) 1) 1554044992.837 * [simplify]: Simplified (2 1) to (λ (re im) (log (fma im (+ 1 re) 1))) 1554044992.837 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 1554044992.837 * [simplify]: Simplifying (exp (* (sin im) (exp re))) 1554044992.838 * * [simplify]: iters left: 4 (6 enodes) 1554044992.840 * * [simplify]: iters left: 3 (21 enodes) 1554044992.844 * * [simplify]: iters left: 2 (29 enodes) 1554044992.849 * * [simplify]: iters left: 1 (42 enodes) 1554044992.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.856 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044992.856 * * [simplify]: Extracting #2: cost 32 inf + 0 1554044992.856 * * [simplify]: Extracting #3: cost 26 inf + 1023 1554044992.856 * * [simplify]: Extracting #4: cost 10 inf + 3702 1554044992.857 * * [simplify]: Extracting #5: cost 2 inf + 6687 1554044992.858 * * [simplify]: Extracting #6: cost 0 inf + 7884 1554044992.858 * [simplify]: Simplified to (exp (* (exp re) (sin im))) 1554044992.858 * [simplify]: Simplified (2 1) to (λ (re im) (log (exp (* (exp re) (sin im))))) 1554044992.859 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 1554044992.859 * [simplify]: Simplifying (exp (* (sin im) (exp re))) 1554044992.859 * * [simplify]: iters left: 4 (6 enodes) 1554044992.860 * * [simplify]: iters left: 3 (21 enodes) 1554044992.863 * * [simplify]: iters left: 2 (29 enodes) 1554044992.867 * * [simplify]: iters left: 1 (42 enodes) 1554044992.879 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044992.879 * * [simplify]: Extracting #1: cost 14 inf + 0 1554044992.879 * * [simplify]: Extracting #2: cost 32 inf + 0 1554044992.879 * * [simplify]: Extracting #3: cost 26 inf + 1023 1554044992.880 * * [simplify]: Extracting #4: cost 10 inf + 3702 1554044992.881 * * [simplify]: Extracting #5: cost 2 inf + 6687 1554044992.883 * * [simplify]: Extracting #6: cost 0 inf + 7884 1554044992.884 * [simplify]: Simplified to (exp (* (exp re) (sin im))) 1554044992.884 * [simplify]: Simplified (2 1) to (λ (re im) (log (exp (* (exp re) (sin im))))) 1554044992.884 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 1554044992.884 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044992.885 * * [simplify]: iters left: 6 (10 enodes) 1554044992.891 * * [simplify]: iters left: 5 (48 enodes) 1554044992.908 * * [simplify]: iters left: 4 (89 enodes) 1554044992.925 * * [simplify]: iters left: 3 (165 enodes) 1554044992.965 * * [simplify]: iters left: 2 (238 enodes) 1554044993.011 * * [simplify]: iters left: 1 (290 enodes) 1554044993.066 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044993.067 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044993.067 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044993.068 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044993.069 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044993.071 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044993.072 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044993.072 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (exp (fma (fma 1/2 (* re re) re) im im)))) 1554044993.072 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 1554044993.072 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044993.072 * * [simplify]: iters left: 3 (5 enodes) 1554044993.074 * * [simplify]: iters left: 2 (16 enodes) 1554044993.076 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044993.076 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044993.076 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044993.076 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044993.076 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044993.076 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044993.076 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (exp (* (exp re) (sin im))))) 1554044993.076 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 1554044993.076 * [simplify]: Simplifying (* (sin im) (exp re)) 1554044993.076 * * [simplify]: iters left: 3 (5 enodes) 1554044993.078 * * [simplify]: iters left: 2 (16 enodes) 1554044993.082 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044993.082 * * [simplify]: Extracting #1: cost 4 inf + 0 1554044993.083 * * [simplify]: Extracting #2: cost 8 inf + 0 1554044993.083 * * [simplify]: Extracting #3: cost 4 inf + 144 1554044993.083 * * [simplify]: Extracting #4: cost 0 inf + 610 1554044993.083 * [simplify]: Simplified to (* (exp re) (sin im)) 1554044993.083 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (exp (* (exp re) (sin im))))) 1554044993.083 * * * [progress]: adding candidates to table 1554044993.753 * * [progress]: iteration 3 / 4 1554044993.753 * * * [progress]: picking best candidate 1554044993.757 * * * * [pick]: Picked # 1554044993.757 * * * [progress]: localizing error 1554044993.784 * * * [progress]: generating rewritten candidates 1554044993.784 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554044993.785 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1554044993.785 * * * [progress]: generating series expansions 1554044993.785 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554044993.785 * [backup-simplify]: Simplify (fma (fma 1/2 (* re re) re) im im) into (fma (fma 1/2 (pow re 2) re) im im) 1554044993.786 * [approximate]: Taking taylor expansion of (fma (fma 1/2 (pow re 2) re) im im) in (re im) around 0 1554044993.786 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (pow re 2) re) im im) in im 1554044993.786 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (pow re 2) re) im) im) 1554044993.786 * [taylor]: Taking taylor expansion of (* (fma 1/2 (pow re 2) re) im) in im 1554044993.786 * [taylor]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in im 1554044993.786 * [taylor]: Rewrote expression to (+ (* 1/2 (pow re 2)) re) 1554044993.786 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in im 1554044993.786 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.786 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.786 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554044993.786 * [taylor]: Taking taylor expansion of re in im 1554044993.786 * [backup-simplify]: Simplify re into re 1554044993.786 * [taylor]: Taking taylor expansion of re in im 1554044993.786 * [backup-simplify]: Simplify re into re 1554044993.786 * [taylor]: Taking taylor expansion of im in im 1554044993.786 * [backup-simplify]: Simplify 0 into 0 1554044993.786 * [backup-simplify]: Simplify 1 into 1 1554044993.786 * [taylor]: Taking taylor expansion of im in im 1554044993.786 * [backup-simplify]: Simplify 0 into 0 1554044993.786 * [backup-simplify]: Simplify 1 into 1 1554044993.786 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (pow re 2) re) im im) in re 1554044993.786 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (pow re 2) re) im) im) 1554044993.786 * [taylor]: Taking taylor expansion of (* (fma 1/2 (pow re 2) re) im) in re 1554044993.786 * [taylor]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in re 1554044993.786 * [taylor]: Rewrote expression to (+ (* 1/2 (pow re 2)) re) 1554044993.786 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1554044993.786 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.786 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.786 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.786 * [taylor]: Taking taylor expansion of re in re 1554044993.786 * [backup-simplify]: Simplify 0 into 0 1554044993.786 * [backup-simplify]: Simplify 1 into 1 1554044993.787 * [taylor]: Taking taylor expansion of re in re 1554044993.787 * [backup-simplify]: Simplify 0 into 0 1554044993.787 * [backup-simplify]: Simplify 1 into 1 1554044993.787 * [taylor]: Taking taylor expansion of im in re 1554044993.787 * [backup-simplify]: Simplify im into im 1554044993.787 * [taylor]: Taking taylor expansion of im in re 1554044993.787 * [backup-simplify]: Simplify im into im 1554044993.787 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (pow re 2) re) im im) in re 1554044993.787 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (pow re 2) re) im) im) 1554044993.787 * [taylor]: Taking taylor expansion of (* (fma 1/2 (pow re 2) re) im) in re 1554044993.787 * [taylor]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in re 1554044993.787 * [taylor]: Rewrote expression to (+ (* 1/2 (pow re 2)) re) 1554044993.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1554044993.787 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.787 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.787 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.787 * [taylor]: Taking taylor expansion of re in re 1554044993.787 * [backup-simplify]: Simplify 0 into 0 1554044993.787 * [backup-simplify]: Simplify 1 into 1 1554044993.787 * [taylor]: Taking taylor expansion of re in re 1554044993.787 * [backup-simplify]: Simplify 0 into 0 1554044993.787 * [backup-simplify]: Simplify 1 into 1 1554044993.787 * [taylor]: Taking taylor expansion of im in re 1554044993.787 * [backup-simplify]: Simplify im into im 1554044993.787 * [taylor]: Taking taylor expansion of im in re 1554044993.787 * [backup-simplify]: Simplify im into im 1554044993.788 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.788 * [backup-simplify]: Simplify (* 0 im) into 0 1554044993.788 * [backup-simplify]: Simplify (+ 0 im) into im 1554044993.788 * [taylor]: Taking taylor expansion of im in im 1554044993.789 * [backup-simplify]: Simplify 0 into 0 1554044993.789 * [backup-simplify]: Simplify 1 into 1 1554044993.789 * [backup-simplify]: Simplify 0 into 0 1554044993.789 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044993.789 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1554044993.790 * [backup-simplify]: Simplify (+ im 0) into im 1554044993.790 * [taylor]: Taking taylor expansion of im in im 1554044993.790 * [backup-simplify]: Simplify 0 into 0 1554044993.790 * [backup-simplify]: Simplify 1 into 1 1554044993.790 * [backup-simplify]: Simplify 0 into 0 1554044993.790 * [backup-simplify]: Simplify 1 into 1 1554044993.790 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.791 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.791 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 1/2 im))) into (* 1/2 im) 1554044993.792 * [backup-simplify]: Simplify (+ (* 1/2 im) 0) into (* 1/2 im) 1554044993.792 * [taylor]: Taking taylor expansion of (* 1/2 im) in im 1554044993.792 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.792 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.792 * [taylor]: Taking taylor expansion of im in im 1554044993.792 * [backup-simplify]: Simplify 0 into 0 1554044993.792 * [backup-simplify]: Simplify 1 into 1 1554044993.792 * [backup-simplify]: Simplify (* 1/2 0) into 0 1554044993.793 * [backup-simplify]: Simplify 0 into 0 1554044993.793 * [backup-simplify]: Simplify 1 into 1 1554044993.793 * [backup-simplify]: Simplify 0 into 0 1554044993.793 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.794 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.794 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 1/2 0) (* 0 im)))) into 0 1554044993.796 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.796 * [taylor]: Taking taylor expansion of 0 in im 1554044993.796 * [backup-simplify]: Simplify 0 into 0 1554044993.796 * [backup-simplify]: Simplify 0 into 0 1554044993.797 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1554044993.797 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.797 * [backup-simplify]: Simplify (+ (* 1/2 (* im (pow re 2))) (+ (* 1 (* im re)) (* 1 (* im 1)))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044993.797 * [backup-simplify]: Simplify (fma (fma 1/2 (* (/ 1 re) (/ 1 re)) (/ 1 re)) (/ 1 im) (/ 1 im)) into (fma (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im) (/ 1 im)) 1554044993.797 * [approximate]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im) (/ 1 im)) in (re im) around 0 1554044993.797 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im) (/ 1 im)) in im 1554044993.798 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) (/ 1 im)) 1554044993.798 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) in im 1554044993.798 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in im 1554044993.798 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ 1 re)) 1554044993.798 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in im 1554044993.798 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.798 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.798 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554044993.798 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554044993.798 * [taylor]: Taking taylor expansion of re in im 1554044993.798 * [backup-simplify]: Simplify re into re 1554044993.798 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554044993.798 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554044993.798 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1554044993.798 * [taylor]: Taking taylor expansion of re in im 1554044993.798 * [backup-simplify]: Simplify re into re 1554044993.798 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1554044993.798 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.798 * [taylor]: Taking taylor expansion of im in im 1554044993.798 * [backup-simplify]: Simplify 0 into 0 1554044993.798 * [backup-simplify]: Simplify 1 into 1 1554044993.799 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.799 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.799 * [taylor]: Taking taylor expansion of im in im 1554044993.799 * [backup-simplify]: Simplify 0 into 0 1554044993.799 * [backup-simplify]: Simplify 1 into 1 1554044993.799 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.799 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im) (/ 1 im)) in re 1554044993.799 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) (/ 1 im)) 1554044993.799 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) in re 1554044993.799 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in re 1554044993.799 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ 1 re)) 1554044993.799 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.799 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.799 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.799 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.799 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.799 * [taylor]: Taking taylor expansion of re in re 1554044993.799 * [backup-simplify]: Simplify 0 into 0 1554044993.799 * [backup-simplify]: Simplify 1 into 1 1554044993.800 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.800 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.800 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044993.800 * [taylor]: Taking taylor expansion of re in re 1554044993.800 * [backup-simplify]: Simplify 0 into 0 1554044993.800 * [backup-simplify]: Simplify 1 into 1 1554044993.801 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.801 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044993.801 * [taylor]: Taking taylor expansion of im in re 1554044993.801 * [backup-simplify]: Simplify im into im 1554044993.801 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044993.801 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044993.801 * [taylor]: Taking taylor expansion of im in re 1554044993.801 * [backup-simplify]: Simplify im into im 1554044993.801 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044993.801 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im) (/ 1 im)) in re 1554044993.801 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) (/ 1 im)) 1554044993.801 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) (/ 1 im)) in re 1554044993.801 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in re 1554044993.801 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ 1 re)) 1554044993.801 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.801 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.801 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.801 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.801 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.801 * [taylor]: Taking taylor expansion of re in re 1554044993.801 * [backup-simplify]: Simplify 0 into 0 1554044993.801 * [backup-simplify]: Simplify 1 into 1 1554044993.801 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.802 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.802 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044993.802 * [taylor]: Taking taylor expansion of re in re 1554044993.802 * [backup-simplify]: Simplify 0 into 0 1554044993.802 * [backup-simplify]: Simplify 1 into 1 1554044993.802 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.802 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044993.802 * [taylor]: Taking taylor expansion of im in re 1554044993.802 * [backup-simplify]: Simplify im into im 1554044993.802 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044993.802 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1554044993.802 * [taylor]: Taking taylor expansion of im in re 1554044993.802 * [backup-simplify]: Simplify im into im 1554044993.802 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1554044993.802 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.803 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.803 * [backup-simplify]: Simplify (* 1/2 (/ 1 im)) into (/ 1/2 im) 1554044993.803 * [backup-simplify]: Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im)) 1554044993.803 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 1554044993.803 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.803 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.803 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.803 * [taylor]: Taking taylor expansion of im in im 1554044993.803 * [backup-simplify]: Simplify 0 into 0 1554044993.803 * [backup-simplify]: Simplify 1 into 1 1554044993.803 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.803 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.803 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1554044993.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.805 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.805 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044993.805 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 1 (/ 1 im))) into (/ 1 im) 1554044993.805 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 1554044993.805 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.805 * [taylor]: Taking taylor expansion of im in im 1554044993.805 * [backup-simplify]: Simplify 0 into 0 1554044993.805 * [backup-simplify]: Simplify 1 into 1 1554044993.806 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.806 * [backup-simplify]: Simplify 1 into 1 1554044993.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.806 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.806 * [backup-simplify]: Simplify 0 into 0 1554044993.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044993.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.808 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.809 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.809 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 1 0) (* 0 (/ 1 im)))) into 0 1554044993.809 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im) 1554044993.809 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.809 * [taylor]: Taking taylor expansion of im in im 1554044993.809 * [backup-simplify]: Simplify 0 into 0 1554044993.809 * [backup-simplify]: Simplify 1 into 1 1554044993.810 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.810 * [backup-simplify]: Simplify 1 into 1 1554044993.810 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 im)) 1)) (+ (* 1 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) (* 1/2 (* (/ 1 (/ 1 im)) (pow (/ 1 re) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044993.810 * [backup-simplify]: Simplify (fma (fma 1/2 (* (/ 1 (- re)) (/ 1 (- re))) (/ 1 (- re))) (/ 1 (- im)) (/ 1 (- im))) into (fma (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im) (/ -1 im)) 1554044993.810 * [approximate]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im) (/ -1 im)) in (re im) around 0 1554044993.810 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im) (/ -1 im)) in im 1554044993.810 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) (/ -1 im)) 1554044993.810 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) in im 1554044993.810 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in im 1554044993.810 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ -1 re)) 1554044993.810 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in im 1554044993.810 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.810 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.810 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554044993.810 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554044993.810 * [taylor]: Taking taylor expansion of re in im 1554044993.810 * [backup-simplify]: Simplify re into re 1554044993.810 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554044993.810 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554044993.810 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1554044993.811 * [taylor]: Taking taylor expansion of -1 in im 1554044993.811 * [backup-simplify]: Simplify -1 into -1 1554044993.811 * [taylor]: Taking taylor expansion of re in im 1554044993.811 * [backup-simplify]: Simplify re into re 1554044993.811 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1554044993.811 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044993.811 * [taylor]: Taking taylor expansion of -1 in im 1554044993.811 * [backup-simplify]: Simplify -1 into -1 1554044993.811 * [taylor]: Taking taylor expansion of im in im 1554044993.811 * [backup-simplify]: Simplify 0 into 0 1554044993.811 * [backup-simplify]: Simplify 1 into 1 1554044993.811 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.811 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1554044993.811 * [taylor]: Taking taylor expansion of -1 in im 1554044993.811 * [backup-simplify]: Simplify -1 into -1 1554044993.811 * [taylor]: Taking taylor expansion of im in im 1554044993.811 * [backup-simplify]: Simplify 0 into 0 1554044993.811 * [backup-simplify]: Simplify 1 into 1 1554044993.811 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.811 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im) (/ -1 im)) in re 1554044993.811 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) (/ -1 im)) 1554044993.811 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) in re 1554044993.811 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in re 1554044993.811 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ -1 re)) 1554044993.811 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.811 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.811 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.812 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.812 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.812 * [taylor]: Taking taylor expansion of re in re 1554044993.812 * [backup-simplify]: Simplify 0 into 0 1554044993.812 * [backup-simplify]: Simplify 1 into 1 1554044993.812 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.812 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.812 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044993.812 * [taylor]: Taking taylor expansion of -1 in re 1554044993.812 * [backup-simplify]: Simplify -1 into -1 1554044993.812 * [taylor]: Taking taylor expansion of re in re 1554044993.812 * [backup-simplify]: Simplify 0 into 0 1554044993.812 * [backup-simplify]: Simplify 1 into 1 1554044993.812 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.812 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044993.812 * [taylor]: Taking taylor expansion of -1 in re 1554044993.812 * [backup-simplify]: Simplify -1 into -1 1554044993.812 * [taylor]: Taking taylor expansion of im in re 1554044993.812 * [backup-simplify]: Simplify im into im 1554044993.812 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044993.812 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044993.813 * [taylor]: Taking taylor expansion of -1 in re 1554044993.813 * [backup-simplify]: Simplify -1 into -1 1554044993.813 * [taylor]: Taking taylor expansion of im in re 1554044993.813 * [backup-simplify]: Simplify im into im 1554044993.813 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044993.813 * [taylor]: Taking taylor expansion of (fma (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im) (/ -1 im)) in re 1554044993.813 * [taylor]: Rewrote expression to (+ (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) (/ -1 im)) 1554044993.813 * [taylor]: Taking taylor expansion of (* (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) (/ -1 im)) in re 1554044993.813 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in re 1554044993.813 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ -1 re)) 1554044993.813 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.813 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.813 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.813 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.813 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.813 * [taylor]: Taking taylor expansion of re in re 1554044993.813 * [backup-simplify]: Simplify 0 into 0 1554044993.813 * [backup-simplify]: Simplify 1 into 1 1554044993.813 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.813 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.813 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044993.813 * [taylor]: Taking taylor expansion of -1 in re 1554044993.813 * [backup-simplify]: Simplify -1 into -1 1554044993.813 * [taylor]: Taking taylor expansion of re in re 1554044993.813 * [backup-simplify]: Simplify 0 into 0 1554044993.813 * [backup-simplify]: Simplify 1 into 1 1554044993.814 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.814 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044993.814 * [taylor]: Taking taylor expansion of -1 in re 1554044993.814 * [backup-simplify]: Simplify -1 into -1 1554044993.814 * [taylor]: Taking taylor expansion of im in re 1554044993.814 * [backup-simplify]: Simplify im into im 1554044993.814 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044993.814 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1554044993.814 * [taylor]: Taking taylor expansion of -1 in re 1554044993.814 * [backup-simplify]: Simplify -1 into -1 1554044993.814 * [taylor]: Taking taylor expansion of im in re 1554044993.814 * [backup-simplify]: Simplify im into im 1554044993.814 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1554044993.814 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.814 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.815 * [backup-simplify]: Simplify (* 1/2 (/ -1 im)) into (/ -1/2 im) 1554044993.815 * [backup-simplify]: Simplify (+ (/ -1/2 im) 0) into (- (* 1/2 (/ 1 im))) 1554044993.815 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 im))) in im 1554044993.815 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im 1554044993.815 * [taylor]: Taking taylor expansion of 1/2 in im 1554044993.815 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.815 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.815 * [taylor]: Taking taylor expansion of im in im 1554044993.815 * [backup-simplify]: Simplify 0 into 0 1554044993.815 * [backup-simplify]: Simplify 1 into 1 1554044993.815 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.815 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.815 * [backup-simplify]: Simplify (- 1/2) into -1/2 1554044993.815 * [backup-simplify]: Simplify -1/2 into -1/2 1554044993.816 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1554044993.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.817 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.817 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044993.817 * [backup-simplify]: Simplify (+ (* 1/2 0) (* -1 (/ -1 im))) into (/ 1 im) 1554044993.817 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 1554044993.817 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.817 * [taylor]: Taking taylor expansion of im in im 1554044993.817 * [backup-simplify]: Simplify 0 into 0 1554044993.817 * [backup-simplify]: Simplify 1 into 1 1554044993.818 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.818 * [backup-simplify]: Simplify 1 into 1 1554044993.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.819 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.819 * [backup-simplify]: Simplify (- 0) into 0 1554044993.819 * [backup-simplify]: Simplify 0 into 0 1554044993.819 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1554044993.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.820 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044993.821 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.822 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* -1 0) (* 0 (/ -1 im)))) into 0 1554044993.822 * [backup-simplify]: Simplify (+ 0 (/ -1 im)) into (- (/ 1 im)) 1554044993.822 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1554044993.822 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1554044993.822 * [taylor]: Taking taylor expansion of im in im 1554044993.822 * [backup-simplify]: Simplify 0 into 0 1554044993.822 * [backup-simplify]: Simplify 1 into 1 1554044993.822 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.822 * [backup-simplify]: Simplify (- 1) into -1 1554044993.822 * [backup-simplify]: Simplify -1 into -1 1554044993.823 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- im))) 1)) (+ (* 1 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) (* -1/2 (* (/ 1 (/ 1 (- im))) (pow (/ 1 (- re)) -2))))) into (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044993.823 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1554044993.823 * [backup-simplify]: Simplify (fma 1/2 (* re re) re) into (fma 1/2 (pow re 2) re) 1554044993.823 * [approximate]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in (re) around 0 1554044993.823 * [taylor]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in re 1554044993.823 * [taylor]: Rewrote expression to (+ (* 1/2 (pow re 2)) re) 1554044993.823 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1554044993.823 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.823 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.823 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.823 * [taylor]: Taking taylor expansion of re in re 1554044993.823 * [backup-simplify]: Simplify 0 into 0 1554044993.823 * [backup-simplify]: Simplify 1 into 1 1554044993.823 * [taylor]: Taking taylor expansion of re in re 1554044993.823 * [backup-simplify]: Simplify 0 into 0 1554044993.823 * [backup-simplify]: Simplify 1 into 1 1554044993.823 * [taylor]: Taking taylor expansion of (fma 1/2 (pow re 2) re) in re 1554044993.823 * [taylor]: Rewrote expression to (+ (* 1/2 (pow re 2)) re) 1554044993.823 * [taylor]: Taking taylor expansion of (* 1/2 (pow re 2)) in re 1554044993.823 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.823 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.823 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.823 * [taylor]: Taking taylor expansion of re in re 1554044993.823 * [backup-simplify]: Simplify 0 into 0 1554044993.823 * [backup-simplify]: Simplify 1 into 1 1554044993.823 * [taylor]: Taking taylor expansion of re in re 1554044993.823 * [backup-simplify]: Simplify 0 into 0 1554044993.823 * [backup-simplify]: Simplify 1 into 1 1554044993.824 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.824 * [backup-simplify]: Simplify 0 into 0 1554044993.824 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044993.824 * [backup-simplify]: Simplify 1 into 1 1554044993.824 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.824 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.825 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.825 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.826 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.826 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.826 * [backup-simplify]: Simplify 0 into 0 1554044993.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.827 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.827 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.827 * [backup-simplify]: Simplify 0 into 0 1554044993.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.829 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.829 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.829 * [backup-simplify]: Simplify 0 into 0 1554044993.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.830 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.830 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.831 * [backup-simplify]: Simplify 0 into 0 1554044993.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.832 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.832 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.832 * [backup-simplify]: Simplify 0 into 0 1554044993.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.834 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.834 * [backup-simplify]: Simplify 0 into 0 1554044993.835 * [backup-simplify]: Simplify (+ (* 1/2 (pow re 2)) (* 1 re)) into (+ re (* 1/2 (pow re 2))) 1554044993.835 * [backup-simplify]: Simplify (fma 1/2 (* (/ 1 re) (/ 1 re)) (/ 1 re)) into (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) 1554044993.835 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in (re) around 0 1554044993.835 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in re 1554044993.835 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ 1 re)) 1554044993.835 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.835 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.835 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.835 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.835 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.835 * [taylor]: Taking taylor expansion of re in re 1554044993.835 * [backup-simplify]: Simplify 0 into 0 1554044993.835 * [backup-simplify]: Simplify 1 into 1 1554044993.835 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.835 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.835 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044993.835 * [taylor]: Taking taylor expansion of re in re 1554044993.836 * [backup-simplify]: Simplify 0 into 0 1554044993.836 * [backup-simplify]: Simplify 1 into 1 1554044993.836 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.836 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ 1 re)) in re 1554044993.836 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ 1 re)) 1554044993.836 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.836 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.836 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.836 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.836 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.836 * [taylor]: Taking taylor expansion of re in re 1554044993.836 * [backup-simplify]: Simplify 0 into 0 1554044993.836 * [backup-simplify]: Simplify 1 into 1 1554044993.836 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.836 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.836 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1554044993.836 * [taylor]: Taking taylor expansion of re in re 1554044993.836 * [backup-simplify]: Simplify 0 into 0 1554044993.836 * [backup-simplify]: Simplify 1 into 1 1554044993.837 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.837 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.838 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.838 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.840 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.840 * [backup-simplify]: Simplify (+ 0 1) into 1 1554044993.840 * [backup-simplify]: Simplify 1 into 1 1554044993.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.843 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.845 * [backup-simplify]: Simplify 0 into 0 1554044993.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.848 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.850 * [backup-simplify]: Simplify 0 into 0 1554044993.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.853 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.855 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.855 * [backup-simplify]: Simplify 0 into 0 1554044993.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.859 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.860 * [backup-simplify]: Simplify 0 into 0 1554044993.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.864 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.865 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.865 * [backup-simplify]: Simplify 0 into 0 1554044993.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554044993.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.870 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554044993.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.872 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.872 * [backup-simplify]: Simplify 0 into 0 1554044993.872 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 re))) (* 1/2 (pow (/ 1 (/ 1 re)) 2))) into (+ re (* 1/2 (pow re 2))) 1554044993.872 * [backup-simplify]: Simplify (fma 1/2 (* (/ 1 (- re)) (/ 1 (- re))) (/ 1 (- re))) into (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) 1554044993.873 * [approximate]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in (re) around 0 1554044993.873 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in re 1554044993.873 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ -1 re)) 1554044993.873 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.873 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.873 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.873 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.873 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.873 * [taylor]: Taking taylor expansion of re in re 1554044993.873 * [backup-simplify]: Simplify 0 into 0 1554044993.873 * [backup-simplify]: Simplify 1 into 1 1554044993.873 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.874 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.874 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044993.874 * [taylor]: Taking taylor expansion of -1 in re 1554044993.874 * [backup-simplify]: Simplify -1 into -1 1554044993.874 * [taylor]: Taking taylor expansion of re in re 1554044993.874 * [backup-simplify]: Simplify 0 into 0 1554044993.874 * [backup-simplify]: Simplify 1 into 1 1554044993.874 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.874 * [taylor]: Taking taylor expansion of (fma 1/2 (/ 1 (pow re 2)) (/ -1 re)) in re 1554044993.874 * [taylor]: Rewrote expression to (+ (* 1/2 (/ 1 (pow re 2))) (/ -1 re)) 1554044993.874 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow re 2))) in re 1554044993.875 * [taylor]: Taking taylor expansion of 1/2 in re 1554044993.875 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.875 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554044993.875 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554044993.875 * [taylor]: Taking taylor expansion of re in re 1554044993.875 * [backup-simplify]: Simplify 0 into 0 1554044993.875 * [backup-simplify]: Simplify 1 into 1 1554044993.875 * [backup-simplify]: Simplify (* 1 1) into 1 1554044993.875 * [backup-simplify]: Simplify (/ 1 1) into 1 1554044993.875 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1554044993.875 * [taylor]: Taking taylor expansion of -1 in re 1554044993.876 * [backup-simplify]: Simplify -1 into -1 1554044993.876 * [taylor]: Taking taylor expansion of re in re 1554044993.876 * [backup-simplify]: Simplify 0 into 0 1554044993.876 * [backup-simplify]: Simplify 1 into 1 1554044993.876 * [backup-simplify]: Simplify (/ -1 1) into -1 1554044993.877 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554044993.877 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554044993.877 * [backup-simplify]: Simplify 1/2 into 1/2 1554044993.878 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554044993.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554044993.879 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554044993.880 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554044993.880 * [backup-simplify]: Simplify -1 into -1 1554044993.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.883 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1554044993.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1554044993.884 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.884 * [backup-simplify]: Simplify 0 into 0 1554044993.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.888 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554044993.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.889 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.889 * [backup-simplify]: Simplify 0 into 0 1554044993.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.893 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554044993.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.901 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.901 * [backup-simplify]: Simplify 0 into 0 1554044993.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.905 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554044993.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.906 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.906 * [backup-simplify]: Simplify 0 into 0 1554044993.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.910 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554044993.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.912 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.912 * [backup-simplify]: Simplify 0 into 0 1554044993.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554044993.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.916 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554044993.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554044993.918 * [backup-simplify]: Simplify (+ 0 0) into 0 1554044993.918 * [backup-simplify]: Simplify 0 into 0 1554044993.918 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- re)))) (* 1/2 (pow (/ 1 (/ 1 (- re))) 2))) into (+ re (* 1/2 (pow re 2))) 1554044993.918 * * * [progress]: simplifying candidates 1554044993.918 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 1554044993.918 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 1554044993.918 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 1554044993.918 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 1554044993.918 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 1554044993.918 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #real (real->posit16 (fma (fma 1/2 (* re re) re) im im))))> 1554044993.919 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 1554044993.919 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma 1/2 (* re re) re))) im im))> 1554044993.920 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 1554044993.920 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044993.920 * * [simplify]: iters left: 6 (10 enodes) 1554044993.924 * * [simplify]: iters left: 5 (48 enodes) 1554044993.933 * * [simplify]: iters left: 4 (89 enodes) 1554044993.950 * * [simplify]: iters left: 3 (165 enodes) 1554044994.001 * * [simplify]: iters left: 2 (238 enodes) 1554044994.062 * * [simplify]: iters left: 1 (290 enodes) 1554044994.121 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.121 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044994.122 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044994.123 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044994.124 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044994.126 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044994.127 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044994.127 * [simplify]: Simplified (2) to (λ (re im) (fma (fma 1/2 (* re re) re) im im)) 1554044994.127 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 1554044994.127 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044994.128 * * [simplify]: iters left: 6 (10 enodes) 1554044994.131 * * [simplify]: iters left: 5 (48 enodes) 1554044994.140 * * [simplify]: iters left: 4 (89 enodes) 1554044994.168 * * [simplify]: iters left: 3 (165 enodes) 1554044994.205 * * [simplify]: iters left: 2 (238 enodes) 1554044994.274 * * [simplify]: iters left: 1 (290 enodes) 1554044994.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.364 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044994.364 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044994.366 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044994.369 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044994.372 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044994.375 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044994.375 * [simplify]: Simplified (2) to (λ (re im) (fma (fma 1/2 (* re re) re) im im)) 1554044994.375 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 1554044994.375 * [simplify]: Simplifying (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) 1554044994.375 * * [simplify]: iters left: 6 (10 enodes) 1554044994.382 * * [simplify]: iters left: 5 (48 enodes) 1554044994.399 * * [simplify]: iters left: 4 (89 enodes) 1554044994.433 * * [simplify]: iters left: 3 (165 enodes) 1554044994.480 * * [simplify]: iters left: 2 (238 enodes) 1554044994.516 * * [simplify]: iters left: 1 (290 enodes) 1554044994.561 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.561 * * [simplify]: Extracting #1: cost 22 inf + 0 1554044994.562 * * [simplify]: Extracting #2: cost 37 inf + 168 1554044994.562 * * [simplify]: Extracting #3: cost 11 inf + 2450 1554044994.564 * * [simplify]: Extracting #4: cost 2 inf + 3179 1554044994.566 * * [simplify]: Extracting #5: cost 0 inf + 3229 1554044994.569 * [simplify]: Simplified to (fma (fma 1/2 (* re re) re) im im) 1554044994.569 * [simplify]: Simplified (2) to (λ (re im) (fma (fma 1/2 (* re re) re) im im)) 1554044994.569 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 1554044994.569 * [simplify]: Simplifying (+ re (* 1/2 (pow re 2))) 1554044994.569 * * [simplify]: iters left: 5 (6 enodes) 1554044994.573 * * [simplify]: iters left: 4 (25 enodes) 1554044994.582 * * [simplify]: iters left: 3 (35 enodes) 1554044994.593 * * [simplify]: iters left: 2 (44 enodes) 1554044994.599 * * [simplify]: iters left: 1 (52 enodes) 1554044994.607 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.607 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044994.607 * * [simplify]: Extracting #2: cost 14 inf + 2 1554044994.607 * * [simplify]: Extracting #3: cost 8 inf + 226 1554044994.608 * * [simplify]: Extracting #4: cost 2 inf + 588 1554044994.608 * * [simplify]: Extracting #5: cost 0 inf + 728 1554044994.608 * [simplify]: Simplified to (fma (* re 1/2) re re) 1554044994.608 * [simplify]: Simplified (2 1) to (λ (re im) (fma (fma (* re 1/2) re re) im im)) 1554044994.608 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 1554044994.608 * [simplify]: Simplifying (+ re (* 1/2 (pow re 2))) 1554044994.608 * * [simplify]: iters left: 5 (6 enodes) 1554044994.611 * * [simplify]: iters left: 4 (25 enodes) 1554044994.615 * * [simplify]: iters left: 3 (35 enodes) 1554044994.621 * * [simplify]: iters left: 2 (44 enodes) 1554044994.632 * * [simplify]: iters left: 1 (52 enodes) 1554044994.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.646 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044994.646 * * [simplify]: Extracting #2: cost 14 inf + 2 1554044994.646 * * [simplify]: Extracting #3: cost 8 inf + 226 1554044994.646 * * [simplify]: Extracting #4: cost 2 inf + 588 1554044994.647 * * [simplify]: Extracting #5: cost 0 inf + 728 1554044994.647 * [simplify]: Simplified to (fma (* re 1/2) re re) 1554044994.647 * [simplify]: Simplified (2 1) to (λ (re im) (fma (fma (* re 1/2) re re) im im)) 1554044994.647 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 1554044994.648 * [simplify]: Simplifying (+ re (* 1/2 (pow re 2))) 1554044994.648 * * [simplify]: iters left: 5 (6 enodes) 1554044994.651 * * [simplify]: iters left: 4 (25 enodes) 1554044994.655 * * [simplify]: iters left: 3 (35 enodes) 1554044994.663 * * [simplify]: iters left: 2 (44 enodes) 1554044994.669 * * [simplify]: iters left: 1 (52 enodes) 1554044994.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1554044994.676 * * [simplify]: Extracting #1: cost 10 inf + 0 1554044994.676 * * [simplify]: Extracting #2: cost 14 inf + 2 1554044994.676 * * [simplify]: Extracting #3: cost 8 inf + 226 1554044994.676 * * [simplify]: Extracting #4: cost 2 inf + 588 1554044994.677 * * [simplify]: Extracting #5: cost 0 inf + 728 1554044994.677 * [simplify]: Simplified to (fma (* re 1/2) re re) 1554044994.677 * [simplify]: Simplified (2 1) to (λ (re im) (fma (fma (* re 1/2) re re) im im)) 1554044994.677 * * * [progress]: adding candidates to table 1554044994.904 * [progress]: [Phase 3 of 3] Extracting. 1554044994.904 * * [regime]: Finding splitpoints for: (# # #) 1554044994.905 * * * [regime-changes]: Trying 5 branch expressions: (im (sin im) re (exp re) (* (exp re) (sin im))) 1554044994.905 * * * * [regimes]: Trying to branch on im from (# # #) 1554044994.934 * * * * [regimes]: Trying to branch on (sin im) from (# # #) 1554044994.964 * * * * [regimes]: Trying to branch on re from (# # #) 1554044995.001 * * * * [regimes]: Trying to branch on (exp re) from (# # #) 1554044995.035 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (# # #) 1554044995.074 * * * [regime]: Found split indices: #