318.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying using # : (* (exp re) (cos im)) 0.052 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.053 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.053 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.053 * [simplify]: Simplified to: (* (exp re) (cos im)) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.063 * * * * [pick]: Picked # 0.063 * * * [progress]: localizing error 0.068 * * * [progress]: generating rewritten candidates 0.068 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.074 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.077 * * * [progress]: generating series expansions 0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.077 * [approximate]: Taking taylor expansion of (* (exp re) (cos im)) in (re im) around 0 0.077 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in im 0.077 * [taylor]: Taking taylor expansion of (exp re) in im 0.077 * [taylor]: Taking taylor expansion of re in im 0.077 * [taylor]: Taking taylor expansion of (cos im) in im 0.077 * [taylor]: Taking taylor expansion of im in im 0.077 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in re 0.077 * [taylor]: Taking taylor expansion of (exp re) in re 0.077 * [taylor]: Taking taylor expansion of re in re 0.077 * [taylor]: Taking taylor expansion of (cos im) in re 0.077 * [taylor]: Taking taylor expansion of im in re 0.077 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in re 0.077 * [taylor]: Taking taylor expansion of (exp re) in re 0.077 * [taylor]: Taking taylor expansion of re in re 0.077 * [taylor]: Taking taylor expansion of (cos im) in re 0.077 * [taylor]: Taking taylor expansion of im in re 0.077 * [taylor]: Taking taylor expansion of (cos im) in im 0.077 * [taylor]: Taking taylor expansion of im in im 0.078 * [taylor]: Taking taylor expansion of (cos im) in im 0.078 * [taylor]: Taking taylor expansion of im in im 0.078 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 0.078 * [taylor]: Taking taylor expansion of 1/2 in im 0.078 * [taylor]: Taking taylor expansion of (cos im) in im 0.078 * [taylor]: Taking taylor expansion of im in im 0.079 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0 0.079 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 0.079 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.079 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.079 * [taylor]: Taking taylor expansion of re in im 0.079 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.079 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.079 * [taylor]: Taking taylor expansion of im in im 0.079 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 0.079 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.079 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.079 * [taylor]: Taking taylor expansion of re in re 0.079 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 0.079 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.079 * [taylor]: Taking taylor expansion of im in re 0.079 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 0.079 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.079 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.079 * [taylor]: Taking taylor expansion of re in re 0.079 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 0.079 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.079 * [taylor]: Taking taylor expansion of im in re 0.080 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 0.080 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.080 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.080 * [taylor]: Taking taylor expansion of re in im 0.080 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.080 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.080 * [taylor]: Taking taylor expansion of im in im 0.080 * [taylor]: Taking taylor expansion of 0 in im 0.081 * [taylor]: Taking taylor expansion of 0 in im 0.082 * [taylor]: Taking taylor expansion of 0 in im 0.082 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 0.082 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 0.082 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.082 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.082 * [taylor]: Taking taylor expansion of -1 in im 0.082 * [taylor]: Taking taylor expansion of re in im 0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.083 * [taylor]: Taking taylor expansion of -1 in im 0.083 * [taylor]: Taking taylor expansion of im in im 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -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 -1 in re 0.083 * [taylor]: Taking taylor expansion of re in re 0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.083 * [taylor]: Taking taylor expansion of -1 in re 0.083 * [taylor]: Taking taylor expansion of im in re 0.083 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -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 -1 in re 0.083 * [taylor]: Taking taylor expansion of re in re 0.083 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 0.083 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.083 * [taylor]: Taking taylor expansion of -1 in re 0.083 * [taylor]: Taking taylor expansion of im in re 0.084 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -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 -1 in im 0.084 * [taylor]: Taking taylor expansion of re in im 0.084 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.084 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.084 * [taylor]: Taking taylor expansion of -1 in im 0.084 * [taylor]: Taking taylor expansion of im in im 0.085 * [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 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.086 * [approximate]: Taking taylor expansion of (cos im) in (im) around 0 0.086 * [taylor]: Taking taylor expansion of (cos im) in im 0.086 * [taylor]: Taking taylor expansion of im in im 0.086 * [taylor]: Taking taylor expansion of (cos im) in im 0.086 * [taylor]: Taking taylor expansion of im in im 0.087 * [approximate]: Taking taylor expansion of (cos (/ 1 im)) in (im) around 0 0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.087 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.087 * [taylor]: Taking taylor expansion of im in im 0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 0.087 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.087 * [taylor]: Taking taylor expansion of im in im 0.088 * [approximate]: Taking taylor expansion of (cos (/ -1 im)) in (im) around 0 0.088 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.088 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.088 * [taylor]: Taking taylor expansion of -1 in im 0.088 * [taylor]: Taking taylor expansion of im in im 0.088 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 0.088 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.088 * [taylor]: Taking taylor expansion of -1 in im 0.088 * [taylor]: Taking taylor expansion of im in im 0.088 * * * [progress]: simplifying candidates 0.089 * [simplify]: Simplifying using # : (* (exp re) (cos im)) (+ re (log (cos im))) (log (* (exp re) (cos im))) (exp (* (exp re) (cos im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (cos im) (cos im)) (cos im))) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (exp re) (cos im))) (* (* (* (exp re) (cos im)) (* (exp re) (cos im))) (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (exp re) (sqrt (cos im))) (* (exp re) 1) (* (cbrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) (* (exp re) (cos im)) (log (cos im)) (exp (cos im)) (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im)) (* (* (cos im) (cos im)) (cos im)) (sqrt (cos im)) (sqrt (cos im)) (+ re (+ (* 1/2 (pow re 2)) 1)) (* (exp re) (cos im)) (* (exp re) (cos im)) (- (+ (* 1/24 (pow im 4)) 1) (* 1/2 (pow im 2))) (cos im) (cos im) 0.089 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.090 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.090 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.091 * * [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 : 6 enodes (cost 6 ) 0.093 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.094 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 0.095 * * [simplify]: iteration done : 11 enodes (cost 5 ) 0.096 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.097 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.098 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 0.099 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 0.102 * * [simplify]: iteration 4 : 46 enodes (cost 6 ) 0.109 * * [simplify]: iteration 5 : 102 enodes (cost 6 ) 0.146 * * [simplify]: iteration 6 : 243 enodes (cost 6 ) 0.295 * * [simplify]: iteration 7 : 706 enodes (cost 6 ) 1.365 * * [simplify]: iteration 8 : 2720 enodes (cost 6 ) 3.107 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.108 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 3.114 * * [simplify]: iteration 1 : 18 enodes (cost 16 ) 3.117 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 3.126 * * [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.567 * * [simplify]: iteration 7 : 4610 enodes (cost 7 ) 7.387 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.387 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 7.388 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 7.389 * * [simplify]: iteration done : 8 enodes (cost 13 ) 7.390 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.390 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 7.391 * * [simplify]: iteration done : 7 enodes (cost 6 ) 7.392 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 7.393 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 7.397 * * [simplify]: iteration 2 : 49 enodes (cost 7 ) 7.409 * * [simplify]: iteration 3 : 92 enodes (cost 7 ) 7.433 * * [simplify]: iteration 4 : 115 enodes (cost 7 ) 7.467 * * [simplify]: iteration 5 : 168 enodes (cost 7 ) 7.533 * * [simplify]: iteration 6 : 364 enodes (cost 7 ) 7.779 * * [simplify]: iteration 7 : 1104 enodes (cost 7 ) 9.895 * * [simplify]: iteration 8 : 4694 enodes (cost 7 ) 11.527 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 11.528 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.528 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.529 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.530 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.531 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.531 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.532 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.533 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.533 * * [simplify]: iteration done : 8 enodes (cost 7 ) 11.534 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.535 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 11.535 * * [simplify]: iteration done : 8 enodes (cost 7 ) 11.536 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 11.537 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 11.538 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 11.540 * * [simplify]: iteration done : 12 enodes (cost 10 ) 11.540 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.541 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.542 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.542 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 11.543 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 11.544 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 11.544 * * [simplify]: iteration done : 10 enodes (cost 2 ) 11.545 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.546 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.546 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.547 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 11.548 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 11.548 * * [simplify]: iteration done : 7 enodes (cost 6 ) 11.549 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 11.549 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 11.550 * * [simplify]: iteration done : 6 enodes (cost 5 ) 11.550 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.551 * * [simplify]: iteration done : 3 enodes (cost 3 ) 11.551 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.552 * * [simplify]: iteration done : 3 enodes (cost 3 ) 11.552 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 11.553 * * [simplify]: iteration done : 4 enodes (cost 7 ) 11.553 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 11.553 * * [simplify]: iteration done : 3 enodes (cost 3 ) 11.554 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 11.555 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 11.561 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 11.562 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 11.564 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 11.565 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 11.569 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 11.577 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 11.624 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 12.088 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 14.729 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 14.729 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.730 * * [simplify]: iteration done : 3 enodes (cost 3 ) 14.730 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.731 * * [simplify]: iteration done : 3 enodes (cost 3 ) 14.731 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 14.733 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 14.735 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 14.741 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 14.754 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 14.778 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 14.979 * * [simplify]: iteration 6 : 799 enodes (cost 9 ) 17.072 * * [simplify]: iteration 7 : 3197 enodes (cost 9 ) 20.036 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 20.037 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.037 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 20.038 * * [simplify]: iteration done : 6 enodes (cost 5 ) 20.039 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 20.039 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 20.040 * * [simplify]: iteration done : 6 enodes (cost 5 ) 20.040 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 20.042 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 20.047 * * [simplify]: iteration 2 : 73 enodes (cost 13 ) 20.062 * * [simplify]: iteration 3 : 186 enodes (cost 13 ) 20.177 * * [simplify]: iteration 4 : 545 enodes (cost 13 ) 20.444 * * [simplify]: iteration 5 : 1321 enodes (cost 13 ) 22.380 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 22.380 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 22.381 * * [simplify]: iteration done : 2 enodes (cost 2 ) 22.381 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 22.381 * * [simplify]: iteration done : 2 enodes (cost 2 ) 22.382 * [simplify]: Simplified to: (* (exp re) (cos im)) (+ re (log (cos im))) (+ (log (cos im)) re) (exp (* (exp re) (cos im))) (pow (* (exp re) (cos im)) 3) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (exp re) (cos im))) (pow (* (exp re) (cos im)) 3) (sqrt (* (exp re) (cos im))) (sqrt (* (exp re) (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) (sqrt (cos im))) (* (exp re) (* (cbrt (cos im)) (cbrt (cos im)))) (* (exp re) (sqrt (cos im))) (exp re) (* (cbrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) (* (exp re) (cos im)) (log (cos im)) (exp (cos im)) (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im)) (pow (cos im) 3) (sqrt (cos im)) (sqrt (cos im)) (+ re (+ (* 1/2 (pow re 2)) 1)) (* (exp re) (cos im)) (* (exp re) (cos im)) (- (+ (* 1/24 (pow im 4)) 1) (* 1/2 (pow im 2))) (cos im) (cos im) 22.382 * * * [progress]: adding candidates to table 22.413 * * [progress]: iteration 2 / 4 22.413 * * * [progress]: picking best candidate 22.421 * * * * [pick]: Picked # 22.421 * * * [progress]: localizing error 22.428 * * * [progress]: generating rewritten candidates 22.429 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 22.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 22.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 22.445 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 22.458 * * * [progress]: generating series expansions 22.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 22.459 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 22.459 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.459 * [taylor]: Taking taylor expansion of (exp re) in re 22.459 * [taylor]: Taking taylor expansion of re in re 22.459 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.459 * [taylor]: Taking taylor expansion of (exp re) in re 22.459 * [taylor]: Taking taylor expansion of re in re 22.459 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 22.459 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.459 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.459 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.459 * [taylor]: Taking taylor expansion of re in re 22.460 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.460 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.460 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.460 * [taylor]: Taking taylor expansion of re in re 22.461 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 22.461 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.461 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.461 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.461 * [taylor]: Taking taylor expansion of -1 in re 22.461 * [taylor]: Taking taylor expansion of re in re 22.461 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.461 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.461 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.461 * [taylor]: Taking taylor expansion of -1 in re 22.461 * [taylor]: Taking taylor expansion of re in re 22.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 22.462 * [approximate]: Taking taylor expansion of (sqrt (exp re)) in (re) around 0 22.462 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.462 * [taylor]: Taking taylor expansion of (exp re) in re 22.462 * [taylor]: Taking taylor expansion of re in re 22.462 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.462 * [taylor]: Taking taylor expansion of (exp re) in re 22.462 * [taylor]: Taking taylor expansion of re in re 22.463 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in (re) around 0 22.463 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.463 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.463 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.463 * [taylor]: Taking taylor expansion of re in re 22.463 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.463 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.463 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.463 * [taylor]: Taking taylor expansion of re in re 22.464 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in (re) around 0 22.464 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.464 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.464 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.464 * [taylor]: Taking taylor expansion of -1 in re 22.464 * [taylor]: Taking taylor expansion of re in re 22.464 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.464 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.464 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.464 * [taylor]: Taking taylor expansion of -1 in re 22.464 * [taylor]: Taking taylor expansion of re in re 22.465 * * * * [progress]: [ 3 / 4 ] generating series at (2) 22.465 * [approximate]: Taking taylor expansion of (* (exp re) (cos im)) in (re im) around 0 22.465 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in im 22.465 * [taylor]: Taking taylor expansion of (exp re) in im 22.466 * [taylor]: Taking taylor expansion of re in im 22.466 * [taylor]: Taking taylor expansion of (cos im) in im 22.466 * [taylor]: Taking taylor expansion of im in im 22.466 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in re 22.466 * [taylor]: Taking taylor expansion of (exp re) in re 22.466 * [taylor]: Taking taylor expansion of re in re 22.466 * [taylor]: Taking taylor expansion of (cos im) in re 22.466 * [taylor]: Taking taylor expansion of im in re 22.466 * [taylor]: Taking taylor expansion of (* (exp re) (cos im)) in re 22.466 * [taylor]: Taking taylor expansion of (exp re) in re 22.466 * [taylor]: Taking taylor expansion of re in re 22.466 * [taylor]: Taking taylor expansion of (cos im) in re 22.466 * [taylor]: Taking taylor expansion of im in re 22.466 * [taylor]: Taking taylor expansion of (cos im) in im 22.466 * [taylor]: Taking taylor expansion of im in im 22.466 * [taylor]: Taking taylor expansion of (cos im) in im 22.466 * [taylor]: Taking taylor expansion of im in im 22.467 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 22.467 * [taylor]: Taking taylor expansion of 1/2 in im 22.467 * [taylor]: Taking taylor expansion of (cos im) in im 22.467 * [taylor]: Taking taylor expansion of im in im 22.467 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in (re im) around 0 22.467 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 22.467 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 22.467 * [taylor]: Taking taylor expansion of (/ 1 re) in im 22.467 * [taylor]: Taking taylor expansion of re in im 22.467 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 22.467 * [taylor]: Taking taylor expansion of (/ 1 im) in im 22.467 * [taylor]: Taking taylor expansion of im in im 22.467 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 22.467 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.468 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.468 * [taylor]: Taking taylor expansion of re in re 22.468 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 22.468 * [taylor]: Taking taylor expansion of (/ 1 im) in re 22.468 * [taylor]: Taking taylor expansion of im in re 22.468 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in re 22.468 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.468 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.468 * [taylor]: Taking taylor expansion of re in re 22.468 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 22.468 * [taylor]: Taking taylor expansion of (/ 1 im) in re 22.468 * [taylor]: Taking taylor expansion of im in re 22.468 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (cos (/ 1 im))) in im 22.468 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 22.468 * [taylor]: Taking taylor expansion of (/ 1 re) in im 22.468 * [taylor]: Taking taylor expansion of re in im 22.468 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 22.468 * [taylor]: Taking taylor expansion of (/ 1 im) in im 22.468 * [taylor]: Taking taylor expansion of im in im 22.469 * [taylor]: Taking taylor expansion of 0 in im 22.469 * [taylor]: Taking taylor expansion of 0 in im 22.471 * [taylor]: Taking taylor expansion of 0 in im 22.471 * [approximate]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in (re im) around 0 22.471 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 22.471 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 22.471 * [taylor]: Taking taylor expansion of (/ -1 re) in im 22.471 * [taylor]: Taking taylor expansion of -1 in im 22.471 * [taylor]: Taking taylor expansion of re in im 22.471 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 22.471 * [taylor]: Taking taylor expansion of (/ -1 im) in im 22.471 * [taylor]: Taking taylor expansion of -1 in im 22.471 * [taylor]: Taking taylor expansion of im in im 22.471 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 22.471 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.471 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.471 * [taylor]: Taking taylor expansion of -1 in re 22.471 * [taylor]: Taking taylor expansion of re in re 22.471 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 22.471 * [taylor]: Taking taylor expansion of (/ -1 im) in re 22.471 * [taylor]: Taking taylor expansion of -1 in re 22.471 * [taylor]: Taking taylor expansion of im in re 22.471 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in re 22.471 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.472 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.472 * [taylor]: Taking taylor expansion of -1 in re 22.472 * [taylor]: Taking taylor expansion of re in re 22.472 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 22.472 * [taylor]: Taking taylor expansion of (/ -1 im) in re 22.472 * [taylor]: Taking taylor expansion of -1 in re 22.472 * [taylor]: Taking taylor expansion of im in re 22.472 * [taylor]: Taking taylor expansion of (* (exp (/ -1 re)) (cos (/ -1 im))) in im 22.472 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 22.472 * [taylor]: Taking taylor expansion of (/ -1 re) in im 22.472 * [taylor]: Taking taylor expansion of -1 in im 22.472 * [taylor]: Taking taylor expansion of re in im 22.472 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 22.472 * [taylor]: Taking taylor expansion of (/ -1 im) in im 22.472 * [taylor]: Taking taylor expansion of -1 in im 22.473 * [taylor]: Taking taylor expansion of im in im 22.473 * [taylor]: Taking taylor expansion of 0 in im 22.474 * [taylor]: Taking taylor expansion of 0 in im 22.475 * [taylor]: Taking taylor expansion of 0 in im 22.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 22.475 * [approximate]: Taking taylor expansion of (* (sqrt (exp re)) (cos im)) in (re im) around 0 22.475 * [taylor]: Taking taylor expansion of (* (sqrt (exp re)) (cos im)) in im 22.475 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 22.475 * [taylor]: Taking taylor expansion of (exp re) in im 22.475 * [taylor]: Taking taylor expansion of re in im 22.476 * [taylor]: Taking taylor expansion of (cos im) in im 22.476 * [taylor]: Taking taylor expansion of im in im 22.476 * [taylor]: Taking taylor expansion of (* (sqrt (exp re)) (cos im)) in re 22.476 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.476 * [taylor]: Taking taylor expansion of (exp re) in re 22.476 * [taylor]: Taking taylor expansion of re in re 22.476 * [taylor]: Taking taylor expansion of (cos im) in re 22.476 * [taylor]: Taking taylor expansion of im in re 22.476 * [taylor]: Taking taylor expansion of (* (sqrt (exp re)) (cos im)) in re 22.476 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 22.476 * [taylor]: Taking taylor expansion of (exp re) in re 22.476 * [taylor]: Taking taylor expansion of re in re 22.476 * [taylor]: Taking taylor expansion of (cos im) in re 22.476 * [taylor]: Taking taylor expansion of im in re 22.476 * [taylor]: Taking taylor expansion of (cos im) in im 22.476 * [taylor]: Taking taylor expansion of im in im 22.477 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 22.477 * [taylor]: Taking taylor expansion of 1/2 in im 22.477 * [taylor]: Taking taylor expansion of (cos im) in im 22.477 * [taylor]: Taking taylor expansion of im in im 22.477 * [taylor]: Taking taylor expansion of (* 1/8 (cos im)) in im 22.477 * [taylor]: Taking taylor expansion of 1/8 in im 22.477 * [taylor]: Taking taylor expansion of (cos im) in im 22.477 * [taylor]: Taking taylor expansion of im in im 22.478 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) in (re im) around 0 22.478 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) in im 22.478 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 22.478 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 22.478 * [taylor]: Taking taylor expansion of (/ 1 re) in im 22.478 * [taylor]: Taking taylor expansion of re in im 22.478 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 22.478 * [taylor]: Taking taylor expansion of (/ 1 im) in im 22.478 * [taylor]: Taking taylor expansion of im in im 22.478 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) in re 22.478 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.478 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.478 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.478 * [taylor]: Taking taylor expansion of re in re 22.478 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 22.478 * [taylor]: Taking taylor expansion of (/ 1 im) in re 22.478 * [taylor]: Taking taylor expansion of im in re 22.478 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) in re 22.478 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 22.478 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 22.478 * [taylor]: Taking taylor expansion of (/ 1 re) in re 22.478 * [taylor]: Taking taylor expansion of re in re 22.479 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 22.479 * [taylor]: Taking taylor expansion of (/ 1 im) in re 22.479 * [taylor]: Taking taylor expansion of im in re 22.479 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (cos (/ 1 im))) in im 22.479 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 22.479 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 22.479 * [taylor]: Taking taylor expansion of (/ 1 re) in im 22.479 * [taylor]: Taking taylor expansion of re in im 22.479 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 22.479 * [taylor]: Taking taylor expansion of (/ 1 im) in im 22.479 * [taylor]: Taking taylor expansion of im in im 22.480 * [taylor]: Taking taylor expansion of 0 in im 22.480 * [taylor]: Taking taylor expansion of 0 in im 22.482 * [taylor]: Taking taylor expansion of 0 in im 22.482 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in (re im) around 0 22.482 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im 22.482 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 22.482 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 22.482 * [taylor]: Taking taylor expansion of (/ -1 re) in im 22.482 * [taylor]: Taking taylor expansion of -1 in im 22.482 * [taylor]: Taking taylor expansion of re in im 22.482 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 22.482 * [taylor]: Taking taylor expansion of (/ -1 im) in im 22.482 * [taylor]: Taking taylor expansion of -1 in im 22.482 * [taylor]: Taking taylor expansion of im in im 22.482 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re 22.482 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.482 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.482 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.482 * [taylor]: Taking taylor expansion of -1 in re 22.482 * [taylor]: Taking taylor expansion of re in re 22.483 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 22.483 * [taylor]: Taking taylor expansion of (/ -1 im) in re 22.483 * [taylor]: Taking taylor expansion of -1 in re 22.483 * [taylor]: Taking taylor expansion of im in re 22.483 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in re 22.483 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 22.483 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 22.483 * [taylor]: Taking taylor expansion of (/ -1 re) in re 22.483 * [taylor]: Taking taylor expansion of -1 in re 22.483 * [taylor]: Taking taylor expansion of re in re 22.483 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 22.483 * [taylor]: Taking taylor expansion of (/ -1 im) in re 22.483 * [taylor]: Taking taylor expansion of -1 in re 22.483 * [taylor]: Taking taylor expansion of im in re 22.483 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (cos (/ -1 im))) in im 22.483 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 22.483 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 22.483 * [taylor]: Taking taylor expansion of (/ -1 re) in im 22.483 * [taylor]: Taking taylor expansion of -1 in im 22.483 * [taylor]: Taking taylor expansion of re in im 22.484 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 22.484 * [taylor]: Taking taylor expansion of (/ -1 im) in im 22.484 * [taylor]: Taking taylor expansion of -1 in im 22.484 * [taylor]: Taking taylor expansion of im in im 22.484 * [taylor]: Taking taylor expansion of 0 in im 22.485 * [taylor]: Taking taylor expansion of 0 in im 22.486 * [taylor]: Taking taylor expansion of 0 in im 22.486 * * * [progress]: simplifying candidates 22.487 * [simplify]: Simplifying using # : (log (sqrt (exp re))) (exp (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (sqrt (cbrt (exp re))) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (sqrt 1) (sqrt (exp re)) (/ 1 2) (/ (cbrt re) 2) (/ (sqrt re) 2) (/ re 2) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (log (sqrt (exp re))) (exp (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (sqrt (* (cbrt (exp re)) (cbrt (exp re)))) (sqrt (cbrt (exp re))) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (sqrt 1) (sqrt (exp re)) (/ 1 2) (/ (cbrt re) 2) (/ (sqrt re) 2) (/ re 2) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (cos im)))) (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (cos im)))) (log (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im)))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)))) (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (* (* (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))) (* (sqrt (exp re)) (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im)) (+ (log (sqrt (exp re))) (log (cos im))) (log (* (sqrt (exp re)) (cos im))) (exp (* (sqrt (exp re)) (cos im))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (cos im) (cos im)) (cos im))) (* (cbrt (* (sqrt (exp re)) (cos im))) (cbrt (* (sqrt (exp re)) (cos im)))) (cbrt (* (sqrt (exp re)) (cos im))) (* (* (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im))) (* (sqrt (exp re)) (cos im))) (sqrt (* (sqrt (exp re)) (cos im))) (sqrt (* (sqrt (exp re)) (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (exp re)) (* (cbrt (cos im)) (cbrt (cos im)))) (* (sqrt (exp re)) (sqrt (cos im))) (* (sqrt (exp re)) 1) (* (cbrt (sqrt (exp re))) (cos im)) (* (sqrt (cbrt (exp re))) (cos im)) (* (sqrt (sqrt (exp re))) (cos im)) (* (sqrt (exp re)) (cos im)) (* (sqrt (sqrt (exp re))) (cos im)) (* (sqrt (exp re)) (cos im)) (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) (sqrt (exp re)) (sqrt (exp re)) (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) (sqrt (exp re)) (sqrt (exp re)) (+ re (+ (* 1/2 (pow re 2)) 1)) (* (exp re) (cos im)) (* (exp re) (cos im)) (+ (* 1/2 re) (+ (* 1/8 (pow re 2)) 1)) (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) 22.488 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 22.488 * * [simplify]: iteration done : 4 enodes (cost 4 ) 22.489 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 22.490 * * [simplify]: iteration done : 4 enodes (cost 4 ) 22.490 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 22.491 * * [simplify]: iteration done : 5 enodes (cost 9 ) 22.491 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 22.492 * * [simplify]: iteration done : 4 enodes (cost 4 ) 22.492 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 22.493 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 22.494 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 22.495 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 22.496 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 22.498 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 22.501 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 22.511 * * [simplify]: iteration 7 : 114 enodes (cost 5 ) 22.559 * * [simplify]: iteration 8 : 325 enodes (cost 5 ) 23.030 * * [simplify]: iteration 9 : 1252 enodes (cost 5 ) 25.433 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 25.433 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 25.434 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 25.434 * * [simplify]: iteration done : 6 enodes (cost 4 ) 25.435 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.435 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.436 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.436 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.437 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.437 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.438 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 25.438 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 25.438 * * [simplify]: iteration done : 4 enodes (cost 1 ) 25.439 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.439 * * [simplify]: iteration done : 3 enodes (cost 3 ) 25.440 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.440 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 25.440 * * [simplify]: iteration done : 6 enodes (cost 1 ) 25.448 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.449 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.449 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.450 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.450 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.451 * * [simplify]: iteration done : 3 enodes (cost 3 ) 25.451 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.452 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.452 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.453 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.453 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.453 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.454 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.454 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.455 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 25.456 * * [simplify]: iteration done : 5 enodes (cost 9 ) 25.456 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.456 * * [simplify]: iteration done : 4 enodes (cost 4 ) 25.457 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 25.458 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 25.458 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 25.459 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 25.461 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 25.463 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 25.466 * * [simplify]: iteration 6 : 51 enodes (cost 5 ) 25.475 * * [simplify]: iteration 7 : 114 enodes (cost 5 ) 25.522 * * [simplify]: iteration 8 : 325 enodes (cost 5 ) 25.982 * * [simplify]: iteration 9 : 1252 enodes (cost 5 ) 28.352 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 28.353 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 28.353 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 28.354 * * [simplify]: iteration done : 6 enodes (cost 4 ) 28.354 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.354 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.355 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.355 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.356 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.356 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.357 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 28.357 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 28.357 * * [simplify]: iteration done : 4 enodes (cost 1 ) 28.358 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.358 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.359 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.359 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 28.359 * * [simplify]: iteration done : 6 enodes (cost 1 ) 28.360 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.360 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.361 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.361 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.362 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.362 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.363 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.363 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.363 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 28.364 * * [simplify]: iteration done : 4 enodes (cost 4 ) 28.365 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 28.365 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 28.367 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 28.368 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 28.370 * * [simplify]: iteration done : 13 enodes (cost 5 ) 28.370 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 28.371 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 28.373 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 28.374 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 28.376 * * [simplify]: iteration done : 13 enodes (cost 5 ) 28.377 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 28.384 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 28.385 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 28.387 * * [simplify]: iteration 3 : 17 enodes (cost 10 ) 28.389 * * [simplify]: iteration done : 17 enodes (cost 10 ) 28.389 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 28.390 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 28.392 * * [simplify]: iteration 2 : 16 enodes (cost 12 ) 28.393 * * [simplify]: iteration 3 : 19 enodes (cost 10 ) 28.395 * * [simplify]: iteration 4 : 20 enodes (cost 10 ) 28.397 * * [simplify]: iteration done : 20 enodes (cost 10 ) 28.398 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 28.399 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 28.401 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 28.403 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 28.406 * * [simplify]: iteration done : 27 enodes (cost 5 ) 28.406 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 28.407 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 28.409 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 28.412 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 28.418 * * [simplify]: iteration 4 : 91 enodes (cost 6 ) 28.434 * * [simplify]: iteration 5 : 204 enodes (cost 6 ) 28.527 * * [simplify]: iteration 6 : 508 enodes (cost 6 ) 29.030 * * [simplify]: iteration 7 : 1548 enodes (cost 6 ) 31.212 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 31.213 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 31.215 * * [simplify]: iteration 1 : 23 enodes (cost 22 ) 31.220 * * [simplify]: iteration 2 : 83 enodes (cost 13 ) 31.247 * * [simplify]: iteration 3 : 209 enodes (cost 9 ) 31.367 * * [simplify]: iteration 4 : 413 enodes (cost 9 ) 31.837 * * [simplify]: iteration 5 : 1171 enodes (cost 7 ) 34.346 * * [simplify]: iteration 6 : 4028 enodes (cost 7 ) 36.612 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 36.613 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 36.615 * * [simplify]: iteration 1 : 27 enodes (cost 22 ) 36.621 * * [simplify]: iteration 2 : 94 enodes (cost 14 ) 36.662 * * [simplify]: iteration 3 : 255 enodes (cost 14 ) 36.843 * * [simplify]: iteration 4 : 427 enodes (cost 7 ) 37.309 * * [simplify]: iteration 5 : 1064 enodes (cost 7 ) 39.262 * * [simplify]: iteration 6 : 3223 enodes (cost 7 ) 41.535 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 41.536 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 41.537 * * [simplify]: iteration 1 : 13 enodes (cost 23 ) 41.538 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 41.540 * * [simplify]: iteration 3 : 15 enodes (cost 13 ) 41.542 * * [simplify]: iteration done : 15 enodes (cost 13 ) 41.543 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 41.544 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 41.545 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 41.546 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 41.548 * * [simplify]: iteration done : 14 enodes (cost 6 ) 41.549 * * [simplify]: iteration 0 : 9 enodes (cost 32 ) 41.550 * * [simplify]: iteration 1 : 22 enodes (cost 32 ) 41.555 * * [simplify]: iteration 2 : 77 enodes (cost 7 ) 41.588 * * [simplify]: iteration 3 : 205 enodes (cost 7 ) 41.732 * * [simplify]: iteration 4 : 359 enodes (cost 7 ) 41.948 * * [simplify]: iteration 5 : 534 enodes (cost 7 ) 42.505 * * [simplify]: iteration 6 : 1359 enodes (cost 7 ) 45.674 * * [simplify]: iteration 7 : 4627 enodes (cost 7 ) 47.668 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 47.669 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.670 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 47.671 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 47.673 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 47.674 * * [simplify]: iteration done : 14 enodes (cost 6 ) 47.675 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.676 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 47.677 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 47.679 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 47.680 * * [simplify]: iteration done : 14 enodes (cost 6 ) 47.681 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 47.681 * * [simplify]: iteration done : 4 enodes (cost 2 ) 47.682 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.683 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 47.684 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 47.687 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 47.689 * * [simplify]: iteration done : 20 enodes (cost 11 ) 47.690 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 47.691 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 47.692 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 47.695 * * [simplify]: iteration done : 19 enodes (cost 11 ) 47.695 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.696 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 47.697 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 47.700 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 47.702 * * [simplify]: iteration done : 20 enodes (cost 11 ) 47.703 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 47.703 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 47.705 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 47.707 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 47.708 * * [simplify]: iteration done : 13 enodes (cost 5 ) 47.709 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 47.709 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 47.711 * * [simplify]: iteration 2 : 18 enodes (cost 11 ) 47.716 * * [simplify]: iteration 3 : 20 enodes (cost 11 ) 47.719 * * [simplify]: iteration done : 20 enodes (cost 11 ) 47.719 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 47.720 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 47.722 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 47.723 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 47.725 * * [simplify]: iteration done : 13 enodes (cost 5 ) 47.725 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 47.726 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 47.727 * * [simplify]: iteration done : 7 enodes (cost 6 ) 47.727 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 47.728 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 47.729 * * [simplify]: iteration done : 9 enodes (cost 8 ) 47.729 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.730 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 47.731 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 47.732 * * [simplify]: iteration done : 12 enodes (cost 7 ) 47.733 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.734 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 47.735 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 47.737 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 47.740 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 47.746 * * [simplify]: iteration 5 : 103 enodes (cost 7 ) 47.784 * * [simplify]: iteration 6 : 241 enodes (cost 7 ) 47.932 * * [simplify]: iteration 7 : 700 enodes (cost 7 ) 49.007 * * [simplify]: iteration 8 : 2704 enodes (cost 7 ) 50.745 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 50.746 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 50.747 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 50.753 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 50.762 * * [simplify]: iteration 3 : 85 enodes (cost 10 ) 50.782 * * [simplify]: iteration 4 : 138 enodes (cost 8 ) 50.837 * * [simplify]: iteration 5 : 263 enodes (cost 8 ) 50.981 * * [simplify]: iteration 6 : 672 enodes (cost 8 ) 51.919 * * [simplify]: iteration 7 : 2485 enodes (cost 8 ) 53.782 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 53.783 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 53.784 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 53.785 * * [simplify]: iteration done : 9 enodes (cost 15 ) 53.785 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.786 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 53.787 * * [simplify]: iteration done : 8 enodes (cost 7 ) 53.788 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 53.789 * * [simplify]: iteration 1 : 19 enodes (cost 20 ) 53.792 * * [simplify]: iteration 2 : 48 enodes (cost 8 ) 53.809 * * [simplify]: iteration 3 : 92 enodes (cost 8 ) 53.833 * * [simplify]: iteration 4 : 108 enodes (cost 8 ) 53.863 * * [simplify]: iteration 5 : 154 enodes (cost 8 ) 53.922 * * [simplify]: iteration 6 : 292 enodes (cost 8 ) 54.087 * * [simplify]: iteration 7 : 758 enodes (cost 8 ) 55.146 * * [simplify]: iteration 8 : 2745 enodes (cost 8 ) 56.865 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 56.866 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.871 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.872 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.873 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.874 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.874 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.875 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 56.876 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 56.876 * * [simplify]: iteration done : 9 enodes (cost 8 ) 56.877 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 56.878 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 56.879 * * [simplify]: iteration done : 9 enodes (cost 8 ) 56.879 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 56.880 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 56.881 * * [simplify]: iteration done : 9 enodes (cost 8 ) 56.882 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 56.882 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 56.883 * * [simplify]: iteration done : 9 enodes (cost 8 ) 56.884 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 56.885 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 56.886 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 56.887 * * [simplify]: iteration done : 13 enodes (cost 11 ) 56.888 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.888 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.889 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.890 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 56.890 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 56.891 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 56.892 * * [simplify]: iteration done : 11 enodes (cost 3 ) 56.893 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.893 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.894 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.895 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.895 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.896 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.897 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.897 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.898 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.899 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.899 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.900 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.900 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.901 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 56.902 * * [simplify]: iteration done : 8 enodes (cost 7 ) 56.903 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 56.903 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 56.904 * * [simplify]: iteration done : 7 enodes (cost 6 ) 56.905 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 56.906 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 56.909 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 56.914 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 56.928 * * [simplify]: iteration 4 : 110 enodes (cost 9 ) 56.957 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 57.134 * * [simplify]: iteration 6 : 778 enodes (cost 9 ) 59.339 * * [simplify]: iteration 7 : 3141 enodes (cost 9 ) 62.154 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 62.155 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.155 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.155 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.156 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.156 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 62.158 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 62.160 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 62.166 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 62.179 * * [simplify]: iteration 4 : 110 enodes (cost 9 ) 62.209 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 62.390 * * [simplify]: iteration 6 : 778 enodes (cost 9 ) 64.399 * * [simplify]: iteration 7 : 3141 enodes (cost 9 ) 67.223 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 67.224 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 67.224 * * [simplify]: iteration done : 3 enodes (cost 3 ) 67.225 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 67.225 * * [simplify]: iteration done : 3 enodes (cost 3 ) 67.225 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 67.227 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 67.229 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 67.235 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 67.248 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 67.276 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 67.471 * * [simplify]: iteration 6 : 799 enodes (cost 9 ) 69.542 * * [simplify]: iteration 7 : 3197 enodes (cost 9 ) 72.472 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 72.473 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.473 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 72.474 * * [simplify]: iteration done : 6 enodes (cost 5 ) 72.475 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.475 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 72.476 * * [simplify]: iteration done : 6 enodes (cost 5 ) 72.476 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 72.478 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 72.481 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 72.487 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 72.504 * * [simplify]: iteration 4 : 110 enodes (cost 9 ) 72.530 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 72.711 * * [simplify]: iteration 6 : 778 enodes (cost 9 ) 74.739 * * [simplify]: iteration 7 : 3141 enodes (cost 9 ) 77.591 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 77.592 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.592 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 77.593 * * [simplify]: iteration done : 7 enodes (cost 6 ) 77.594 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 77.594 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 77.595 * * [simplify]: iteration done : 7 enodes (cost 6 ) 77.595 * [simplify]: Simplified to: (log (sqrt (exp re))) (exp (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re))) (pow (sqrt (exp re)) 3) (fabs (cbrt (exp re))) (sqrt (cbrt (exp re))) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) 1 (sqrt (exp re)) 1/2 (/ (cbrt re) 2) (/ (sqrt re) 2) (/ re 2) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (log (sqrt (exp re))) (exp (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re))) (pow (sqrt (exp re)) 3) (fabs (cbrt (exp re))) (sqrt (cbrt (exp re))) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) 1 (sqrt (exp re)) 1/2 (/ (cbrt re) 2) (/ (sqrt re) 2) (/ re 2) (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re))) (* (exp re) (cos im)) (* (exp re) (cos im)) (+ (log (cos im)) (* 2 (log (sqrt (exp re))))) (+ (log (cos im)) (* 2 (log (sqrt (exp re))))) (+ re (log (cos im))) (pow (exp (exp re)) (cos im)) (pow (* (exp re) (cos im)) 3) (pow (* (exp re) (cos im)) 3) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (cos im) (exp re))) (pow (* (exp re) (cos im)) 3) (sqrt (* (cos im) (exp re))) (sqrt (* (cos im) (exp re))) (exp re) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (exp re) (cos im)) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (cos im))) (* (exp re) (cos im)) (* (sqrt (exp re)) (cos im)) (+ (log (sqrt (exp re))) (log (cos im))) (log (* (sqrt (exp re)) (cos im))) (exp (* (sqrt (exp re)) (cos im))) (pow (* (sqrt (exp re)) (cos im)) 3) (* (cbrt (* (sqrt (exp re)) (cos im))) (cbrt (* (sqrt (exp re)) (cos im)))) (cbrt (* (sqrt (exp re)) (cos im))) (pow (* (sqrt (exp re)) (cos im)) 3) (sqrt (* (sqrt (exp re)) (cos im))) (sqrt (* (sqrt (exp re)) (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (sqrt (exp re))) (sqrt (cos im))) (* (sqrt (exp re)) (* (cbrt (cos im)) (cbrt (cos im)))) (* (sqrt (exp re)) (sqrt (cos im))) (sqrt (exp re)) (* (cbrt (sqrt (exp re))) (cos im)) (* (sqrt (cbrt (exp re))) (cos im)) (* (sqrt (sqrt (exp re))) (cos im)) (* (sqrt (exp re)) (cos im)) (* (sqrt (sqrt (exp re))) (cos im)) (* (sqrt (exp re)) (cos im)) (+ 1 (* re (+ (* re 1/8) 1/2))) (sqrt (exp re)) (sqrt (exp re)) (+ 1 (* re (+ (* re 1/8) 1/2))) (sqrt (exp re)) (sqrt (exp re)) (+ re (+ (* 1/2 (pow re 2)) 1)) (* (exp re) (cos im)) (* (exp re) (cos im)) (+ 1 (* re (+ (* re 1/8) 1/2))) (* (sqrt (exp re)) (cos im)) (* (sqrt (exp re)) (cos im)) 77.596 * * * [progress]: adding candidates to table 77.675 * * [progress]: iteration 3 / 4 77.675 * * * [progress]: picking best candidate 77.678 * * * * [pick]: Picked # 77.678 * * * [progress]: localizing error 77.685 * * * [progress]: generating rewritten candidates 77.685 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 77.687 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 77.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 77.695 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 77.700 * * * [progress]: generating series expansions 77.700 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 77.700 * [approximate]: Taking taylor expansion of (log (cos im)) in (im) around 0 77.700 * [taylor]: Taking taylor expansion of (log (cos im)) in im 77.700 * [taylor]: Taking taylor expansion of (cos im) in im 77.701 * [taylor]: Taking taylor expansion of im in im 77.701 * [taylor]: Taking taylor expansion of (log (cos im)) in im 77.701 * [taylor]: Taking taylor expansion of (cos im) in im 77.701 * [taylor]: Taking taylor expansion of im in im 77.703 * [approximate]: Taking taylor expansion of (log (cos (/ 1 im))) in (im) around 0 77.703 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.703 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.703 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.703 * [taylor]: Taking taylor expansion of im in im 77.703 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.703 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.703 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.703 * [taylor]: Taking taylor expansion of im in im 77.708 * [approximate]: Taking taylor expansion of (log (cos (/ -1 im))) in (im) around 0 77.708 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.708 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.708 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.708 * [taylor]: Taking taylor expansion of -1 in im 77.708 * [taylor]: Taking taylor expansion of im in im 77.708 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.708 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.708 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.708 * [taylor]: Taking taylor expansion of -1 in im 77.709 * [taylor]: Taking taylor expansion of im in im 77.713 * * * * [progress]: [ 2 / 4 ] generating series at (2) 77.713 * [approximate]: Taking taylor expansion of (exp (+ (log (cos im)) re)) in (re im) around 0 77.713 * [taylor]: Taking taylor expansion of (exp (+ (log (cos im)) re)) in im 77.713 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in im 77.713 * [taylor]: Taking taylor expansion of (log (cos im)) in im 77.713 * [taylor]: Taking taylor expansion of (cos im) in im 77.713 * [taylor]: Taking taylor expansion of im in im 77.713 * [taylor]: Taking taylor expansion of re in im 77.713 * [taylor]: Taking taylor expansion of (exp (+ (log (cos im)) re)) in re 77.714 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in re 77.714 * [taylor]: Taking taylor expansion of (log (cos im)) in re 77.714 * [taylor]: Taking taylor expansion of (cos im) in re 77.714 * [taylor]: Taking taylor expansion of im in re 77.714 * [taylor]: Taking taylor expansion of re in re 77.714 * [taylor]: Taking taylor expansion of (exp (+ (log (cos im)) re)) in re 77.714 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in re 77.714 * [taylor]: Taking taylor expansion of (log (cos im)) in re 77.714 * [taylor]: Taking taylor expansion of (cos im) in re 77.714 * [taylor]: Taking taylor expansion of im in re 77.714 * [taylor]: Taking taylor expansion of re in re 77.714 * [taylor]: Taking taylor expansion of (cos im) in im 77.714 * [taylor]: Taking taylor expansion of im in im 77.715 * [taylor]: Taking taylor expansion of (cos im) in im 77.715 * [taylor]: Taking taylor expansion of im in im 77.715 * [taylor]: Taking taylor expansion of (* 1/2 (cos im)) in im 77.715 * [taylor]: Taking taylor expansion of 1/2 in im 77.715 * [taylor]: Taking taylor expansion of (cos im) in im 77.715 * [taylor]: Taking taylor expansion of im in im 77.716 * [approximate]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in (re im) around 0 77.716 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in im 77.716 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im 77.716 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.716 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.716 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.716 * [taylor]: Taking taylor expansion of im in im 77.716 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.716 * [taylor]: Taking taylor expansion of re in im 77.716 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in re 77.716 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re 77.716 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re 77.716 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 77.716 * [taylor]: Taking taylor expansion of (/ 1 im) in re 77.716 * [taylor]: Taking taylor expansion of im in re 77.716 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.716 * [taylor]: Taking taylor expansion of re in re 77.717 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in re 77.717 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re 77.717 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re 77.717 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 77.717 * [taylor]: Taking taylor expansion of (/ 1 im) in re 77.717 * [taylor]: Taking taylor expansion of im in re 77.717 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.717 * [taylor]: Taking taylor expansion of re in re 77.717 * [taylor]: Taking taylor expansion of (exp (+ (log (cos (/ 1 im))) (/ 1 re))) in im 77.717 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im 77.717 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.717 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.717 * [taylor]: Taking taylor expansion of im in im 77.717 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.717 * [taylor]: Taking taylor expansion of re in im 77.718 * [taylor]: Taking taylor expansion of 0 in im 77.718 * [taylor]: Taking taylor expansion of 0 in im 77.718 * [taylor]: Taking taylor expansion of 0 in im 77.719 * [approximate]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in (re im) around 0 77.719 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in im 77.719 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im 77.719 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.719 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.719 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.719 * [taylor]: Taking taylor expansion of -1 in im 77.719 * [taylor]: Taking taylor expansion of im in im 77.719 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.719 * [taylor]: Taking taylor expansion of re in im 77.719 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in re 77.719 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re 77.719 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re 77.719 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 77.719 * [taylor]: Taking taylor expansion of (/ -1 im) in re 77.719 * [taylor]: Taking taylor expansion of -1 in re 77.719 * [taylor]: Taking taylor expansion of im in re 77.719 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.719 * [taylor]: Taking taylor expansion of re in re 77.720 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in re 77.720 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re 77.720 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re 77.720 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 77.720 * [taylor]: Taking taylor expansion of (/ -1 im) in re 77.720 * [taylor]: Taking taylor expansion of -1 in re 77.720 * [taylor]: Taking taylor expansion of im in re 77.720 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.720 * [taylor]: Taking taylor expansion of re in re 77.720 * [taylor]: Taking taylor expansion of (exp (- (log (cos (/ -1 im))) (/ 1 re))) in im 77.720 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im 77.720 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.720 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.720 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.720 * [taylor]: Taking taylor expansion of -1 in im 77.720 * [taylor]: Taking taylor expansion of im in im 77.721 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.721 * [taylor]: Taking taylor expansion of re in im 77.721 * [taylor]: Taking taylor expansion of 0 in im 77.725 * [taylor]: Taking taylor expansion of 0 in im 77.726 * [taylor]: Taking taylor expansion of 0 in im 77.726 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 77.726 * [approximate]: Taking taylor expansion of (cos im) in (im) around 0 77.726 * [taylor]: Taking taylor expansion of (cos im) in im 77.726 * [taylor]: Taking taylor expansion of im in im 77.726 * [taylor]: Taking taylor expansion of (cos im) in im 77.727 * [taylor]: Taking taylor expansion of im in im 77.728 * [approximate]: Taking taylor expansion of (cos (/ 1 im)) in (im) around 0 77.728 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.728 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.728 * [taylor]: Taking taylor expansion of im in im 77.728 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.728 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.728 * [taylor]: Taking taylor expansion of im in im 77.728 * [approximate]: Taking taylor expansion of (cos (/ -1 im)) in (im) around 0 77.728 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.728 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.728 * [taylor]: Taking taylor expansion of -1 in im 77.728 * [taylor]: Taking taylor expansion of im in im 77.729 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.729 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.729 * [taylor]: Taking taylor expansion of -1 in im 77.729 * [taylor]: Taking taylor expansion of im in im 77.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 77.729 * [approximate]: Taking taylor expansion of (+ (log (cos im)) re) in (re im) around 0 77.729 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in im 77.729 * [taylor]: Taking taylor expansion of (log (cos im)) in im 77.729 * [taylor]: Taking taylor expansion of (cos im) in im 77.729 * [taylor]: Taking taylor expansion of im in im 77.729 * [taylor]: Taking taylor expansion of re in im 77.729 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in re 77.729 * [taylor]: Taking taylor expansion of (log (cos im)) in re 77.729 * [taylor]: Taking taylor expansion of (cos im) in re 77.729 * [taylor]: Taking taylor expansion of im in re 77.729 * [taylor]: Taking taylor expansion of re in re 77.729 * [taylor]: Taking taylor expansion of (+ (log (cos im)) re) in re 77.729 * [taylor]: Taking taylor expansion of (log (cos im)) in re 77.729 * [taylor]: Taking taylor expansion of (cos im) in re 77.729 * [taylor]: Taking taylor expansion of im in re 77.729 * [taylor]: Taking taylor expansion of re in re 77.730 * [taylor]: Taking taylor expansion of (log (cos im)) in im 77.730 * [taylor]: Taking taylor expansion of (cos im) in im 77.730 * [taylor]: Taking taylor expansion of im in im 77.730 * [taylor]: Taking taylor expansion of 1 in im 77.731 * [taylor]: Taking taylor expansion of 0 in im 77.731 * [approximate]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in (re im) around 0 77.731 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in im 77.731 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.731 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.731 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.731 * [taylor]: Taking taylor expansion of im in im 77.731 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.731 * [taylor]: Taking taylor expansion of re in im 77.731 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re 77.731 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re 77.731 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 77.731 * [taylor]: Taking taylor expansion of (/ 1 im) in re 77.731 * [taylor]: Taking taylor expansion of im in re 77.732 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.732 * [taylor]: Taking taylor expansion of re in re 77.732 * [taylor]: Taking taylor expansion of (+ (log (cos (/ 1 im))) (/ 1 re)) in re 77.732 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in re 77.732 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in re 77.732 * [taylor]: Taking taylor expansion of (/ 1 im) in re 77.732 * [taylor]: Taking taylor expansion of im in re 77.732 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.732 * [taylor]: Taking taylor expansion of re in re 77.732 * [taylor]: Taking taylor expansion of 1 in im 77.732 * [taylor]: Taking taylor expansion of (log (cos (/ 1 im))) in im 77.732 * [taylor]: Taking taylor expansion of (cos (/ 1 im)) in im 77.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im 77.732 * [taylor]: Taking taylor expansion of im in im 77.733 * [taylor]: Taking taylor expansion of 0 in im 77.734 * [taylor]: Taking taylor expansion of 0 in im 77.734 * [approximate]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in (re im) around 0 77.734 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in im 77.734 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.734 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.734 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.734 * [taylor]: Taking taylor expansion of -1 in im 77.734 * [taylor]: Taking taylor expansion of im in im 77.734 * [taylor]: Taking taylor expansion of (/ 1 re) in im 77.734 * [taylor]: Taking taylor expansion of re in im 77.734 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re 77.734 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re 77.734 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 77.734 * [taylor]: Taking taylor expansion of (/ -1 im) in re 77.734 * [taylor]: Taking taylor expansion of -1 in re 77.734 * [taylor]: Taking taylor expansion of im in re 77.735 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.735 * [taylor]: Taking taylor expansion of re in re 77.735 * [taylor]: Taking taylor expansion of (- (log (cos (/ -1 im))) (/ 1 re)) in re 77.735 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in re 77.735 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in re 77.735 * [taylor]: Taking taylor expansion of (/ -1 im) in re 77.735 * [taylor]: Taking taylor expansion of -1 in re 77.735 * [taylor]: Taking taylor expansion of im in re 77.735 * [taylor]: Taking taylor expansion of (/ 1 re) in re 77.735 * [taylor]: Taking taylor expansion of re in re 77.735 * [taylor]: Taking taylor expansion of (neg 1) in im 77.735 * [taylor]: Taking taylor expansion of 1 in im 77.735 * [taylor]: Taking taylor expansion of (log (cos (/ -1 im))) in im 77.735 * [taylor]: Taking taylor expansion of (cos (/ -1 im)) in im 77.735 * [taylor]: Taking taylor expansion of (/ -1 im) in im 77.735 * [taylor]: Taking taylor expansion of -1 in im 77.735 * [taylor]: Taking taylor expansion of im in im 77.736 * [taylor]: Taking taylor expansion of 0 in im 77.737 * [taylor]: Taking taylor expansion of 0 in im 77.737 * * * [progress]: simplifying candidates 77.738 * [simplify]: Simplifying using # : (log (* (cbrt (cos im)) (cbrt (cos im)))) (log (cbrt (cos im))) (log (sqrt (cos im))) (log (sqrt (cos im))) (log 1) (log (cos im)) (log (cos im)) (log (log (cos im))) (exp (log (cos im))) (* (cbrt (log (cos im))) (cbrt (log (cos im)))) (cbrt (log (cos im))) (* (* (log (cos im)) (log (cos im))) (log (cos im))) (sqrt (log (cos im))) (sqrt (log (cos im))) (exp (* (cbrt (+ re (log (cos im)))) (cbrt (+ re (log (cos im)))))) (exp (sqrt (+ re (log (cos im))))) (exp 1) (exp 1) (exp 1) (exp re) (exp (log (cos im))) (log (exp (+ re (log (cos im))))) (exp (exp (+ re (log (cos im))))) (* (cbrt (exp (+ re (log (cos im))))) (cbrt (exp (+ re (log (cos im)))))) (cbrt (exp (+ re (log (cos im))))) (* (* (exp (+ re (log (cos im)))) (exp (+ re (log (cos im))))) (exp (+ re (log (cos im))))) (sqrt (exp (+ re (log (cos im))))) (sqrt (exp (+ re (log (cos im))))) (log (cos im)) (exp (cos im)) (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im)) (* (* (cos im) (cos im)) (cos im)) (sqrt (cos im)) (sqrt (cos im)) (* (exp re) (cos im)) (log (+ re (log (cos im)))) (exp (+ re (log (cos im)))) (* (cbrt (+ re (log (cos im)))) (cbrt (+ re (log (cos im))))) (cbrt (+ re (log (cos im)))) (* (* (+ re (log (cos im))) (+ re (log (cos im)))) (+ re (log (cos im)))) (sqrt (+ re (log (cos im)))) (sqrt (+ re (log (cos im)))) (+ (pow re 3) (pow (log (cos im)) 3)) (+ (* re re) (- (* (log (cos im)) (log (cos im))) (* re (log (cos im))))) (- (* re re) (* (log (cos im)) (log (cos im)))) (- re (log (cos im))) (+ re (log (cos im))) (+ re (log (cos im))) (+ re (log (* (cbrt (cos im)) (cbrt (cos im))))) (+ re (log (sqrt (cos im)))) (+ re (log 1)) (- (log 1) (+ (* 1/2 (pow im 2)) (* 1/12 (pow im 4)))) (log (cos im)) (log (cos im)) (+ re (+ (* 1/2 (pow re 2)) 1)) (exp (+ (log (cos im)) re)) (exp (+ (log (cos im)) re)) (- (+ (* 1/24 (pow im 4)) 1) (* 1/2 (pow im 2))) (cos im) (cos im) (- (+ (log 1) re) (* 1/2 (pow im 2))) (+ (log (cos im)) re) (+ (log (cos im)) re) 77.738 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 77.739 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 77.740 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 77.741 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 77.742 * * [simplify]: iteration done : 10 enodes (cost 6 ) 77.742 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.742 * * [simplify]: iteration done : 4 enodes (cost 4 ) 77.743 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.743 * * [simplify]: iteration done : 4 enodes (cost 4 ) 77.744 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.744 * * [simplify]: iteration done : 4 enodes (cost 4 ) 77.745 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 77.745 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 77.745 * * [simplify]: iteration done : 4 enodes (cost 1 ) 77.746 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 77.746 * * [simplify]: iteration done : 3 enodes (cost 3 ) 77.747 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 77.747 * * [simplify]: iteration done : 3 enodes (cost 3 ) 77.748 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.748 * * [simplify]: iteration done : 4 enodes (cost 4 ) 77.749 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.749 * * [simplify]: iteration done : 4 enodes (cost 2 ) 77.749 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 77.750 * * [simplify]: iteration done : 5 enodes (cost 9 ) 77.751 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 77.751 * * [simplify]: iteration done : 4 enodes (cost 4 ) 77.752 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 77.752 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 77.753 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 77.754 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 77.756 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 77.758 * * [simplify]: iteration 5 : 29 enodes (cost 5 ) 77.761 * * [simplify]: iteration 6 : 50 enodes (cost 5 ) 77.770 * * [simplify]: iteration 7 : 108 enodes (cost 5 ) 77.818 * * [simplify]: iteration 8 : 311 enodes (cost 5 ) 78.270 * * [simplify]: iteration 9 : 1229 enodes (cost 5 ) 80.684 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 80.685 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 80.686 * * [simplify]: iteration done : 4 enodes (cost 4 ) 80.686 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 80.687 * * [simplify]: iteration done : 4 enodes (cost 4 ) 80.687 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 80.688 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 80.689 * * [simplify]: iteration 2 : 15 enodes (cost 14 ) 80.691 * * [simplify]: iteration 3 : 20 enodes (cost 14 ) 80.693 * * [simplify]: iteration 4 : 38 enodes (cost 14 ) 80.699 * * [simplify]: iteration 5 : 78 enodes (cost 14 ) 80.720 * * [simplify]: iteration 6 : 184 enodes (cost 14 ) 80.821 * * [simplify]: iteration 7 : 570 enodes (cost 14 ) 81.709 * * [simplify]: iteration 8 : 2247 enodes (cost 14 ) 84.111 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 84.111 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 84.112 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 84.113 * * [simplify]: iteration done : 8 enodes (cost 7 ) 84.113 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 84.114 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 84.114 * * [simplify]: iteration done : 5 enodes (cost 1 ) 84.114 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 84.115 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 84.115 * * [simplify]: iteration done : 5 enodes (cost 1 ) 84.116 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 84.116 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 84.116 * * [simplify]: iteration done : 5 enodes (cost 1 ) 84.117 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 84.117 * * [simplify]: iteration done : 2 enodes (cost 2 ) 84.117 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 84.118 * * [simplify]: iteration done : 4 enodes (cost 2 ) 84.118 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 84.119 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 84.120 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 84.122 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 84.123 * * [simplify]: iteration done : 15 enodes (cost 5 ) 84.123 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 84.124 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 84.125 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 84.127 * * [simplify]: iteration 3 : 20 enodes (cost 6 ) 84.129 * * [simplify]: iteration 4 : 28 enodes (cost 6 ) 84.132 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 84.140 * * [simplify]: iteration 6 : 107 enodes (cost 6 ) 84.177 * * [simplify]: iteration 7 : 252 enodes (cost 6 ) 84.324 * * [simplify]: iteration 8 : 712 enodes (cost 6 ) 85.392 * * [simplify]: iteration 9 : 2751 enodes (cost 6 ) 87.126 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 87.127 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 87.128 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 87.129 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 87.130 * * [simplify]: iteration done : 13 enodes (cost 13 ) 87.131 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 87.132 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 87.133 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 87.134 * * [simplify]: iteration done : 12 enodes (cost 6 ) 87.135 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 87.136 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 87.143 * * [simplify]: iteration 2 : 43 enodes (cost 7 ) 87.152 * * [simplify]: iteration 3 : 130 enodes (cost 7 ) 87.185 * * [simplify]: iteration 4 : 250 enodes (cost 7 ) 87.260 * * [simplify]: iteration 5 : 353 enodes (cost 7 ) 87.373 * * [simplify]: iteration 6 : 573 enodes (cost 7 ) 87.751 * * [simplify]: iteration 7 : 1455 enodes (cost 7 ) 89.862 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 89.863 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.864 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 89.865 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.866 * * [simplify]: iteration done : 12 enodes (cost 6 ) 89.867 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 89.867 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 89.869 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 89.870 * * [simplify]: iteration done : 12 enodes (cost 6 ) 89.870 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.871 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.871 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.871 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.872 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 89.872 * * [simplify]: iteration done : 4 enodes (cost 7 ) 89.873 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.873 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.874 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 89.874 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 89.875 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 89.876 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 89.877 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 89.879 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 89.882 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 89.896 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 89.937 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 90.384 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 92.773 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 92.773 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.773 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.774 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.774 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.775 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 92.776 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 92.776 * * [simplify]: iteration done : 6 enodes (cost 5 ) 92.777 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.777 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 92.778 * * [simplify]: iteration done : 7 enodes (cost 6 ) 92.779 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.779 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 92.780 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 92.781 * * [simplify]: iteration done : 11 enodes (cost 5 ) 92.782 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 92.783 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 92.783 * * [simplify]: iteration done : 8 enodes (cost 13 ) 92.784 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.784 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 92.790 * * [simplify]: iteration done : 7 enodes (cost 6 ) 92.791 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 92.792 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 92.795 * * [simplify]: iteration 2 : 53 enodes (cost 7 ) 92.807 * * [simplify]: iteration 3 : 118 enodes (cost 7 ) 92.841 * * [simplify]: iteration 4 : 277 enodes (cost 7 ) 93.022 * * [simplify]: iteration 5 : 844 enodes (cost 7 ) 93.818 * * [simplify]: iteration 6 : 1902 enodes (cost 7 ) 95.527 * * [simplify]: iteration 7 : 2768 enodes (cost 7 ) 97.814 * * [simplify]: iteration 8 : 3301 enodes (cost 7 ) 100.700 * * [simplify]: iteration 9 : 4357 enodes (cost 7 ) 101.993 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 101.994 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.995 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 101.996 * * [simplify]: iteration done : 7 enodes (cost 6 ) 101.996 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.997 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 101.998 * * [simplify]: iteration done : 7 enodes (cost 6 ) 101.998 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 101.999 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 102.002 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 102.006 * * [simplify]: iteration 3 : 48 enodes (cost 9 ) 102.013 * * [simplify]: iteration 4 : 89 enodes (cost 9 ) 102.033 * * [simplify]: iteration 5 : 209 enodes (cost 9 ) 102.127 * * [simplify]: iteration 6 : 624 enodes (cost 9 ) 103.051 * * [simplify]: iteration 7 : 2446 enodes (cost 9 ) 105.272 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 105.273 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 105.274 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 105.277 * * [simplify]: iteration 2 : 32 enodes (cost 13 ) 105.282 * * [simplify]: iteration 3 : 45 enodes (cost 13 ) 105.289 * * [simplify]: iteration 4 : 65 enodes (cost 13 ) 105.300 * * [simplify]: iteration 5 : 86 enodes (cost 13 ) 105.315 * * [simplify]: iteration 6 : 103 enodes (cost 13 ) 105.332 * * [simplify]: iteration 7 : 126 enodes (cost 13 ) 105.352 * * [simplify]: iteration 8 : 169 enodes (cost 13 ) 105.390 * * [simplify]: iteration 9 : 231 enodes (cost 13 ) 105.419 * * [simplify]: iteration 10 : 232 enodes (cost 13 ) 105.451 * * [simplify]: iteration done : 232 enodes (cost 13 ) 105.452 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 105.453 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 105.455 * * [simplify]: iteration 2 : 19 enodes (cost 11 ) 105.457 * * [simplify]: iteration 3 : 34 enodes (cost 11 ) 105.462 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 105.473 * * [simplify]: iteration 5 : 100 enodes (cost 11 ) 105.500 * * [simplify]: iteration 6 : 158 enodes (cost 11 ) 105.553 * * [simplify]: iteration 7 : 326 enodes (cost 11 ) 106.491 * * [simplify]: iteration 8 : 1649 enodes (cost 11 ) 112.714 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 112.715 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 112.715 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 112.716 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 112.717 * * [simplify]: iteration done : 8 enodes (cost 5 ) 112.717 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 112.718 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 112.718 * * [simplify]: iteration done : 6 enodes (cost 5 ) 112.719 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 112.720 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 112.720 * * [simplify]: iteration done : 6 enodes (cost 5 ) 112.721 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 112.722 * * [simplify]: iteration 1 : 10 enodes (cost 10 ) 112.723 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 112.725 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 112.726 * * [simplify]: iteration done : 17 enodes (cost 8 ) 112.727 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 112.728 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 112.729 * * [simplify]: iteration done : 7 enodes (cost 6 ) 112.729 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 112.730 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 112.730 * * [simplify]: iteration done : 7 enodes (cost 1 ) 112.731 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 112.733 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 112.737 * * [simplify]: iteration 2 : 69 enodes (cost 12 ) 112.754 * * [simplify]: iteration 3 : 214 enodes (cost 11 ) 112.907 * * [simplify]: iteration 4 : 724 enodes (cost 11 ) 113.482 * * [simplify]: iteration 5 : 2141 enodes (cost 11 ) 115.244 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 115.244 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 115.245 * * [simplify]: iteration done : 3 enodes (cost 3 ) 115.245 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 115.245 * * [simplify]: iteration done : 3 enodes (cost 3 ) 115.246 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 115.247 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 115.250 * * [simplify]: iteration 2 : 38 enodes (cost 9 ) 115.255 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 115.274 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 115.299 * * [simplify]: iteration 5 : 260 enodes (cost 9 ) 115.501 * * [simplify]: iteration 6 : 799 enodes (cost 9 ) 117.596 * * [simplify]: iteration 7 : 3197 enodes (cost 9 ) 120.538 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 120.539 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.540 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 120.541 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 120.542 * * [simplify]: iteration done : 11 enodes (cost 5 ) 120.543 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 120.544 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 120.545 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 120.546 * * [simplify]: iteration done : 11 enodes (cost 5 ) 120.547 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 120.548 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 120.553 * * [simplify]: iteration 2 : 73 enodes (cost 13 ) 120.569 * * [simplify]: iteration 3 : 186 enodes (cost 13 ) 120.683 * * [simplify]: iteration 4 : 545 enodes (cost 13 ) 120.952 * * [simplify]: iteration 5 : 1321 enodes (cost 13 ) 122.879 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 122.879 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 122.880 * * [simplify]: iteration done : 2 enodes (cost 2 ) 122.880 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 122.880 * * [simplify]: iteration done : 2 enodes (cost 2 ) 122.881 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 122.882 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 122.885 * * [simplify]: iteration 2 : 49 enodes (cost 7 ) 122.893 * * [simplify]: iteration 3 : 104 enodes (cost 7 ) 122.926 * * [simplify]: iteration 4 : 225 enodes (cost 7 ) 123.015 * * [simplify]: iteration 5 : 562 enodes (cost 7 ) 123.650 * * [simplify]: iteration 6 : 1823 enodes (cost 7 ) 126.095 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 126.095 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.096 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 126.097 * * [simplify]: iteration done : 6 enodes (cost 5 ) 126.097 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 126.098 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 126.098 * * [simplify]: iteration done : 6 enodes (cost 5 ) 126.099 * [simplify]: Simplified to: (* 2 (log (cbrt (cos im)))) (log (cbrt (cos im))) (log (sqrt (cos im))) (log (sqrt (cos im))) 0 (log (cos im)) (log (cos im)) (log (log (cos im))) (cos im) (* (cbrt (log (cos im))) (cbrt (log (cos im)))) (cbrt (log (cos im))) (pow (log (cos im)) 3) (sqrt (log (cos im))) (sqrt (log (cos im))) (exp (* (cbrt (+ re (log (cos im)))) (cbrt (+ re (log (cos im)))))) (exp (sqrt (+ re (log (cos im))))) E E E (exp re) (cos im) (+ re (log (cos im))) (exp (* (cos im) (exp re))) (* (cbrt (* (exp re) (cos im))) (cbrt (* (exp re) (cos im)))) (cbrt (* (cos im) (exp re))) (pow (* (cos im) (exp re)) 3) (sqrt (* (cos im) (exp re))) (sqrt (* (cos im) (exp re))) (log (cos im)) (exp (cos im)) (* (cbrt (cos im)) (cbrt (cos im))) (cbrt (cos im)) (pow (cos im) 3) (sqrt (cos im)) (sqrt (cos im)) (* (exp re) (cos im)) (log (+ re (log (cos im)))) (* (cos im) (exp re)) (* (cbrt (+ re (log (cos im)))) (cbrt (+ re (log (cos im))))) (cbrt (+ re (log (cos im)))) (pow (+ re (log (cos im))) 3) (sqrt (+ re (log (cos im)))) (sqrt (+ re (log (cos im)))) (+ (pow re 3) (pow (log (cos im)) 3)) (+ (* (log (cos im)) (- (log (cos im)) re)) (* re re)) (* (+ re (log (cos im))) (- re (log (cos im)))) (- re (log (cos im))) (+ re (log (cos im))) (+ re (log (cos im))) (+ (* 2 (log (cbrt (cos im)))) re) (+ re (log (sqrt (cos im)))) re (- (* -1/2 (pow im 2)) (* 1/12 (pow im 4))) (log (cos im)) (log (cos im)) (+ re (+ (* 1/2 (pow re 2)) 1)) (* (exp re) (cos im)) (* (exp re) (cos im)) (- (+ (* 1/24 (pow im 4)) 1) (* 1/2 (pow im 2))) (cos im) (cos im) (- re (* 1/2 (pow im 2))) (+ (log (cos im)) re) (+ (log (cos im)) re) 126.099 * * * [progress]: adding candidates to table 126.166 * [progress]: [Phase 3 of 3] Extracting. 126.166 * * [regime]: Finding splitpoints for: (# #) 126.167 * * * [regime-changes]: Trying 4 branch expressions: ((cos im) (exp re) im re) 126.167 * * * * [regimes]: Trying to branch on (cos im) from (# #) 126.202 * * * * [regimes]: Trying to branch on (exp re) from (# #) 126.236 * * * * [regimes]: Trying to branch on im from (# #) 126.270 * * * * [regimes]: Trying to branch on re from (# #) 126.305 * * * [regime]: Found split indices: #