28.291 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.438 * * * [progress]: [2/2] Setting up program. 0.441 * [progress]: [Phase 2 of 3] Improving. 0.442 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) 0.537 * * [simplify]: iteration 0 : 5439 enodes (cost 11 ) 0.538 * [simplify]: Simplified to: (* 0.5 (* (cos re) (+ (exp (neg im)) (exp im)))) 0.541 * * [progress]: iteration 1 / 4 0.541 * * * [progress]: picking best candidate 0.544 * * * * [pick]: Picked # 0.544 * * * [progress]: localizing error 0.554 * * * [progress]: generating rewritten candidates 0.554 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.559 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.569 * * * [progress]: generating series expansions 0.569 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.569 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.569 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.569 * [taylor]: Taking taylor expansion of (exp im) in im 0.569 * [taylor]: Taking taylor expansion of im in im 0.569 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.569 * [taylor]: Taking taylor expansion of (neg im) in im 0.569 * [taylor]: Taking taylor expansion of im in im 0.569 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.569 * [taylor]: Taking taylor expansion of (exp im) in im 0.569 * [taylor]: Taking taylor expansion of im in im 0.569 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.569 * [taylor]: Taking taylor expansion of (neg im) in im 0.569 * [taylor]: Taking taylor expansion of im in im 0.571 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.571 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.571 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.571 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.571 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.571 * [taylor]: Taking taylor expansion of im in im 0.571 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.571 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.571 * [taylor]: Taking taylor expansion of im in im 0.571 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.571 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.571 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.571 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.571 * [taylor]: Taking taylor expansion of im in im 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.572 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.572 * [taylor]: Taking taylor expansion of im in im 0.572 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.572 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.572 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.572 * [taylor]: Taking taylor expansion of -1 in im 0.572 * [taylor]: Taking taylor expansion of im in im 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.572 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.572 * [taylor]: Taking taylor expansion of im in im 0.572 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.572 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.572 * [taylor]: Taking taylor expansion of -1 in im 0.572 * [taylor]: Taking taylor expansion of im in im 0.572 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.572 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.572 * [taylor]: Taking taylor expansion of im in im 0.573 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.573 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in (re im) around 0 0.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in im 0.573 * [taylor]: Taking taylor expansion of 0.5 in im 0.573 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in im 0.573 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.573 * [taylor]: Taking taylor expansion of (exp im) in im 0.573 * [taylor]: Taking taylor expansion of im in im 0.573 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.573 * [taylor]: Taking taylor expansion of (neg im) in im 0.573 * [taylor]: Taking taylor expansion of im in im 0.573 * [taylor]: Taking taylor expansion of (cos re) in im 0.573 * [taylor]: Taking taylor expansion of re in im 0.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in re 0.573 * [taylor]: Taking taylor expansion of 0.5 in re 0.573 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in re 0.573 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.573 * [taylor]: Taking taylor expansion of (exp im) in re 0.573 * [taylor]: Taking taylor expansion of im in re 0.573 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.573 * [taylor]: Taking taylor expansion of (neg im) in re 0.573 * [taylor]: Taking taylor expansion of im in re 0.573 * [taylor]: Taking taylor expansion of (cos re) in re 0.573 * [taylor]: Taking taylor expansion of re in re 0.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) in re 0.573 * [taylor]: Taking taylor expansion of 0.5 in re 0.573 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (cos re)) in re 0.573 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.573 * [taylor]: Taking taylor expansion of (exp im) in re 0.573 * [taylor]: Taking taylor expansion of im in re 0.574 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.574 * [taylor]: Taking taylor expansion of (neg im) in re 0.574 * [taylor]: Taking taylor expansion of im in re 0.574 * [taylor]: Taking taylor expansion of (cos re) in re 0.574 * [taylor]: Taking taylor expansion of re in re 0.574 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (neg im)))) in im 0.574 * [taylor]: Taking taylor expansion of 0.5 in im 0.574 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.574 * [taylor]: Taking taylor expansion of (exp im) in im 0.574 * [taylor]: Taking taylor expansion of im in im 0.574 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.574 * [taylor]: Taking taylor expansion of (neg im) in im 0.574 * [taylor]: Taking taylor expansion of im in im 0.574 * [taylor]: Taking taylor expansion of 0 in im 0.575 * [taylor]: Taking taylor expansion of (neg (+ (* 0.25 (exp im)) (* 0.25 (exp (neg im))))) in im 0.575 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (neg im)))) in im 0.575 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 0.575 * [taylor]: Taking taylor expansion of 0.25 in im 0.575 * [taylor]: Taking taylor expansion of (exp im) in im 0.575 * [taylor]: Taking taylor expansion of im in im 0.575 * [taylor]: Taking taylor expansion of (* 0.25 (exp (neg im))) in im 0.575 * [taylor]: Taking taylor expansion of 0.25 in im 0.575 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.575 * [taylor]: Taking taylor expansion of (neg im) in im 0.575 * [taylor]: Taking taylor expansion of im in im 0.576 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.576 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.576 * [taylor]: Taking taylor expansion of 0.5 in im 0.576 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.576 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.576 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.576 * [taylor]: Taking taylor expansion of re in im 0.576 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.576 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.576 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.576 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.576 * [taylor]: Taking taylor expansion of im in im 0.576 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.576 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.576 * [taylor]: Taking taylor expansion of im in im 0.576 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.576 * [taylor]: Taking taylor expansion of 0.5 in re 0.576 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.576 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.576 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.576 * [taylor]: Taking taylor expansion of re in re 0.576 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.576 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.576 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.576 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.576 * [taylor]: Taking taylor expansion of im in re 0.577 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.577 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.577 * [taylor]: Taking taylor expansion of im in re 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.577 * [taylor]: Taking taylor expansion of 0.5 in re 0.577 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.577 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.577 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.577 * [taylor]: Taking taylor expansion of re in re 0.577 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.577 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.577 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.577 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.577 * [taylor]: Taking taylor expansion of im in re 0.577 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.577 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.577 * [taylor]: Taking taylor expansion of im in re 0.577 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.577 * [taylor]: Taking taylor expansion of 0.5 in im 0.577 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.577 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.577 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.577 * [taylor]: Taking taylor expansion of re in im 0.577 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.577 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.577 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.578 * [taylor]: Taking taylor expansion of im in im 0.578 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.578 * [taylor]: Taking taylor expansion of im in im 0.579 * [taylor]: Taking taylor expansion of 0 in im 0.580 * [taylor]: Taking taylor expansion of 0 in im 0.581 * [taylor]: Taking taylor expansion of 0 in im 0.581 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0 0.581 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 0.581 * [taylor]: Taking taylor expansion of 0.5 in im 0.581 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 0.581 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.581 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.581 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.581 * [taylor]: Taking taylor expansion of -1 in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.581 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.582 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.582 * [taylor]: Taking taylor expansion of -1 in im 0.582 * [taylor]: Taking taylor expansion of re in im 0.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 0.582 * [taylor]: Taking taylor expansion of 0.5 in re 0.582 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 0.582 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.582 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.582 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.582 * [taylor]: Taking taylor expansion of -1 in re 0.582 * [taylor]: Taking taylor expansion of im in re 0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.582 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.582 * [taylor]: Taking taylor expansion of im in re 0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.582 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.582 * [taylor]: Taking taylor expansion of -1 in re 0.582 * [taylor]: Taking taylor expansion of re in re 0.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 0.582 * [taylor]: Taking taylor expansion of 0.5 in re 0.582 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 0.582 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.582 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.582 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.582 * [taylor]: Taking taylor expansion of -1 in re 0.582 * [taylor]: Taking taylor expansion of im in re 0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.582 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.582 * [taylor]: Taking taylor expansion of im in re 0.582 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.582 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.582 * [taylor]: Taking taylor expansion of -1 in re 0.582 * [taylor]: Taking taylor expansion of re in re 0.583 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 0.583 * [taylor]: Taking taylor expansion of 0.5 in im 0.583 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 0.583 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.583 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.583 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.583 * [taylor]: Taking taylor expansion of -1 in im 0.583 * [taylor]: Taking taylor expansion of im in im 0.583 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.583 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.583 * [taylor]: Taking taylor expansion of im in im 0.583 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.583 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.583 * [taylor]: Taking taylor expansion of -1 in im 0.583 * [taylor]: Taking taylor expansion of re in im 0.584 * [taylor]: Taking taylor expansion of 0 in im 0.585 * [taylor]: Taking taylor expansion of 0 in im 0.586 * [taylor]: Taking taylor expansion of 0 in im 0.586 * * * [progress]: simplifying candidates 0.587 * [simplify]: Simplifying using # : (* (exp (exp (neg im))) (exp (exp im))) (log (+ (exp (neg im)) (exp im))) (exp (+ (exp (neg im)) (exp im))) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))) (cbrt (+ (exp (neg im)) (exp im))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (+ (pow (exp (neg im)) 3) (pow (exp im) 3)) (+ (* (exp (neg im)) (exp (neg im))) (- (* (exp im) (exp im)) (* (exp (neg im)) (exp im)))) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))) (- (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im)) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (neg im)) (exp im)))) (+ (log (* 0.5 (cos re))) (log (+ (exp (neg im)) (exp im)))) (log (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (exp (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im))) (+ (exp (neg im)) (exp im)))) (* (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))))) (cbrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))) (* (* 0.5 (cos re)) (exp (neg im))) (* (* 0.5 (cos re)) (exp im)) (* (exp (neg im)) (* 0.5 (cos re))) (* (exp im) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im))))) (* (* 0.5 (cos re)) (sqrt (+ (exp (neg im)) (exp im)))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (exp (neg im)) (exp im))) (* (* 0.5 (cos re)) (+ (pow (exp (neg im)) 3) (pow (exp im) 3))) (* (* 0.5 (cos re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* 0.5 (* (+ (exp im) (exp (neg im))) (cos re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re))) 0.639 * * [simplify]: iteration 0 : 5312 enodes (cost 437 ) 0.641 * [simplify]: Simplified to: (exp (+ (exp (neg im)) (exp im))) (log (+ (exp (neg im)) (exp im))) (exp (+ (exp (neg im)) (exp im))) (* (cbrt (+ (exp (neg im)) (exp im))) (cbrt (+ (exp (neg im)) (exp im)))) (cbrt (+ (exp (neg im)) (exp im))) (pow (+ (exp (neg im)) (exp im)) 3) (sqrt (+ (exp (neg im)) (exp im))) (sqrt (+ (exp (neg im)) (exp im))) (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)) (- (pow (exp im) -2) (pow (exp im) 2)) (- (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im)) (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) (log (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (log (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (log (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (pow (exp (+ (exp (neg im)) (exp im))) (* 0.5 (cos re))) (pow (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) 3) (pow (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) 3) (* (cbrt (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (cbrt (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))))) (cbrt (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (pow (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) 3) (sqrt (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (sqrt (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re)))) (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))) (* (cbrt (+ (exp (neg im)) (exp im))) (* (cbrt (+ (exp (neg im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (+ (exp (neg im)) (exp im))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* 0.5 (cos re)) (* (+ (exp (neg im)) (exp im)) (cos re)) (* (+ (pow (exp im) -3) (pow (exp im) 3)) (* 0.5 (cos re))) (* (- (pow (exp im) -2) (pow (exp im) 2)) (* 0.5 (cos re))) (+ (* 1/12 (pow im 4)) (+ 2 (* im im))) (+ (exp (neg im)) (exp im)) (+ (exp (neg im)) (exp im)) (+ 1.0 (* 0.5 (- (* im im) (* re re)))) (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) (* (+ (exp (neg im)) (exp im)) (* 0.5 (cos re))) 0.641 * * * [progress]: adding candidates to table 0.675 * * [progress]: iteration 2 / 4 0.675 * * * [progress]: picking best candidate 0.679 * * * * [pick]: Picked # 0.679 * * * [progress]: localizing error 0.697 * * * [progress]: generating rewritten candidates 0.697 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.704 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 0.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 0.711 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 0.715 * * * [progress]: generating series expansions 0.715 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.716 * [approximate]: Taking taylor expansion of (- (pow (exp im) 2) 1) in (im) around 0 0.716 * [taylor]: Taking taylor expansion of (- (pow (exp im) 2) 1) in im 0.716 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 0.716 * [taylor]: Taking taylor expansion of (exp im) in im 0.716 * [taylor]: Taking taylor expansion of im in im 0.716 * [taylor]: Taking taylor expansion of 1 in im 0.716 * [taylor]: Taking taylor expansion of (- (pow (exp im) 2) 1) in im 0.716 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 0.716 * [taylor]: Taking taylor expansion of (exp im) in im 0.716 * [taylor]: Taking taylor expansion of im in im 0.716 * [taylor]: Taking taylor expansion of 1 in im 0.717 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) 1) in (im) around 0 0.717 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) 1) in im 0.717 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 0.717 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.717 * [taylor]: Taking taylor expansion of im in im 0.717 * [taylor]: Taking taylor expansion of 1 in im 0.717 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) 1) in im 0.717 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 0.717 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.717 * [taylor]: Taking taylor expansion of im in im 0.717 * [taylor]: Taking taylor expansion of 1 in im 0.718 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) 1) in (im) around 0 0.718 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) 1) in im 0.718 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 0.718 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.718 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.718 * [taylor]: Taking taylor expansion of -1 in im 0.718 * [taylor]: Taking taylor expansion of im in im 0.718 * [taylor]: Taking taylor expansion of 1 in im 0.718 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) 1) in im 0.718 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 0.718 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.718 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.718 * [taylor]: Taking taylor expansion of -1 in im 0.718 * [taylor]: Taking taylor expansion of im in im 0.718 * [taylor]: Taking taylor expansion of 1 in im 0.719 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 0.719 * [approximate]: Taking taylor expansion of (pow (exp im) -3) in (im) around 0 0.719 * [taylor]: Taking taylor expansion of (pow (exp im) -3) in im 0.719 * [taylor]: Taking taylor expansion of (exp im) in im 0.719 * [taylor]: Taking taylor expansion of im in im 0.720 * [taylor]: Taking taylor expansion of (pow (exp im) -3) in im 0.720 * [taylor]: Taking taylor expansion of (exp im) in im 0.720 * [taylor]: Taking taylor expansion of im in im 0.720 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) -3) in (im) around 0 0.720 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -3) in im 0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.720 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.720 * [taylor]: Taking taylor expansion of im in im 0.720 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -3) in im 0.720 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.720 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.720 * [taylor]: Taking taylor expansion of im in im 0.723 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) -3) in (im) around 0 0.723 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -3) in im 0.723 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.723 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.723 * [taylor]: Taking taylor expansion of -1 in im 0.723 * [taylor]: Taking taylor expansion of im in im 0.723 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -3) in im 0.723 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.723 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.723 * [taylor]: Taking taylor expansion of -1 in im 0.724 * [taylor]: Taking taylor expansion of im in im 0.726 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 0.726 * [approximate]: Taking taylor expansion of (pow (exp im) 3) in (im) around 0 0.726 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 0.726 * [taylor]: Taking taylor expansion of (exp im) in im 0.726 * [taylor]: Taking taylor expansion of im in im 0.726 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 0.726 * [taylor]: Taking taylor expansion of (exp im) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in (im) around 0 0.727 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 0.727 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.727 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 0.727 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.727 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.729 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in (im) around 0 0.729 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.729 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.729 * [taylor]: Taking taylor expansion of -1 in im 0.729 * [taylor]: Taking taylor expansion of im in im 0.729 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.729 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.729 * [taylor]: Taking taylor expansion of -1 in im 0.729 * [taylor]: Taking taylor expansion of im in im 0.731 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 0.731 * [approximate]: Taking taylor expansion of (pow (exp im) 2) in (im) around 0 0.731 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 0.731 * [taylor]: Taking taylor expansion of (exp im) in im 0.731 * [taylor]: Taking taylor expansion of im in im 0.731 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 0.731 * [taylor]: Taking taylor expansion of (exp im) in im 0.731 * [taylor]: Taking taylor expansion of im in im 0.732 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in (im) around 0 0.732 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 0.732 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.732 * [taylor]: Taking taylor expansion of im in im 0.732 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 0.732 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.732 * [taylor]: Taking taylor expansion of im in im 0.733 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in (im) around 0 0.733 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 0.733 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.733 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.733 * [taylor]: Taking taylor expansion of -1 in im 0.733 * [taylor]: Taking taylor expansion of im in im 0.733 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 0.733 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.733 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.733 * [taylor]: Taking taylor expansion of -1 in im 0.733 * [taylor]: Taking taylor expansion of im in im 0.734 * * * [progress]: simplifying candidates 0.735 * [simplify]: Simplifying using # : (* (exp (pow (exp im) 2)) (exp -1)) (log (+ (pow (exp im) 2) -1)) (exp (+ (pow (exp im) 2) -1)) (* (cbrt (+ (pow (exp im) 2) -1)) (cbrt (+ (pow (exp im) 2) -1))) (cbrt (+ (pow (exp im) 2) -1)) (* (* (+ (pow (exp im) 2) -1) (+ (pow (exp im) 2) -1)) (+ (pow (exp im) 2) -1)) (sqrt (+ (pow (exp im) 2) -1)) (sqrt (+ (pow (exp im) 2) -1)) (+ (pow (pow (exp im) 2) 3) (pow -1 3)) (+ (* (pow (exp im) 2) (pow (exp im) 2)) (- (* -1 -1) (* (pow (exp im) 2) -1))) (- (* (pow (exp im) 2) (pow (exp im) 2)) (* -1 -1)) (- (pow (exp im) 2) -1) (+ (pow (sqrt (exp im)) 2) 1) (- (pow (sqrt (exp im)) 2) 1) (+ (exp im) 1) (- (exp im) 1) (+ (sqrt (pow (exp im) 2)) 1) (- (sqrt (pow (exp im) 2)) 1) (+ (pow (exp im) (/ 2 2)) 1) (- (pow (exp im) (/ 2 2)) 1) (+ (pow (exp im) 2) -1) (* im -3) (* (log (exp im)) -3) (* 1 -3) (* (cbrt im) -3) (* (sqrt im) -3) (* im -3) (pow (exp im) (* (cbrt -3) (cbrt -3))) (pow (exp im) (sqrt -3)) (pow (exp im) 1) (pow (* (cbrt (exp im)) (cbrt (exp im))) -3) (pow (cbrt (exp im)) -3) (pow (sqrt (exp im)) -3) (pow (sqrt (exp im)) -3) (pow 1 -3) (pow (exp im) -3) (log (pow (exp im) -3)) (exp (pow (exp im) -3)) (* (cbrt (pow (exp im) -3)) (cbrt (pow (exp im) -3))) (cbrt (pow (exp im) -3)) (* (* (pow (exp im) -3) (pow (exp im) -3)) (pow (exp im) -3)) (sqrt (pow (exp im) -3)) (sqrt (pow (exp im) -3)) (pow (exp im) (/ -3 2)) (pow (exp im) (/ -3 2)) (* im 3) (* (log (exp im)) 3) (* 1 3) (* (cbrt im) 3) (* (sqrt im) 3) (* im 3) (pow (exp im) (* (cbrt 3) (cbrt 3))) (pow (exp im) (sqrt 3)) (pow (exp im) 1) (pow (* (cbrt (exp im)) (cbrt (exp im))) 3) (pow (cbrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow 1 3) (pow (exp im) 3) (* (exp im) (exp im)) (log (pow (exp im) 3)) (exp (pow (exp im) 3)) (* (cbrt (pow (exp im) 3)) (cbrt (pow (exp im) 3))) (cbrt (pow (exp im) 3)) (* (* (pow (exp im) 3) (pow (exp im) 3)) (pow (exp im) 3)) (pow (* (cbrt (exp im)) (cbrt (exp im))) 3) (pow (cbrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow 1 3) (pow (exp im) 3) (* (exp im) (exp im)) (sqrt (pow (exp im) 3)) (sqrt (pow (exp im) 3)) (pow (exp im) (/ 3 2)) (pow (exp im) (/ 3 2)) (* im 2) (* (log (exp im)) 2) (* 1 2) (* (cbrt im) 2) (* (sqrt im) 2) (* im 2) (pow (exp im) (* (cbrt 2) (cbrt 2))) (pow (exp im) (sqrt 2)) (pow (exp im) 1) (pow (* (cbrt (exp im)) (cbrt (exp im))) 2) (pow (cbrt (exp im)) 2) (pow (sqrt (exp im)) 2) (pow (sqrt (exp im)) 2) (pow 1 2) (pow (exp im) 2) (log (pow (exp im) 2)) (exp (pow (exp im) 2)) (* (cbrt (pow (exp im) 2)) (cbrt (pow (exp im) 2))) (cbrt (pow (exp im) 2)) (* (* (pow (exp im) 2) (pow (exp im) 2)) (pow (exp im) 2)) (sqrt (pow (exp im) 2)) (sqrt (pow (exp im) 2)) (pow (exp im) (/ 2 2)) (pow (exp im) (/ 2 2)) (+ (* 4/3 (pow im 3)) (+ (* 2 (pow im 2)) (* 2 im))) (- (pow (exp im) 2) 1) (- (pow (exp im) 2) 1) (- (+ (* 9/2 (pow im 2)) 1) (* 3 im)) (/ 1 (pow (exp im) 3)) (/ 1 (pow (exp im) 3)) (+ (* 3 im) (+ (* 9/2 (pow im 2)) 1)) (pow (exp im) 3) (pow (exp im) 3) (+ (* 2 im) (+ (* 2 (pow im 2)) 1)) (pow (exp im) 2) (pow (exp im) 2) 0.777 * * [simplify]: iteration 0 : 5072 enodes (cost 519 ) 0.780 * [simplify]: Simplified to: (/ (exp (pow (exp im) 2)) E) (log (+ (pow (exp im) 2) -1)) (/ (exp (pow (exp im) 2)) E) (* (cbrt (+ (pow (exp im) 2) -1)) (cbrt (+ (pow (exp im) 2) -1))) (cbrt (+ (pow (exp im) 2) -1)) (pow (+ (pow (exp im) 2) -1) 3) (sqrt (+ (pow (exp im) 2) -1)) (sqrt (+ (pow (exp im) 2) -1)) (+ -1 (pow (exp im) 6)) (+ (pow (exp im) 2) (+ (pow (exp im) 4) 1)) (+ -1 (pow (exp im) 4)) (+ (pow (exp im) 2) 1) (+ (exp im) 1) (+ (exp im) -1) (+ (exp im) 1) (+ (exp im) -1) (+ 1 (fabs (exp im))) (+ -1 (fabs (exp im))) (+ (exp im) 1) (+ (exp im) -1) (+ (pow (exp im) 2) -1) (* im -3) (* im -3) -3 (* -3 (cbrt im)) (* -3 (sqrt im)) (* im -3) (pow (exp im) (* (cbrt -3) (cbrt -3))) (pow (exp im) (sqrt -3)) (exp im) (pow (pow (cbrt (exp im)) 2) -3) (pow (cbrt (exp im)) -3) (pow (sqrt (exp im)) -3) (pow (sqrt (exp im)) -3) 1 (pow (exp im) -3) (* im -3) (exp (pow (exp im) -3)) (* (cbrt (pow (exp im) -3)) (cbrt (pow (exp im) -3))) (cbrt (pow (exp im) -3)) (pow (pow (exp im) -3) 3) (sqrt (pow (exp im) -3)) (sqrt (pow (exp im) -3)) (pow (exp im) -3/2) (pow (exp im) -3/2) (* im 3) (* im 3) 3 (* 3 (cbrt im)) (* 3 (sqrt im)) (* im 3) (pow (exp im) (* (cbrt 3) (cbrt 3))) (pow (exp im) (sqrt 3)) (exp im) (pow (exp im) 2) (exp im) (pow (exp im) 3/2) (pow (exp im) 3/2) 1 (pow (exp im) 3) (pow (exp im) 2) (* im 3) (exp (pow (exp im) 3)) (pow (exp im) 2) (exp im) (pow (pow (exp im) 3/2) 6) (pow (exp im) 2) (exp im) (pow (exp im) 3/2) (pow (exp im) 3/2) 1 (pow (exp im) 3) (pow (exp im) 2) (sqrt (pow (exp im) 3)) (sqrt (pow (exp im) 3)) (pow (exp im) 3/2) (pow (exp im) 3/2) (+ im im) (+ im im) 2 (* 2 (cbrt im)) (* 2 (sqrt im)) (+ im im) (pow (exp im) (* (cbrt 2) (cbrt 2))) (pow (exp im) (sqrt 2)) (exp im) (pow (cbrt (exp im)) 4) (pow (cbrt (exp im)) 2) (exp im) (exp im) 1 (pow (exp im) 2) (+ im im) (exp (pow (exp im) 2)) (pow (cbrt (exp im)) 4) (pow (cbrt (exp im)) 2) (pow (exp im) 6) (fabs (exp im)) (fabs (exp im)) (exp im) (exp im) (+ im (+ im (* (* im im) (+ (* im 4/3) 2)))) (+ (pow (exp im) 2) -1) (+ (pow (exp im) 2) -1) (+ 1 (* im (+ (* im 9/2) -3))) (pow (exp im) -3) (pow (exp im) -3) (+ 1 (* im (+ 3 (* im 9/2)))) (pow (exp im) 3) (pow (exp im) 3) (+ 1 (* im (+ 2 (+ im im)))) (pow (exp im) 2) (pow (exp im) 2) 0.780 * * * [progress]: adding candidates to table 0.915 * [progress]: [Phase 3 of 3] Extracting. 0.921 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (/ (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)))) 0.922 * * [simplify]: iteration 0 : 25 enodes (cost 26 ) 0.922 * * [simplify]: iteration 1 : 25 enodes (cost 26 ) 0.922 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (/ (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)))) 3.900 * [regime-testing]: End program error score: 0.09378785160879487