27.981 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.651 * * * [progress]: [2/2] Setting up program. 0.653 * [progress]: [Phase 2 of 3] Improving. 0.653 * [simplify]: Simplifying using # : (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.817 * * [simplify]: iteration 0 : 5291 enodes (cost 18 ) 0.818 * [simplify]: Simplified to: (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 0.819 * * [progress]: iteration 1 / 4 0.819 * * * [progress]: picking best candidate 0.824 * * * * [pick]: Picked # 0.825 * * * [progress]: localizing error 0.834 * * * [progress]: generating rewritten candidates 0.835 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.840 * * * [progress]: generating series expansions 0.840 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.841 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.841 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.841 * [taylor]: Taking taylor expansion of (exp im) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.841 * [taylor]: Taking taylor expansion of (neg im) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.841 * [taylor]: Taking taylor expansion of (exp im) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.841 * [taylor]: Taking taylor expansion of (neg im) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.849 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.849 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.849 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.849 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.849 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.850 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.850 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.850 * [taylor]: Taking taylor expansion of im in im 0.850 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.850 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.850 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.850 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.850 * [taylor]: Taking taylor expansion of im in im 0.850 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.850 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.850 * [taylor]: Taking taylor expansion of im in im 0.853 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.853 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.853 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.853 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.853 * [taylor]: Taking taylor expansion of -1 in im 0.853 * [taylor]: Taking taylor expansion of im in im 0.853 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.853 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.853 * [taylor]: Taking taylor expansion of im in im 0.854 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.854 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.854 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.854 * [taylor]: Taking taylor expansion of -1 in im 0.854 * [taylor]: Taking taylor expansion of im in im 0.854 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.854 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.854 * [taylor]: Taking taylor expansion of im in im 0.856 * * * [progress]: simplifying candidates 0.856 * [simplify]: Simplifying using # : (*.f64 (exp.f64 (exp.f64 (neg.f64 im))) (exp.f64 (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 (*.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))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.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)))) (-.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 (exp.f64 (neg.f64 im)) (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.939 * * [simplify]: iteration 0 : 5061 enodes (cost 212 ) 0.941 * [simplify]: Simplified to: (exp.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))) (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))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (sqrt.f64 (+.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)) (-.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 (*.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.942 * * * [progress]: adding candidates to table 0.952 * * [progress]: iteration 2 / 4 0.952 * * * [progress]: picking best candidate 0.953 * * * * [pick]: Picked # 0.953 * * * [progress]: localizing error 0.964 * * * [progress]: generating rewritten candidates 0.964 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 0.970 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.978 * * * [progress]: generating series expansions 0.978 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 0.978 * [approximate]: Taking taylor expansion of (* 1/12 (pow im 4)) in (im) around 0 0.978 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 0.978 * [taylor]: Taking taylor expansion of 1/12 in im 0.978 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.978 * [taylor]: Taking taylor expansion of im in im 0.978 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 0.978 * [taylor]: Taking taylor expansion of 1/12 in im 0.978 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.978 * [taylor]: Taking taylor expansion of im in im 0.986 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0 0.987 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 0.987 * [taylor]: Taking taylor expansion of 1/12 in im 0.987 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.987 * [taylor]: Taking taylor expansion of im in im 0.987 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 0.987 * [taylor]: Taking taylor expansion of 1/12 in im 0.987 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.987 * [taylor]: Taking taylor expansion of im in im 0.998 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0 0.998 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 0.998 * [taylor]: Taking taylor expansion of 1/12 in im 0.998 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.998 * [taylor]: Taking taylor expansion of im in im 0.998 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im 0.998 * [taylor]: Taking taylor expansion of 1/12 in im 0.998 * [taylor]: Taking taylor expansion of (pow im 4) in im 0.998 * [taylor]: Taking taylor expansion of im in im 1.006 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.006 * [approximate]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in (im) around 0 1.006 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im 1.006 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 1.006 * [taylor]: Taking taylor expansion of 1/12 in im 1.006 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.006 * [taylor]: Taking taylor expansion of im in im 1.006 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im 1.006 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.006 * [taylor]: Taking taylor expansion of im in im 1.006 * [taylor]: Taking taylor expansion of 2 in im 1.006 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im 1.006 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im 1.007 * [taylor]: Taking taylor expansion of 1/12 in im 1.007 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.007 * [taylor]: Taking taylor expansion of im in im 1.007 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im 1.007 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.007 * [taylor]: Taking taylor expansion of im in im 1.007 * [taylor]: Taking taylor expansion of 2 in im 1.009 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in (im) around 0 1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im 1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.009 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.009 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im 1.009 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im 1.009 * [taylor]: Taking taylor expansion of 1/12 in im 1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 1.009 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.009 * [taylor]: Taking taylor expansion of 2 in im 1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im 1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.009 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.009 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im 1.009 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im 1.010 * [taylor]: Taking taylor expansion of 1/12 in im 1.010 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 1.010 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.010 * [taylor]: Taking taylor expansion of im in im 1.010 * [taylor]: Taking taylor expansion of 2 in im 1.017 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in (im) around 0 1.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im 1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.017 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.017 * [taylor]: Taking taylor expansion of im in im 1.018 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im 1.018 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im 1.018 * [taylor]: Taking taylor expansion of 1/12 in im 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 1.018 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.018 * [taylor]: Taking taylor expansion of im in im 1.018 * [taylor]: Taking taylor expansion of 2 in im 1.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.018 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.018 * [taylor]: Taking taylor expansion of im in im 1.018 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im 1.018 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im 1.018 * [taylor]: Taking taylor expansion of 1/12 in im 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im 1.018 * [taylor]: Taking taylor expansion of (pow im 4) in im 1.018 * [taylor]: Taking taylor expansion of im in im 1.018 * [taylor]: Taking taylor expansion of 2 in im 1.026 * * * [progress]: simplifying candidates 1.026 * [simplify]: Simplifying using # : (+.f64 (log.f64 1/12) (*.f64 (log.f64 im) 4)) (+.f64 (log.f64 1/12) (*.f64 (log.f64 im) 4)) (+.f64 (log.f64 1/12) (log.f64 (pow.f64 im 4))) (exp.f64 (*.f64 1/12 (pow.f64 im 4))) (log.f64 (*.f64 1/12 (pow.f64 im 4))) (*.f64 (*.f64 (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4))) (*.f64 1/12 (pow.f64 im 4))) (*.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) (cbrt.f64 (*.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) (*.f64 (*.f64 (*.f64 1/12 1/12) 1/12) (*.f64 (*.f64 (pow.f64 im 4) (pow.f64 im 4)) (pow.f64 im 4))) (sqrt.f64 (*.f64 1/12 (pow.f64 im 4))) (sqrt.f64 (*.f64 1/12 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (pow.f64 (sqrt.f64 im) 4)) (*.f64 (sqrt.f64 1/12) (pow.f64 (sqrt.f64 im) 4)) (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (pow.f64 im (/.f64 4 2))) (*.f64 (sqrt.f64 1/12) (pow.f64 im (/.f64 4 2))) (*.f64 (cbrt.f64 1/12) (pow.f64 im 4)) (*.f64 (sqrt.f64 1/12) (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 im) (cbrt.f64 im)) 4)) (*.f64 1/12 (pow.f64 (sqrt.f64 im) 4)) (*.f64 1/12 (pow.f64 1 4)) (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4)))) (*.f64 1/12 (sqrt.f64 (pow.f64 im 4))) (*.f64 1/12 1) (*.f64 1/12 (pow.f64 im (/.f64 4 2))) (*.f64 (exp.f64 (*.f64 1/12 (pow.f64 im 4))) (*.f64 (exp.f64 2) (exp.f64 (*.f64 im im)))) (*.f64 (exp.f64 (*.f64 1/12 (pow.f64 im 4))) (exp.f64 (+.f64 2 (*.f64 im im)))) (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (log.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (*.f64 (*.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im))) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im))))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im)))) (+.f64 (pow.f64 (*.f64 1/12 (pow.f64 im 4)) 3) (pow.f64 (+.f64 2 (*.f64 im im)) 3)) (+.f64 (*.f64 (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4))) (-.f64 (*.f64 (+.f64 2 (*.f64 im im)) (+.f64 2 (*.f64 im im))) (*.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im))))) (-.f64 (*.f64 (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4))) (*.f64 (+.f64 2 (*.f64 im im)) (+.f64 2 (*.f64 im im)))) (-.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 2 (*.f64 im im))) (+.f64 (*.f64 1/12 (pow.f64 im 4)) 2) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (pow.f64 im 2) 2)) 1.092 * * [simplify]: iteration 0 : 4949 enodes (cost 610 ) 1.092 * * [simplify]: iteration 1 : 4949 enodes (cost 610 ) 1.096 * [simplify]: Simplified to: (log.f64 (*.f64 1/12 (pow.f64 im 4))) (log.f64 (*.f64 1/12 (pow.f64 im 4))) (log.f64 (*.f64 1/12 (pow.f64 im 4))) (exp.f64 (*.f64 1/12 (pow.f64 im 4))) (log.f64 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 (*.f64 1/12 (pow.f64 im 4)) 3) (*.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) (cbrt.f64 (*.f64 1/12 (pow.f64 im 4)))) (cbrt.f64 (*.f64 1/12 (pow.f64 im 4))) (pow.f64 (*.f64 1/12 (pow.f64 im 4)) 3) (sqrt.f64 (*.f64 1/12 (pow.f64 im 4))) (sqrt.f64 (*.f64 1/12 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (*.f64 im im)) (*.f64 (sqrt.f64 1/12) (*.f64 im im)) (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 im 4))) (*.f64 (sqrt.f64 1/12) (*.f64 im im)) (*.f64 (sqrt.f64 1/12) (*.f64 im im)) (*.f64 (pow.f64 im 4) (cbrt.f64 1/12)) (*.f64 (pow.f64 im 4) (sqrt.f64 1/12)) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 im) (cbrt.f64 im)) 4)) (*.f64 1/12 (*.f64 im im)) 1/12 (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4)))) (*.f64 1/12 (sqrt.f64 (pow.f64 im 4))) 1/12 (*.f64 1/12 (*.f64 im im)) (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (log.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (pow.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)) 3) (*.f64 (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2))) (+.f64 (pow.f64 (*.f64 1/12 (pow.f64 im 4)) 3) (pow.f64 (+.f64 (*.f64 im im) 2) 3)) (+.f64 (*.f64 1/144 (pow.f64 im 8)) (*.f64 (+.f64 (*.f64 im im) 2) (-.f64 (+.f64 (*.f64 im im) 2) (*.f64 1/12 (pow.f64 im 4))))) (-.f64 (*.f64 1/144 (pow.f64 im 8)) (*.f64 (+.f64 (*.f64 im im) 2) (+.f64 (*.f64 im im) 2))) (-.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) 2) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4)) (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)) (+.f64 (*.f64 1/12 (pow.f64 im 4)) (+.f64 (*.f64 im im) 2)) 1.096 * * * [progress]: adding candidates to table 1.129 * [progress]: [Phase 3 of 3] Extracting. 1.129 * * [regime]: Finding splitpoints for: (# #) 1.130 * * * [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.130 * * * * [regimes]: Trying to branch on (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) from (# #) 1.139 * * * * [regimes]: Trying to branch on (cos.f64 re) from (# #) 1.146 * * * * [regimes]: Trying to branch on (*.f64 1/2 (cos.f64 re)) from (# #) 1.154 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) from (# #) 1.164 * * * * [regimes]: Trying to branch on im from (# #) 1.173 * * * * [regimes]: Trying to branch on re from (# #) 1.180 * * * [regime]: Found split indices: #