1544869037.421 * [misc]progress: [Phase 1 of 3] Setting up. 1544869037.421 * * * [misc]progress: [1/2] Preparing points 1544869037.421 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544869037.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1544869037.523 * * * * [misc]points: Sampling 58 additional inputs, on iter 1 have 198 / 256 1544869037.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1544869037.552 * * * * [misc]points: Sampling 15 additional inputs, on iter 2 have 241 / 256 1544869037.560 * * * * [misc]points: Filtering points with unrepresentable outputs 1544869037.560 * * * * [misc]points: Sampling 5 additional inputs, on iter 3 have 251 / 256 1544869037.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1544869037.563 * * * * [exit]points: Sampled 256 points with exact outputs 1544869037.563 * * * [misc]progress: [2/2] Setting up program. 1544869037.570 * [misc]progress: [Phase 2 of 3] Improving. 1544869037.570 * [enter]simplify: Simplifying (* (exp re) (sin im)) 1544869037.571 * * [misc]simplify: iters left: 3 (5 enodes) 1544869037.574 * * [misc]simplify: iters left: 2 (6 enodes) 1544869037.575 * [exit]simplify: Simplified to (* (sin im) (exp re)) 1544869037.582 * * [misc]progress: iteration 1 / 4 1544869037.582 * * * [misc]progress: picking best candidate 1544869037.585 * * * * [misc]pick: Picked # 1544869037.585 * * * [misc]progress: localizing error 1544869037.597 * * * [misc]progress: generating rewritten candidates 1544869037.597 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544869037.637 * * * [misc]progress: generating series expansions 1544869037.637 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544869037.637 * [misc]backup-simplify: Simplify (* (sin im) (exp re)) into (* (sin im) (exp re)) 1544869037.637 * [misc]approximate: Taking taylor expansion of (* (sin im) (exp re)) in (im re) around 0 1544869037.637 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in re 1544869037.637 * [misc]taylor: Taking taylor expansion of (sin im) in re 1544869037.637 * [misc]taylor: Taking taylor expansion of im in re 1544869037.637 * [misc]backup-simplify: Simplify im into im 1544869037.637 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1544869037.637 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1544869037.637 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869037.637 * [misc]taylor: Taking taylor expansion of re in re 1544869037.637 * [misc]backup-simplify: Simplify 0 into 0 1544869037.637 * [misc]backup-simplify: Simplify 1 into 1 1544869037.637 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869037.637 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869037.637 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869037.637 * [misc]taylor: Taking taylor expansion of im in im 1544869037.637 * [misc]backup-simplify: Simplify 0 into 0 1544869037.637 * [misc]backup-simplify: Simplify 1 into 1 1544869037.637 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869037.637 * [misc]taylor: Taking taylor expansion of re in im 1544869037.637 * [misc]backup-simplify: Simplify re into re 1544869037.637 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869037.637 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869037.637 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869037.637 * [misc]taylor: Taking taylor expansion of im in im 1544869037.637 * [misc]backup-simplify: Simplify 0 into 0 1544869037.637 * [misc]backup-simplify: Simplify 1 into 1 1544869037.638 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869037.638 * [misc]taylor: Taking taylor expansion of re in im 1544869037.638 * [misc]backup-simplify: Simplify re into re 1544869037.638 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869037.638 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869037.638 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.638 * [misc]backup-simplify: Simplify 0 into 0 1544869037.638 * [misc]backup-simplify: Simplify 0 into 0 1544869037.639 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1544869037.639 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1544869037.640 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1544869037.640 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869037.640 * [misc]taylor: Taking taylor expansion of re in re 1544869037.640 * [misc]backup-simplify: Simplify 0 into 0 1544869037.640 * [misc]backup-simplify: Simplify 1 into 1 1544869037.640 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869037.640 * [misc]backup-simplify: Simplify 1 into 1 1544869037.640 * [misc]backup-simplify: Simplify 0 into 0 1544869037.641 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869037.641 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869037.642 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp re)))) into 0 1544869037.642 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.642 * [misc]backup-simplify: Simplify 0 into 0 1544869037.642 * [misc]backup-simplify: Simplify 0 into 0 1544869037.642 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1544869037.643 * [misc]backup-simplify: Simplify 1 into 1 1544869037.643 * [misc]backup-simplify: Simplify 0 into 0 1544869037.645 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869037.646 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1544869037.647 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* (- 1/6) (exp re))))) into (- (* 1/6 (exp re))) 1544869037.647 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (exp re))) in re 1544869037.647 * [misc]taylor: Taking taylor expansion of (* 1/6 (exp re)) in re 1544869037.647 * [misc]taylor: Taking taylor expansion of 1/6 in re 1544869037.647 * [misc]backup-simplify: Simplify 1/6 into 1/6 1544869037.647 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869037.647 * [misc]taylor: Taking taylor expansion of re in re 1544869037.647 * [misc]backup-simplify: Simplify 0 into 0 1544869037.647 * [misc]backup-simplify: Simplify 1 into 1 1544869037.647 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869037.647 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1544869037.647 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1544869037.647 * [misc]backup-simplify: Simplify -1/6 into -1/6 1544869037.647 * [misc]backup-simplify: Simplify (+ (* -1/6 (pow (* 1 im) 3)) (+ (* 1 (* re im)) (* 1 (* 1 im)))) into (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869037.648 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869037.648 * [misc]approximate: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1544869037.648 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869037.648 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869037.648 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869037.648 * [misc]taylor: Taking taylor expansion of im in re 1544869037.648 * [misc]backup-simplify: Simplify im into im 1544869037.648 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869037.648 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869037.648 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869037.648 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869037.648 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869037.648 * [misc]taylor: Taking taylor expansion of re in re 1544869037.648 * [misc]backup-simplify: Simplify 0 into 0 1544869037.648 * [misc]backup-simplify: Simplify 1 into 1 1544869037.648 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869037.648 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869037.648 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869037.648 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869037.648 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869037.648 * [misc]taylor: Taking taylor expansion of im in im 1544869037.648 * [misc]backup-simplify: Simplify 0 into 0 1544869037.648 * [misc]backup-simplify: Simplify 1 into 1 1544869037.648 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869037.648 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869037.648 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869037.648 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869037.648 * [misc]taylor: Taking taylor expansion of re in im 1544869037.648 * [misc]backup-simplify: Simplify re into re 1544869037.648 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869037.649 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869037.649 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869037.649 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869037.649 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869037.649 * [misc]taylor: Taking taylor expansion of im in im 1544869037.649 * [misc]backup-simplify: Simplify 0 into 0 1544869037.649 * [misc]backup-simplify: Simplify 1 into 1 1544869037.649 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869037.649 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869037.649 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869037.649 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869037.649 * [misc]taylor: Taking taylor expansion of re in im 1544869037.649 * [misc]backup-simplify: Simplify re into re 1544869037.649 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869037.649 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869037.649 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869037.649 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869037.649 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869037.649 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869037.649 * [misc]taylor: Taking taylor expansion of im in re 1544869037.649 * [misc]backup-simplify: Simplify im into im 1544869037.649 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869037.649 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869037.649 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869037.649 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869037.649 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869037.649 * [misc]taylor: Taking taylor expansion of re in re 1544869037.649 * [misc]backup-simplify: Simplify 0 into 0 1544869037.649 * [misc]backup-simplify: Simplify 1 into 1 1544869037.649 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869037.649 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869037.650 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869037.650 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869037.650 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869037.650 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869037.650 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869037.650 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1544869037.651 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869037.651 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869037.651 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.651 * [misc]backup-simplify: Simplify 0 into 0 1544869037.651 * [misc]backup-simplify: Simplify 0 into 0 1544869037.651 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869037.651 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1544869037.651 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1544869037.652 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869037.652 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1544869037.652 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869037.652 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869037.652 * [misc]backup-simplify: Simplify 0 into 0 1544869037.653 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869037.654 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869037.654 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869037.654 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.654 * [misc]backup-simplify: Simplify 0 into 0 1544869037.654 * [misc]backup-simplify: Simplify 0 into 0 1544869037.654 * [misc]backup-simplify: Simplify 0 into 0 1544869037.655 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869037.655 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869037.655 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869037.656 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869037.656 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869037.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869037.656 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869037.656 * [misc]backup-simplify: Simplify 0 into 0 1544869037.656 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869037.658 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869037.658 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1544869037.659 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.659 * [misc]backup-simplify: Simplify 0 into 0 1544869037.659 * [misc]backup-simplify: Simplify 0 into 0 1544869037.659 * [misc]backup-simplify: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1544869037.659 * [misc]backup-simplify: Simplify (* (sin (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869037.659 * [misc]approximate: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1544869037.659 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869037.659 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869037.659 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869037.659 * [misc]taylor: Taking taylor expansion of -1 in re 1544869037.659 * [misc]backup-simplify: Simplify -1 into -1 1544869037.659 * [misc]taylor: Taking taylor expansion of im in re 1544869037.659 * [misc]backup-simplify: Simplify im into im 1544869037.659 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869037.659 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869037.659 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869037.659 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869037.659 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869037.659 * [misc]taylor: Taking taylor expansion of -1 in re 1544869037.659 * [misc]backup-simplify: Simplify -1 into -1 1544869037.659 * [misc]taylor: Taking taylor expansion of re in re 1544869037.659 * [misc]backup-simplify: Simplify 0 into 0 1544869037.659 * [misc]backup-simplify: Simplify 1 into 1 1544869037.659 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869037.659 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869037.659 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869037.659 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869037.659 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869037.659 * [misc]taylor: Taking taylor expansion of -1 in im 1544869037.659 * [misc]backup-simplify: Simplify -1 into -1 1544869037.659 * [misc]taylor: Taking taylor expansion of im in im 1544869037.659 * [misc]backup-simplify: Simplify 0 into 0 1544869037.659 * [misc]backup-simplify: Simplify 1 into 1 1544869037.660 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869037.660 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869037.660 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of -1 in im 1544869037.660 * [misc]backup-simplify: Simplify -1 into -1 1544869037.660 * [misc]taylor: Taking taylor expansion of re in im 1544869037.660 * [misc]backup-simplify: Simplify re into re 1544869037.660 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869037.660 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869037.660 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of -1 in im 1544869037.660 * [misc]backup-simplify: Simplify -1 into -1 1544869037.660 * [misc]taylor: Taking taylor expansion of im in im 1544869037.660 * [misc]backup-simplify: Simplify 0 into 0 1544869037.660 * [misc]backup-simplify: Simplify 1 into 1 1544869037.660 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869037.660 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869037.660 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869037.660 * [misc]taylor: Taking taylor expansion of -1 in im 1544869037.660 * [misc]backup-simplify: Simplify -1 into -1 1544869037.660 * [misc]taylor: Taking taylor expansion of re in im 1544869037.660 * [misc]backup-simplify: Simplify re into re 1544869037.660 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869037.660 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869037.660 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869037.660 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869037.660 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869037.660 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869037.660 * [misc]taylor: Taking taylor expansion of -1 in re 1544869037.660 * [misc]backup-simplify: Simplify -1 into -1 1544869037.660 * [misc]taylor: Taking taylor expansion of im in re 1544869037.660 * [misc]backup-simplify: Simplify im into im 1544869037.661 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869037.661 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869037.661 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869037.661 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869037.661 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869037.661 * [misc]taylor: Taking taylor expansion of -1 in re 1544869037.661 * [misc]backup-simplify: Simplify -1 into -1 1544869037.661 * [misc]taylor: Taking taylor expansion of re in re 1544869037.661 * [misc]backup-simplify: Simplify 0 into 0 1544869037.661 * [misc]backup-simplify: Simplify 1 into 1 1544869037.661 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869037.661 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869037.661 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869037.661 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869037.661 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869037.661 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869037.661 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869037.661 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1544869037.662 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869037.662 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869037.662 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.662 * [misc]backup-simplify: Simplify 0 into 0 1544869037.662 * [misc]backup-simplify: Simplify 0 into 0 1544869037.662 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869037.662 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1544869037.663 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1544869037.663 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869037.664 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1544869037.664 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869037.664 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869037.664 * [misc]backup-simplify: Simplify 0 into 0 1544869037.664 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869037.665 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869037.665 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869037.665 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.665 * [misc]backup-simplify: Simplify 0 into 0 1544869037.665 * [misc]backup-simplify: Simplify 0 into 0 1544869037.665 * [misc]backup-simplify: Simplify 0 into 0 1544869037.666 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869037.666 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869037.666 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869037.667 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869037.667 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869037.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869037.667 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869037.667 * [misc]backup-simplify: Simplify 0 into 0 1544869037.668 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869037.670 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869037.670 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1544869037.670 * [misc]taylor: Taking taylor expansion of 0 in re 1544869037.670 * [misc]backup-simplify: Simplify 0 into 0 1544869037.670 * [misc]backup-simplify: Simplify 0 into 0 1544869037.670 * [misc]backup-simplify: Simplify (* (sin (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (sin im) (exp re)) 1544869037.670 * * * [misc]progress: simplifying candidates 1544869037.670 * * * * [misc]progress: [ 1 / 22 ] simplifiying candidate # 1544869037.670 * * * * [misc]progress: [ 2 / 22 ] simplifiying candidate # 1544869037.670 * * * * [misc]progress: [ 3 / 22 ] simplifiying candidate # 1544869037.670 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869037.671 * * [misc]simplify: iters left: 3 (5 enodes) 1544869037.672 * * [misc]simplify: iters left: 2 (6 enodes) 1544869037.673 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869037.673 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1)) 1544869037.673 * * * * [misc]progress: [ 4 / 22 ] simplifiying candidate # 1544869037.673 * * * * [misc]progress: [ 5 / 22 ] simplifiying candidate # 1544869037.673 * [enter]simplify: Simplifying (+ (log (sin im)) re) 1544869037.673 * * [misc]simplify: iters left: 4 (5 enodes) 1544869037.674 * * [misc]simplify: iters left: 3 (6 enodes) 1544869037.676 * [exit]simplify: Simplified to (+ re (log (sin im))) 1544869037.676 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ re (log (sin im))))) 1544869037.676 * * * * [misc]progress: [ 6 / 22 ] simplifiying candidate # 1544869037.676 * * * * [misc]progress: [ 7 / 22 ] simplifiying candidate # 1544869037.676 * * * * [misc]progress: [ 8 / 22 ] simplifiying candidate # 1544869037.676 * [enter]simplify: Simplifying (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))) 1544869037.677 * * [misc]simplify: iters left: 6 (9 enodes) 1544869037.679 * * [misc]simplify: iters left: 5 (18 enodes) 1544869037.685 * * [misc]simplify: iters left: 4 (47 enodes) 1544869037.697 * * [misc]simplify: iters left: 3 (80 enodes) 1544869037.714 * * [misc]simplify: iters left: 2 (100 enodes) 1544869037.739 * * [misc]simplify: iters left: 1 (101 enodes) 1544869037.750 * [exit]simplify: Simplified to (pow (* (exp re) (sin im)) 3) 1544869037.750 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (sin im)) 3))) 1544869037.750 * * * * [misc]progress: [ 9 / 22 ] simplifiying candidate # 1544869037.751 * * * * [misc]progress: [ 10 / 22 ] simplifiying candidate # 1544869037.751 * * * * [misc]progress: [ 11 / 22 ] simplifiying candidate # 1544869037.751 * * * * [misc]progress: [ 12 / 22 ] simplifiying candidate # 1544869037.751 * * * * [misc]progress: [ 13 / 22 ] simplifiying candidate # 1544869037.751 * [enter]simplify: Simplifying (cbrt (exp re)) 1544869037.751 * * [misc]simplify: iters left: 2 (3 enodes) 1544869037.752 * [exit]simplify: Simplified to (cbrt (exp re)) 1544869037.752 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))) 1544869037.752 * * * * [misc]progress: [ 14 / 22 ] simplifiying candidate # 1544869037.752 * [enter]simplify: Simplifying (sqrt (exp re)) 1544869037.752 * * [misc]simplify: iters left: 2 (3 enodes) 1544869037.752 * [exit]simplify: Simplified to (sqrt (exp re)) 1544869037.752 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))) 1544869037.752 * * * * [misc]progress: [ 15 / 22 ] simplifiying candidate # 1544869037.753 * [enter]simplify: Simplifying (exp re) 1544869037.753 * * [misc]simplify: iters left: 1 (2 enodes) 1544869037.753 * [exit]simplify: Simplified to (exp re) 1544869037.753 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) 1) (exp re))) 1544869037.753 * * * * [misc]progress: [ 16 / 22 ] simplifiying candidate # 1544869037.753 * [enter]simplify: Simplifying (* (cbrt (sin im)) (cbrt (sin im))) 1544869037.753 * * [misc]simplify: iters left: 4 (4 enodes) 1544869037.754 * [exit]simplify: Simplified to (* (cbrt (sin im)) (cbrt (sin im))) 1544869037.754 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (sin im)) (cbrt (sin im))) (* (cbrt (sin im)) (exp re)))) 1544869037.754 * * * * [misc]progress: [ 17 / 22 ] simplifiying candidate # 1544869037.754 * [enter]simplify: Simplifying (sqrt (sin im)) 1544869037.755 * * [misc]simplify: iters left: 2 (3 enodes) 1544869037.755 * [exit]simplify: Simplified to (sqrt (sin im)) 1544869037.755 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (sin im)) (* (sqrt (sin im)) (exp re)))) 1544869037.755 * * * * [misc]progress: [ 18 / 22 ] simplifiying candidate # 1544869037.755 * * * * [misc]progress: [ 19 / 22 ] simplifiying candidate # 1544869037.755 * * * * [misc]progress: [ 20 / 22 ] simplifiying candidate # 1544869037.755 * [enter]simplify: Simplifying (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869037.756 * * [misc]simplify: iters left: 6 (9 enodes) 1544869037.758 * * [misc]simplify: iters left: 5 (23 enodes) 1544869037.766 * * [misc]simplify: iters left: 4 (54 enodes) 1544869037.781 * * [misc]simplify: iters left: 3 (101 enodes) 1544869037.829 * * [misc]simplify: iters left: 2 (179 enodes) 1544869037.898 * * [misc]simplify: iters left: 1 (272 enodes) 1544869038.117 * [exit]simplify: Simplified to (fma (* im im) (* -1/6 im) (fma im re im)) 1544869038.118 * [misc]simplify: Simplified (2) to (λ (re im) (fma (* im im) (* -1/6 im) (fma im re im))) 1544869038.118 * * * * [misc]progress: [ 21 / 22 ] simplifiying candidate # 1544869038.118 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869038.118 * * [misc]simplify: iters left: 3 (5 enodes) 1544869038.119 * * [misc]simplify: iters left: 2 (6 enodes) 1544869038.120 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869038.120 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1544869038.120 * * * * [misc]progress: [ 22 / 22 ] simplifiying candidate # 1544869038.120 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869038.121 * * [misc]simplify: iters left: 3 (5 enodes) 1544869038.122 * * [misc]simplify: iters left: 2 (6 enodes) 1544869038.123 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869038.123 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1544869038.123 * * * [misc]progress: adding candidates to table 1544869038.416 * * [misc]progress: iteration 2 / 4 1544869038.416 * * * [misc]progress: picking best candidate 1544869038.424 * * * * [misc]pick: Picked # 1544869038.424 * * * [misc]progress: localizing error 1544869038.431 * * * [misc]progress: generating rewritten candidates 1544869038.431 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1) 1544869038.434 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2) 1544869038.435 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1544869038.464 * * * [misc]progress: generating series expansions 1544869038.464 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1) 1544869038.465 * [misc]backup-simplify: Simplify (log1p (* (sin im) (exp re))) into (log1p (* (sin im) (exp re))) 1544869038.465 * [misc]approximate: Taking taylor expansion of (log1p (* (sin im) (exp re))) in (im re) around 0 1544869038.465 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in re 1544869038.465 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.465 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in re 1544869038.465 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.465 * [misc]backup-simplify: Simplify 1 into 1 1544869038.465 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in re 1544869038.465 * [misc]taylor: Taking taylor expansion of (sin im) in re 1544869038.465 * [misc]taylor: Taking taylor expansion of im in re 1544869038.465 * [misc]backup-simplify: Simplify im into im 1544869038.465 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1544869038.465 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1544869038.465 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.465 * [misc]taylor: Taking taylor expansion of re in re 1544869038.465 * [misc]backup-simplify: Simplify 0 into 0 1544869038.465 * [misc]backup-simplify: Simplify 1 into 1 1544869038.465 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.465 * [misc]backup-simplify: Simplify (* (sin im) 1) into (sin im) 1544869038.465 * [misc]backup-simplify: Simplify (* (cos im) 0) into 0 1544869038.465 * [misc]backup-simplify: Simplify (+ (sin im) 0) into (sin im) 1544869038.465 * [misc]backup-simplify: Simplify (* (sin im) 1) into (sin im) 1544869038.465 * [misc]backup-simplify: Simplify (+ 1 (sin im)) into (+ (sin im) 1) 1544869038.465 * [misc]backup-simplify: Simplify (log (+ (sin im) 1)) into (log (+ (sin im) 1)) 1544869038.465 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in im 1544869038.465 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.465 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in im 1544869038.465 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.465 * [misc]backup-simplify: Simplify 1 into 1 1544869038.465 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.465 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.465 * [misc]taylor: Taking taylor expansion of im in im 1544869038.465 * [misc]backup-simplify: Simplify 0 into 0 1544869038.465 * [misc]backup-simplify: Simplify 1 into 1 1544869038.465 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.465 * [misc]taylor: Taking taylor expansion of re in im 1544869038.465 * [misc]backup-simplify: Simplify re into re 1544869038.465 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.466 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869038.466 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544869038.466 * [misc]backup-simplify: Simplify (log 1) into 0 1544869038.466 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in im 1544869038.466 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.466 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in im 1544869038.466 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.466 * [misc]backup-simplify: Simplify 1 into 1 1544869038.466 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.466 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.466 * [misc]taylor: Taking taylor expansion of im in im 1544869038.466 * [misc]backup-simplify: Simplify 0 into 0 1544869038.466 * [misc]backup-simplify: Simplify 1 into 1 1544869038.466 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.466 * [misc]taylor: Taking taylor expansion of re in im 1544869038.466 * [misc]backup-simplify: Simplify re into re 1544869038.466 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.466 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869038.466 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544869038.466 * [misc]backup-simplify: Simplify (log 1) into 0 1544869038.467 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.467 * [misc]backup-simplify: Simplify 0 into 0 1544869038.467 * [misc]backup-simplify: Simplify 0 into 0 1544869038.467 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.468 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1544869038.468 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1544869038.468 * [misc]backup-simplify: Simplify (+ 0 (exp re)) into (exp re) 1544869038.469 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp re)) 1)) (pow 1 1)))) 1) into (exp re) 1544869038.469 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.469 * [misc]taylor: Taking taylor expansion of re in re 1544869038.469 * [misc]backup-simplify: Simplify 0 into 0 1544869038.469 * [misc]backup-simplify: Simplify 1 into 1 1544869038.469 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.469 * [misc]backup-simplify: Simplify 1 into 1 1544869038.469 * [misc]backup-simplify: Simplify 0 into 0 1544869038.470 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.470 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.471 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp re)))) into 0 1544869038.471 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.473 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp re)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into (* -1/2 (pow (exp re) 2)) 1544869038.473 * [misc]taylor: Taking taylor expansion of (* -1/2 (pow (exp re) 2)) in re 1544869038.473 * [misc]taylor: Taking taylor expansion of -1/2 in re 1544869038.473 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544869038.473 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in re 1544869038.473 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.473 * [misc]taylor: Taking taylor expansion of re in re 1544869038.473 * [misc]backup-simplify: Simplify 0 into 0 1544869038.473 * [misc]backup-simplify: Simplify 1 into 1 1544869038.473 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.473 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544869038.473 * [misc]backup-simplify: Simplify (* -1/2 1) into -1/2 1544869038.473 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544869038.474 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1544869038.474 * [misc]backup-simplify: Simplify 1 into 1 1544869038.474 * [misc]backup-simplify: Simplify (+ (* 1 (* re im)) (+ (* -1/2 (pow (* 1 im) 2)) (* 1 (* 1 im)))) into (- (+ (* re im) im) (* 1/2 (pow im 2))) 1544869038.474 * [misc]backup-simplify: Simplify (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) into (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) 1544869038.474 * [misc]approximate: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in (im re) around 0 1544869038.474 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1544869038.474 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.474 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1544869038.474 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.474 * [misc]backup-simplify: Simplify 1 into 1 1544869038.474 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.474 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.475 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.475 * [misc]taylor: Taking taylor expansion of im in re 1544869038.475 * [misc]backup-simplify: Simplify im into im 1544869038.475 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.475 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.475 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.475 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.475 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.475 * [misc]taylor: Taking taylor expansion of re in re 1544869038.475 * [misc]backup-simplify: Simplify 0 into 0 1544869038.475 * [misc]backup-simplify: Simplify 1 into 1 1544869038.475 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.475 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.475 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869038.475 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869038.475 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869038.475 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.475 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.475 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.475 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.475 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.475 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.475 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.475 * [misc]backup-simplify: Simplify 1 into 1 1544869038.475 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.475 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of im in im 1544869038.476 * [misc]backup-simplify: Simplify 0 into 0 1544869038.476 * [misc]backup-simplify: Simplify 1 into 1 1544869038.476 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.476 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.476 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of re in im 1544869038.476 * [misc]backup-simplify: Simplify re into re 1544869038.476 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.476 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.476 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.476 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.476 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.476 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.476 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.476 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.476 * [misc]backup-simplify: Simplify 1 into 1 1544869038.476 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.476 * [misc]taylor: Taking taylor expansion of im in im 1544869038.476 * [misc]backup-simplify: Simplify 0 into 0 1544869038.476 * [misc]backup-simplify: Simplify 1 into 1 1544869038.476 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.476 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.477 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.477 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.477 * [misc]taylor: Taking taylor expansion of re in im 1544869038.477 * [misc]backup-simplify: Simplify re into re 1544869038.477 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.477 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.477 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.477 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.477 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.477 * [misc]taylor: Taking taylor expansion of (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of im in re 1544869038.477 * [misc]backup-simplify: Simplify im into im 1544869038.477 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.477 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.477 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.477 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.477 * [misc]taylor: Taking taylor expansion of re in re 1544869038.477 * [misc]backup-simplify: Simplify 0 into 0 1544869038.477 * [misc]backup-simplify: Simplify 1 into 1 1544869038.477 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.477 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.477 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.477 * [misc]backup-simplify: Simplify 1 into 1 1544869038.478 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869038.478 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869038.478 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869038.478 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.478 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.478 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.478 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.478 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1544869038.479 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.479 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.479 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.480 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 1) into 0 1544869038.480 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.480 * [misc]backup-simplify: Simplify 0 into 0 1544869038.480 * [misc]backup-simplify: Simplify 0 into 0 1544869038.480 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.480 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1544869038.480 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1544869038.481 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.481 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1544869038.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.481 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.481 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.482 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 1) into 0 1544869038.482 * [misc]backup-simplify: Simplify 0 into 0 1544869038.482 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.483 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.484 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.485 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 2) into 0 1544869038.485 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.485 * [misc]backup-simplify: Simplify 0 into 0 1544869038.485 * [misc]backup-simplify: Simplify 0 into 0 1544869038.485 * [misc]backup-simplify: Simplify 0 into 0 1544869038.486 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.486 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.486 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.487 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.487 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.487 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.489 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 2) into 0 1544869038.489 * [misc]backup-simplify: Simplify 0 into 0 1544869038.489 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.491 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.492 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1544869038.492 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.496 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 6) into 0 1544869038.496 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.496 * [misc]backup-simplify: Simplify 0 into 0 1544869038.496 * [misc]backup-simplify: Simplify 0 into 0 1544869038.497 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) 1)) into (log (+ (* (sin im) (exp re)) 1)) 1544869038.497 * [misc]backup-simplify: Simplify (log1p (* (sin (/ 1 (- im))) (exp (/ 1 (- re))))) into (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) 1544869038.497 * [misc]approximate: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in (im re) around 0 1544869038.497 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in re 1544869038.497 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.497 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in re 1544869038.497 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.497 * [misc]backup-simplify: Simplify 1 into 1 1544869038.497 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.497 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.497 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.497 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.497 * [misc]backup-simplify: Simplify -1 into -1 1544869038.497 * [misc]taylor: Taking taylor expansion of im in re 1544869038.497 * [misc]backup-simplify: Simplify im into im 1544869038.497 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.497 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.497 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.497 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.498 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.498 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.498 * [misc]backup-simplify: Simplify -1 into -1 1544869038.498 * [misc]taylor: Taking taylor expansion of re in re 1544869038.498 * [misc]backup-simplify: Simplify 0 into 0 1544869038.498 * [misc]backup-simplify: Simplify 1 into 1 1544869038.498 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.498 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.498 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869038.498 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869038.498 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869038.498 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.499 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.499 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.499 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.499 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.499 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.499 * [misc]backup-simplify: Simplify 1 into 1 1544869038.499 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.499 * [misc]backup-simplify: Simplify -1 into -1 1544869038.499 * [misc]taylor: Taking taylor expansion of im in im 1544869038.499 * [misc]backup-simplify: Simplify 0 into 0 1544869038.499 * [misc]backup-simplify: Simplify 1 into 1 1544869038.499 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.499 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.499 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.499 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.500 * [misc]backup-simplify: Simplify -1 into -1 1544869038.500 * [misc]taylor: Taking taylor expansion of re in im 1544869038.500 * [misc]backup-simplify: Simplify re into re 1544869038.500 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.500 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.500 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.500 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.500 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.500 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.500 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.500 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.500 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.500 * [misc]backup-simplify: Simplify 1 into 1 1544869038.500 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.500 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.501 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.501 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.501 * [misc]backup-simplify: Simplify -1 into -1 1544869038.501 * [misc]taylor: Taking taylor expansion of im in im 1544869038.501 * [misc]backup-simplify: Simplify 0 into 0 1544869038.501 * [misc]backup-simplify: Simplify 1 into 1 1544869038.501 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.501 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.501 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.501 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.501 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.501 * [misc]backup-simplify: Simplify -1 into -1 1544869038.501 * [misc]taylor: Taking taylor expansion of re in im 1544869038.501 * [misc]backup-simplify: Simplify re into re 1544869038.501 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.501 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.501 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.502 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.502 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.502 * [misc]taylor: Taking taylor expansion of (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.502 * [misc]backup-simplify: Simplify -1 into -1 1544869038.502 * [misc]taylor: Taking taylor expansion of im in re 1544869038.502 * [misc]backup-simplify: Simplify im into im 1544869038.502 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.502 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.502 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.502 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.502 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.502 * [misc]backup-simplify: Simplify -1 into -1 1544869038.502 * [misc]taylor: Taking taylor expansion of re in re 1544869038.502 * [misc]backup-simplify: Simplify 0 into 0 1544869038.502 * [misc]backup-simplify: Simplify 1 into 1 1544869038.503 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.503 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.503 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.503 * [misc]backup-simplify: Simplify 1 into 1 1544869038.503 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869038.503 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869038.503 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869038.503 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.503 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.504 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.504 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.504 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1544869038.505 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.505 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.505 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.507 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 1) into 0 1544869038.507 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.507 * [misc]backup-simplify: Simplify 0 into 0 1544869038.507 * [misc]backup-simplify: Simplify 0 into 0 1544869038.507 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.507 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1544869038.507 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1544869038.509 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.509 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1544869038.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.509 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.510 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 1) into 0 1544869038.511 * [misc]backup-simplify: Simplify 0 into 0 1544869038.511 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.513 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.513 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.513 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.516 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 2) into 0 1544869038.516 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.516 * [misc]backup-simplify: Simplify 0 into 0 1544869038.516 * [misc]backup-simplify: Simplify 0 into 0 1544869038.516 * [misc]backup-simplify: Simplify 0 into 0 1544869038.517 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.517 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.517 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.519 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.519 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.519 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.519 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.519 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.524 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 2) into 0 1544869038.524 * [misc]backup-simplify: Simplify 0 into 0 1544869038.524 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.526 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.526 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1544869038.526 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.529 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 6) into 0 1544869038.529 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.529 * [misc]backup-simplify: Simplify 0 into 0 1544869038.529 * [misc]backup-simplify: Simplify 0 into 0 1544869038.529 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) 1)) into (log (+ (* (sin im) (exp re)) 1)) 1544869038.529 * * * * [misc]progress: [ 2 / 3 ] generating series at (2) 1544869038.529 * [misc]backup-simplify: Simplify (expm1 (log1p (* (sin im) (exp re)))) into (expm1 (log1p (* (sin im) (exp re)))) 1544869038.529 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (* (sin im) (exp re)))) in (im re) around 0 1544869038.529 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin im) (exp re)))) in re 1544869038.529 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin im) (exp re)))) 1) 1544869038.529 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin im) (exp re)))) in re 1544869038.530 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in re 1544869038.530 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.530 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in re 1544869038.530 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.530 * [misc]backup-simplify: Simplify 1 into 1 1544869038.530 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in re 1544869038.530 * [misc]taylor: Taking taylor expansion of (sin im) in re 1544869038.530 * [misc]taylor: Taking taylor expansion of im in re 1544869038.530 * [misc]backup-simplify: Simplify im into im 1544869038.530 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1544869038.530 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1544869038.530 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.530 * [misc]taylor: Taking taylor expansion of re in re 1544869038.530 * [misc]backup-simplify: Simplify 0 into 0 1544869038.530 * [misc]backup-simplify: Simplify 1 into 1 1544869038.530 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.530 * [misc]backup-simplify: Simplify (* (sin im) 1) into (sin im) 1544869038.530 * [misc]backup-simplify: Simplify (* (cos im) 0) into 0 1544869038.530 * [misc]backup-simplify: Simplify (+ (sin im) 0) into (sin im) 1544869038.530 * [misc]backup-simplify: Simplify (* (sin im) 1) into (sin im) 1544869038.530 * [misc]backup-simplify: Simplify (+ 1 (sin im)) into (+ (sin im) 1) 1544869038.530 * [misc]backup-simplify: Simplify (log (+ (sin im) 1)) into (log (+ (sin im) 1)) 1544869038.530 * [misc]backup-simplify: Simplify (exp (log (+ (sin im) 1))) into (+ (sin im) 1) 1544869038.530 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.530 * [misc]backup-simplify: Simplify 1 into 1 1544869038.530 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin im) (exp re)))) in im 1544869038.530 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin im) (exp re)))) 1) 1544869038.530 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin im) (exp re)))) in im 1544869038.530 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in im 1544869038.530 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.530 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in im 1544869038.530 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.530 * [misc]backup-simplify: Simplify 1 into 1 1544869038.530 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.530 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.530 * [misc]taylor: Taking taylor expansion of im in im 1544869038.530 * [misc]backup-simplify: Simplify 0 into 0 1544869038.530 * [misc]backup-simplify: Simplify 1 into 1 1544869038.530 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.530 * [misc]taylor: Taking taylor expansion of re in im 1544869038.530 * [misc]backup-simplify: Simplify re into re 1544869038.530 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.530 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869038.531 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544869038.531 * [misc]backup-simplify: Simplify (log 1) into 0 1544869038.531 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.532 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1544869038.532 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1544869038.532 * [misc]backup-simplify: Simplify (+ 0 (exp re)) into (exp re) 1544869038.533 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp re)) 1)) (pow 1 1)))) 1) into (exp re) 1544869038.533 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.533 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.533 * [misc]backup-simplify: Simplify 1 into 1 1544869038.533 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin im) (exp re)))) in im 1544869038.533 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin im) (exp re)))) 1) 1544869038.533 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin im) (exp re)))) in im 1544869038.533 * [misc]taylor: Taking taylor expansion of (log1p (* (sin im) (exp re))) in im 1544869038.533 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin im) (exp re)))) 1544869038.533 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin im) (exp re))) in im 1544869038.533 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.533 * [misc]backup-simplify: Simplify 1 into 1 1544869038.533 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.533 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.533 * [misc]taylor: Taking taylor expansion of im in im 1544869038.533 * [misc]backup-simplify: Simplify 0 into 0 1544869038.533 * [misc]backup-simplify: Simplify 1 into 1 1544869038.533 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.533 * [misc]taylor: Taking taylor expansion of re in im 1544869038.533 * [misc]backup-simplify: Simplify re into re 1544869038.533 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.533 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869038.533 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544869038.533 * [misc]backup-simplify: Simplify (log 1) into 0 1544869038.534 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.534 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1544869038.535 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1544869038.535 * [misc]backup-simplify: Simplify (+ 0 (exp re)) into (exp re) 1544869038.535 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (exp re)) 1)) (pow 1 1)))) 1) into (exp re) 1544869038.535 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.535 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.535 * [misc]backup-simplify: Simplify 1 into 1 1544869038.535 * [misc]backup-simplify: Simplify (- 1) into -1 1544869038.535 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1544869038.535 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.535 * [misc]backup-simplify: Simplify 0 into 0 1544869038.535 * [misc]backup-simplify: Simplify 0 into 0 1544869038.536 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (exp re) 1) 1)))) into (exp re) 1544869038.536 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.536 * [misc]backup-simplify: Simplify (+ (exp re) 0) into (exp re) 1544869038.536 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.536 * [misc]taylor: Taking taylor expansion of re in re 1544869038.536 * [misc]backup-simplify: Simplify 0 into 0 1544869038.536 * [misc]backup-simplify: Simplify 1 into 1 1544869038.536 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.536 * [misc]backup-simplify: Simplify 1 into 1 1544869038.536 * [misc]backup-simplify: Simplify 0 into 0 1544869038.537 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.538 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.538 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp re)))) into 0 1544869038.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.540 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (exp re)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into (* -1/2 (pow (exp re) 2)) 1544869038.541 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (exp re) 2) 2)) (* (/ (pow (* -1/2 (pow (exp re) 2)) 1) 1)))) into 0 1544869038.541 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.541 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.541 * [misc]backup-simplify: Simplify 0 into 0 1544869038.541 * [misc]backup-simplify: Simplify 0 into 0 1544869038.542 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1544869038.542 * [misc]backup-simplify: Simplify 1 into 1 1544869038.542 * [misc]backup-simplify: Simplify 0 into 0 1544869038.544 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.545 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1544869038.546 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* (- 1/6) (exp re))))) into (- (* 1/6 (exp re))) 1544869038.546 * [misc]backup-simplify: Simplify (+ 0 (- (* 1/6 (exp re)))) into (- (* 1/6 (exp re))) 1544869038.547 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (exp re)) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (exp re)) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 (- (* 1/6 (exp re)))) 1)) (pow 1 1)))) 6) into (* 1/6 (- (* 2 (pow (exp re) 3)) (exp re))) 1544869038.549 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (exp re) 3) 6)) (* (/ (pow (exp re) 1) 1) (/ (pow (* -1/2 (pow (exp re) 2)) 1) 1)) (* (/ (pow (* 1/6 (- (* 2 (pow (exp re) 3)) (exp re))) 1) 1)))) into (* -1/6 (exp re)) 1544869038.549 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.550 * [misc]backup-simplify: Simplify (+ (* -1/6 (exp re)) 0) into (- (* 1/6 (exp re))) 1544869038.550 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (exp re))) in re 1544869038.550 * [misc]taylor: Taking taylor expansion of (* 1/6 (exp re)) in re 1544869038.550 * [misc]taylor: Taking taylor expansion of 1/6 in re 1544869038.550 * [misc]backup-simplify: Simplify 1/6 into 1/6 1544869038.550 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.550 * [misc]taylor: Taking taylor expansion of re in re 1544869038.550 * [misc]backup-simplify: Simplify 0 into 0 1544869038.550 * [misc]backup-simplify: Simplify 1 into 1 1544869038.550 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.550 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1544869038.550 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1544869038.550 * [misc]backup-simplify: Simplify -1/6 into -1/6 1544869038.550 * [misc]backup-simplify: Simplify (+ (* -1/6 (pow (* 1 im) 3)) (+ (* 1 (* re im)) (* 1 (* 1 im)))) into (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869038.550 * [misc]backup-simplify: Simplify (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) into (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.550 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in (im re) around 0 1544869038.550 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in re 1544869038.550 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) 1) 1544869038.550 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in re 1544869038.550 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1544869038.550 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.550 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.551 * [misc]backup-simplify: Simplify 1 into 1 1544869038.551 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of im in re 1544869038.551 * [misc]backup-simplify: Simplify im into im 1544869038.551 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.551 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.551 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.551 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.551 * [misc]taylor: Taking taylor expansion of re in re 1544869038.551 * [misc]backup-simplify: Simplify 0 into 0 1544869038.551 * [misc]backup-simplify: Simplify 1 into 1 1544869038.551 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.551 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.551 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869038.551 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869038.551 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869038.551 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.551 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.551 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.552 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.552 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.552 * [misc]backup-simplify: Simplify 1 into 1 1544869038.552 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in im 1544869038.552 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) 1) 1544869038.552 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.552 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.552 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.552 * [misc]backup-simplify: Simplify 1 into 1 1544869038.552 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of im in im 1544869038.552 * [misc]backup-simplify: Simplify 0 into 0 1544869038.552 * [misc]backup-simplify: Simplify 1 into 1 1544869038.552 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.552 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.552 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.552 * [misc]taylor: Taking taylor expansion of re in im 1544869038.552 * [misc]backup-simplify: Simplify re into re 1544869038.552 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.552 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.552 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.552 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.552 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.553 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.553 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.553 * [misc]backup-simplify: Simplify 1 into 1 1544869038.553 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in im 1544869038.553 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) 1) 1544869038.553 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ 1 im)) (exp (/ 1 re))))) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.553 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re))))) 1544869038.553 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.553 * [misc]backup-simplify: Simplify 1 into 1 1544869038.553 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of im in im 1544869038.553 * [misc]backup-simplify: Simplify 0 into 0 1544869038.553 * [misc]backup-simplify: Simplify 1 into 1 1544869038.553 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.553 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.553 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.553 * [misc]taylor: Taking taylor expansion of re in im 1544869038.553 * [misc]backup-simplify: Simplify re into re 1544869038.553 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.553 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.553 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.553 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ 1 im)) (exp (/ 1 re)))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.553 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) into (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1)) 1544869038.554 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) into (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1544869038.554 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.554 * [misc]backup-simplify: Simplify 1 into 1 1544869038.554 * [misc]backup-simplify: Simplify (- 1) into -1 1544869038.554 * [misc]backup-simplify: Simplify (+ (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) -1) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.554 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.554 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.554 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.554 * [misc]taylor: Taking taylor expansion of im in re 1544869038.554 * [misc]backup-simplify: Simplify im into im 1544869038.554 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.554 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.554 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.554 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.554 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.554 * [misc]taylor: Taking taylor expansion of re in re 1544869038.554 * [misc]backup-simplify: Simplify 0 into 0 1544869038.554 * [misc]backup-simplify: Simplify 1 into 1 1544869038.554 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.554 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.554 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869038.554 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869038.554 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869038.554 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.555 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.555 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1544869038.555 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.556 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.556 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.557 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 1) into 0 1544869038.558 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.558 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.559 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.559 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.559 * [misc]backup-simplify: Simplify 0 into 0 1544869038.559 * [misc]backup-simplify: Simplify 0 into 0 1544869038.559 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.559 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1544869038.559 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1544869038.560 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.561 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1544869038.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.561 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.561 * [misc]backup-simplify: Simplify 0 into 0 1544869038.561 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.563 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.563 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.566 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 2) into 0 1544869038.568 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.568 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.569 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.569 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.569 * [misc]backup-simplify: Simplify 0 into 0 1544869038.569 * [misc]backup-simplify: Simplify 0 into 0 1544869038.569 * [misc]backup-simplify: Simplify 0 into 0 1544869038.570 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.570 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.570 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.571 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.572 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.572 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.572 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.572 * [misc]backup-simplify: Simplify 0 into 0 1544869038.572 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.576 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.576 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1544869038.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.581 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1) 1)))) 6) into 0 1544869038.584 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ 1 im)) (exp (/ 1 re))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.584 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.585 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.585 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.585 * [misc]backup-simplify: Simplify 0 into 0 1544869038.585 * [misc]backup-simplify: Simplify 0 into 0 1544869038.585 * [misc]backup-simplify: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1544869038.585 * [misc]backup-simplify: Simplify (expm1 (log1p (* (sin (/ 1 (- im))) (exp (/ 1 (- re)))))) into (expm1 (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.585 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in (im re) around 0 1544869038.585 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in re 1544869038.585 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) 1) 1544869038.585 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in re 1544869038.585 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in re 1544869038.585 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.585 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in re 1544869038.585 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.586 * [misc]backup-simplify: Simplify 1 into 1 1544869038.586 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.586 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.586 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.586 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.586 * [misc]backup-simplify: Simplify -1 into -1 1544869038.586 * [misc]taylor: Taking taylor expansion of im in re 1544869038.586 * [misc]backup-simplify: Simplify im into im 1544869038.586 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.586 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.586 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.586 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.586 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.586 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.586 * [misc]backup-simplify: Simplify -1 into -1 1544869038.586 * [misc]taylor: Taking taylor expansion of re in re 1544869038.586 * [misc]backup-simplify: Simplify 0 into 0 1544869038.586 * [misc]backup-simplify: Simplify 1 into 1 1544869038.586 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.586 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.587 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869038.587 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869038.587 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869038.587 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.587 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.587 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.588 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.588 * [misc]taylor: Taking taylor expansion of 1 in re 1544869038.588 * [misc]backup-simplify: Simplify 1 into 1 1544869038.588 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in im 1544869038.588 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) 1) 1544869038.588 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in im 1544869038.588 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.588 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.588 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.588 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.588 * [misc]backup-simplify: Simplify 1 into 1 1544869038.588 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.588 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.588 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.588 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.588 * [misc]backup-simplify: Simplify -1 into -1 1544869038.588 * [misc]taylor: Taking taylor expansion of im in im 1544869038.588 * [misc]backup-simplify: Simplify 0 into 0 1544869038.588 * [misc]backup-simplify: Simplify 1 into 1 1544869038.589 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.589 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.589 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.589 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.589 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.589 * [misc]backup-simplify: Simplify -1 into -1 1544869038.589 * [misc]taylor: Taking taylor expansion of re in im 1544869038.589 * [misc]backup-simplify: Simplify re into re 1544869038.589 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.589 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.589 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.589 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.590 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.590 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.590 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.590 * [misc]backup-simplify: Simplify 1 into 1 1544869038.590 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in im 1544869038.590 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) 1) 1544869038.590 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (sin (/ -1 im)) (exp (/ -1 re))))) in im 1544869038.590 * [misc]taylor: Taking taylor expansion of (log1p (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.590 * [misc]taylor: Rewrote expression to (log (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re))))) 1544869038.590 * [misc]taylor: Taking taylor expansion of (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) in im 1544869038.590 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.590 * [misc]backup-simplify: Simplify 1 into 1 1544869038.590 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.590 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.590 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.590 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.590 * [misc]backup-simplify: Simplify -1 into -1 1544869038.590 * [misc]taylor: Taking taylor expansion of im in im 1544869038.590 * [misc]backup-simplify: Simplify 0 into 0 1544869038.590 * [misc]backup-simplify: Simplify 1 into 1 1544869038.591 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.591 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.591 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.591 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.591 * [misc]backup-simplify: Simplify -1 into -1 1544869038.591 * [misc]taylor: Taking taylor expansion of re in im 1544869038.591 * [misc]backup-simplify: Simplify re into re 1544869038.591 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.591 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.591 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.591 * [misc]backup-simplify: Simplify (+ 1 (* (sin (/ -1 im)) (exp (/ -1 re)))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.592 * [misc]backup-simplify: Simplify (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) into (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1)) 1544869038.592 * [misc]backup-simplify: Simplify (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) into (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1544869038.592 * [misc]taylor: Taking taylor expansion of 1 in im 1544869038.592 * [misc]backup-simplify: Simplify 1 into 1 1544869038.593 * [misc]backup-simplify: Simplify (- 1) into -1 1544869038.593 * [misc]backup-simplify: Simplify (+ (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) -1) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.593 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.593 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.593 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.593 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.593 * [misc]backup-simplify: Simplify -1 into -1 1544869038.593 * [misc]taylor: Taking taylor expansion of im in re 1544869038.593 * [misc]backup-simplify: Simplify im into im 1544869038.593 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.593 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.593 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.593 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.593 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.593 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.593 * [misc]backup-simplify: Simplify -1 into -1 1544869038.593 * [misc]taylor: Taking taylor expansion of re in re 1544869038.593 * [misc]backup-simplify: Simplify 0 into 0 1544869038.593 * [misc]backup-simplify: Simplify 1 into 1 1544869038.594 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.594 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.594 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869038.594 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869038.594 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869038.594 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.594 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.595 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1544869038.596 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.596 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.598 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 1) into 0 1544869038.599 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.599 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.599 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.600 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.600 * [misc]backup-simplify: Simplify 0 into 0 1544869038.600 * [misc]backup-simplify: Simplify 0 into 0 1544869038.600 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.600 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1544869038.600 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1544869038.602 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.602 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1544869038.602 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.602 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.602 * [misc]backup-simplify: Simplify 0 into 0 1544869038.602 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.604 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.605 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.605 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.608 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 2) into 0 1544869038.610 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.610 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.610 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.610 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.610 * [misc]backup-simplify: Simplify 0 into 0 1544869038.610 * [misc]backup-simplify: Simplify 0 into 0 1544869038.610 * [misc]backup-simplify: Simplify 0 into 0 1544869038.612 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.612 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.612 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.614 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.614 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.614 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.614 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.614 * [misc]backup-simplify: Simplify 0 into 0 1544869038.615 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.618 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.619 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1544869038.619 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.624 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1) 1)))) 6) into 0 1544869038.627 * [misc]backup-simplify: Simplify (* (exp (log (+ (* (sin (/ -1 im)) (exp (/ -1 re))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.627 * [misc]backup-simplify: Simplify (- 0) into 0 1544869038.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.628 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.628 * [misc]backup-simplify: Simplify 0 into 0 1544869038.628 * [misc]backup-simplify: Simplify 0 into 0 1544869038.628 * [misc]backup-simplify: Simplify (* (sin (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (sin im) (exp re)) 1544869038.628 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1544869038.629 * [misc]backup-simplify: Simplify (* (sin im) (exp re)) into (* (sin im) (exp re)) 1544869038.629 * [misc]approximate: Taking taylor expansion of (* (sin im) (exp re)) in (im re) around 0 1544869038.629 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in re 1544869038.629 * [misc]taylor: Taking taylor expansion of (sin im) in re 1544869038.629 * [misc]taylor: Taking taylor expansion of im in re 1544869038.629 * [misc]backup-simplify: Simplify im into im 1544869038.629 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1544869038.629 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1544869038.629 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.629 * [misc]taylor: Taking taylor expansion of re in re 1544869038.629 * [misc]backup-simplify: Simplify 0 into 0 1544869038.629 * [misc]backup-simplify: Simplify 1 into 1 1544869038.629 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.629 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of im in im 1544869038.629 * [misc]backup-simplify: Simplify 0 into 0 1544869038.629 * [misc]backup-simplify: Simplify 1 into 1 1544869038.629 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of re in im 1544869038.629 * [misc]backup-simplify: Simplify re into re 1544869038.629 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.629 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of (sin im) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of im in im 1544869038.629 * [misc]backup-simplify: Simplify 0 into 0 1544869038.629 * [misc]backup-simplify: Simplify 1 into 1 1544869038.629 * [misc]taylor: Taking taylor expansion of (exp re) in im 1544869038.629 * [misc]taylor: Taking taylor expansion of re in im 1544869038.629 * [misc]backup-simplify: Simplify re into re 1544869038.630 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1544869038.630 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1544869038.630 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.630 * [misc]backup-simplify: Simplify 0 into 0 1544869038.630 * [misc]backup-simplify: Simplify 0 into 0 1544869038.631 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.632 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1544869038.632 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1544869038.632 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.632 * [misc]taylor: Taking taylor expansion of re in re 1544869038.632 * [misc]backup-simplify: Simplify 0 into 0 1544869038.632 * [misc]backup-simplify: Simplify 1 into 1 1544869038.632 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.632 * [misc]backup-simplify: Simplify 1 into 1 1544869038.632 * [misc]backup-simplify: Simplify 0 into 0 1544869038.634 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.635 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.636 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp re)))) into 0 1544869038.636 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.636 * [misc]backup-simplify: Simplify 0 into 0 1544869038.636 * [misc]backup-simplify: Simplify 0 into 0 1544869038.638 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1544869038.638 * [misc]backup-simplify: Simplify 1 into 1 1544869038.638 * [misc]backup-simplify: Simplify 0 into 0 1544869038.642 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.644 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1544869038.644 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* (- 1/6) (exp re))))) into (- (* 1/6 (exp re))) 1544869038.644 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (exp re))) in re 1544869038.644 * [misc]taylor: Taking taylor expansion of (* 1/6 (exp re)) in re 1544869038.644 * [misc]taylor: Taking taylor expansion of 1/6 in re 1544869038.644 * [misc]backup-simplify: Simplify 1/6 into 1/6 1544869038.644 * [misc]taylor: Taking taylor expansion of (exp re) in re 1544869038.644 * [misc]taylor: Taking taylor expansion of re in re 1544869038.645 * [misc]backup-simplify: Simplify 0 into 0 1544869038.645 * [misc]backup-simplify: Simplify 1 into 1 1544869038.645 * [misc]backup-simplify: Simplify (exp 0) into 1 1544869038.645 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1544869038.645 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1544869038.645 * [misc]backup-simplify: Simplify -1/6 into -1/6 1544869038.645 * [misc]backup-simplify: Simplify (+ (* -1/6 (pow (* 1 im) 3)) (+ (* 1 (* re im)) (* 1 (* 1 im)))) into (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869038.646 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.646 * [misc]approximate: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1544869038.646 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.646 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.646 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.646 * [misc]taylor: Taking taylor expansion of im in re 1544869038.646 * [misc]backup-simplify: Simplify im into im 1544869038.646 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.646 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.646 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.646 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.646 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.646 * [misc]taylor: Taking taylor expansion of re in re 1544869038.646 * [misc]backup-simplify: Simplify 0 into 0 1544869038.646 * [misc]backup-simplify: Simplify 1 into 1 1544869038.646 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.646 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.647 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of im in im 1544869038.647 * [misc]backup-simplify: Simplify 0 into 0 1544869038.647 * [misc]backup-simplify: Simplify 1 into 1 1544869038.647 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.647 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.647 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of re in im 1544869038.647 * [misc]backup-simplify: Simplify re into re 1544869038.647 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.647 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.647 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1544869038.647 * [misc]taylor: Taking taylor expansion of im in im 1544869038.647 * [misc]backup-simplify: Simplify 0 into 0 1544869038.647 * [misc]backup-simplify: Simplify 1 into 1 1544869038.647 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.648 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.648 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1544869038.648 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1544869038.648 * [misc]taylor: Taking taylor expansion of re in im 1544869038.648 * [misc]backup-simplify: Simplify re into re 1544869038.648 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1544869038.648 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.648 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.648 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1544869038.648 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1544869038.648 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1544869038.648 * [misc]taylor: Taking taylor expansion of im in re 1544869038.648 * [misc]backup-simplify: Simplify im into im 1544869038.648 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1544869038.648 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1544869038.649 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1544869038.649 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1544869038.649 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1544869038.649 * [misc]taylor: Taking taylor expansion of re in re 1544869038.649 * [misc]backup-simplify: Simplify 0 into 0 1544869038.649 * [misc]backup-simplify: Simplify 1 into 1 1544869038.649 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544869038.649 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1544869038.649 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1544869038.649 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1544869038.649 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1544869038.649 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.649 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1544869038.650 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1544869038.651 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.651 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.651 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.651 * [misc]backup-simplify: Simplify 0 into 0 1544869038.651 * [misc]backup-simplify: Simplify 0 into 0 1544869038.651 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.651 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1544869038.651 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1544869038.653 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.653 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1544869038.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.653 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1544869038.653 * [misc]backup-simplify: Simplify 0 into 0 1544869038.653 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.655 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.655 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.655 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.655 * [misc]backup-simplify: Simplify 0 into 0 1544869038.656 * [misc]backup-simplify: Simplify 0 into 0 1544869038.656 * [misc]backup-simplify: Simplify 0 into 0 1544869038.657 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.657 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.657 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.658 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.658 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.659 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1544869038.659 * [misc]backup-simplify: Simplify 0 into 0 1544869038.659 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.662 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.662 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1544869038.662 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.662 * [misc]backup-simplify: Simplify 0 into 0 1544869038.662 * [misc]backup-simplify: Simplify 0 into 0 1544869038.663 * [misc]backup-simplify: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1544869038.663 * [misc]backup-simplify: Simplify (* (sin (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.663 * [misc]approximate: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1544869038.663 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.663 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.663 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.663 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.663 * [misc]backup-simplify: Simplify -1 into -1 1544869038.663 * [misc]taylor: Taking taylor expansion of im in re 1544869038.663 * [misc]backup-simplify: Simplify im into im 1544869038.663 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.663 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.663 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.663 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.663 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.663 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.663 * [misc]backup-simplify: Simplify -1 into -1 1544869038.663 * [misc]taylor: Taking taylor expansion of re in re 1544869038.663 * [misc]backup-simplify: Simplify 0 into 0 1544869038.663 * [misc]backup-simplify: Simplify 1 into 1 1544869038.663 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.663 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.664 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.664 * [misc]backup-simplify: Simplify -1 into -1 1544869038.664 * [misc]taylor: Taking taylor expansion of im in im 1544869038.664 * [misc]backup-simplify: Simplify 0 into 0 1544869038.664 * [misc]backup-simplify: Simplify 1 into 1 1544869038.664 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.664 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.664 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.664 * [misc]backup-simplify: Simplify -1 into -1 1544869038.664 * [misc]taylor: Taking taylor expansion of re in im 1544869038.664 * [misc]backup-simplify: Simplify re into re 1544869038.664 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.664 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.664 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1544869038.664 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.664 * [misc]backup-simplify: Simplify -1 into -1 1544869038.664 * [misc]taylor: Taking taylor expansion of im in im 1544869038.664 * [misc]backup-simplify: Simplify 0 into 0 1544869038.664 * [misc]backup-simplify: Simplify 1 into 1 1544869038.665 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.665 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.665 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1544869038.665 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1544869038.665 * [misc]taylor: Taking taylor expansion of -1 in im 1544869038.665 * [misc]backup-simplify: Simplify -1 into -1 1544869038.665 * [misc]taylor: Taking taylor expansion of re in im 1544869038.665 * [misc]backup-simplify: Simplify re into re 1544869038.665 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1544869038.665 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.665 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.665 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1544869038.665 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1544869038.665 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1544869038.665 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.665 * [misc]backup-simplify: Simplify -1 into -1 1544869038.665 * [misc]taylor: Taking taylor expansion of im in re 1544869038.665 * [misc]backup-simplify: Simplify im into im 1544869038.665 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1544869038.665 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1544869038.665 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1544869038.665 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1544869038.665 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1544869038.665 * [misc]taylor: Taking taylor expansion of -1 in re 1544869038.665 * [misc]backup-simplify: Simplify -1 into -1 1544869038.665 * [misc]taylor: Taking taylor expansion of re in re 1544869038.666 * [misc]backup-simplify: Simplify 0 into 0 1544869038.666 * [misc]backup-simplify: Simplify 1 into 1 1544869038.666 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544869038.666 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1544869038.666 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1544869038.666 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1544869038.666 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1544869038.666 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.666 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1544869038.666 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1544869038.668 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1544869038.668 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.668 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.668 * [misc]backup-simplify: Simplify 0 into 0 1544869038.668 * [misc]backup-simplify: Simplify 0 into 0 1544869038.668 * [misc]backup-simplify: Simplify (+ 0) into 0 1544869038.668 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1544869038.668 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1544869038.669 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1544869038.670 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1544869038.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.670 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1544869038.670 * [misc]backup-simplify: Simplify 0 into 0 1544869038.670 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.672 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1544869038.672 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.672 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.672 * [misc]backup-simplify: Simplify 0 into 0 1544869038.672 * [misc]backup-simplify: Simplify 0 into 0 1544869038.672 * [misc]backup-simplify: Simplify 0 into 0 1544869038.673 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1544869038.674 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1544869038.674 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1544869038.675 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1544869038.675 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1544869038.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544869038.675 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1544869038.676 * [misc]backup-simplify: Simplify 0 into 0 1544869038.676 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1544869038.679 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1544869038.679 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1544869038.679 * [misc]taylor: Taking taylor expansion of 0 in re 1544869038.679 * [misc]backup-simplify: Simplify 0 into 0 1544869038.679 * [misc]backup-simplify: Simplify 0 into 0 1544869038.680 * [misc]backup-simplify: Simplify (* (sin (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (sin im) (exp re)) 1544869038.680 * * * [misc]progress: simplifying candidates 1544869038.680 * * * * [misc]progress: [ 1 / 50 ] simplifiying candidate # 1544869038.680 * * * * [misc]progress: [ 2 / 50 ] simplifiying candidate # 1544869038.680 * * * * [misc]progress: [ 3 / 50 ] simplifiying candidate # 1544869038.680 * * * * [misc]progress: [ 4 / 50 ] simplifiying candidate # 1544869038.680 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869038.688 * * [misc]simplify: iters left: 3 (5 enodes) 1544869038.691 * * [misc]simplify: iters left: 2 (6 enodes) 1544869038.694 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869038.694 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (expm1 (log1p (* (exp re) (sin im))))) 1544869038.694 * * * * [misc]progress: [ 5 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 6 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 7 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 8 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 9 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 10 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 11 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 12 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 13 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 14 / 50 ] simplifiying candidate # 1544869038.694 * * * * [misc]progress: [ 15 / 50 ] simplifiying candidate # 1544869038.695 * [enter]simplify: Simplifying (sin im) 1544869038.695 * * [misc]simplify: iters left: 1 (2 enodes) 1544869038.696 * [exit]simplify: Simplified to (sin im) 1544869038.696 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sin im) (exp re))) 1544869038.696 * * * * [misc]progress: [ 16 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 17 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 18 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 19 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 20 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 21 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 22 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 23 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 24 / 50 ] simplifiying candidate # 1544869038.696 * * * * [misc]progress: [ 25 / 50 ] simplifiying candidate # 1544869038.696 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869038.697 * * [misc]simplify: iters left: 3 (5 enodes) 1544869038.699 * * [misc]simplify: iters left: 2 (6 enodes) 1544869038.701 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869038.701 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (expm1 (log1p (pow (* (exp re) (sin im)) 1)))) 1544869038.701 * * * * [misc]progress: [ 26 / 50 ] simplifiying candidate # 1544869038.701 * * * * [misc]progress: [ 27 / 50 ] simplifiying candidate # 1544869038.701 * [enter]simplify: Simplifying (+ (log (sin im)) re) 1544869038.702 * * [misc]simplify: iters left: 4 (5 enodes) 1544869038.703 * * [misc]simplify: iters left: 3 (6 enodes) 1544869038.705 * [exit]simplify: Simplified to (+ re (log (sin im))) 1544869038.706 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (expm1 (log1p (exp (+ re (log (sin im))))))) 1544869038.706 * * * * [misc]progress: [ 28 / 50 ] simplifiying candidate # 1544869038.706 * * * * [misc]progress: [ 29 / 50 ] simplifiying candidate # 1544869038.706 * * * * [misc]progress: [ 30 / 50 ] simplifiying candidate # 1544869038.706 * [enter]simplify: Simplifying (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))) 1544869038.707 * * [misc]simplify: iters left: 6 (9 enodes) 1544869038.711 * * [misc]simplify: iters left: 5 (18 enodes) 1544869038.721 * * [misc]simplify: iters left: 4 (47 enodes) 1544869038.735 * * [misc]simplify: iters left: 3 (80 enodes) 1544869038.750 * * [misc]simplify: iters left: 2 (100 enodes) 1544869038.768 * * [misc]simplify: iters left: 1 (101 enodes) 1544869038.790 * [exit]simplify: Simplified to (pow (* (exp re) (sin im)) 3) 1544869038.790 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (expm1 (log1p (cbrt (pow (* (exp re) (sin im)) 3))))) 1544869038.790 * * * * [misc]progress: [ 31 / 50 ] simplifiying candidate # 1544869038.790 * * * * [misc]progress: [ 32 / 50 ] simplifiying candidate # 1544869038.790 * * * * [misc]progress: [ 33 / 50 ] simplifiying candidate # 1544869038.790 * * * * [misc]progress: [ 34 / 50 ] simplifiying candidate # 1544869038.790 * * * * [misc]progress: [ 35 / 50 ] simplifiying candidate # 1544869038.790 * [enter]simplify: Simplifying (cbrt (exp re)) 1544869038.791 * * [misc]simplify: iters left: 2 (3 enodes) 1544869038.792 * [exit]simplify: Simplified to (cbrt (exp re)) 1544869038.792 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (expm1 (log1p (* (* (sin im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))))) 1544869038.792 * * * * [misc]progress: [ 36 / 50 ] simplifiying candidate # 1544869038.792 * [enter]simplify: Simplifying (sqrt (exp re)) 1544869038.793 * * [misc]simplify: iters left: 2 (3 enodes) 1544869038.794 * [exit]simplify: Simplified to (sqrt (exp re)) 1544869038.794 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (expm1 (log1p (* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))))) 1544869038.794 * * * * [misc]progress: [ 37 / 50 ] simplifiying candidate # 1544869038.794 * [enter]simplify: Simplifying (exp re) 1544869038.795 * * [misc]simplify: iters left: 1 (2 enodes) 1544869038.795 * [exit]simplify: Simplified to (exp re) 1544869038.795 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (expm1 (log1p (* (* (sin im) 1) (exp re))))) 1544869038.795 * * * * [misc]progress: [ 38 / 50 ] simplifiying candidate # 1544869038.796 * [enter]simplify: Simplifying (* (cbrt (sin im)) (cbrt (sin im))) 1544869038.796 * * [misc]simplify: iters left: 4 (4 enodes) 1544869038.797 * [exit]simplify: Simplified to (* (cbrt (sin im)) (cbrt (sin im))) 1544869038.798 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (expm1 (log1p (* (* (cbrt (sin im)) (cbrt (sin im))) (* (cbrt (sin im)) (exp re)))))) 1544869038.798 * * * * [misc]progress: [ 39 / 50 ] simplifiying candidate # 1544869038.798 * [enter]simplify: Simplifying (sqrt (sin im)) 1544869038.798 * * [misc]simplify: iters left: 2 (3 enodes) 1544869038.799 * [exit]simplify: Simplified to (sqrt (sin im)) 1544869038.799 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (expm1 (log1p (* (sqrt (sin im)) (* (sqrt (sin im)) (exp re)))))) 1544869038.799 * * * * [misc]progress: [ 40 / 50 ] simplifiying candidate # 1544869038.799 * * * * [misc]progress: [ 41 / 50 ] simplifiying candidate # 1544869038.799 * * * * [misc]progress: [ 42 / 50 ] simplifiying candidate # 1544869038.800 * [enter]simplify: Simplifying (- (+ (* re im) im) (* 1/2 (pow im 2))) 1544869038.800 * * [misc]simplify: iters left: 6 (9 enodes) 1544869038.805 * * [misc]simplify: iters left: 5 (21 enodes) 1544869038.816 * * [misc]simplify: iters left: 4 (48 enodes) 1544869038.836 * * [misc]simplify: iters left: 3 (84 enodes) 1544869038.905 * * [misc]simplify: iters left: 2 (146 enodes) 1544869038.970 * * [misc]simplify: iters left: 1 (224 enodes) 1544869039.142 * [exit]simplify: Simplified to (fma (fma im -1/2 re) im im) 1544869039.142 * [misc]simplify: Simplified (2 1) to (λ (re im) (expm1 (fma (fma im -1/2 re) im im))) 1544869039.142 * * * * [misc]progress: [ 43 / 50 ] simplifiying candidate # 1544869039.142 * [enter]simplify: Simplifying (log (+ (* (sin im) (exp re)) 1)) 1544869039.143 * * [misc]simplify: iters left: 6 (8 enodes) 1544869039.145 * * [misc]simplify: iters left: 5 (13 enodes) 1544869039.147 * * [misc]simplify: iters left: 4 (15 enodes) 1544869039.149 * [exit]simplify: Simplified to (log (fma (exp re) (sin im) 1)) 1544869039.149 * [misc]simplify: Simplified (2 1) to (λ (re im) (expm1 (log (fma (exp re) (sin im) 1)))) 1544869039.149 * * * * [misc]progress: [ 44 / 50 ] simplifiying candidate # 1544869039.149 * [enter]simplify: Simplifying (log (+ (* (sin im) (exp re)) 1)) 1544869039.150 * * [misc]simplify: iters left: 6 (8 enodes) 1544869039.151 * * [misc]simplify: iters left: 5 (13 enodes) 1544869039.153 * * [misc]simplify: iters left: 4 (15 enodes) 1544869039.158 * [exit]simplify: Simplified to (log (fma (exp re) (sin im) 1)) 1544869039.158 * [misc]simplify: Simplified (2 1) to (λ (re im) (expm1 (log (fma (exp re) (sin im) 1)))) 1544869039.158 * * * * [misc]progress: [ 45 / 50 ] simplifiying candidate # 1544869039.158 * [enter]simplify: Simplifying (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869039.159 * * [misc]simplify: iters left: 6 (9 enodes) 1544869039.162 * * [misc]simplify: iters left: 5 (23 enodes) 1544869039.170 * * [misc]simplify: iters left: 4 (54 enodes) 1544869039.184 * * [misc]simplify: iters left: 3 (101 enodes) 1544869039.244 * * [misc]simplify: iters left: 2 (179 enodes) 1544869039.326 * * [misc]simplify: iters left: 1 (272 enodes) 1544869039.529 * [exit]simplify: Simplified to (fma (* im im) (* -1/6 im) (fma im re im)) 1544869039.529 * [misc]simplify: Simplified (2) to (λ (re im) (fma (* im im) (* -1/6 im) (fma im re im))) 1544869039.529 * * * * [misc]progress: [ 46 / 50 ] simplifiying candidate # 1544869039.530 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869039.530 * * [misc]simplify: iters left: 3 (5 enodes) 1544869039.532 * * [misc]simplify: iters left: 2 (6 enodes) 1544869039.534 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869039.534 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1544869039.534 * * * * [misc]progress: [ 47 / 50 ] simplifiying candidate # 1544869039.535 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869039.535 * * [misc]simplify: iters left: 3 (5 enodes) 1544869039.537 * * [misc]simplify: iters left: 2 (6 enodes) 1544869039.539 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869039.539 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1544869039.539 * * * * [misc]progress: [ 48 / 50 ] simplifiying candidate # 1544869039.539 * [enter]simplify: Simplifying (- (+ (* re im) im) (* 1/6 (pow im 3))) 1544869039.540 * * [misc]simplify: iters left: 6 (9 enodes) 1544869039.544 * * [misc]simplify: iters left: 5 (23 enodes) 1544869039.559 * * [misc]simplify: iters left: 4 (54 enodes) 1544869039.588 * * [misc]simplify: iters left: 3 (101 enodes) 1544869039.675 * * [misc]simplify: iters left: 2 (179 enodes) 1544869039.739 * * [misc]simplify: iters left: 1 (272 enodes) 1544869039.887 * [exit]simplify: Simplified to (fma (* im im) (* -1/6 im) (fma im re im)) 1544869039.887 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (expm1 (log1p (fma (* im im) (* -1/6 im) (fma im re im))))) 1544869039.887 * * * * [misc]progress: [ 49 / 50 ] simplifiying candidate # 1544869039.887 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869039.888 * * [misc]simplify: iters left: 3 (5 enodes) 1544869039.890 * * [misc]simplify: iters left: 2 (6 enodes) 1544869039.892 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869039.892 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (expm1 (log1p (* (exp re) (sin im))))) 1544869039.892 * * * * [misc]progress: [ 50 / 50 ] simplifiying candidate # 1544869039.892 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1544869039.893 * * [misc]simplify: iters left: 3 (5 enodes) 1544869039.895 * * [misc]simplify: iters left: 2 (6 enodes) 1544869039.897 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1544869039.897 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (expm1 (log1p (* (exp re) (sin im))))) 1544869039.897 * * * [misc]progress: adding candidates to table 1544869040.673 * [misc]progress: [Phase 3 of 3] Extracting. 1544869040.673 * * [misc]regime: Finding splitpoints for: (# #) 1544869040.673 * * * [misc]regime-changes: Trying 4 branch expressions: (im (sin im) re (exp re)) 1544869040.673 * * * * [misc]regimes: Trying to branch on im from (# #) 1544869040.718 * * * * [misc]regimes: Trying to branch on (sin im) from (# #) 1544869040.753 * * * * [misc]regimes: Trying to branch on re from (# #) 1544869040.778 * * * * [misc]regimes: Trying to branch on (exp re) from (# #) 1544869040.821 * * * [misc]regime: Found split indices: #