1553857477.664 * [progress]: [Phase 1 of 3] Setting up. 1553857477.664 * * * [progress]: [1/2] Preparing points 1553857477.944 * * * [progress]: [2/2] Setting up program. 1553857477.951 * [progress]: [Phase 2 of 3] Improving. 1553857477.951 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553857477.951 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553857477.952 * * [simplify]: iters left: 6 (11 enodes) 1553857477.959 * * [simplify]: iters left: 5 (49 enodes) 1553857478.012 * * [simplify]: iters left: 4 (96 enodes) 1553857478.049 * * [simplify]: iters left: 3 (169 enodes) 1553857478.076 * * [simplify]: iters left: 2 (207 enodes) 1553857478.110 * * [simplify]: iters left: 1 (235 enodes) 1553857478.150 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857478.150 * * [simplify]: Extracting #1: cost 19 inf + 0 1553857478.150 * * [simplify]: Extracting #2: cost 37 inf + 2 1553857478.151 * * [simplify]: Extracting #3: cost 41 inf + 45 1553857478.151 * * [simplify]: Extracting #4: cost 25 inf + 1759 1553857478.152 * * [simplify]: Extracting #5: cost 5 inf + 5439 1553857478.155 * * [simplify]: Extracting #6: cost 0 inf + 6176 1553857478.157 * [simplify]: Simplified to (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im)))) 1553857478.157 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im))))) 1553857478.163 * * [progress]: iteration 1 / 4 1553857478.163 * * * [progress]: picking best candidate 1553857478.169 * * * * [pick]: Picked # 1553857478.169 * * * [progress]: localizing error 1553857478.203 * * * [progress]: generating rewritten candidates 1553857478.203 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553857478.388 * * * [progress]: generating series expansions 1553857478.388 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553857478.392 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553857478.392 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0 1553857478.393 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im 1553857478.393 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.393 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.393 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im 1553857478.393 * [taylor]: Taking taylor expansion of (sin re) in im 1553857478.393 * [taylor]: Taking taylor expansion of re in im 1553857478.393 * [backup-simplify]: Simplify re into re 1553857478.393 * [backup-simplify]: Simplify (sin re) into (sin re) 1553857478.393 * [backup-simplify]: Simplify (cos re) into (cos re) 1553857478.394 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 1553857478.394 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553857478.394 * [taylor]: Taking taylor expansion of (- im) in im 1553857478.394 * [taylor]: Taking taylor expansion of im in im 1553857478.394 * [backup-simplify]: Simplify 0 into 0 1553857478.394 * [backup-simplify]: Simplify 1 into 1 1553857478.394 * [backup-simplify]: Simplify (- 0) into 0 1553857478.394 * [backup-simplify]: Simplify (- 1) into -1 1553857478.395 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.395 * [taylor]: Taking taylor expansion of (exp im) in im 1553857478.395 * [taylor]: Taking taylor expansion of im in im 1553857478.395 * [backup-simplify]: Simplify 0 into 0 1553857478.395 * [backup-simplify]: Simplify 1 into 1 1553857478.395 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.395 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 1553857478.395 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.395 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.395 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 1553857478.395 * [taylor]: Taking taylor expansion of (sin re) in re 1553857478.395 * [taylor]: Taking taylor expansion of re in re 1553857478.395 * [backup-simplify]: Simplify 0 into 0 1553857478.395 * [backup-simplify]: Simplify 1 into 1 1553857478.395 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1553857478.395 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1553857478.395 * [taylor]: Taking taylor expansion of (- im) in re 1553857478.395 * [taylor]: Taking taylor expansion of im in re 1553857478.395 * [backup-simplify]: Simplify im into im 1553857478.395 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.395 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.395 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1553857478.395 * [taylor]: Taking taylor expansion of (exp im) in re 1553857478.395 * [taylor]: Taking taylor expansion of im in re 1553857478.395 * [backup-simplify]: Simplify im into im 1553857478.395 * [backup-simplify]: Simplify (exp im) into (exp im) 1553857478.395 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 1553857478.395 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.395 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.395 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 1553857478.395 * [taylor]: Taking taylor expansion of (sin re) in re 1553857478.395 * [taylor]: Taking taylor expansion of re in re 1553857478.395 * [backup-simplify]: Simplify 0 into 0 1553857478.395 * [backup-simplify]: Simplify 1 into 1 1553857478.395 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 1553857478.395 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1553857478.395 * [taylor]: Taking taylor expansion of (- im) in re 1553857478.395 * [taylor]: Taking taylor expansion of im in re 1553857478.395 * [backup-simplify]: Simplify im into im 1553857478.395 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.395 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.395 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 1553857478.395 * [taylor]: Taking taylor expansion of (exp im) in re 1553857478.395 * [taylor]: Taking taylor expansion of im in re 1553857478.395 * [backup-simplify]: Simplify im into im 1553857478.395 * [backup-simplify]: Simplify (exp im) into (exp im) 1553857478.397 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 1553857478.397 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0 1553857478.397 * [backup-simplify]: Simplify (* 0.5 0) into 0 1553857478.397 * [taylor]: Taking taylor expansion of 0 in im 1553857478.397 * [backup-simplify]: Simplify 0 into 0 1553857478.397 * [backup-simplify]: Simplify 0 into 0 1553857478.398 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.398 * [backup-simplify]: Simplify (- 0) into 0 1553857478.399 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.399 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.399 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.400 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1553857478.400 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im)) 1553857478.401 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) 1553857478.401 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im 1553857478.401 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1553857478.401 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.401 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.401 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553857478.401 * [taylor]: Taking taylor expansion of (- im) in im 1553857478.401 * [taylor]: Taking taylor expansion of im in im 1553857478.401 * [backup-simplify]: Simplify 0 into 0 1553857478.401 * [backup-simplify]: Simplify 1 into 1 1553857478.401 * [backup-simplify]: Simplify (- 0) into 0 1553857478.401 * [backup-simplify]: Simplify (- 1) into -1 1553857478.401 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.401 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1553857478.402 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.402 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.402 * [taylor]: Taking taylor expansion of (exp im) in im 1553857478.402 * [taylor]: Taking taylor expansion of im in im 1553857478.402 * [backup-simplify]: Simplify 0 into 0 1553857478.402 * [backup-simplify]: Simplify 1 into 1 1553857478.402 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.402 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 1553857478.402 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 1553857478.403 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0 1553857478.403 * [backup-simplify]: Simplify 1.0 into 1.0 1553857478.403 * [backup-simplify]: Simplify 0 into 0 1553857478.403 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.403 * [backup-simplify]: Simplify (- 0) into 0 1553857478.403 * [backup-simplify]: Simplify (- 0) into 0 1553857478.404 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.405 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.405 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.405 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553857478.406 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0 1553857478.406 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0 1553857478.407 * [taylor]: Taking taylor expansion of 0 in im 1553857478.407 * [backup-simplify]: Simplify 0 into 0 1553857478.407 * [backup-simplify]: Simplify 0 into 0 1553857478.407 * [backup-simplify]: Simplify (- 1) into -1 1553857478.407 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553857478.408 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5) 1553857478.409 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553857478.411 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5 1553857478.411 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0 1553857478.411 * [backup-simplify]: Simplify 0 into 0 1553857478.411 * [backup-simplify]: Simplify 0 into 0 1553857478.411 * [backup-simplify]: Simplify (- im) into (- im) 1553857478.412 * [backup-simplify]: Simplify (- 0) into 0 1553857478.412 * [backup-simplify]: Simplify (- 0) into 0 1553857478.413 * [backup-simplify]: Simplify (- 0) into 0 1553857478.413 * [backup-simplify]: Simplify (- 0) into 0 1553857478.415 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.417 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.417 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.419 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 1553857478.421 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im)))) 1553857478.422 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))) (+ (* 0 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0)))) into (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) 1553857478.422 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im 1553857478.422 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im 1553857478.422 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 1553857478.422 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1553857478.422 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 1553857478.422 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1553857478.422 * [taylor]: Taking taylor expansion of (- im) in im 1553857478.422 * [taylor]: Taking taylor expansion of im in im 1553857478.422 * [backup-simplify]: Simplify 0 into 0 1553857478.422 * [backup-simplify]: Simplify 1 into 1 1553857478.422 * [backup-simplify]: Simplify (- 0) into 0 1553857478.423 * [backup-simplify]: Simplify (- 1) into -1 1553857478.423 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.423 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 1553857478.423 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1553857478.423 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 1553857478.423 * [taylor]: Taking taylor expansion of (exp im) in im 1553857478.423 * [taylor]: Taking taylor expansion of im in im 1553857478.423 * [backup-simplify]: Simplify 0 into 0 1553857478.423 * [backup-simplify]: Simplify 1 into 1 1553857478.423 * [backup-simplify]: Simplify (exp 0) into 1 1553857478.423 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 1553857478.424 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 1553857478.424 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666 1553857478.425 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 1553857478.425 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 1553857478.425 * [backup-simplify]: Simplify 0 into 0 1553857478.426 * [backup-simplify]: Simplify (- 1) into -1 1553857478.426 * [backup-simplify]: Simplify (- 0) into 0 1553857478.428 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553857478.430 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25 1553857478.432 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553857478.434 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25 1553857478.434 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 1553857478.434 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.435 * [backup-simplify]: Simplify (+ (* 0.5 (* (pow im 2) re)) (+ (* (- 0.16666666666666666) (pow (* 1 re) 3)) (* 1.0 (* 1 re)))) into (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 1553857478.436 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 re))) (+ (exp (- 0 (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553857478.436 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0 1553857478.436 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 1553857478.436 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.436 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.436 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 1553857478.436 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1553857478.436 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1553857478.436 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1553857478.436 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.436 * [taylor]: Taking taylor expansion of im in im 1553857478.436 * [backup-simplify]: Simplify 0 into 0 1553857478.436 * [backup-simplify]: Simplify 1 into 1 1553857478.437 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.437 * [backup-simplify]: Simplify (- 1) into -1 1553857478.437 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553857478.437 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857478.437 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.437 * [taylor]: Taking taylor expansion of im in im 1553857478.437 * [backup-simplify]: Simplify 0 into 0 1553857478.437 * [backup-simplify]: Simplify 1 into 1 1553857478.438 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.438 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.438 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1553857478.438 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553857478.438 * [taylor]: Taking taylor expansion of re in im 1553857478.438 * [backup-simplify]: Simplify re into re 1553857478.438 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553857478.438 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553857478.438 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1553857478.438 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 1553857478.438 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.438 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.438 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 1553857478.438 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1553857478.438 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1553857478.438 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1553857478.438 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.438 * [taylor]: Taking taylor expansion of im in re 1553857478.438 * [backup-simplify]: Simplify im into im 1553857478.438 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.438 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.438 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.438 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553857478.438 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553857478.438 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.438 * [taylor]: Taking taylor expansion of im in re 1553857478.438 * [backup-simplify]: Simplify im into im 1553857478.438 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.438 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.438 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1553857478.438 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553857478.438 * [taylor]: Taking taylor expansion of re in re 1553857478.438 * [backup-simplify]: Simplify 0 into 0 1553857478.438 * [backup-simplify]: Simplify 1 into 1 1553857478.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.439 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553857478.439 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 1553857478.439 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.439 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.439 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 1553857478.439 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1553857478.439 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1553857478.439 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1553857478.439 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.439 * [taylor]: Taking taylor expansion of im in re 1553857478.439 * [backup-simplify]: Simplify im into im 1553857478.439 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.439 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.439 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.439 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553857478.439 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553857478.439 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.439 * [taylor]: Taking taylor expansion of im in re 1553857478.439 * [backup-simplify]: Simplify im into im 1553857478.439 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.439 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.439 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1553857478.439 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1553857478.439 * [taylor]: Taking taylor expansion of re in re 1553857478.439 * [backup-simplify]: Simplify 0 into 0 1553857478.439 * [backup-simplify]: Simplify 1 into 1 1553857478.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.439 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553857478.440 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1553857478.440 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 1553857478.440 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553857478.440 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 1553857478.440 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.440 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.440 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 1553857478.440 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1553857478.440 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1553857478.440 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1553857478.440 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.440 * [taylor]: Taking taylor expansion of im in im 1553857478.440 * [backup-simplify]: Simplify 0 into 0 1553857478.440 * [backup-simplify]: Simplify 1 into 1 1553857478.440 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.441 * [backup-simplify]: Simplify (- 1) into -1 1553857478.441 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 1553857478.441 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857478.441 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.441 * [taylor]: Taking taylor expansion of im in im 1553857478.441 * [backup-simplify]: Simplify 0 into 0 1553857478.441 * [backup-simplify]: Simplify 1 into 1 1553857478.441 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.441 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.441 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1553857478.441 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1553857478.441 * [taylor]: Taking taylor expansion of re in im 1553857478.441 * [backup-simplify]: Simplify re into re 1553857478.441 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1553857478.441 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1553857478.441 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1553857478.441 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 1553857478.441 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 1553857478.442 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 1553857478.442 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 1553857478.442 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 1553857478.442 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553857478.442 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 1553857478.442 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553857478.443 * [backup-simplify]: Simplify (- 0) into 0 1553857478.443 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553857478.444 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.444 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.444 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 1553857478.444 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 1553857478.444 * [taylor]: Taking taylor expansion of 0 in im 1553857478.444 * [backup-simplify]: Simplify 0 into 0 1553857478.444 * [backup-simplify]: Simplify 0 into 0 1553857478.445 * [backup-simplify]: Simplify (+ 0) into 0 1553857478.445 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 1553857478.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1553857478.446 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553857478.446 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 1553857478.446 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.447 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 1553857478.447 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 1553857478.447 * [backup-simplify]: Simplify 0 into 0 1553857478.447 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.447 * [backup-simplify]: Simplify (- 0) into 0 1553857478.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.448 * [backup-simplify]: Simplify (- 0) into 0 1553857478.449 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.449 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.450 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.450 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 1553857478.451 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 1553857478.451 * [taylor]: Taking taylor expansion of 0 in im 1553857478.451 * [backup-simplify]: Simplify 0 into 0 1553857478.451 * [backup-simplify]: Simplify 0 into 0 1553857478.451 * [backup-simplify]: Simplify 0 into 0 1553857478.451 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553857478.452 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1553857478.452 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553857478.453 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553857478.453 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1553857478.453 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.453 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.454 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 1553857478.454 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 1553857478.454 * [backup-simplify]: Simplify 0 into 0 1553857478.455 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 1553857478.455 * [backup-simplify]: Simplify (- 0) into 0 1553857478.455 * [backup-simplify]: Simplify (- 0) into 0 1553857478.455 * [backup-simplify]: Simplify (- 0) into 0 1553857478.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.456 * [backup-simplify]: Simplify (- 0) into 0 1553857478.457 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.458 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.458 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.458 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0 1553857478.459 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0 1553857478.459 * [taylor]: Taking taylor expansion of 0 in im 1553857478.459 * [backup-simplify]: Simplify 0 into 0 1553857478.459 * [backup-simplify]: Simplify 0 into 0 1553857478.459 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (sin (/ 1 (/ 1 re))))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553857478.460 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 (- re)))) (+ (exp (- 0 (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 1553857478.460 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 1553857478.460 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1553857478.460 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.460 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.460 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1553857478.460 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1553857478.460 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553857478.460 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553857478.460 * [taylor]: Taking taylor expansion of -1 in im 1553857478.460 * [backup-simplify]: Simplify -1 into -1 1553857478.460 * [taylor]: Taking taylor expansion of im in im 1553857478.460 * [backup-simplify]: Simplify 0 into 0 1553857478.460 * [backup-simplify]: Simplify 1 into 1 1553857478.460 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857478.460 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857478.460 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857478.461 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.461 * [taylor]: Taking taylor expansion of im in im 1553857478.461 * [backup-simplify]: Simplify 0 into 0 1553857478.461 * [backup-simplify]: Simplify 1 into 1 1553857478.461 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.461 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.461 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1553857478.461 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553857478.461 * [taylor]: Taking taylor expansion of -1 in im 1553857478.461 * [backup-simplify]: Simplify -1 into -1 1553857478.461 * [taylor]: Taking taylor expansion of re in im 1553857478.461 * [backup-simplify]: Simplify re into re 1553857478.461 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553857478.461 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553857478.461 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1553857478.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1553857478.461 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.461 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.461 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1553857478.461 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1553857478.461 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1553857478.461 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553857478.461 * [taylor]: Taking taylor expansion of -1 in re 1553857478.461 * [backup-simplify]: Simplify -1 into -1 1553857478.461 * [taylor]: Taking taylor expansion of im in re 1553857478.461 * [backup-simplify]: Simplify im into im 1553857478.461 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553857478.461 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857478.461 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553857478.461 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.461 * [taylor]: Taking taylor expansion of im in re 1553857478.461 * [backup-simplify]: Simplify im into im 1553857478.462 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.462 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.462 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1553857478.462 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553857478.462 * [taylor]: Taking taylor expansion of -1 in re 1553857478.462 * [backup-simplify]: Simplify -1 into -1 1553857478.462 * [taylor]: Taking taylor expansion of re in re 1553857478.462 * [backup-simplify]: Simplify 0 into 0 1553857478.462 * [backup-simplify]: Simplify 1 into 1 1553857478.462 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857478.462 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553857478.462 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1553857478.462 * [taylor]: Taking taylor expansion of 0.5 in re 1553857478.462 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.462 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1553857478.462 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1553857478.462 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1553857478.462 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1553857478.462 * [taylor]: Taking taylor expansion of -1 in re 1553857478.462 * [backup-simplify]: Simplify -1 into -1 1553857478.462 * [taylor]: Taking taylor expansion of im in re 1553857478.462 * [backup-simplify]: Simplify im into im 1553857478.462 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 1553857478.462 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857478.462 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1553857478.462 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1553857478.462 * [taylor]: Taking taylor expansion of im in re 1553857478.462 * [backup-simplify]: Simplify im into im 1553857478.462 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1553857478.462 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.462 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1553857478.462 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1553857478.463 * [taylor]: Taking taylor expansion of -1 in re 1553857478.463 * [backup-simplify]: Simplify -1 into -1 1553857478.463 * [taylor]: Taking taylor expansion of re in re 1553857478.463 * [backup-simplify]: Simplify 0 into 0 1553857478.463 * [backup-simplify]: Simplify 1 into 1 1553857478.463 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857478.463 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553857478.463 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 1553857478.463 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) 1553857478.463 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 1553857478.463 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 1553857478.463 * [taylor]: Taking taylor expansion of 0.5 in im 1553857478.463 * [backup-simplify]: Simplify 0.5 into 0.5 1553857478.463 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 1553857478.463 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 1553857478.463 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857478.463 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857478.463 * [taylor]: Taking taylor expansion of im in im 1553857478.463 * [backup-simplify]: Simplify 0 into 0 1553857478.463 * [backup-simplify]: Simplify 1 into 1 1553857478.464 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857478.464 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857478.464 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553857478.464 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553857478.464 * [taylor]: Taking taylor expansion of -1 in im 1553857478.464 * [backup-simplify]: Simplify -1 into -1 1553857478.464 * [taylor]: Taking taylor expansion of im in im 1553857478.464 * [backup-simplify]: Simplify 0 into 0 1553857478.464 * [backup-simplify]: Simplify 1 into 1 1553857478.464 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857478.464 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857478.464 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1553857478.464 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1553857478.464 * [taylor]: Taking taylor expansion of -1 in im 1553857478.464 * [backup-simplify]: Simplify -1 into -1 1553857478.464 * [taylor]: Taking taylor expansion of re in im 1553857478.464 * [backup-simplify]: Simplify re into re 1553857478.464 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 1553857478.464 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1553857478.464 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1553857478.465 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 1553857478.465 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 1553857478.465 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 1553857478.465 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 1553857478.465 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) 1553857478.465 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 1553857478.465 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 1553857478.466 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1553857478.467 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1553857478.468 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1553857478.468 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.468 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 1553857478.469 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0 1553857478.469 * [taylor]: Taking taylor expansion of 0 in im 1553857478.469 * [backup-simplify]: Simplify 0 into 0 1553857478.469 * [backup-simplify]: Simplify 0 into 0 1553857478.470 * [backup-simplify]: Simplify (+ 0) into 0 1553857478.470 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 1553857478.470 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1553857478.471 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1553857478.472 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 1553857478.472 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.473 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.473 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 1553857478.474 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0 1553857478.474 * [backup-simplify]: Simplify 0 into 0 1553857478.474 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.475 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.477 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553857478.477 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.478 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 1553857478.479 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0 1553857478.479 * [taylor]: Taking taylor expansion of 0 in im 1553857478.479 * [backup-simplify]: Simplify 0 into 0 1553857478.479 * [backup-simplify]: Simplify 0 into 0 1553857478.479 * [backup-simplify]: Simplify 0 into 0 1553857478.480 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1553857478.481 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1553857478.481 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1553857478.482 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1553857478.482 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1553857478.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.484 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 1553857478.485 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0 1553857478.485 * [backup-simplify]: Simplify 0 into 0 1553857478.485 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.487 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1553857478.489 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553857478.489 * [backup-simplify]: Simplify (+ 0 0) into 0 1553857478.490 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0 1553857478.491 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0 1553857478.491 * [taylor]: Taking taylor expansion of 0 in im 1553857478.491 * [backup-simplify]: Simplify 0 into 0 1553857478.491 * [backup-simplify]: Simplify 0 into 0 1553857478.492 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (sin (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 1553857478.492 * * * [progress]: simplifying candidates 1553857478.492 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 1553857478.492 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 1553857478.492 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 1553857478.492 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553857478.493 * * [simplify]: iters left: 6 (11 enodes) 1553857478.506 * * [simplify]: iters left: 5 (49 enodes) 1553857478.524 * * [simplify]: iters left: 4 (96 enodes) 1553857478.560 * * [simplify]: iters left: 3 (169 enodes) 1553857478.611 * * [simplify]: iters left: 2 (207 enodes) 1553857478.643 * * [simplify]: iters left: 1 (235 enodes) 1553857478.697 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857478.698 * * [simplify]: Extracting #1: cost 19 inf + 0 1553857478.698 * * [simplify]: Extracting #2: cost 37 inf + 2 1553857478.698 * * [simplify]: Extracting #3: cost 41 inf + 45 1553857478.699 * * [simplify]: Extracting #4: cost 25 inf + 1759 1553857478.701 * * [simplify]: Extracting #5: cost 5 inf + 5439 1553857478.705 * * [simplify]: Extracting #6: cost 0 inf + 6176 1553857478.708 * [simplify]: Simplified to (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im)))) 1553857478.708 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im)))) 1)) 1553857478.708 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 1553857478.709 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1553857478.709 * * [simplify]: iters left: 6 (11 enodes) 1553857478.715 * * [simplify]: iters left: 5 (49 enodes) 1553857478.734 * * [simplify]: iters left: 4 (96 enodes) 1553857478.753 * * [simplify]: iters left: 3 (169 enodes) 1553857478.796 * * [simplify]: iters left: 2 (207 enodes) 1553857478.850 * * [simplify]: iters left: 1 (235 enodes) 1553857478.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857478.878 * * [simplify]: Extracting #1: cost 19 inf + 0 1553857478.878 * * [simplify]: Extracting #2: cost 37 inf + 2 1553857478.879 * * [simplify]: Extracting #3: cost 41 inf + 45 1553857478.879 * * [simplify]: Extracting #4: cost 25 inf + 1759 1553857478.880 * * [simplify]: Extracting #5: cost 5 inf + 5439 1553857478.882 * * [simplify]: Extracting #6: cost 0 inf + 6176 1553857478.884 * [simplify]: Simplified to (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im)))) 1553857478.884 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* 0.5 (fma (sin re) (exp im) (/ (sin re) (exp im)))) 1)) 1553857478.884 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 1553857478.884 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 1553857478.884 * [simplify]: Simplifying (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 1553857478.884 * * [simplify]: iters left: 6 (14 enodes) 1553857478.889 * * [simplify]: iters left: 5 (52 enodes) 1553857478.897 * * [simplify]: iters left: 4 (67 enodes) 1553857478.917 * * [simplify]: iters left: 3 (79 enodes) 1553857478.940 * * [simplify]: iters left: 2 (81 enodes) 1553857478.959 * * [simplify]: iters left: 1 (83 enodes) 1553857478.978 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857478.978 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857478.978 * * [simplify]: Extracting #2: cost 17 inf + 0 1553857478.978 * * [simplify]: Extracting #3: cost 22 inf + 1 1553857478.978 * * [simplify]: Extracting #4: cost 23 inf + 135 1553857478.978 * * [simplify]: Extracting #5: cost 19 inf + 793 1553857478.979 * * [simplify]: Extracting #6: cost 6 inf + 2849 1553857478.980 * * [simplify]: Extracting #7: cost 1 inf + 5039 1553857478.982 * * [simplify]: Extracting #8: cost 0 inf + 5441 1553857478.983 * [simplify]: Simplified to (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))) 1553857478.983 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))))) 1553857478.984 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 1553857478.984 * [simplify]: Simplifying (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 1553857478.984 * * [simplify]: iters left: 6 (13 enodes) 1553857478.991 * * [simplify]: iters left: 5 (50 enodes) 1553857479.007 * * [simplify]: iters left: 4 (66 enodes) 1553857479.027 * * [simplify]: iters left: 3 (81 enodes) 1553857479.048 * * [simplify]: iters left: 2 (83 enodes) 1553857479.067 * * [simplify]: iters left: 1 (85 enodes) 1553857479.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857479.090 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857479.090 * * [simplify]: Extracting #2: cost 18 inf + 0 1553857479.090 * * [simplify]: Extracting #3: cost 24 inf + 1 1553857479.090 * * [simplify]: Extracting #4: cost 26 inf + 74 1553857479.091 * * [simplify]: Extracting #5: cost 17 inf + 1039 1553857479.091 * * [simplify]: Extracting #6: cost 4 inf + 3536 1553857479.093 * * [simplify]: Extracting #7: cost 1 inf + 4903 1553857479.094 * * [simplify]: Extracting #8: cost 0 inf + 5365 1553857479.096 * [simplify]: Simplified to (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))) 1553857479.096 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))))) 1553857479.096 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 1553857479.096 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 1553857479.096 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 1553857479.097 * [simplify]: Simplifying (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 1553857479.097 * * [simplify]: iters left: 6 (17 enodes) 1553857479.107 * * [simplify]: iters left: 5 (82 enodes) 1553857479.129 * * [simplify]: iters left: 4 (278 enodes) 1553857479.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857479.286 * * [simplify]: Extracting #1: cost 52 inf + 0 1553857479.287 * * [simplify]: Extracting #2: cost 271 inf + 42 1553857479.290 * * [simplify]: Extracting #3: cost 309 inf + 11506 1553857479.319 * * [simplify]: Extracting #4: cost 46 inf + 109218 1553857479.349 * * [simplify]: Extracting #5: cost 0 inf + 125508 1553857479.380 * * [simplify]: Extracting #6: cost 0 inf + 125218 1553857479.433 * * [simplify]: Extracting #7: cost 0 inf + 125176 1553857479.472 * [simplify]: Simplified to (* (* (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5))) (+ (exp im) (exp (- im)))) (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))))) 1553857479.472 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5))) (+ (exp im) (exp (- im)))) (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))))))) 1553857479.472 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 1553857479.472 * [simplify]: Simplifying (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 1553857479.472 * * [simplify]: iters left: 6 (15 enodes) 1553857479.477 * * [simplify]: iters left: 5 (80 enodes) 1553857479.505 * * [simplify]: iters left: 4 (285 enodes) 1553857479.644 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857479.644 * * [simplify]: Extracting #1: cost 52 inf + 0 1553857479.644 * * [simplify]: Extracting #2: cost 290 inf + 1 1553857479.646 * * [simplify]: Extracting #3: cost 352 inf + 3639 1553857479.653 * * [simplify]: Extracting #4: cost 228 inf + 48519 1553857479.683 * * [simplify]: Extracting #5: cost 42 inf + 118792 1553857479.718 * * [simplify]: Extracting #6: cost 0 inf + 134638 1553857479.757 * * [simplify]: Extracting #7: cost 0 inf + 134558 1553857479.793 * [simplify]: Simplified to (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))) 1553857479.793 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))))) 1553857479.793 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 1553857479.793 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 1553857479.793 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 1553857479.793 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1553857479.793 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 1553857479.794 * [simplify]: Simplifying (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553857479.794 * * [simplify]: iters left: 6 (13 enodes) 1553857479.797 * * [simplify]: iters left: 5 (47 enodes) 1553857479.804 * * [simplify]: iters left: 4 (54 enodes) 1553857479.815 * * [simplify]: iters left: 3 (61 enodes) 1553857479.828 * * [simplify]: iters left: 2 (63 enodes) 1553857479.835 * * [simplify]: iters left: 1 (65 enodes) 1553857479.843 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857479.843 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857479.843 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857479.843 * * [simplify]: Extracting #3: cost 15 inf + 0 1553857479.843 * * [simplify]: Extracting #4: cost 20 inf + 2 1553857479.843 * * [simplify]: Extracting #5: cost 18 inf + 157 1553857479.843 * * [simplify]: Extracting #6: cost 9 inf + 788 1553857479.844 * * [simplify]: Extracting #7: cost 1 inf + 2550 1553857479.844 * * [simplify]: Extracting #8: cost 0 inf + 2993 1553857479.845 * [simplify]: Simplified to (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) 1553857479.845 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))))) 1553857479.845 * [simplify]: Simplifying (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553857479.845 * * [simplify]: iters left: 6 (13 enodes) 1553857479.852 * * [simplify]: iters left: 5 (47 enodes) 1553857479.868 * * [simplify]: iters left: 4 (54 enodes) 1553857479.883 * * [simplify]: iters left: 3 (61 enodes) 1553857479.899 * * [simplify]: iters left: 2 (63 enodes) 1553857479.911 * * [simplify]: iters left: 1 (65 enodes) 1553857479.919 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857479.919 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857479.919 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857479.919 * * [simplify]: Extracting #3: cost 15 inf + 0 1553857479.919 * * [simplify]: Extracting #4: cost 20 inf + 2 1553857479.919 * * [simplify]: Extracting #5: cost 18 inf + 157 1553857479.919 * * [simplify]: Extracting #6: cost 9 inf + 788 1553857479.920 * * [simplify]: Extracting #7: cost 1 inf + 2550 1553857479.920 * * [simplify]: Extracting #8: cost 0 inf + 2993 1553857479.920 * [simplify]: Simplified to (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))) 1553857479.920 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (* 0.5 (sin re)))))) 1553857479.920 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1553857479.921 * [simplify]: Simplifying (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553857479.921 * * [simplify]: iters left: 6 (14 enodes) 1553857479.925 * * [simplify]: iters left: 5 (52 enodes) 1553857479.933 * * [simplify]: iters left: 4 (67 enodes) 1553857479.949 * * [simplify]: iters left: 3 (80 enodes) 1553857479.969 * * [simplify]: iters left: 2 (82 enodes) 1553857479.990 * * [simplify]: iters left: 1 (84 enodes) 1553857480.009 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.010 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857480.010 * * [simplify]: Extracting #2: cost 17 inf + 0 1553857480.010 * * [simplify]: Extracting #3: cost 22 inf + 1 1553857480.010 * * [simplify]: Extracting #4: cost 23 inf + 105 1553857480.010 * * [simplify]: Extracting #5: cost 18 inf + 684 1553857480.011 * * [simplify]: Extracting #6: cost 6 inf + 2489 1553857480.012 * * [simplify]: Extracting #7: cost 1 inf + 4379 1553857480.014 * * [simplify]: Extracting #8: cost 0 inf + 4721 1553857480.015 * [simplify]: Simplified to (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) 1553857480.015 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))))) 1553857480.016 * [simplify]: Simplifying (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) 1553857480.016 * * [simplify]: iters left: 6 (14 enodes) 1553857480.024 * * [simplify]: iters left: 5 (52 enodes) 1553857480.040 * * [simplify]: iters left: 4 (67 enodes) 1553857480.060 * * [simplify]: iters left: 3 (80 enodes) 1553857480.080 * * [simplify]: iters left: 2 (82 enodes) 1553857480.099 * * [simplify]: iters left: 1 (84 enodes) 1553857480.117 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.117 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857480.117 * * [simplify]: Extracting #2: cost 17 inf + 0 1553857480.117 * * [simplify]: Extracting #3: cost 22 inf + 1 1553857480.118 * * [simplify]: Extracting #4: cost 23 inf + 105 1553857480.118 * * [simplify]: Extracting #5: cost 18 inf + 684 1553857480.119 * * [simplify]: Extracting #6: cost 6 inf + 2489 1553857480.120 * * [simplify]: Extracting #7: cost 1 inf + 4379 1553857480.121 * * [simplify]: Extracting #8: cost 0 inf + 4721 1553857480.123 * [simplify]: Simplified to (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))) 1553857480.123 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (sqrt (+ (exp im) (exp (- im)))) (* (sqrt 0.5) (sqrt (sin re)))))) 1553857480.123 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1553857480.123 * [simplify]: Simplifying (* (* 0.5 (sin re)) (exp im)) 1553857480.123 * * [simplify]: iters left: 5 (7 enodes) 1553857480.127 * * [simplify]: iters left: 4 (25 enodes) 1553857480.137 * * [simplify]: iters left: 3 (33 enodes) 1553857480.144 * * [simplify]: iters left: 2 (39 enodes) 1553857480.149 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.149 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857480.149 * * [simplify]: Extracting #2: cost 14 inf + 1 1553857480.149 * * [simplify]: Extracting #3: cost 11 inf + 74 1553857480.149 * * [simplify]: Extracting #4: cost 4 inf + 755 1553857480.149 * * [simplify]: Extracting #5: cost 1 inf + 1252 1553857480.149 * * [simplify]: Extracting #6: cost 0 inf + 1465 1553857480.150 * [simplify]: Simplified to (* (* 0.5 (sin re)) (exp im)) 1553857480.150 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp (- 0 im))) (* (* 0.5 (sin re)) (exp im)))) 1553857480.150 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 1553857480.150 * [simplify]: Simplifying (* (* 0.5 (sin re)) (exp (- 0 im))) 1553857480.150 * * [simplify]: iters left: 5 (9 enodes) 1553857480.153 * * [simplify]: iters left: 4 (37 enodes) 1553857480.159 * * [simplify]: iters left: 3 (54 enodes) 1553857480.168 * * [simplify]: iters left: 2 (79 enodes) 1553857480.187 * * [simplify]: iters left: 1 (92 enodes) 1553857480.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.199 * * [simplify]: Extracting #1: cost 13 inf + 0 1553857480.199 * * [simplify]: Extracting #2: cost 22 inf + 2 1553857480.200 * * [simplify]: Extracting #3: cost 21 inf + 45 1553857480.200 * * [simplify]: Extracting #4: cost 6 inf + 1528 1553857480.200 * * [simplify]: Extracting #5: cost 0 inf + 2481 1553857480.201 * [simplify]: Simplified to (* (/ 0.5 (exp im)) (sin re)) 1553857480.201 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp im)) (* (/ 0.5 (exp im)) (sin re)))) 1553857480.201 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 1553857480.201 * [simplify]: Simplifying (* (exp im) (* 0.5 (sin re))) 1553857480.201 * * [simplify]: iters left: 5 (7 enodes) 1553857480.203 * * [simplify]: iters left: 4 (25 enodes) 1553857480.207 * * [simplify]: iters left: 3 (33 enodes) 1553857480.212 * * [simplify]: iters left: 2 (39 enodes) 1553857480.220 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.220 * * [simplify]: Extracting #1: cost 8 inf + 0 1553857480.220 * * [simplify]: Extracting #2: cost 14 inf + 1 1553857480.220 * * [simplify]: Extracting #3: cost 12 inf + 3 1553857480.220 * * [simplify]: Extracting #4: cost 6 inf + 481 1553857480.223 * * [simplify]: Extracting #5: cost 2 inf + 1080 1553857480.223 * * [simplify]: Extracting #6: cost 0 inf + 1465 1553857480.224 * [simplify]: Simplified to (* (* 0.5 (exp im)) (sin re)) 1553857480.224 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp (- 0 im)) (* 0.5 (sin re))) (* (* 0.5 (exp im)) (sin re)))) 1553857480.224 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 1553857480.224 * [simplify]: Simplifying (* (exp (- 0 im)) (* 0.5 (sin re))) 1553857480.224 * * [simplify]: iters left: 5 (9 enodes) 1553857480.230 * * [simplify]: iters left: 4 (37 enodes) 1553857480.242 * * [simplify]: iters left: 3 (54 enodes) 1553857480.260 * * [simplify]: iters left: 2 (79 enodes) 1553857480.283 * * [simplify]: iters left: 1 (92 enodes) 1553857480.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.307 * * [simplify]: Extracting #1: cost 13 inf + 0 1553857480.307 * * [simplify]: Extracting #2: cost 22 inf + 2 1553857480.308 * * [simplify]: Extracting #3: cost 21 inf + 45 1553857480.308 * * [simplify]: Extracting #4: cost 6 inf + 1528 1553857480.310 * * [simplify]: Extracting #5: cost 0 inf + 2481 1553857480.311 * [simplify]: Simplified to (/ 0.5 (/ (exp im) (sin re))) 1553857480.311 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ 0.5 (/ (exp im) (sin re))))) 1553857480.311 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 1553857480.311 * [simplify]: Simplifying (cbrt (+ (exp (- 0 im)) (exp im))) 1553857480.311 * * [simplify]: iters left: 6 (7 enodes) 1553857480.316 * * [simplify]: iters left: 5 (27 enodes) 1553857480.324 * * [simplify]: iters left: 4 (34 enodes) 1553857480.334 * * [simplify]: iters left: 3 (41 enodes) 1553857480.346 * * [simplify]: iters left: 2 (43 enodes) 1553857480.355 * * [simplify]: iters left: 1 (45 enodes) 1553857480.365 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.365 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.365 * * [simplify]: Extracting #2: cost 7 inf + 0 1553857480.365 * * [simplify]: Extracting #3: cost 11 inf + 1 1553857480.366 * * [simplify]: Extracting #4: cost 12 inf + 43 1553857480.366 * * [simplify]: Extracting #5: cost 4 inf + 681 1553857480.366 * * [simplify]: Extracting #6: cost 1 inf + 1274 1553857480.367 * * [simplify]: Extracting #7: cost 0 inf + 1575 1553857480.367 * [simplify]: Simplified to (cbrt (+ (exp (- im)) (exp im))) 1553857480.367 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0 im)) (exp im))) (cbrt (+ (exp (- 0 im)) (exp im))))) (cbrt (+ (exp (- im)) (exp im))))) 1553857480.367 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 1553857480.368 * [simplify]: Simplifying (sqrt (+ (exp (- 0 im)) (exp im))) 1553857480.368 * * [simplify]: iters left: 6 (7 enodes) 1553857480.374 * * [simplify]: iters left: 5 (27 enodes) 1553857480.383 * * [simplify]: iters left: 4 (34 enodes) 1553857480.393 * * [simplify]: iters left: 3 (41 enodes) 1553857480.404 * * [simplify]: iters left: 2 (43 enodes) 1553857480.413 * * [simplify]: iters left: 1 (45 enodes) 1553857480.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.419 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.419 * * [simplify]: Extracting #2: cost 7 inf + 0 1553857480.419 * * [simplify]: Extracting #3: cost 11 inf + 1 1553857480.419 * * [simplify]: Extracting #4: cost 12 inf + 43 1553857480.419 * * [simplify]: Extracting #5: cost 4 inf + 681 1553857480.419 * * [simplify]: Extracting #6: cost 1 inf + 1234 1553857480.419 * * [simplify]: Extracting #7: cost 0 inf + 1495 1553857480.420 * [simplify]: Simplified to (sqrt (+ (exp (- im)) (exp im))) 1553857480.420 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) 1553857480.420 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 1553857480.420 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 1553857480.420 * * [simplify]: iters left: 5 (6 enodes) 1553857480.422 * * [simplify]: iters left: 4 (24 enodes) 1553857480.426 * * [simplify]: iters left: 3 (31 enodes) 1553857480.431 * * [simplify]: iters left: 2 (38 enodes) 1553857480.436 * * [simplify]: iters left: 1 (40 enodes) 1553857480.441 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.441 * * [simplify]: Extracting #1: cost 5 inf + 0 1553857480.441 * * [simplify]: Extracting #2: cost 9 inf + 1 1553857480.441 * * [simplify]: Extracting #3: cost 6 inf + 226 1553857480.441 * * [simplify]: Extracting #4: cost 1 inf + 711 1553857480.441 * * [simplify]: Extracting #5: cost 0 inf + 932 1553857480.441 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 1553857480.442 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 1553857480.442 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 1553857480.442 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 1553857480.442 * * [simplify]: iters left: 5 (6 enodes) 1553857480.444 * * [simplify]: iters left: 4 (24 enodes) 1553857480.448 * * [simplify]: iters left: 3 (31 enodes) 1553857480.456 * * [simplify]: iters left: 2 (38 enodes) 1553857480.467 * * [simplify]: iters left: 1 (40 enodes) 1553857480.475 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.475 * * [simplify]: Extracting #1: cost 5 inf + 0 1553857480.475 * * [simplify]: Extracting #2: cost 9 inf + 1 1553857480.475 * * [simplify]: Extracting #3: cost 6 inf + 226 1553857480.476 * * [simplify]: Extracting #4: cost 1 inf + 711 1553857480.476 * * [simplify]: Extracting #5: cost 0 inf + 932 1553857480.476 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 1553857480.476 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 1553857480.476 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 1553857480.477 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 1553857480.477 * [simplify]: Simplifying (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 1553857480.477 * * [simplify]: iters left: 6 (6 enodes) 1553857480.480 * * [simplify]: iters left: 5 (19 enodes) 1553857480.486 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.486 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.486 * * [simplify]: Extracting #2: cost 5 inf + 0 1553857480.486 * * [simplify]: Extracting #3: cost 8 inf + 0 1553857480.486 * * [simplify]: Extracting #4: cost 9 inf + 1 1553857480.486 * * [simplify]: Extracting #5: cost 0 inf + 1136 1553857480.487 * [simplify]: Simplified to (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 1553857480.487 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553857480.487 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 1553857480.487 * [simplify]: Simplifying (sqrt (* 0.5 (sin re))) 1553857480.487 * * [simplify]: iters left: 4 (5 enodes) 1553857480.490 * * [simplify]: iters left: 3 (16 enodes) 1553857480.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.495 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.495 * * [simplify]: Extracting #2: cost 6 inf + 0 1553857480.495 * * [simplify]: Extracting #3: cost 7 inf + 1 1553857480.495 * * [simplify]: Extracting #4: cost 0 inf + 612 1553857480.496 * [simplify]: Simplified to (sqrt (* 0.5 (sin re))) 1553857480.496 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (* 0.5 (sin re))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553857480.496 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 1553857480.496 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 1553857480.496 * [simplify]: Simplifying (* (sqrt 0.5) (sqrt (sin re))) 1553857480.496 * * [simplify]: iters left: 4 (6 enodes) 1553857480.502 * * [simplify]: iters left: 3 (19 enodes) 1553857480.508 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.508 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857480.508 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857480.508 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857480.508 * * [simplify]: Extracting #4: cost 0 inf + 772 1553857480.508 * [simplify]: Simplified to (* (sqrt 0.5) (sqrt (sin re))) 1553857480.508 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt 0.5) (sqrt (sin re))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0 im)) (exp im))))) 1553857480.509 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 1553857480.509 * [simplify]: Simplifying (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 1553857480.509 * * [simplify]: iters left: 6 (6 enodes) 1553857480.512 * * [simplify]: iters left: 5 (21 enodes) 1553857480.519 * * [simplify]: iters left: 4 (25 enodes) 1553857480.526 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.526 * * [simplify]: Extracting #1: cost 6 inf + 0 1553857480.526 * * [simplify]: Extracting #2: cost 9 inf + 1 1553857480.526 * * [simplify]: Extracting #3: cost 11 inf + 1 1553857480.527 * * [simplify]: Extracting #4: cost 10 inf + 2 1553857480.527 * * [simplify]: Extracting #5: cost 0 inf + 1576 1553857480.527 * [simplify]: Simplified to (* (* (cbrt (sin re)) (cbrt (sin re))) 0.5) 1553857480.527 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (* (cbrt (sin re)) (cbrt (sin re))) 0.5) (* (cbrt (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553857480.528 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 1553857480.528 * [simplify]: Simplifying (* 0.5 (sqrt (sin re))) 1553857480.528 * * [simplify]: iters left: 4 (5 enodes) 1553857480.531 * * [simplify]: iters left: 3 (16 enodes) 1553857480.536 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.536 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857480.536 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857480.536 * * [simplify]: Extracting #3: cost 7 inf + 1 1553857480.536 * * [simplify]: Extracting #4: cost 0 inf + 610 1553857480.537 * [simplify]: Simplified to (* (sqrt (sin re)) 0.5) 1553857480.537 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (sin re)) 0.5) (* (sqrt (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553857480.537 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 1553857480.537 * [simplify]: Simplifying (* 0.5 1) 1553857480.537 * * [simplify]: iters left: 2 (3 enodes) 1553857480.539 * * [simplify]: iters left: 1 (9 enodes) 1553857480.543 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.543 * * [simplify]: Extracting #1: cost 0 inf + 1 1553857480.543 * [simplify]: Simplified to 0.5 1553857480.543 * [simplify]: Simplified (2 1) to (λ (re im) (* 0.5 (* (sin re) (+ (exp (- 0 im)) (exp im))))) 1553857480.543 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 1553857480.543 * [simplify]: Simplifying (* (cbrt 0.5) (cbrt 0.5)) 1553857480.543 * * [simplify]: iters left: 3 (3 enodes) 1553857480.546 * * [simplify]: iters left: 2 (9 enodes) 1553857480.550 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.550 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.550 * * [simplify]: Extracting #2: cost 5 inf + 0 1553857480.550 * * [simplify]: Extracting #3: cost 4 inf + 1 1553857480.550 * * [simplify]: Extracting #4: cost 0 inf + 405 1553857480.550 * [simplify]: Simplified to (* (cbrt 0.5) (cbrt 0.5)) 1553857480.550 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553857480.551 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 1553857480.551 * [simplify]: Simplifying (sqrt 0.5) 1553857480.551 * * [simplify]: iters left: 1 (2 enodes) 1553857480.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.553 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.553 * * [simplify]: Extracting #2: cost 2 inf + 1 1553857480.553 * * [simplify]: Extracting #3: cost 0 inf + 83 1553857480.553 * [simplify]: Simplified to (sqrt 0.5) 1553857480.553 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0 im)) (exp im))))) 1553857480.554 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 1553857480.554 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 1553857480.554 * [simplify]: Simplifying (sin re) 1553857480.554 * * [simplify]: iters left: 1 (2 enodes) 1553857480.555 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.555 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857480.555 * * [simplify]: Extracting #2: cost 2 inf + 1 1553857480.555 * * [simplify]: Extracting #3: cost 0 inf + 123 1553857480.555 * [simplify]: Simplified to (sin re) 1553857480.555 * [simplify]: Simplified (2 1) to (λ (re im) (* (sin re) (* 0.5 (+ (exp (- 0 im)) (exp im))))) 1553857480.555 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 1553857480.556 * [simplify]: Simplifying (+ (* (exp (- 0 im)) (exp (- 0 im))) (- (* (exp im) (exp im)) (* (exp (- 0 im)) (exp im)))) 1553857480.556 * * [simplify]: iters left: 6 (10 enodes) 1553857480.562 * * [simplify]: iters left: 5 (51 enodes) 1553857480.582 * * [simplify]: iters left: 4 (101 enodes) 1553857480.613 * * [simplify]: iters left: 3 (164 enodes) 1553857480.642 * * [simplify]: iters left: 2 (213 enodes) 1553857480.694 * * [simplify]: iters left: 1 (300 enodes) 1553857480.802 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.802 * * [simplify]: Extracting #1: cost 26 inf + 0 1553857480.802 * * [simplify]: Extracting #2: cost 78 inf + 2 1553857480.803 * * [simplify]: Extracting #3: cost 86 inf + 44 1553857480.805 * * [simplify]: Extracting #4: cost 45 inf + 4652 1553857480.810 * * [simplify]: Extracting #5: cost 4 inf + 10609 1553857480.816 * * [simplify]: Extracting #6: cost 0 inf + 11220 1553857480.821 * * [simplify]: Extracting #7: cost 0 inf + 11176 1553857480.827 * [simplify]: Simplified to (+ -1 (- (* (exp im) (exp im)) (/ -1 (* (exp im) (exp im))))) 1553857480.827 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3))) (+ -1 (- (* (exp im) (exp im)) (/ -1 (* (exp im) (exp im))))))) 1553857480.827 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 1553857480.828 * [simplify]: Simplifying (- (exp (- 0 im)) (exp im)) 1553857480.828 * * [simplify]: iters left: 5 (6 enodes) 1553857480.832 * * [simplify]: iters left: 4 (25 enodes) 1553857480.840 * * [simplify]: iters left: 3 (35 enodes) 1553857480.851 * * [simplify]: iters left: 2 (42 enodes) 1553857480.863 * * [simplify]: iters left: 1 (44 enodes) 1553857480.872 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857480.872 * * [simplify]: Extracting #1: cost 6 inf + 0 1553857480.872 * * [simplify]: Extracting #2: cost 11 inf + 1 1553857480.872 * * [simplify]: Extracting #3: cost 7 inf + 377 1553857480.873 * * [simplify]: Extracting #4: cost 2 inf + 822 1553857480.873 * * [simplify]: Extracting #5: cost 0 inf + 1154 1553857480.873 * [simplify]: Simplified to (- (exp (- im)) (exp im)) 1553857480.873 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))) (- (exp (- im)) (exp im)))) 1553857480.874 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #real (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))> 1553857480.874 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 1553857480.874 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 1553857480.874 * [simplify]: Simplifying (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 1553857480.874 * * [simplify]: iters left: 6 (15 enodes) 1553857480.884 * * [simplify]: iters left: 5 (69 enodes) 1553857480.910 * * [simplify]: iters left: 4 (140 enodes) 1553857480.945 * * [simplify]: iters left: 3 (310 enodes) 1553857481.041 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857481.041 * * [simplify]: Extracting #1: cost 45 inf + 0 1553857481.042 * * [simplify]: Extracting #2: cost 108 inf + 130 1553857481.043 * * [simplify]: Extracting #3: cost 78 inf + 5052 1553857481.046 * * [simplify]: Extracting #4: cost 28 inf + 13028 1553857481.051 * * [simplify]: Extracting #5: cost 7 inf + 19099 1553857481.056 * * [simplify]: Extracting #6: cost 0 inf + 22546 1553857481.060 * [simplify]: Simplified to (* re (- (fma im (* 0.5 im) 1.0) (* 0.16666666666666666 (* re re)))) 1553857481.061 * [simplify]: Simplified (2) to (λ (re im) (* re (- (fma im (* 0.5 im) 1.0) (* 0.16666666666666666 (* re re))))) 1553857481.061 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 1553857481.061 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 1553857481.061 * * [simplify]: iters left: 6 (10 enodes) 1553857481.063 * * [simplify]: iters left: 5 (43 enodes) 1553857481.071 * * [simplify]: iters left: 4 (91 enodes) 1553857481.090 * * [simplify]: iters left: 3 (152 enodes) 1553857481.120 * * [simplify]: iters left: 2 (241 enodes) 1553857481.173 * * [simplify]: iters left: 1 (269 enodes) 1553857481.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857481.238 * * [simplify]: Extracting #1: cost 17 inf + 0 1553857481.238 * * [simplify]: Extracting #2: cost 42 inf + 2 1553857481.239 * * [simplify]: Extracting #3: cost 40 inf + 351 1553857481.241 * * [simplify]: Extracting #4: cost 14 inf + 4376 1553857481.245 * * [simplify]: Extracting #5: cost 0 inf + 6871 1553857481.252 * [simplify]: Simplified to (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))) 1553857481.252 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))) 1553857481.252 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 1553857481.252 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 1553857481.252 * * [simplify]: iters left: 6 (11 enodes) 1553857481.258 * * [simplify]: iters left: 5 (48 enodes) 1553857481.266 * * [simplify]: iters left: 4 (97 enodes) 1553857481.283 * * [simplify]: iters left: 3 (182 enodes) 1553857481.330 * * [simplify]: iters left: 2 (293 enodes) 1553857481.417 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857481.417 * * [simplify]: Extracting #1: cost 22 inf + 0 1553857481.420 * * [simplify]: Extracting #2: cost 98 inf + 1 1553857481.421 * * [simplify]: Extracting #3: cost 119 inf + 1331 1553857481.424 * * [simplify]: Extracting #4: cost 90 inf + 6069 1553857481.429 * * [simplify]: Extracting #5: cost 57 inf + 12651 1553857481.437 * * [simplify]: Extracting #6: cost 17 inf + 30955 1553857481.449 * * [simplify]: Extracting #7: cost 0 inf + 41831 1553857481.460 * [simplify]: Simplified to (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (sin re)) 1553857481.460 * [simplify]: Simplified (2) to (λ (re im) (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (sin re))) 1553857481.461 * * * [progress]: adding candidates to table 1553857481.926 * * [progress]: iteration 2 / 4 1553857481.927 * * * [progress]: picking best candidate 1553857481.931 * * * * [pick]: Picked # 1553857481.932 * * * [progress]: localizing error 1553857481.962 * * * [progress]: generating rewritten candidates 1553857481.962 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 3) 1553857481.973 * * * [progress]: generating series expansions 1553857481.973 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 3) 1553857481.973 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im)) 1553857481.973 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 1553857481.973 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 1553857481.973 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.973 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.973 * [taylor]: Taking taylor expansion of (exp im) in im 1553857481.973 * [taylor]: Taking taylor expansion of im in im 1553857481.974 * [backup-simplify]: Simplify 0 into 0 1553857481.974 * [backup-simplify]: Simplify 1 into 1 1553857481.974 * [backup-simplify]: Simplify (exp 0) into 1 1553857481.974 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 1553857481.974 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 1553857481.974 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.974 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.974 * [taylor]: Taking taylor expansion of (exp im) in im 1553857481.974 * [taylor]: Taking taylor expansion of im in im 1553857481.974 * [backup-simplify]: Simplify 0 into 0 1553857481.975 * [backup-simplify]: Simplify 1 into 1 1553857481.975 * [backup-simplify]: Simplify (exp 0) into 1 1553857481.975 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 1553857481.975 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.976 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553857481.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 1553857481.979 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 1553857481.981 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553857481.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25 1553857481.984 * [backup-simplify]: Simplify 0.25 into 0.25 1553857481.985 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) 1553857481.985 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1553857481.985 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 1553857481.985 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1553857481.985 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.985 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.985 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857481.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857481.985 * [taylor]: Taking taylor expansion of im in im 1553857481.985 * [backup-simplify]: Simplify 0 into 0 1553857481.985 * [backup-simplify]: Simplify 1 into 1 1553857481.985 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857481.985 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857481.985 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1553857481.985 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1553857481.985 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.985 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.985 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1553857481.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1553857481.985 * [taylor]: Taking taylor expansion of im in im 1553857481.986 * [backup-simplify]: Simplify 0 into 0 1553857481.986 * [backup-simplify]: Simplify 1 into 1 1553857481.986 * [backup-simplify]: Simplify (/ 1 1) into 1 1553857481.986 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1553857481.986 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1553857481.986 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1553857481.986 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1553857481.986 * [backup-simplify]: Simplify 0 into 0 1553857481.986 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1553857481.986 * [backup-simplify]: Simplify 0 into 0 1553857481.987 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1553857481.987 * [backup-simplify]: Simplify 0 into 0 1553857481.987 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1553857481.987 * [backup-simplify]: Simplify 0 into 0 1553857481.987 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1553857481.987 * [backup-simplify]: Simplify 0 into 0 1553857481.988 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1553857481.988 * [backup-simplify]: Simplify 0 into 0 1553857481.988 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im)) 1553857481.988 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im))) 1553857481.988 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 1553857481.988 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1553857481.988 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.988 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.988 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553857481.988 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553857481.988 * [taylor]: Taking taylor expansion of -1 in im 1553857481.988 * [backup-simplify]: Simplify -1 into -1 1553857481.988 * [taylor]: Taking taylor expansion of im in im 1553857481.988 * [backup-simplify]: Simplify 0 into 0 1553857481.988 * [backup-simplify]: Simplify 1 into 1 1553857481.988 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857481.988 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857481.988 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1553857481.988 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1553857481.989 * [taylor]: Taking taylor expansion of 0.5 in im 1553857481.989 * [backup-simplify]: Simplify 0.5 into 0.5 1553857481.989 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1553857481.989 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1553857481.989 * [taylor]: Taking taylor expansion of -1 in im 1553857481.989 * [backup-simplify]: Simplify -1 into -1 1553857481.989 * [taylor]: Taking taylor expansion of im in im 1553857481.989 * [backup-simplify]: Simplify 0 into 0 1553857481.989 * [backup-simplify]: Simplify 1 into 1 1553857481.989 * [backup-simplify]: Simplify (/ -1 1) into -1 1553857481.989 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1553857481.989 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1553857481.989 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1553857481.989 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1553857481.989 * [backup-simplify]: Simplify 0 into 0 1553857481.993 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1553857481.993 * [backup-simplify]: Simplify 0 into 0 1553857481.993 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1553857481.994 * [backup-simplify]: Simplify 0 into 0 1553857481.994 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1553857481.994 * [backup-simplify]: Simplify 0 into 0 1553857481.994 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1553857481.994 * [backup-simplify]: Simplify 0 into 0 1553857481.994 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1553857481.994 * [backup-simplify]: Simplify 0 into 0 1553857481.994 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im)) 1553857481.995 * * * [progress]: simplifying candidates 1553857481.995 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 1553857481.995 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 1553857481.995 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 1553857481.995 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 1553857481.995 * [simplify]: Simplifying (- (log 0.5) im) 1553857481.995 * * [simplify]: iters left: 3 (4 enodes) 1553857481.997 * * [simplify]: iters left: 2 (14 enodes) 1553857481.999 * * [simplify]: iters left: 1 (17 enodes) 1553857482.002 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.002 * * [simplify]: Extracting #1: cost 5 inf + 0 1553857482.002 * * [simplify]: Extracting #2: cost 6 inf + 42 1553857482.002 * * [simplify]: Extracting #3: cost 4 inf + 84 1553857482.002 * * [simplify]: Extracting #4: cost 0 inf + 450 1553857482.002 * [simplify]: Simplified to (- (log 0.5) im) 1553857482.002 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (exp (- (log 0.5) im))) (sin re))) 1553857482.002 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 1553857482.003 * [simplify]: Simplifying (- (log 0.5) (log (exp im))) 1553857482.003 * * [simplify]: iters left: 4 (6 enodes) 1553857482.004 * * [simplify]: iters left: 3 (18 enodes) 1553857482.008 * * [simplify]: iters left: 2 (23 enodes) 1553857482.011 * * [simplify]: iters left: 1 (25 enodes) 1553857482.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.015 * * [simplify]: Extracting #1: cost 6 inf + 0 1553857482.015 * * [simplify]: Extracting #2: cost 7 inf + 83 1553857482.015 * * [simplify]: Extracting #3: cost 4 inf + 166 1553857482.015 * * [simplify]: Extracting #4: cost 0 inf + 532 1553857482.015 * [simplify]: Simplified to (- (log 0.5) im) 1553857482.015 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (exp (- (log 0.5) im))) (sin re))) 1553857482.015 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 1553857482.015 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 1553857482.015 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 1553857482.015 * [simplify]: Simplifying (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) 1553857482.016 * * [simplify]: iters left: 6 (8 enodes) 1553857482.018 * * [simplify]: iters left: 5 (35 enodes) 1553857482.025 * * [simplify]: iters left: 4 (81 enodes) 1553857482.041 * * [simplify]: iters left: 3 (159 enodes) 1553857482.079 * * [simplify]: iters left: 2 (261 enodes) 1553857482.152 * * [simplify]: iters left: 1 (441 enodes) 1553857482.280 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.280 * * [simplify]: Extracting #1: cost 78 inf + 0 1553857482.281 * * [simplify]: Extracting #2: cost 196 inf + 43 1553857482.282 * * [simplify]: Extracting #3: cost 180 inf + 4241 1553857482.289 * * [simplify]: Extracting #4: cost 55 inf + 55308 1553857482.305 * * [simplify]: Extracting #5: cost 0 inf + 83834 1553857482.322 * * [simplify]: Extracting #6: cost 0 inf + 83794 1553857482.339 * [simplify]: Simplified to (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) 1553857482.339 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))) (sin re))) 1553857482.339 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 1553857482.339 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 1553857482.339 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 1553857482.339 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 1553857482.339 * * * * [progress]: [ 13 / 34 ] simplifiying candidate # 1553857482.340 * [simplify]: Simplifying (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) 1553857482.340 * * [simplify]: iters left: 6 (8 enodes) 1553857482.345 * * [simplify]: iters left: 5 (30 enodes) 1553857482.354 * * [simplify]: iters left: 4 (45 enodes) 1553857482.372 * * [simplify]: iters left: 3 (52 enodes) 1553857482.387 * * [simplify]: iters left: 2 (55 enodes) 1553857482.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.403 * * [simplify]: Extracting #1: cost 11 inf + 0 1553857482.403 * * [simplify]: Extracting #2: cost 22 inf + 0 1553857482.403 * * [simplify]: Extracting #3: cost 23 inf + 1 1553857482.403 * * [simplify]: Extracting #4: cost 18 inf + 376 1553857482.404 * * [simplify]: Extracting #5: cost 2 inf + 4312 1553857482.405 * * [simplify]: Extracting #6: cost 0 inf + 4816 1553857482.407 * [simplify]: Simplified to (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im)))) 1553857482.407 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))))) (sin re))) 1553857482.407 * [simplify]: Simplifying (/ (cbrt 0.5) (cbrt (exp im))) 1553857482.408 * * [simplify]: iters left: 4 (6 enodes) 1553857482.411 * * [simplify]: iters left: 3 (18 enodes) 1553857482.417 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.417 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.417 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.417 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857482.417 * * [simplify]: Extracting #4: cost 0 inf + 1152 1553857482.418 * [simplify]: Simplified to (/ (cbrt 0.5) (cbrt (exp im))) 1553857482.418 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))))) (sin re))) 1553857482.418 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 1553857482.418 * [simplify]: Simplifying (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) 1553857482.418 * * [simplify]: iters left: 5 (7 enodes) 1553857482.422 * * [simplify]: iters left: 4 (23 enodes) 1553857482.430 * * [simplify]: iters left: 3 (27 enodes) 1553857482.438 * * [simplify]: iters left: 2 (30 enodes) 1553857482.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.447 * * [simplify]: Extracting #1: cost 7 inf + 0 1553857482.447 * * [simplify]: Extracting #2: cost 14 inf + 0 1553857482.447 * * [simplify]: Extracting #3: cost 15 inf + 1 1553857482.447 * * [simplify]: Extracting #4: cost 12 inf + 164 1553857482.448 * * [simplify]: Extracting #5: cost 6 inf + 891 1553857482.448 * * [simplify]: Extracting #6: cost 1 inf + 1970 1553857482.448 * * [simplify]: Extracting #7: cost 0 inf + 2242 1553857482.449 * [simplify]: Simplified to (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) 1553857482.449 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))))) (sin re))) 1553857482.450 * [simplify]: Simplifying (/ (cbrt 0.5) (sqrt (exp im))) 1553857482.450 * * [simplify]: iters left: 4 (6 enodes) 1553857482.453 * * [simplify]: iters left: 3 (18 enodes) 1553857482.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.459 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.459 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.459 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857482.460 * * [simplify]: Extracting #4: cost 0 inf + 992 1553857482.460 * [simplify]: Simplified to (/ (cbrt 0.5) (sqrt (exp im))) 1553857482.460 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))))) (sin re))) 1553857482.460 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 1553857482.461 * [simplify]: Simplifying (/ (* (cbrt 0.5) (cbrt 0.5)) 1) 1553857482.461 * * [simplify]: iters left: 5 (5 enodes) 1553857482.465 * * [simplify]: iters left: 4 (17 enodes) 1553857482.472 * * [simplify]: iters left: 3 (27 enodes) 1553857482.480 * * [simplify]: iters left: 2 (28 enodes) 1553857482.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.488 * * [simplify]: Extracting #1: cost 5 inf + 0 1553857482.488 * * [simplify]: Extracting #2: cost 7 inf + 1 1553857482.488 * * [simplify]: Extracting #3: cost 6 inf + 2 1553857482.489 * * [simplify]: Extracting #4: cost 1 inf + 528 1553857482.489 * * [simplify]: Extracting #5: cost 0 inf + 650 1553857482.489 * [simplify]: Simplified to (* (cbrt 0.5) (cbrt 0.5)) 1553857482.489 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)))) (sin re))) 1553857482.489 * [simplify]: Simplifying (/ (cbrt 0.5) (exp im)) 1553857482.490 * * [simplify]: iters left: 3 (5 enodes) 1553857482.492 * * [simplify]: iters left: 2 (15 enodes) 1553857482.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.497 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.497 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.497 * * [simplify]: Extracting #3: cost 4 inf + 144 1553857482.498 * * [simplify]: Extracting #4: cost 0 inf + 690 1553857482.498 * [simplify]: Simplified to (/ (cbrt 0.5) (exp im)) 1553857482.498 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)))) (sin re))) 1553857482.498 * * * * [progress]: [ 16 / 34 ] simplifiying candidate # 1553857482.498 * [simplify]: Simplifying (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) 1553857482.498 * * [simplify]: iters left: 6 (7 enodes) 1553857482.502 * * [simplify]: iters left: 5 (23 enodes) 1553857482.510 * * [simplify]: iters left: 4 (25 enodes) 1553857482.517 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.517 * * [simplify]: Extracting #1: cost 6 inf + 0 1553857482.517 * * [simplify]: Extracting #2: cost 12 inf + 0 1553857482.517 * * [simplify]: Extracting #3: cost 13 inf + 1 1553857482.517 * * [simplify]: Extracting #4: cost 8 inf + 226 1553857482.518 * * [simplify]: Extracting #5: cost 4 inf + 951 1553857482.518 * * [simplify]: Extracting #6: cost 1 inf + 1646 1553857482.519 * * [simplify]: Extracting #7: cost 0 inf + 1918 1553857482.519 * [simplify]: Simplified to (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) 1553857482.519 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))))) (sin re))) 1553857482.520 * [simplify]: Simplifying (/ (sqrt 0.5) (cbrt (exp im))) 1553857482.520 * * [simplify]: iters left: 4 (6 enodes) 1553857482.525 * * [simplify]: iters left: 3 (18 enodes) 1553857482.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.531 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.531 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.531 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857482.531 * * [simplify]: Extracting #4: cost 0 inf + 992 1553857482.531 * [simplify]: Simplified to (/ (sqrt 0.5) (cbrt (exp im))) 1553857482.531 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))))) (sin re))) 1553857482.532 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 1553857482.532 * [simplify]: Simplifying (/ (sqrt 0.5) (sqrt (exp im))) 1553857482.532 * * [simplify]: iters left: 4 (6 enodes) 1553857482.535 * * [simplify]: iters left: 3 (18 enodes) 1553857482.541 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.541 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.541 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.541 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857482.542 * * [simplify]: Extracting #4: cost 0 inf + 832 1553857482.542 * [simplify]: Simplified to (/ (sqrt 0.5) (sqrt (exp im))) 1553857482.542 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))))) (sin re))) 1553857482.542 * [simplify]: Simplifying (/ (sqrt 0.5) (sqrt (exp im))) 1553857482.542 * * [simplify]: iters left: 4 (6 enodes) 1553857482.546 * * [simplify]: iters left: 3 (18 enodes) 1553857482.551 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.552 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.552 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.552 * * [simplify]: Extracting #3: cost 9 inf + 1 1553857482.552 * * [simplify]: Extracting #4: cost 0 inf + 832 1553857482.552 * [simplify]: Simplified to (/ (sqrt 0.5) (sqrt (exp im))) 1553857482.552 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))))) (sin re))) 1553857482.552 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 1553857482.553 * [simplify]: Simplifying (/ (sqrt 0.5) 1) 1553857482.553 * * [simplify]: iters left: 3 (4 enodes) 1553857482.556 * * [simplify]: iters left: 2 (12 enodes) 1553857482.560 * * [simplify]: iters left: 1 (14 enodes) 1553857482.565 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.565 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.565 * * [simplify]: Extracting #2: cost 0 inf + 84 1553857482.565 * [simplify]: Simplified to (sqrt 0.5) 1553857482.566 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))) (sin re))) 1553857482.566 * [simplify]: Simplifying (/ (sqrt 0.5) (exp im)) 1553857482.566 * * [simplify]: iters left: 3 (5 enodes) 1553857482.569 * * [simplify]: iters left: 2 (15 enodes) 1553857482.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.571 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.571 * * [simplify]: Extracting #2: cost 8 inf + 0 1553857482.572 * * [simplify]: Extracting #3: cost 4 inf + 144 1553857482.572 * * [simplify]: Extracting #4: cost 0 inf + 530 1553857482.572 * [simplify]: Simplified to (/ (sqrt 0.5) (exp im)) 1553857482.572 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (sqrt 0.5) (/ (sqrt 0.5) (exp im)))) (sin re))) 1553857482.572 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 1553857482.572 * [simplify]: Simplifying (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) 1553857482.572 * * [simplify]: iters left: 6 (6 enodes) 1553857482.574 * * [simplify]: iters left: 5 (22 enodes) 1553857482.577 * * [simplify]: iters left: 4 (26 enodes) 1553857482.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.581 * * [simplify]: Extracting #1: cost 6 inf + 0 1553857482.581 * * [simplify]: Extracting #2: cost 9 inf + 1 1553857482.581 * * [simplify]: Extracting #3: cost 11 inf + 1 1553857482.581 * * [simplify]: Extracting #4: cost 8 inf + 144 1553857482.581 * * [simplify]: Extracting #5: cost 2 inf + 1253 1553857482.582 * * [simplify]: Extracting #6: cost 0 inf + 1676 1553857482.582 * [simplify]: Simplified to (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) 1553857482.582 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))))) (sin re))) 1553857482.582 * [simplify]: Simplifying (/ 0.5 (cbrt (exp im))) 1553857482.582 * * [simplify]: iters left: 4 (5 enodes) 1553857482.583 * * [simplify]: iters left: 3 (15 enodes) 1553857482.585 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.586 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.586 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.586 * * [simplify]: Extracting #3: cost 7 inf + 1 1553857482.586 * * [simplify]: Extracting #4: cost 0 inf + 830 1553857482.586 * [simplify]: Simplified to (/ 0.5 (cbrt (exp im))) 1553857482.586 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))))) (sin re))) 1553857482.586 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 1553857482.586 * [simplify]: Simplifying (/ 1 (sqrt (exp im))) 1553857482.586 * * [simplify]: iters left: 4 (5 enodes) 1553857482.587 * * [simplify]: iters left: 3 (17 enodes) 1553857482.590 * * [simplify]: iters left: 2 (19 enodes) 1553857482.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.593 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.593 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.593 * * [simplify]: Extracting #3: cost 7 inf + 1 1553857482.593 * * [simplify]: Extracting #4: cost 0 inf + 670 1553857482.593 * [simplify]: Simplified to (/ 1 (sqrt (exp im))) 1553857482.593 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))))) (sin re))) 1553857482.594 * [simplify]: Simplifying (/ 0.5 (sqrt (exp im))) 1553857482.594 * * [simplify]: iters left: 4 (5 enodes) 1553857482.595 * * [simplify]: iters left: 3 (15 enodes) 1553857482.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.597 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.597 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.597 * * [simplify]: Extracting #3: cost 7 inf + 1 1553857482.598 * * [simplify]: Extracting #4: cost 0 inf + 670 1553857482.598 * [simplify]: Simplified to (/ 0.5 (sqrt (exp im))) 1553857482.598 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))))) (sin re))) 1553857482.598 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 1553857482.598 * [simplify]: Simplifying (/ 1 1) 1553857482.598 * * [simplify]: iters left: 2 (2 enodes) 1553857482.600 * * [simplify]: iters left: 1 (6 enodes) 1553857482.602 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.602 * * [simplify]: Extracting #1: cost 0 inf + 1 1553857482.602 * [simplify]: Simplified to 1 1553857482.602 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (* 1 (/ 0.5 (exp im)))) (sin re))) 1553857482.602 * [simplify]: Simplifying (/ 0.5 (exp im)) 1553857482.602 * * [simplify]: iters left: 3 (4 enodes) 1553857482.605 * * [simplify]: iters left: 2 (12 enodes) 1553857482.608 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.608 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.608 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.608 * * [simplify]: Extracting #3: cost 4 inf + 2 1553857482.609 * * [simplify]: Extracting #4: cost 0 inf + 368 1553857482.609 * [simplify]: Simplified to (/ 0.5 (exp im)) 1553857482.609 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (* 1 (/ 0.5 (exp im)))) (sin re))) 1553857482.609 * * * * [progress]: [ 22 / 34 ] simplifiying candidate # 1553857482.609 * * * * [progress]: [ 23 / 34 ] simplifiying candidate # 1553857482.609 * * * * [progress]: [ 24 / 34 ] simplifiying candidate # 1553857482.609 * * * * [progress]: [ 25 / 34 ] simplifiying candidate # 1553857482.609 * [simplify]: Simplifying (cbrt (exp im)) 1553857482.609 * * [simplify]: iters left: 2 (3 enodes) 1553857482.611 * * [simplify]: iters left: 1 (9 enodes) 1553857482.613 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.613 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857482.613 * * [simplify]: Extracting #2: cost 5 inf + 0 1553857482.613 * * [simplify]: Extracting #3: cost 4 inf + 1 1553857482.613 * * [simplify]: Extracting #4: cost 0 inf + 445 1553857482.613 * [simplify]: Simplified to (cbrt (exp im)) 1553857482.614 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im)))) (sin re))) 1553857482.614 * * * * [progress]: [ 26 / 34 ] simplifiying candidate # 1553857482.614 * [simplify]: Simplifying (sqrt (exp im)) 1553857482.614 * * [simplify]: iters left: 2 (3 enodes) 1553857482.615 * * [simplify]: iters left: 1 (9 enodes) 1553857482.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.618 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857482.618 * * [simplify]: Extracting #2: cost 5 inf + 0 1553857482.618 * * [simplify]: Extracting #3: cost 4 inf + 1 1553857482.618 * * [simplify]: Extracting #4: cost 0 inf + 365 1553857482.618 * [simplify]: Simplified to (sqrt (exp im)) 1553857482.618 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im)))) (sin re))) 1553857482.618 * * * * [progress]: [ 27 / 34 ] simplifiying candidate # 1553857482.619 * [simplify]: Simplifying (exp im) 1553857482.619 * * [simplify]: iters left: 1 (2 enodes) 1553857482.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.620 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857482.620 * * [simplify]: Extracting #2: cost 2 inf + 1 1553857482.620 * * [simplify]: Extracting #3: cost 0 inf + 143 1553857482.620 * [simplify]: Simplified to (exp im) 1553857482.620 * [simplify]: Simplified (2 1 3 2) to (λ (re im) (* (fma (exp im) 0.5 (/ (/ 0.5 1) (exp im))) (sin re))) 1553857482.620 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 1553857482.620 * [simplify]: Simplifying (* (cbrt 0.5) (cbrt 0.5)) 1553857482.620 * * [simplify]: iters left: 3 (3 enodes) 1553857482.622 * * [simplify]: iters left: 2 (9 enodes) 1553857482.626 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.626 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857482.626 * * [simplify]: Extracting #2: cost 5 inf + 0 1553857482.626 * * [simplify]: Extracting #3: cost 4 inf + 1 1553857482.626 * * [simplify]: Extracting #4: cost 0 inf + 405 1553857482.626 * [simplify]: Simplified to (* (cbrt 0.5) (cbrt 0.5)) 1553857482.626 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (sin re))) 1553857482.626 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 1553857482.627 * [simplify]: Simplifying (sqrt 0.5) 1553857482.627 * * [simplify]: iters left: 1 (2 enodes) 1553857482.628 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.628 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857482.628 * * [simplify]: Extracting #2: cost 2 inf + 1 1553857482.628 * * [simplify]: Extracting #3: cost 0 inf + 83 1553857482.629 * [simplify]: Simplified to (sqrt 0.5) 1553857482.629 * [simplify]: Simplified (2 1 3 1) to (λ (re im) (* (fma (exp im) 0.5 (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5)))) (sin re))) 1553857482.629 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 1553857482.629 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #real (real->posit16 (/ 0.5 (exp im))))) (sin re)))> 1553857482.629 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 1553857482.629 * [simplify]: Simplifying (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) 1553857482.629 * * [simplify]: iters left: 6 (9 enodes) 1553857482.635 * * [simplify]: iters left: 5 (40 enodes) 1553857482.650 * * [simplify]: iters left: 4 (69 enodes) 1553857482.676 * * [simplify]: iters left: 3 (109 enodes) 1553857482.709 * * [simplify]: iters left: 2 (139 enodes) 1553857482.745 * * [simplify]: iters left: 1 (169 enodes) 1553857482.800 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.800 * * [simplify]: Extracting #1: cost 25 inf + 0 1553857482.800 * * [simplify]: Extracting #2: cost 44 inf + 44 1553857482.802 * * [simplify]: Extracting #3: cost 21 inf + 2091 1553857482.805 * * [simplify]: Extracting #4: cost 1 inf + 4113 1553857482.808 * * [simplify]: Extracting #5: cost 0 inf + 4246 1553857482.811 * [simplify]: Simplified to (fma im (- (* 0.25 im) 0.5) 0.5) 1553857482.811 * [simplify]: Simplified (2 1 3) to (λ (re im) (* (fma (exp im) 0.5 (fma im (- (* 0.25 im) 0.5) 0.5)) (sin re))) 1553857482.811 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 1553857482.812 * [simplify]: Simplifying (/ 0.5 (exp im)) 1553857482.812 * * [simplify]: iters left: 3 (4 enodes) 1553857482.814 * * [simplify]: iters left: 2 (12 enodes) 1553857482.818 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.818 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.818 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.818 * * [simplify]: Extracting #3: cost 4 inf + 2 1553857482.818 * * [simplify]: Extracting #4: cost 0 inf + 368 1553857482.818 * [simplify]: Simplified to (/ 0.5 (exp im)) 1553857482.818 * [simplify]: Simplified (2 1 3) to (λ (re im) (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (sin re))) 1553857482.818 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1553857482.819 * [simplify]: Simplifying (/ 0.5 (exp im)) 1553857482.819 * * [simplify]: iters left: 3 (4 enodes) 1553857482.821 * * [simplify]: iters left: 2 (12 enodes) 1553857482.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857482.825 * * [simplify]: Extracting #1: cost 4 inf + 0 1553857482.825 * * [simplify]: Extracting #2: cost 5 inf + 1 1553857482.825 * * [simplify]: Extracting #3: cost 4 inf + 2 1553857482.825 * * [simplify]: Extracting #4: cost 0 inf + 368 1553857482.825 * [simplify]: Simplified to (/ 0.5 (exp im)) 1553857482.825 * [simplify]: Simplified (2 1 3) to (λ (re im) (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (sin re))) 1553857482.826 * * * [progress]: adding candidates to table 1553857483.204 * [progress]: [Phase 3 of 3] Extracting. 1553857483.209 * [simplify]: Simplifying (* (fma (exp im) 0.5 (/ 0.5 (exp im))) (sin re)) 1553857483.209 * * [simplify]: iters left: 6 (8 enodes) 1553857483.210 * * [simplify]: iters left: 5 (9 enodes) 1553857483.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1553857483.210 * * [simplify]: Extracting #1: cost 3 inf + 0 1553857483.210 * * [simplify]: Extracting #2: cost 7 inf + 0 1553857483.210 * * [simplify]: Extracting #3: cost 5 inf + 63 1553857483.211 * * [simplify]: Extracting #4: cost 4 inf + 64 1553857483.211 * * [simplify]: Extracting #5: cost 0 inf + 682 1553857483.211 * [simplify]: Simplified to (* (sin re) (fma (exp im) 0.5 (/ 0.5 (exp im)))) 1553857492.404 * [regime-testing]: Baseline error score: 0.021330076270501243 1553857492.405 * [regime-testing]: Oracle error score: 0.021330076270501243 1553857492.405 * [regime-testing]: End program error score: 0.021330076270501243