26.087 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.465 * * * [progress]: [2/2] Setting up program. 0.472 * [progress]: [Phase 2 of 3] Improving. 0.472 * [simplify]: Simplifying using # : (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.551 * * [simplify]: iteration 0 : 5208 enodes (cost 18 ) 0.552 * [simplify]: Simplified to: (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.553 * * [progress]: iteration 1 / 4 0.553 * * * [progress]: picking best candidate 0.559 * * * * [pick]: Picked # 0.559 * * * [progress]: localizing error 0.574 * * * [progress]: generating rewritten candidates 0.574 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.580 * * * [progress]: generating series expansions 0.580 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.581 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.581 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.581 * [taylor]: Taking taylor expansion of (exp im) in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.581 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.581 * [taylor]: Taking taylor expansion of (neg im) in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.581 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.581 * [taylor]: Taking taylor expansion of (exp im) in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.581 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.581 * [taylor]: Taking taylor expansion of (neg im) in im 0.581 * [taylor]: Taking taylor expansion of im in im 0.588 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.588 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.588 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.588 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.588 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.588 * [taylor]: Taking taylor expansion of im in im 0.588 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.588 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.589 * [taylor]: Taking taylor expansion of im in im 0.589 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.589 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.589 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.589 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.589 * [taylor]: Taking taylor expansion of im in im 0.589 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.589 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.589 * [taylor]: Taking taylor expansion of im in im 0.591 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.591 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.591 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.591 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.591 * [taylor]: Taking taylor expansion of -1 in im 0.591 * [taylor]: Taking taylor expansion of im in im 0.592 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.592 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.592 * [taylor]: Taking taylor expansion of im in im 0.592 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.592 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.592 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.592 * [taylor]: Taking taylor expansion of -1 in im 0.592 * [taylor]: Taking taylor expansion of im in im 0.592 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.592 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.592 * [taylor]: Taking taylor expansion of im in im 0.594 * * * [progress]: simplifying candidates 0.594 * [simplify]: Simplifying using # : (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im))) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) 0.695 * * [simplify]: iteration 0 : 5316 enodes (cost 212 ) 0.697 * [simplify]: Simplified to: (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)) (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 0.697 * * * [progress]: adding candidates to table 0.748 * * [progress]: iteration 2 / 4 0.748 * * * [progress]: picking best candidate 0.757 * * * * [pick]: Picked # 0.757 * * * [progress]: localizing error 0.784 * * * [progress]: generating rewritten candidates 0.784 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 0.792 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1) 0.800 * * * [progress]: generating series expansions 0.800 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 0.801 * [approximate]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 3) in (im) around 0 0.801 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 3) in im 0.801 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.801 * [taylor]: Taking taylor expansion of (exp im) in im 0.801 * [taylor]: Taking taylor expansion of im in im 0.801 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.801 * [taylor]: Taking taylor expansion of (neg im) in im 0.801 * [taylor]: Taking taylor expansion of im in im 0.801 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 3) in im 0.801 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.801 * [taylor]: Taking taylor expansion of (exp im) in im 0.801 * [taylor]: Taking taylor expansion of im in im 0.802 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.802 * [taylor]: Taking taylor expansion of (neg im) in im 0.802 * [taylor]: Taking taylor expansion of im in im 0.812 * [approximate]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 3) in (im) around 0 0.812 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 3) in im 0.812 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.812 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.812 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.813 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 3) in im 0.813 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.813 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.813 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.813 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.813 * [taylor]: Taking taylor expansion of im in im 0.813 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.813 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.813 * [taylor]: Taking taylor expansion of im in im 0.832 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) in (im) around 0 0.832 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) in im 0.832 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.832 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.832 * [taylor]: Taking taylor expansion of -1 in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.832 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) in im 0.832 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.832 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.832 * [taylor]: Taking taylor expansion of -1 in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.833 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.848 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1) 0.849 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.849 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.849 * [taylor]: Taking taylor expansion of (exp im) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.849 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.849 * [taylor]: Taking taylor expansion of (neg im) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.849 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.849 * [taylor]: Taking taylor expansion of (exp im) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.849 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.849 * [taylor]: Taking taylor expansion of (neg im) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.857 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.857 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.857 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.857 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.857 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.857 * [taylor]: Taking taylor expansion of im in im 0.857 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.857 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.857 * [taylor]: Taking taylor expansion of im in im 0.857 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.857 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.857 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.857 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.857 * [taylor]: Taking taylor expansion of im in im 0.858 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.860 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.860 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.860 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.860 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.860 * [taylor]: Taking taylor expansion of -1 in im 0.860 * [taylor]: Taking taylor expansion of im in im 0.860 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.860 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.860 * [taylor]: Taking taylor expansion of im in im 0.860 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.860 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.860 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.860 * [taylor]: Taking taylor expansion of -1 in im 0.860 * [taylor]: Taking taylor expansion of im in im 0.861 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.861 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.861 * [taylor]: Taking taylor expansion of im in im 0.862 * * * [progress]: simplifying candidates 0.863 * [simplify]: Simplifying using # : (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (/.f64 3 2)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (/.f64 3 2)) (sqrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (sqrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))) 3) (pow.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) 3) (pow.f64 (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 3) (pow.f64 1 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 1 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (pow.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 3) (pow.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (*.f64 (*.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (cbrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3))) (cbrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (exp.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (log.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 1 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 1 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (pow.f64 (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) 3) (pow.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sqrt.f64 3)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (*.f64 1 3) (*.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (*.f64 (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im))) (+.f64 (*.f64 7 (pow.f64 im 4)) (+.f64 (*.f64 12 (pow.f64 im 2)) 8)) (pow.f64 (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) 3) (pow.f64 (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) 3) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2)) (+.f64 (exp.f64 im) (exp.f64 (neg.f64 im))) (+.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) 0.934 * * [simplify]: iteration 0 : 5951 enodes (cost 705 ) 0.939 * [simplify]: Simplified to: (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (sqrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (sqrt.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) (pow.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 2) im)) 3) (pow.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (exp.f64 (*.f64 im -3)) (pow.f64 (exp.f64 im) 3)) 3) (pow.f64 (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 2) im) -1)) 3) 1 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) 1 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (exp.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (log.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) 1 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) 1 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3/2) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 2) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (sqrt.f64 3)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) 3 (log.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (log.f64 (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 2) im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (*.f64 im -3)) (pow.f64 (exp.f64 im) 3)) (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 2) im) -1)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (+.f64 (*.f64 7 (pow.f64 im 4)) (+.f64 (*.f64 12 (*.f64 im im)) 8)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (+.f64 (*.f64 (pow.f64 im 4) 1/12) (+.f64 2 (*.f64 im im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 0.939 * * * [progress]: adding candidates to table 1.065 * * [progress]: iteration 3 / 4 1.065 * * * [progress]: picking best candidate 1.069 * * * * [pick]: Picked # 1.069 * * * [progress]: localizing error 1.093 * * * [progress]: generating rewritten candidates 1.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.099 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.107 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 1.111 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.117 * * * [progress]: generating series expansions 1.117 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.117 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 1.117 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 1.117 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.117 * [taylor]: Taking taylor expansion of (neg im) in im 1.117 * [taylor]: Taking taylor expansion of im in im 1.118 * [taylor]: Taking taylor expansion of (exp im) in im 1.118 * [taylor]: Taking taylor expansion of im in im 1.118 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 1.118 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.118 * [taylor]: Taking taylor expansion of (neg im) in im 1.118 * [taylor]: Taking taylor expansion of im in im 1.118 * [taylor]: Taking taylor expansion of (exp im) in im 1.118 * [taylor]: Taking taylor expansion of im in im 1.132 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.132 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.132 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.132 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.132 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.132 * [taylor]: Taking taylor expansion of im in im 1.132 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.132 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.132 * [taylor]: Taking taylor expansion of im in im 1.133 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.133 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.133 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.133 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.133 * [taylor]: Taking taylor expansion of im in im 1.133 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.133 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.133 * [taylor]: Taking taylor expansion of im in im 1.137 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 1.137 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.137 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.137 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.137 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.137 * [taylor]: Taking taylor expansion of -1 in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.137 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.137 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.137 * [taylor]: Taking taylor expansion of im in im 1.137 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.137 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.137 * [taylor]: Taking taylor expansion of -1 in im 1.138 * [taylor]: Taking taylor expansion of im in im 1.140 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.141 * [approximate]: Taking taylor expansion of (- (pow (exp im) -2) (pow (exp im) 2)) in (im) around 0 1.141 * [taylor]: Taking taylor expansion of (- (pow (exp im) -2) (pow (exp im) 2)) in im 1.141 * [taylor]: Taking taylor expansion of (pow (exp im) -2) in im 1.141 * [taylor]: Taking taylor expansion of (exp im) in im 1.141 * [taylor]: Taking taylor expansion of im in im 1.141 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.141 * [taylor]: Taking taylor expansion of (exp im) in im 1.141 * [taylor]: Taking taylor expansion of im in im 1.141 * [taylor]: Taking taylor expansion of (- (pow (exp im) -2) (pow (exp im) 2)) in im 1.141 * [taylor]: Taking taylor expansion of (pow (exp im) -2) in im 1.141 * [taylor]: Taking taylor expansion of (exp im) in im 1.141 * [taylor]: Taking taylor expansion of im in im 1.142 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.142 * [taylor]: Taking taylor expansion of (exp im) in im 1.142 * [taylor]: Taking taylor expansion of im in im 1.159 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 im)) -2) (pow (exp (/ 1 im)) 2)) in (im) around 0 1.159 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) -2) (pow (exp (/ 1 im)) 2)) in im 1.159 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -2) in im 1.159 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.159 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.159 * [taylor]: Taking taylor expansion of im in im 1.160 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.160 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.160 * [taylor]: Taking taylor expansion of im in im 1.160 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) -2) (pow (exp (/ 1 im)) 2)) in im 1.160 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -2) in im 1.160 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.160 * [taylor]: Taking taylor expansion of im in im 1.160 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.160 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.160 * [taylor]: Taking taylor expansion of im in im 1.183 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 im)) -2) (pow (exp (/ -1 im)) 2)) in (im) around 0 1.183 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) -2) (pow (exp (/ -1 im)) 2)) in im 1.183 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -2) in im 1.183 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.183 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.183 * [taylor]: Taking taylor expansion of -1 in im 1.183 * [taylor]: Taking taylor expansion of im in im 1.183 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.184 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.184 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.184 * [taylor]: Taking taylor expansion of -1 in im 1.184 * [taylor]: Taking taylor expansion of im in im 1.184 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) -2) (pow (exp (/ -1 im)) 2)) in im 1.184 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -2) in im 1.184 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.184 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.184 * [taylor]: Taking taylor expansion of -1 in im 1.184 * [taylor]: Taking taylor expansion of im in im 1.184 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.184 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.184 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.184 * [taylor]: Taking taylor expansion of -1 in im 1.184 * [taylor]: Taking taylor expansion of im in im 1.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 1.202 * [approximate]: Taking taylor expansion of (pow (exp im) 2) in (im) around 0 1.202 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.202 * [taylor]: Taking taylor expansion of (exp im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.202 * [taylor]: Taking taylor expansion of (exp im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.204 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in (im) around 0 1.204 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.204 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.204 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.204 * [taylor]: Taking taylor expansion of im in im 1.204 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.204 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.204 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.204 * [taylor]: Taking taylor expansion of im in im 1.209 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in (im) around 0 1.209 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.209 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.209 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.209 * [taylor]: Taking taylor expansion of -1 in im 1.209 * [taylor]: Taking taylor expansion of im in im 1.210 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.210 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.210 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.210 * [taylor]: Taking taylor expansion of -1 in im 1.210 * [taylor]: Taking taylor expansion of im in im 1.214 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1.214 * [approximate]: Taking taylor expansion of (pow (exp im) -2) in (im) around 0 1.214 * [taylor]: Taking taylor expansion of (pow (exp im) -2) in im 1.214 * [taylor]: Taking taylor expansion of (exp im) in im 1.214 * [taylor]: Taking taylor expansion of im in im 1.214 * [taylor]: Taking taylor expansion of (pow (exp im) -2) in im 1.214 * [taylor]: Taking taylor expansion of (exp im) in im 1.214 * [taylor]: Taking taylor expansion of im in im 1.217 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) -2) in (im) around 0 1.217 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -2) in im 1.217 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.217 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.217 * [taylor]: Taking taylor expansion of im in im 1.217 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) -2) in im 1.217 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.217 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.217 * [taylor]: Taking taylor expansion of im in im 1.229 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) -2) in (im) around 0 1.229 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -2) in im 1.229 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.229 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.229 * [taylor]: Taking taylor expansion of -1 in im 1.229 * [taylor]: Taking taylor expansion of im in im 1.229 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) -2) in im 1.229 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.229 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.229 * [taylor]: Taking taylor expansion of -1 in im 1.229 * [taylor]: Taking taylor expansion of im in im 1.240 * * * [progress]: simplifying candidates 1.241 * [simplify]: Simplifying using # : (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (*.f64 (exp.f64 im) (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (neg.f64 (exp.f64 im)) (-.f64 (pow.f64 (exp.f64 (neg.f64 im)) 3) (pow.f64 (exp.f64 im) 3)) (+.f64 (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (+.f64 (*.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (*.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (/.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (exp.f64 im))) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (pow.f64 (exp.f64 im) (/.f64 2 2))) (-.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (pow.f64 (exp.f64 im) (/.f64 2 2))) (+.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (-.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (+.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (exp.f64 im)) (-.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (exp.f64 im)) (+.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (-.f64 (pow.f64 (exp.f64 im) (/.f64 -2 2)) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (pow.f64 (exp.f64 im) (/.f64 2 2))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (pow.f64 (exp.f64 im) (/.f64 2 2))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (exp.f64 im)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (exp.f64 im)) (+.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (+.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (exp.f64 im) (/.f64 2 2))) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (exp.f64 im) (/.f64 2 2))) (+.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (sqrt.f64 (pow.f64 (exp.f64 im) 2))) (+.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (exp.f64 im)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (exp.f64 im)) (+.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (sqrt.f64 (exp.f64 im)) 2)) (-.f64 (*.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) -2)) (*.f64 (pow.f64 (exp.f64 im) 2) (pow.f64 (exp.f64 im) 2))) (+.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (neg.f64 (pow.f64 (exp.f64 im) 2)) (-.f64 (pow.f64 (pow.f64 (exp.f64 im) -2) 3) (pow.f64 (pow.f64 (exp.f64 im) 2) 3)) (+.f64 (*.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) -2)) (+.f64 (*.f64 (pow.f64 (exp.f64 im) 2) (pow.f64 (exp.f64 im) 2)) (*.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (*.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (exp.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (log.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (/.f64 (exp.f64 (pow.f64 (exp.f64 im) -2)) (exp.f64 (pow.f64 (exp.f64 im) 2))) (pow.f64 (exp.f64 im) (/.f64 2 2)) (pow.f64 (exp.f64 im) (/.f64 2 2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2)) (sqrt.f64 (pow.f64 (exp.f64 im) 2)) (*.f64 (*.f64 (pow.f64 (exp.f64 im) 2) (pow.f64 (exp.f64 im) 2)) (pow.f64 (exp.f64 im) 2)) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) 2)) (cbrt.f64 (pow.f64 (exp.f64 im) 2))) (cbrt.f64 (pow.f64 (exp.f64 im) 2)) (exp.f64 (pow.f64 (exp.f64 im) 2)) (log.f64 (pow.f64 (exp.f64 im) 2)) (pow.f64 1 2) (pow.f64 (exp.f64 im) 2) (pow.f64 (sqrt.f64 (exp.f64 im)) 2) (pow.f64 (sqrt.f64 (exp.f64 im)) 2) (pow.f64 (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im))) 2) (pow.f64 (cbrt.f64 (exp.f64 im)) 2) (pow.f64 (exp.f64 im) 1) (pow.f64 (exp.f64 im) (sqrt.f64 2)) (pow.f64 (exp.f64 im) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (*.f64 im 2) (*.f64 (sqrt.f64 im) 2) (*.f64 (cbrt.f64 im) 2) (*.f64 1 2) (*.f64 (log.f64 (exp.f64 im)) 2) (*.f64 im 2) (pow.f64 (exp.f64 im) (/.f64 -2 2)) (pow.f64 (exp.f64 im) (/.f64 -2 2)) (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (sqrt.f64 (pow.f64 (exp.f64 im) -2)) (*.f64 (*.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) -2)) (pow.f64 (exp.f64 im) -2)) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) -2)) (cbrt.f64 (pow.f64 (exp.f64 im) -2))) (cbrt.f64 (pow.f64 (exp.f64 im) -2)) (exp.f64 (pow.f64 (exp.f64 im) -2)) (log.f64 (pow.f64 (exp.f64 im) -2)) (pow.f64 1 -2) (pow.f64 (exp.f64 im) -2) (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (sqrt.f64 (exp.f64 im)) -2) (pow.f64 (*.f64 (cbrt.f64 (exp.f64 im)) (cbrt.f64 (exp.f64 im))) -2) (pow.f64 (cbrt.f64 (exp.f64 im)) -2) (pow.f64 (exp.f64 im) 1) (pow.f64 (exp.f64 im) (sqrt.f64 -2)) (pow.f64 (exp.f64 im) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2))) (*.f64 im -2) (*.f64 (sqrt.f64 im) -2) (*.f64 (cbrt.f64 im) -2) (*.f64 1 -2) (*.f64 (log.f64 (exp.f64 im)) -2) (*.f64 im -2) (neg.f64 (+.f64 (*.f64 1/3 (pow.f64 im 3)) (+.f64 (*.f64 1/60 (pow.f64 im 5)) (*.f64 2 im)))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (neg.f64 (+.f64 (*.f64 8/3 (pow.f64 im 3)) (+.f64 (*.f64 8/15 (pow.f64 im 5)) (*.f64 4 im)))) (-.f64 (/.f64 1 (pow.f64 (exp.f64 im) 2)) (pow.f64 (exp.f64 im) 2)) (-.f64 (/.f64 1 (pow.f64 (exp.f64 im) 2)) (pow.f64 (exp.f64 im) 2)) (+.f64 (*.f64 2 im) (+.f64 (*.f64 2 (pow.f64 im 2)) 1)) (pow.f64 (exp.f64 im) 2) (pow.f64 (exp.f64 im) 2) (-.f64 (+.f64 (*.f64 2 (pow.f64 im 2)) 1) (*.f64 2 im)) (/.f64 1 (pow.f64 (exp.f64 im) 2)) (/.f64 1 (pow.f64 (exp.f64 im) 2)) 1.297 * * [simplify]: iteration 0 : 4923 enodes (cost 1142 ) 1.298 * * [simplify]: iteration 1 : 4923 enodes (cost 1142 ) 1.305 * [simplify]: Simplified to: (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (sqrt.f64 (exp.f64 (neg.f64 im))) (sqrt.f64 (exp.f64 im))) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (neg.f64 (exp.f64 im)) (-.f64 (exp.f64 (*.f64 im -3)) (pow.f64 (exp.f64 im) 3)) (+.f64 (pow.f64 (exp.f64 im) -2) (+.f64 (pow.f64 (exp.f64 im) 2) 1)) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (pow.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 3) (*.f64 (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (log.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (exp.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (fabs.f64 (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (fabs.f64 (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 im) (fabs.f64 (exp.f64 (neg.f64 im)))) (-.f64 (fabs.f64 (exp.f64 (neg.f64 im))) (exp.f64 im)) (+.f64 (fabs.f64 (exp.f64 im)) (fabs.f64 (exp.f64 (neg.f64 im)))) (-.f64 (fabs.f64 (exp.f64 (neg.f64 im))) (fabs.f64 (exp.f64 im))) (+.f64 (exp.f64 im) (fabs.f64 (exp.f64 (neg.f64 im)))) (-.f64 (fabs.f64 (exp.f64 (neg.f64 im))) (exp.f64 im)) (+.f64 (exp.f64 im) (fabs.f64 (exp.f64 (neg.f64 im)))) (-.f64 (fabs.f64 (exp.f64 (neg.f64 im))) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (fabs.f64 (exp.f64 im))) (-.f64 (exp.f64 (neg.f64 im)) (fabs.f64 (exp.f64 im))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (pow.f64 (exp.f64 im) -4) (pow.f64 (exp.f64 im) 4)) (+.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (neg.f64 (pow.f64 (exp.f64 im) 2)) (-.f64 (pow.f64 (exp.f64 (neg.f64 im)) 6) (pow.f64 (exp.f64 im) 6)) (+.f64 (pow.f64 (exp.f64 im) -4) (+.f64 1 (pow.f64 (exp.f64 im) 4))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (sqrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (pow.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) 3) (*.f64 (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))) (cbrt.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (exp.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (log.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (exp.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (exp.f64 im) (exp.f64 im) (fabs.f64 (exp.f64 im)) (fabs.f64 (exp.f64 im)) (pow.f64 (exp.f64 im) 6) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) 2)) (cbrt.f64 (pow.f64 (exp.f64 im) 2))) (cbrt.f64 (pow.f64 (exp.f64 im) 2)) (exp.f64 (pow.f64 (exp.f64 im) 2)) (+.f64 im im) 1 (pow.f64 (exp.f64 im) 2) (exp.f64 im) (exp.f64 im) (pow.f64 (cbrt.f64 (exp.f64 im)) 4) (pow.f64 (cbrt.f64 (exp.f64 im)) 2) (exp.f64 im) (pow.f64 (exp.f64 im) (sqrt.f64 2)) (pow.f64 (exp.f64 im) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (+.f64 im im) (*.f64 2 (sqrt.f64 im)) (*.f64 2 (cbrt.f64 im)) 2 (+.f64 im im) (+.f64 im im) (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im)) (fabs.f64 (exp.f64 (neg.f64 im))) (fabs.f64 (exp.f64 (neg.f64 im))) (pow.f64 (exp.f64 (neg.f64 im)) 6) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 im) -2)) (cbrt.f64 (pow.f64 (exp.f64 im) -2))) (cbrt.f64 (pow.f64 (exp.f64 im) -2)) (exp.f64 (pow.f64 (exp.f64 im) -2)) (*.f64 im -2) 1 (pow.f64 (exp.f64 im) -2) (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im)) (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 im)) 2) -2) (pow.f64 (cbrt.f64 (exp.f64 im)) -2) (exp.f64 im) (pow.f64 (exp.f64 im) (sqrt.f64 -2)) (pow.f64 (exp.f64 im) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2))) (*.f64 im -2) (*.f64 -2 (sqrt.f64 im)) (*.f64 -2 (cbrt.f64 im)) -2 (*.f64 im -2) (*.f64 im -2) (-.f64 (*.f64 im -2) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (*.f64 im -4) (+.f64 (*.f64 (pow.f64 im 3) 8/3) (*.f64 (pow.f64 im 5) 8/15))) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (+.f64 1 (*.f64 im (+.f64 2 (+.f64 im im)))) (pow.f64 (exp.f64 im) 2) (pow.f64 (exp.f64 im) 2) (+.f64 1 (*.f64 im (-.f64 (+.f64 im im) 2))) (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) -2) 1.305 * * * [progress]: adding candidates to table 1.432 * [progress]: [Phase 3 of 3] Extracting. 1.432 * * [regime]: Finding splitpoints for: (# # #) 1.433 * * * [regime-changes]: Trying 6 branch expressions: ((+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (cos.f64 re) (*.f64 1/2 (cos.f64 re)) (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) im re) 1.433 * * * * [regimes]: Trying to branch on (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) from (# # #) 1.478 * * * * [regimes]: Trying to branch on (cos.f64 re) from (# # #) 1.535 * * * * [regimes]: Trying to branch on (*.f64 1/2 (cos.f64 re)) from (# # #) 1.594 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) from (# # #) 1.651 * * * * [regimes]: Trying to branch on im from (# # #) 1.717 * * * * [regimes]: Trying to branch on re from (# # #) 1.781 * * * [regime]: Found split indices: #