10.206 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.475 * * * [progress]: [2/2] Setting up program. 0.477 * [progress]: [Phase 2 of 3] Improving. 0.477 * [simplify]: Simplifying using # : (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.477 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 0.477 * * [simplify]: iteration 1 : 11 enodes (cost 18 ) 0.477 * [simplify]: Simplified to: (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.477 * * [progress]: iteration 1 / 4 0.477 * * * [progress]: picking best candidate 0.479 * * * * [pick]: Picked # 0.479 * * * [progress]: localizing error 0.489 * * * [progress]: generating rewritten candidates 0.489 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.489 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.489 * * * [progress]: generating series expansions 0.489 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.490 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 0.490 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.490 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.490 * [taylor]: Taking taylor expansion of (neg im) in im 0.490 * [taylor]: Taking taylor expansion of im in im 0.491 * [taylor]: Taking taylor expansion of (exp im) in im 0.491 * [taylor]: Taking taylor expansion of im in im 0.491 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.491 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.491 * [taylor]: Taking taylor expansion of (neg im) in im 0.491 * [taylor]: Taking taylor expansion of im in im 0.491 * [taylor]: Taking taylor expansion of (exp im) in im 0.491 * [taylor]: Taking taylor expansion of im in im 0.514 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.514 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.514 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.514 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.514 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.514 * [taylor]: Taking taylor expansion of im in im 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.516 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.516 * [taylor]: Taking taylor expansion of im in im 0.516 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.516 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.516 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.516 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.516 * [taylor]: Taking taylor expansion of im in im 0.517 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.517 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.517 * [taylor]: Taking taylor expansion of im in im 0.526 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 0.526 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.526 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.526 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.526 * [taylor]: Taking taylor expansion of im in im 0.526 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.526 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.526 * [taylor]: Taking taylor expansion of -1 in im 0.526 * [taylor]: Taking taylor expansion of im in im 0.527 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.527 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.527 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.527 * [taylor]: Taking taylor expansion of im in im 0.527 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.527 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.527 * [taylor]: Taking taylor expansion of -1 in im 0.527 * [taylor]: Taking taylor expansion of im in im 0.533 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.535 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin re) (- (exp (neg im)) (exp im)))) in (re im) around 0 0.535 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin re) (- (exp (neg im)) (exp im)))) in im 0.535 * [taylor]: Taking taylor expansion of 1/2 in im 0.535 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in im 0.535 * [taylor]: Taking taylor expansion of (sin re) in im 0.535 * [taylor]: Taking taylor expansion of re in im 0.535 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.535 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.535 * [taylor]: Taking taylor expansion of (neg im) in im 0.535 * [taylor]: Taking taylor expansion of im in im 0.536 * [taylor]: Taking taylor expansion of (exp im) in im 0.536 * [taylor]: Taking taylor expansion of im in im 0.536 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin re) (- (exp (neg im)) (exp im)))) in re 0.536 * [taylor]: Taking taylor expansion of 1/2 in re 0.536 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 0.536 * [taylor]: Taking taylor expansion of (sin re) in re 0.536 * [taylor]: Taking taylor expansion of re in re 0.536 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.536 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.536 * [taylor]: Taking taylor expansion of (neg im) in re 0.536 * [taylor]: Taking taylor expansion of im in re 0.537 * [taylor]: Taking taylor expansion of (exp im) in re 0.537 * [taylor]: Taking taylor expansion of im in re 0.537 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin re) (- (exp (neg im)) (exp im)))) in re 0.537 * [taylor]: Taking taylor expansion of 1/2 in re 0.537 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 0.537 * [taylor]: Taking taylor expansion of (sin re) in re 0.537 * [taylor]: Taking taylor expansion of re in re 0.537 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.537 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.537 * [taylor]: Taking taylor expansion of (neg im) in re 0.537 * [taylor]: Taking taylor expansion of im in re 0.538 * [taylor]: Taking taylor expansion of (exp im) in re 0.538 * [taylor]: Taking taylor expansion of im in re 0.540 * [taylor]: Taking taylor expansion of 0 in im 0.543 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp (neg im))) (* 1/2 (exp im))) in im 0.543 * [taylor]: Taking taylor expansion of (* 1/2 (exp (neg im))) in im 0.543 * [taylor]: Taking taylor expansion of 1/2 in im 0.543 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.544 * [taylor]: Taking taylor expansion of (neg im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.544 * [taylor]: Taking taylor expansion of (* 1/2 (exp im)) in im 0.544 * [taylor]: Taking taylor expansion of 1/2 in im 0.544 * [taylor]: Taking taylor expansion of (exp im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.549 * [taylor]: Taking taylor expansion of 0 in im 0.558 * [taylor]: Taking taylor expansion of (- (* 1/12 (exp im)) (* 1/12 (exp (neg im)))) in im 0.558 * [taylor]: Taking taylor expansion of (* 1/12 (exp im)) in im 0.558 * [taylor]: Taking taylor expansion of 1/12 in im 0.558 * [taylor]: Taking taylor expansion of (exp im) in im 0.558 * [taylor]: Taking taylor expansion of im in im 0.558 * [taylor]: Taking taylor expansion of (* 1/12 (exp (neg im))) in im 0.558 * [taylor]: Taking taylor expansion of 1/12 in im 0.558 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.558 * [taylor]: Taking taylor expansion of (neg im) in im 0.558 * [taylor]: Taking taylor expansion of im in im 0.575 * [taylor]: Taking taylor expansion of 0 in im 0.577 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.578 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.578 * [taylor]: Taking taylor expansion of 1/2 in im 0.578 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.578 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.578 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.578 * [taylor]: Taking taylor expansion of re in im 0.578 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.578 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.578 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.578 * [taylor]: Taking taylor expansion of im in im 0.579 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.579 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.579 * [taylor]: Taking taylor expansion of im in im 0.580 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.580 * [taylor]: Taking taylor expansion of 1/2 in re 0.580 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.580 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.580 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.580 * [taylor]: Taking taylor expansion of re in re 0.580 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.580 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.580 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.580 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.580 * [taylor]: Taking taylor expansion of im in re 0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.582 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.582 * [taylor]: Taking taylor expansion of im in re 0.583 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.583 * [taylor]: Taking taylor expansion of 1/2 in re 0.583 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.583 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.583 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.583 * [taylor]: Taking taylor expansion of re in re 0.583 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.583 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.583 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.583 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.583 * [taylor]: Taking taylor expansion of im in re 0.585 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.585 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.585 * [taylor]: Taking taylor expansion of im in re 0.588 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.588 * [taylor]: Taking taylor expansion of 1/2 in im 0.588 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.588 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.588 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.588 * [taylor]: Taking taylor expansion of re in im 0.589 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.589 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.589 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.589 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.589 * [taylor]: Taking taylor expansion of im in im 0.590 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.590 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.590 * [taylor]: Taking taylor expansion of im in im 0.600 * [taylor]: Taking taylor expansion of 0 in im 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.637 * [taylor]: Taking taylor expansion of 0 in im 0.642 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 0.642 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.642 * [taylor]: Taking taylor expansion of 1/2 in im 0.642 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.642 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.642 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.642 * [taylor]: Taking taylor expansion of im in im 0.642 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.642 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.642 * [taylor]: Taking taylor expansion of -1 in im 0.642 * [taylor]: Taking taylor expansion of im in im 0.643 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.643 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.643 * [taylor]: Taking taylor expansion of -1 in im 0.643 * [taylor]: Taking taylor expansion of re in im 0.644 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.644 * [taylor]: Taking taylor expansion of 1/2 in re 0.644 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.644 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.644 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.644 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.644 * [taylor]: Taking taylor expansion of im in re 0.644 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.644 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.644 * [taylor]: Taking taylor expansion of -1 in re 0.644 * [taylor]: Taking taylor expansion of im in re 0.645 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.645 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.645 * [taylor]: Taking taylor expansion of -1 in re 0.645 * [taylor]: Taking taylor expansion of re in re 0.645 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.645 * [taylor]: Taking taylor expansion of 1/2 in re 0.645 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.645 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.645 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.645 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.645 * [taylor]: Taking taylor expansion of im in re 0.646 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.646 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.646 * [taylor]: Taking taylor expansion of -1 in re 0.646 * [taylor]: Taking taylor expansion of im in re 0.646 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.646 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.646 * [taylor]: Taking taylor expansion of -1 in re 0.646 * [taylor]: Taking taylor expansion of re in re 0.649 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.649 * [taylor]: Taking taylor expansion of 1/2 in im 0.649 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.649 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.649 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.649 * [taylor]: Taking taylor expansion of im in im 0.649 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.649 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.649 * [taylor]: Taking taylor expansion of -1 in im 0.649 * [taylor]: Taking taylor expansion of im in im 0.650 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.650 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.650 * [taylor]: Taking taylor expansion of -1 in im 0.650 * [taylor]: Taking taylor expansion of re in im 0.659 * [taylor]: Taking taylor expansion of 0 in im 0.668 * [taylor]: Taking taylor expansion of 0 in im 0.685 * [taylor]: Taking taylor expansion of 0 in im 0.687 * * * [progress]: simplifying candidates 0.688 * [simplify]: Simplifying using # : (neg.f64 (+.f64 (*.f64 2 im) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (*.f64 -1 (*.f64 re im)) (*.f64 1/2 (*.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)))) 0.688 * * [simplify]: iteration 0 : 32 enodes (cost 89 ) 0.688 * * [simplify]: iteration 1 : 32 enodes (cost 89 ) 0.689 * [simplify]: Simplified to: (neg.f64 (+.f64 (*.f64 2 im) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (*.f64 -1 (*.f64 re im)) (*.f64 1/2 (*.f64 (sin.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (sin.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)))) 0.689 * * * [progress]: adding candidates to table 0.695 * * [progress]: iteration 2 / 4 0.696 * * * [progress]: picking best candidate 0.697 * * * * [pick]: Picked # 0.697 * * * [progress]: localizing error 0.713 * * * [progress]: generating rewritten candidates 0.713 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.713 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 0.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 0.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.713 * * * [progress]: generating series expansions 0.713 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.716 * [approximate]: Taking taylor expansion of (* -1/2 (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in (re im) around 0 0.716 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in im 0.716 * [taylor]: Taking taylor expansion of -1/2 in im 0.716 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in im 0.716 * [taylor]: Taking taylor expansion of (sin re) in im 0.716 * [taylor]: Taking taylor expansion of re in im 0.716 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.716 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.716 * [taylor]: Taking taylor expansion of 2 in im 0.716 * [taylor]: Taking taylor expansion of im in im 0.716 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.716 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.716 * [taylor]: Taking taylor expansion of 1/3 in im 0.716 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.716 * [taylor]: Taking taylor expansion of im in im 0.716 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.716 * [taylor]: Taking taylor expansion of 1/60 in im 0.716 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.716 * [taylor]: Taking taylor expansion of im in im 0.716 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in re 0.716 * [taylor]: Taking taylor expansion of -1/2 in re 0.716 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 0.716 * [taylor]: Taking taylor expansion of (sin re) in re 0.716 * [taylor]: Taking taylor expansion of re in re 0.716 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 0.716 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.716 * [taylor]: Taking taylor expansion of 2 in re 0.716 * [taylor]: Taking taylor expansion of im in re 0.716 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.716 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.716 * [taylor]: Taking taylor expansion of 1/3 in re 0.716 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.716 * [taylor]: Taking taylor expansion of im in re 0.716 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.716 * [taylor]: Taking taylor expansion of 1/60 in re 0.716 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.716 * [taylor]: Taking taylor expansion of im in re 0.717 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in re 0.717 * [taylor]: Taking taylor expansion of -1/2 in re 0.717 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 0.717 * [taylor]: Taking taylor expansion of (sin re) in re 0.717 * [taylor]: Taking taylor expansion of re in re 0.717 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 0.717 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.717 * [taylor]: Taking taylor expansion of 2 in re 0.717 * [taylor]: Taking taylor expansion of im in re 0.717 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.717 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.717 * [taylor]: Taking taylor expansion of 1/3 in re 0.717 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.717 * [taylor]: Taking taylor expansion of im in re 0.717 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.717 * [taylor]: Taking taylor expansion of 1/60 in re 0.717 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.717 * [taylor]: Taking taylor expansion of im in re 0.720 * [taylor]: Taking taylor expansion of 0 in im 0.727 * [taylor]: Taking taylor expansion of (neg (+ (* 1/120 (pow im 5)) (+ (* 1/6 (pow im 3)) im))) in im 0.727 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow im 5)) (+ (* 1/6 (pow im 3)) im)) in im 0.727 * [taylor]: Taking taylor expansion of (* 1/120 (pow im 5)) in im 0.727 * [taylor]: Taking taylor expansion of 1/120 in im 0.727 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow im 3)) im) in im 0.727 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 3)) in im 0.727 * [taylor]: Taking taylor expansion of 1/6 in im 0.727 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.736 * [taylor]: Taking taylor expansion of 0 in im 0.750 * [taylor]: Taking taylor expansion of (+ (* 1/6 im) (+ (* 1/36 (pow im 3)) (* 1/720 (pow im 5)))) in im 0.750 * [taylor]: Taking taylor expansion of (* 1/6 im) in im 0.750 * [taylor]: Taking taylor expansion of 1/6 in im 0.750 * [taylor]: Taking taylor expansion of im in im 0.750 * [taylor]: Taking taylor expansion of (+ (* 1/36 (pow im 3)) (* 1/720 (pow im 5))) in im 0.750 * [taylor]: Taking taylor expansion of (* 1/36 (pow im 3)) in im 0.750 * [taylor]: Taking taylor expansion of 1/36 in im 0.750 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.750 * [taylor]: Taking taylor expansion of im in im 0.750 * [taylor]: Taking taylor expansion of (* 1/720 (pow im 5)) in im 0.750 * [taylor]: Taking taylor expansion of 1/720 in im 0.750 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.750 * [taylor]: Taking taylor expansion of im in im 0.766 * [taylor]: Taking taylor expansion of 0 in im 0.769 * [approximate]: Taking taylor expansion of (* -1/2 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.769 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.769 * [taylor]: Taking taylor expansion of -1/2 in im 0.769 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.769 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.769 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.769 * [taylor]: Taking taylor expansion of re in im 0.770 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.770 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.770 * [taylor]: Taking taylor expansion of 1/3 in im 0.770 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.770 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.770 * [taylor]: Taking taylor expansion of im in im 0.771 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.771 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.771 * [taylor]: Taking taylor expansion of 2 in im 0.771 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.771 * [taylor]: Taking taylor expansion of im in im 0.771 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.771 * [taylor]: Taking taylor expansion of 1/60 in im 0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.771 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.771 * [taylor]: Taking taylor expansion of im in im 0.771 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.771 * [taylor]: Taking taylor expansion of -1/2 in re 0.771 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.771 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.771 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.771 * [taylor]: Taking taylor expansion of re in re 0.772 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.772 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.772 * [taylor]: Taking taylor expansion of 1/3 in re 0.772 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.772 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.772 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.773 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.773 * [taylor]: Taking taylor expansion of 2 in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.773 * [taylor]: Taking taylor expansion of 1/60 in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.773 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.774 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.774 * [taylor]: Taking taylor expansion of -1/2 in re 0.774 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.774 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.774 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.774 * [taylor]: Taking taylor expansion of re in re 0.774 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.774 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.774 * [taylor]: Taking taylor expansion of 1/3 in re 0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.774 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.774 * [taylor]: Taking taylor expansion of im in re 0.775 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.775 * [taylor]: Taking taylor expansion of 2 in re 0.775 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.775 * [taylor]: Taking taylor expansion of im in re 0.775 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.775 * [taylor]: Taking taylor expansion of 1/60 in re 0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.775 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.775 * [taylor]: Taking taylor expansion of im in re 0.782 * [taylor]: Taking taylor expansion of (* -1/2 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.782 * [taylor]: Taking taylor expansion of -1/2 in im 0.782 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.782 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.782 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.782 * [taylor]: Taking taylor expansion of re in im 0.783 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.783 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.783 * [taylor]: Taking taylor expansion of 1/3 in im 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.783 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.783 * [taylor]: Taking taylor expansion of im in im 0.783 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.783 * [taylor]: Taking taylor expansion of 2 in im 0.783 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.783 * [taylor]: Taking taylor expansion of im in im 0.783 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.783 * [taylor]: Taking taylor expansion of 1/60 in im 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.783 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.783 * [taylor]: Taking taylor expansion of im in im 0.799 * [taylor]: Taking taylor expansion of 0 in im 0.818 * [taylor]: Taking taylor expansion of 0 in im 0.846 * [taylor]: Taking taylor expansion of 0 in im 0.879 * [taylor]: Taking taylor expansion of 0 in im 0.905 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.905 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.905 * [taylor]: Taking taylor expansion of 1/2 in im 0.905 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.905 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.905 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.905 * [taylor]: Taking taylor expansion of -1 in im 0.905 * [taylor]: Taking taylor expansion of re in im 0.906 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.906 * [taylor]: Taking taylor expansion of 1/3 in im 0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.906 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.906 * [taylor]: Taking taylor expansion of im in im 0.906 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.906 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.906 * [taylor]: Taking taylor expansion of 2 in im 0.906 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.906 * [taylor]: Taking taylor expansion of im in im 0.906 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.906 * [taylor]: Taking taylor expansion of 1/60 in im 0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.906 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.906 * [taylor]: Taking taylor expansion of im in im 0.907 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.907 * [taylor]: Taking taylor expansion of 1/2 in re 0.907 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.907 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.907 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.907 * [taylor]: Taking taylor expansion of -1 in re 0.907 * [taylor]: Taking taylor expansion of re in re 0.907 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.907 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.907 * [taylor]: Taking taylor expansion of 1/3 in re 0.907 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.907 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.907 * [taylor]: Taking taylor expansion of im in re 0.908 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.908 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.908 * [taylor]: Taking taylor expansion of 2 in re 0.908 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.908 * [taylor]: Taking taylor expansion of im in re 0.908 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.908 * [taylor]: Taking taylor expansion of 1/60 in re 0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.908 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.908 * [taylor]: Taking taylor expansion of im in re 0.909 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.909 * [taylor]: Taking taylor expansion of 1/2 in re 0.909 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.909 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.909 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.909 * [taylor]: Taking taylor expansion of -1 in re 0.909 * [taylor]: Taking taylor expansion of re in re 0.909 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.909 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.909 * [taylor]: Taking taylor expansion of 1/3 in re 0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.909 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.909 * [taylor]: Taking taylor expansion of im in re 0.910 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.910 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.910 * [taylor]: Taking taylor expansion of 2 in re 0.910 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.910 * [taylor]: Taking taylor expansion of im in re 0.910 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.910 * [taylor]: Taking taylor expansion of 1/60 in re 0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.910 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.910 * [taylor]: Taking taylor expansion of im in re 0.915 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.915 * [taylor]: Taking taylor expansion of 1/2 in im 0.915 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.915 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.915 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.915 * [taylor]: Taking taylor expansion of -1 in im 0.915 * [taylor]: Taking taylor expansion of re in im 0.916 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.916 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.916 * [taylor]: Taking taylor expansion of 1/3 in im 0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.916 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.916 * [taylor]: Taking taylor expansion of im in im 0.916 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.916 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.916 * [taylor]: Taking taylor expansion of 2 in im 0.916 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.916 * [taylor]: Taking taylor expansion of im in im 0.917 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.917 * [taylor]: Taking taylor expansion of 1/60 in im 0.917 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.917 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.917 * [taylor]: Taking taylor expansion of im in im 0.928 * [taylor]: Taking taylor expansion of 0 in im 0.948 * [taylor]: Taking taylor expansion of 0 in im 0.974 * [taylor]: Taking taylor expansion of 0 in im 1.007 * [taylor]: Taking taylor expansion of 0 in im 1.031 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.031 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 1.031 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.031 * [taylor]: Taking taylor expansion of 1/3 in im 1.031 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.031 * [taylor]: Taking taylor expansion of im in im 1.031 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.031 * [taylor]: Taking taylor expansion of 1/3 in im 1.031 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.031 * [taylor]: Taking taylor expansion of im in im 1.047 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.047 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.047 * [taylor]: Taking taylor expansion of 1/3 in im 1.047 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.048 * [taylor]: Taking taylor expansion of im in im 1.048 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.048 * [taylor]: Taking taylor expansion of 1/3 in im 1.048 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.048 * [taylor]: Taking taylor expansion of im in im 1.064 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.064 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.064 * [taylor]: Taking taylor expansion of -1/3 in im 1.064 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.064 * [taylor]: Taking taylor expansion of im in im 1.065 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.065 * [taylor]: Taking taylor expansion of -1/3 in im 1.065 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.065 * [taylor]: Taking taylor expansion of im in im 1.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 1.084 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 1.084 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.084 * [taylor]: Taking taylor expansion of 1/60 in im 1.084 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.084 * [taylor]: Taking taylor expansion of im in im 1.084 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.084 * [taylor]: Taking taylor expansion of 1/60 in im 1.084 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.084 * [taylor]: Taking taylor expansion of im in im 1.102 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 1.102 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.102 * [taylor]: Taking taylor expansion of 1/60 in im 1.102 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.102 * [taylor]: Taking taylor expansion of im in im 1.103 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.103 * [taylor]: Taking taylor expansion of 1/60 in im 1.103 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.103 * [taylor]: Taking taylor expansion of im in im 1.123 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 1.123 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.123 * [taylor]: Taking taylor expansion of -1/60 in im 1.123 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.123 * [taylor]: Taking taylor expansion of im in im 1.124 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.124 * [taylor]: Taking taylor expansion of -1/60 in im 1.124 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.124 * [taylor]: Taking taylor expansion of im in im 1.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.152 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in (im) around 0 1.152 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.152 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.152 * [taylor]: Taking taylor expansion of 1/3 in im 1.152 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.152 * [taylor]: Taking taylor expansion of im in im 1.152 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.152 * [taylor]: Taking taylor expansion of 1/60 in im 1.152 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.152 * [taylor]: Taking taylor expansion of im in im 1.152 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.152 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.152 * [taylor]: Taking taylor expansion of 1/3 in im 1.152 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.152 * [taylor]: Taking taylor expansion of im in im 1.152 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.152 * [taylor]: Taking taylor expansion of 1/60 in im 1.152 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.152 * [taylor]: Taking taylor expansion of im in im 1.200 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in (im) around 0 1.200 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.200 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.200 * [taylor]: Taking taylor expansion of 1/3 in im 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.200 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.200 * [taylor]: Taking taylor expansion of im in im 1.201 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.201 * [taylor]: Taking taylor expansion of 1/60 in im 1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.201 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.201 * [taylor]: Taking taylor expansion of im in im 1.201 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.201 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.201 * [taylor]: Taking taylor expansion of 1/3 in im 1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.201 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.201 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.202 * [taylor]: Taking taylor expansion of 1/60 in im 1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.202 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.271 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 1.271 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.271 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.271 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.271 * [taylor]: Taking taylor expansion of 1/3 in im 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.271 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.271 * [taylor]: Taking taylor expansion of im in im 1.272 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.272 * [taylor]: Taking taylor expansion of 1/60 in im 1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.272 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.272 * [taylor]: Taking taylor expansion of im in im 1.272 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.272 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.273 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.273 * [taylor]: Taking taylor expansion of 1/3 in im 1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.273 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.273 * [taylor]: Taking taylor expansion of im in im 1.273 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.273 * [taylor]: Taking taylor expansion of 1/60 in im 1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.273 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.273 * [taylor]: Taking taylor expansion of im in im 1.353 * * * [progress]: simplifying candidates 1.353 * [simplify]: Simplifying using # : (*.f64 -1 (*.f64 re im)) (neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5)))))) (neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5)))))) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) 1.354 * * [simplify]: iteration 0 : 26 enodes (cost 169 ) 1.354 * * [simplify]: iteration 1 : 26 enodes (cost 169 ) 1.355 * [simplify]: Simplified to: (*.f64 -1 (*.f64 re im)) (neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5)))))) (neg.f64 (+.f64 (*.f64 (sin.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (sin.f64 re) (pow.f64 im 5)))))) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) 1.355 * * * [progress]: adding candidates to table 1.358 * * [progress]: iteration 3 / 4 1.358 * * * [progress]: picking best candidate 1.360 * * * * [pick]: Picked # 1.360 * * * [progress]: localizing error 1.375 * * * [progress]: generating rewritten candidates 1.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.375 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.375 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.376 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 1.376 * * * [progress]: generating series expansions 1.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.376 * [approximate]: Taking taylor expansion of (* (sin re) im) in (re im) around 0 1.376 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.376 * [taylor]: Taking taylor expansion of (sin re) in im 1.376 * [taylor]: Taking taylor expansion of re in im 1.377 * [taylor]: Taking taylor expansion of im in im 1.377 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.377 * [taylor]: Taking taylor expansion of (sin re) in re 1.377 * [taylor]: Taking taylor expansion of re in re 1.377 * [taylor]: Taking taylor expansion of im in re 1.377 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.377 * [taylor]: Taking taylor expansion of (sin re) in re 1.377 * [taylor]: Taking taylor expansion of re in re 1.377 * [taylor]: Taking taylor expansion of im in re 1.377 * [taylor]: Taking taylor expansion of 0 in im 1.378 * [taylor]: Taking taylor expansion of im in im 1.378 * [taylor]: Taking taylor expansion of 0 in im 1.380 * [taylor]: Taking taylor expansion of (neg (* 1/6 im)) in im 1.380 * [taylor]: Taking taylor expansion of (* 1/6 im) in im 1.380 * [taylor]: Taking taylor expansion of 1/6 in im 1.380 * [taylor]: Taking taylor expansion of im in im 1.382 * [taylor]: Taking taylor expansion of 0 in im 1.383 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in (re im) around 0 1.383 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.383 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.383 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.383 * [taylor]: Taking taylor expansion of re in im 1.383 * [taylor]: Taking taylor expansion of im in im 1.385 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.385 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.385 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.385 * [taylor]: Taking taylor expansion of re in re 1.385 * [taylor]: Taking taylor expansion of im in re 1.386 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.386 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.386 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.386 * [taylor]: Taking taylor expansion of re in re 1.386 * [taylor]: Taking taylor expansion of im in re 1.387 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.387 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.387 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.387 * [taylor]: Taking taylor expansion of re in im 1.387 * [taylor]: Taking taylor expansion of im in im 1.389 * [taylor]: Taking taylor expansion of 0 in im 1.393 * [taylor]: Taking taylor expansion of 0 in im 1.398 * [taylor]: Taking taylor expansion of 0 in im 1.404 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in (re im) around 0 1.405 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in im 1.405 * [taylor]: Taking taylor expansion of -1 in im 1.405 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.405 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.405 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.405 * [taylor]: Taking taylor expansion of -1 in im 1.405 * [taylor]: Taking taylor expansion of re in im 1.405 * [taylor]: Taking taylor expansion of im in im 1.406 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in re 1.406 * [taylor]: Taking taylor expansion of -1 in re 1.406 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.406 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.406 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.406 * [taylor]: Taking taylor expansion of -1 in re 1.406 * [taylor]: Taking taylor expansion of re in re 1.407 * [taylor]: Taking taylor expansion of im in re 1.407 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in re 1.407 * [taylor]: Taking taylor expansion of -1 in re 1.407 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.407 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.407 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.407 * [taylor]: Taking taylor expansion of -1 in re 1.407 * [taylor]: Taking taylor expansion of re in re 1.408 * [taylor]: Taking taylor expansion of im in re 1.408 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in im 1.408 * [taylor]: Taking taylor expansion of -1 in im 1.408 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.409 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.409 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.409 * [taylor]: Taking taylor expansion of -1 in im 1.409 * [taylor]: Taking taylor expansion of re in im 1.409 * [taylor]: Taking taylor expansion of im in im 1.412 * [taylor]: Taking taylor expansion of 0 in im 1.417 * [taylor]: Taking taylor expansion of 0 in im 1.423 * [taylor]: Taking taylor expansion of 0 in im 1.431 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.432 * [approximate]: Taking taylor expansion of (* 1/6 (* (sin re) (pow im 3))) in (re im) around 0 1.432 * [taylor]: Taking taylor expansion of (* 1/6 (* (sin re) (pow im 3))) in im 1.432 * [taylor]: Taking taylor expansion of 1/6 in im 1.432 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in im 1.432 * [taylor]: Taking taylor expansion of (sin re) in im 1.432 * [taylor]: Taking taylor expansion of re in im 1.432 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.432 * [taylor]: Taking taylor expansion of im in im 1.432 * [taylor]: Taking taylor expansion of (* 1/6 (* (sin re) (pow im 3))) in re 1.432 * [taylor]: Taking taylor expansion of 1/6 in re 1.432 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 1.432 * [taylor]: Taking taylor expansion of (sin re) in re 1.432 * [taylor]: Taking taylor expansion of re in re 1.433 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.433 * [taylor]: Taking taylor expansion of im in re 1.433 * [taylor]: Taking taylor expansion of (* 1/6 (* (sin re) (pow im 3))) in re 1.433 * [taylor]: Taking taylor expansion of 1/6 in re 1.433 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 1.433 * [taylor]: Taking taylor expansion of (sin re) in re 1.433 * [taylor]: Taking taylor expansion of re in re 1.433 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.433 * [taylor]: Taking taylor expansion of im in re 1.433 * [taylor]: Taking taylor expansion of 0 in im 1.435 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 3)) in im 1.435 * [taylor]: Taking taylor expansion of 1/6 in im 1.435 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.435 * [taylor]: Taking taylor expansion of im in im 1.438 * [taylor]: Taking taylor expansion of 0 in im 1.442 * [taylor]: Taking taylor expansion of (neg (* 1/36 (pow im 3))) in im 1.442 * [taylor]: Taking taylor expansion of (* 1/36 (pow im 3)) in im 1.442 * [taylor]: Taking taylor expansion of 1/36 in im 1.442 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.442 * [taylor]: Taking taylor expansion of im in im 1.449 * [taylor]: Taking taylor expansion of 0 in im 1.452 * [approximate]: Taking taylor expansion of (* 1/6 (/ (sin (/ 1 re)) (pow im 3))) in (re im) around 0 1.452 * [taylor]: Taking taylor expansion of (* 1/6 (/ (sin (/ 1 re)) (pow im 3))) in im 1.452 * [taylor]: Taking taylor expansion of 1/6 in im 1.452 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 1.452 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.452 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.452 * [taylor]: Taking taylor expansion of re in im 1.453 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.453 * [taylor]: Taking taylor expansion of im in im 1.454 * [taylor]: Taking taylor expansion of (* 1/6 (/ (sin (/ 1 re)) (pow im 3))) in re 1.454 * [taylor]: Taking taylor expansion of 1/6 in re 1.454 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 1.454 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.454 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.454 * [taylor]: Taking taylor expansion of re in re 1.454 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.454 * [taylor]: Taking taylor expansion of im in re 1.455 * [taylor]: Taking taylor expansion of (* 1/6 (/ (sin (/ 1 re)) (pow im 3))) in re 1.455 * [taylor]: Taking taylor expansion of 1/6 in re 1.455 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 1.455 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.455 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.455 * [taylor]: Taking taylor expansion of re in re 1.456 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.456 * [taylor]: Taking taylor expansion of im in re 1.457 * [taylor]: Taking taylor expansion of (* 1/6 (/ (sin (/ 1 re)) (pow im 3))) in im 1.457 * [taylor]: Taking taylor expansion of 1/6 in im 1.457 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 1.457 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.457 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.457 * [taylor]: Taking taylor expansion of re in im 1.457 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.457 * [taylor]: Taking taylor expansion of im in im 1.461 * [taylor]: Taking taylor expansion of 0 in im 1.468 * [taylor]: Taking taylor expansion of 0 in im 1.477 * [taylor]: Taking taylor expansion of 0 in im 1.495 * [taylor]: Taking taylor expansion of 0 in im 1.513 * [taylor]: Taking taylor expansion of 0 in im 1.515 * [approximate]: Taking taylor expansion of (* -1/6 (/ (sin (/ -1 re)) (pow im 3))) in (re im) around 0 1.515 * [taylor]: Taking taylor expansion of (* -1/6 (/ (sin (/ -1 re)) (pow im 3))) in im 1.515 * [taylor]: Taking taylor expansion of -1/6 in im 1.515 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 1.515 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.515 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.515 * [taylor]: Taking taylor expansion of -1 in im 1.515 * [taylor]: Taking taylor expansion of re in im 1.516 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.517 * [taylor]: Taking taylor expansion of (* -1/6 (/ (sin (/ -1 re)) (pow im 3))) in re 1.517 * [taylor]: Taking taylor expansion of -1/6 in re 1.517 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 1.517 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.517 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.517 * [taylor]: Taking taylor expansion of -1 in re 1.517 * [taylor]: Taking taylor expansion of re in re 1.517 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.517 * [taylor]: Taking taylor expansion of im in re 1.518 * [taylor]: Taking taylor expansion of (* -1/6 (/ (sin (/ -1 re)) (pow im 3))) in re 1.518 * [taylor]: Taking taylor expansion of -1/6 in re 1.518 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 1.518 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.518 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.518 * [taylor]: Taking taylor expansion of -1 in re 1.518 * [taylor]: Taking taylor expansion of re in re 1.519 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.519 * [taylor]: Taking taylor expansion of im in re 1.520 * [taylor]: Taking taylor expansion of (* -1/6 (/ (sin (/ -1 re)) (pow im 3))) in im 1.520 * [taylor]: Taking taylor expansion of -1/6 in im 1.520 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 1.520 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.520 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.520 * [taylor]: Taking taylor expansion of -1 in im 1.520 * [taylor]: Taking taylor expansion of re in im 1.520 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.520 * [taylor]: Taking taylor expansion of im in im 1.524 * [taylor]: Taking taylor expansion of 0 in im 1.532 * [taylor]: Taking taylor expansion of 0 in im 1.544 * [taylor]: Taking taylor expansion of 0 in im 1.559 * [taylor]: Taking taylor expansion of 0 in im 1.577 * [taylor]: Taking taylor expansion of 0 in im 1.579 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.580 * [approximate]: Taking taylor expansion of (* (sin re) (pow im 3)) in (re im) around 0 1.580 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in im 1.580 * [taylor]: Taking taylor expansion of (sin re) in im 1.580 * [taylor]: Taking taylor expansion of re in im 1.580 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.580 * [taylor]: Taking taylor expansion of im in im 1.580 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 1.580 * [taylor]: Taking taylor expansion of (sin re) in re 1.580 * [taylor]: Taking taylor expansion of re in re 1.580 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.580 * [taylor]: Taking taylor expansion of im in re 1.580 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 1.580 * [taylor]: Taking taylor expansion of (sin re) in re 1.580 * [taylor]: Taking taylor expansion of re in re 1.580 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.580 * [taylor]: Taking taylor expansion of im in re 1.580 * [taylor]: Taking taylor expansion of 0 in im 1.582 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.582 * [taylor]: Taking taylor expansion of im in im 1.584 * [taylor]: Taking taylor expansion of 0 in im 1.587 * [taylor]: Taking taylor expansion of (neg (* 1/6 (pow im 3))) in im 1.587 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 3)) in im 1.587 * [taylor]: Taking taylor expansion of 1/6 in im 1.587 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.587 * [taylor]: Taking taylor expansion of im in im 1.592 * [taylor]: Taking taylor expansion of 0 in im 1.595 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in (re im) around 0 1.595 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 1.595 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.595 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.595 * [taylor]: Taking taylor expansion of re in im 1.596 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.596 * [taylor]: Taking taylor expansion of im in im 1.597 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 1.597 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.597 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.597 * [taylor]: Taking taylor expansion of re in re 1.597 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.597 * [taylor]: Taking taylor expansion of im in re 1.598 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 1.598 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.598 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.598 * [taylor]: Taking taylor expansion of re in re 1.598 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.598 * [taylor]: Taking taylor expansion of im in re 1.599 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 1.599 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.599 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.599 * [taylor]: Taking taylor expansion of re in im 1.599 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.600 * [taylor]: Taking taylor expansion of im in im 1.602 * [taylor]: Taking taylor expansion of 0 in im 1.608 * [taylor]: Taking taylor expansion of 0 in im 1.615 * [taylor]: Taking taylor expansion of 0 in im 1.624 * [taylor]: Taking taylor expansion of 0 in im 1.638 * [taylor]: Taking taylor expansion of 0 in im 1.640 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in (re im) around 0 1.640 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in im 1.640 * [taylor]: Taking taylor expansion of -1 in im 1.640 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 1.640 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.640 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.640 * [taylor]: Taking taylor expansion of -1 in im 1.640 * [taylor]: Taking taylor expansion of re in im 1.641 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.641 * [taylor]: Taking taylor expansion of im in im 1.642 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in re 1.642 * [taylor]: Taking taylor expansion of -1 in re 1.642 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 1.642 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.642 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.642 * [taylor]: Taking taylor expansion of -1 in re 1.642 * [taylor]: Taking taylor expansion of re in re 1.642 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.642 * [taylor]: Taking taylor expansion of im in re 1.643 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in re 1.643 * [taylor]: Taking taylor expansion of -1 in re 1.643 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 1.643 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.643 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.643 * [taylor]: Taking taylor expansion of -1 in re 1.643 * [taylor]: Taking taylor expansion of re in re 1.643 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.643 * [taylor]: Taking taylor expansion of im in re 1.645 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in im 1.645 * [taylor]: Taking taylor expansion of -1 in im 1.645 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 1.645 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.645 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.645 * [taylor]: Taking taylor expansion of -1 in im 1.645 * [taylor]: Taking taylor expansion of re in im 1.645 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.645 * [taylor]: Taking taylor expansion of im in im 1.649 * [taylor]: Taking taylor expansion of 0 in im 1.655 * [taylor]: Taking taylor expansion of 0 in im 1.664 * [taylor]: Taking taylor expansion of 0 in im 1.675 * [taylor]: Taking taylor expansion of 0 in im 1.693 * [taylor]: Taking taylor expansion of 0 in im 1.695 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 1.695 * [approximate]: Taking taylor expansion of (* (sin re) (pow im 5)) in (re im) around 0 1.695 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in im 1.695 * [taylor]: Taking taylor expansion of (sin re) in im 1.695 * [taylor]: Taking taylor expansion of re in im 1.695 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.695 * [taylor]: Taking taylor expansion of im in im 1.695 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in re 1.695 * [taylor]: Taking taylor expansion of (sin re) in re 1.695 * [taylor]: Taking taylor expansion of re in re 1.695 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.695 * [taylor]: Taking taylor expansion of im in re 1.696 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in re 1.696 * [taylor]: Taking taylor expansion of (sin re) in re 1.696 * [taylor]: Taking taylor expansion of re in re 1.696 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.696 * [taylor]: Taking taylor expansion of im in re 1.696 * [taylor]: Taking taylor expansion of 0 in im 1.698 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.698 * [taylor]: Taking taylor expansion of im in im 1.701 * [taylor]: Taking taylor expansion of 0 in im 1.705 * [taylor]: Taking taylor expansion of (neg (* 1/6 (pow im 5))) in im 1.705 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 5)) in im 1.705 * [taylor]: Taking taylor expansion of 1/6 in im 1.705 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.705 * [taylor]: Taking taylor expansion of im in im 1.711 * [taylor]: Taking taylor expansion of 0 in im 1.714 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in (re im) around 0 1.714 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in im 1.714 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.714 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.714 * [taylor]: Taking taylor expansion of re in im 1.715 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.715 * [taylor]: Taking taylor expansion of im in im 1.718 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in re 1.718 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.718 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.718 * [taylor]: Taking taylor expansion of re in re 1.719 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.719 * [taylor]: Taking taylor expansion of im in re 1.720 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in re 1.720 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.720 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.720 * [taylor]: Taking taylor expansion of re in re 1.720 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.720 * [taylor]: Taking taylor expansion of im in re 1.721 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in im 1.721 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.721 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.721 * [taylor]: Taking taylor expansion of re in im 1.721 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.721 * [taylor]: Taking taylor expansion of im in im 1.725 * [taylor]: Taking taylor expansion of 0 in im 1.732 * [taylor]: Taking taylor expansion of 0 in im 1.744 * [taylor]: Taking taylor expansion of 0 in im 1.758 * [taylor]: Taking taylor expansion of 0 in im 1.775 * [taylor]: Taking taylor expansion of 0 in im 1.797 * [taylor]: Taking taylor expansion of 0 in im 1.799 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in (re im) around 0 1.799 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in im 1.799 * [taylor]: Taking taylor expansion of -1 in im 1.799 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in im 1.799 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.799 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.799 * [taylor]: Taking taylor expansion of -1 in im 1.799 * [taylor]: Taking taylor expansion of re in im 1.800 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.800 * [taylor]: Taking taylor expansion of im in im 1.801 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in re 1.801 * [taylor]: Taking taylor expansion of -1 in re 1.801 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in re 1.801 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.801 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.801 * [taylor]: Taking taylor expansion of -1 in re 1.801 * [taylor]: Taking taylor expansion of re in re 1.802 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.802 * [taylor]: Taking taylor expansion of im in re 1.802 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in re 1.802 * [taylor]: Taking taylor expansion of -1 in re 1.802 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in re 1.802 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.802 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.802 * [taylor]: Taking taylor expansion of -1 in re 1.803 * [taylor]: Taking taylor expansion of re in re 1.803 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.803 * [taylor]: Taking taylor expansion of im in re 1.804 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in im 1.804 * [taylor]: Taking taylor expansion of -1 in im 1.804 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in im 1.804 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.804 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.804 * [taylor]: Taking taylor expansion of -1 in im 1.804 * [taylor]: Taking taylor expansion of re in im 1.805 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.805 * [taylor]: Taking taylor expansion of im in im 1.809 * [taylor]: Taking taylor expansion of 0 in im 1.816 * [taylor]: Taking taylor expansion of 0 in im 1.826 * [taylor]: Taking taylor expansion of 0 in im 1.842 * [taylor]: Taking taylor expansion of 0 in im 1.863 * [taylor]: Taking taylor expansion of 0 in im 1.887 * [taylor]: Taking taylor expansion of 0 in im 1.889 * * * [progress]: simplifying candidates 1.889 * [simplify]: Simplifying using # : (*.f64 re im) (*.f64 (sin.f64 re) im) (*.f64 (sin.f64 re) im) (-.f64 (*.f64 1/6 (*.f64 re (pow.f64 im 3))) (*.f64 1/36 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (-.f64 (*.f64 re (pow.f64 im 3)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (sin.f64 re) (pow.f64 im 3)) (*.f64 (sin.f64 re) (pow.f64 im 3)) (-.f64 (*.f64 re (pow.f64 im 5)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5)))) (*.f64 (sin.f64 re) (pow.f64 im 5)) (*.f64 (sin.f64 re) (pow.f64 im 5)) 1.890 * * [simplify]: iteration 0 : 27 enodes (cost 145 ) 1.890 * * [simplify]: iteration 1 : 27 enodes (cost 145 ) 1.891 * [simplify]: Simplified to: (*.f64 re im) (*.f64 (sin.f64 re) im) (*.f64 (sin.f64 re) im) (-.f64 (*.f64 1/6 (*.f64 re (pow.f64 im 3))) (*.f64 1/36 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (*.f64 1/6 (*.f64 (sin.f64 re) (pow.f64 im 3))) (-.f64 (*.f64 re (pow.f64 im 3)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 3)))) (*.f64 (sin.f64 re) (pow.f64 im 3)) (*.f64 (sin.f64 re) (pow.f64 im 3)) (-.f64 (*.f64 re (pow.f64 im 5)) (*.f64 1/6 (*.f64 (pow.f64 re 3) (pow.f64 im 5)))) (*.f64 (sin.f64 re) (pow.f64 im 5)) (*.f64 (sin.f64 re) (pow.f64 im 5)) 1.891 * * * [progress]: adding candidates to table 1.897 * [progress]: [Phase 3 of 3] Extracting. 1.897 * * [regime]: Finding splitpoints for: (# # #) 1.899 * * * [regime-changes]: Trying 6 branch expressions: ((-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sin.f64 re) (*.f64 1/2 (sin.f64 re)) (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) im re) 1.899 * * * * [regimes]: Trying to branch on (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) from (# # #) 1.909 * * * * [regimes]: Trying to branch on (sin.f64 re) from (# # #) 1.920 * * * * [regimes]: Trying to branch on (*.f64 1/2 (sin.f64 re)) from (# # #) 1.932 * * * * [regimes]: Trying to branch on (*.f64 1/2 (sin.f64 re)) from (# #) 1.943 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) from (# # #) 1.954 * * * * [regimes]: Trying to branch on im from (# # #) 1.964 * * * * [regimes]: Trying to branch on re from (# # #) 1.974 * * * [regime]: Found split indices: #