3.747 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying using # : (* (exp re) (sin im)) 0.062 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.062 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.063 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.063 * [simplify]: Simplified to: (* (exp re) (sin im)) 0.063 * * [progress]: iteration 1 / 4 0.063 * * * [progress]: picking best candidate 0.066 * * * * [pick]: Picked # 0.066 * * * [progress]: localizing error 0.072 * * * [progress]: generating rewritten candidates 0.072 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.079 * * * [progress]: generating series expansions 0.079 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.079 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.079 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.079 * [taylor]: Taking taylor expansion of (sin im) in im 0.079 * [taylor]: Taking taylor expansion of im in im 0.079 * [taylor]: Taking taylor expansion of (exp re) in im 0.079 * [taylor]: Taking taylor expansion of re in im 0.079 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.079 * [taylor]: Taking taylor expansion of (sin im) in re 0.079 * [taylor]: Taking taylor expansion of im in re 0.079 * [taylor]: Taking taylor expansion of (exp re) in re 0.079 * [taylor]: Taking taylor expansion of re in re 0.079 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.079 * [taylor]: Taking taylor expansion of (sin im) in re 0.079 * [taylor]: Taking taylor expansion of im in re 0.079 * [taylor]: Taking taylor expansion of (exp re) in re 0.079 * [taylor]: Taking taylor expansion of re in re 0.080 * [taylor]: Taking taylor expansion of (sin im) in im 0.080 * [taylor]: Taking taylor expansion of im in im 0.081 * [taylor]: Taking taylor expansion of (sin im) in im 0.081 * [taylor]: Taking taylor expansion of im in im 0.081 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.081 * [taylor]: Taking taylor expansion of 1/2 in im 0.081 * [taylor]: Taking taylor expansion of (sin im) in im 0.081 * [taylor]: Taking taylor expansion of im in im 0.082 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.082 * [taylor]: Taking taylor expansion of 1/6 in im 0.082 * [taylor]: Taking taylor expansion of (sin im) in im 0.082 * [taylor]: Taking taylor expansion of im in im 0.083 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.083 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.083 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.083 * [taylor]: Taking taylor expansion of re in im 0.083 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.083 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.083 * [taylor]: Taking taylor expansion of im in im 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.083 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.083 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.083 * [taylor]: Taking taylor expansion of re in re 0.083 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.083 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.083 * [taylor]: Taking taylor expansion of im in re 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.083 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.083 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.083 * [taylor]: Taking taylor expansion of re in re 0.083 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.083 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.083 * [taylor]: Taking taylor expansion of im in re 0.084 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.084 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.084 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.084 * [taylor]: Taking taylor expansion of re in im 0.084 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.084 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.084 * [taylor]: Taking taylor expansion of im in im 0.084 * [taylor]: Taking taylor expansion of 0 in im 0.085 * [taylor]: Taking taylor expansion of 0 in im 0.086 * [taylor]: Taking taylor expansion of 0 in im 0.086 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.086 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.086 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.086 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.086 * [taylor]: Taking taylor expansion of -1 in im 0.086 * [taylor]: Taking taylor expansion of im in im 0.086 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.086 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.086 * [taylor]: Taking taylor expansion of -1 in im 0.086 * [taylor]: Taking taylor expansion of re in im 0.086 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.086 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.086 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.086 * [taylor]: Taking taylor expansion of -1 in re 0.086 * [taylor]: Taking taylor expansion of im in re 0.086 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.087 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.087 * [taylor]: Taking taylor expansion of -1 in re 0.087 * [taylor]: Taking taylor expansion of re in re 0.087 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.087 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.087 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.087 * [taylor]: Taking taylor expansion of -1 in re 0.087 * [taylor]: Taking taylor expansion of im in re 0.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.087 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.087 * [taylor]: Taking taylor expansion of -1 in re 0.087 * [taylor]: Taking taylor expansion of re in re 0.087 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.087 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.087 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.087 * [taylor]: Taking taylor expansion of -1 in im 0.087 * [taylor]: Taking taylor expansion of im in im 0.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.087 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.087 * [taylor]: Taking taylor expansion of -1 in im 0.087 * [taylor]: Taking taylor expansion of re in im 0.088 * [taylor]: Taking taylor expansion of 0 in im 0.088 * [taylor]: Taking taylor expansion of 0 in im 0.089 * [taylor]: Taking taylor expansion of 0 in im 0.089 * * * [progress]: simplifying candidates 0.090 * [simplify]: Simplifying using # : (* (exp re) (sin im)) (+ re (log (sin im))) (log (* (exp re) (sin im))) (exp (* (exp re) (sin im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (* (exp re) (sqrt (sin im))) (* (exp re) 1) (* (cbrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* (exp re) (sin im)) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (* (sin im) (exp re)) (* (sin im) (exp re)) 0.090 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.091 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.092 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.092 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.093 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.093 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.094 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.095 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.096 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 0.097 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.098 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.098 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.099 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 0.101 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 0.104 * * [simplify]: iteration 4 : 46 enodes (cost 6 ) 0.111 * * [simplify]: iteration 5 : 102 enodes (cost 6 ) 0.148 * * [simplify]: iteration 6 : 243 enodes (cost 6 ) 0.302 * * [simplify]: iteration 7 : 706 enodes (cost 6 ) 1.361 * * [simplify]: iteration 8 : 2720 enodes (cost 6 ) 3.113 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.114 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 3.116 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 3.119 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 3.128 * * [simplify]: iteration 3 : 94 enodes (cost 9 ) 3.153 * * [simplify]: iteration 4 : 161 enodes (cost 7 ) 3.212 * * [simplify]: iteration 5 : 331 enodes (cost 7 ) 3.441 * * [simplify]: iteration 6 : 1065 enodes (cost 7 ) 5.500 * * [simplify]: iteration 7 : 4610 enodes (cost 7 ) 7.498 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.499 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 7.500 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 7.501 * * [simplify]: iteration done : 8 enodes (cost 13 ) 7.502 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.502 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 7.503 * * [simplify]: iteration done : 7 enodes (cost 6 ) 7.504 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 7.505 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 7.508 * * [simplify]: iteration 2 : 49 enodes (cost 7 ) 7.520 * * [simplify]: iteration 3 : 92 enodes (cost 7 ) 7.547 * * [simplify]: iteration 4 : 115 enodes (cost 7 ) 7.577 * * [simplify]: iteration 5 : 168 enodes (cost 7 ) 7.645 * * [simplify]: iteration 6 : 364 enodes (cost 7 ) 7.881 * * [simplify]: iteration 7 : 1104 enodes (cost 7 ) 9.968 * * [simplify]: iteration 8 : 4694 enodes (cost 7 ) 11.594 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 11.595 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.595 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.596 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.597 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.597 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.598 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.599 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.599 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.600 * * [simplify]: iteration done : 8 enodes (cost 7 ) 11.601 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.606 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.607 * * [simplify]: iteration done : 8 enodes (cost 7 ) 11.608 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 11.608 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 11.609 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 11.611 * * [simplify]: iteration done : 12 enodes (cost 10 ) 11.611 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.612 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.613 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.613 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.614 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 11.615 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 11.615 * * [simplify]: iteration done : 10 enodes (cost 2 ) 11.616 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.617 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.617 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.618 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.619 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.619 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.620 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.620 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.621 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.622 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 11.623 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 11.628 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 11.638 * * [simplify]: iteration 3 : 101 enodes (cost 11 ) 11.658 * * [simplify]: iteration 4 : 125 enodes (cost 11 ) 11.677 * * [simplify]: iteration 5 : 144 enodes (cost 11 ) 11.697 * * [simplify]: iteration 6 : 179 enodes (cost 11 ) 11.732 * * [simplify]: iteration 7 : 253 enodes (cost 11 ) 11.801 * * [simplify]: iteration 8 : 499 enodes (cost 11 ) 12.269 * * [simplify]: iteration 9 : 1455 enodes (cost 11 ) 14.495 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 14.496 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 14.496 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 14.497 * * [simplify]: iteration done : 6 enodes (cost 5 ) 14.497 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 14.498 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 14.498 * * [simplify]: iteration done : 6 enodes (cost 5 ) 14.499 * [simplify]: Simplified to: (* (exp re) (sin im)) (+ re (log (sin im))) (+ (log (sin im)) re) (exp (* (exp re) (sin im))) (pow (* (exp re) (sin im)) 3) (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im))) (pow (* (exp re) (sin im)) 3) (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (* (exp re) (sqrt (sin im))) (exp re) (* (cbrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* (exp re) (sin im)) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (sin im) (exp re)) (* (sin im) (exp re)) 14.499 * * * [progress]: adding candidates to table 14.518 * * [progress]: iteration 2 / 4 14.518 * * * [progress]: picking best candidate 14.521 * * * * [pick]: Picked # 14.521 * * * [progress]: localizing error 14.536 * * * [progress]: generating rewritten candidates 14.536 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 14.541 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 14.544 * * * [progress]: generating series expansions 14.544 * * * * [progress]: [ 1 / 2 ] generating series at (2) 14.544 * [approximate]: Taking taylor expansion of (exp (+ re (log (sin im)))) in (re im) around 0 14.544 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in im 14.544 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in im 14.544 * [taylor]: Taking taylor expansion of re in im 14.544 * [taylor]: Taking taylor expansion of (log (sin im)) in im 14.544 * [taylor]: Taking taylor expansion of (sin im) in im 14.544 * [taylor]: Taking taylor expansion of im in im 14.544 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in re 14.544 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re 14.544 * [taylor]: Taking taylor expansion of re in re 14.544 * [taylor]: Taking taylor expansion of (log (sin im)) in re 14.544 * [taylor]: Taking taylor expansion of (sin im) in re 14.544 * [taylor]: Taking taylor expansion of im in re 14.545 * [taylor]: Taking taylor expansion of (exp (+ re (log (sin im)))) in re 14.545 * [taylor]: Taking taylor expansion of (+ re (log (sin im))) in re 14.545 * [taylor]: Taking taylor expansion of re in re 14.545 * [taylor]: Taking taylor expansion of (log (sin im)) in re 14.545 * [taylor]: Taking taylor expansion of (sin im) in re 14.545 * [taylor]: Taking taylor expansion of im in re 14.545 * [taylor]: Taking taylor expansion of (sin im) in im 14.545 * [taylor]: Taking taylor expansion of im in im 14.545 * [taylor]: Taking taylor expansion of (sin im) in im 14.545 * [taylor]: Taking taylor expansion of im in im 14.546 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 14.546 * [taylor]: Taking taylor expansion of 1/2 in im 14.546 * [taylor]: Taking taylor expansion of (sin im) in im 14.546 * [taylor]: Taking taylor expansion of im in im 14.547 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 14.548 * [taylor]: Taking taylor expansion of 1/6 in im 14.548 * [taylor]: Taking taylor expansion of (sin im) in im 14.548 * [taylor]: Taking taylor expansion of im in im 14.548 * [approximate]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in (re im) around 0 14.548 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in im 14.548 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in im 14.548 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.548 * [taylor]: Taking taylor expansion of re in im 14.548 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im 14.548 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 14.548 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.548 * [taylor]: Taking taylor expansion of im in im 14.548 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in re 14.548 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re 14.548 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.548 * [taylor]: Taking taylor expansion of re in re 14.548 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re 14.548 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 14.548 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.548 * [taylor]: Taking taylor expansion of im in re 14.549 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in re 14.549 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in re 14.549 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.549 * [taylor]: Taking taylor expansion of re in re 14.549 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in re 14.549 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 14.549 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.549 * [taylor]: Taking taylor expansion of im in re 14.549 * [taylor]: Taking taylor expansion of (exp (+ (/ 1 re) (log (sin (/ 1 im))))) in im 14.549 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (log (sin (/ 1 im)))) in im 14.549 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.549 * [taylor]: Taking taylor expansion of re in im 14.549 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im 14.549 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 14.549 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.549 * [taylor]: Taking taylor expansion of im in im 14.550 * [taylor]: Taking taylor expansion of 0 in im 14.550 * [taylor]: Taking taylor expansion of 0 in im 14.551 * [taylor]: Taking taylor expansion of 0 in im 14.551 * [approximate]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in (re im) around 0 14.551 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in im 14.551 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in im 14.551 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im 14.551 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 14.551 * [taylor]: Taking taylor expansion of (/ -1 im) in im 14.551 * [taylor]: Taking taylor expansion of -1 in im 14.551 * [taylor]: Taking taylor expansion of im in im 14.551 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.551 * [taylor]: Taking taylor expansion of re in im 14.551 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in re 14.551 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re 14.551 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re 14.551 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 14.551 * [taylor]: Taking taylor expansion of (/ -1 im) in re 14.551 * [taylor]: Taking taylor expansion of -1 in re 14.551 * [taylor]: Taking taylor expansion of im in re 14.552 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.552 * [taylor]: Taking taylor expansion of re in re 14.552 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in re 14.552 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in re 14.552 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in re 14.552 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 14.552 * [taylor]: Taking taylor expansion of (/ -1 im) in re 14.552 * [taylor]: Taking taylor expansion of -1 in re 14.552 * [taylor]: Taking taylor expansion of im in re 14.552 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.552 * [taylor]: Taking taylor expansion of re in re 14.552 * [taylor]: Taking taylor expansion of (exp (- (log (sin (/ -1 im))) (/ 1 re))) in im 14.552 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 im))) (/ 1 re)) in im 14.552 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im 14.552 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 14.552 * [taylor]: Taking taylor expansion of (/ -1 im) in im 14.552 * [taylor]: Taking taylor expansion of -1 in im 14.552 * [taylor]: Taking taylor expansion of im in im 14.552 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.552 * [taylor]: Taking taylor expansion of re in im 14.553 * [taylor]: Taking taylor expansion of 0 in im 14.553 * [taylor]: Taking taylor expansion of 0 in im 14.554 * [taylor]: Taking taylor expansion of 0 in im 14.554 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 14.554 * [approximate]: Taking taylor expansion of (log (sin im)) in (im) around 0 14.554 * [taylor]: Taking taylor expansion of (log (sin im)) in im 14.554 * [taylor]: Taking taylor expansion of (sin im) in im 14.554 * [taylor]: Taking taylor expansion of im in im 14.554 * [taylor]: Taking taylor expansion of (log (sin im)) in im 14.554 * [taylor]: Taking taylor expansion of (sin im) in im 14.554 * [taylor]: Taking taylor expansion of im in im 14.557 * [approximate]: Taking taylor expansion of (log (sin (/ 1 im))) in (im) around 0 14.557 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im 14.557 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 14.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.557 * [taylor]: Taking taylor expansion of im in im 14.557 * [taylor]: Taking taylor expansion of (log (sin (/ 1 im))) in im 14.557 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 14.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.557 * [taylor]: Taking taylor expansion of im in im 14.561 * [approximate]: Taking taylor expansion of (log (sin (/ -1 im))) in (im) around 0 14.562 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im 14.562 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 14.562 * [taylor]: Taking taylor expansion of (/ -1 im) in im 14.562 * [taylor]: Taking taylor expansion of -1 in im 14.562 * [taylor]: Taking taylor expansion of im in im 14.562 * [taylor]: Taking taylor expansion of (log (sin (/ -1 im))) in im 14.562 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 14.562 * [taylor]: Taking taylor expansion of (/ -1 im) in im 14.562 * [taylor]: Taking taylor expansion of -1 in im 14.562 * [taylor]: Taking taylor expansion of im in im 14.566 * * * [progress]: simplifying candidates 14.567 * [simplify]: Simplifying using # : (exp (* (cbrt (+ re (log (sin im)))) (cbrt (+ re (log (sin im)))))) (exp (sqrt (+ re (log (sin im))))) (exp 1) (exp 1) (exp 1) (exp re) (exp (log (sin im))) (log (exp (+ re (log (sin im))))) (exp (exp (+ re (log (sin im))))) (* (cbrt (exp (+ re (log (sin im))))) (cbrt (exp (+ re (log (sin im)))))) (cbrt (exp (+ re (log (sin im))))) (* (* (exp (+ re (log (sin im)))) (exp (+ re (log (sin im))))) (exp (+ re (log (sin im))))) (sqrt (exp (+ re (log (sin im))))) (sqrt (exp (+ re (log (sin im))))) (log (* (cbrt (sin im)) (cbrt (sin im)))) (log (cbrt (sin im))) (log (sqrt (sin im))) (log (sqrt (sin im))) (log 1) (log (sin im)) (log (sin im)) (log (log (sin im))) (exp (log (sin im))) (* (cbrt (log (sin im))) (cbrt (log (sin im)))) (cbrt (log (sin im))) (* (* (log (sin im)) (log (sin im))) (log (sin im))) (sqrt (log (sin im))) (sqrt (log (sin im))) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (exp (+ re (log (sin im)))) (exp (+ re (log (sin im)))) (- (+ (log 1) (log im)) (+ (* 1/6 (pow im 2)) (* 1/180 (pow im 4)))) (log (sin im)) (log (sin im)) 14.567 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 14.568 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 14.569 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 14.571 * * [simplify]: iteration 3 : 20 enodes (cost 14 ) 14.573 * * [simplify]: iteration 4 : 38 enodes (cost 14 ) 14.579 * * [simplify]: iteration 5 : 78 enodes (cost 14 ) 14.600 * * [simplify]: iteration 6 : 184 enodes (cost 14 ) 14.698 * * [simplify]: iteration 7 : 570 enodes (cost 14 ) 15.563 * * [simplify]: iteration 8 : 2247 enodes (cost 14 ) 17.701 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 17.702 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 17.703 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 17.703 * * [simplify]: iteration done : 8 enodes (cost 7 ) 17.704 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 17.704 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 17.705 * * [simplify]: iteration done : 5 enodes (cost 1 ) 17.705 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 17.705 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 17.706 * * [simplify]: iteration done : 5 enodes (cost 1 ) 17.706 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 17.706 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 17.707 * * [simplify]: iteration done : 5 enodes (cost 1 ) 17.707 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 17.708 * * [simplify]: iteration done : 2 enodes (cost 2 ) 17.708 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 17.709 * * [simplify]: iteration done : 4 enodes (cost 2 ) 17.709 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 17.710 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 17.711 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 17.713 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 17.714 * * [simplify]: iteration done : 15 enodes (cost 5 ) 17.714 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 17.715 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 17.716 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 17.718 * * [simplify]: iteration 3 : 20 enodes (cost 6 ) 17.720 * * [simplify]: iteration 4 : 28 enodes (cost 6 ) 17.723 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 17.731 * * [simplify]: iteration 6 : 107 enodes (cost 6 ) 17.768 * * [simplify]: iteration 7 : 252 enodes (cost 6 ) 17.915 * * [simplify]: iteration 8 : 712 enodes (cost 6 ) 18.980 * * [simplify]: iteration 9 : 2751 enodes (cost 6 ) 20.695 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 20.696 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 20.697 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 20.698 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 20.699 * * [simplify]: iteration done : 13 enodes (cost 13 ) 20.700 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.701 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 20.702 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 20.703 * * [simplify]: iteration done : 12 enodes (cost 6 ) 20.704 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 20.705 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 20.707 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 20.720 * * [simplify]: iteration 3 : 130 enodes (cost 7 ) 20.754 * * [simplify]: iteration 4 : 250 enodes (cost 7 ) 20.830 * * [simplify]: iteration 5 : 353 enodes (cost 7 ) 20.945 * * [simplify]: iteration 6 : 573 enodes (cost 7 ) 21.318 * * [simplify]: iteration 7 : 1455 enodes (cost 7 ) 23.425 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 23.426 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 23.427 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 23.428 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 23.429 * * [simplify]: iteration done : 12 enodes (cost 6 ) 23.430 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 23.430 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 23.432 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 23.433 * * [simplify]: iteration done : 12 enodes (cost 6 ) 23.433 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 23.434 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 23.435 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 23.435 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 23.436 * * [simplify]: iteration done : 10 enodes (cost 6 ) 23.437 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.437 * * [simplify]: iteration done : 4 enodes (cost 4 ) 23.438 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.438 * * [simplify]: iteration done : 4 enodes (cost 4 ) 23.439 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.439 * * [simplify]: iteration done : 4 enodes (cost 4 ) 23.440 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 23.441 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 23.441 * * [simplify]: iteration done : 4 enodes (cost 1 ) 23.442 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 23.442 * * [simplify]: iteration done : 3 enodes (cost 3 ) 23.442 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 23.443 * * [simplify]: iteration done : 3 enodes (cost 3 ) 23.443 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.444 * * [simplify]: iteration done : 4 enodes (cost 4 ) 23.444 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.445 * * [simplify]: iteration done : 4 enodes (cost 2 ) 23.445 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 23.446 * * [simplify]: iteration done : 5 enodes (cost 9 ) 23.446 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 23.447 * * [simplify]: iteration done : 4 enodes (cost 4 ) 23.447 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 23.448 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 23.448 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 23.449 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 23.451 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 23.453 * * [simplify]: iteration 5 : 29 enodes (cost 5 ) 23.456 * * [simplify]: iteration 6 : 50 enodes (cost 5 ) 23.470 * * [simplify]: iteration 7 : 108 enodes (cost 5 ) 23.512 * * [simplify]: iteration 8 : 311 enodes (cost 5 ) 23.948 * * [simplify]: iteration 9 : 1229 enodes (cost 5 ) 26.302 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 26.303 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 26.303 * * [simplify]: iteration done : 4 enodes (cost 4 ) 26.304 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 26.304 * * [simplify]: iteration done : 4 enodes (cost 4 ) 26.305 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 26.307 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 26.317 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 26.327 * * [simplify]: iteration 3 : 101 enodes (cost 11 ) 26.348 * * [simplify]: iteration 4 : 125 enodes (cost 11 ) 26.364 * * [simplify]: iteration 5 : 144 enodes (cost 11 ) 26.387 * * [simplify]: iteration 6 : 179 enodes (cost 11 ) 26.419 * * [simplify]: iteration 7 : 253 enodes (cost 11 ) 26.491 * * [simplify]: iteration 8 : 499 enodes (cost 11 ) 26.969 * * [simplify]: iteration 9 : 1455 enodes (cost 11 ) 29.442 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 29.443 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.443 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 29.444 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 29.446 * * [simplify]: iteration done : 11 enodes (cost 5 ) 29.446 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.447 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 29.448 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 29.449 * * [simplify]: iteration done : 11 enodes (cost 5 ) 29.450 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 29.452 * * [simplify]: iteration 1 : 34 enodes (cost 16 ) 29.457 * * [simplify]: iteration 2 : 88 enodes (cost 14 ) 29.484 * * [simplify]: iteration 3 : 250 enodes (cost 14 ) 29.643 * * [simplify]: iteration 4 : 786 enodes (cost 14 ) 30.238 * * [simplify]: iteration 5 : 2162 enodes (cost 14 ) 32.388 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 32.389 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 32.389 * * [simplify]: iteration done : 3 enodes (cost 3 ) 32.390 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 32.390 * * [simplify]: iteration done : 3 enodes (cost 3 ) 32.390 * [simplify]: Simplified to: (exp (* (cbrt (+ re (log (sin im)))) (cbrt (+ re (log (sin im)))))) (exp (sqrt (+ re (log (sin im))))) E E E (exp re) (sin im) (+ re (log (sin im))) (exp (* (sin im) (exp re))) (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (sin im) (exp re))) (pow (* (sin im) (exp re)) 3) (sqrt (* (sin im) (exp re))) (sqrt (* (sin im) (exp re))) (* 2 (log (cbrt (sin im)))) (log (cbrt (sin im))) (log (sqrt (sin im))) (log (sqrt (sin im))) 0 (log (sin im)) (log (sin im)) (log (log (sin im))) (sin im) (* (cbrt (log (sin im))) (cbrt (log (sin im)))) (cbrt (log (sin im))) (pow (log (sin im)) 3) (sqrt (log (sin im))) (sqrt (log (sin im))) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (sin im) (exp re)) (* (sin im) (exp re)) (- (log im) (+ (* 1/6 (pow im 2)) (* 1/180 (pow im 4)))) (log (sin im)) (log (sin im)) 32.391 * * * [progress]: adding candidates to table 32.423 * [progress]: [Phase 3 of 3] Extracting. 32.423 * * [regime]: Finding splitpoints for: (# #) 32.423 * * * [regime-changes]: Trying 5 branch expressions: ((sin im) (exp re) (* (exp re) (sin im)) im re) 32.423 * * * * [regimes]: Trying to branch on (sin im) from (# #) 32.465 * * * * [regimes]: Trying to branch on (exp re) from (# #) 32.496 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (# #) 32.541 * * * * [regimes]: Trying to branch on im from (# #) 32.574 * * * * [regimes]: Trying to branch on re from (# #) 32.609 * * * [regime]: Found split indices: #