1538638953.166 * [misc]progress: [Phase 1 of 3] Setting up. 1538638953.166 * * * [misc]progress: [1/2] Preparing points 1538638953.166 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538638953.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638953.263 * * * * [misc]points: Sampling 62 additional inputs, on iter 1 have 194 / 256 1538638953.278 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638953.278 * * * * [misc]points: Sampling 14 additional inputs, on iter 2 have 242 / 256 1538638953.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638953.282 * * * * [misc]points: Sampling 5 additional inputs, on iter 3 have 251 / 256 1538638953.284 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638953.284 * * * * [exit]points: Sampled 256 points with exact outputs 1538638953.284 * * * [misc]progress: [2/2] Setting up program. 1538638953.288 * [misc]progress: [Phase 2 of 3] Improving. 1538638953.288 * [enter]simplify: Simplifying (* (exp re) (cos im)) 1538638953.289 * * [misc]simplify: iters left: 3 (5 enodes) 1538638953.290 * * [misc]simplify: iters left: 2 (6 enodes) 1538638953.291 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1538638953.298 * * [misc]progress: iteration 1 / 4 1538638953.298 * * * [misc]progress: picking best candidate 1538638953.301 * * * * [misc]pick: Picked # 1538638953.301 * * * [misc]progress: localizing error 1538638953.313 * * * [misc]progress: generating rewritten candidates 1538638953.313 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538638953.350 * * * [misc]progress: generating series expansions 1538638953.350 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538638953.350 * [misc]backup-simplify: Simplify (* (cos im) (exp re)) into (* (cos im) (exp re)) 1538638953.350 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (im re) around 0 1538638953.350 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1538638953.350 * [misc]taylor: Taking taylor expansion of (cos im) in re 1538638953.350 * [misc]taylor: Taking taylor expansion of im in re 1538638953.350 * [misc]backup-simplify: Simplify im into im 1538638953.351 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1538638953.351 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1538638953.351 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.351 * [misc]taylor: Taking taylor expansion of re in re 1538638953.351 * [misc]backup-simplify: Simplify 0 into 0 1538638953.351 * [misc]backup-simplify: Simplify 1 into 1 1538638953.351 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.351 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of im in im 1538638953.351 * [misc]backup-simplify: Simplify 0 into 0 1538638953.351 * [misc]backup-simplify: Simplify 1 into 1 1538638953.351 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of re in im 1538638953.351 * [misc]backup-simplify: Simplify re into re 1538638953.351 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.351 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of im in im 1538638953.351 * [misc]backup-simplify: Simplify 0 into 0 1538638953.351 * [misc]backup-simplify: Simplify 1 into 1 1538638953.351 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.351 * [misc]taylor: Taking taylor expansion of re in im 1538638953.351 * [misc]backup-simplify: Simplify re into re 1538638953.351 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.351 * [misc]backup-simplify: Simplify (* 1 (exp re)) into (exp re) 1538638953.351 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.351 * [misc]taylor: Taking taylor expansion of re in re 1538638953.351 * [misc]backup-simplify: Simplify 0 into 0 1538638953.351 * [misc]backup-simplify: Simplify 1 into 1 1538638953.351 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.351 * [misc]backup-simplify: Simplify 1 into 1 1538638953.352 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.353 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.353 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp re))) into 0 1538638953.353 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.353 * [misc]backup-simplify: Simplify 0 into 0 1538638953.353 * [misc]backup-simplify: Simplify 0 into 0 1538638953.354 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.354 * [misc]backup-simplify: Simplify 1 into 1 1538638953.356 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.357 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1538638953.357 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp re)))) into (- (* 1/2 (exp re))) 1538638953.357 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp re))) in re 1538638953.357 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp re)) in re 1538638953.357 * [misc]taylor: Taking taylor expansion of 1/2 in re 1538638953.357 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.357 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.357 * [misc]taylor: Taking taylor expansion of re in re 1538638953.357 * [misc]backup-simplify: Simplify 0 into 0 1538638953.357 * [misc]backup-simplify: Simplify 1 into 1 1538638953.357 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.357 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538638953.357 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538638953.357 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538638953.358 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1 (* re 1)) 1)) into (- (+ re 1) (* 1/2 (pow im 2))) 1538638953.358 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.358 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1538638953.358 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1538638953.358 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.358 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.358 * [misc]taylor: Taking taylor expansion of im in re 1538638953.358 * [misc]backup-simplify: Simplify im into im 1538638953.358 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.358 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.358 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.358 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.358 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.358 * [misc]taylor: Taking taylor expansion of re in re 1538638953.358 * [misc]backup-simplify: Simplify 0 into 0 1538638953.358 * [misc]backup-simplify: Simplify 1 into 1 1538638953.358 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.358 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.358 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1538638953.358 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.358 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.358 * [misc]taylor: Taking taylor expansion of im in im 1538638953.358 * [misc]backup-simplify: Simplify 0 into 0 1538638953.358 * [misc]backup-simplify: Simplify 1 into 1 1538638953.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.359 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.359 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of re in im 1538638953.359 * [misc]backup-simplify: Simplify re into re 1538638953.359 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.359 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.359 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of im in im 1538638953.359 * [misc]backup-simplify: Simplify 0 into 0 1538638953.359 * [misc]backup-simplify: Simplify 1 into 1 1538638953.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.359 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.359 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.359 * [misc]taylor: Taking taylor expansion of re in im 1538638953.359 * [misc]backup-simplify: Simplify re into re 1538638953.359 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.359 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.359 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.359 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1538638953.359 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.359 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.359 * [misc]taylor: Taking taylor expansion of im in re 1538638953.360 * [misc]backup-simplify: Simplify im into im 1538638953.360 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.360 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.360 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.360 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.360 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.360 * [misc]taylor: Taking taylor expansion of re in re 1538638953.360 * [misc]backup-simplify: Simplify 0 into 0 1538638953.360 * [misc]backup-simplify: Simplify 1 into 1 1538638953.360 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.360 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.360 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1538638953.360 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1538638953.360 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.360 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1538638953.360 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.361 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.361 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1538638953.361 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.361 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538638953.361 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.361 * [misc]backup-simplify: Simplify 0 into 0 1538638953.361 * [misc]backup-simplify: Simplify 0 into 0 1538638953.362 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.362 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1538638953.362 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1538638953.363 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.363 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1538638953.363 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.363 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.363 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538638953.363 * [misc]backup-simplify: Simplify 0 into 0 1538638953.363 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.365 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.365 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538638953.365 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.365 * [misc]backup-simplify: Simplify 0 into 0 1538638953.365 * [misc]backup-simplify: Simplify 0 into 0 1538638953.365 * [misc]backup-simplify: Simplify 0 into 0 1538638953.366 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.366 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.366 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.367 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.367 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.367 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.367 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538638953.368 * [misc]backup-simplify: Simplify 0 into 0 1538638953.368 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.370 * [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 1538638953.370 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1538638953.370 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.370 * [misc]backup-simplify: Simplify 0 into 0 1538638953.370 * [misc]backup-simplify: Simplify 0 into 0 1538638953.370 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1538638953.370 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.370 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1538638953.370 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1538638953.370 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.370 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.370 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.370 * [misc]backup-simplify: Simplify -1 into -1 1538638953.370 * [misc]taylor: Taking taylor expansion of im in re 1538638953.370 * [misc]backup-simplify: Simplify im into im 1538638953.370 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.370 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.371 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.371 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.371 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.371 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.371 * [misc]backup-simplify: Simplify -1 into -1 1538638953.371 * [misc]taylor: Taking taylor expansion of re in re 1538638953.371 * [misc]backup-simplify: Simplify 0 into 0 1538638953.371 * [misc]backup-simplify: Simplify 1 into 1 1538638953.371 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.371 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.371 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.371 * [misc]backup-simplify: Simplify -1 into -1 1538638953.371 * [misc]taylor: Taking taylor expansion of im in im 1538638953.371 * [misc]backup-simplify: Simplify 0 into 0 1538638953.371 * [misc]backup-simplify: Simplify 1 into 1 1538638953.371 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.371 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.371 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.371 * [misc]backup-simplify: Simplify -1 into -1 1538638953.371 * [misc]taylor: Taking taylor expansion of re in im 1538638953.371 * [misc]backup-simplify: Simplify re into re 1538638953.371 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.371 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.371 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.371 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.371 * [misc]backup-simplify: Simplify -1 into -1 1538638953.371 * [misc]taylor: Taking taylor expansion of im in im 1538638953.371 * [misc]backup-simplify: Simplify 0 into 0 1538638953.371 * [misc]backup-simplify: Simplify 1 into 1 1538638953.372 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.372 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.372 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.372 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.372 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.372 * [misc]backup-simplify: Simplify -1 into -1 1538638953.372 * [misc]taylor: Taking taylor expansion of re in im 1538638953.372 * [misc]backup-simplify: Simplify re into re 1538638953.372 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.372 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.372 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.372 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1538638953.372 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.372 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.372 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.372 * [misc]backup-simplify: Simplify -1 into -1 1538638953.372 * [misc]taylor: Taking taylor expansion of im in re 1538638953.372 * [misc]backup-simplify: Simplify im into im 1538638953.372 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.372 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.372 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.372 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.372 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.372 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.372 * [misc]backup-simplify: Simplify -1 into -1 1538638953.372 * [misc]taylor: Taking taylor expansion of re in re 1538638953.372 * [misc]backup-simplify: Simplify 0 into 0 1538638953.372 * [misc]backup-simplify: Simplify 1 into 1 1538638953.372 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.372 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.372 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1538638953.372 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1538638953.373 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.373 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1538638953.373 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.373 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.373 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1538638953.374 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.374 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538638953.374 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.374 * [misc]backup-simplify: Simplify 0 into 0 1538638953.374 * [misc]backup-simplify: Simplify 0 into 0 1538638953.374 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.374 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1538638953.374 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1538638953.375 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.375 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1538638953.375 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.375 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.376 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538638953.376 * [misc]backup-simplify: Simplify 0 into 0 1538638953.376 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.377 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.377 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538638953.377 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.377 * [misc]backup-simplify: Simplify 0 into 0 1538638953.377 * [misc]backup-simplify: Simplify 0 into 0 1538638953.377 * [misc]backup-simplify: Simplify 0 into 0 1538638953.378 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.378 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.378 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.379 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.379 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.379 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.380 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538638953.380 * [misc]backup-simplify: Simplify 0 into 0 1538638953.380 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.382 * [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 1538638953.382 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1538638953.382 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.382 * [misc]backup-simplify: Simplify 0 into 0 1538638953.382 * [misc]backup-simplify: Simplify 0 into 0 1538638953.382 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (cos im) (exp re)) 1538638953.382 * * * [misc]progress: simplifying candidates 1538638953.382 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1538638953.382 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1538638953.383 * * [misc]simplify: iters left: 3 (5 enodes) 1538638953.384 * * [misc]simplify: iters left: 2 (6 enodes) 1538638953.385 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1538638953.385 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (exp re) (cos im)) 1)) 1538638953.385 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1538638953.385 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1538638953.385 * [enter]simplify: Simplifying (+ (log (cos im)) re) 1538638953.386 * * [misc]simplify: iters left: 4 (5 enodes) 1538638953.387 * * [misc]simplify: iters left: 3 (6 enodes) 1538638953.388 * [exit]simplify: Simplified to (+ re (log (cos im))) 1538638953.388 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ re (log (cos im))))) 1538638953.388 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1538638953.388 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1538638953.388 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1538638953.388 * [enter]simplify: Simplifying (* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re))) 1538638953.389 * * [misc]simplify: iters left: 6 (9 enodes) 1538638953.391 * * [misc]simplify: iters left: 5 (18 enodes) 1538638953.397 * * [misc]simplify: iters left: 4 (47 enodes) 1538638953.408 * * [misc]simplify: iters left: 3 (80 enodes) 1538638953.423 * * [misc]simplify: iters left: 2 (100 enodes) 1538638953.447 * * [misc]simplify: iters left: 1 (101 enodes) 1538638953.466 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1538638953.467 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3))) 1538638953.467 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1538638953.467 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1538638953.467 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1538638953.467 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1538638953.467 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1538638953.467 * [enter]simplify: Simplifying (cbrt (exp re)) 1538638953.468 * * [misc]simplify: iters left: 2 (3 enodes) 1538638953.468 * [exit]simplify: Simplified to (cbrt (exp re)) 1538638953.468 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))) 1538638953.469 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1538638953.469 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638953.469 * * [misc]simplify: iters left: 2 (3 enodes) 1538638953.470 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638953.470 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638953.470 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1538638953.470 * [enter]simplify: Simplifying (exp re) 1538638953.470 * * [misc]simplify: iters left: 1 (2 enodes) 1538638953.471 * [exit]simplify: Simplified to (exp re) 1538638953.471 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) 1) (exp re))) 1538638953.471 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1538638953.471 * [enter]simplify: Simplifying (* (cbrt (cos im)) (cbrt (cos im))) 1538638953.472 * * [misc]simplify: iters left: 4 (4 enodes) 1538638953.473 * [exit]simplify: Simplified to (* (cbrt (cos im)) (cbrt (cos im))) 1538638953.473 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cos im)) (exp re)))) 1538638953.473 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1538638953.473 * [enter]simplify: Simplifying (sqrt (cos im)) 1538638953.474 * * [misc]simplify: iters left: 2 (3 enodes) 1538638953.475 * [exit]simplify: Simplified to (sqrt (cos im)) 1538638953.475 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (cos im)) (* (sqrt (cos im)) (exp re)))) 1538638953.475 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1538638953.475 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1538638953.475 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1538638953.475 * [enter]simplify: Simplifying (- (+ re 1) (* 1/2 (pow im 2))) 1538638953.476 * * [misc]simplify: iters left: 5 (9 enodes) 1538638953.479 * * [misc]simplify: iters left: 4 (18 enodes) 1538638953.488 * * [misc]simplify: iters left: 3 (37 enodes) 1538638953.500 * * [misc]simplify: iters left: 2 (52 enodes) 1538638953.513 * * [misc]simplify: iters left: 1 (60 enodes) 1538638953.525 * [exit]simplify: Simplified to (+ (* -1/2 (* im im)) (+ 1 re)) 1538638953.525 * [misc]simplify: Simplified (2) to (λ (re im) (+ (* -1/2 (* im im)) (+ 1 re))) 1538638953.525 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1538638953.526 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1538638953.526 * * [misc]simplify: iters left: 3 (5 enodes) 1538638953.527 * * [misc]simplify: iters left: 2 (6 enodes) 1538638953.528 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1538638953.528 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1538638953.528 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1538638953.528 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1538638953.528 * * [misc]simplify: iters left: 3 (5 enodes) 1538638953.529 * * [misc]simplify: iters left: 2 (6 enodes) 1538638953.530 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1538638953.530 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1538638953.530 * * * [misc]progress: adding candidates to table 1538638953.751 * * [misc]progress: iteration 2 / 4 1538638953.751 * * * [misc]progress: picking best candidate 1538638953.755 * * * * [misc]pick: Picked # 1538638953.755 * * * [misc]progress: localizing error 1538638953.764 * * * [misc]progress: generating rewritten candidates 1538638953.764 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) 1538638953.837 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2) 1538638953.840 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1538638953.842 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1538638953.871 * * * [misc]progress: generating series expansions 1538638953.871 * * * * [misc]progress: [ 1 / 4 ] generating series at (2) 1538638953.871 * [misc]backup-simplify: Simplify (* (* (cos im) (sqrt (exp re))) (sqrt (exp re))) into (* (cos im) (exp re)) 1538638953.871 * [misc]approximate: Taking taylor expansion of (* (cos im) (exp re)) in (im re) around 0 1538638953.871 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in re 1538638953.871 * [misc]taylor: Taking taylor expansion of (cos im) in re 1538638953.871 * [misc]taylor: Taking taylor expansion of im in re 1538638953.871 * [misc]backup-simplify: Simplify im into im 1538638953.871 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1538638953.871 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1538638953.871 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.871 * [misc]taylor: Taking taylor expansion of re in re 1538638953.871 * [misc]backup-simplify: Simplify 0 into 0 1538638953.871 * [misc]backup-simplify: Simplify 1 into 1 1538638953.871 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.871 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1538638953.871 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.871 * [misc]taylor: Taking taylor expansion of im in im 1538638953.871 * [misc]backup-simplify: Simplify 0 into 0 1538638953.872 * [misc]backup-simplify: Simplify 1 into 1 1538638953.872 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.872 * [misc]taylor: Taking taylor expansion of re in im 1538638953.872 * [misc]backup-simplify: Simplify re into re 1538638953.872 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.872 * [misc]taylor: Taking taylor expansion of (* (cos im) (exp re)) in im 1538638953.872 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.872 * [misc]taylor: Taking taylor expansion of im in im 1538638953.872 * [misc]backup-simplify: Simplify 0 into 0 1538638953.872 * [misc]backup-simplify: Simplify 1 into 1 1538638953.872 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.872 * [misc]taylor: Taking taylor expansion of re in im 1538638953.872 * [misc]backup-simplify: Simplify re into re 1538638953.872 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.872 * [misc]backup-simplify: Simplify (* 1 (exp re)) into (exp re) 1538638953.872 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.872 * [misc]taylor: Taking taylor expansion of re in re 1538638953.872 * [misc]backup-simplify: Simplify 0 into 0 1538638953.872 * [misc]backup-simplify: Simplify 1 into 1 1538638953.872 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.872 * [misc]backup-simplify: Simplify 1 into 1 1538638953.873 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.873 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.873 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp re))) into 0 1538638953.873 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.873 * [misc]backup-simplify: Simplify 0 into 0 1538638953.873 * [misc]backup-simplify: Simplify 0 into 0 1538638953.874 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.874 * [misc]backup-simplify: Simplify 1 into 1 1538638953.875 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.876 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1538638953.876 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (exp re)))) into (- (* 1/2 (exp re))) 1538638953.876 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (exp re))) in re 1538638953.876 * [misc]taylor: Taking taylor expansion of (* 1/2 (exp re)) in re 1538638953.876 * [misc]taylor: Taking taylor expansion of 1/2 in re 1538638953.876 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.876 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.876 * [misc]taylor: Taking taylor expansion of re in re 1538638953.876 * [misc]backup-simplify: Simplify 0 into 0 1538638953.876 * [misc]backup-simplify: Simplify 1 into 1 1538638953.876 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.877 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538638953.877 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538638953.877 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538638953.877 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1 (* re 1)) 1)) into (- (+ re 1) (* 1/2 (pow im 2))) 1538638953.877 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.877 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1538638953.877 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1538638953.877 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.877 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.877 * [misc]taylor: Taking taylor expansion of im in re 1538638953.877 * [misc]backup-simplify: Simplify im into im 1538638953.877 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.877 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.877 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.877 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.877 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.877 * [misc]taylor: Taking taylor expansion of re in re 1538638953.877 * [misc]backup-simplify: Simplify 0 into 0 1538638953.877 * [misc]backup-simplify: Simplify 1 into 1 1538638953.878 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.878 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.878 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of im in im 1538638953.878 * [misc]backup-simplify: Simplify 0 into 0 1538638953.878 * [misc]backup-simplify: Simplify 1 into 1 1538638953.878 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.878 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.878 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of re in im 1538638953.878 * [misc]backup-simplify: Simplify re into re 1538638953.878 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.878 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.878 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of im in im 1538638953.878 * [misc]backup-simplify: Simplify 0 into 0 1538638953.878 * [misc]backup-simplify: Simplify 1 into 1 1538638953.878 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.878 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.878 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.878 * [misc]taylor: Taking taylor expansion of re in im 1538638953.878 * [misc]backup-simplify: Simplify re into re 1538638953.878 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.878 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.878 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.879 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (exp (/ 1 re))) in re 1538638953.879 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.879 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.879 * [misc]taylor: Taking taylor expansion of im in re 1538638953.879 * [misc]backup-simplify: Simplify im into im 1538638953.879 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.879 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.879 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.879 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.879 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.879 * [misc]taylor: Taking taylor expansion of re in re 1538638953.879 * [misc]backup-simplify: Simplify 0 into 0 1538638953.879 * [misc]backup-simplify: Simplify 1 into 1 1538638953.879 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.879 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.879 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1538638953.879 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1538638953.879 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.879 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1538638953.879 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.879 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (exp (/ 1 re))) into (* (cos (/ 1 im)) (exp (/ 1 re))) 1538638953.880 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1538638953.880 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.880 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538638953.880 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.880 * [misc]backup-simplify: Simplify 0 into 0 1538638953.880 * [misc]backup-simplify: Simplify 0 into 0 1538638953.881 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.881 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1538638953.881 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1538638953.881 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.882 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1538638953.882 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.882 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.882 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538638953.882 * [misc]backup-simplify: Simplify 0 into 0 1538638953.882 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.883 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.883 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538638953.883 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.883 * [misc]backup-simplify: Simplify 0 into 0 1538638953.883 * [misc]backup-simplify: Simplify 0 into 0 1538638953.884 * [misc]backup-simplify: Simplify 0 into 0 1538638953.884 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.884 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.884 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.885 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.885 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.885 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.886 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.886 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538638953.886 * [misc]backup-simplify: Simplify 0 into 0 1538638953.886 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.888 * [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 1538638953.888 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1538638953.888 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.888 * [misc]backup-simplify: Simplify 0 into 0 1538638953.888 * [misc]backup-simplify: Simplify 0 into 0 1538638953.888 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (cos im) (exp re)) 1538638953.889 * [misc]backup-simplify: Simplify (* (* (cos (/ 1 (- im))) (sqrt (exp (/ 1 (- re))))) (sqrt (exp (/ 1 (- re))))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.889 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1538638953.889 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1538638953.889 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.889 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.889 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.889 * [misc]backup-simplify: Simplify -1 into -1 1538638953.889 * [misc]taylor: Taking taylor expansion of im in re 1538638953.889 * [misc]backup-simplify: Simplify im into im 1538638953.889 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.889 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.889 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.889 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.889 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.889 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.889 * [misc]backup-simplify: Simplify -1 into -1 1538638953.889 * [misc]taylor: Taking taylor expansion of re in re 1538638953.889 * [misc]backup-simplify: Simplify 0 into 0 1538638953.889 * [misc]backup-simplify: Simplify 1 into 1 1538638953.889 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.889 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.889 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1538638953.889 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.889 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.889 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.889 * [misc]backup-simplify: Simplify -1 into -1 1538638953.889 * [misc]taylor: Taking taylor expansion of im in im 1538638953.889 * [misc]backup-simplify: Simplify 0 into 0 1538638953.889 * [misc]backup-simplify: Simplify 1 into 1 1538638953.889 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.889 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.889 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.889 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.889 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.889 * [misc]backup-simplify: Simplify -1 into -1 1538638953.889 * [misc]taylor: Taking taylor expansion of re in im 1538638953.889 * [misc]backup-simplify: Simplify re into re 1538638953.890 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.890 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.890 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in im 1538638953.890 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.890 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.890 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.890 * [misc]backup-simplify: Simplify -1 into -1 1538638953.890 * [misc]taylor: Taking taylor expansion of im in im 1538638953.890 * [misc]backup-simplify: Simplify 0 into 0 1538638953.890 * [misc]backup-simplify: Simplify 1 into 1 1538638953.890 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.890 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.890 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.890 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.890 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.890 * [misc]backup-simplify: Simplify -1 into -1 1538638953.890 * [misc]taylor: Taking taylor expansion of re in im 1538638953.890 * [misc]backup-simplify: Simplify re into re 1538638953.890 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.890 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.890 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.890 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (exp (/ -1 re))) in re 1538638953.890 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.890 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.890 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.890 * [misc]backup-simplify: Simplify -1 into -1 1538638953.890 * [misc]taylor: Taking taylor expansion of im in re 1538638953.890 * [misc]backup-simplify: Simplify im into im 1538638953.890 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.890 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.890 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.890 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.890 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.890 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.890 * [misc]backup-simplify: Simplify -1 into -1 1538638953.890 * [misc]taylor: Taking taylor expansion of re in re 1538638953.890 * [misc]backup-simplify: Simplify 0 into 0 1538638953.891 * [misc]backup-simplify: Simplify 1 into 1 1538638953.891 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.891 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.891 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1538638953.891 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1538638953.891 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.891 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1538638953.891 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.891 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (exp (/ -1 re))) into (* (cos (/ -1 im)) (exp (/ -1 re))) 1538638953.891 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1538638953.892 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.892 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538638953.892 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.892 * [misc]backup-simplify: Simplify 0 into 0 1538638953.892 * [misc]backup-simplify: Simplify 0 into 0 1538638953.892 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.892 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1538638953.893 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1538638953.893 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.893 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1538638953.893 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.894 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.894 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538638953.894 * [misc]backup-simplify: Simplify 0 into 0 1538638953.894 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.895 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.895 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538638953.895 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.895 * [misc]backup-simplify: Simplify 0 into 0 1538638953.895 * [misc]backup-simplify: Simplify 0 into 0 1538638953.895 * [misc]backup-simplify: Simplify 0 into 0 1538638953.896 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.896 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.896 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.897 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.897 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.897 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.898 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538638953.898 * [misc]backup-simplify: Simplify 0 into 0 1538638953.898 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.900 * [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 1538638953.900 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1538638953.900 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.900 * [misc]backup-simplify: Simplify 0 into 0 1538638953.900 * [misc]backup-simplify: Simplify 0 into 0 1538638953.900 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (cos im) (exp re)) 1538638953.900 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2) 1538638953.901 * [misc]backup-simplify: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1538638953.901 * [misc]approximate: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 1538638953.901 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.901 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.901 * [misc]taylor: Taking taylor expansion of re in re 1538638953.901 * [misc]backup-simplify: Simplify 0 into 0 1538638953.901 * [misc]backup-simplify: Simplify 1 into 1 1538638953.901 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.901 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.902 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.902 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.902 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.902 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.902 * [misc]taylor: Taking taylor expansion of re in re 1538638953.902 * [misc]backup-simplify: Simplify 0 into 0 1538638953.902 * [misc]backup-simplify: Simplify 1 into 1 1538638953.902 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.902 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.903 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.903 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.903 * [misc]backup-simplify: Simplify 1 into 1 1538638953.903 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.904 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538638953.905 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538638953.905 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538638953.905 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1538638953.906 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.906 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 1538638953.906 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of re in re 1538638953.906 * [misc]backup-simplify: Simplify 0 into 0 1538638953.906 * [misc]backup-simplify: Simplify 1 into 1 1538638953.906 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.906 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.906 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.906 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.906 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.906 * [misc]taylor: Taking taylor expansion of re in re 1538638953.906 * [misc]backup-simplify: Simplify 0 into 0 1538638953.906 * [misc]backup-simplify: Simplify 1 into 1 1538638953.906 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.906 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.906 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.906 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.906 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.906 * [misc]backup-simplify: Simplify 0 into 0 1538638953.907 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.907 * [misc]backup-simplify: Simplify 0 into 0 1538638953.907 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.907 * [misc]backup-simplify: Simplify 0 into 0 1538638953.908 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.908 * [misc]backup-simplify: Simplify 0 into 0 1538638953.908 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.908 * [misc]backup-simplify: Simplify 0 into 0 1538638953.909 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.909 * [misc]backup-simplify: Simplify 0 into 0 1538638953.909 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re)) 1538638953.909 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re))) 1538638953.909 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 1538638953.909 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.909 * [misc]backup-simplify: Simplify -1 into -1 1538638953.909 * [misc]taylor: Taking taylor expansion of re in re 1538638953.909 * [misc]backup-simplify: Simplify 0 into 0 1538638953.909 * [misc]backup-simplify: Simplify 1 into 1 1538638953.909 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.909 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.909 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.909 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.909 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.909 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.909 * [misc]backup-simplify: Simplify -1 into -1 1538638953.909 * [misc]taylor: Taking taylor expansion of re in re 1538638953.909 * [misc]backup-simplify: Simplify 0 into 0 1538638953.909 * [misc]backup-simplify: Simplify 1 into 1 1538638953.910 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.910 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.910 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.910 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.910 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.910 * [misc]backup-simplify: Simplify 0 into 0 1538638953.910 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.910 * [misc]backup-simplify: Simplify 0 into 0 1538638953.911 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.911 * [misc]backup-simplify: Simplify 0 into 0 1538638953.911 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.911 * [misc]backup-simplify: Simplify 0 into 0 1538638953.912 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.912 * [misc]backup-simplify: Simplify 0 into 0 1538638953.912 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.912 * [misc]backup-simplify: Simplify 0 into 0 1538638953.912 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re)) 1538638953.912 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1538638953.912 * [misc]backup-simplify: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1538638953.913 * [misc]approximate: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 1538638953.913 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.913 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.913 * [misc]taylor: Taking taylor expansion of re in re 1538638953.913 * [misc]backup-simplify: Simplify 0 into 0 1538638953.913 * [misc]backup-simplify: Simplify 1 into 1 1538638953.913 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.913 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.914 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.914 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.914 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.914 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.914 * [misc]taylor: Taking taylor expansion of re in re 1538638953.914 * [misc]backup-simplify: Simplify 0 into 0 1538638953.914 * [misc]backup-simplify: Simplify 1 into 1 1538638953.914 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.914 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.915 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.915 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.915 * [misc]backup-simplify: Simplify 1 into 1 1538638953.915 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.916 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538638953.917 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538638953.917 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538638953.917 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow re 2)) (+ (* 1/2 re) 1)) into (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1538638953.917 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.917 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 1538638953.917 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.917 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.917 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.917 * [misc]taylor: Taking taylor expansion of re in re 1538638953.917 * [misc]backup-simplify: Simplify 0 into 0 1538638953.917 * [misc]backup-simplify: Simplify 1 into 1 1538638953.918 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.918 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.918 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.918 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.918 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.918 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.918 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.918 * [misc]taylor: Taking taylor expansion of re in re 1538638953.918 * [misc]backup-simplify: Simplify 0 into 0 1538638953.918 * [misc]backup-simplify: Simplify 1 into 1 1538638953.918 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.918 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.918 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.918 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.918 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.918 * [misc]backup-simplify: Simplify 0 into 0 1538638953.919 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.919 * [misc]backup-simplify: Simplify 0 into 0 1538638953.919 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.919 * [misc]backup-simplify: Simplify 0 into 0 1538638953.920 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.920 * [misc]backup-simplify: Simplify 0 into 0 1538638953.920 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.920 * [misc]backup-simplify: Simplify 0 into 0 1538638953.921 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.921 * [misc]backup-simplify: Simplify 0 into 0 1538638953.921 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 re)))) into (sqrt (exp re)) 1538638953.921 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- re)))) into (sqrt (exp (/ -1 re))) 1538638953.921 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 1538638953.921 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.921 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.921 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.921 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.921 * [misc]backup-simplify: Simplify -1 into -1 1538638953.921 * [misc]taylor: Taking taylor expansion of re in re 1538638953.921 * [misc]backup-simplify: Simplify 0 into 0 1538638953.921 * [misc]backup-simplify: Simplify 1 into 1 1538638953.921 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.922 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.922 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.922 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.922 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.922 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.922 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.922 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.922 * [misc]backup-simplify: Simplify -1 into -1 1538638953.922 * [misc]taylor: Taking taylor expansion of re in re 1538638953.922 * [misc]backup-simplify: Simplify 0 into 0 1538638953.922 * [misc]backup-simplify: Simplify 1 into 1 1538638953.922 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.922 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.922 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.922 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.922 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.922 * [misc]backup-simplify: Simplify 0 into 0 1538638953.923 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.923 * [misc]backup-simplify: Simplify 0 into 0 1538638953.923 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.923 * [misc]backup-simplify: Simplify 0 into 0 1538638953.924 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.924 * [misc]backup-simplify: Simplify 0 into 0 1538638953.924 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.924 * [misc]backup-simplify: Simplify 0 into 0 1538638953.925 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.925 * [misc]backup-simplify: Simplify 0 into 0 1538638953.925 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- re))))) into (sqrt (exp re)) 1538638953.925 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1538638953.925 * [misc]backup-simplify: Simplify (* (cos im) (sqrt (exp re))) into (* (cos im) (sqrt (exp re))) 1538638953.925 * [misc]approximate: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in (im re) around 0 1538638953.925 * [misc]taylor: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in re 1538638953.925 * [misc]taylor: Taking taylor expansion of (cos im) in re 1538638953.925 * [misc]taylor: Taking taylor expansion of im in re 1538638953.925 * [misc]backup-simplify: Simplify im into im 1538638953.925 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1538638953.926 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1538638953.926 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.926 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.926 * [misc]taylor: Taking taylor expansion of re in re 1538638953.926 * [misc]backup-simplify: Simplify 0 into 0 1538638953.926 * [misc]backup-simplify: Simplify 1 into 1 1538638953.926 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.926 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.927 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.927 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.927 * [misc]taylor: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in im 1538638953.927 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.927 * [misc]taylor: Taking taylor expansion of im in im 1538638953.927 * [misc]backup-simplify: Simplify 0 into 0 1538638953.927 * [misc]backup-simplify: Simplify 1 into 1 1538638953.927 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in im 1538638953.927 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.927 * [misc]taylor: Taking taylor expansion of re in im 1538638953.927 * [misc]backup-simplify: Simplify re into re 1538638953.927 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.927 * [misc]backup-simplify: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1538638953.928 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.928 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0 1538638953.928 * [misc]taylor: Taking taylor expansion of (* (cos im) (sqrt (exp re))) in im 1538638953.928 * [misc]taylor: Taking taylor expansion of (cos im) in im 1538638953.928 * [misc]taylor: Taking taylor expansion of im in im 1538638953.928 * [misc]backup-simplify: Simplify 0 into 0 1538638953.928 * [misc]backup-simplify: Simplify 1 into 1 1538638953.928 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in im 1538638953.928 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538638953.928 * [misc]taylor: Taking taylor expansion of re in im 1538638953.928 * [misc]backup-simplify: Simplify re into re 1538638953.928 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538638953.928 * [misc]backup-simplify: Simplify (sqrt (exp re)) into (sqrt (exp re)) 1538638953.929 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.929 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp re)))) into 0 1538638953.929 * [misc]backup-simplify: Simplify (* 1 (sqrt (exp re))) into (sqrt (exp re)) 1538638953.929 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.929 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.929 * [misc]taylor: Taking taylor expansion of re in re 1538638953.929 * [misc]backup-simplify: Simplify 0 into 0 1538638953.929 * [misc]backup-simplify: Simplify 1 into 1 1538638953.929 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.929 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.930 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.930 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.930 * [misc]backup-simplify: Simplify 1 into 1 1538638953.930 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (sqrt (exp re)))) into 0 1538638953.930 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.930 * [misc]backup-simplify: Simplify 0 into 0 1538638953.931 * [misc]backup-simplify: Simplify 0 into 0 1538638953.931 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.932 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.932 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp re)))) into 0 1538638953.933 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1538638953.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* (- 1/2) (sqrt (exp re))))) into (- (* 1/2 (sqrt (exp re)))) 1538638953.933 * [misc]taylor: Taking taylor expansion of (- (* 1/2 (sqrt (exp re)))) in re 1538638953.933 * [misc]taylor: Taking taylor expansion of (* 1/2 (sqrt (exp re))) in re 1538638953.933 * [misc]taylor: Taking taylor expansion of 1/2 in re 1538638953.933 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538638953.933 * [misc]taylor: Taking taylor expansion of (sqrt (exp re)) in re 1538638953.933 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538638953.933 * [misc]taylor: Taking taylor expansion of re in re 1538638953.933 * [misc]backup-simplify: Simplify 0 into 0 1538638953.933 * [misc]backup-simplify: Simplify 1 into 1 1538638953.933 * [misc]backup-simplify: Simplify (exp 0) into 1 1538638953.933 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538638953.934 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538638953.934 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538638953.934 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1538638953.935 * [misc]backup-simplify: Simplify (- 1/2) into -1/2 1538638953.935 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538638953.935 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (* 1 im) 2)) (+ (* 1/2 (* re 1)) 1)) into (- (+ (* 1/2 re) 1) (* 1/2 (pow im 2))) 1538638953.935 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1538638953.935 * [misc]approximate: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in (im re) around 0 1538638953.935 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of im in re 1538638953.935 * [misc]backup-simplify: Simplify im into im 1538638953.935 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.935 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.935 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.935 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.935 * [misc]taylor: Taking taylor expansion of re in re 1538638953.935 * [misc]backup-simplify: Simplify 0 into 0 1538638953.935 * [misc]backup-simplify: Simplify 1 into 1 1538638953.935 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.935 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.936 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.936 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.936 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of im in im 1538638953.936 * [misc]backup-simplify: Simplify 0 into 0 1538638953.936 * [misc]backup-simplify: Simplify 1 into 1 1538638953.936 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.936 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.936 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.936 * [misc]taylor: Taking taylor expansion of re in im 1538638953.936 * [misc]backup-simplify: Simplify re into re 1538638953.936 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.936 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.936 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.936 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1538638953.937 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.937 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.937 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of im in im 1538638953.937 * [misc]backup-simplify: Simplify 0 into 0 1538638953.937 * [misc]backup-simplify: Simplify 1 into 1 1538638953.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.937 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.937 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538638953.937 * [misc]taylor: Taking taylor expansion of re in im 1538638953.937 * [misc]backup-simplify: Simplify re into re 1538638953.937 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538638953.937 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.937 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.938 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1538638953.938 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.938 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.938 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1538638953.938 * [misc]taylor: Taking taylor expansion of (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of (cos (/ 1 im)) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of im in re 1538638953.939 * [misc]backup-simplify: Simplify im into im 1538638953.939 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538638953.939 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538638953.939 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538638953.939 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538638953.939 * [misc]taylor: Taking taylor expansion of re in re 1538638953.939 * [misc]backup-simplify: Simplify 0 into 0 1538638953.939 * [misc]backup-simplify: Simplify 1 into 1 1538638953.939 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538638953.939 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538638953.939 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 re))) into (sqrt (exp (/ 1 re))) 1538638953.939 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.939 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 1) into (cos (/ 1 im)) 1538638953.939 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 0) into 0 1538638953.939 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.939 * [misc]backup-simplify: Simplify (+ (cos (/ 1 im)) 0) into (cos (/ 1 im)) 1538638953.939 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1538638953.940 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) into (* (cos (/ 1 im)) (sqrt (exp (/ 1 re)))) 1538638953.940 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1538638953.940 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.940 * [misc]backup-simplify: Simplify 0 into 0 1538638953.940 * [misc]backup-simplify: Simplify 0 into 0 1538638953.940 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.940 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 1)) into 0 1538638953.940 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1538638953.941 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.941 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 0)) into 0 1538638953.941 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.941 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 (sqrt (exp (/ 1 re))))) into 0 1538638953.941 * [misc]backup-simplify: Simplify 0 into 0 1538638953.941 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.942 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.943 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.943 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1538638953.943 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.943 * [misc]backup-simplify: Simplify 0 into 0 1538638953.943 * [misc]backup-simplify: Simplify 0 into 0 1538638953.943 * [misc]backup-simplify: Simplify 0 into 0 1538638953.944 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.944 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.945 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.945 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.945 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.945 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.946 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.946 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.946 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re)))))) into 0 1538638953.946 * [misc]backup-simplify: Simplify 0 into 0 1538638953.946 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.948 * [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 1538638953.948 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 re))))) into 0 1538638953.948 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 re))))))) into 0 1538638953.949 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.949 * [misc]backup-simplify: Simplify 0 into 0 1538638953.949 * [misc]backup-simplify: Simplify 0 into 0 1538638953.949 * [misc]backup-simplify: Simplify (* (cos (/ 1 (/ 1 im))) (sqrt (exp (/ 1 (/ 1 re))))) into (* (cos im) (sqrt (exp re))) 1538638953.949 * [misc]backup-simplify: Simplify (* (cos (/ 1 (- im))) (sqrt (exp (/ 1 (- re))))) into (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) 1538638953.949 * [misc]approximate: Taking taylor expansion of (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) in (im re) around 0 1538638953.949 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.949 * [misc]backup-simplify: Simplify -1 into -1 1538638953.949 * [misc]taylor: Taking taylor expansion of im in re 1538638953.949 * [misc]backup-simplify: Simplify im into im 1538638953.949 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.949 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.949 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.949 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.949 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.949 * [misc]backup-simplify: Simplify -1 into -1 1538638953.949 * [misc]taylor: Taking taylor expansion of re in re 1538638953.949 * [misc]backup-simplify: Simplify 0 into 0 1538638953.949 * [misc]backup-simplify: Simplify 1 into 1 1538638953.949 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.949 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.949 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.949 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.949 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.950 * [misc]backup-simplify: Simplify -1 into -1 1538638953.950 * [misc]taylor: Taking taylor expansion of im in im 1538638953.950 * [misc]backup-simplify: Simplify 0 into 0 1538638953.950 * [misc]backup-simplify: Simplify 1 into 1 1538638953.950 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.950 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.950 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.950 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.950 * [misc]backup-simplify: Simplify -1 into -1 1538638953.950 * [misc]taylor: Taking taylor expansion of re in im 1538638953.950 * [misc]backup-simplify: Simplify re into re 1538638953.950 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.950 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.950 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.950 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1538638953.951 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.951 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.951 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.951 * [misc]backup-simplify: Simplify -1 into -1 1538638953.951 * [misc]taylor: Taking taylor expansion of im in im 1538638953.951 * [misc]backup-simplify: Simplify 0 into 0 1538638953.951 * [misc]backup-simplify: Simplify 1 into 1 1538638953.951 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.951 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.951 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538638953.951 * [misc]taylor: Taking taylor expansion of -1 in im 1538638953.951 * [misc]backup-simplify: Simplify -1 into -1 1538638953.951 * [misc]taylor: Taking taylor expansion of re in im 1538638953.951 * [misc]backup-simplify: Simplify re into re 1538638953.951 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538638953.951 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.951 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.951 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1538638953.952 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538638953.952 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.952 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) into (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) 1538638953.952 * [misc]taylor: Taking taylor expansion of (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 1538638953.952 * [misc]taylor: Taking taylor expansion of (cos (/ -1 im)) in re 1538638953.952 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538638953.952 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.952 * [misc]backup-simplify: Simplify -1 into -1 1538638953.952 * [misc]taylor: Taking taylor expansion of im in re 1538638953.952 * [misc]backup-simplify: Simplify im into im 1538638953.953 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538638953.953 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538638953.953 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538638953.953 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1538638953.953 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538638953.953 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538638953.953 * [misc]taylor: Taking taylor expansion of -1 in re 1538638953.953 * [misc]backup-simplify: Simplify -1 into -1 1538638953.953 * [misc]taylor: Taking taylor expansion of re in re 1538638953.953 * [misc]backup-simplify: Simplify 0 into 0 1538638953.953 * [misc]backup-simplify: Simplify 1 into 1 1538638953.953 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538638953.953 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538638953.953 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 re))) into (sqrt (exp (/ -1 re))) 1538638953.953 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.953 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 1) into (cos (/ -1 im)) 1538638953.953 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 0) into 0 1538638953.953 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.953 * [misc]backup-simplify: Simplify (+ (cos (/ -1 im)) 0) into (cos (/ -1 im)) 1538638953.953 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) into (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) 1538638953.953 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) into (* (cos (/ -1 im)) (sqrt (exp (/ -1 re)))) 1538638953.954 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (sqrt (exp (/ -1 re))))) into 0 1538638953.954 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.954 * [misc]backup-simplify: Simplify 0 into 0 1538638953.954 * [misc]backup-simplify: Simplify 0 into 0 1538638953.954 * [misc]backup-simplify: Simplify (+ 0) into 0 1538638953.954 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 1)) into 0 1538638953.954 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1538638953.955 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538638953.955 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 0)) into 0 1538638953.955 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.955 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.955 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 (sqrt (exp (/ -1 re))))) into 0 1538638953.955 * [misc]backup-simplify: Simplify 0 into 0 1538638953.955 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.956 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538638953.957 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.957 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 re)))))) into 0 1538638953.957 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.957 * [misc]backup-simplify: Simplify 0 into 0 1538638953.957 * [misc]backup-simplify: Simplify 0 into 0 1538638953.957 * [misc]backup-simplify: Simplify 0 into 0 1538638953.958 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.958 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538638953.959 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538638953.959 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538638953.959 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538638953.959 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538638953.960 * [misc]backup-simplify: Simplify (- 0) into 0 1538638953.960 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538638953.960 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 re)))))) into 0 1538638953.960 * [misc]backup-simplify: Simplify 0 into 0 1538638953.960 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538638953.962 * [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 1538638953.962 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 re))))) into 0 1538638953.962 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 re))))))) into 0 1538638953.963 * [misc]taylor: Taking taylor expansion of 0 in re 1538638953.963 * [misc]backup-simplify: Simplify 0 into 0 1538638953.963 * [misc]backup-simplify: Simplify 0 into 0 1538638953.963 * [misc]backup-simplify: Simplify (* (cos (/ -1 (/ 1 (- im)))) (sqrt (exp (/ -1 (/ 1 (- re)))))) into (* (cos im) (sqrt (exp re))) 1538638953.963 * * * [misc]progress: simplifying candidates 1538638953.963 * * * * [misc]progress: [ 1 / 77 ] simplifiying candidate # 1538638953.963 * [enter]simplify: Simplifying (* (* (cos im) (sqrt (exp re))) (sqrt (exp re))) 1538638953.965 * * [misc]simplify: iters left: 6 (7 enodes) 1538638953.967 * * [misc]simplify: iters left: 5 (11 enodes) 1538638953.969 * * [misc]simplify: iters left: 4 (12 enodes) 1538638953.970 * * [misc]simplify: iters left: 3 (13 enodes) 1538638953.972 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1538638953.972 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1)) 1538638953.972 * * * * [misc]progress: [ 2 / 77 ] simplifiying candidate # 1538638953.973 * [enter]simplify: Simplifying (* (* (cos im) (sqrt (exp re))) (sqrt (exp re))) 1538638953.973 * * [misc]simplify: iters left: 6 (7 enodes) 1538638953.974 * * [misc]simplify: iters left: 5 (11 enodes) 1538638953.976 * * [misc]simplify: iters left: 4 (12 enodes) 1538638953.978 * * [misc]simplify: iters left: 3 (13 enodes) 1538638953.980 * [exit]simplify: Simplified to (* (cos im) (exp re)) 1538638953.980 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (cos im) (exp re)) 1)) 1538638953.980 * * * * [misc]progress: [ 3 / 77 ] simplifiying candidate # 1538638953.980 * * * * [misc]progress: [ 4 / 77 ] simplifiying candidate # 1538638953.980 * [enter]simplify: Simplifying (+ (+ (log (cos im)) (log (sqrt (exp re)))) (log (sqrt (exp re)))) 1538638953.980 * * [misc]simplify: iters left: 6 (9 enodes) 1538638953.982 * * [misc]simplify: iters left: 5 (13 enodes) 1538638953.984 * * [misc]simplify: iters left: 4 (14 enodes) 1538638953.987 * [exit]simplify: Simplified to (+ (+ (log (cos im)) (log (sqrt (exp re)))) (log (sqrt (exp re)))) 1538638953.987 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ (+ (log (cos im)) (log (sqrt (exp re)))) (log (sqrt (exp re)))))) 1538638953.987 * * * * [misc]progress: [ 5 / 77 ] simplifiying candidate # 1538638953.987 * [enter]simplify: Simplifying (+ (log (* (cos im) (sqrt (exp re)))) (log (sqrt (exp re)))) 1538638953.988 * * [misc]simplify: iters left: 6 (9 enodes) 1538638953.989 * * [misc]simplify: iters left: 5 (13 enodes) 1538638953.992 * * [misc]simplify: iters left: 4 (17 enodes) 1538638953.996 * * [misc]simplify: iters left: 3 (18 enodes) 1538638954.003 * [exit]simplify: Simplified to (+ (log (cos im)) (+ (log (sqrt (exp re))) (log (sqrt (exp re))))) 1538638954.003 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ (log (cos im)) (+ (log (sqrt (exp re))) (log (sqrt (exp re))))))) 1538638954.003 * * * * [misc]progress: [ 6 / 77 ] simplifiying candidate # 1538638954.003 * * * * [misc]progress: [ 7 / 77 ] simplifiying candidate # 1538638954.003 * * * * [misc]progress: [ 8 / 77 ] simplifiying candidate # 1538638954.003 * [enter]simplify: Simplifying (* (* (* (* (cos im) (cos im)) (cos im)) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) 1538638954.004 * * [misc]simplify: iters left: 6 (11 enodes) 1538638954.010 * * [misc]simplify: iters left: 5 (23 enodes) 1538638954.021 * * [misc]simplify: iters left: 4 (79 enodes) 1538638954.065 * * [misc]simplify: iters left: 3 (204 enodes) 1538638954.160 * * [misc]simplify: iters left: 2 (356 enodes) 1538638954.337 * [exit]simplify: Simplified to (* (pow (cos im) 3) (pow (exp re) 3)) 1538638954.337 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (* (pow (cos im) 3) (pow (exp re) 3)))) 1538638954.337 * * * * [misc]progress: [ 9 / 77 ] simplifiying candidate # 1538638954.338 * [enter]simplify: Simplifying (* (* (* (* (cos im) (sqrt (exp re))) (* (cos im) (sqrt (exp re)))) (* (cos im) (sqrt (exp re)))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) 1538638954.339 * * [misc]simplify: iters left: 6 (11 enodes) 1538638954.342 * * [misc]simplify: iters left: 5 (25 enodes) 1538638954.352 * * [misc]simplify: iters left: 4 (75 enodes) 1538638954.386 * * [misc]simplify: iters left: 3 (207 enodes) 1538638954.534 * * [misc]simplify: iters left: 2 (370 enodes) 1538638954.695 * * [misc]simplify: iters left: 1 (451 enodes) 1538638954.819 * [exit]simplify: Simplified to (pow (* (exp re) (cos im)) 3) 1538638954.819 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (cos im)) 3))) 1538638954.819 * * * * [misc]progress: [ 10 / 77 ] simplifiying candidate # 1538638954.819 * * * * [misc]progress: [ 11 / 77 ] simplifiying candidate # 1538638954.820 * * * * [misc]progress: [ 12 / 77 ] simplifiying candidate # 1538638954.820 * * * * [misc]progress: [ 13 / 77 ] simplifiying candidate # 1538638954.820 * * * * [misc]progress: [ 14 / 77 ] simplifiying candidate # 1538638954.820 * [enter]simplify: Simplifying (cbrt (sqrt (exp re))) 1538638954.820 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.821 * [exit]simplify: Simplified to (cbrt (sqrt (exp re))) 1538638954.821 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))) (cbrt (sqrt (exp re))))) 1538638954.821 * * * * [misc]progress: [ 15 / 77 ] simplifiying candidate # 1538638954.821 * [enter]simplify: Simplifying (sqrt (cbrt (exp re))) 1538638954.821 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.822 * [exit]simplify: Simplified to (sqrt (cbrt (exp re))) 1538638954.822 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) (sqrt (* (cbrt (exp re)) (cbrt (exp re))))) (sqrt (cbrt (exp re))))) 1538638954.822 * * * * [misc]progress: [ 16 / 77 ] simplifiying candidate # 1538638954.822 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.823 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.823 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.823 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re))))) 1538638954.823 * * * * [misc]progress: [ 17 / 77 ] simplifiying candidate # 1538638954.824 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.824 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.824 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.824 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) (sqrt 1)) (sqrt (exp re)))) 1538638954.824 * * * * [misc]progress: [ 18 / 77 ] simplifiying candidate # 1538638954.824 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.825 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.826 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.826 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re))))) 1538638954.826 * * * * [misc]progress: [ 19 / 77 ] simplifiying candidate # 1538638954.826 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.826 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.827 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.827 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (* (cos im) (sqrt (exp re))) 1) (sqrt (exp re)))) 1538638954.827 * * * * [misc]progress: [ 20 / 77 ] simplifiying candidate # 1538638954.827 * [enter]simplify: Simplifying (cos im) 1538638954.827 * * [misc]simplify: iters left: 1 (2 enodes) 1538638954.827 * [exit]simplify: Simplified to (cos im) 1538638954.827 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (cos im) (* (sqrt (exp re)) (sqrt (exp re))))) 1538638954.827 * * * * [misc]progress: [ 21 / 77 ] simplifiying candidate # 1538638954.827 * * * * [misc]progress: [ 22 / 77 ] simplifiying candidate # 1538638954.827 * * * * [misc]progress: [ 23 / 77 ] simplifiying candidate # 1538638954.827 * * * * [misc]progress: [ 24 / 77 ] simplifiying candidate # 1538638954.827 * * * * [misc]progress: [ 25 / 77 ] simplifiying candidate # 1538638954.827 * * * * [misc]progress: [ 26 / 77 ] simplifiying candidate # 1538638954.828 * * * * [misc]progress: [ 27 / 77 ] simplifiying candidate # 1538638954.828 * * * * [misc]progress: [ 28 / 77 ] simplifiying candidate # 1538638954.828 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1538638954.828 * * [misc]simplify: iters left: 5 (5 enodes) 1538638954.829 * * [misc]simplify: iters left: 4 (6 enodes) 1538638954.830 * [exit]simplify: Simplified to (fabs (cbrt (exp re))) 1538638954.830 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))))) 1538638954.830 * * * * [misc]progress: [ 29 / 77 ] simplifiying candidate # 1538638954.830 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.830 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.831 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.831 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))))) 1538638954.831 * * * * [misc]progress: [ 30 / 77 ] simplifiying candidate # 1538638954.831 * [enter]simplify: Simplifying (sqrt 1) 1538638954.832 * * [misc]simplify: iters left: 1 (2 enodes) 1538638954.833 * [exit]simplify: Simplified to 1 1538638954.833 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (* 1 (sqrt (exp re))))) 1538638954.833 * * * * [misc]progress: [ 31 / 77 ] simplifiying candidate # 1538638954.833 * * * * [misc]progress: [ 32 / 77 ] simplifiying candidate # 1538638954.834 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.834 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.835 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.835 * [misc]simplify: Simplified (2 2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (fabs (sqrt (exp re))))) 1538638954.835 * * * * [misc]progress: [ 33 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 34 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 35 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 36 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 37 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 38 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 39 / 77 ] simplifiying candidate # 1538638954.835 * * * * [misc]progress: [ 40 / 77 ] simplifiying candidate # 1538638954.836 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) 1538638954.837 * * [misc]simplify: iters left: 5 (5 enodes) 1538638954.839 * * [misc]simplify: iters left: 4 (6 enodes) 1538638954.841 * [exit]simplify: Simplified to (fabs (cbrt (exp re))) 1538638954.841 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (cos im) (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re))))) (sqrt (exp re)))) 1538638954.841 * * * * [misc]progress: [ 41 / 77 ] simplifiying candidate # 1538638954.841 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.842 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.843 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.843 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (cos im) (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))))) (sqrt (exp re)))) 1538638954.843 * * * * [misc]progress: [ 42 / 77 ] simplifiying candidate # 1538638954.843 * [enter]simplify: Simplifying (sqrt 1) 1538638954.843 * * [misc]simplify: iters left: 1 (2 enodes) 1538638954.845 * [exit]simplify: Simplified to 1 1538638954.845 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (cos im) (* 1 (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.845 * * * * [misc]progress: [ 43 / 77 ] simplifiying candidate # 1538638954.845 * * * * [misc]progress: [ 44 / 77 ] simplifiying candidate # 1538638954.845 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.846 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.847 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.847 * [misc]simplify: Simplified (2 1 2 1) to (λ (re im) (* (* (cos im) (fabs (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.847 * * * * [misc]progress: [ 45 / 77 ] simplifiying candidate # 1538638954.847 * * * * [misc]progress: [ 46 / 77 ] simplifiying candidate # 1538638954.847 * [enter]simplify: Simplifying (* (cos im) (sqrt (exp re))) 1538638954.848 * * [misc]simplify: iters left: 4 (6 enodes) 1538638954.850 * * [misc]simplify: iters left: 3 (7 enodes) 1538638954.852 * [exit]simplify: Simplified to (* (cos im) (sqrt (exp re))) 1538638954.853 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (pow (* (cos im) (sqrt (exp re))) 1) (sqrt (exp re)))) 1538638954.853 * * * * [misc]progress: [ 47 / 77 ] simplifiying candidate # 1538638954.853 * * * * [misc]progress: [ 48 / 77 ] simplifiying candidate # 1538638954.853 * [enter]simplify: Simplifying (+ (log (cos im)) (log (sqrt (exp re)))) 1538638954.854 * * [misc]simplify: iters left: 5 (8 enodes) 1538638954.856 * * [misc]simplify: iters left: 4 (9 enodes) 1538638954.860 * [exit]simplify: Simplified to (+ (log (cos im)) (log (sqrt (exp re)))) 1538638954.860 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (exp (+ (log (cos im)) (log (sqrt (exp re))))) (sqrt (exp re)))) 1538638954.860 * * * * [misc]progress: [ 49 / 77 ] simplifiying candidate # 1538638954.860 * * * * [misc]progress: [ 50 / 77 ] simplifiying candidate # 1538638954.860 * * * * [misc]progress: [ 51 / 77 ] simplifiying candidate # 1538638954.860 * [enter]simplify: Simplifying (* (* (* (cos im) (cos im)) (cos im)) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) 1538638954.862 * * [misc]simplify: iters left: 6 (10 enodes) 1538638954.866 * * [misc]simplify: iters left: 5 (17 enodes) 1538638954.874 * * [misc]simplify: iters left: 4 (43 enodes) 1538638954.885 * * [misc]simplify: iters left: 3 (76 enodes) 1538638954.906 * * [misc]simplify: iters left: 2 (98 enodes) 1538638954.926 * * [misc]simplify: iters left: 1 (99 enodes) 1538638954.939 * [exit]simplify: Simplified to (* (* (sqrt (exp re)) (* (cos im) (cos im))) (* (cos im) (exp re))) 1538638954.939 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (cbrt (* (* (sqrt (exp re)) (* (cos im) (cos im))) (* (cos im) (exp re)))) (sqrt (exp re)))) 1538638954.939 * * * * [misc]progress: [ 52 / 77 ] simplifiying candidate # 1538638954.939 * * * * [misc]progress: [ 53 / 77 ] simplifiying candidate # 1538638954.939 * * * * [misc]progress: [ 54 / 77 ] simplifiying candidate # 1538638954.939 * * * * [misc]progress: [ 55 / 77 ] simplifiying candidate # 1538638954.939 * * * * [misc]progress: [ 56 / 77 ] simplifiying candidate # 1538638954.939 * [enter]simplify: Simplifying (cbrt (sqrt (exp re))) 1538638954.940 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.940 * [exit]simplify: Simplified to (cbrt (sqrt (exp re))) 1538638954.941 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))) (cbrt (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.941 * * * * [misc]progress: [ 57 / 77 ] simplifiying candidate # 1538638954.941 * [enter]simplify: Simplifying (sqrt (cbrt (exp re))) 1538638954.941 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.942 * [exit]simplify: Simplified to (sqrt (cbrt (exp re))) 1538638954.942 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) (sqrt (* (cbrt (exp re)) (cbrt (exp re))))) (sqrt (cbrt (exp re)))) (sqrt (exp re)))) 1538638954.942 * * * * [misc]progress: [ 58 / 77 ] simplifiying candidate # 1538638954.942 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.942 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.943 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.943 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.943 * * * * [misc]progress: [ 59 / 77 ] simplifiying candidate # 1538638954.943 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.944 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.944 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.944 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) (sqrt 1)) (sqrt (exp re))) (sqrt (exp re)))) 1538638954.944 * * * * [misc]progress: [ 60 / 77 ] simplifiying candidate # 1538638954.944 * [enter]simplify: Simplifying (sqrt (sqrt (exp re))) 1538638954.945 * * [misc]simplify: iters left: 3 (4 enodes) 1538638954.945 * [exit]simplify: Simplified to (sqrt (sqrt (exp re))) 1538638954.945 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.945 * * * * [misc]progress: [ 61 / 77 ] simplifiying candidate # 1538638954.946 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638954.946 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.946 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638954.946 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (* (cos im) 1) (sqrt (exp re))) (sqrt (exp re)))) 1538638954.946 * * * * [misc]progress: [ 62 / 77 ] simplifiying candidate # 1538638954.946 * [enter]simplify: Simplifying (* (cbrt (cos im)) (cbrt (cos im))) 1538638954.947 * * [misc]simplify: iters left: 4 (4 enodes) 1538638954.948 * [exit]simplify: Simplified to (* (cbrt (cos im)) (cbrt (cos im))) 1538638954.948 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (* (* (cbrt (cos im)) (cbrt (cos im))) (* (cbrt (cos im)) (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.948 * * * * [misc]progress: [ 63 / 77 ] simplifiying candidate # 1538638954.948 * [enter]simplify: Simplifying (sqrt (cos im)) 1538638954.948 * * [misc]simplify: iters left: 2 (3 enodes) 1538638954.949 * [exit]simplify: Simplified to (sqrt (cos im)) 1538638954.949 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (* (sqrt (cos im)) (* (sqrt (cos im)) (sqrt (exp re)))) (sqrt (exp re)))) 1538638954.949 * * * * [misc]progress: [ 64 / 77 ] simplifiying candidate # 1538638954.949 * * * * [misc]progress: [ 65 / 77 ] simplifiying candidate # 1538638954.949 * * * * [misc]progress: [ 66 / 77 ] simplifiying candidate # 1538638954.949 * [enter]simplify: Simplifying (- (+ re 1) (* 1/2 (pow im 2))) 1538638954.949 * * [misc]simplify: iters left: 5 (9 enodes) 1538638954.952 * * [misc]simplify: iters left: 4 (18 enodes) 1538638954.957 * * [misc]simplify: iters left: 3 (37 enodes) 1538638954.964 * * [misc]simplify: iters left: 2 (52 enodes) 1538638954.971 * * [misc]simplify: iters left: 1 (60 enodes) 1538638954.985 * [exit]simplify: Simplified to (+ (* -1/2 (* im im)) (+ 1 re)) 1538638954.985 * [misc]simplify: Simplified (2) to (λ (re im) (+ (* -1/2 (* im im)) (+ 1 re))) 1538638954.986 * * * * [misc]progress: [ 67 / 77 ] simplifiying candidate # 1538638954.986 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1538638954.986 * * [misc]simplify: iters left: 3 (5 enodes) 1538638954.987 * * [misc]simplify: iters left: 2 (6 enodes) 1538638954.988 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1538638954.988 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1538638954.988 * * * * [misc]progress: [ 68 / 77 ] simplifiying candidate # 1538638954.988 * [enter]simplify: Simplifying (* (cos im) (exp re)) 1538638954.989 * * [misc]simplify: iters left: 3 (5 enodes) 1538638954.989 * * [misc]simplify: iters left: 2 (6 enodes) 1538638954.991 * [exit]simplify: Simplified to (* (exp re) (cos im)) 1538638954.991 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (cos im))) 1538638954.991 * * * * [misc]progress: [ 69 / 77 ] simplifiying candidate # 1538638954.991 * [enter]simplify: Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1538638954.991 * * [misc]simplify: iters left: 6 (10 enodes) 1538638954.994 * * [misc]simplify: iters left: 5 (19 enodes) 1538638954.998 * * [misc]simplify: iters left: 4 (29 enodes) 1538638955.003 * * [misc]simplify: iters left: 3 (40 enodes) 1538638955.010 * * [misc]simplify: iters left: 2 (52 enodes) 1538638955.018 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 re)) (* 1/8 (* re re))) 1538638955.018 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (+ (+ 1 (* 1/2 re)) (* 1/8 (* re re))))) 1538638955.018 * * * * [misc]progress: [ 70 / 77 ] simplifiying candidate # 1538638955.018 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638955.018 * * [misc]simplify: iters left: 2 (3 enodes) 1538638955.019 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638955.019 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.019 * * * * [misc]progress: [ 71 / 77 ] simplifiying candidate # 1538638955.019 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638955.019 * * [misc]simplify: iters left: 2 (3 enodes) 1538638955.020 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638955.020 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.020 * * * * [misc]progress: [ 72 / 77 ] simplifiying candidate # 1538638955.020 * [enter]simplify: Simplifying (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) 1538638955.020 * * [misc]simplify: iters left: 6 (10 enodes) 1538638955.023 * * [misc]simplify: iters left: 5 (19 enodes) 1538638955.026 * * [misc]simplify: iters left: 4 (29 enodes) 1538638955.032 * * [misc]simplify: iters left: 3 (40 enodes) 1538638955.038 * * [misc]simplify: iters left: 2 (52 enodes) 1538638955.052 * [exit]simplify: Simplified to (+ (+ 1 (* 1/2 re)) (* 1/8 (* re re))) 1538638955.052 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (cos im) (+ (+ 1 (* 1/2 re)) (* 1/8 (* re re)))) (sqrt (exp re)))) 1538638955.052 * * * * [misc]progress: [ 73 / 77 ] simplifiying candidate # 1538638955.052 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638955.053 * * [misc]simplify: iters left: 2 (3 enodes) 1538638955.054 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638955.054 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.054 * * * * [misc]progress: [ 74 / 77 ] simplifiying candidate # 1538638955.054 * [enter]simplify: Simplifying (sqrt (exp re)) 1538638955.054 * * [misc]simplify: iters left: 2 (3 enodes) 1538638955.055 * [exit]simplify: Simplified to (sqrt (exp re)) 1538638955.055 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.056 * * * * [misc]progress: [ 75 / 77 ] simplifiying candidate # 1538638955.056 * [enter]simplify: Simplifying (- (+ (* 1/2 re) 1) (* 1/2 (pow im 2))) 1538638955.056 * * [misc]simplify: iters left: 6 (10 enodes) 1538638955.063 * * [misc]simplify: iters left: 5 (20 enodes) 1538638955.072 * * [misc]simplify: iters left: 4 (39 enodes) 1538638955.087 * * [misc]simplify: iters left: 3 (57 enodes) 1538638955.105 * * [misc]simplify: iters left: 2 (70 enodes) 1538638955.126 * * [misc]simplify: iters left: 1 (79 enodes) 1538638955.152 * [exit]simplify: Simplified to (+ (* (* im im) -1/2) (- 1 (* re -1/2))) 1538638955.152 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ (* (* im im) -1/2) (- 1 (* re -1/2))) (sqrt (exp re)))) 1538638955.152 * * * * [misc]progress: [ 76 / 77 ] simplifiying candidate # 1538638955.152 * [enter]simplify: Simplifying (* (cos im) (sqrt (exp re))) 1538638955.153 * * [misc]simplify: iters left: 4 (6 enodes) 1538638955.155 * * [misc]simplify: iters left: 3 (7 enodes) 1538638955.157 * [exit]simplify: Simplified to (* (cos im) (sqrt (exp re))) 1538638955.157 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.157 * * * * [misc]progress: [ 77 / 77 ] simplifiying candidate # 1538638955.157 * [enter]simplify: Simplifying (* (cos im) (sqrt (exp re))) 1538638955.158 * * [misc]simplify: iters left: 4 (6 enodes) 1538638955.160 * * [misc]simplify: iters left: 3 (7 enodes) 1538638955.162 * [exit]simplify: Simplified to (* (cos im) (sqrt (exp re))) 1538638955.162 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cos im) (sqrt (exp re))) (sqrt (exp re)))) 1538638955.162 * * * [misc]progress: adding candidates to table 1538638956.383 * [misc]progress: [Phase 3 of 3] Extracting. 1538638956.383 * * [misc]regime: Finding splitpoints for: (# #) 1538638956.384 * * * [misc]regime-changes: Trying 4 branch expressions: (im (cos im) re (exp re)) 1538638956.384 * * * * [misc]regimes: Trying to branch on im from (# #) 1538638956.424 * * * * [misc]regimes: Trying to branch on (cos im) from (# #) 1538638956.458 * * * * [misc]regimes: Trying to branch on re from (# #) 1538638956.486 * * * * [misc]regimes: Trying to branch on (exp re) from (# #) 1538638956.524 * * * [misc]regime: Found split indices: #