1553931541.441 * [progress]: [Phase 1 of 3] Setting up. 1553931541.441 * * * [progress]: [1/2] Preparing points 1553931541.503 * * * [progress]: [2/2] Setting up program. 1553931541.508 * [progress]: [Phase 2 of 3] Improving. 1553931541.508 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553931541.508 * [simplify]: Simplifying (* (exp re) (cos im)) 1553931541.508 * * [simplify]: iters left: 3 (5 enodes) 1553931541.510 * * [simplify]: iters left: 2 (16 enodes) 1553931541.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.515 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931541.515 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931541.515 * * [simplify]: Extracting #3: cost 4 inf + 124 1553931541.515 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931541.515 * [simplify]: Simplified to (* (cos im) (exp re)) 1553931541.515 * [simplify]: Simplified (2) to (λ (re im) (* (cos im) (exp re))) 1553931541.521 * * [progress]: iteration 1 / 4 1553931541.521 * * * [progress]: picking best candidate 1553931541.525 * * * * [pick]: Picked # 1553931541.525 * * * [progress]: localizing error 1553931541.543 * * * [progress]: generating rewritten candidates 1553931541.543 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553931541.566 * * * [progress]: generating series expansions 1553931541.566 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553931541.566 * [backup-simplify]: Simplify (* (exp re) (cos im)) into (* (cos im) (exp re)) 1553931541.566 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0 1553931541.566 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im 1553931541.566 * [taylor]: Taking taylor expansion of (cos im) in im 1553931541.566 * [taylor]: Taking taylor expansion of im in im 1553931541.566 * [backup-simplify]: Simplify 0 into 0 1553931541.566 * [backup-simplify]: Simplify 1 into 1 1553931541.566 * [taylor]: Taking taylor expansion of (exp re) in im 1553931541.566 * [taylor]: Taking taylor expansion of re in im 1553931541.566 * [backup-simplify]: Simplify re into re 1553931541.566 * [backup-simplify]: Simplify (exp re) into (exp re) 1553931541.566 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 1553931541.566 * [taylor]: Taking taylor expansion of (cos im) in re 1553931541.566 * [taylor]: Taking taylor expansion of im in re 1553931541.567 * [backup-simplify]: Simplify im into im 1553931541.567 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931541.567 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931541.567 * [taylor]: Taking taylor expansion of (exp re) in re 1553931541.567 * [taylor]: Taking taylor expansion of re in re 1553931541.567 * [backup-simplify]: Simplify 0 into 0 1553931541.567 * [backup-simplify]: Simplify 1 into 1 1553931541.567 * [backup-simplify]: Simplify (exp 0) into 1 1553931541.567 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 1553931541.567 * [taylor]: Taking taylor expansion of (cos im) in re 1553931541.567 * [taylor]: Taking taylor expansion of im in re 1553931541.567 * [backup-simplify]: Simplify im into im 1553931541.567 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931541.567 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931541.567 * [taylor]: Taking taylor expansion of (exp re) in re 1553931541.567 * [taylor]: Taking taylor expansion of re in re 1553931541.567 * [backup-simplify]: Simplify 0 into 0 1553931541.567 * [backup-simplify]: Simplify 1 into 1 1553931541.567 * [backup-simplify]: Simplify (exp 0) into 1 1553931541.568 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931541.568 * [backup-simplify]: Simplify (* (sin im) 0) into 0 1553931541.568 * [backup-simplify]: Simplify (- 0) into 0 1553931541.569 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im) 1553931541.569 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931541.569 * [taylor]: Taking taylor expansion of (cos im) in im 1553931541.569 * [taylor]: Taking taylor expansion of im in im 1553931541.569 * [backup-simplify]: Simplify 0 into 0 1553931541.569 * [backup-simplify]: Simplify 1 into 1 1553931541.569 * [backup-simplify]: Simplify 1 into 1 1553931541.570 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931541.570 * [backup-simplify]: Simplify (+ 0) into 0 1553931541.571 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0 1553931541.572 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931541.572 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0 1553931541.573 * [backup-simplify]: Simplify (- 0) into 0 1553931541.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.573 * [backup-simplify]: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im) 1553931541.573 * [taylor]: Taking taylor expansion of (cos im) in im 1553931541.574 * [taylor]: Taking taylor expansion of im in im 1553931541.574 * [backup-simplify]: Simplify 0 into 0 1553931541.574 * [backup-simplify]: Simplify 1 into 1 1553931541.574 * [backup-simplify]: Simplify 1 into 1 1553931541.574 * [backup-simplify]: Simplify (+ 0) into 0 1553931541.574 * [backup-simplify]: Simplify 0 into 0 1553931541.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553931541.576 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931541.577 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0 1553931541.578 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931541.578 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0 1553931541.579 * [backup-simplify]: Simplify (- 0) into 0 1553931541.579 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.597 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im)) 1553931541.597 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 1553931541.597 * [taylor]: Taking taylor expansion of 1/2 in im 1553931541.598 * [backup-simplify]: Simplify 1/2 into 1/2 1553931541.598 * [taylor]: Taking taylor expansion of (cos im) in im 1553931541.598 * [taylor]: Taking taylor expansion of im in im 1553931541.598 * [backup-simplify]: Simplify 0 into 0 1553931541.598 * [backup-simplify]: Simplify 1 into 1 1553931541.599 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553931541.599 * [backup-simplify]: Simplify 1/2 into 1/2 1553931541.599 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1)) 1553931541.599 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (cos (/ 1 im))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931541.599 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1553931541.599 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1553931541.599 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931541.599 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931541.599 * [taylor]: Taking taylor expansion of im in im 1553931541.599 * [backup-simplify]: Simplify 0 into 0 1553931541.599 * [backup-simplify]: Simplify 1 into 1 1553931541.600 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931541.600 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931541.600 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931541.600 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931541.600 * [taylor]: Taking taylor expansion of re in im 1553931541.600 * [backup-simplify]: Simplify re into re 1553931541.600 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931541.600 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931541.600 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1553931541.600 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931541.600 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931541.600 * [taylor]: Taking taylor expansion of im in re 1553931541.600 * [backup-simplify]: Simplify im into im 1553931541.600 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931541.600 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931541.600 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931541.600 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931541.600 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931541.600 * [taylor]: Taking taylor expansion of re in re 1553931541.600 * [backup-simplify]: Simplify 0 into 0 1553931541.600 * [backup-simplify]: Simplify 1 into 1 1553931541.601 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931541.601 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931541.601 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1553931541.601 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931541.601 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931541.601 * [taylor]: Taking taylor expansion of im in re 1553931541.601 * [backup-simplify]: Simplify im into im 1553931541.601 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931541.601 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931541.601 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931541.601 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931541.601 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931541.601 * [taylor]: Taking taylor expansion of re in re 1553931541.601 * [backup-simplify]: Simplify 0 into 0 1553931541.601 * [backup-simplify]: Simplify 1 into 1 1553931541.601 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931541.601 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931541.601 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1553931541.602 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0 1553931541.602 * [backup-simplify]: Simplify (- 0) into 0 1553931541.602 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1553931541.602 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931541.602 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1553931541.602 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931541.602 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931541.602 * [taylor]: Taking taylor expansion of im in im 1553931541.602 * [backup-simplify]: Simplify 0 into 0 1553931541.602 * [backup-simplify]: Simplify 1 into 1 1553931541.602 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931541.602 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931541.602 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931541.602 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931541.602 * [taylor]: Taking taylor expansion of re in im 1553931541.602 * [backup-simplify]: Simplify re into re 1553931541.602 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931541.603 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931541.603 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931541.603 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931541.603 * [backup-simplify]: Simplify (+ 0) into 0 1553931541.603 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1553931541.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553931541.604 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931541.604 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1553931541.604 * [backup-simplify]: Simplify (- 0) into 0 1553931541.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.605 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1553931541.605 * [taylor]: Taking taylor expansion of 0 in im 1553931541.605 * [backup-simplify]: Simplify 0 into 0 1553931541.605 * [backup-simplify]: Simplify 0 into 0 1553931541.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553931541.605 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931541.605 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1553931541.605 * [backup-simplify]: Simplify 0 into 0 1553931541.606 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931541.606 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931541.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931541.607 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931541.607 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931541.608 * [backup-simplify]: Simplify (- 0) into 0 1553931541.608 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.608 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1553931541.608 * [taylor]: Taking taylor expansion of 0 in im 1553931541.608 * [backup-simplify]: Simplify 0 into 0 1553931541.608 * [backup-simplify]: Simplify 0 into 0 1553931541.608 * [backup-simplify]: Simplify 0 into 0 1553931541.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931541.609 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931541.610 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1553931541.610 * [backup-simplify]: Simplify 0 into 0 1553931541.610 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931541.611 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931541.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931541.612 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931541.612 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931541.612 * [backup-simplify]: Simplify (- 0) into 0 1553931541.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.613 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1553931541.613 * [taylor]: Taking taylor expansion of 0 in im 1553931541.613 * [backup-simplify]: Simplify 0 into 0 1553931541.613 * [backup-simplify]: Simplify 0 into 0 1553931541.613 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1553931541.614 * [backup-simplify]: Simplify (* (exp (/ 1 (- re))) (cos (/ 1 (- im)))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931541.614 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 1553931541.614 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1553931541.614 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931541.614 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931541.614 * [taylor]: Taking taylor expansion of -1 in im 1553931541.614 * [backup-simplify]: Simplify -1 into -1 1553931541.614 * [taylor]: Taking taylor expansion of re in im 1553931541.614 * [backup-simplify]: Simplify re into re 1553931541.614 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931541.614 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931541.614 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931541.614 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931541.614 * [taylor]: Taking taylor expansion of -1 in im 1553931541.614 * [backup-simplify]: Simplify -1 into -1 1553931541.614 * [taylor]: Taking taylor expansion of im in im 1553931541.614 * [backup-simplify]: Simplify 0 into 0 1553931541.614 * [backup-simplify]: Simplify 1 into 1 1553931541.614 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931541.614 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931541.614 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1553931541.614 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931541.614 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931541.614 * [taylor]: Taking taylor expansion of -1 in re 1553931541.614 * [backup-simplify]: Simplify -1 into -1 1553931541.614 * [taylor]: Taking taylor expansion of re in re 1553931541.614 * [backup-simplify]: Simplify 0 into 0 1553931541.614 * [backup-simplify]: Simplify 1 into 1 1553931541.615 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931541.615 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931541.615 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931541.615 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931541.615 * [taylor]: Taking taylor expansion of -1 in re 1553931541.615 * [backup-simplify]: Simplify -1 into -1 1553931541.615 * [taylor]: Taking taylor expansion of im in re 1553931541.615 * [backup-simplify]: Simplify im into im 1553931541.615 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931541.615 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931541.615 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931541.615 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1553931541.615 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931541.615 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931541.615 * [taylor]: Taking taylor expansion of -1 in re 1553931541.615 * [backup-simplify]: Simplify -1 into -1 1553931541.615 * [taylor]: Taking taylor expansion of re in re 1553931541.615 * [backup-simplify]: Simplify 0 into 0 1553931541.615 * [backup-simplify]: Simplify 1 into 1 1553931541.615 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931541.615 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931541.615 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931541.615 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931541.615 * [taylor]: Taking taylor expansion of -1 in re 1553931541.615 * [backup-simplify]: Simplify -1 into -1 1553931541.615 * [taylor]: Taking taylor expansion of im in re 1553931541.615 * [backup-simplify]: Simplify im into im 1553931541.615 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931541.616 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931541.616 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931541.616 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1553931541.616 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0 1553931541.616 * [backup-simplify]: Simplify (- 0) into 0 1553931541.616 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1553931541.616 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931541.616 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1553931541.616 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931541.616 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931541.616 * [taylor]: Taking taylor expansion of -1 in im 1553931541.616 * [backup-simplify]: Simplify -1 into -1 1553931541.616 * [taylor]: Taking taylor expansion of re in im 1553931541.616 * [backup-simplify]: Simplify re into re 1553931541.616 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931541.616 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931541.616 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931541.616 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931541.616 * [taylor]: Taking taylor expansion of -1 in im 1553931541.616 * [backup-simplify]: Simplify -1 into -1 1553931541.616 * [taylor]: Taking taylor expansion of im in im 1553931541.616 * [backup-simplify]: Simplify 0 into 0 1553931541.616 * [backup-simplify]: Simplify 1 into 1 1553931541.617 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931541.617 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931541.617 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931541.617 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931541.617 * [backup-simplify]: Simplify (+ 0) into 0 1553931541.618 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1553931541.618 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1553931541.618 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931541.618 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1553931541.619 * [backup-simplify]: Simplify (- 0) into 0 1553931541.619 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.619 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1553931541.619 * [taylor]: Taking taylor expansion of 0 in im 1553931541.619 * [backup-simplify]: Simplify 0 into 0 1553931541.619 * [backup-simplify]: Simplify 0 into 0 1553931541.619 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553931541.620 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931541.620 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1553931541.620 * [backup-simplify]: Simplify 0 into 0 1553931541.620 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931541.621 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931541.621 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931541.621 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931541.622 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931541.622 * [backup-simplify]: Simplify (- 0) into 0 1553931541.622 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.622 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931541.622 * [taylor]: Taking taylor expansion of 0 in im 1553931541.622 * [backup-simplify]: Simplify 0 into 0 1553931541.622 * [backup-simplify]: Simplify 0 into 0 1553931541.622 * [backup-simplify]: Simplify 0 into 0 1553931541.623 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931541.623 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931541.624 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931541.624 * [backup-simplify]: Simplify 0 into 0 1553931541.624 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931541.625 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931541.625 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931541.626 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931541.626 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931541.626 * [backup-simplify]: Simplify (- 0) into 0 1553931541.627 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931541.627 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1553931541.627 * [taylor]: Taking taylor expansion of 0 in im 1553931541.627 * [backup-simplify]: Simplify 0 into 0 1553931541.627 * [backup-simplify]: Simplify 0 into 0 1553931541.627 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re)) 1553931541.627 * * * [progress]: simplifying candidates 1553931541.627 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 1553931541.628 * [simplify]: Simplifying (* (exp re) (cos im)) 1553931541.628 * * [simplify]: iters left: 3 (5 enodes) 1553931541.629 * * [simplify]: iters left: 2 (16 enodes) 1553931541.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.631 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931541.631 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931541.631 * * [simplify]: Extracting #3: cost 4 inf + 124 1553931541.631 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931541.631 * [simplify]: Simplified to (* (cos im) (exp re)) 1553931541.631 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1)) 1553931541.631 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 1553931541.631 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 1553931541.631 * [simplify]: Simplifying (+ re (log (cos im))) 1553931541.631 * * [simplify]: iters left: 4 (5 enodes) 1553931541.632 * * [simplify]: iters left: 3 (16 enodes) 1553931541.634 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.634 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931541.634 * * [simplify]: Extracting #2: cost 5 inf + 1 1553931541.635 * * [simplify]: Extracting #3: cost 7 inf + 1 1553931541.635 * * [simplify]: Extracting #4: cost 0 inf + 730 1553931541.635 * [simplify]: Simplified to (+ (log (cos im)) re) 1553931541.635 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (cos im)) re))) 1553931541.635 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 1553931541.635 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 1553931541.635 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 1553931541.635 * [simplify]: Simplifying (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im))) 1553931541.635 * * [simplify]: iters left: 6 (9 enodes) 1553931541.638 * * [simplify]: iters left: 5 (36 enodes) 1553931541.644 * * [simplify]: iters left: 4 (71 enodes) 1553931541.657 * * [simplify]: iters left: 3 (127 enodes) 1553931541.685 * * [simplify]: iters left: 2 (202 enodes) 1553931541.752 * * [simplify]: iters left: 1 (360 enodes) 1553931541.883 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.884 * * [simplify]: Extracting #1: cost 49 inf + 0 1553931541.885 * * [simplify]: Extracting #2: cost 155 inf + 1 1553931541.886 * * [simplify]: Extracting #3: cost 148 inf + 2143 1553931541.891 * * [simplify]: Extracting #4: cost 101 inf + 19581 1553931541.903 * * [simplify]: Extracting #5: cost 8 inf + 69910 1553931541.918 * * [simplify]: Extracting #6: cost 0 inf + 74840 1553931541.933 * [simplify]: Simplified to (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1553931541.933 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))))) 1553931541.933 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 1553931541.933 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 1553931541.933 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 1553931541.933 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 1553931541.933 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 1553931541.934 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (cos im))) 1553931541.934 * * [simplify]: iters left: 4 (7 enodes) 1553931541.937 * * [simplify]: iters left: 3 (22 enodes) 1553931541.942 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.942 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931541.942 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931541.942 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931541.942 * * [simplify]: Extracting #4: cost 10 inf + 2 1553931541.943 * * [simplify]: Extracting #5: cost 4 inf + 468 1553931541.943 * * [simplify]: Extracting #6: cost 1 inf + 942 1553931541.943 * * [simplify]: Extracting #7: cost 0 inf + 1194 1553931541.944 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (cos im))) 1553931541.944 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))))) 1553931541.944 * [simplify]: Simplifying (* (sqrt (exp re)) (sqrt (cos im))) 1553931541.944 * * [simplify]: iters left: 4 (7 enodes) 1553931541.947 * * [simplify]: iters left: 3 (22 enodes) 1553931541.952 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.952 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931541.952 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931541.952 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931541.952 * * [simplify]: Extracting #4: cost 10 inf + 2 1553931541.953 * * [simplify]: Extracting #5: cost 4 inf + 468 1553931541.953 * * [simplify]: Extracting #6: cost 1 inf + 942 1553931541.953 * * [simplify]: Extracting #7: cost 0 inf + 1194 1553931541.954 * [simplify]: Simplified to (* (sqrt (exp re)) (sqrt (cos im))) 1553931541.954 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))))) 1553931541.954 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 1553931541.954 * [simplify]: Simplifying (cbrt (cos im)) 1553931541.954 * * [simplify]: iters left: 2 (3 enodes) 1553931541.955 * * [simplify]: iters left: 1 (9 enodes) 1553931541.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.958 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931541.958 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931541.958 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931541.958 * * [simplify]: Extracting #4: cost 0 inf + 405 1553931541.958 * [simplify]: Simplified to (cbrt (cos im)) 1553931541.958 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im)))) 1553931541.958 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 1553931541.958 * [simplify]: Simplifying (sqrt (cos im)) 1553931541.958 * * [simplify]: iters left: 2 (3 enodes) 1553931541.959 * * [simplify]: iters left: 1 (9 enodes) 1553931541.962 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.962 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931541.962 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931541.962 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931541.962 * * [simplify]: Extracting #4: cost 0 inf + 325 1553931541.962 * [simplify]: Simplified to (sqrt (cos im)) 1553931541.962 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) (sqrt (cos im))) (sqrt (cos im)))) 1553931541.962 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 1553931541.963 * [simplify]: Simplifying (cos im) 1553931541.963 * * [simplify]: iters left: 1 (2 enodes) 1553931541.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.964 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931541.964 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931541.964 * * [simplify]: Extracting #3: cost 0 inf + 123 1553931541.964 * [simplify]: Simplified to (cos im) 1553931541.964 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (exp re) 1) (cos im))) 1553931541.964 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 1553931541.964 * [simplify]: Simplifying (* (cbrt (exp re)) (cbrt (exp re))) 1553931541.964 * * [simplify]: iters left: 4 (4 enodes) 1553931541.966 * * [simplify]: iters left: 3 (12 enodes) 1553931541.969 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.970 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931541.970 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931541.970 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931541.970 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931541.970 * * [simplify]: Extracting #5: cost 0 inf + 827 1553931541.970 * [simplify]: Simplified to (* (cbrt (exp re)) (cbrt (exp re))) 1553931541.970 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (exp re)) (cbrt (exp re))) (* (cbrt (exp re)) (cos im)))) 1553931541.970 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 1553931541.971 * [simplify]: Simplifying (sqrt (exp re)) 1553931541.971 * * [simplify]: iters left: 2 (3 enodes) 1553931541.972 * * [simplify]: iters left: 1 (9 enodes) 1553931541.974 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931541.974 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931541.974 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931541.974 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931541.974 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931541.975 * [simplify]: Simplified to (sqrt (exp re)) 1553931541.975 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1553931541.975 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 1553931541.975 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* (exp re) (cos im)))))> 1553931541.975 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 1553931541.975 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 1553931541.975 * [simplify]: Simplifying (+ re (+ (* 1/2 (pow re 2)) 1)) 1553931541.975 * * [simplify]: iters left: 6 (8 enodes) 1553931541.984 * * [simplify]: iters left: 5 (35 enodes) 1553931541.995 * * [simplify]: iters left: 4 (49 enodes) 1553931542.009 * * [simplify]: iters left: 3 (62 enodes) 1553931542.025 * * [simplify]: iters left: 2 (66 enodes) 1553931542.041 * * [simplify]: iters left: 1 (72 enodes) 1553931542.058 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.059 * * [simplify]: Extracting #1: cost 8 inf + 0 1553931542.059 * * [simplify]: Extracting #2: cost 14 inf + 2 1553931542.059 * * [simplify]: Extracting #3: cost 13 inf + 170 1553931542.060 * * [simplify]: Extracting #4: cost 0 inf + 1400 1553931542.060 * [simplify]: Simplified to (+ re (+ 1 (* re (* re 1/2)))) 1553931542.060 * [simplify]: Simplified (2) to (λ (re im) (+ re (+ 1 (* re (* re 1/2))))) 1553931542.060 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 1553931542.061 * [simplify]: Simplifying (* (cos im) (exp re)) 1553931542.061 * * [simplify]: iters left: 3 (5 enodes) 1553931542.063 * * [simplify]: iters left: 2 (16 enodes) 1553931542.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.067 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.067 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.067 * * [simplify]: Extracting #3: cost 4 inf + 144 1553931542.067 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931542.068 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931542.068 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1553931542.068 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 1553931542.068 * [simplify]: Simplifying (* (cos im) (exp re)) 1553931542.068 * * [simplify]: iters left: 3 (5 enodes) 1553931542.070 * * [simplify]: iters left: 2 (16 enodes) 1553931542.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.075 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.075 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.075 * * [simplify]: Extracting #3: cost 4 inf + 144 1553931542.075 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931542.075 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931542.075 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1553931542.075 * * * [progress]: adding candidates to table 1553931542.278 * * [progress]: iteration 2 / 4 1553931542.278 * * * [progress]: picking best candidate 1553931542.285 * * * * [pick]: Picked # 1553931542.285 * * * [progress]: localizing error 1553931542.312 * * * [progress]: generating rewritten candidates 1553931542.312 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553931542.338 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1553931542.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553931542.346 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1553931542.419 * * * [progress]: generating series expansions 1553931542.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553931542.419 * [backup-simplify]: Simplify (* (sqrt (exp re)) (cos im)) into (* (cos im) (sqrt (exp re))) 1553931542.419 * [approximate]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in (re im) around 0 1553931542.419 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in im 1553931542.419 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.419 * [taylor]: Taking taylor expansion of im in im 1553931542.419 * [backup-simplify]: Simplify 0 into 0 1553931542.419 * [backup-simplify]: Simplify 1 into 1 1553931542.419 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 1553931542.419 * [taylor]: Taking taylor expansion of (exp re) in im 1553931542.419 * [taylor]: Taking taylor expansion of re in im 1553931542.419 * [backup-simplify]: Simplify re into re 1553931542.419 * [backup-simplify]: Simplify (exp re) into (exp re) 1553931542.419 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1553931542.421 * [backup-simplify]: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.421 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0 1553931542.421 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in re 1553931542.421 * [taylor]: Taking taylor expansion of (cos im) in re 1553931542.421 * [taylor]: Taking taylor expansion of im in re 1553931542.421 * [backup-simplify]: Simplify im into im 1553931542.421 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931542.421 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931542.421 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.421 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.421 * [taylor]: Taking taylor expansion of re in re 1553931542.421 * [backup-simplify]: Simplify 0 into 0 1553931542.421 * [backup-simplify]: Simplify 1 into 1 1553931542.421 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.421 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.422 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.422 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.422 * [taylor]: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in re 1553931542.422 * [taylor]: Taking taylor expansion of (cos im) in re 1553931542.422 * [taylor]: Taking taylor expansion of im in re 1553931542.422 * [backup-simplify]: Simplify im into im 1553931542.422 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931542.422 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931542.422 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.422 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.422 * [taylor]: Taking taylor expansion of re in re 1553931542.422 * [backup-simplify]: Simplify 0 into 0 1553931542.422 * [backup-simplify]: Simplify 1 into 1 1553931542.422 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.423 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.423 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.424 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.424 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931542.424 * [backup-simplify]: Simplify (* (sin im) 0) into 0 1553931542.424 * [backup-simplify]: Simplify (- 0) into 0 1553931542.424 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im) 1553931542.424 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931542.424 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.424 * [taylor]: Taking taylor expansion of im in im 1553931542.424 * [backup-simplify]: Simplify 0 into 0 1553931542.424 * [backup-simplify]: Simplify 1 into 1 1553931542.424 * [backup-simplify]: Simplify 1 into 1 1553931542.425 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.425 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0 1553931542.425 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.426 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0 1553931542.426 * [backup-simplify]: Simplify (- 0) into 0 1553931542.426 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.426 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (* 0 1)) into (* 1/2 (cos im)) 1553931542.426 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 1553931542.426 * [taylor]: Taking taylor expansion of 1/2 in im 1553931542.426 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.426 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.426 * [taylor]: Taking taylor expansion of im in im 1553931542.426 * [backup-simplify]: Simplify 0 into 0 1553931542.426 * [backup-simplify]: Simplify 1 into 1 1553931542.427 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553931542.427 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.427 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.427 * [backup-simplify]: Simplify 0 into 0 1553931542.428 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553931542.428 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1553931542.429 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.430 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.430 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.430 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.430 * [backup-simplify]: Simplify (- 0) into 0 1553931542.431 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.431 * [backup-simplify]: Simplify (+ (* (cos im) 1/8) (+ (* 0 1/2) (* 0 1))) into (* 1/8 (cos im)) 1553931542.431 * [taylor]: Taking taylor expansion of (* 1/8 (cos im)) in im 1553931542.431 * [taylor]: Taking taylor expansion of 1/8 in im 1553931542.431 * [backup-simplify]: Simplify 1/8 into 1/8 1553931542.431 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.431 * [taylor]: Taking taylor expansion of im in im 1553931542.431 * [backup-simplify]: Simplify 0 into 0 1553931542.431 * [backup-simplify]: Simplify 1 into 1 1553931542.432 * [backup-simplify]: Simplify (* 1/8 1) into 1/8 1553931542.432 * [backup-simplify]: Simplify 1/8 into 1/8 1553931542.432 * [backup-simplify]: Simplify (+ (* 1/8 (pow (* 1 re) 2)) (+ (* 1/2 (* 1 re)) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931542.432 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1553931542.432 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in (re im) around 0 1553931542.432 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1553931542.432 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931542.432 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931542.432 * [taylor]: Taking taylor expansion of im in im 1553931542.432 * [backup-simplify]: Simplify 0 into 0 1553931542.432 * [backup-simplify]: Simplify 1 into 1 1553931542.432 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.432 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.432 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1553931542.432 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931542.432 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931542.432 * [taylor]: Taking taylor expansion of re in im 1553931542.432 * [backup-simplify]: Simplify re into re 1553931542.432 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931542.432 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.432 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553931542.433 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.433 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.433 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1553931542.433 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931542.433 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931542.433 * [taylor]: Taking taylor expansion of im in re 1553931542.433 * [backup-simplify]: Simplify im into im 1553931542.433 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931542.433 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.433 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931542.433 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.433 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.433 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.433 * [taylor]: Taking taylor expansion of re in re 1553931542.433 * [backup-simplify]: Simplify 0 into 0 1553931542.433 * [backup-simplify]: Simplify 1 into 1 1553931542.434 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.434 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.434 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.434 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1553931542.434 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931542.434 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931542.434 * [taylor]: Taking taylor expansion of im in re 1553931542.434 * [backup-simplify]: Simplify im into im 1553931542.434 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931542.434 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.434 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931542.434 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.434 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.434 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.434 * [taylor]: Taking taylor expansion of re in re 1553931542.434 * [backup-simplify]: Simplify 0 into 0 1553931542.434 * [backup-simplify]: Simplify 1 into 1 1553931542.434 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.434 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.434 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.435 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1553931542.435 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0 1553931542.435 * [backup-simplify]: Simplify (- 0) into 0 1553931542.435 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1553931542.435 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1553931542.435 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1553931542.435 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931542.435 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931542.435 * [taylor]: Taking taylor expansion of im in im 1553931542.435 * [backup-simplify]: Simplify 0 into 0 1553931542.435 * [backup-simplify]: Simplify 1 into 1 1553931542.435 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.435 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.435 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1553931542.435 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931542.435 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931542.435 * [taylor]: Taking taylor expansion of re in im 1553931542.435 * [backup-simplify]: Simplify re into re 1553931542.436 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931542.436 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.436 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553931542.436 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.436 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.436 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1553931542.436 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1553931542.437 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.437 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1553931542.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553931542.438 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.438 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1553931542.438 * [backup-simplify]: Simplify (- 0) into 0 1553931542.438 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.438 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1553931542.438 * [taylor]: Taking taylor expansion of 0 in im 1553931542.438 * [backup-simplify]: Simplify 0 into 0 1553931542.438 * [backup-simplify]: Simplify 0 into 0 1553931542.439 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1553931542.439 * [backup-simplify]: Simplify 0 into 0 1553931542.439 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.439 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.440 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.440 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.441 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.441 * [backup-simplify]: Simplify (- 0) into 0 1553931542.441 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.442 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1553931542.442 * [taylor]: Taking taylor expansion of 0 in im 1553931542.442 * [backup-simplify]: Simplify 0 into 0 1553931542.442 * [backup-simplify]: Simplify 0 into 0 1553931542.442 * [backup-simplify]: Simplify 0 into 0 1553931542.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931542.443 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931542.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.443 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1553931542.444 * [backup-simplify]: Simplify 0 into 0 1553931542.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.445 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931542.445 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931542.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.446 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.446 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931542.447 * [backup-simplify]: Simplify (- 0) into 0 1553931542.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.447 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re))))))) into 0 1553931542.447 * [taylor]: Taking taylor expansion of 0 in im 1553931542.447 * [backup-simplify]: Simplify 0 into 0 1553931542.447 * [backup-simplify]: Simplify 0 into 0 1553931542.447 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (sqrt (exp (/ 1 (/ 1 re))))) into (* (cos im) (sqrt (exp re))) 1553931542.448 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (cos (/ 1 (- im)))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) 1553931542.448 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in (re im) around 0 1553931542.448 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im 1553931542.448 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1553931542.448 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931542.448 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931542.448 * [taylor]: Taking taylor expansion of -1 in im 1553931542.448 * [backup-simplify]: Simplify -1 into -1 1553931542.448 * [taylor]: Taking taylor expansion of re in im 1553931542.448 * [backup-simplify]: Simplify re into re 1553931542.448 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931542.448 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.448 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.448 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553931542.448 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.448 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.448 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931542.448 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931542.448 * [taylor]: Taking taylor expansion of -1 in im 1553931542.449 * [backup-simplify]: Simplify -1 into -1 1553931542.449 * [taylor]: Taking taylor expansion of im in im 1553931542.449 * [backup-simplify]: Simplify 0 into 0 1553931542.449 * [backup-simplify]: Simplify 1 into 1 1553931542.449 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.449 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.449 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re 1553931542.449 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.449 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.449 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.449 * [taylor]: Taking taylor expansion of -1 in re 1553931542.449 * [backup-simplify]: Simplify -1 into -1 1553931542.449 * [taylor]: Taking taylor expansion of re in re 1553931542.449 * [backup-simplify]: Simplify 0 into 0 1553931542.449 * [backup-simplify]: Simplify 1 into 1 1553931542.450 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.450 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.450 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.450 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.450 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931542.450 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931542.450 * [taylor]: Taking taylor expansion of -1 in re 1553931542.450 * [backup-simplify]: Simplify -1 into -1 1553931542.450 * [taylor]: Taking taylor expansion of im in re 1553931542.450 * [backup-simplify]: Simplify im into im 1553931542.450 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931542.450 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.450 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931542.450 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re 1553931542.450 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.450 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.450 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.450 * [taylor]: Taking taylor expansion of -1 in re 1553931542.450 * [backup-simplify]: Simplify -1 into -1 1553931542.450 * [taylor]: Taking taylor expansion of re in re 1553931542.451 * [backup-simplify]: Simplify 0 into 0 1553931542.451 * [backup-simplify]: Simplify 1 into 1 1553931542.451 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.451 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.451 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.451 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.451 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931542.451 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931542.451 * [taylor]: Taking taylor expansion of -1 in re 1553931542.451 * [backup-simplify]: Simplify -1 into -1 1553931542.451 * [taylor]: Taking taylor expansion of im in re 1553931542.451 * [backup-simplify]: Simplify im into im 1553931542.451 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931542.452 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.452 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931542.452 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1553931542.452 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0 1553931542.452 * [backup-simplify]: Simplify (- 0) into 0 1553931542.452 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1553931542.452 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) 1553931542.452 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im 1553931542.453 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1553931542.453 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931542.453 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931542.453 * [taylor]: Taking taylor expansion of -1 in im 1553931542.453 * [backup-simplify]: Simplify -1 into -1 1553931542.453 * [taylor]: Taking taylor expansion of re in im 1553931542.453 * [backup-simplify]: Simplify re into re 1553931542.453 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931542.453 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.453 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.453 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553931542.454 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.454 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.454 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931542.454 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931542.454 * [taylor]: Taking taylor expansion of -1 in im 1553931542.454 * [backup-simplify]: Simplify -1 into -1 1553931542.454 * [taylor]: Taking taylor expansion of im in im 1553931542.454 * [backup-simplify]: Simplify 0 into 0 1553931542.454 * [backup-simplify]: Simplify 1 into 1 1553931542.455 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.455 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.455 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) 1553931542.455 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) into (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) 1553931542.455 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.456 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1553931542.456 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1553931542.457 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.457 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1553931542.458 * [backup-simplify]: Simplify (- 0) into 0 1553931542.458 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.458 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (cos (/ -1 im)))) into 0 1553931542.458 * [taylor]: Taking taylor expansion of 0 in im 1553931542.458 * [backup-simplify]: Simplify 0 into 0 1553931542.458 * [backup-simplify]: Simplify 0 into 0 1553931542.458 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (* 0 (cos (/ -1 im)))) into 0 1553931542.459 * [backup-simplify]: Simplify 0 into 0 1553931542.459 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.460 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.460 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.461 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.462 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.462 * [backup-simplify]: Simplify (- 0) into 0 1553931542.462 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.463 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.464 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931542.464 * [taylor]: Taking taylor expansion of 0 in im 1553931542.464 * [backup-simplify]: Simplify 0 into 0 1553931542.464 * [backup-simplify]: Simplify 0 into 0 1553931542.464 * [backup-simplify]: Simplify 0 into 0 1553931542.464 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931542.465 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931542.466 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.466 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931542.466 * [backup-simplify]: Simplify 0 into 0 1553931542.467 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931542.468 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931542.468 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.470 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.471 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931542.471 * [backup-simplify]: Simplify (- 0) into 0 1553931542.471 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.472 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.473 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 re))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1553931542.473 * [taylor]: Taking taylor expansion of 0 in im 1553931542.473 * [backup-simplify]: Simplify 0 into 0 1553931542.473 * [backup-simplify]: Simplify 0 into 0 1553931542.474 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 (/ 1 (- re))))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (sqrt (exp re))) 1553931542.474 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1553931542.474 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1553931542.474 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 1553931542.474 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.474 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.474 * [taylor]: Taking taylor expansion of re in re 1553931542.474 * [backup-simplify]: Simplify 0 into 0 1553931542.474 * [backup-simplify]: Simplify 1 into 1 1553931542.474 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.474 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.476 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.476 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.476 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.476 * [taylor]: Taking taylor expansion of re in re 1553931542.476 * [backup-simplify]: Simplify 0 into 0 1553931542.476 * [backup-simplify]: Simplify 1 into 1 1553931542.476 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.477 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.478 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.478 * [backup-simplify]: Simplify 1 into 1 1553931542.478 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553931542.482 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1553931542.482 * [backup-simplify]: Simplify 1/8 into 1/8 1553931542.482 * [backup-simplify]: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931542.482 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.482 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 1553931542.482 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.482 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.482 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.482 * [taylor]: Taking taylor expansion of re in re 1553931542.482 * [backup-simplify]: Simplify 0 into 0 1553931542.482 * [backup-simplify]: Simplify 1 into 1 1553931542.483 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.483 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.483 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.483 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.483 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.483 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.483 * [taylor]: Taking taylor expansion of re in re 1553931542.483 * [backup-simplify]: Simplify 0 into 0 1553931542.483 * [backup-simplify]: Simplify 1 into 1 1553931542.483 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.484 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.484 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.484 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.484 * [backup-simplify]: Simplify 0 into 0 1553931542.485 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.485 * [backup-simplify]: Simplify 0 into 0 1553931542.486 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.486 * [backup-simplify]: Simplify 0 into 0 1553931542.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.487 * [backup-simplify]: Simplify 0 into 0 1553931542.488 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.488 * [backup-simplify]: Simplify 0 into 0 1553931542.489 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.489 * [backup-simplify]: Simplify 0 into 0 1553931542.489 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re)) 1553931542.489 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re))) 1553931542.489 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 1553931542.489 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.489 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.489 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.489 * [taylor]: Taking taylor expansion of -1 in re 1553931542.489 * [backup-simplify]: Simplify -1 into -1 1553931542.489 * [taylor]: Taking taylor expansion of re in re 1553931542.489 * [backup-simplify]: Simplify 0 into 0 1553931542.489 * [backup-simplify]: Simplify 1 into 1 1553931542.490 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.490 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.490 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.490 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.490 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.490 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.490 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.490 * [taylor]: Taking taylor expansion of -1 in re 1553931542.490 * [backup-simplify]: Simplify -1 into -1 1553931542.490 * [taylor]: Taking taylor expansion of re in re 1553931542.490 * [backup-simplify]: Simplify 0 into 0 1553931542.490 * [backup-simplify]: Simplify 1 into 1 1553931542.491 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.491 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.491 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.491 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.491 * [backup-simplify]: Simplify 0 into 0 1553931542.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.492 * [backup-simplify]: Simplify 0 into 0 1553931542.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.493 * [backup-simplify]: Simplify 0 into 0 1553931542.494 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.495 * [backup-simplify]: Simplify 0 into 0 1553931542.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.496 * [backup-simplify]: Simplify 0 into 0 1553931542.497 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.497 * [backup-simplify]: Simplify 0 into 0 1553931542.497 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re)) 1553931542.497 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553931542.497 * [backup-simplify]: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1553931542.497 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 1553931542.497 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.497 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.497 * [taylor]: Taking taylor expansion of re in re 1553931542.497 * [backup-simplify]: Simplify 0 into 0 1553931542.497 * [backup-simplify]: Simplify 1 into 1 1553931542.497 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.498 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.499 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.499 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.499 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1553931542.499 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.499 * [taylor]: Taking taylor expansion of re in re 1553931542.499 * [backup-simplify]: Simplify 0 into 0 1553931542.499 * [backup-simplify]: Simplify 1 into 1 1553931542.499 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.500 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931542.501 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.501 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1553931542.502 * [backup-simplify]: Simplify 1 into 1 1553931542.502 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.503 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553931542.504 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1553931542.504 * [backup-simplify]: Simplify 1/8 into 1/8 1553931542.504 * [backup-simplify]: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931542.505 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.505 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 1553931542.505 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.505 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.505 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.505 * [taylor]: Taking taylor expansion of re in re 1553931542.505 * [backup-simplify]: Simplify 0 into 0 1553931542.505 * [backup-simplify]: Simplify 1 into 1 1553931542.505 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.505 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.505 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.505 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1553931542.506 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.506 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.506 * [taylor]: Taking taylor expansion of re in re 1553931542.506 * [backup-simplify]: Simplify 0 into 0 1553931542.506 * [backup-simplify]: Simplify 1 into 1 1553931542.506 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.506 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.506 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.506 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.506 * [backup-simplify]: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1553931542.506 * [backup-simplify]: Simplify 0 into 0 1553931542.507 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.507 * [backup-simplify]: Simplify 0 into 0 1553931542.508 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.508 * [backup-simplify]: Simplify 0 into 0 1553931542.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.509 * [backup-simplify]: Simplify 0 into 0 1553931542.510 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.510 * [backup-simplify]: Simplify 0 into 0 1553931542.511 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1553931542.511 * [backup-simplify]: Simplify 0 into 0 1553931542.511 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re)) 1553931542.512 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re))) 1553931542.512 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 1553931542.512 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.512 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.512 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.512 * [taylor]: Taking taylor expansion of -1 in re 1553931542.512 * [backup-simplify]: Simplify -1 into -1 1553931542.512 * [taylor]: Taking taylor expansion of re in re 1553931542.512 * [backup-simplify]: Simplify 0 into 0 1553931542.512 * [backup-simplify]: Simplify 1 into 1 1553931542.512 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.512 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.512 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.512 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.513 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1553931542.513 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.513 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.513 * [taylor]: Taking taylor expansion of -1 in re 1553931542.513 * [backup-simplify]: Simplify -1 into -1 1553931542.513 * [taylor]: Taking taylor expansion of re in re 1553931542.513 * [backup-simplify]: Simplify 0 into 0 1553931542.513 * [backup-simplify]: Simplify 1 into 1 1553931542.513 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.513 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.513 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.513 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.514 * [backup-simplify]: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1553931542.514 * [backup-simplify]: Simplify 0 into 0 1553931542.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.514 * [backup-simplify]: Simplify 0 into 0 1553931542.515 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.515 * [backup-simplify]: Simplify 0 into 0 1553931542.516 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.516 * [backup-simplify]: Simplify 0 into 0 1553931542.517 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.517 * [backup-simplify]: Simplify 0 into 0 1553931542.518 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1553931542.518 * [backup-simplify]: Simplify 0 into 0 1553931542.518 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re)) 1553931542.518 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1553931542.519 * [backup-simplify]: Simplify (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) into (* (cos im) (exp re)) 1553931542.519 * [approximate]: Taking taylor expansion of (* (cos im) (exp re)) in (re im) around 0 1553931542.519 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in im 1553931542.519 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.519 * [taylor]: Taking taylor expansion of im in im 1553931542.519 * [backup-simplify]: Simplify 0 into 0 1553931542.519 * [backup-simplify]: Simplify 1 into 1 1553931542.519 * [taylor]: Taking taylor expansion of (exp re) in im 1553931542.519 * [taylor]: Taking taylor expansion of re in im 1553931542.519 * [backup-simplify]: Simplify re into re 1553931542.519 * [backup-simplify]: Simplify (exp re) into (exp re) 1553931542.519 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 1553931542.519 * [taylor]: Taking taylor expansion of (cos im) in re 1553931542.519 * [taylor]: Taking taylor expansion of im in re 1553931542.519 * [backup-simplify]: Simplify im into im 1553931542.519 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931542.519 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931542.519 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.519 * [taylor]: Taking taylor expansion of re in re 1553931542.519 * [backup-simplify]: Simplify 0 into 0 1553931542.519 * [backup-simplify]: Simplify 1 into 1 1553931542.519 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.519 * [taylor]: Taking taylor expansion of (* (cos im) (exp re)) in re 1553931542.519 * [taylor]: Taking taylor expansion of (cos im) in re 1553931542.519 * [taylor]: Taking taylor expansion of im in re 1553931542.519 * [backup-simplify]: Simplify im into im 1553931542.519 * [backup-simplify]: Simplify (cos im) into (cos im) 1553931542.519 * [backup-simplify]: Simplify (sin im) into (sin im) 1553931542.519 * [taylor]: Taking taylor expansion of (exp re) in re 1553931542.519 * [taylor]: Taking taylor expansion of re in re 1553931542.519 * [backup-simplify]: Simplify 0 into 0 1553931542.519 * [backup-simplify]: Simplify 1 into 1 1553931542.519 * [backup-simplify]: Simplify (exp 0) into 1 1553931542.520 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931542.520 * [backup-simplify]: Simplify (* (sin im) 0) into 0 1553931542.520 * [backup-simplify]: Simplify (- 0) into 0 1553931542.520 * [backup-simplify]: Simplify (+ (cos im) 0) into (cos im) 1553931542.520 * [backup-simplify]: Simplify (* (cos im) 1) into (cos im) 1553931542.520 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.520 * [taylor]: Taking taylor expansion of im in im 1553931542.520 * [backup-simplify]: Simplify 0 into 0 1553931542.520 * [backup-simplify]: Simplify 1 into 1 1553931542.520 * [backup-simplify]: Simplify 1 into 1 1553931542.522 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553931542.522 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.523 * [backup-simplify]: Simplify (+ (* (cos im) 0) (* 0 1)) into 0 1553931542.523 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.524 * [backup-simplify]: Simplify (+ (* (sin im) 0) (* 0 0)) into 0 1553931542.524 * [backup-simplify]: Simplify (- 0) into 0 1553931542.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.525 * [backup-simplify]: Simplify (+ (* (cos im) 1) (* 0 1)) into (cos im) 1553931542.525 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.525 * [taylor]: Taking taylor expansion of im in im 1553931542.525 * [backup-simplify]: Simplify 0 into 0 1553931542.525 * [backup-simplify]: Simplify 1 into 1 1553931542.525 * [backup-simplify]: Simplify 1 into 1 1553931542.526 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.526 * [backup-simplify]: Simplify 0 into 0 1553931542.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553931542.528 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.529 * [backup-simplify]: Simplify (+ (* (cos im) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.530 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.530 * [backup-simplify]: Simplify (+ (* (sin im) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.530 * [backup-simplify]: Simplify (- 0) into 0 1553931542.531 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.531 * [backup-simplify]: Simplify (+ (* (cos im) 1/2) (+ (* 0 1) (* 0 1))) into (* 1/2 (cos im)) 1553931542.531 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 1553931542.532 * [taylor]: Taking taylor expansion of 1/2 in im 1553931542.532 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.532 * [taylor]: Taking taylor expansion of (cos im) in im 1553931542.532 * [taylor]: Taking taylor expansion of im in im 1553931542.532 * [backup-simplify]: Simplify 0 into 0 1553931542.532 * [backup-simplify]: Simplify 1 into 1 1553931542.532 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553931542.532 * [backup-simplify]: Simplify 1/2 into 1/2 1553931542.532 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* 1 re) 2)) (+ (* 1 (* 1 re)) 1)) into (+ re (+ (* 1/2 (pow re 2)) 1)) 1553931542.533 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 re))) (* (sqrt (exp (/ 1 re))) (cos (/ 1 im)))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931542.533 * [approximate]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (re im) around 0 1553931542.533 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1553931542.533 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931542.533 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931542.533 * [taylor]: Taking taylor expansion of im in im 1553931542.533 * [backup-simplify]: Simplify 0 into 0 1553931542.533 * [backup-simplify]: Simplify 1 into 1 1553931542.533 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.533 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.533 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931542.533 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931542.533 * [taylor]: Taking taylor expansion of re in im 1553931542.533 * [backup-simplify]: Simplify re into re 1553931542.533 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931542.534 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.534 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1553931542.534 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931542.534 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931542.534 * [taylor]: Taking taylor expansion of im in re 1553931542.534 * [backup-simplify]: Simplify im into im 1553931542.534 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931542.534 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.534 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931542.534 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.534 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.534 * [taylor]: Taking taylor expansion of re in re 1553931542.534 * [backup-simplify]: Simplify 0 into 0 1553931542.534 * [backup-simplify]: Simplify 1 into 1 1553931542.534 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.534 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.534 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1553931542.534 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 1553931542.534 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553931542.534 * [taylor]: Taking taylor expansion of im in re 1553931542.534 * [backup-simplify]: Simplify im into im 1553931542.535 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553931542.535 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.535 * [backup-simplify]: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1553931542.535 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1553931542.535 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553931542.535 * [taylor]: Taking taylor expansion of re in re 1553931542.535 * [backup-simplify]: Simplify 0 into 0 1553931542.535 * [backup-simplify]: Simplify 1 into 1 1553931542.535 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.535 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.535 * [backup-simplify]: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1553931542.536 * [backup-simplify]: Simplify (* (sin (/ 1 im)) 0) into 0 1553931542.536 * [backup-simplify]: Simplify (- 0) into 0 1553931542.536 * [backup-simplify]: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1553931542.536 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931542.536 * [taylor]: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1553931542.536 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 1553931542.536 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553931542.536 * [taylor]: Taking taylor expansion of im in im 1553931542.536 * [backup-simplify]: Simplify 0 into 0 1553931542.536 * [backup-simplify]: Simplify 1 into 1 1553931542.537 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931542.537 * [backup-simplify]: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1553931542.537 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1553931542.537 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553931542.537 * [taylor]: Taking taylor expansion of re in im 1553931542.537 * [backup-simplify]: Simplify re into re 1553931542.537 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553931542.537 * [backup-simplify]: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1553931542.537 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931542.537 * [backup-simplify]: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1553931542.538 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.544 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1553931542.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553931542.545 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.546 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1553931542.546 * [backup-simplify]: Simplify (- 0) into 0 1553931542.546 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.546 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1553931542.546 * [taylor]: Taking taylor expansion of 0 in im 1553931542.546 * [backup-simplify]: Simplify 0 into 0 1553931542.547 * [backup-simplify]: Simplify 0 into 0 1553931542.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553931542.547 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.548 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1553931542.548 * [backup-simplify]: Simplify 0 into 0 1553931542.549 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.549 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.550 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.551 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.551 * [backup-simplify]: Simplify (- 0) into 0 1553931542.552 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.552 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1553931542.552 * [taylor]: Taking taylor expansion of 0 in im 1553931542.552 * [backup-simplify]: Simplify 0 into 0 1553931542.552 * [backup-simplify]: Simplify 0 into 0 1553931542.552 * [backup-simplify]: Simplify 0 into 0 1553931542.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931542.554 * [backup-simplify]: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931542.554 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1553931542.554 * [backup-simplify]: Simplify 0 into 0 1553931542.555 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931542.556 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931542.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.557 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.558 * [backup-simplify]: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931542.558 * [backup-simplify]: Simplify (- 0) into 0 1553931542.558 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.559 * [backup-simplify]: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1553931542.559 * [taylor]: Taking taylor expansion of 0 in im 1553931542.559 * [backup-simplify]: Simplify 0 into 0 1553931542.559 * [backup-simplify]: Simplify 0 into 0 1553931542.559 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1553931542.559 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 (- re)))) (* (sqrt (exp (/ 1 (- re)))) (cos (/ 1 (- im))))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931542.559 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 1553931542.559 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1553931542.559 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931542.559 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931542.559 * [taylor]: Taking taylor expansion of -1 in im 1553931542.559 * [backup-simplify]: Simplify -1 into -1 1553931542.559 * [taylor]: Taking taylor expansion of re in im 1553931542.559 * [backup-simplify]: Simplify re into re 1553931542.559 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931542.559 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.559 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931542.559 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931542.559 * [taylor]: Taking taylor expansion of -1 in im 1553931542.559 * [backup-simplify]: Simplify -1 into -1 1553931542.559 * [taylor]: Taking taylor expansion of im in im 1553931542.559 * [backup-simplify]: Simplify 0 into 0 1553931542.559 * [backup-simplify]: Simplify 1 into 1 1553931542.560 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.560 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.560 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1553931542.560 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.560 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.560 * [taylor]: Taking taylor expansion of -1 in re 1553931542.560 * [backup-simplify]: Simplify -1 into -1 1553931542.560 * [taylor]: Taking taylor expansion of re in re 1553931542.560 * [backup-simplify]: Simplify 0 into 0 1553931542.560 * [backup-simplify]: Simplify 1 into 1 1553931542.560 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.560 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.560 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931542.560 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931542.560 * [taylor]: Taking taylor expansion of -1 in re 1553931542.560 * [backup-simplify]: Simplify -1 into -1 1553931542.560 * [taylor]: Taking taylor expansion of im in re 1553931542.560 * [backup-simplify]: Simplify im into im 1553931542.560 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931542.560 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.560 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931542.560 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 1553931542.560 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1553931542.560 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553931542.560 * [taylor]: Taking taylor expansion of -1 in re 1553931542.560 * [backup-simplify]: Simplify -1 into -1 1553931542.560 * [taylor]: Taking taylor expansion of re in re 1553931542.560 * [backup-simplify]: Simplify 0 into 0 1553931542.560 * [backup-simplify]: Simplify 1 into 1 1553931542.561 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.561 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.561 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 1553931542.561 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553931542.561 * [taylor]: Taking taylor expansion of -1 in re 1553931542.561 * [backup-simplify]: Simplify -1 into -1 1553931542.561 * [taylor]: Taking taylor expansion of im in re 1553931542.561 * [backup-simplify]: Simplify im into im 1553931542.561 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553931542.561 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.561 * [backup-simplify]: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1553931542.561 * [backup-simplify]: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1553931542.561 * [backup-simplify]: Simplify (* (sin (/ -1 im)) 0) into 0 1553931542.561 * [backup-simplify]: Simplify (- 0) into 0 1553931542.561 * [backup-simplify]: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1553931542.562 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931542.562 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 1553931542.562 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1553931542.562 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553931542.562 * [taylor]: Taking taylor expansion of -1 in im 1553931542.562 * [backup-simplify]: Simplify -1 into -1 1553931542.562 * [taylor]: Taking taylor expansion of re in im 1553931542.562 * [backup-simplify]: Simplify re into re 1553931542.562 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553931542.562 * [backup-simplify]: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1553931542.562 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 1553931542.562 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553931542.562 * [taylor]: Taking taylor expansion of -1 in im 1553931542.562 * [backup-simplify]: Simplify -1 into -1 1553931542.562 * [taylor]: Taking taylor expansion of im in im 1553931542.562 * [backup-simplify]: Simplify 0 into 0 1553931542.562 * [backup-simplify]: Simplify 1 into 1 1553931542.562 * [backup-simplify]: Simplify (/ -1 1) into -1 1553931542.562 * [backup-simplify]: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1553931542.562 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931542.562 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (cos (/ -1 im))) into (* (exp (/ -1 re)) (cos (/ -1 im))) 1553931542.563 * [backup-simplify]: Simplify (+ 0) into 0 1553931542.563 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1553931542.563 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1553931542.564 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553931542.564 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1553931542.564 * [backup-simplify]: Simplify (- 0) into 0 1553931542.565 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.565 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1553931542.565 * [taylor]: Taking taylor expansion of 0 in im 1553931542.565 * [backup-simplify]: Simplify 0 into 0 1553931542.565 * [backup-simplify]: Simplify 0 into 0 1553931542.565 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553931542.566 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1553931542.566 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (cos (/ -1 im)))) into 0 1553931542.566 * [backup-simplify]: Simplify 0 into 0 1553931542.566 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553931542.567 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1553931542.567 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.567 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.568 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1553931542.568 * [backup-simplify]: Simplify (- 0) into 0 1553931542.568 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.568 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931542.568 * [taylor]: Taking taylor expansion of 0 in im 1553931542.568 * [backup-simplify]: Simplify 0 into 0 1553931542.568 * [backup-simplify]: Simplify 0 into 0 1553931542.568 * [backup-simplify]: Simplify 0 into 0 1553931542.569 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553931542.569 * [backup-simplify]: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553931542.570 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1553931542.570 * [backup-simplify]: Simplify 0 into 0 1553931542.570 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1553931542.571 * [backup-simplify]: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931542.571 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553931542.572 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1553931542.572 * [backup-simplify]: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1553931542.572 * [backup-simplify]: Simplify (- 0) into 0 1553931542.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931542.573 * [backup-simplify]: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1553931542.573 * [taylor]: Taking taylor expansion of 0 in im 1553931542.573 * [backup-simplify]: Simplify 0 into 0 1553931542.573 * [backup-simplify]: Simplify 0 into 0 1553931542.573 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- re)))) (cos (/ -1 (/ 1 (- im))))) into (* (cos im) (exp re)) 1553931542.573 * * * [progress]: simplifying candidates 1553931542.573 * * * * [progress]: [ 1 / 91 ] simplifiying candidate # 1553931542.574 * [simplify]: Simplifying (* (sqrt (exp re)) (cos im)) 1553931542.574 * * [simplify]: iters left: 4 (6 enodes) 1553931542.575 * * [simplify]: iters left: 3 (19 enodes) 1553931542.577 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.577 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.577 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.578 * * [simplify]: Extracting #3: cost 7 inf + 123 1553931542.578 * * [simplify]: Extracting #4: cost 6 inf + 124 1553931542.578 * * [simplify]: Extracting #5: cost 0 inf + 912 1553931542.578 * [simplify]: Simplified to (* (cos im) (sqrt (exp re))) 1553931542.578 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (pow (* (cos im) (sqrt (exp re))) 1))) 1553931542.578 * * * * [progress]: [ 2 / 91 ] simplifiying candidate # 1553931542.578 * * * * [progress]: [ 3 / 91 ] simplifiying candidate # 1553931542.578 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (log (cos im))) 1553931542.578 * * [simplify]: iters left: 5 (8 enodes) 1553931542.580 * * [simplify]: iters left: 4 (25 enodes) 1553931542.583 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.583 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.583 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.583 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931542.583 * * [simplify]: Extracting #4: cost 12 inf + 62 1553931542.583 * * [simplify]: Extracting #5: cost 8 inf + 386 1553931542.583 * * [simplify]: Extracting #6: cost 7 inf + 457 1553931542.584 * * [simplify]: Extracting #7: cost 2 inf + 1283 1553931542.584 * * [simplify]: Extracting #8: cost 0 inf + 1816 1553931542.584 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (log (cos im))) 1553931542.584 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (exp (+ (log (sqrt (exp re))) (log (cos im)))))) 1553931542.584 * * * * [progress]: [ 4 / 91 ] simplifiying candidate # 1553931542.584 * * * * [progress]: [ 5 / 91 ] simplifiying candidate # 1553931542.584 * * * * [progress]: [ 6 / 91 ] simplifiying candidate # 1553931542.584 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im))) 1553931542.584 * * [simplify]: iters left: 6 (10 enodes) 1553931542.587 * * [simplify]: iters left: 5 (35 enodes) 1553931542.596 * * [simplify]: iters left: 4 (65 enodes) 1553931542.621 * * [simplify]: iters left: 3 (120 enodes) 1553931542.669 * * [simplify]: iters left: 2 (197 enodes) 1553931542.717 * * [simplify]: iters left: 1 (356 enodes) 1553931542.832 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.832 * * [simplify]: Extracting #1: cost 51 inf + 0 1553931542.833 * * [simplify]: Extracting #2: cost 155 inf + 1 1553931542.833 * * [simplify]: Extracting #3: cost 155 inf + 440 1553931542.835 * * [simplify]: Extracting #4: cost 126 inf + 9887 1553931542.840 * * [simplify]: Extracting #5: cost 43 inf + 51808 1553931542.847 * * [simplify]: Extracting #6: cost 2 inf + 78156 1553931542.857 * * [simplify]: Extracting #7: cost 0 inf + 79584 1553931542.873 * [simplify]: Simplified to (* (sqrt (exp re)) (* (* (* (cos im) (cos im)) (cos im)) (exp re))) 1553931542.874 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (cbrt (* (sqrt (exp re)) (* (* (* (cos im) (cos im)) (cos im)) (exp re)))))) 1553931542.874 * * * * [progress]: [ 7 / 91 ] simplifiying candidate # 1553931542.874 * * * * [progress]: [ 8 / 91 ] simplifiying candidate # 1553931542.874 * * * * [progress]: [ 9 / 91 ] simplifiying candidate # 1553931542.874 * * * * [progress]: [ 10 / 91 ] simplifiying candidate # 1553931542.874 * * * * [progress]: [ 11 / 91 ] simplifiying candidate # 1553931542.874 * [simplify]: Simplifying (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.874 * * [simplify]: iters left: 5 (8 enodes) 1553931542.878 * * [simplify]: iters left: 4 (25 enodes) 1553931542.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.884 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.884 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.884 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931542.885 * * [simplify]: Extracting #4: cost 13 inf + 1 1553931542.885 * * [simplify]: Extracting #5: cost 11 inf + 63 1553931542.885 * * [simplify]: Extracting #6: cost 7 inf + 397 1553931542.885 * * [simplify]: Extracting #7: cost 2 inf + 1133 1553931542.886 * * [simplify]: Extracting #8: cost 0 inf + 1576 1553931542.886 * [simplify]: Simplified to (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.886 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im)))))) 1553931542.887 * [simplify]: Simplifying (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.887 * * [simplify]: iters left: 5 (8 enodes) 1553931542.890 * * [simplify]: iters left: 4 (25 enodes) 1553931542.897 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.897 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.897 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.897 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931542.897 * * [simplify]: Extracting #4: cost 13 inf + 1 1553931542.897 * * [simplify]: Extracting #5: cost 11 inf + 63 1553931542.897 * * [simplify]: Extracting #6: cost 7 inf + 397 1553931542.898 * * [simplify]: Extracting #7: cost 2 inf + 1133 1553931542.898 * * [simplify]: Extracting #8: cost 0 inf + 1576 1553931542.898 * [simplify]: Simplified to (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.898 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im)))))) 1553931542.898 * * * * [progress]: [ 12 / 91 ] simplifiying candidate # 1553931542.899 * [simplify]: Simplifying (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.899 * * [simplify]: iters left: 5 (8 enodes) 1553931542.902 * * [simplify]: iters left: 4 (25 enodes) 1553931542.909 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.909 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.909 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.909 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931542.909 * * [simplify]: Extracting #4: cost 13 inf + 1 1553931542.909 * * [simplify]: Extracting #5: cost 11 inf + 63 1553931542.909 * * [simplify]: Extracting #6: cost 7 inf + 397 1553931542.910 * * [simplify]: Extracting #7: cost 2 inf + 1133 1553931542.910 * * [simplify]: Extracting #8: cost 0 inf + 1576 1553931542.910 * [simplify]: Simplified to (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.911 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im)))))) 1553931542.911 * [simplify]: Simplifying (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.911 * * [simplify]: iters left: 5 (8 enodes) 1553931542.914 * * [simplify]: iters left: 4 (25 enodes) 1553931542.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.921 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.921 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931542.921 * * [simplify]: Extracting #3: cost 12 inf + 0 1553931542.921 * * [simplify]: Extracting #4: cost 13 inf + 1 1553931542.922 * * [simplify]: Extracting #5: cost 11 inf + 63 1553931542.922 * * [simplify]: Extracting #6: cost 7 inf + 397 1553931542.922 * * [simplify]: Extracting #7: cost 2 inf + 1133 1553931542.922 * * [simplify]: Extracting #8: cost 0 inf + 1576 1553931542.923 * [simplify]: Simplified to (* (sqrt (sqrt (exp re))) (sqrt (cos im))) 1553931542.923 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im)))))) 1553931542.923 * * * * [progress]: [ 13 / 91 ] simplifiying candidate # 1553931542.923 * [simplify]: Simplifying (cbrt (cos im)) 1553931542.923 * * [simplify]: iters left: 2 (3 enodes) 1553931542.925 * * [simplify]: iters left: 1 (9 enodes) 1553931542.927 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.927 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.927 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.927 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931542.927 * * [simplify]: Extracting #4: cost 0 inf + 405 1553931542.927 * [simplify]: Simplified to (cbrt (cos im)) 1553931542.927 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (* (cbrt (cos im)) (cbrt (cos im)))) (cbrt (cos im))))) 1553931542.931 * * * * [progress]: [ 14 / 91 ] simplifiying candidate # 1553931542.931 * [simplify]: Simplifying (sqrt (cos im)) 1553931542.931 * * [simplify]: iters left: 2 (3 enodes) 1553931542.933 * * [simplify]: iters left: 1 (9 enodes) 1553931542.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.935 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.935 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.935 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931542.936 * * [simplify]: Extracting #4: cost 0 inf + 325 1553931542.936 * [simplify]: Simplified to (sqrt (cos im)) 1553931542.936 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) (sqrt (cos im))) (sqrt (cos im))))) 1553931542.936 * * * * [progress]: [ 15 / 91 ] simplifiying candidate # 1553931542.937 * [simplify]: Simplifying (cos im) 1553931542.937 * * [simplify]: iters left: 1 (2 enodes) 1553931542.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.938 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.938 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931542.938 * * [simplify]: Extracting #3: cost 0 inf + 123 1553931542.938 * [simplify]: Simplified to (cos im) 1553931542.938 * [simplify]: Simplified (2 2 2) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (exp re)) 1) (cos im)))) 1553931542.939 * * * * [progress]: [ 16 / 91 ] simplifiying candidate # 1553931542.939 * [simplify]: Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1553931542.939 * * [simplify]: iters left: 5 (5 enodes) 1553931542.941 * * [simplify]: iters left: 4 (15 enodes) 1553931542.944 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.944 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.944 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.944 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931542.944 * * [simplify]: Extracting #4: cost 9 inf + 0 1553931542.944 * * [simplify]: Extracting #5: cost 8 inf + 1 1553931542.944 * * [simplify]: Extracting #6: cost 0 inf + 1209 1553931542.945 * [simplify]: Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1553931542.945 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (cos im))))) 1553931542.945 * * * * [progress]: [ 17 / 91 ] simplifiying candidate # 1553931542.945 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1553931542.945 * * [simplify]: iters left: 5 (5 enodes) 1553931542.946 * * [simplify]: iters left: 4 (16 enodes) 1553931542.949 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.949 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.949 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931542.949 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931542.949 * * [simplify]: Extracting #4: cost 8 inf + 1 1553931542.950 * * [simplify]: Extracting #5: cost 0 inf + 1209 1553931542.950 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1553931542.950 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (cos im))))) 1553931542.950 * * * * [progress]: [ 18 / 91 ] simplifiying candidate # 1553931542.950 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931542.950 * * [simplify]: iters left: 3 (4 enodes) 1553931542.951 * * [simplify]: iters left: 2 (12 enodes) 1553931542.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.953 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.953 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.953 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931542.953 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931542.954 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931542.954 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931542.954 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (cos im))))) 1553931542.954 * * * * [progress]: [ 19 / 91 ] simplifiying candidate # 1553931542.954 * [simplify]: Simplifying (sqrt 1) 1553931542.954 * * [simplify]: iters left: 1 (2 enodes) 1553931542.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.957 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931542.957 * [simplify]: Simplified to 1 1553931542.957 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* 1 (* (sqrt (exp re)) (cos im))))) 1553931542.957 * * * * [progress]: [ 20 / 91 ] simplifiying candidate # 1553931542.957 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931542.957 * * [simplify]: iters left: 3 (4 enodes) 1553931542.958 * * [simplify]: iters left: 2 (12 enodes) 1553931542.960 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.960 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.960 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.960 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931542.960 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931542.960 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931542.960 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931542.960 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (cos im))))) 1553931542.960 * * * * [progress]: [ 21 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 22 / 91 ] simplifiying candidate #real (real->posit16 (* (sqrt (exp re)) (cos im))))))> 1553931542.960 * * * * [progress]: [ 23 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 24 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 25 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 26 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 27 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 28 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 29 / 91 ] simplifiying candidate # 1553931542.960 * * * * [progress]: [ 30 / 91 ] simplifiying candidate # 1553931542.961 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1553931542.961 * * [simplify]: iters left: 5 (5 enodes) 1553931542.962 * * [simplify]: iters left: 4 (16 enodes) 1553931542.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.964 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931542.964 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931542.964 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931542.964 * * [simplify]: Extracting #4: cost 8 inf + 1 1553931542.964 * * [simplify]: Extracting #5: cost 0 inf + 1209 1553931542.964 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1553931542.964 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (cos im)))) 1553931542.964 * * * * [progress]: [ 31 / 91 ] simplifiying candidate # 1553931542.964 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931542.964 * * [simplify]: iters left: 3 (4 enodes) 1553931542.965 * * [simplify]: iters left: 2 (12 enodes) 1553931542.967 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.967 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.967 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.967 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931542.967 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931542.967 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931542.967 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931542.967 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (cos im)))) 1553931542.967 * * * * [progress]: [ 32 / 91 ] simplifiying candidate # 1553931542.967 * [simplify]: Simplifying (sqrt 1) 1553931542.967 * * [simplify]: iters left: 1 (2 enodes) 1553931542.969 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.969 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931542.969 * [simplify]: Simplified to 1 1553931542.969 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (* 1 (sqrt (exp re))) (cos im)))) 1553931542.969 * * * * [progress]: [ 33 / 91 ] simplifiying candidate # 1553931542.969 * [simplify]: Simplifying (exp re) 1553931542.970 * * [simplify]: iters left: 1 (2 enodes) 1553931542.970 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.970 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.970 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931542.970 * * [simplify]: Extracting #3: cost 0 inf + 143 1553931542.970 * [simplify]: Simplified to (exp re) 1553931542.970 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (pow (exp re) (/ 1 2)) (cos im)))) 1553931542.970 * * * * [progress]: [ 34 / 91 ] simplifiying candidate # 1553931542.970 * [simplify]: Simplifying (exp (* (cbrt re) (cbrt re))) 1553931542.970 * * [simplify]: iters left: 4 (4 enodes) 1553931542.971 * * [simplify]: iters left: 3 (14 enodes) 1553931542.973 * * [simplify]: iters left: 2 (20 enodes) 1553931542.976 * * [simplify]: iters left: 1 (31 enodes) 1553931542.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.986 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931542.986 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931542.986 * * [simplify]: Extracting #3: cost 25 inf + 205 1553931542.987 * * [simplify]: Extracting #4: cost 11 inf + 2687 1553931542.988 * * [simplify]: Extracting #5: cost 2 inf + 5573 1553931542.989 * * [simplify]: Extracting #6: cost 0 inf + 6510 1553931542.990 * * [simplify]: Extracting #7: cost 0 inf + 6470 1553931542.991 * [simplify]: Simplified to (exp (* (cbrt re) (cbrt re))) 1553931542.991 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (pow (exp (* (cbrt re) (cbrt re))) (/ (cbrt re) 2)) (cos im)))) 1553931542.991 * * * * [progress]: [ 35 / 91 ] simplifiying candidate # 1553931542.991 * [simplify]: Simplifying (exp (sqrt re)) 1553931542.991 * * [simplify]: iters left: 2 (3 enodes) 1553931542.993 * * [simplify]: iters left: 1 (9 enodes) 1553931542.995 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.995 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931542.995 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931542.995 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931542.995 * * [simplify]: Extracting #4: cost 0 inf + 305 1553931542.996 * [simplify]: Simplified to (exp (sqrt re)) 1553931542.996 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (pow (exp (sqrt re)) (/ (sqrt re) 2)) (cos im)))) 1553931542.996 * * * * [progress]: [ 36 / 91 ] simplifiying candidate # 1553931542.996 * [simplify]: Simplifying (exp 1) 1553931542.996 * * [simplify]: iters left: 1 (2 enodes) 1553931542.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931542.998 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931542.998 * [simplify]: Simplified to E 1553931542.998 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (pow E (/ re 2)) (cos im)))) 1553931542.998 * * * * [progress]: [ 37 / 91 ] simplifiying candidate # 1553931542.998 * * * * [progress]: [ 38 / 91 ] simplifiying candidate # 1553931542.998 * [simplify]: Simplifying (sqrt (exp re)) 1553931542.998 * * [simplify]: iters left: 2 (3 enodes) 1553931543.000 * * [simplify]: iters left: 1 (9 enodes) 1553931543.002 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.002 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.002 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.002 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931543.002 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931543.002 * [simplify]: Simplified to (sqrt (exp re)) 1553931543.002 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (exp re)) (* (fabs (sqrt (exp re))) (cos im)))) 1553931543.003 * * * * [progress]: [ 39 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 40 / 91 ] simplifiying candidate #real (real->posit16 (sqrt (exp re)))) (cos im))))> 1553931543.003 * * * * [progress]: [ 41 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 42 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 43 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 44 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 45 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 46 / 91 ] simplifiying candidate # 1553931543.003 * * * * [progress]: [ 47 / 91 ] simplifiying candidate # 1553931543.003 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1553931543.003 * * [simplify]: iters left: 5 (5 enodes) 1553931543.006 * * [simplify]: iters left: 4 (16 enodes) 1553931543.010 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.010 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931543.010 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931543.010 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931543.010 * * [simplify]: Extracting #4: cost 8 inf + 1 1553931543.010 * * [simplify]: Extracting #5: cost 0 inf + 1209 1553931543.010 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1553931543.010 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (cos im)))) 1553931543.011 * * * * [progress]: [ 48 / 91 ] simplifiying candidate # 1553931543.011 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931543.011 * * [simplify]: iters left: 3 (4 enodes) 1553931543.012 * * [simplify]: iters left: 2 (12 enodes) 1553931543.016 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.016 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.016 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.016 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931543.016 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931543.016 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931543.016 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931543.016 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (* (sqrt (exp re)) (cos im)))) 1553931543.016 * * * * [progress]: [ 49 / 91 ] simplifiying candidate # 1553931543.017 * [simplify]: Simplifying (sqrt 1) 1553931543.017 * * [simplify]: iters left: 1 (2 enodes) 1553931543.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.020 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931543.020 * [simplify]: Simplified to 1 1553931543.020 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* 1 (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))) 1553931543.020 * * * * [progress]: [ 50 / 91 ] simplifiying candidate # 1553931543.020 * [simplify]: Simplifying (exp re) 1553931543.021 * * [simplify]: iters left: 1 (2 enodes) 1553931543.021 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.021 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.022 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931543.022 * * [simplify]: Extracting #3: cost 0 inf + 143 1553931543.022 * [simplify]: Simplified to (exp re) 1553931543.022 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (pow (exp re) (/ 1 2)) (* (sqrt (exp re)) (cos im)))) 1553931543.022 * * * * [progress]: [ 51 / 91 ] simplifiying candidate # 1553931543.022 * [simplify]: Simplifying (exp (* (cbrt re) (cbrt re))) 1553931543.022 * * [simplify]: iters left: 4 (4 enodes) 1553931543.024 * * [simplify]: iters left: 3 (14 enodes) 1553931543.028 * * [simplify]: iters left: 2 (20 enodes) 1553931543.034 * * [simplify]: iters left: 1 (31 enodes) 1553931543.045 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.045 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931543.045 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931543.045 * * [simplify]: Extracting #3: cost 25 inf + 205 1553931543.046 * * [simplify]: Extracting #4: cost 11 inf + 2687 1553931543.047 * * [simplify]: Extracting #5: cost 2 inf + 5573 1553931543.048 * * [simplify]: Extracting #6: cost 0 inf + 6510 1553931543.049 * * [simplify]: Extracting #7: cost 0 inf + 6470 1553931543.051 * [simplify]: Simplified to (exp (* (cbrt re) (cbrt re))) 1553931543.051 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (pow (exp (* (cbrt re) (cbrt re))) (/ (cbrt re) 2)) (* (sqrt (exp re)) (cos im)))) 1553931543.051 * * * * [progress]: [ 52 / 91 ] simplifiying candidate # 1553931543.051 * [simplify]: Simplifying (exp (sqrt re)) 1553931543.051 * * [simplify]: iters left: 2 (3 enodes) 1553931543.052 * * [simplify]: iters left: 1 (9 enodes) 1553931543.055 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.055 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.055 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.055 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931543.055 * * [simplify]: Extracting #4: cost 0 inf + 305 1553931543.055 * [simplify]: Simplified to (exp (sqrt re)) 1553931543.055 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (pow (exp (sqrt re)) (/ (sqrt re) 2)) (* (sqrt (exp re)) (cos im)))) 1553931543.055 * * * * [progress]: [ 53 / 91 ] simplifiying candidate # 1553931543.056 * [simplify]: Simplifying (exp 1) 1553931543.056 * * [simplify]: iters left: 1 (2 enodes) 1553931543.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.057 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931543.057 * [simplify]: Simplified to E 1553931543.057 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (pow E (/ re 2)) (* (sqrt (exp re)) (cos im)))) 1553931543.057 * * * * [progress]: [ 54 / 91 ] simplifiying candidate # 1553931543.057 * * * * [progress]: [ 55 / 91 ] simplifiying candidate # 1553931543.058 * [simplify]: Simplifying (sqrt (exp re)) 1553931543.058 * * [simplify]: iters left: 2 (3 enodes) 1553931543.059 * * [simplify]: iters left: 1 (9 enodes) 1553931543.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.061 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.061 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.061 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931543.061 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931543.062 * [simplify]: Simplified to (sqrt (exp re)) 1553931543.062 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (fabs (sqrt (exp re))) (* (sqrt (exp re)) (cos im)))) 1553931543.062 * * * * [progress]: [ 56 / 91 ] simplifiying candidate # 1553931543.062 * * * * [progress]: [ 57 / 91 ] simplifiying candidate #real (real->posit16 (sqrt (exp re)))) (* (sqrt (exp re)) (cos im))))> 1553931543.062 * * * * [progress]: [ 58 / 91 ] simplifiying candidate # 1553931543.062 * [simplify]: Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) 1553931543.062 * * [simplify]: iters left: 6 (7 enodes) 1553931543.067 * * [simplify]: iters left: 5 (25 enodes) 1553931543.074 * * [simplify]: iters left: 4 (26 enodes) 1553931543.081 * * [simplify]: iters left: 3 (27 enodes) 1553931543.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.087 * * [simplify]: Extracting #1: cost 6 inf + 0 1553931543.087 * * [simplify]: Extracting #2: cost 12 inf + 0 1553931543.087 * * [simplify]: Extracting #3: cost 10 inf + 2 1553931543.088 * * [simplify]: Extracting #4: cost 1 inf + 1084 1553931543.088 * * [simplify]: Extracting #5: cost 0 inf + 1256 1553931543.088 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931543.089 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1)) 1553931543.089 * * * * [progress]: [ 59 / 91 ] simplifiying candidate # 1553931543.089 * [simplify]: Simplifying (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) 1553931543.089 * * [simplify]: iters left: 6 (7 enodes) 1553931543.092 * * [simplify]: iters left: 5 (25 enodes) 1553931543.099 * * [simplify]: iters left: 4 (26 enodes) 1553931543.105 * * [simplify]: iters left: 3 (27 enodes) 1553931543.108 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.108 * * [simplify]: Extracting #1: cost 6 inf + 0 1553931543.108 * * [simplify]: Extracting #2: cost 12 inf + 0 1553931543.108 * * [simplify]: Extracting #3: cost 10 inf + 2 1553931543.109 * * [simplify]: Extracting #4: cost 1 inf + 1084 1553931543.109 * * [simplify]: Extracting #5: cost 0 inf + 1256 1553931543.109 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931543.109 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1)) 1553931543.109 * * * * [progress]: [ 60 / 91 ] simplifiying candidate # 1553931543.109 * * * * [progress]: [ 61 / 91 ] simplifiying candidate # 1553931543.109 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (cos im)))) 1553931543.109 * * [simplify]: iters left: 6 (9 enodes) 1553931543.111 * * [simplify]: iters left: 5 (31 enodes) 1553931543.115 * * [simplify]: iters left: 4 (34 enodes) 1553931543.119 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.119 * * [simplify]: Extracting #1: cost 6 inf + 0 1553931543.119 * * [simplify]: Extracting #2: cost 12 inf + 0 1553931543.119 * * [simplify]: Extracting #3: cost 16 inf + 0 1553931543.119 * * [simplify]: Extracting #4: cost 16 inf + 62 1553931543.119 * * [simplify]: Extracting #5: cost 11 inf + 397 1553931543.119 * * [simplify]: Extracting #6: cost 3 inf + 1906 1553931543.120 * * [simplify]: Extracting #7: cost 0 inf + 3042 1553931543.120 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (cos im)))) 1553931543.120 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (cos im)))))) 1553931543.120 * * * * [progress]: [ 62 / 91 ] simplifiying candidate # 1553931543.120 * [simplify]: Simplifying (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (cos im)))) 1553931543.120 * * [simplify]: iters left: 6 (9 enodes) 1553931543.122 * * [simplify]: iters left: 5 (31 enodes) 1553931543.126 * * [simplify]: iters left: 4 (36 enodes) 1553931543.130 * * [simplify]: iters left: 3 (39 enodes) 1553931543.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.137 * * [simplify]: Extracting #1: cost 6 inf + 0 1553931543.137 * * [simplify]: Extracting #2: cost 13 inf + 0 1553931543.137 * * [simplify]: Extracting #3: cost 18 inf + 0 1553931543.137 * * [simplify]: Extracting #4: cost 17 inf + 193 1553931543.137 * * [simplify]: Extracting #5: cost 12 inf + 528 1553931543.138 * * [simplify]: Extracting #6: cost 4 inf + 2039 1553931543.139 * * [simplify]: Extracting #7: cost 0 inf + 3326 1553931543.139 * [simplify]: Simplified to (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (cos im)))) 1553931543.140 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (cos im)))))) 1553931543.140 * * * * [progress]: [ 63 / 91 ] simplifiying candidate # 1553931543.140 * * * * [progress]: [ 64 / 91 ] simplifiying candidate # 1553931543.140 * * * * [progress]: [ 65 / 91 ] simplifiying candidate # 1553931543.140 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im)))) 1553931543.140 * * [simplify]: iters left: 6 (11 enodes) 1553931543.145 * * [simplify]: iters left: 5 (43 enodes) 1553931543.161 * * [simplify]: iters left: 4 (110 enodes) 1553931543.197 * * [simplify]: iters left: 3 (292 enodes) 1553931543.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.364 * * [simplify]: Extracting #1: cost 41 inf + 0 1553931543.365 * * [simplify]: Extracting #2: cost 113 inf + 0 1553931543.366 * * [simplify]: Extracting #3: cost 100 inf + 906 1553931543.369 * * [simplify]: Extracting #4: cost 65 inf + 8909 1553931543.378 * * [simplify]: Extracting #5: cost 10 inf + 28395 1553931543.390 * * [simplify]: Extracting #6: cost 0 inf + 32650 1553931543.401 * [simplify]: Simplified to (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))) 1553931543.402 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))))) 1553931543.402 * * * * [progress]: [ 66 / 91 ] simplifiying candidate # 1553931543.402 * [simplify]: Simplifying (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)))) 1553931543.402 * * [simplify]: iters left: 6 (11 enodes) 1553931543.408 * * [simplify]: iters left: 5 (47 enodes) 1553931543.426 * * [simplify]: iters left: 4 (127 enodes) 1553931543.488 * * [simplify]: iters left: 3 (352 enodes) 1553931543.813 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.813 * * [simplify]: Extracting #1: cost 41 inf + 0 1553931543.814 * * [simplify]: Extracting #2: cost 107 inf + 1 1553931543.814 * * [simplify]: Extracting #3: cost 100 inf + 450 1553931543.816 * * [simplify]: Extracting #4: cost 65 inf + 8675 1553931543.820 * * [simplify]: Extracting #5: cost 8 inf + 28731 1553931543.826 * * [simplify]: Extracting #6: cost 0 inf + 32121 1553931543.834 * [simplify]: Simplified to (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))) 1553931543.834 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))))) 1553931543.834 * * * * [progress]: [ 67 / 91 ] simplifiying candidate # 1553931543.834 * * * * [progress]: [ 68 / 91 ] simplifiying candidate # 1553931543.834 * * * * [progress]: [ 69 / 91 ] simplifiying candidate # 1553931543.834 * * * * [progress]: [ 70 / 91 ] simplifiying candidate # 1553931543.834 * * * * [progress]: [ 71 / 91 ] simplifiying candidate # 1553931543.834 * [simplify]: Simplifying (cos im) 1553931543.834 * * [simplify]: iters left: 1 (2 enodes) 1553931543.835 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.835 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.835 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931543.835 * * [simplify]: Extracting #3: cost 0 inf + 123 1553931543.835 * [simplify]: Simplified to (cos im) 1553931543.835 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (exp re)) (sqrt (exp re))) (cos im))) 1553931543.835 * * * * [progress]: [ 72 / 91 ] simplifiying candidate # 1553931543.835 * [simplify]: Simplifying (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1553931543.835 * * [simplify]: iters left: 5 (5 enodes) 1553931543.836 * * [simplify]: iters left: 4 (15 enodes) 1553931543.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.839 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.839 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.839 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931543.839 * * [simplify]: Extracting #4: cost 9 inf + 0 1553931543.839 * * [simplify]: Extracting #5: cost 8 inf + 1 1553931543.840 * * [simplify]: Extracting #6: cost 0 inf + 1209 1553931543.840 * [simplify]: Simplified to (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) 1553931543.840 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))))) 1553931543.840 * * * * [progress]: [ 73 / 91 ] simplifiying candidate # 1553931543.840 * [simplify]: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1553931543.840 * * [simplify]: iters left: 5 (5 enodes) 1553931543.842 * * [simplify]: iters left: 4 (16 enodes) 1553931543.846 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.846 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931543.847 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931543.847 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931543.847 * * [simplify]: Extracting #4: cost 8 inf + 1 1553931543.847 * * [simplify]: Extracting #5: cost 0 inf + 1209 1553931543.847 * [simplify]: Simplified to (fabs (cbrt (exp re))) 1553931543.847 * [simplify]: Simplified (2 1) to (λ (re im) (* (fabs (cbrt (exp re))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (cos im))))) 1553931543.847 * * * * [progress]: [ 74 / 91 ] simplifiying candidate # 1553931543.848 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931543.848 * * [simplify]: iters left: 3 (4 enodes) 1553931543.849 * * [simplify]: iters left: 2 (12 enodes) 1553931543.852 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.852 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.852 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.852 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931543.852 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931543.853 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931543.853 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931543.853 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))))) 1553931543.853 * * * * [progress]: [ 75 / 91 ] simplifiying candidate # 1553931543.853 * [simplify]: Simplifying (sqrt 1) 1553931543.853 * * [simplify]: iters left: 1 (2 enodes) 1553931543.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.856 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931543.856 * [simplify]: Simplified to 1 1553931543.856 * [simplify]: Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))) 1553931543.856 * * * * [progress]: [ 76 / 91 ] simplifiying candidate # 1553931543.857 * [simplify]: Simplifying (sqrt (sqrt (exp re))) 1553931543.857 * * [simplify]: iters left: 3 (4 enodes) 1553931543.858 * * [simplify]: iters left: 2 (12 enodes) 1553931543.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.861 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.861 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.861 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931543.861 * * [simplify]: Extracting #4: cost 6 inf + 1 1553931543.861 * * [simplify]: Extracting #5: cost 0 inf + 667 1553931543.861 * [simplify]: Simplified to (sqrt (sqrt (exp re))) 1553931543.861 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))))) 1553931543.861 * * * * [progress]: [ 77 / 91 ] simplifiying candidate # 1553931543.861 * * * * [progress]: [ 78 / 91 ] simplifiying candidate #real (real->posit16 (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))))> 1553931543.861 * * * * [progress]: [ 79 / 91 ] simplifiying candidate # 1553931543.861 * * * * [progress]: [ 80 / 91 ] simplifiying candidate # 1553931543.862 * [simplify]: Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931543.862 * * [simplify]: iters left: 6 (10 enodes) 1553931543.868 * * [simplify]: iters left: 5 (42 enodes) 1553931543.881 * * [simplify]: iters left: 4 (56 enodes) 1553931543.897 * * [simplify]: iters left: 3 (74 enodes) 1553931543.916 * * [simplify]: iters left: 2 (88 enodes) 1553931543.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.929 * * [simplify]: Extracting #1: cost 8 inf + 0 1553931543.929 * * [simplify]: Extracting #2: cost 18 inf + 1 1553931543.929 * * [simplify]: Extracting #3: cost 18 inf + 45 1553931543.929 * * [simplify]: Extracting #4: cost 2 inf + 1404 1553931543.930 * * [simplify]: Extracting #5: cost 0 inf + 1611 1553931543.930 * * [simplify]: Extracting #6: cost 0 inf + 1571 1553931543.931 * [simplify]: Simplified to (+ 1 (* re (+ (* 1/8 re) 1/2))) 1553931543.931 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (+ 1 (* re (+ (* 1/8 re) 1/2))))) 1553931543.931 * * * * [progress]: [ 81 / 91 ] simplifiying candidate # 1553931543.931 * [simplify]: Simplifying (* (cos im) (sqrt (exp re))) 1553931543.931 * * [simplify]: iters left: 4 (6 enodes) 1553931543.932 * * [simplify]: iters left: 3 (19 enodes) 1553931543.934 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.934 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931543.934 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931543.935 * * [simplify]: Extracting #3: cost 9 inf + 1 1553931543.935 * * [simplify]: Extracting #4: cost 0 inf + 912 1553931543.935 * [simplify]: Simplified to (* (cos im) (sqrt (exp re))) 1553931543.935 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (cos im) (sqrt (exp re))))) 1553931543.935 * * * * [progress]: [ 82 / 91 ] simplifiying candidate # 1553931543.935 * [simplify]: Simplifying (* (cos im) (sqrt (exp re))) 1553931543.935 * * [simplify]: iters left: 4 (6 enodes) 1553931543.936 * * [simplify]: iters left: 3 (19 enodes) 1553931543.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.938 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931543.938 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931543.938 * * [simplify]: Extracting #3: cost 9 inf + 1 1553931543.939 * * [simplify]: Extracting #4: cost 0 inf + 912 1553931543.939 * [simplify]: Simplified to (* (cos im) (sqrt (exp re))) 1553931543.939 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (exp re)) (* (cos im) (sqrt (exp re))))) 1553931543.939 * * * * [progress]: [ 83 / 91 ] simplifiying candidate # 1553931543.939 * [simplify]: Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931543.939 * * [simplify]: iters left: 6 (10 enodes) 1553931543.943 * * [simplify]: iters left: 5 (42 enodes) 1553931543.951 * * [simplify]: iters left: 4 (56 enodes) 1553931543.966 * * [simplify]: iters left: 3 (74 enodes) 1553931543.976 * * [simplify]: iters left: 2 (88 enodes) 1553931543.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.986 * * [simplify]: Extracting #1: cost 8 inf + 0 1553931543.986 * * [simplify]: Extracting #2: cost 18 inf + 1 1553931543.986 * * [simplify]: Extracting #3: cost 18 inf + 45 1553931543.986 * * [simplify]: Extracting #4: cost 2 inf + 1404 1553931543.987 * * [simplify]: Extracting #5: cost 0 inf + 1611 1553931543.987 * * [simplify]: Extracting #6: cost 0 inf + 1571 1553931543.988 * [simplify]: Simplified to (+ 1 (* re (+ (* 1/8 re) 1/2))) 1553931543.988 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (+ 1 (* re (+ (* 1/8 re) 1/2))) (cos im)))) 1553931543.988 * * * * [progress]: [ 84 / 91 ] simplifiying candidate # 1553931543.988 * [simplify]: Simplifying (sqrt (exp re)) 1553931543.988 * * [simplify]: iters left: 2 (3 enodes) 1553931543.989 * * [simplify]: iters left: 1 (9 enodes) 1553931543.990 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.990 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.990 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.990 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931543.990 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931543.990 * [simplify]: Simplified to (sqrt (exp re)) 1553931543.990 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1553931543.990 * * * * [progress]: [ 85 / 91 ] simplifiying candidate # 1553931543.990 * [simplify]: Simplifying (sqrt (exp re)) 1553931543.990 * * [simplify]: iters left: 2 (3 enodes) 1553931543.991 * * [simplify]: iters left: 1 (9 enodes) 1553931543.992 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931543.992 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931543.992 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931543.992 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931543.992 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931543.992 * [simplify]: Simplified to (sqrt (exp re)) 1553931543.992 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1553931543.992 * * * * [progress]: [ 86 / 91 ] simplifiying candidate # 1553931543.993 * [simplify]: Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1553931543.993 * * [simplify]: iters left: 6 (10 enodes) 1553931543.996 * * [simplify]: iters left: 5 (42 enodes) 1553931544.009 * * [simplify]: iters left: 4 (56 enodes) 1553931544.026 * * [simplify]: iters left: 3 (74 enodes) 1553931544.046 * * [simplify]: iters left: 2 (88 enodes) 1553931544.060 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.060 * * [simplify]: Extracting #1: cost 8 inf + 0 1553931544.060 * * [simplify]: Extracting #2: cost 18 inf + 1 1553931544.060 * * [simplify]: Extracting #3: cost 18 inf + 45 1553931544.060 * * [simplify]: Extracting #4: cost 2 inf + 1404 1553931544.061 * * [simplify]: Extracting #5: cost 0 inf + 1611 1553931544.061 * * [simplify]: Extracting #6: cost 0 inf + 1571 1553931544.061 * [simplify]: Simplified to (+ 1 (* re (+ (* 1/8 re) 1/2))) 1553931544.061 * [simplify]: Simplified (2 1) to (λ (re im) (* (+ 1 (* re (+ (* 1/8 re) 1/2))) (* (sqrt (exp re)) (cos im)))) 1553931544.062 * * * * [progress]: [ 87 / 91 ] simplifiying candidate # 1553931544.062 * [simplify]: Simplifying (sqrt (exp re)) 1553931544.062 * * [simplify]: iters left: 2 (3 enodes) 1553931544.062 * * [simplify]: iters left: 1 (9 enodes) 1553931544.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.063 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931544.063 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931544.063 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931544.064 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931544.064 * [simplify]: Simplified to (sqrt (exp re)) 1553931544.064 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1553931544.064 * * * * [progress]: [ 88 / 91 ] simplifiying candidate # 1553931544.064 * [simplify]: Simplifying (sqrt (exp re)) 1553931544.064 * * [simplify]: iters left: 2 (3 enodes) 1553931544.064 * * [simplify]: iters left: 1 (9 enodes) 1553931544.066 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.066 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931544.066 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931544.066 * * [simplify]: Extracting #3: cost 4 inf + 1 1553931544.066 * * [simplify]: Extracting #4: cost 0 inf + 365 1553931544.066 * [simplify]: Simplified to (sqrt (exp re)) 1553931544.066 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) 1553931544.066 * * * * [progress]: [ 89 / 91 ] simplifiying candidate # 1553931544.066 * [simplify]: Simplifying (+ re (+ (* 1/2 (pow re 2)) 1)) 1553931544.066 * * [simplify]: iters left: 6 (8 enodes) 1553931544.069 * * [simplify]: iters left: 5 (35 enodes) 1553931544.074 * * [simplify]: iters left: 4 (49 enodes) 1553931544.082 * * [simplify]: iters left: 3 (62 enodes) 1553931544.094 * * [simplify]: iters left: 2 (66 enodes) 1553931544.111 * * [simplify]: iters left: 1 (72 enodes) 1553931544.129 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.129 * * [simplify]: Extracting #1: cost 8 inf + 0 1553931544.129 * * [simplify]: Extracting #2: cost 14 inf + 2 1553931544.129 * * [simplify]: Extracting #3: cost 13 inf + 170 1553931544.130 * * [simplify]: Extracting #4: cost 0 inf + 1400 1553931544.130 * [simplify]: Simplified to (+ re (+ 1 (* re (* re 1/2)))) 1553931544.130 * [simplify]: Simplified (2) to (λ (re im) (+ re (+ 1 (* re (* re 1/2))))) 1553931544.130 * * * * [progress]: [ 90 / 91 ] simplifiying candidate # 1553931544.131 * [simplify]: Simplifying (* (cos im) (exp re)) 1553931544.131 * * [simplify]: iters left: 3 (5 enodes) 1553931544.133 * * [simplify]: iters left: 2 (16 enodes) 1553931544.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.137 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931544.137 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931544.137 * * [simplify]: Extracting #3: cost 4 inf + 144 1553931544.137 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931544.137 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931544.137 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1553931544.137 * * * * [progress]: [ 91 / 91 ] simplifiying candidate # 1553931544.138 * [simplify]: Simplifying (* (cos im) (exp re)) 1553931544.138 * * [simplify]: iters left: 3 (5 enodes) 1553931544.140 * * [simplify]: iters left: 2 (16 enodes) 1553931544.144 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931544.144 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931544.144 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931544.144 * * [simplify]: Extracting #3: cost 4 inf + 144 1553931544.144 * * [simplify]: Extracting #4: cost 0 inf + 610 1553931544.144 * [simplify]: Simplified to (* (exp re) (cos im)) 1553931544.144 * [simplify]: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1553931544.144 * * * [progress]: adding candidates to table 1553931545.074 * [progress]: [Phase 3 of 3] Extracting. 1553931545.074 * * [regime]: Finding splitpoints for: (# #) 1553931545.075 * * * [regime-changes]: Trying 5 branch expressions: (im (cos im) re (exp re) (* (exp re) (cos im))) 1553931545.075 * * * * [regimes]: Trying to branch on im from (# #) 1553931545.100 * * * * [regimes]: Trying to branch on (cos im) from (# #) 1553931545.128 * * * * [regimes]: Trying to branch on re from (# #) 1553931545.159 * * * * [regimes]: Trying to branch on (exp re) from (# #) 1553931545.178 * * * * [regimes]: Trying to branch on (* (exp re) (cos im)) from (# #) 1553931545.215 * * * [regime]: Found split indices: #