1540367134.882 * [misc]progress: [Phase 1 of 3] Setting up. 1540367134.882 * * * [misc]progress: [1/2] Preparing points 1540367134.882 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540367134.883 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540367134.884 * * * * [misc]points: Setting MPFR precision to 64 1540367134.885 * * * * [misc]points: Setting MPFR precision to 320 1540367134.885 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540367134.886 * * * * [misc]points: Setting MPFR precision to 64 1540367134.886 * * * * [misc]points: Setting MPFR precision to 320 1540367134.887 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540367134.888 * * * * [misc]points: Setting MPFR precision to 64 1540367134.889 * * * * [misc]points: Setting MPFR precision to 320 1540367134.890 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540367134.891 * * * * [misc]points: Setting MPFR precision to 64 1540367134.893 * * * * [misc]points: Setting MPFR precision to 320 1540367134.895 * * * * [misc]points: Computing exacts for 256 points 1540367134.895 * * * * [misc]points: Setting MPFR precision to 64 1540367134.901 * * * * [misc]points: Setting MPFR precision to 320 1540367134.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367134.907 * * * * [misc]points: Sampling 70 additional inputs, on iter 1 have 186 / 256 1540367134.908 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1540367134.908 * * * * [misc]points: Setting MPFR precision to 64 1540367134.909 * * * * [misc]points: Setting MPFR precision to 320 1540367134.909 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1540367134.910 * * * * [misc]points: Setting MPFR precision to 64 1540367134.910 * * * * [misc]points: Setting MPFR precision to 320 1540367134.911 * * * * [misc]points: Computing exacts for 70 points 1540367134.911 * * * * [misc]points: Setting MPFR precision to 64 1540367134.913 * * * * [misc]points: Setting MPFR precision to 320 1540367134.915 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367134.915 * * * * [misc]points: Sampling 16 additional inputs, on iter 2 have 240 / 256 1540367134.915 * * * * [misc]points: Computing exacts for 16 points 1540367134.915 * * * * [misc]points: Setting MPFR precision to 64 1540367134.916 * * * * [misc]points: Setting MPFR precision to 320 1540367134.916 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367134.916 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 254 / 256 1540367134.916 * * * * [misc]points: Computing exacts for 4 points 1540367134.917 * * * * [misc]points: Setting MPFR precision to 64 1540367134.917 * * * * [misc]points: Setting MPFR precision to 320 1540367134.917 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367134.917 * * * * [exit]points: Sampled 257 points with exact outputs 1540367134.917 * * * [misc]progress: [2/2] Setting up program. 1540367134.920 * [misc]progress: [Phase 2 of 3] Improving. 1540367134.920 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1540367134.920 * * [misc]simplify: iters left: 3 (5 enodes) 1540367134.921 * * [misc]simplify: iters left: 2 (6 enodes) 1540367134.921 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1540367134.927 * * [misc]progress: iteration 1 / 4 1540367134.927 * * * [misc]progress: picking best candidate 1540367134.929 * * * * [misc]pick: Picked # 1540367134.929 * * * [misc]progress: localizing error 1540367134.947 * * * [misc]progress: generating rewritten candidates 1540367134.947 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1540367134.951 * * * [misc]progress: generating series expansions 1540367134.951 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1540367134.952 * [misc]backup-simplify: Simplify (* (cos im) (exp re)) into (* (cos im) (exp re)) 1540367134.952 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (im re) around 0 1540367134.952 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1540367134.952 * [misc]taylor: Taking taylor expansion of (cos im) in re 1540367134.952 * [misc]taylor: Taking taylor expansion of im in re 1540367134.952 * [misc]backup-simplify: Simplify im into im 1540367134.952 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1540367134.952 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1540367134.952 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367134.952 * [misc]taylor: Taking taylor expansion of re in re 1540367134.952 * [misc]backup-simplify: Simplify 0 into 0 1540367134.952 * [misc]backup-simplify: Simplify 1 into 1 1540367134.952 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367134.952 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of im in im 1540367134.952 * [misc]backup-simplify: Simplify 0 into 0 1540367134.952 * [misc]backup-simplify: Simplify 1 into 1 1540367134.952 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of re in im 1540367134.952 * [misc]backup-simplify: Simplify re into re 1540367134.952 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367134.952 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of im in im 1540367134.952 * [misc]backup-simplify: Simplify 0 into 0 1540367134.952 * [misc]backup-simplify: Simplify 1 into 1 1540367134.952 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367134.952 * [misc]taylor: Taking taylor expansion of re in im 1540367134.952 * [misc]backup-simplify: Simplify re into re 1540367134.952 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367134.952 * [misc]backup-simplify: Simplify (* 1 (exp re)) into (exp re) 1540367134.952 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367134.952 * [misc]taylor: Taking taylor expansion of re in re 1540367134.952 * [misc]backup-simplify: Simplify 0 into 0 1540367134.952 * [misc]backup-simplify: Simplify 1 into 1 1540367134.952 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367134.952 * [misc]backup-simplify: Simplify 1 into 1 1540367134.954 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1540367134.954 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367134.954 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp re))) into 0 1540367134.954 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.954 * [misc]backup-simplify: Simplify 0 into 0 1540367134.954 * [misc]backup-simplify: Simplify 0 into 0 1540367134.955 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540367134.955 * [misc]backup-simplify: Simplify 1 into 1 1540367134.956 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367134.957 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540367134.957 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp re)))) into (- (* 1/2 (exp re))) 1540367134.957 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp re))) in re 1540367134.957 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp re)) in re 1540367134.957 * [misc]taylor: Taking taylor expansion of 1/2 in re 1540367134.957 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540367134.957 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367134.957 * [misc]taylor: Taking taylor expansion of re in re 1540367134.957 * [misc]backup-simplify: Simplify 0 into 0 1540367134.957 * [misc]backup-simplify: Simplify 1 into 1 1540367134.957 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367134.958 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540367134.958 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1540367134.958 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540367134.958 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1 (* re 1)) 1)) into (- (+ re 1) (* 1/2 (pow im 2))) 1540367134.958 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367134.958 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1540367134.958 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367134.958 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367134.958 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367134.958 * [misc]taylor: Taking taylor expansion of im in re 1540367134.958 * [misc]backup-simplify: Simplify im into im 1540367134.958 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367134.958 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367134.958 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367134.958 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367134.958 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367134.958 * [misc]taylor: Taking taylor expansion of re in re 1540367134.958 * [misc]backup-simplify: Simplify 0 into 0 1540367134.958 * [misc]backup-simplify: Simplify 1 into 1 1540367134.958 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367134.958 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367134.958 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of im in im 1540367134.959 * [misc]backup-simplify: Simplify 0 into 0 1540367134.959 * [misc]backup-simplify: Simplify 1 into 1 1540367134.959 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367134.959 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367134.959 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of re in im 1540367134.959 * [misc]backup-simplify: Simplify re into re 1540367134.959 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367134.959 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367134.959 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of im in im 1540367134.959 * [misc]backup-simplify: Simplify 0 into 0 1540367134.959 * [misc]backup-simplify: Simplify 1 into 1 1540367134.959 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367134.959 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367134.959 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367134.959 * [misc]taylor: Taking taylor expansion of re in im 1540367134.959 * [misc]backup-simplify: Simplify re into re 1540367134.959 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367134.959 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367134.959 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367134.959 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367134.959 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367134.959 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367134.959 * [misc]taylor: Taking taylor expansion of im in re 1540367134.959 * [misc]backup-simplify: Simplify im into im 1540367134.960 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367134.960 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367134.960 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367134.960 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367134.960 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367134.960 * [misc]taylor: Taking taylor expansion of re in re 1540367134.960 * [misc]backup-simplify: Simplify 0 into 0 1540367134.960 * [misc]backup-simplify: Simplify 1 into 1 1540367134.960 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367134.960 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367134.960 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367134.960 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367134.960 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.960 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367134.960 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367134.960 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367134.961 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540367134.961 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367134.961 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367134.961 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.961 * [misc]backup-simplify: Simplify 0 into 0 1540367134.961 * [misc]backup-simplify: Simplify 0 into 0 1540367134.962 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367134.962 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1540367134.962 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540367134.963 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367134.963 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1540367134.963 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.963 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367134.963 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367134.963 * [misc]backup-simplify: Simplify 0 into 0 1540367134.963 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367134.965 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367134.965 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367134.965 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.965 * [misc]backup-simplify: Simplify 0 into 0 1540367134.965 * [misc]backup-simplify: Simplify 0 into 0 1540367134.965 * [misc]backup-simplify: Simplify 0 into 0 1540367134.966 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367134.966 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367134.966 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367134.967 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367134.967 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367134.967 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.967 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367134.967 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367134.967 * [misc]backup-simplify: Simplify 0 into 0 1540367134.967 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367134.969 * [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 1540367134.970 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1540367134.970 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.970 * [misc]backup-simplify: Simplify 0 into 0 1540367134.970 * [misc]backup-simplify: Simplify 0 into 0 1540367134.970 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1540367134.970 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367134.970 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1540367134.970 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367134.970 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367134.970 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367134.970 * [misc]taylor: Taking taylor expansion of -1 in re 1540367134.970 * [misc]backup-simplify: Simplify -1 into -1 1540367134.970 * [misc]taylor: Taking taylor expansion of im in re 1540367134.970 * [misc]backup-simplify: Simplify im into im 1540367134.970 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367134.970 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367134.970 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367134.970 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367134.970 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367134.970 * [misc]taylor: Taking taylor expansion of -1 in re 1540367134.970 * [misc]backup-simplify: Simplify -1 into -1 1540367134.970 * [misc]taylor: Taking taylor expansion of re in re 1540367134.970 * [misc]backup-simplify: Simplify 0 into 0 1540367134.970 * [misc]backup-simplify: Simplify 1 into 1 1540367134.970 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367134.970 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367134.971 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of -1 in im 1540367134.971 * [misc]backup-simplify: Simplify -1 into -1 1540367134.971 * [misc]taylor: Taking taylor expansion of im in im 1540367134.971 * [misc]backup-simplify: Simplify 0 into 0 1540367134.971 * [misc]backup-simplify: Simplify 1 into 1 1540367134.971 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367134.971 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367134.971 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of -1 in im 1540367134.971 * [misc]backup-simplify: Simplify -1 into -1 1540367134.971 * [misc]taylor: Taking taylor expansion of re in im 1540367134.971 * [misc]backup-simplify: Simplify re into re 1540367134.971 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367134.971 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367134.971 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of -1 in im 1540367134.971 * [misc]backup-simplify: Simplify -1 into -1 1540367134.971 * [misc]taylor: Taking taylor expansion of im in im 1540367134.971 * [misc]backup-simplify: Simplify 0 into 0 1540367134.971 * [misc]backup-simplify: Simplify 1 into 1 1540367134.971 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367134.971 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367134.971 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367134.971 * [misc]taylor: Taking taylor expansion of -1 in im 1540367134.971 * [misc]backup-simplify: Simplify -1 into -1 1540367134.971 * [misc]taylor: Taking taylor expansion of re in im 1540367134.971 * [misc]backup-simplify: Simplify re into re 1540367134.971 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367134.971 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367134.972 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367134.972 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367134.972 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367134.972 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367134.972 * [misc]taylor: Taking taylor expansion of -1 in re 1540367134.972 * [misc]backup-simplify: Simplify -1 into -1 1540367134.972 * [misc]taylor: Taking taylor expansion of im in re 1540367134.972 * [misc]backup-simplify: Simplify im into im 1540367134.972 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367134.972 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367134.972 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367134.972 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367134.972 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367134.972 * [misc]taylor: Taking taylor expansion of -1 in re 1540367134.972 * [misc]backup-simplify: Simplify -1 into -1 1540367134.972 * [misc]taylor: Taking taylor expansion of re in re 1540367134.972 * [misc]backup-simplify: Simplify 0 into 0 1540367134.972 * [misc]backup-simplify: Simplify 1 into 1 1540367134.972 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367134.972 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367134.972 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367134.972 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367134.972 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.972 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367134.972 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367134.972 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367134.973 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540367134.973 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367134.973 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367134.973 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.973 * [misc]backup-simplify: Simplify 0 into 0 1540367134.973 * [misc]backup-simplify: Simplify 0 into 0 1540367134.974 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367134.974 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1540367134.974 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540367134.975 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367134.975 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1540367134.975 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.975 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367134.975 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367134.975 * [misc]backup-simplify: Simplify 0 into 0 1540367134.975 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367134.976 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367134.977 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367134.977 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.977 * [misc]backup-simplify: Simplify 0 into 0 1540367134.977 * [misc]backup-simplify: Simplify 0 into 0 1540367134.977 * [misc]backup-simplify: Simplify 0 into 0 1540367134.978 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367134.978 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367134.978 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367134.979 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367134.979 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367134.979 * [misc]backup-simplify: Simplify (- 0) into 0 1540367134.979 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367134.980 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367134.980 * [misc]backup-simplify: Simplify 0 into 0 1540367134.980 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367134.983 * [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 1540367134.983 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1540367134.983 * [misc]taylor: Taking taylor expansion of 0 in re 1540367134.983 * [misc]backup-simplify: Simplify 0 into 0 1540367134.983 * [misc]backup-simplify: Simplify 0 into 0 1540367134.983 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (cos im) (exp re)) 1540367134.983 * * * [misc]progress: simplifying candidates 1540367134.983 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1540367134.983 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367134.983 * * [misc]simplify: iters left: 3 (5 enodes) 1540367134.984 * * [misc]simplify: iters left: 2 (6 enodes) 1540367134.985 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367134.985 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1)) 1540367134.985 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1540367134.985 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1540367134.985 * [enter]simplify: Simplifying (+ (log (cos im)) re) 1540367134.985 * * [misc]simplify: iters left: 4 (5 enodes) 1540367134.986 * * [misc]simplify: iters left: 3 (6 enodes) 1540367134.986 * [exit]simplify: Simplified to (+ re (log (cos im))) 1540367134.986 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ re (log (cos im))))) 1540367134.986 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1540367134.986 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1540367134.986 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1540367134.987 * [enter]simplify: Simplifying (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) 1540367134.987 * * [misc]simplify: iters left: 6 (9 enodes) 1540367134.988 * * [misc]simplify: iters left: 5 (18 enodes) 1540367134.991 * * [misc]simplify: iters left: 4 (47 enodes) 1540367134.999 * * [misc]simplify: iters left: 3 (80 enodes) 1540367135.010 * * [misc]simplify: iters left: 2 (100 enodes) 1540367135.023 * * [misc]simplify: iters left: 1 (101 enodes) 1540367135.031 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367135.031 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3))) 1540367135.031 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1540367135.031 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1540367135.031 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1540367135.031 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1540367135.031 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1540367135.031 * [enter]simplify: Simplifying (cbrt (exp re)) 1540367135.031 * * [misc]simplify: iters left: 2 (3 enodes) 1540367135.032 * [exit]simplify: Simplified to (cbrt (exp re)) 1540367135.032 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))) 1540367135.032 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1540367135.032 * [enter]simplify: Simplifying (sqrt (exp re)) 1540367135.032 * * [misc]simplify: iters left: 2 (3 enodes) 1540367135.032 * [exit]simplify: Simplified to (sqrt (exp re)) 1540367135.032 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1540367135.032 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1540367135.032 * [enter]simplify: Simplifying (exp re) 1540367135.033 * * [misc]simplify: iters left: 1 (2 enodes) 1540367135.033 * [exit]simplify: Simplified to (exp re) 1540367135.033 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) 1) (exp re))) 1540367135.033 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1540367135.033 * [enter]simplify: Simplifying (* (cbrt (cos im)) (cbrt (cos im))) 1540367135.033 * * [misc]simplify: iters left: 4 (4 enodes) 1540367135.034 * [exit]simplify: Simplified to (* (cbrt (cos im)) (cbrt (cos im))) 1540367135.034 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cos im)) (exp re)))) 1540367135.034 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1540367135.034 * [enter]simplify: Simplifying (sqrt (cos im)) 1540367135.034 * * [misc]simplify: iters left: 2 (3 enodes) 1540367135.034 * [exit]simplify: Simplified to (sqrt (cos im)) 1540367135.034 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (cos im)) (* (sqrt (cos im)) (exp re)))) 1540367135.034 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1540367135.034 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1540367135.034 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1540367135.034 * [enter]simplify: Simplifying (- (+ re 1) (* 1/2 (pow im 2))) 1540367135.034 * * [misc]simplify: iters left: 5 (9 enodes) 1540367135.036 * * [misc]simplify: iters left: 4 (18 enodes) 1540367135.039 * * [misc]simplify: iters left: 3 (37 enodes) 1540367135.044 * * [misc]simplify: iters left: 2 (52 enodes) 1540367135.049 * * [misc]simplify: iters left: 1 (60 enodes) 1540367135.056 * [exit]simplify: Simplified to (+ (* -1/2 (* im im)) (+ 1 re)) 1540367135.056 * [misc]simplify: Simplified (2) to (λ (re im) (+ (* -1/2 (* im im)) (+ 1 re))) 1540367135.056 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1540367135.056 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.056 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.057 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.058 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.058 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1540367135.058 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1540367135.058 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.058 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.059 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.060 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.060 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1540367135.060 * * * [misc]progress: adding candidates to table 1540367135.227 * * [misc]progress: iteration 2 / 4 1540367135.227 * * * [misc]progress: picking best candidate 1540367135.230 * * * * [misc]pick: Picked # 1540367135.230 * * * [misc]progress: localizing error 1540367135.238 * * * [misc]progress: generating rewritten candidates 1540367135.238 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) 1540367135.287 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1540367135.309 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1540367135.379 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2) 1540367135.387 * * * [misc]progress: generating series expansions 1540367135.387 * * * * [misc]progress: [ 1 / 4 ] generating series at (2) 1540367135.388 * [misc]backup-simplify: Simplify (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) into (* (cos im) (exp re)) 1540367135.388 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (im re) around 0 1540367135.388 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1540367135.388 * [misc]taylor: Taking taylor expansion of (cos im) in re 1540367135.388 * [misc]taylor: Taking taylor expansion of im in re 1540367135.388 * [misc]backup-simplify: Simplify im into im 1540367135.388 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1540367135.388 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1540367135.388 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.388 * [misc]taylor: Taking taylor expansion of re in re 1540367135.388 * [misc]backup-simplify: Simplify 0 into 0 1540367135.388 * [misc]backup-simplify: Simplify 1 into 1 1540367135.388 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.388 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of im in im 1540367135.388 * [misc]backup-simplify: Simplify 0 into 0 1540367135.388 * [misc]backup-simplify: Simplify 1 into 1 1540367135.388 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of re in im 1540367135.388 * [misc]backup-simplify: Simplify re into re 1540367135.388 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.388 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of im in im 1540367135.388 * [misc]backup-simplify: Simplify 0 into 0 1540367135.388 * [misc]backup-simplify: Simplify 1 into 1 1540367135.388 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.388 * [misc]taylor: Taking taylor expansion of re in im 1540367135.388 * [misc]backup-simplify: Simplify re into re 1540367135.388 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.389 * [misc]backup-simplify: Simplify (* 1 (exp re)) into (exp re) 1540367135.389 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.389 * [misc]taylor: Taking taylor expansion of re in re 1540367135.389 * [misc]backup-simplify: Simplify 0 into 0 1540367135.389 * [misc]backup-simplify: Simplify 1 into 1 1540367135.389 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.389 * [misc]backup-simplify: Simplify 1 into 1 1540367135.390 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.390 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.391 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp re))) into 0 1540367135.391 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.391 * [misc]backup-simplify: Simplify 0 into 0 1540367135.391 * [misc]backup-simplify: Simplify 0 into 0 1540367135.392 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540367135.392 * [misc]backup-simplify: Simplify 1 into 1 1540367135.394 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.395 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540367135.396 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp re)))) into (- (* 1/2 (exp re))) 1540367135.396 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp re))) in re 1540367135.396 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp re)) in re 1540367135.396 * [misc]taylor: Taking taylor expansion of 1/2 in re 1540367135.396 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540367135.396 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.396 * [misc]taylor: Taking taylor expansion of re in re 1540367135.396 * [misc]backup-simplify: Simplify 0 into 0 1540367135.396 * [misc]backup-simplify: Simplify 1 into 1 1540367135.396 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.396 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540367135.396 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1540367135.396 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540367135.396 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1 (* re 1)) 1)) into (- (+ re 1) (* 1/2 (pow im 2))) 1540367135.397 * [misc]backup-simplify: Simplify (cbrt (* (* (* (cos (/ 1 im)) (exp (/ 1 re))) (* (cos (/ 1 im)) (exp (/ 1 re)))) (* (cos (/ 1 im)) (exp (/ 1 re))))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.397 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1540367135.397 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367135.397 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.397 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.397 * [misc]taylor: Taking taylor expansion of im in re 1540367135.397 * [misc]backup-simplify: Simplify im into im 1540367135.397 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.397 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.397 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.397 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.397 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.397 * [misc]taylor: Taking taylor expansion of re in re 1540367135.397 * [misc]backup-simplify: Simplify 0 into 0 1540367135.397 * [misc]backup-simplify: Simplify 1 into 1 1540367135.397 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.398 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.398 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of im in im 1540367135.398 * [misc]backup-simplify: Simplify 0 into 0 1540367135.398 * [misc]backup-simplify: Simplify 1 into 1 1540367135.398 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.398 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.398 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of re in im 1540367135.398 * [misc]backup-simplify: Simplify re into re 1540367135.398 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.398 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.398 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.398 * [misc]taylor: Taking taylor expansion of im in im 1540367135.398 * [misc]backup-simplify: Simplify 0 into 0 1540367135.398 * [misc]backup-simplify: Simplify 1 into 1 1540367135.399 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.399 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.399 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.399 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.399 * [misc]taylor: Taking taylor expansion of re in im 1540367135.399 * [misc]backup-simplify: Simplify re into re 1540367135.399 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.399 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.399 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.399 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367135.399 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.399 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.399 * [misc]taylor: Taking taylor expansion of im in re 1540367135.399 * [misc]backup-simplify: Simplify im into im 1540367135.399 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.399 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.399 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.399 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.399 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.399 * [misc]taylor: Taking taylor expansion of re in re 1540367135.399 * [misc]backup-simplify: Simplify 0 into 0 1540367135.399 * [misc]backup-simplify: Simplify 1 into 1 1540367135.400 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.400 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.400 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.400 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.400 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.400 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.400 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.400 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.401 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540367135.402 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.402 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.402 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.402 * [misc]backup-simplify: Simplify 0 into 0 1540367135.402 * [misc]backup-simplify: Simplify 0 into 0 1540367135.402 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.402 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1540367135.403 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540367135.404 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.404 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1540367135.404 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.404 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.404 * [misc]backup-simplify: Simplify 0 into 0 1540367135.404 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.406 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.407 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.407 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.407 * [misc]backup-simplify: Simplify 0 into 0 1540367135.407 * [misc]backup-simplify: Simplify 0 into 0 1540367135.407 * [misc]backup-simplify: Simplify 0 into 0 1540367135.408 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.408 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.408 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.409 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.410 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.410 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.410 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.410 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.410 * [misc]backup-simplify: Simplify 0 into 0 1540367135.410 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.414 * [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 1540367135.414 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1540367135.414 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.414 * [misc]backup-simplify: Simplify 0 into 0 1540367135.414 * [misc]backup-simplify: Simplify 0 into 0 1540367135.415 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1540367135.415 * [misc]backup-simplify: Simplify (cbrt (* (* (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) (* (cos (/ 1 (- im))) (exp (/ 1 (- re))))) (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.415 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1540367135.415 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367135.415 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.415 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.415 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.415 * [misc]backup-simplify: Simplify -1 into -1 1540367135.415 * [misc]taylor: Taking taylor expansion of im in re 1540367135.415 * [misc]backup-simplify: Simplify im into im 1540367135.415 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.415 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.416 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.416 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.416 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.416 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.416 * [misc]backup-simplify: Simplify -1 into -1 1540367135.416 * [misc]taylor: Taking taylor expansion of re in re 1540367135.416 * [misc]backup-simplify: Simplify 0 into 0 1540367135.416 * [misc]backup-simplify: Simplify 1 into 1 1540367135.416 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.416 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.416 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367135.416 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.416 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.416 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.416 * [misc]backup-simplify: Simplify -1 into -1 1540367135.416 * [misc]taylor: Taking taylor expansion of im in im 1540367135.416 * [misc]backup-simplify: Simplify 0 into 0 1540367135.416 * [misc]backup-simplify: Simplify 1 into 1 1540367135.416 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.416 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.416 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.416 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.416 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.416 * [misc]backup-simplify: Simplify -1 into -1 1540367135.417 * [misc]taylor: Taking taylor expansion of re in im 1540367135.417 * [misc]backup-simplify: Simplify re into re 1540367135.417 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.417 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.417 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367135.417 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.417 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.417 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.417 * [misc]backup-simplify: Simplify -1 into -1 1540367135.417 * [misc]taylor: Taking taylor expansion of im in im 1540367135.417 * [misc]backup-simplify: Simplify 0 into 0 1540367135.417 * [misc]backup-simplify: Simplify 1 into 1 1540367135.417 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.417 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.417 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.417 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.417 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.417 * [misc]backup-simplify: Simplify -1 into -1 1540367135.417 * [misc]taylor: Taking taylor expansion of re in im 1540367135.417 * [misc]backup-simplify: Simplify re into re 1540367135.417 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.417 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.418 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.418 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367135.418 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.418 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.418 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.418 * [misc]backup-simplify: Simplify -1 into -1 1540367135.418 * [misc]taylor: Taking taylor expansion of im in re 1540367135.418 * [misc]backup-simplify: Simplify im into im 1540367135.418 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.418 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.418 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.418 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.418 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.418 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.418 * [misc]backup-simplify: Simplify -1 into -1 1540367135.418 * [misc]taylor: Taking taylor expansion of re in re 1540367135.418 * [misc]backup-simplify: Simplify 0 into 0 1540367135.418 * [misc]backup-simplify: Simplify 1 into 1 1540367135.418 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.418 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.418 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.419 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.419 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.419 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.419 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.419 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.419 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540367135.420 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.421 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.421 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.421 * [misc]backup-simplify: Simplify 0 into 0 1540367135.421 * [misc]backup-simplify: Simplify 0 into 0 1540367135.421 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.421 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1540367135.421 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540367135.422 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.423 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1540367135.423 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.423 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.423 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.423 * [misc]backup-simplify: Simplify 0 into 0 1540367135.423 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.425 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.425 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.425 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.425 * [misc]backup-simplify: Simplify 0 into 0 1540367135.425 * [misc]backup-simplify: Simplify 0 into 0 1540367135.426 * [misc]backup-simplify: Simplify 0 into 0 1540367135.427 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.427 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.427 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.428 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.428 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.429 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.429 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.429 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.429 * [misc]backup-simplify: Simplify 0 into 0 1540367135.429 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.432 * [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 1540367135.433 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1540367135.433 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.433 * [misc]backup-simplify: Simplify 0 into 0 1540367135.433 * [misc]backup-simplify: Simplify 0 into 0 1540367135.433 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (cos im) (exp re)) 1540367135.433 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1540367135.433 * [misc]backup-simplify: Simplify (* (* (cos im) (exp re)) (* (cos im) (exp re))) into (* (pow (cos im) 2) (pow (exp re) 2)) 1540367135.433 * [misc]approximate: Taking taylor expansion of (* (pow (cos im) 2) (pow (exp re) 2)) in (im re) around 0 1540367135.433 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 2) (pow (exp re) 2)) in re 1540367135.434 * [misc]taylor: Taking taylor expansion of (pow (cos im) 2) in re 1540367135.434 * [misc]taylor: Taking taylor expansion of (cos im) in re 1540367135.434 * [misc]taylor: Taking taylor expansion of im in re 1540367135.434 * [misc]backup-simplify: Simplify im into im 1540367135.434 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1540367135.434 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1540367135.434 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1540367135.434 * [misc]backup-simplify: Simplify (* (sin im) 0) into 0 1540367135.434 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.434 * [misc]backup-simplify: Simplify (+ (cos im) 0) into (cos im) 1540367135.434 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in re 1540367135.434 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.434 * [misc]taylor: Taking taylor expansion of re in re 1540367135.434 * [misc]backup-simplify: Simplify 0 into 0 1540367135.434 * [misc]backup-simplify: Simplify 1 into 1 1540367135.434 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.434 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 2) (pow (exp re) 2)) in im 1540367135.434 * [misc]taylor: Taking taylor expansion of (pow (cos im) 2) in im 1540367135.434 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.434 * [misc]taylor: Taking taylor expansion of im in im 1540367135.434 * [misc]backup-simplify: Simplify 0 into 0 1540367135.434 * [misc]backup-simplify: Simplify 1 into 1 1540367135.434 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in im 1540367135.434 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.434 * [misc]taylor: Taking taylor expansion of re in im 1540367135.434 * [misc]backup-simplify: Simplify re into re 1540367135.435 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.435 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 2) (pow (exp re) 2)) in im 1540367135.435 * [misc]taylor: Taking taylor expansion of (pow (cos im) 2) in im 1540367135.435 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.435 * [misc]taylor: Taking taylor expansion of im in im 1540367135.435 * [misc]backup-simplify: Simplify 0 into 0 1540367135.435 * [misc]backup-simplify: Simplify 1 into 1 1540367135.435 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in im 1540367135.435 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.435 * [misc]taylor: Taking taylor expansion of re in im 1540367135.435 * [misc]backup-simplify: Simplify re into re 1540367135.435 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.435 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.435 * [misc]backup-simplify: Simplify (* (exp re) (exp re)) into (pow (exp re) 2) 1540367135.435 * [misc]backup-simplify: Simplify (* 1 (pow (exp re) 2)) into (pow (exp re) 2) 1540367135.435 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in re 1540367135.435 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.435 * [misc]taylor: Taking taylor expansion of re in re 1540367135.435 * [misc]backup-simplify: Simplify 0 into 0 1540367135.435 * [misc]backup-simplify: Simplify 1 into 1 1540367135.435 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.436 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.436 * [misc]backup-simplify: Simplify 1 into 1 1540367135.437 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.437 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (* 0 (exp re))) into 0 1540367135.437 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.437 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540367135.438 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow (exp re) 2))) into 0 1540367135.438 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.438 * [misc]backup-simplify: Simplify 0 into 0 1540367135.438 * [misc]backup-simplify: Simplify 0 into 0 1540367135.439 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540367135.439 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540367135.439 * [misc]backup-simplify: Simplify 2 into 2 1540367135.441 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.441 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (+ (* 0 0) (* 0 (exp re)))) into 0 1540367135.442 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540367135.443 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1540367135.443 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* -1 (pow (exp re) 2)))) into (- (pow (exp re) 2)) 1540367135.443 * [misc]taylor: Taking taylor expansion of (- (pow (exp re) 2)) in re 1540367135.443 * [misc]taylor: Taking taylor expansion of (pow (exp re) 2) in re 1540367135.443 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.443 * [misc]taylor: Taking taylor expansion of re in re 1540367135.443 * [misc]backup-simplify: Simplify 0 into 0 1540367135.443 * [misc]backup-simplify: Simplify 1 into 1 1540367135.443 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.444 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.444 * [misc]backup-simplify: Simplify (- 1) into -1 1540367135.444 * [misc]backup-simplify: Simplify -1 into -1 1540367135.444 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* 1 im) 2)) (+ (* 2 (* re 1)) 1)) into (- (+ (* 2 re) 1) (pow im 2)) 1540367135.444 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 im)) (exp (/ 1 re))) (* (cos (/ 1 im)) (exp (/ 1 re)))) into (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) 1540367135.444 * [misc]approximate: Taking taylor expansion of (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) in (im re) around 0 1540367135.444 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) in re 1540367135.444 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in re 1540367135.444 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.444 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.445 * [misc]taylor: Taking taylor expansion of im in re 1540367135.445 * [misc]backup-simplify: Simplify im into im 1540367135.445 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.445 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.445 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.445 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.445 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.445 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.445 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.445 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 2) in re 1540367135.445 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.445 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.445 * [misc]taylor: Taking taylor expansion of re in re 1540367135.445 * [misc]backup-simplify: Simplify 0 into 0 1540367135.445 * [misc]backup-simplify: Simplify 1 into 1 1540367135.445 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.446 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.446 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of im in im 1540367135.446 * [misc]backup-simplify: Simplify 0 into 0 1540367135.446 * [misc]backup-simplify: Simplify 1 into 1 1540367135.446 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.446 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.446 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 2) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of re in im 1540367135.446 * [misc]backup-simplify: Simplify re into re 1540367135.446 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.446 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.446 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.446 * [misc]taylor: Taking taylor expansion of im in im 1540367135.446 * [misc]backup-simplify: Simplify 0 into 0 1540367135.446 * [misc]backup-simplify: Simplify 1 into 1 1540367135.447 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.447 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.447 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 2) in im 1540367135.447 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.447 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.447 * [misc]taylor: Taking taylor expansion of re in im 1540367135.447 * [misc]backup-simplify: Simplify re into re 1540367135.447 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.447 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.447 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1540367135.447 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (exp (/ 1 re))) into (pow (exp (/ 1 re)) 2) 1540367135.447 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) into (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) 1540367135.448 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 2) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of im in re 1540367135.448 * [misc]backup-simplify: Simplify im into im 1540367135.448 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.448 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.448 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.448 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.448 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.448 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.448 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.448 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 2) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.448 * [misc]taylor: Taking taylor expansion of re in re 1540367135.448 * [misc]backup-simplify: Simplify 0 into 0 1540367135.448 * [misc]backup-simplify: Simplify 1 into 1 1540367135.449 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.449 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.449 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1540367135.449 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (exp (/ 1 re))) into (pow (exp (/ 1 re)) 2) 1540367135.449 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) into (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) 1540367135.449 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) into (* (pow (cos (/ 1 im)) 2) (pow (exp (/ 1 re)) 2)) 1540367135.449 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540367135.451 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.451 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.451 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (cos (/ 1 im)))) into 0 1540367135.451 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 2) 0) (* 0 (pow (exp (/ 1 re)) 2))) into 0 1540367135.451 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.451 * [misc]backup-simplify: Simplify 0 into 0 1540367135.451 * [misc]backup-simplify: Simplify 0 into 0 1540367135.451 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.452 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.452 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1540367135.452 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540367135.453 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.453 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1540367135.453 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.454 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.454 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (cos (/ 1 im)))) into 0 1540367135.454 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 2) 0) (* 0 (pow (exp (/ 1 re)) 2))) into 0 1540367135.454 * [misc]backup-simplify: Simplify 0 into 0 1540367135.454 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.457 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.457 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.457 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))) into 0 1540367135.457 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 2) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2)))) into 0 1540367135.457 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.458 * [misc]backup-simplify: Simplify 0 into 0 1540367135.458 * [misc]backup-simplify: Simplify 0 into 0 1540367135.458 * [misc]backup-simplify: Simplify 0 into 0 1540367135.458 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.459 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.459 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.459 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.459 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.460 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.460 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.460 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.460 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))) into 0 1540367135.460 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 2) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2)))) into 0 1540367135.460 * [misc]backup-simplify: Simplify 0 into 0 1540367135.460 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.463 * [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 1540367135.463 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1540367135.463 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im)))))) into 0 1540367135.464 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2))))) into 0 1540367135.464 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.464 * [misc]backup-simplify: Simplify 0 into 0 1540367135.464 * [misc]backup-simplify: Simplify 0 into 0 1540367135.464 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 (/ 1 im))) 2) (pow (exp (/ 1 (/ 1 re))) 2)) into (* (pow (cos im) 2) (pow (exp re) 2)) 1540367135.464 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) (* (cos (/ 1 (- im))) (exp (/ 1 (- re))))) into (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) 1540367135.464 * [misc]approximate: Taking taylor expansion of (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) in (im re) around 0 1540367135.464 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) in re 1540367135.464 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in re 1540367135.464 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.464 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.464 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.464 * [misc]backup-simplify: Simplify -1 into -1 1540367135.464 * [misc]taylor: Taking taylor expansion of im in re 1540367135.464 * [misc]backup-simplify: Simplify im into im 1540367135.464 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.464 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.464 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.464 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.464 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.465 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.465 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.465 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 2) in re 1540367135.465 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.465 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.465 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.465 * [misc]backup-simplify: Simplify -1 into -1 1540367135.465 * [misc]taylor: Taking taylor expansion of re in re 1540367135.465 * [misc]backup-simplify: Simplify 0 into 0 1540367135.465 * [misc]backup-simplify: Simplify 1 into 1 1540367135.465 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.465 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.465 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.465 * [misc]backup-simplify: Simplify -1 into -1 1540367135.465 * [misc]taylor: Taking taylor expansion of im in im 1540367135.465 * [misc]backup-simplify: Simplify 0 into 0 1540367135.465 * [misc]backup-simplify: Simplify 1 into 1 1540367135.465 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.465 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.465 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 2) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.465 * [misc]backup-simplify: Simplify -1 into -1 1540367135.465 * [misc]taylor: Taking taylor expansion of re in im 1540367135.465 * [misc]backup-simplify: Simplify re into re 1540367135.465 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.465 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.465 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.465 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.465 * [misc]backup-simplify: Simplify -1 into -1 1540367135.465 * [misc]taylor: Taking taylor expansion of im in im 1540367135.465 * [misc]backup-simplify: Simplify 0 into 0 1540367135.465 * [misc]backup-simplify: Simplify 1 into 1 1540367135.466 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.466 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.466 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 2) in im 1540367135.466 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.466 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.466 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.466 * [misc]backup-simplify: Simplify -1 into -1 1540367135.466 * [misc]taylor: Taking taylor expansion of re in im 1540367135.466 * [misc]backup-simplify: Simplify re into re 1540367135.466 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.466 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.466 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1540367135.466 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (exp (/ -1 re))) into (pow (exp (/ -1 re)) 2) 1540367135.466 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) into (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) 1540367135.466 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) in re 1540367135.466 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 2) in re 1540367135.466 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.466 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.466 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.466 * [misc]backup-simplify: Simplify -1 into -1 1540367135.466 * [misc]taylor: Taking taylor expansion of im in re 1540367135.466 * [misc]backup-simplify: Simplify im into im 1540367135.466 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.466 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.466 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.466 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.466 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.467 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.467 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.467 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 2) in re 1540367135.467 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.467 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.467 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.467 * [misc]backup-simplify: Simplify -1 into -1 1540367135.467 * [misc]taylor: Taking taylor expansion of re in re 1540367135.467 * [misc]backup-simplify: Simplify 0 into 0 1540367135.467 * [misc]backup-simplify: Simplify 1 into 1 1540367135.467 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.467 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.467 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1540367135.467 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (exp (/ -1 re))) into (pow (exp (/ -1 re)) 2) 1540367135.467 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) into (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) 1540367135.467 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) into (* (pow (cos (/ -1 im)) 2) (pow (exp (/ -1 re)) 2)) 1540367135.467 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540367135.468 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.468 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.468 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (cos (/ -1 im)))) into 0 1540367135.468 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 2) 0) (* 0 (pow (exp (/ -1 re)) 2))) into 0 1540367135.468 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.469 * [misc]backup-simplify: Simplify 0 into 0 1540367135.469 * [misc]backup-simplify: Simplify 0 into 0 1540367135.469 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.469 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.469 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1540367135.469 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540367135.470 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.470 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1540367135.470 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.470 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (cos (/ -1 im)))) into 0 1540367135.470 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 2) 0) (* 0 (pow (exp (/ -1 re)) 2))) into 0 1540367135.470 * [misc]backup-simplify: Simplify 0 into 0 1540367135.471 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.472 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.472 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.472 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1540367135.472 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 2) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2)))) into 0 1540367135.473 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.473 * [misc]backup-simplify: Simplify 0 into 0 1540367135.473 * [misc]backup-simplify: Simplify 0 into 0 1540367135.473 * [misc]backup-simplify: Simplify 0 into 0 1540367135.473 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.474 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.474 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.474 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.474 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.475 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.475 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.475 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1540367135.475 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 2) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2)))) into 0 1540367135.475 * [misc]backup-simplify: Simplify 0 into 0 1540367135.475 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.477 * [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 1540367135.478 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1540367135.478 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1540367135.478 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2))))) into 0 1540367135.478 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.478 * [misc]backup-simplify: Simplify 0 into 0 1540367135.478 * [misc]backup-simplify: Simplify 0 into 0 1540367135.479 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 (/ 1 (- im)))) 2) (pow (exp (/ -1 (/ 1 (- re)))) 2)) into (* (pow (cos im) 2) (pow (exp re) 2)) 1540367135.479 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1540367135.479 * [misc]backup-simplify: Simplify (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) into (* (pow (cos im) 3) (pow (exp re) 3)) 1540367135.479 * [misc]approximate: Taking taylor expansion of (* (pow (cos im) 3) (pow (exp re) 3)) in (im re) around 0 1540367135.479 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 3) (pow (exp re) 3)) in re 1540367135.479 * [misc]taylor: Taking taylor expansion of (pow (cos im) 3) in re 1540367135.479 * [misc]taylor: Taking taylor expansion of (cos im) in re 1540367135.479 * [misc]taylor: Taking taylor expansion of im in re 1540367135.479 * [misc]backup-simplify: Simplify im into im 1540367135.479 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1540367135.479 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1540367135.479 * [misc]backup-simplify: Simplify (* (cos im) 1) into (cos im) 1540367135.479 * [misc]backup-simplify: Simplify (* (sin im) 0) into 0 1540367135.479 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.479 * [misc]backup-simplify: Simplify (+ (cos im) 0) into (cos im) 1540367135.479 * [misc]taylor: Taking taylor expansion of (pow (exp re) 3) in re 1540367135.479 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.479 * [misc]taylor: Taking taylor expansion of re in re 1540367135.479 * [misc]backup-simplify: Simplify 0 into 0 1540367135.479 * [misc]backup-simplify: Simplify 1 into 1 1540367135.479 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.479 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 3) (pow (exp re) 3)) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of (pow (cos im) 3) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of im in im 1540367135.479 * [misc]backup-simplify: Simplify 0 into 0 1540367135.479 * [misc]backup-simplify: Simplify 1 into 1 1540367135.479 * [misc]taylor: Taking taylor expansion of (pow (exp re) 3) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of re in im 1540367135.479 * [misc]backup-simplify: Simplify re into re 1540367135.479 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.479 * [misc]taylor: Taking taylor expansion of (* (pow (cos im) 3) (pow (exp re) 3)) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of (pow (cos im) 3) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.479 * [misc]taylor: Taking taylor expansion of im in im 1540367135.479 * [misc]backup-simplify: Simplify 0 into 0 1540367135.480 * [misc]backup-simplify: Simplify 1 into 1 1540367135.480 * [misc]taylor: Taking taylor expansion of (pow (exp re) 3) in im 1540367135.480 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.480 * [misc]taylor: Taking taylor expansion of re in im 1540367135.480 * [misc]backup-simplify: Simplify re into re 1540367135.480 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.480 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.480 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.480 * [misc]backup-simplify: Simplify (* (exp re) (exp re)) into (pow (exp re) 2) 1540367135.480 * [misc]backup-simplify: Simplify (* (exp re) (pow (exp re) 2)) into (pow (exp re) 3) 1540367135.480 * [misc]backup-simplify: Simplify (* 1 (pow (exp re) 3)) into (pow (exp re) 3) 1540367135.480 * [misc]taylor: Taking taylor expansion of (pow (exp re) 3) in re 1540367135.480 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.480 * [misc]taylor: Taking taylor expansion of re in re 1540367135.480 * [misc]backup-simplify: Simplify 0 into 0 1540367135.480 * [misc]backup-simplify: Simplify 1 into 1 1540367135.480 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.480 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.480 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.480 * [misc]backup-simplify: Simplify 1 into 1 1540367135.481 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.481 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (* 0 (exp re))) into 0 1540367135.481 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (* 0 (pow (exp re) 2))) into 0 1540367135.481 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.482 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540367135.482 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1540367135.482 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow (exp re) 3))) into 0 1540367135.482 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.482 * [misc]backup-simplify: Simplify 0 into 0 1540367135.482 * [misc]backup-simplify: Simplify 0 into 0 1540367135.483 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540367135.483 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 1)) into 2 1540367135.483 * [misc]backup-simplify: Simplify (+ (* 1 2) (* 1 1)) into 3 1540367135.483 * [misc]backup-simplify: Simplify 3 into 3 1540367135.485 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.485 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (+ (* 0 0) (* 0 (exp re)))) into 0 1540367135.485 * [misc]backup-simplify: Simplify (+ (* (exp re) 0) (+ (* 0 0) (* 0 (pow (exp re) 2)))) into 0 1540367135.486 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540367135.487 * [misc]backup-simplify: Simplify (+ (* 1 (- 1/2)) (+ (* 0 0) (* (- 1/2) 1))) into -1 1540367135.487 * [misc]backup-simplify: Simplify (+ (* 1 -1) (+ (* 0 0) (* (- 1/2) 1))) into -3/2 1540367135.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* -3/2 (pow (exp re) 3)))) into (- (* 3/2 (pow (exp re) 3))) 1540367135.488 * [misc]taylor: Taking taylor expansion of (- (* 3/2 (pow (exp re) 3))) in re 1540367135.488 * [misc]taylor: Taking taylor expansion of (* 3/2 (pow (exp re) 3)) in re 1540367135.488 * [misc]taylor: Taking taylor expansion of 3/2 in re 1540367135.488 * [misc]backup-simplify: Simplify 3/2 into 3/2 1540367135.488 * [misc]taylor: Taking taylor expansion of (pow (exp re) 3) in re 1540367135.488 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.488 * [misc]taylor: Taking taylor expansion of re in re 1540367135.488 * [misc]backup-simplify: Simplify 0 into 0 1540367135.488 * [misc]backup-simplify: Simplify 1 into 1 1540367135.488 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.488 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.488 * [misc]backup-simplify: Simplify (* 1 1) into 1 1540367135.488 * [misc]backup-simplify: Simplify (* 3/2 1) into 3/2 1540367135.488 * [misc]backup-simplify: Simplify (- 3/2) into -3/2 1540367135.489 * [misc]backup-simplify: Simplify -3/2 into -3/2 1540367135.489 * [misc]backup-simplify: Simplify (+ (* -3/2 (pow (* 1 im) 2)) (+ (* 3 (* re 1)) 1)) into (- (+ (* 3 re) 1) (* 3/2 (pow im 2))) 1540367135.489 * [misc]backup-simplify: Simplify (* (* (* (cos (/ 1 im)) (exp (/ 1 re))) (* (cos (/ 1 im)) (exp (/ 1 re)))) (* (cos (/ 1 im)) (exp (/ 1 re)))) into (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) 1540367135.489 * [misc]approximate: Taking taylor expansion of (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) in (im re) around 0 1540367135.489 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) in re 1540367135.489 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in re 1540367135.489 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.489 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.489 * [misc]taylor: Taking taylor expansion of im in re 1540367135.489 * [misc]backup-simplify: Simplify im into im 1540367135.489 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.489 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.490 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.490 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.490 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.490 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.490 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.490 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in re 1540367135.490 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.490 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.490 * [misc]taylor: Taking taylor expansion of re in re 1540367135.490 * [misc]backup-simplify: Simplify 0 into 0 1540367135.490 * [misc]backup-simplify: Simplify 1 into 1 1540367135.490 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.490 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.490 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) in im 1540367135.490 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im 1540367135.490 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of im in im 1540367135.491 * [misc]backup-simplify: Simplify 0 into 0 1540367135.491 * [misc]backup-simplify: Simplify 1 into 1 1540367135.491 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.491 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.491 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of re in im 1540367135.491 * [misc]backup-simplify: Simplify re into re 1540367135.491 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.491 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.491 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.491 * [misc]taylor: Taking taylor expansion of im in im 1540367135.491 * [misc]backup-simplify: Simplify 0 into 0 1540367135.491 * [misc]backup-simplify: Simplify 1 into 1 1540367135.491 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.492 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.492 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im 1540367135.492 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.492 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.492 * [misc]taylor: Taking taylor expansion of re in im 1540367135.492 * [misc]backup-simplify: Simplify re into re 1540367135.492 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.492 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.492 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1540367135.492 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (pow (cos (/ 1 im)) 2)) into (pow (cos (/ 1 im)) 3) 1540367135.492 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (exp (/ 1 re))) into (pow (exp (/ 1 re)) 2) 1540367135.492 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (pow (exp (/ 1 re)) 2)) into (pow (exp (/ 1 re)) 3) 1540367135.493 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) into (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) 1540367135.493 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of (pow (cos (/ 1 im)) 3) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of im in re 1540367135.493 * [misc]backup-simplify: Simplify im into im 1540367135.493 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.493 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.493 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.493 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.493 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.493 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.493 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.493 * [misc]taylor: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.493 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.494 * [misc]taylor: Taking taylor expansion of re in re 1540367135.494 * [misc]backup-simplify: Simplify 0 into 0 1540367135.494 * [misc]backup-simplify: Simplify 1 into 1 1540367135.494 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.494 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.494 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (cos (/ 1 im))) into (pow (cos (/ 1 im)) 2) 1540367135.494 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (pow (cos (/ 1 im)) 2)) into (pow (cos (/ 1 im)) 3) 1540367135.494 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (exp (/ 1 re))) into (pow (exp (/ 1 re)) 2) 1540367135.494 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (pow (exp (/ 1 re)) 2)) into (pow (exp (/ 1 re)) 3) 1540367135.495 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) into (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) 1540367135.495 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) into (* (pow (cos (/ 1 im)) 3) (pow (exp (/ 1 re)) 3)) 1540367135.495 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540367135.496 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.496 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.496 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (pow (exp (/ 1 re)) 2))) into 0 1540367135.497 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (cos (/ 1 im)))) into 0 1540367135.497 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (pow (cos (/ 1 im)) 2))) into 0 1540367135.497 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 3) 0) (* 0 (pow (exp (/ 1 re)) 3))) into 0 1540367135.497 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.497 * [misc]backup-simplify: Simplify 0 into 0 1540367135.497 * [misc]backup-simplify: Simplify 0 into 0 1540367135.497 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.497 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (* 0 (pow (exp (/ 1 re)) 2))) into 0 1540367135.498 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.498 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1540367135.498 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540367135.499 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.499 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1540367135.499 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.500 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.500 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (cos (/ 1 im)))) into 0 1540367135.500 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (pow (cos (/ 1 im)) 2))) into 0 1540367135.500 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 3) 0) (* 0 (pow (exp (/ 1 re)) 3))) into 0 1540367135.500 * [misc]backup-simplify: Simplify 0 into 0 1540367135.500 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.502 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.503 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.503 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2)))) into 0 1540367135.503 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))) into 0 1540367135.503 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 im)) 2)))) into 0 1540367135.504 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 3)))) into 0 1540367135.504 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.504 * [misc]backup-simplify: Simplify 0 into 0 1540367135.504 * [misc]backup-simplify: Simplify 0 into 0 1540367135.504 * [misc]backup-simplify: Simplify 0 into 0 1540367135.504 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.505 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2)))) into 0 1540367135.506 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.506 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.506 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.507 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.507 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.508 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.508 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.508 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (cos (/ 1 im))))) into 0 1540367135.508 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 im)) 2)))) into 0 1540367135.509 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 3)))) into 0 1540367135.509 * [misc]backup-simplify: Simplify 0 into 0 1540367135.509 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.513 * [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 1540367135.513 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1540367135.514 * [misc]backup-simplify: Simplify (+ (* (exp (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 2))))) into 0 1540367135.514 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 im)))))) into 0 1540367135.514 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ 1 im)) 2))))) into 0 1540367135.515 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ 1 im)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 re)) 3))))) into 0 1540367135.515 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.515 * [misc]backup-simplify: Simplify 0 into 0 1540367135.515 * [misc]backup-simplify: Simplify 0 into 0 1540367135.515 * [misc]backup-simplify: Simplify (* (pow (cos (/ 1 (/ 1 im))) 3) (pow (exp (/ 1 (/ 1 re))) 3)) into (* (pow (cos im) 3) (pow (exp re) 3)) 1540367135.516 * [misc]backup-simplify: Simplify (* (* (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) (* (cos (/ 1 (- im))) (exp (/ 1 (- re))))) (* (cos (/ 1 (- im))) (exp (/ 1 (- re))))) into (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) 1540367135.516 * [misc]approximate: Taking taylor expansion of (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) in (im re) around 0 1540367135.516 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) in re 1540367135.516 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in re 1540367135.516 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.516 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.516 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.516 * [misc]backup-simplify: Simplify -1 into -1 1540367135.516 * [misc]taylor: Taking taylor expansion of im in re 1540367135.516 * [misc]backup-simplify: Simplify im into im 1540367135.516 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.516 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.516 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.516 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.516 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.517 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.517 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.517 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in re 1540367135.517 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.517 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.517 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.517 * [misc]backup-simplify: Simplify -1 into -1 1540367135.517 * [misc]taylor: Taking taylor expansion of re in re 1540367135.517 * [misc]backup-simplify: Simplify 0 into 0 1540367135.517 * [misc]backup-simplify: Simplify 1 into 1 1540367135.517 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.517 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.517 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) in im 1540367135.517 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im 1540367135.517 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.517 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.517 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.517 * [misc]backup-simplify: Simplify -1 into -1 1540367135.517 * [misc]taylor: Taking taylor expansion of im in im 1540367135.517 * [misc]backup-simplify: Simplify 0 into 0 1540367135.517 * [misc]backup-simplify: Simplify 1 into 1 1540367135.518 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.518 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.518 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.518 * [misc]backup-simplify: Simplify -1 into -1 1540367135.518 * [misc]taylor: Taking taylor expansion of re in im 1540367135.518 * [misc]backup-simplify: Simplify re into re 1540367135.518 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.518 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.518 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.518 * [misc]backup-simplify: Simplify -1 into -1 1540367135.518 * [misc]taylor: Taking taylor expansion of im in im 1540367135.518 * [misc]backup-simplify: Simplify 0 into 0 1540367135.518 * [misc]backup-simplify: Simplify 1 into 1 1540367135.518 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.518 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.518 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.518 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.519 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.519 * [misc]backup-simplify: Simplify -1 into -1 1540367135.519 * [misc]taylor: Taking taylor expansion of re in im 1540367135.519 * [misc]backup-simplify: Simplify re into re 1540367135.519 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.519 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.519 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1540367135.519 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (pow (cos (/ -1 im)) 2)) into (pow (cos (/ -1 im)) 3) 1540367135.519 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (exp (/ -1 re))) into (pow (exp (/ -1 re)) 2) 1540367135.519 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (pow (exp (/ -1 re)) 2)) into (pow (exp (/ -1 re)) 3) 1540367135.519 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) into (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) 1540367135.519 * [misc]taylor: Taking taylor expansion of (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) in re 1540367135.519 * [misc]taylor: Taking taylor expansion of (pow (cos (/ -1 im)) 3) in re 1540367135.519 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.519 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.519 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.519 * [misc]backup-simplify: Simplify -1 into -1 1540367135.520 * [misc]taylor: Taking taylor expansion of im in re 1540367135.520 * [misc]backup-simplify: Simplify im into im 1540367135.520 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.520 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.520 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.520 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.520 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.520 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.520 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.520 * [misc]taylor: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in re 1540367135.520 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.520 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.520 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.520 * [misc]backup-simplify: Simplify -1 into -1 1540367135.520 * [misc]taylor: Taking taylor expansion of re in re 1540367135.520 * [misc]backup-simplify: Simplify 0 into 0 1540367135.520 * [misc]backup-simplify: Simplify 1 into 1 1540367135.520 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.520 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.520 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (cos (/ -1 im))) into (pow (cos (/ -1 im)) 2) 1540367135.520 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (pow (cos (/ -1 im)) 2)) into (pow (cos (/ -1 im)) 3) 1540367135.520 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (exp (/ -1 re))) into (pow (exp (/ -1 re)) 2) 1540367135.521 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (pow (exp (/ -1 re)) 2)) into (pow (exp (/ -1 re)) 3) 1540367135.521 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) into (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) 1540367135.521 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) into (* (pow (cos (/ -1 im)) 3) (pow (exp (/ -1 re)) 3)) 1540367135.521 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (pow (exp (/ -1 re)) 2))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (cos (/ -1 im)))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (pow (cos (/ -1 im)) 2))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 3) 0) (* 0 (pow (exp (/ -1 re)) 3))) into 0 1540367135.522 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.522 * [misc]backup-simplify: Simplify 0 into 0 1540367135.522 * [misc]backup-simplify: Simplify 0 into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.522 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (* 0 (pow (exp (/ -1 re)) 2))) into 0 1540367135.523 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.523 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1540367135.523 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1540367135.524 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (cos (/ -1 im)))) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (pow (cos (/ -1 im)) 2))) into 0 1540367135.524 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 3) 0) (* 0 (pow (exp (/ -1 re)) 3))) into 0 1540367135.524 * [misc]backup-simplify: Simplify 0 into 0 1540367135.524 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.526 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.526 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.526 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2)))) into 0 1540367135.526 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1540367135.526 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 im)) 2)))) into 0 1540367135.527 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 3)))) into 0 1540367135.527 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.527 * [misc]backup-simplify: Simplify 0 into 0 1540367135.527 * [misc]backup-simplify: Simplify 0 into 0 1540367135.527 * [misc]backup-simplify: Simplify 0 into 0 1540367135.527 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.527 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2)))) into 0 1540367135.528 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.528 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.528 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.529 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.529 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.529 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.529 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.529 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (cos (/ -1 im))))) into 0 1540367135.530 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 im)) 2)))) into 0 1540367135.530 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 3) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 3)))) into 0 1540367135.530 * [misc]backup-simplify: Simplify 0 into 0 1540367135.530 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.532 * [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 1540367135.532 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1540367135.533 * [misc]backup-simplify: Simplify (+ (* (exp (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 2))))) into 0 1540367135.533 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 im)))))) into 0 1540367135.533 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cos (/ -1 im)) 2))))) into 0 1540367135.534 * [misc]backup-simplify: Simplify (+ (* (pow (cos (/ -1 im)) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 re)) 3))))) into 0 1540367135.534 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.534 * [misc]backup-simplify: Simplify 0 into 0 1540367135.534 * [misc]backup-simplify: Simplify 0 into 0 1540367135.534 * [misc]backup-simplify: Simplify (* (pow (cos (/ -1 (/ 1 (- im)))) 3) (pow (exp (/ -1 (/ 1 (- re)))) 3)) into (* (pow (cos im) 3) (pow (exp re) 3)) 1540367135.534 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2) 1540367135.534 * [misc]backup-simplify: Simplify (* (cos im) (exp re)) into (* (cos im) (exp re)) 1540367135.534 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (im re) around 0 1540367135.534 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1540367135.534 * [misc]taylor: Taking taylor expansion of (cos im) in re 1540367135.534 * [misc]taylor: Taking taylor expansion of im in re 1540367135.534 * [misc]backup-simplify: Simplify im into im 1540367135.534 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1540367135.534 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1540367135.534 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.534 * [misc]taylor: Taking taylor expansion of re in re 1540367135.534 * [misc]backup-simplify: Simplify 0 into 0 1540367135.534 * [misc]backup-simplify: Simplify 1 into 1 1540367135.534 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.534 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of im in im 1540367135.534 * [misc]backup-simplify: Simplify 0 into 0 1540367135.534 * [misc]backup-simplify: Simplify 1 into 1 1540367135.534 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of re in im 1540367135.534 * [misc]backup-simplify: Simplify re into re 1540367135.534 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.534 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of (cos im) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of im in im 1540367135.534 * [misc]backup-simplify: Simplify 0 into 0 1540367135.534 * [misc]backup-simplify: Simplify 1 into 1 1540367135.534 * [misc]taylor: Taking taylor expansion of (exp re) in im 1540367135.534 * [misc]taylor: Taking taylor expansion of re in im 1540367135.534 * [misc]backup-simplify: Simplify re into re 1540367135.534 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1540367135.535 * [misc]backup-simplify: Simplify (* 1 (exp re)) into (exp re) 1540367135.535 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.535 * [misc]taylor: Taking taylor expansion of re in re 1540367135.535 * [misc]backup-simplify: Simplify 0 into 0 1540367135.535 * [misc]backup-simplify: Simplify 1 into 1 1540367135.535 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.535 * [misc]backup-simplify: Simplify 1 into 1 1540367135.535 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.536 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp re))) into 0 1540367135.536 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.536 * [misc]backup-simplify: Simplify 0 into 0 1540367135.536 * [misc]backup-simplify: Simplify 0 into 0 1540367135.537 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540367135.537 * [misc]backup-simplify: Simplify 1 into 1 1540367135.538 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.538 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540367135.539 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp re)))) into (- (* 1/2 (exp re))) 1540367135.539 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp re))) in re 1540367135.539 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp re)) in re 1540367135.539 * [misc]taylor: Taking taylor expansion of 1/2 in re 1540367135.539 * [misc]backup-simplify: Simplify 1/2 into 1/2 1540367135.539 * [misc]taylor: Taking taylor expansion of (exp re) in re 1540367135.539 * [misc]taylor: Taking taylor expansion of re in re 1540367135.539 * [misc]backup-simplify: Simplify 0 into 0 1540367135.539 * [misc]backup-simplify: Simplify 1 into 1 1540367135.539 * [misc]backup-simplify: Simplify (exp 0) into 1 1540367135.539 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1540367135.539 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1540367135.539 * [misc]backup-simplify: Simplify -1/2 into -1/2 1540367135.539 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1 (* re 1)) 1)) into (- (+ re 1) (* 1/2 (pow im 2))) 1540367135.539 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.539 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1540367135.539 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367135.539 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.539 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.540 * [misc]taylor: Taking taylor expansion of im in re 1540367135.540 * [misc]backup-simplify: Simplify im into im 1540367135.540 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.540 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.540 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.540 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.540 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.540 * [misc]taylor: Taking taylor expansion of re in re 1540367135.540 * [misc]backup-simplify: Simplify 0 into 0 1540367135.540 * [misc]backup-simplify: Simplify 1 into 1 1540367135.540 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.540 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.540 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of im in im 1540367135.540 * [misc]backup-simplify: Simplify 0 into 0 1540367135.540 * [misc]backup-simplify: Simplify 1 into 1 1540367135.540 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.540 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.540 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of re in im 1540367135.540 * [misc]backup-simplify: Simplify re into re 1540367135.540 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.540 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.540 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540367135.540 * [misc]taylor: Taking taylor expansion of im in im 1540367135.540 * [misc]backup-simplify: Simplify 0 into 0 1540367135.540 * [misc]backup-simplify: Simplify 1 into 1 1540367135.540 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.540 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.541 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1540367135.541 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540367135.541 * [misc]taylor: Taking taylor expansion of re in im 1540367135.541 * [misc]backup-simplify: Simplify re into re 1540367135.541 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540367135.541 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.541 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.541 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1540367135.541 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1540367135.541 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540367135.541 * [misc]taylor: Taking taylor expansion of im in re 1540367135.541 * [misc]backup-simplify: Simplify im into im 1540367135.541 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540367135.541 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1540367135.541 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1540367135.541 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1540367135.541 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540367135.541 * [misc]taylor: Taking taylor expansion of re in re 1540367135.541 * [misc]backup-simplify: Simplify 0 into 0 1540367135.541 * [misc]backup-simplify: Simplify 1 into 1 1540367135.541 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540367135.541 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1540367135.541 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1540367135.541 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1540367135.541 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.541 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1540367135.542 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.542 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1540367135.542 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540367135.542 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.543 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.543 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.543 * [misc]backup-simplify: Simplify 0 into 0 1540367135.543 * [misc]backup-simplify: Simplify 0 into 0 1540367135.543 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.543 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1540367135.543 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540367135.544 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.544 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1540367135.544 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.544 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.544 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1540367135.544 * [misc]backup-simplify: Simplify 0 into 0 1540367135.544 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.545 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.546 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.546 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.546 * [misc]backup-simplify: Simplify 0 into 0 1540367135.546 * [misc]backup-simplify: Simplify 0 into 0 1540367135.546 * [misc]backup-simplify: Simplify 0 into 0 1540367135.546 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.547 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.547 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.547 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.548 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.548 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.548 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1540367135.548 * [misc]backup-simplify: Simplify 0 into 0 1540367135.548 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.550 * [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 1540367135.550 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1540367135.550 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.550 * [misc]backup-simplify: Simplify 0 into 0 1540367135.550 * [misc]backup-simplify: Simplify 0 into 0 1540367135.551 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1540367135.551 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.551 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1540367135.551 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367135.551 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.551 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.551 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.551 * [misc]backup-simplify: Simplify -1 into -1 1540367135.551 * [misc]taylor: Taking taylor expansion of im in re 1540367135.551 * [misc]backup-simplify: Simplify im into im 1540367135.551 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.551 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.551 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.551 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.551 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.551 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.551 * [misc]backup-simplify: Simplify -1 into -1 1540367135.551 * [misc]taylor: Taking taylor expansion of re in re 1540367135.551 * [misc]backup-simplify: Simplify 0 into 0 1540367135.551 * [misc]backup-simplify: Simplify 1 into 1 1540367135.551 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.551 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.551 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367135.551 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.551 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.551 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.551 * [misc]backup-simplify: Simplify -1 into -1 1540367135.551 * [misc]taylor: Taking taylor expansion of im in im 1540367135.551 * [misc]backup-simplify: Simplify 0 into 0 1540367135.551 * [misc]backup-simplify: Simplify 1 into 1 1540367135.552 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.552 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.552 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.552 * [misc]backup-simplify: Simplify -1 into -1 1540367135.552 * [misc]taylor: Taking taylor expansion of re in im 1540367135.552 * [misc]backup-simplify: Simplify re into re 1540367135.552 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.552 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.552 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.552 * [misc]backup-simplify: Simplify -1 into -1 1540367135.552 * [misc]taylor: Taking taylor expansion of im in im 1540367135.552 * [misc]backup-simplify: Simplify 0 into 0 1540367135.552 * [misc]backup-simplify: Simplify 1 into 1 1540367135.552 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.552 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.552 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1540367135.552 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540367135.553 * [misc]taylor: Taking taylor expansion of -1 in im 1540367135.553 * [misc]backup-simplify: Simplify -1 into -1 1540367135.553 * [misc]taylor: Taking taylor expansion of re in im 1540367135.553 * [misc]backup-simplify: Simplify re into re 1540367135.553 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540367135.553 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.553 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.553 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1540367135.553 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1540367135.553 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540367135.553 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.553 * [misc]backup-simplify: Simplify -1 into -1 1540367135.553 * [misc]taylor: Taking taylor expansion of im in re 1540367135.553 * [misc]backup-simplify: Simplify im into im 1540367135.553 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540367135.553 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1540367135.553 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1540367135.553 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1540367135.553 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540367135.553 * [misc]taylor: Taking taylor expansion of -1 in re 1540367135.553 * [misc]backup-simplify: Simplify -1 into -1 1540367135.553 * [misc]taylor: Taking taylor expansion of re in re 1540367135.553 * [misc]backup-simplify: Simplify 0 into 0 1540367135.553 * [misc]backup-simplify: Simplify 1 into 1 1540367135.554 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540367135.554 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1540367135.554 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1540367135.554 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1540367135.554 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.554 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1540367135.554 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.554 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1540367135.555 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540367135.556 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1540367135.556 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.556 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.556 * [misc]backup-simplify: Simplify 0 into 0 1540367135.556 * [misc]backup-simplify: Simplify 0 into 0 1540367135.556 * [misc]backup-simplify: Simplify (+ 0) into 0 1540367135.557 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1540367135.557 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540367135.558 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540367135.558 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1540367135.558 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.558 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.559 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1540367135.559 * [misc]backup-simplify: Simplify 0 into 0 1540367135.559 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.561 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540367135.561 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.561 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.561 * [misc]backup-simplify: Simplify 0 into 0 1540367135.561 * [misc]backup-simplify: Simplify 0 into 0 1540367135.561 * [misc]backup-simplify: Simplify 0 into 0 1540367135.562 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540367135.563 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1540367135.563 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540367135.564 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540367135.564 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1540367135.564 * [misc]backup-simplify: Simplify (- 0) into 0 1540367135.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540367135.565 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1540367135.565 * [misc]backup-simplify: Simplify 0 into 0 1540367135.565 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540367135.569 * [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 1540367135.569 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1540367135.569 * [misc]taylor: Taking taylor expansion of 0 in re 1540367135.569 * [misc]backup-simplify: Simplify 0 into 0 1540367135.569 * [misc]backup-simplify: Simplify 0 into 0 1540367135.569 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (cos im) (exp re)) 1540367135.569 * * * [misc]progress: simplifying candidates 1540367135.569 * * * * [misc]progress: [ 1 / 130 ] simplifiying candidate # 1540367135.570 * * * * [misc]progress: [ 2 / 130 ] simplifiying candidate # 1540367135.570 * * * * [misc]progress: [ 3 / 130 ] simplifiying candidate # 1540367135.570 * * * * [misc]progress: [ 4 / 130 ] simplifiying candidate # 1540367135.570 * * * * [misc]progress: [ 5 / 130 ] simplifiying candidate # 1540367135.570 * [enter]simplify: Simplifying (cbrt (* (* (cos im) (exp re)) (* (cos im) (exp re)))) 1540367135.570 * * [misc]simplify: iters left: 6 (7 enodes) 1540367135.572 * * [misc]simplify: iters left: 5 (12 enodes) 1540367135.576 * * [misc]simplify: iters left: 4 (19 enodes) 1540367135.581 * * [misc]simplify: iters left: 3 (25 enodes) 1540367135.587 * * [misc]simplify: iters left: 2 (26 enodes) 1540367135.595 * [exit]simplify: Simplified to (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im)))) 1540367135.595 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (cbrt (* (* (exp re) (cos im)) (* (exp re) (cos im)))) (cbrt (* (cos im) (exp re))))) 1540367135.595 * * * * [misc]progress: [ 6 / 130 ] simplifiying candidate # 1540367135.595 * * * * [misc]progress: [ 7 / 130 ] simplifiying candidate # 1540367135.595 * * * * [misc]progress: [ 8 / 130 ] simplifiying candidate # 1540367135.596 * [enter]simplify: Simplifying (cos im) 1540367135.596 * * [misc]simplify: iters left: 1 (2 enodes) 1540367135.596 * [exit]simplify: Simplified to (cos im) 1540367135.596 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (cos im) (exp re))) 1540367135.596 * * * * [misc]progress: [ 9 / 130 ] simplifiying candidate # 1540367135.596 * * * * [misc]progress: [ 10 / 130 ] simplifiying candidate # 1540367135.596 * * * * [misc]progress: [ 11 / 130 ] simplifiying candidate # 1540367135.597 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.597 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.598 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.600 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.600 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.600 * [enter]simplify: Simplifying (+ 1 1) 1540367135.600 * * [misc]simplify: iters left: 2 (2 enodes) 1540367135.602 * * [misc]simplify: iters left: 1 (5 enodes) 1540367135.602 * [exit]simplify: Simplified to 2 1540367135.602 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (cbrt (* (pow (* (cos im) (exp re)) 2) (* (cos im) (exp re))))) 1540367135.602 * * * * [misc]progress: [ 12 / 130 ] simplifiying candidate # 1540367135.603 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.603 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.604 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.606 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.606 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.606 * [enter]simplify: Simplifying (+ 1 1) 1540367135.606 * * [misc]simplify: iters left: 2 (2 enodes) 1540367135.607 * * [misc]simplify: iters left: 1 (5 enodes) 1540367135.608 * [exit]simplify: Simplified to 2 1540367135.608 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (cbrt (* (pow (* (cos im) (exp re)) 2) (* (cos im) (exp re))))) 1540367135.608 * * * * [misc]progress: [ 13 / 130 ] simplifiying candidate # 1540367135.609 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.609 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.610 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.612 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.612 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.612 * [enter]simplify: Simplifying (+ 1 1) 1540367135.612 * * [misc]simplify: iters left: 2 (2 enodes) 1540367135.613 * * [misc]simplify: iters left: 1 (5 enodes) 1540367135.614 * [exit]simplify: Simplified to 2 1540367135.614 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (cbrt (* (pow (* (cos im) (exp re)) 2) (* (cos im) (exp re))))) 1540367135.614 * * * * [misc]progress: [ 14 / 130 ] simplifiying candidate # 1540367135.614 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.615 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.616 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.616 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.616 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.616 * [enter]simplify: Simplifying (+ 1 1) 1540367135.616 * * [misc]simplify: iters left: 2 (2 enodes) 1540367135.617 * * [misc]simplify: iters left: 1 (5 enodes) 1540367135.618 * [exit]simplify: Simplified to 2 1540367135.618 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (cbrt (* (pow (* (cos im) (exp re)) 2) (* (cos im) (exp re))))) 1540367135.618 * * * * [misc]progress: [ 15 / 130 ] simplifiying candidate # 1540367135.618 * [enter]simplify: Simplifying (* (* (cos im) (exp re)) (* (cos im) (exp re))) 1540367135.618 * * [misc]simplify: iters left: 5 (6 enodes) 1540367135.619 * * [misc]simplify: iters left: 4 (11 enodes) 1540367135.620 * * [misc]simplify: iters left: 3 (18 enodes) 1540367135.623 * * [misc]simplify: iters left: 2 (24 enodes) 1540367135.626 * * [misc]simplify: iters left: 1 (25 enodes) 1540367135.629 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367135.629 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1) (* (cos im) (exp re))))) 1540367135.629 * * * * [misc]progress: [ 16 / 130 ] simplifiying candidate # 1540367135.629 * [enter]simplify: Simplifying (* (* (cos im) (exp re)) (* (cos im) (exp re))) 1540367135.629 * * [misc]simplify: iters left: 5 (6 enodes) 1540367135.630 * * [misc]simplify: iters left: 4 (11 enodes) 1540367135.631 * * [misc]simplify: iters left: 3 (18 enodes) 1540367135.634 * * [misc]simplify: iters left: 2 (24 enodes) 1540367135.636 * * [misc]simplify: iters left: 1 (25 enodes) 1540367135.639 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367135.639 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1) (* (cos im) (exp re))))) 1540367135.639 * * * * [misc]progress: [ 17 / 130 ] simplifiying candidate # 1540367135.639 * [enter]simplify: Simplifying (* (* (cos im) (exp re)) (* (cos im) (exp re))) 1540367135.640 * * [misc]simplify: iters left: 5 (6 enodes) 1540367135.640 * * [misc]simplify: iters left: 4 (11 enodes) 1540367135.642 * * [misc]simplify: iters left: 3 (18 enodes) 1540367135.644 * * [misc]simplify: iters left: 2 (24 enodes) 1540367135.647 * * [misc]simplify: iters left: 1 (25 enodes) 1540367135.650 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367135.650 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1) (* (cos im) (exp re))))) 1540367135.650 * * * * [misc]progress: [ 18 / 130 ] simplifiying candidate # 1540367135.650 * [enter]simplify: Simplifying (* (* (cos im) (exp re)) (* (cos im) (exp re))) 1540367135.650 * * [misc]simplify: iters left: 5 (6 enodes) 1540367135.651 * * [misc]simplify: iters left: 4 (11 enodes) 1540367135.653 * * [misc]simplify: iters left: 3 (18 enodes) 1540367135.655 * * [misc]simplify: iters left: 2 (24 enodes) 1540367135.658 * * [misc]simplify: iters left: 1 (25 enodes) 1540367135.663 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367135.663 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1) (* (cos im) (exp re))))) 1540367135.663 * * * * [misc]progress: [ 19 / 130 ] simplifiying candidate # 1540367135.663 * * * * [misc]progress: [ 20 / 130 ] simplifiying candidate # 1540367135.663 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.663 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.665 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.666 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.666 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.667 * * * * [misc]progress: [ 21 / 130 ] simplifiying candidate # 1540367135.667 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367135.667 * * [misc]simplify: iters left: 3 (5 enodes) 1540367135.668 * * [misc]simplify: iters left: 2 (6 enodes) 1540367135.670 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367135.670 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (pow (* (exp re) (cos im)) (+ 1 1)) (* (cos im) (exp re))))) 1540367135.670 * * * * [misc]progress: [ 22 / 130 ] simplifiying candidate # 1540367135.670 * * * * [misc]progress: [ 23 / 130 ] simplifiying candidate # 1540367135.670 * [enter]simplify: Simplifying (+ (+ (log (cos im)) re) (+ (log (cos im)) re)) 1540367135.670 * * [misc]simplify: iters left: 6 (6 enodes) 1540367135.672 * * [misc]simplify: iters left: 5 (11 enodes) 1540367135.675 * * [misc]simplify: iters left: 4 (18 enodes) 1540367135.680 * * [misc]simplify: iters left: 3 (22 enodes) 1540367135.685 * * [misc]simplify: iters left: 2 (23 enodes) 1540367135.692 * [exit]simplify: Simplified to (+ (+ re (log (cos im))) (+ re (log (cos im)))) 1540367135.692 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (exp (+ (+ re (log (cos im))) (+ re (log (cos im))))) (* (cos im) (exp re))))) 1540367135.692 * * * * [misc]progress: [ 24 / 130 ] simplifiying candidate # 1540367135.692 * [enter]simplify: Simplifying (+ (+ (log (cos im)) re) (log (* (cos im) (exp re)))) 1540367135.692 * * [misc]simplify: iters left: 6 (9 enodes) 1540367135.695 * * [misc]simplify: iters left: 5 (16 enodes) 1540367135.699 * * [misc]simplify: iters left: 4 (24 enodes) 1540367135.704 * * [misc]simplify: iters left: 3 (30 enodes) 1540367135.707 * * [misc]simplify: iters left: 2 (32 enodes) 1540367135.710 * * [misc]simplify: iters left: 1 (33 enodes) 1540367135.713 * [exit]simplify: Simplified to (+ (+ re (log (cos im))) (+ re (log (cos im)))) 1540367135.713 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (exp (+ (+ re (log (cos im))) (+ re (log (cos im))))) (* (cos im) (exp re))))) 1540367135.713 * * * * [misc]progress: [ 25 / 130 ] simplifiying candidate # 1540367135.713 * [enter]simplify: Simplifying (+ (log (* (cos im) (exp re))) (+ (log (cos im)) re)) 1540367135.713 * * [misc]simplify: iters left: 6 (9 enodes) 1540367135.714 * * [misc]simplify: iters left: 5 (16 enodes) 1540367135.717 * * [misc]simplify: iters left: 4 (27 enodes) 1540367135.720 * * [misc]simplify: iters left: 3 (34 enodes) 1540367135.722 * * [misc]simplify: iters left: 2 (36 enodes) 1540367135.726 * [exit]simplify: Simplified to (+ (+ re (log (cos im))) (+ re (log (cos im)))) 1540367135.726 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (exp (+ (+ re (log (cos im))) (+ re (log (cos im))))) (* (cos im) (exp re))))) 1540367135.726 * * * * [misc]progress: [ 26 / 130 ] simplifiying candidate # 1540367135.726 * [enter]simplify: Simplifying (+ (log (* (cos im) (exp re))) (log (* (cos im) (exp re)))) 1540367135.726 * * [misc]simplify: iters left: 6 (7 enodes) 1540367135.727 * * [misc]simplify: iters left: 5 (11 enodes) 1540367135.729 * * [misc]simplify: iters left: 4 (16 enodes) 1540367135.731 * * [misc]simplify: iters left: 3 (25 enodes) 1540367135.734 * * [misc]simplify: iters left: 2 (29 enodes) 1540367135.737 * * [misc]simplify: iters left: 1 (30 enodes) 1540367135.740 * [exit]simplify: Simplified to (+ (+ (log (cos im)) re) (+ (log (cos im)) re)) 1540367135.740 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (exp (+ (+ (log (cos im)) re) (+ (log (cos im)) re))) (* (cos im) (exp re))))) 1540367135.740 * * * * [misc]progress: [ 27 / 130 ] simplifiying candidate # 1540367135.740 * * * * [misc]progress: [ 28 / 130 ] simplifiying candidate # 1540367135.740 * * * * [misc]progress: [ 29 / 130 ] simplifiying candidate # 1540367135.740 * [enter]simplify: Simplifying (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367135.740 * * [misc]simplify: iters left: 6 (10 enodes) 1540367135.742 * * [misc]simplify: iters left: 5 (23 enodes) 1540367135.746 * * [misc]simplify: iters left: 4 (80 enodes) 1540367135.772 * * [misc]simplify: iters left: 3 (271 enodes) 1540367135.929 * [exit]simplify: Simplified to (* (* (pow (cos im) 3) (pow (exp re) 3)) (* (pow (cos im) 3) (pow (exp re) 3))) 1540367135.930 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (cbrt (* (* (pow (cos im) 3) (pow (exp re) 3)) (* (pow (cos im) 3) (pow (exp re) 3)))) (* (cos im) (exp re))))) 1540367135.930 * * * * [misc]progress: [ 30 / 130 ] simplifiying candidate # 1540367135.930 * [enter]simplify: Simplifying (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367135.930 * * [misc]simplify: iters left: 6 (13 enodes) 1540367135.932 * * [misc]simplify: iters left: 5 (35 enodes) 1540367135.939 * * [misc]simplify: iters left: 4 (129 enodes) 1540367135.993 * * [misc]simplify: iters left: 3 (490 enodes) 1540367136.617 * [exit]simplify: Simplified to (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) 1540367136.617 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (cbrt (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3))) (* (cos im) (exp re))))) 1540367136.617 * * * * [misc]progress: [ 31 / 130 ] simplifiying candidate # 1540367136.617 * [enter]simplify: Simplifying (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367136.617 * * [misc]simplify: iters left: 6 (13 enodes) 1540367136.620 * * [misc]simplify: iters left: 5 (35 enodes) 1540367136.629 * * [misc]simplify: iters left: 4 (128 enodes) 1540367136.689 * * [misc]simplify: iters left: 3 (459 enodes) 1540367137.241 * [exit]simplify: Simplified to (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) 1540367137.241 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (cbrt (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3))) (* (cos im) (exp re))))) 1540367137.241 * * * * [misc]progress: [ 32 / 130 ] simplifiying candidate # 1540367137.241 * [enter]simplify: Simplifying (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367137.241 * * [misc]simplify: iters left: 6 (8 enodes) 1540367137.243 * * [misc]simplify: iters left: 5 (20 enodes) 1540367137.246 * * [misc]simplify: iters left: 4 (60 enodes) 1540367137.260 * * [misc]simplify: iters left: 3 (175 enodes) 1540367137.347 * * [misc]simplify: iters left: 2 (472 enodes) 1540367137.787 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 6) 1540367137.787 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (cbrt (pow (* (exp re) (cos im)) 6)) (* (cos im) (exp re))))) 1540367137.787 * * * * [misc]progress: [ 33 / 130 ] simplifiying candidate # 1540367137.787 * * * * [misc]progress: [ 34 / 130 ] simplifiying candidate # 1540367137.787 * * * * [misc]progress: [ 35 / 130 ] simplifiying candidate # 1540367137.787 * * * * [misc]progress: [ 36 / 130 ] simplifiying candidate # 1540367137.787 * * * * [misc]progress: [ 37 / 130 ] simplifiying candidate # 1540367137.787 * [enter]simplify: Simplifying (exp re) 1540367137.787 * * [misc]simplify: iters left: 1 (2 enodes) 1540367137.788 * [exit]simplify: Simplified to (exp re) 1540367137.788 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (cbrt (* (* (* (* (cos im) (exp re)) (cos im)) (exp re)) (* (cos im) (exp re))))) 1540367137.788 * * * * [misc]progress: [ 38 / 130 ] simplifiying candidate # 1540367137.788 * [enter]simplify: Simplifying (cos im) 1540367137.788 * * [misc]simplify: iters left: 1 (2 enodes) 1540367137.788 * [exit]simplify: Simplified to (cos im) 1540367137.788 * [misc]simplify: Simplified (2 1 1 1) to (λ (re im) (cbrt (* (* (cos im) (* (exp re) (* (cos im) (exp re)))) (* (cos im) (exp re))))) 1540367137.788 * * * * [misc]progress: [ 39 / 130 ] simplifiying candidate # 1540367137.788 * * * * [misc]progress: [ 40 / 130 ] simplifiying candidate # 1540367137.788 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.788 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.789 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.790 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.790 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.790 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.790 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.791 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.792 * [exit]simplify: Simplified to 3 1540367137.792 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.792 * * * * [misc]progress: [ 41 / 130 ] simplifiying candidate # 1540367137.792 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.792 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.793 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.794 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.794 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.794 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.794 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.795 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.796 * [exit]simplify: Simplified to 3 1540367137.796 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.796 * * * * [misc]progress: [ 42 / 130 ] simplifiying candidate # 1540367137.796 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.796 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.797 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.797 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.797 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.798 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.798 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.799 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.800 * [exit]simplify: Simplified to 3 1540367137.800 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.800 * * * * [misc]progress: [ 43 / 130 ] simplifiying candidate # 1540367137.800 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.800 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.800 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.801 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.801 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.801 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.801 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.803 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.803 * [exit]simplify: Simplified to 3 1540367137.804 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.804 * * * * [misc]progress: [ 44 / 130 ] simplifiying candidate # 1540367137.804 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.804 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.805 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.807 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.807 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.807 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.807 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.810 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.811 * [exit]simplify: Simplified to 3 1540367137.811 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.811 * * * * [misc]progress: [ 45 / 130 ] simplifiying candidate # 1540367137.811 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.811 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.813 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.814 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.814 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.815 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.815 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.817 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.818 * [exit]simplify: Simplified to 3 1540367137.818 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.818 * * * * [misc]progress: [ 46 / 130 ] simplifiying candidate # 1540367137.819 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.819 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.820 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.822 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.822 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.822 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.822 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.825 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.826 * [exit]simplify: Simplified to 3 1540367137.826 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.826 * * * * [misc]progress: [ 47 / 130 ] simplifiying candidate # 1540367137.826 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.826 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.828 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.828 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.828 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.828 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.828 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.830 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.831 * [exit]simplify: Simplified to 3 1540367137.831 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.831 * * * * [misc]progress: [ 48 / 130 ] simplifiying candidate # 1540367137.831 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.831 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.831 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.832 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.832 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ 2 1)))) 1540367137.832 * [enter]simplify: Simplifying (+ 2 1) 1540367137.832 * * [misc]simplify: iters left: 2 (3 enodes) 1540367137.833 * * [misc]simplify: iters left: 1 (7 enodes) 1540367137.834 * [exit]simplify: Simplified to 3 1540367137.834 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.834 * * * * [misc]progress: [ 49 / 130 ] simplifiying candidate # 1540367137.834 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.834 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.835 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.836 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.836 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ 2 1)))) 1540367137.836 * [enter]simplify: Simplifying (+ 2 1) 1540367137.836 * * [misc]simplify: iters left: 2 (3 enodes) 1540367137.837 * * [misc]simplify: iters left: 1 (7 enodes) 1540367137.837 * [exit]simplify: Simplified to 3 1540367137.837 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.837 * * * * [misc]progress: [ 50 / 130 ] simplifiying candidate # 1540367137.838 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.838 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.838 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.839 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.839 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.839 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.839 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.841 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.841 * [exit]simplify: Simplified to 3 1540367137.841 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.841 * * * * [misc]progress: [ 51 / 130 ] simplifiying candidate # 1540367137.841 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.842 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.842 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.843 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.843 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.843 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.843 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.844 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.845 * [exit]simplify: Simplified to 3 1540367137.845 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.845 * * * * [misc]progress: [ 52 / 130 ] simplifiying candidate # 1540367137.845 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.845 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.846 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.847 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.847 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.847 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.847 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.848 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.849 * [exit]simplify: Simplified to 3 1540367137.849 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.849 * * * * [misc]progress: [ 53 / 130 ] simplifiying candidate # 1540367137.849 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367137.849 * * [misc]simplify: iters left: 3 (5 enodes) 1540367137.850 * * [misc]simplify: iters left: 2 (6 enodes) 1540367137.850 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367137.850 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367137.851 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367137.851 * * [misc]simplify: iters left: 4 (3 enodes) 1540367137.852 * * [misc]simplify: iters left: 3 (8 enodes) 1540367137.853 * [exit]simplify: Simplified to 3 1540367137.853 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (pow (* (cos im) (exp re)) 3))) 1540367137.853 * * * * [misc]progress: [ 54 / 130 ] simplifiying candidate # 1540367137.853 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367137.853 * * [misc]simplify: iters left: 6 (7 enodes) 1540367137.854 * * [misc]simplify: iters left: 5 (15 enodes) 1540367137.857 * * [misc]simplify: iters left: 4 (31 enodes) 1540367137.867 * * [misc]simplify: iters left: 3 (60 enodes) 1540367137.889 * * [misc]simplify: iters left: 2 (95 enodes) 1540367137.901 * * [misc]simplify: iters left: 1 (103 enodes) 1540367137.916 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367137.916 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367137.916 * * * * [misc]progress: [ 55 / 130 ] simplifiying candidate # 1540367137.917 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367137.917 * * [misc]simplify: iters left: 6 (7 enodes) 1540367137.919 * * [misc]simplify: iters left: 5 (15 enodes) 1540367137.925 * * [misc]simplify: iters left: 4 (31 enodes) 1540367137.934 * * [misc]simplify: iters left: 3 (60 enodes) 1540367137.956 * * [misc]simplify: iters left: 2 (95 enodes) 1540367137.981 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.001 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.001 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.001 * * * * [misc]progress: [ 56 / 130 ] simplifiying candidate # 1540367138.002 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.002 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.003 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.005 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.010 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.020 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.040 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.053 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.053 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.053 * * * * [misc]progress: [ 57 / 130 ] simplifiying candidate # 1540367138.053 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.053 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.054 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.056 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.063 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.085 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.109 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.134 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.134 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.134 * * * * [misc]progress: [ 58 / 130 ] simplifiying candidate # 1540367138.134 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.134 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.137 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.141 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.149 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.159 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.172 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.185 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.185 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.185 * * * * [misc]progress: [ 59 / 130 ] simplifiying candidate # 1540367138.185 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.185 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.186 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.188 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.193 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.204 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.229 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.255 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.255 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.255 * * * * [misc]progress: [ 60 / 130 ] simplifiying candidate # 1540367138.255 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.256 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.258 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.263 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.272 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.294 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.318 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.331 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.331 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.331 * * * * [misc]progress: [ 61 / 130 ] simplifiying candidate # 1540367138.332 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.332 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.333 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.335 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.340 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.351 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.363 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.375 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.375 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.375 * * * * [misc]progress: [ 62 / 130 ] simplifiying candidate # 1540367138.376 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.376 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.378 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.383 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.392 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.409 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.421 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.434 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.434 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.434 * * * * [misc]progress: [ 63 / 130 ] simplifiying candidate # 1540367138.435 * [enter]simplify: Simplifying (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) 1540367138.435 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.436 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.438 * * [misc]simplify: iters left: 4 (31 enodes) 1540367138.443 * * [misc]simplify: iters left: 3 (60 enodes) 1540367138.464 * * [misc]simplify: iters left: 2 (95 enodes) 1540367138.480 * * [misc]simplify: iters left: 1 (103 enodes) 1540367138.492 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367138.492 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (pow (* (exp re) (cos im)) 3) 1))) 1540367138.492 * * * * [misc]progress: [ 64 / 130 ] simplifiying candidate # 1540367138.492 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.492 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.493 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.494 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.494 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3))) 1540367138.494 * * * * [misc]progress: [ 65 / 130 ] simplifiying candidate # 1540367138.494 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.494 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.495 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.497 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.497 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.497 * * * * [misc]progress: [ 66 / 130 ] simplifiying candidate # 1540367138.497 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.497 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.499 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.500 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.500 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.500 * * * * [misc]progress: [ 67 / 130 ] simplifiying candidate # 1540367138.500 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.501 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.502 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.504 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.504 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.504 * * * * [misc]progress: [ 68 / 130 ] simplifiying candidate # 1540367138.504 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.504 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.505 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.507 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.507 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.507 * * * * [misc]progress: [ 69 / 130 ] simplifiying candidate # 1540367138.507 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.507 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.509 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.510 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.510 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ 2 1)))) 1540367138.510 * * * * [misc]progress: [ 70 / 130 ] simplifiying candidate # 1540367138.511 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.511 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.512 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.514 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.514 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.514 * * * * [misc]progress: [ 71 / 130 ] simplifiying candidate # 1540367138.514 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367138.514 * * [misc]simplify: iters left: 3 (5 enodes) 1540367138.515 * * [misc]simplify: iters left: 2 (6 enodes) 1540367138.518 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367138.518 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) (+ (+ 1 1) 1)))) 1540367138.518 * * * * [misc]progress: [ 72 / 130 ] simplifiying candidate # 1540367138.518 * * * * [misc]progress: [ 73 / 130 ] simplifiying candidate # 1540367138.518 * [enter]simplify: Simplifying (+ (+ (+ (log (cos im)) re) (+ (log (cos im)) re)) (+ (log (cos im)) re)) 1540367138.518 * * [misc]simplify: iters left: 6 (7 enodes) 1540367138.520 * * [misc]simplify: iters left: 5 (15 enodes) 1540367138.522 * * [misc]simplify: iters left: 4 (29 enodes) 1540367138.526 * * [misc]simplify: iters left: 3 (55 enodes) 1540367138.535 * * [misc]simplify: iters left: 2 (89 enodes) 1540367138.546 * * [misc]simplify: iters left: 1 (96 enodes) 1540367138.557 * [exit]simplify: Simplified to (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im)))) 1540367138.557 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im))))))) 1540367138.557 * * * * [misc]progress: [ 74 / 130 ] simplifiying candidate # 1540367138.557 * [enter]simplify: Simplifying (+ (+ (+ (log (cos im)) re) (+ (log (cos im)) re)) (log (* (cos im) (exp re)))) 1540367138.557 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.559 * * [misc]simplify: iters left: 5 (21 enodes) 1540367138.562 * * [misc]simplify: iters left: 4 (57 enodes) 1540367138.573 * * [misc]simplify: iters left: 3 (104 enodes) 1540367138.588 * * [misc]simplify: iters left: 2 (141 enodes) 1540367138.601 * * [misc]simplify: iters left: 1 (148 enodes) 1540367138.614 * [exit]simplify: Simplified to (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im)))) 1540367138.614 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im))))))) 1540367138.614 * * * * [misc]progress: [ 75 / 130 ] simplifiying candidate # 1540367138.614 * [enter]simplify: Simplifying (+ (+ (+ (log (cos im)) re) (log (* (cos im) (exp re)))) (+ (log (cos im)) re)) 1540367138.614 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.616 * * [misc]simplify: iters left: 5 (20 enodes) 1540367138.622 * * [misc]simplify: iters left: 4 (37 enodes) 1540367138.634 * * [misc]simplify: iters left: 3 (64 enodes) 1540367138.649 * * [misc]simplify: iters left: 2 (92 enodes) 1540367138.667 * * [misc]simplify: iters left: 1 (105 enodes) 1540367138.678 * [exit]simplify: Simplified to (+ (+ (log (cos im)) (+ re (+ re re))) (+ (log (cos im)) (log (cos im)))) 1540367138.678 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (log (cos im)) (+ re (+ re re))) (+ (log (cos im)) (log (cos im))))))) 1540367138.678 * * * * [misc]progress: [ 76 / 130 ] simplifiying candidate # 1540367138.678 * [enter]simplify: Simplifying (+ (+ (+ (log (cos im)) re) (log (* (cos im) (exp re)))) (log (* (cos im) (exp re)))) 1540367138.678 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.680 * * [misc]simplify: iters left: 5 (20 enodes) 1540367138.683 * * [misc]simplify: iters left: 4 (38 enodes) 1540367138.688 * * [misc]simplify: iters left: 3 (64 enodes) 1540367138.698 * * [misc]simplify: iters left: 2 (96 enodes) 1540367138.720 * * [misc]simplify: iters left: 1 (109 enodes) 1540367138.741 * [exit]simplify: Simplified to (+ (+ (log (cos im)) (log (cos im))) (+ (+ (+ re re) re) (log (cos im)))) 1540367138.741 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (log (cos im)) (log (cos im))) (+ (+ (+ re re) re) (log (cos im))))))) 1540367138.741 * * * * [misc]progress: [ 77 / 130 ] simplifiying candidate # 1540367138.742 * [enter]simplify: Simplifying (+ (+ (log (* (cos im) (exp re))) (+ (log (cos im)) re)) (+ (log (cos im)) re)) 1540367138.742 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.745 * * [misc]simplify: iters left: 5 (22 enodes) 1540367138.752 * * [misc]simplify: iters left: 4 (55 enodes) 1540367138.773 * * [misc]simplify: iters left: 3 (100 enodes) 1540367138.792 * * [misc]simplify: iters left: 2 (135 enodes) 1540367138.817 * * [misc]simplify: iters left: 1 (148 enodes) 1540367138.841 * [exit]simplify: Simplified to (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im)))) 1540367138.841 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im))))))) 1540367138.841 * * * * [misc]progress: [ 78 / 130 ] simplifiying candidate # 1540367138.841 * [enter]simplify: Simplifying (+ (+ (log (* (cos im) (exp re))) (+ (log (cos im)) re)) (log (* (cos im) (exp re)))) 1540367138.842 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.845 * * [misc]simplify: iters left: 5 (18 enodes) 1540367138.849 * * [misc]simplify: iters left: 4 (33 enodes) 1540367138.853 * * [misc]simplify: iters left: 3 (50 enodes) 1540367138.858 * * [misc]simplify: iters left: 2 (74 enodes) 1540367138.868 * * [misc]simplify: iters left: 1 (95 enodes) 1540367138.880 * [exit]simplify: Simplified to (+ (+ (log (cos im)) (log (cos im))) (+ (log (cos im)) (+ re (+ re re)))) 1540367138.880 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (log (cos im)) (log (cos im))) (+ (log (cos im)) (+ re (+ re re))))))) 1540367138.880 * * * * [misc]progress: [ 79 / 130 ] simplifiying candidate # 1540367138.880 * [enter]simplify: Simplifying (+ (+ (log (* (cos im) (exp re))) (log (* (cos im) (exp re)))) (+ (log (cos im)) re)) 1540367138.880 * * [misc]simplify: iters left: 6 (10 enodes) 1540367138.882 * * [misc]simplify: iters left: 5 (19 enodes) 1540367138.884 * * [misc]simplify: iters left: 4 (33 enodes) 1540367138.889 * * [misc]simplify: iters left: 3 (62 enodes) 1540367138.897 * * [misc]simplify: iters left: 2 (83 enodes) 1540367138.917 * * [misc]simplify: iters left: 1 (92 enodes) 1540367138.936 * [exit]simplify: Simplified to (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im)))) 1540367138.936 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (+ re (+ re re)) (log (cos im))) (+ (log (cos im)) (log (cos im))))))) 1540367138.937 * * * * [misc]progress: [ 80 / 130 ] simplifiying candidate # 1540367138.937 * [enter]simplify: Simplifying (+ (+ (log (* (cos im) (exp re))) (log (* (cos im) (exp re)))) (log (* (cos im) (exp re)))) 1540367138.937 * * [misc]simplify: iters left: 6 (8 enodes) 1540367138.939 * * [misc]simplify: iters left: 5 (13 enodes) 1540367138.943 * * [misc]simplify: iters left: 4 (20 enodes) 1540367138.949 * * [misc]simplify: iters left: 3 (37 enodes) 1540367138.959 * * [misc]simplify: iters left: 2 (63 enodes) 1540367138.978 * * [misc]simplify: iters left: 1 (93 enodes) 1540367139.001 * [exit]simplify: Simplified to (+ (+ (+ (+ re re) re) (log (cos im))) (+ (log (cos im)) (log (cos im)))) 1540367139.001 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (+ (+ re re) re) (log (cos im))) (+ (log (cos im)) (log (cos im))))))) 1540367139.001 * * * * [misc]progress: [ 81 / 130 ] simplifiying candidate # 1540367139.002 * [enter]simplify: Simplifying (+ (log (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (+ (log (cos im)) re)) 1540367139.002 * * [misc]simplify: iters left: 6 (10 enodes) 1540367139.005 * * [misc]simplify: iters left: 5 (21 enodes) 1540367139.011 * * [misc]simplify: iters left: 4 (43 enodes) 1540367139.025 * * [misc]simplify: iters left: 3 (83 enodes) 1540367139.053 * * [misc]simplify: iters left: 2 (144 enodes) 1540367139.068 * * [misc]simplify: iters left: 1 (168 enodes) 1540367139.085 * [exit]simplify: Simplified to (+ (+ (log (cos im)) (log (cos im))) (+ (+ re (+ re re)) (log (cos im)))) 1540367139.085 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (log (cos im)) (log (cos im))) (+ (+ re (+ re re)) (log (cos im))))))) 1540367139.086 * * * * [misc]progress: [ 82 / 130 ] simplifiying candidate # 1540367139.086 * [enter]simplify: Simplifying (+ (log (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (log (* (cos im) (exp re)))) 1540367139.086 * * [misc]simplify: iters left: 6 (9 enodes) 1540367139.088 * * [misc]simplify: iters left: 5 (19 enodes) 1540367139.090 * * [misc]simplify: iters left: 4 (35 enodes) 1540367139.095 * * [misc]simplify: iters left: 3 (67 enodes) 1540367139.105 * * [misc]simplify: iters left: 2 (98 enodes) 1540367139.116 * * [misc]simplify: iters left: 1 (113 enodes) 1540367139.127 * [exit]simplify: Simplified to (+ (+ (log (cos im)) re) (+ (+ (log (cos im)) re) (+ (log (cos im)) re))) 1540367139.127 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (exp (+ (+ (log (cos im)) re) (+ (+ (log (cos im)) re) (+ (log (cos im)) re)))))) 1540367139.127 * * * * [misc]progress: [ 83 / 130 ] simplifiying candidate # 1540367139.127 * * * * [misc]progress: [ 84 / 130 ] simplifiying candidate # 1540367139.127 * * * * [misc]progress: [ 85 / 130 ] simplifiying candidate # 1540367139.127 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367139.127 * * [misc]simplify: iters left: 6 (11 enodes) 1540367139.129 * * [misc]simplify: iters left: 5 (27 enodes) 1540367139.135 * * [misc]simplify: iters left: 4 (103 enodes) 1540367139.195 * * [misc]simplify: iters left: 3 (445 enodes) 1540367139.871 * [exit]simplify: Simplified to (pow (* (pow (cos im) 3) (pow (exp re) 3)) 3) 1540367139.872 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (pow (* (pow (cos im) 3) (pow (exp re) 3)) 3)))) 1540367139.872 * * * * [misc]progress: [ 86 / 130 ] simplifiying candidate # 1540367139.872 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367139.872 * * [misc]simplify: iters left: 6 (14 enodes) 1540367139.874 * * [misc]simplify: iters left: 5 (40 enodes) 1540367139.883 * * [misc]simplify: iters left: 4 (164 enodes) 1540367139.967 * [exit]simplify: Simplified to (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3)) 1540367139.967 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3))))) 1540367139.967 * * * * [misc]progress: [ 87 / 130 ] simplifiying candidate # 1540367139.967 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367139.968 * * [misc]simplify: iters left: 6 (14 enodes) 1540367139.970 * * [misc]simplify: iters left: 5 (39 enodes) 1540367139.978 * * [misc]simplify: iters left: 4 (158 enodes) 1540367140.088 * [exit]simplify: Simplified to (* (pow (* (exp re) (cos im)) 3) (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3))) 1540367140.088 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (pow (* (exp re) (cos im)) 3) (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)))))) 1540367140.088 * * * * [misc]progress: [ 88 / 130 ] simplifiying candidate # 1540367140.089 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367140.089 * * [misc]simplify: iters left: 6 (14 enodes) 1540367140.094 * * [misc]simplify: iters left: 5 (41 enodes) 1540367140.112 * * [misc]simplify: iters left: 4 (184 enodes) 1540367140.268 * [exit]simplify: Simplified to (* (pow (* (exp re) (cos im)) 3) (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3))) 1540367140.268 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (pow (* (exp re) (cos im)) 3) (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)))))) 1540367140.269 * * * * [misc]progress: [ 89 / 130 ] simplifiying candidate # 1540367140.269 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367140.269 * * [misc]simplify: iters left: 6 (14 enodes) 1540367140.274 * * [misc]simplify: iters left: 5 (41 enodes) 1540367140.289 * * [misc]simplify: iters left: 4 (187 enodes) 1540367140.383 * [exit]simplify: Simplified to (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3)) 1540367140.383 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3))))) 1540367140.383 * * * * [misc]progress: [ 90 / 130 ] simplifiying candidate # 1540367140.384 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367140.384 * * [misc]simplify: iters left: 6 (14 enodes) 1540367140.386 * * [misc]simplify: iters left: 5 (39 enodes) 1540367140.396 * * [misc]simplify: iters left: 4 (157 enodes) 1540367140.471 * [exit]simplify: Simplified to (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3)) 1540367140.471 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (* (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3)) (pow (* (exp re) (cos im)) 3))))) 1540367140.471 * * * * [misc]progress: [ 91 / 130 ] simplifiying candidate # 1540367140.471 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367140.471 * * [misc]simplify: iters left: 6 (14 enodes) 1540367140.474 * * [misc]simplify: iters left: 5 (40 enodes) 1540367140.482 * * [misc]simplify: iters left: 4 (160 enodes) 1540367140.548 * [exit]simplify: Simplified to (* (* (* (exp re) (cos im)) (pow (* (exp re) (cos im)) 4)) (pow (* (exp re) (cos im)) 4)) 1540367140.548 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (* (* (exp re) (cos im)) (pow (* (exp re) (cos im)) 4)) (pow (* (exp re) (cos im)) 4))))) 1540367140.548 * * * * [misc]progress: [ 92 / 130 ] simplifiying candidate # 1540367140.548 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367140.548 * * [misc]simplify: iters left: 6 (9 enodes) 1540367140.550 * * [misc]simplify: iters left: 5 (24 enodes) 1540367140.554 * * [misc]simplify: iters left: 4 (83 enodes) 1540367140.576 * * [misc]simplify: iters left: 3 (290 enodes) 1540367140.772 * [exit]simplify: Simplified to (pow (pow (* (exp re) (cos im)) 3) 3) 1540367140.772 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (pow (pow (* (exp re) (cos im)) 3) 3)))) 1540367140.772 * * * * [misc]progress: [ 93 / 130 ] simplifiying candidate # 1540367140.772 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))) 1540367140.772 * * [misc]simplify: iters left: 6 (14 enodes) 1540367140.777 * * [misc]simplify: iters left: 5 (40 enodes) 1540367140.792 * * [misc]simplify: iters left: 4 (166 enodes) 1540367140.922 * [exit]simplify: Simplified to (* (pow (* (exp re) (cos im)) 4) (* (pow (* (exp re) (cos im)) 4) (* (exp re) (cos im)))) 1540367140.922 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (* (pow (* (exp re) (cos im)) 4) (* (pow (* (exp re) (cos im)) 4) (* (exp re) (cos im))))))) 1540367140.922 * * * * [misc]progress: [ 94 / 130 ] simplifiying candidate # 1540367140.923 * [enter]simplify: Simplifying (* (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (* (* (cos im) (exp re)) (* (cos im) (exp re)))) (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (cos im) (exp re)))) 1540367140.923 * * [misc]simplify: iters left: 6 (10 enodes) 1540367140.925 * * [misc]simplify: iters left: 5 (28 enodes) 1540367140.931 * * [misc]simplify: iters left: 4 (106 enodes) 1540367140.979 * * [misc]simplify: iters left: 3 (366 enodes) 1540367141.346 * [exit]simplify: Simplified to (pow (pow (* (exp re) (cos im)) 3) 3) 1540367141.347 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (cbrt (pow (pow (* (exp re) (cos im)) 3) 3)))) 1540367141.347 * * * * [misc]progress: [ 95 / 130 ] simplifiying candidate # 1540367141.347 * * * * [misc]progress: [ 96 / 130 ] simplifiying candidate # 1540367141.347 * * * * [misc]progress: [ 97 / 130 ] simplifiying candidate # 1540367141.347 * * * * [misc]progress: [ 98 / 130 ] simplifiying candidate # 1540367141.347 * * * * [misc]progress: [ 99 / 130 ] simplifiying candidate # 1540367141.347 * [enter]simplify: Simplifying (exp re) 1540367141.348 * * [misc]simplify: iters left: 1 (2 enodes) 1540367141.349 * [exit]simplify: Simplified to (exp re) 1540367141.349 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (* (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (cos im)) (exp re)))) 1540367141.349 * * * * [misc]progress: [ 100 / 130 ] simplifiying candidate # 1540367141.349 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.350 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.351 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.353 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.353 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (* (* (exp re) (cos im)) (* (* (cos im) (exp re)) (* (cos im) (exp re)))))) 1540367141.353 * * * * [misc]progress: [ 101 / 130 ] simplifiying candidate # 1540367141.353 * * * * [misc]progress: [ 102 / 130 ] simplifiying candidate # 1540367141.353 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.353 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.355 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.356 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.356 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (pow (* (exp re) (cos im)) 1)))) 1540367141.357 * * * * [misc]progress: [ 103 / 130 ] simplifiying candidate # 1540367141.357 * * * * [misc]progress: [ 104 / 130 ] simplifiying candidate # 1540367141.357 * [enter]simplify: Simplifying (+ (log (cos im)) re) 1540367141.357 * * [misc]simplify: iters left: 4 (5 enodes) 1540367141.358 * * [misc]simplify: iters left: 3 (6 enodes) 1540367141.360 * [exit]simplify: Simplified to (+ re (log (cos im))) 1540367141.360 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (exp (+ re (log (cos im))))))) 1540367141.360 * * * * [misc]progress: [ 105 / 130 ] simplifiying candidate # 1540367141.360 * * * * [misc]progress: [ 106 / 130 ] simplifiying candidate # 1540367141.360 * * * * [misc]progress: [ 107 / 130 ] simplifiying candidate # 1540367141.360 * [enter]simplify: Simplifying (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) 1540367141.361 * * [misc]simplify: iters left: 6 (9 enodes) 1540367141.364 * * [misc]simplify: iters left: 5 (18 enodes) 1540367141.371 * * [misc]simplify: iters left: 4 (47 enodes) 1540367141.386 * * [misc]simplify: iters left: 3 (80 enodes) 1540367141.397 * * [misc]simplify: iters left: 2 (100 enodes) 1540367141.413 * * [misc]simplify: iters left: 1 (101 enodes) 1540367141.428 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1540367141.428 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (cbrt (pow (* (exp re) (cos im)) 3))))) 1540367141.428 * * * * [misc]progress: [ 108 / 130 ] simplifiying candidate # 1540367141.428 * * * * [misc]progress: [ 109 / 130 ] simplifiying candidate # 1540367141.429 * * * * [misc]progress: [ 110 / 130 ] simplifiying candidate # 1540367141.429 * * * * [misc]progress: [ 111 / 130 ] simplifiying candidate # 1540367141.429 * * * * [misc]progress: [ 112 / 130 ] simplifiying candidate # 1540367141.429 * [enter]simplify: Simplifying (cbrt (exp re)) 1540367141.429 * * [misc]simplify: iters left: 2 (3 enodes) 1540367141.430 * [exit]simplify: Simplified to (cbrt (exp re)) 1540367141.430 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cos im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))))) 1540367141.430 * * * * [misc]progress: [ 113 / 130 ] simplifiying candidate # 1540367141.430 * [enter]simplify: Simplifying (sqrt (exp re)) 1540367141.430 * * [misc]simplify: iters left: 2 (3 enodes) 1540367141.431 * [exit]simplify: Simplified to (sqrt (exp re)) 1540367141.431 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))))) 1540367141.431 * * * * [misc]progress: [ 114 / 130 ] simplifiying candidate # 1540367141.431 * [enter]simplify: Simplifying (exp re) 1540367141.431 * * [misc]simplify: iters left: 1 (2 enodes) 1540367141.432 * [exit]simplify: Simplified to (exp re) 1540367141.432 * [misc]simplify: Simplified (2 1 2 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cos im) 1) (exp re))))) 1540367141.432 * * * * [misc]progress: [ 115 / 130 ] simplifiying candidate # 1540367141.432 * [enter]simplify: Simplifying (* (cbrt (cos im)) (cbrt (cos im))) 1540367141.433 * * [misc]simplify: iters left: 4 (4 enodes) 1540367141.434 * [exit]simplify: Simplified to (* (cbrt (cos im)) (cbrt (cos im))) 1540367141.434 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cos im)) (exp re)))))) 1540367141.434 * * * * [misc]progress: [ 116 / 130 ] simplifiying candidate # 1540367141.434 * [enter]simplify: Simplifying (sqrt (cos im)) 1540367141.434 * * [misc]simplify: iters left: 2 (3 enodes) 1540367141.435 * [exit]simplify: Simplified to (sqrt (cos im)) 1540367141.435 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (sqrt (cos im)) (* (sqrt (cos im)) (exp re)))))) 1540367141.435 * * * * [misc]progress: [ 117 / 130 ] simplifiying candidate # 1540367141.435 * * * * [misc]progress: [ 118 / 130 ] simplifiying candidate # 1540367141.435 * * * * [misc]progress: [ 119 / 130 ] simplifiying candidate # 1540367141.435 * [enter]simplify: Simplifying (- (+ re 1) (* 1/2 (pow im 2))) 1540367141.435 * * [misc]simplify: iters left: 5 (9 enodes) 1540367141.438 * * [misc]simplify: iters left: 4 (18 enodes) 1540367141.442 * * [misc]simplify: iters left: 3 (37 enodes) 1540367141.447 * * [misc]simplify: iters left: 2 (52 enodes) 1540367141.453 * * [misc]simplify: iters left: 1 (60 enodes) 1540367141.459 * [exit]simplify: Simplified to (+ (* -1/2 (* im im)) (+ 1 re)) 1540367141.459 * [misc]simplify: Simplified (2) to (λ (re im) (+ (* -1/2 (* im im)) (+ 1 re))) 1540367141.459 * * * * [misc]progress: [ 120 / 130 ] simplifiying candidate # 1540367141.460 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.460 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.460 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.461 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.461 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1540367141.461 * * * * [misc]progress: [ 121 / 130 ] simplifiying candidate # 1540367141.461 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.461 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.462 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.463 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.463 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1540367141.463 * * * * [misc]progress: [ 122 / 130 ] simplifiying candidate # 1540367141.463 * [enter]simplify: Simplifying (- (+ (* 2 re) 1) (pow im 2)) 1540367141.463 * * [misc]simplify: iters left: 6 (8 enodes) 1540367141.464 * * [misc]simplify: iters left: 5 (17 enodes) 1540367141.466 * * [misc]simplify: iters left: 4 (28 enodes) 1540367141.470 * * [misc]simplify: iters left: 3 (35 enodes) 1540367141.474 * * [misc]simplify: iters left: 2 (37 enodes) 1540367141.481 * * [misc]simplify: iters left: 1 (46 enodes) 1540367141.493 * [exit]simplify: Simplified to (- 1 (- (* im im) (* 2 re))) 1540367141.493 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (* (- 1 (- (* im im) (* 2 re))) (* (cos im) (exp re))))) 1540367141.493 * * * * [misc]progress: [ 123 / 130 ] simplifiying candidate # 1540367141.494 * [enter]simplify: Simplifying (* (pow (cos im) 2) (pow (exp re) 2)) 1540367141.494 * * [misc]simplify: iters left: 4 (8 enodes) 1540367141.496 * * [misc]simplify: iters left: 3 (11 enodes) 1540367141.499 * * [misc]simplify: iters left: 2 (21 enodes) 1540367141.506 * * [misc]simplify: iters left: 1 (29 enodes) 1540367141.514 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367141.514 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (cos im) (exp re))))) 1540367141.514 * * * * [misc]progress: [ 124 / 130 ] simplifiying candidate # 1540367141.514 * [enter]simplify: Simplifying (* (pow (cos im) 2) (pow (exp re) 2)) 1540367141.514 * * [misc]simplify: iters left: 4 (8 enodes) 1540367141.517 * * [misc]simplify: iters left: 3 (11 enodes) 1540367141.520 * * [misc]simplify: iters left: 2 (21 enodes) 1540367141.526 * * [misc]simplify: iters left: 1 (29 enodes) 1540367141.534 * [exit]simplify: Simplified to (* (* (exp re) (cos im)) (* (exp re) (cos im))) 1540367141.534 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (cbrt (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (cos im) (exp re))))) 1540367141.534 * * * * [misc]progress: [ 125 / 130 ] simplifiying candidate # 1540367141.535 * [enter]simplify: Simplifying (- (+ (* 3 re) 1) (* 3/2 (pow im 2))) 1540367141.535 * * [misc]simplify: iters left: 6 (11 enodes) 1540367141.538 * * [misc]simplify: iters left: 5 (21 enodes) 1540367141.546 * * [misc]simplify: iters left: 4 (40 enodes) 1540367141.552 * * [misc]simplify: iters left: 3 (54 enodes) 1540367141.559 * * [misc]simplify: iters left: 2 (62 enodes) 1540367141.566 * * [misc]simplify: iters left: 1 (71 enodes) 1540367141.575 * [exit]simplify: Simplified to (+ (+ 1 (* 3 re)) (* (* -3/2 im) im)) 1540367141.575 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (+ (+ 1 (* 3 re)) (* (* -3/2 im) im)))) 1540367141.575 * * * * [misc]progress: [ 126 / 130 ] simplifiying candidate # 1540367141.575 * [enter]simplify: Simplifying (* (pow (cos im) 3) (pow (exp re) 3)) 1540367141.575 * * [misc]simplify: iters left: 4 (8 enodes) 1540367141.576 * * [misc]simplify: iters left: 3 (15 enodes) 1540367141.579 * * [misc]simplify: iters left: 2 (33 enodes) 1540367141.584 * * [misc]simplify: iters left: 1 (70 enodes) 1540367141.604 * [exit]simplify: Simplified to (* (pow (cos im) 3) (pow (exp re) 3)) 1540367141.604 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (* (pow (cos im) 3) (pow (exp re) 3)))) 1540367141.604 * * * * [misc]progress: [ 127 / 130 ] simplifiying candidate # 1540367141.604 * [enter]simplify: Simplifying (* (pow (cos im) 3) (pow (exp re) 3)) 1540367141.604 * * [misc]simplify: iters left: 4 (8 enodes) 1540367141.605 * * [misc]simplify: iters left: 3 (15 enodes) 1540367141.608 * * [misc]simplify: iters left: 2 (33 enodes) 1540367141.613 * * [misc]simplify: iters left: 1 (70 enodes) 1540367141.625 * [exit]simplify: Simplified to (* (pow (cos im) 3) (pow (exp re) 3)) 1540367141.625 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (* (pow (cos im) 3) (pow (exp re) 3)))) 1540367141.625 * * * * [misc]progress: [ 128 / 130 ] simplifiying candidate # 1540367141.626 * [enter]simplify: Simplifying (- (+ re 1) (* 1/2 (pow im 2))) 1540367141.626 * * [misc]simplify: iters left: 5 (9 enodes) 1540367141.627 * * [misc]simplify: iters left: 4 (18 enodes) 1540367141.633 * * [misc]simplify: iters left: 3 (37 enodes) 1540367141.643 * * [misc]simplify: iters left: 2 (52 enodes) 1540367141.655 * * [misc]simplify: iters left: 1 (60 enodes) 1540367141.662 * [exit]simplify: Simplified to (+ (* -1/2 (* im im)) (+ 1 re)) 1540367141.662 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (+ (* -1/2 (* im im)) (+ 1 re))))) 1540367141.662 * * * * [misc]progress: [ 129 / 130 ] simplifiying candidate # 1540367141.662 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.662 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.663 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.664 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.664 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (exp re) (cos im))))) 1540367141.664 * * * * [misc]progress: [ 130 / 130 ] simplifiying candidate # 1540367141.664 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1540367141.664 * * [misc]simplify: iters left: 3 (5 enodes) 1540367141.665 * * [misc]simplify: iters left: 2 (6 enodes) 1540367141.665 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1540367141.665 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (cbrt (* (* (* (cos im) (exp re)) (* (cos im) (exp re))) (* (exp re) (cos im))))) 1540367141.666 * * * [misc]progress: adding candidates to table 1540367142.936 * [misc]progress: [Phase 3 of 3] Extracting. 1540367142.936 * * [misc]regime: Finding splitpoints for: (# #) 1540367142.936 * * * [misc]regime-changes: Trying 4 branch expressions: (im (cos im) re (exp re)) 1540367142.936 * * * * [misc]regimes: Trying to branch on im from (# #) 1540367142.964 * * * * [misc]regimes: Trying to branch on (cos im) from (# #) 1540367143.001 * * * * [misc]regimes: Trying to branch on re from (# #) 1540367143.026 * * * * [misc]regimes: Trying to branch on (exp re) from (# #) 1540367143.052 * * * [misc]regime: Found split indices: #