29.400 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.124 * * * [progress]: [2/2] Setting up program. 0.127 * [progress]: [Phase 2 of 3] Improving. 0.127 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 0.128 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.129 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.132 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 0.137 * * [simplify]: iteration 3 : 83 enodes (cost 11 ) 0.155 * * [simplify]: iteration 4 : 151 enodes (cost 11 ) 0.184 * * [simplify]: iteration 5 : 368 enodes (cost 11 ) 0.306 * * [simplify]: iteration 6 : 628 enodes (cost 11 ) 0.848 * * [simplify]: iteration 7 : 890 enodes (cost 11 ) 1.508 * * [simplify]: iteration 8 : 1683 enodes (cost 11 ) 2.962 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 2.962 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 2.962 * * [progress]: iteration 1 / 4 2.962 * * * [progress]: picking best candidate 2.965 * * * * [pick]: Picked # 2.965 * * * [progress]: localizing error 2.974 * * * [progress]: generating rewritten candidates 2.974 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.991 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.024 * * * [progress]: generating series expansions 3.024 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.024 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 3.025 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.025 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.025 * [taylor]: Taking taylor expansion of (- im) in im 3.025 * [taylor]: Taking taylor expansion of im in im 3.025 * [taylor]: Taking taylor expansion of (exp im) in im 3.025 * [taylor]: Taking taylor expansion of im in im 3.025 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.025 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.026 * [taylor]: Taking taylor expansion of (- im) in im 3.026 * [taylor]: Taking taylor expansion of im in im 3.026 * [taylor]: Taking taylor expansion of (exp im) in im 3.026 * [taylor]: Taking taylor expansion of im in im 3.051 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 3.051 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.051 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.051 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.051 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.051 * [taylor]: Taking taylor expansion of im in im 3.051 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.051 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.051 * [taylor]: Taking taylor expansion of im in im 3.052 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.052 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.052 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.052 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.052 * [taylor]: Taking taylor expansion of im in im 3.052 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.052 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.052 * [taylor]: Taking taylor expansion of im in im 3.056 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 3.056 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.056 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.056 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.056 * [taylor]: Taking taylor expansion of im in im 3.056 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.056 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.056 * [taylor]: Taking taylor expansion of -1 in im 3.056 * [taylor]: Taking taylor expansion of im in im 3.057 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.057 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.057 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.057 * [taylor]: Taking taylor expansion of im in im 3.057 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.057 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.057 * [taylor]: Taking taylor expansion of -1 in im 3.057 * [taylor]: Taking taylor expansion of im in im 3.060 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.061 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in (re im) around 0 3.061 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in im 3.061 * [taylor]: Taking taylor expansion of 0.5 in im 3.061 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in im 3.061 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.061 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.061 * [taylor]: Taking taylor expansion of (- im) in im 3.061 * [taylor]: Taking taylor expansion of im in im 3.061 * [taylor]: Taking taylor expansion of (exp im) in im 3.061 * [taylor]: Taking taylor expansion of im in im 3.061 * [taylor]: Taking taylor expansion of (sin re) in im 3.061 * [taylor]: Taking taylor expansion of re in im 3.061 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re 3.061 * [taylor]: Taking taylor expansion of 0.5 in re 3.061 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re 3.061 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 3.061 * [taylor]: Taking taylor expansion of (exp (- im)) in re 3.061 * [taylor]: Taking taylor expansion of (- im) in re 3.061 * [taylor]: Taking taylor expansion of im in re 3.062 * [taylor]: Taking taylor expansion of (exp im) in re 3.062 * [taylor]: Taking taylor expansion of im in re 3.062 * [taylor]: Taking taylor expansion of (sin re) in re 3.062 * [taylor]: Taking taylor expansion of re in re 3.062 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re 3.062 * [taylor]: Taking taylor expansion of 0.5 in re 3.062 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re 3.062 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 3.062 * [taylor]: Taking taylor expansion of (exp (- im)) in re 3.062 * [taylor]: Taking taylor expansion of (- im) in re 3.062 * [taylor]: Taking taylor expansion of im in re 3.062 * [taylor]: Taking taylor expansion of (exp im) in re 3.062 * [taylor]: Taking taylor expansion of im in re 3.062 * [taylor]: Taking taylor expansion of (sin re) in re 3.062 * [taylor]: Taking taylor expansion of re in re 3.062 * [taylor]: Taking taylor expansion of 0 in im 3.065 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im 3.065 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 3.065 * [taylor]: Taking taylor expansion of 0.5 in im 3.065 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.065 * [taylor]: Taking taylor expansion of (- im) in im 3.065 * [taylor]: Taking taylor expansion of im in im 3.066 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 3.066 * [taylor]: Taking taylor expansion of 0.5 in im 3.066 * [taylor]: Taking taylor expansion of (exp im) in im 3.066 * [taylor]: Taking taylor expansion of im in im 3.074 * [taylor]: Taking taylor expansion of 0 in im 3.084 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 3.084 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 3.084 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 3.084 * [taylor]: Taking taylor expansion of (exp im) in im 3.084 * [taylor]: Taking taylor expansion of im in im 3.084 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 3.085 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 3.085 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.085 * [taylor]: Taking taylor expansion of (- im) in im 3.085 * [taylor]: Taking taylor expansion of im in im 3.099 * [taylor]: Taking taylor expansion of 0 in im 3.099 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 3.099 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 3.099 * [taylor]: Taking taylor expansion of 0.5 in im 3.099 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 3.099 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.099 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.100 * [taylor]: Taking taylor expansion of re in im 3.100 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.100 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.100 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.100 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.100 * [taylor]: Taking taylor expansion of im in im 3.100 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.100 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.100 * [taylor]: Taking taylor expansion of im in im 3.101 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 3.101 * [taylor]: Taking taylor expansion of 0.5 in re 3.101 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 3.101 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.101 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.101 * [taylor]: Taking taylor expansion of re in re 3.101 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 3.101 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 3.101 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 3.101 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.101 * [taylor]: Taking taylor expansion of im in re 3.101 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.101 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.101 * [taylor]: Taking taylor expansion of im in re 3.101 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 3.101 * [taylor]: Taking taylor expansion of 0.5 in re 3.101 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 3.101 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.101 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.101 * [taylor]: Taking taylor expansion of re in re 3.102 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 3.102 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 3.102 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 3.102 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.102 * [taylor]: Taking taylor expansion of im in re 3.102 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.102 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.102 * [taylor]: Taking taylor expansion of im in re 3.102 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 3.102 * [taylor]: Taking taylor expansion of 0.5 in im 3.102 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 3.103 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.103 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.103 * [taylor]: Taking taylor expansion of re in im 3.103 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.103 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.103 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.103 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.103 * [taylor]: Taking taylor expansion of im in im 3.103 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.103 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.103 * [taylor]: Taking taylor expansion of im in im 3.107 * [taylor]: Taking taylor expansion of 0 in im 3.113 * [taylor]: Taking taylor expansion of 0 in im 3.122 * [taylor]: Taking taylor expansion of 0 in im 3.122 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 3.122 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 3.122 * [taylor]: Taking taylor expansion of 0.5 in im 3.122 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 3.122 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.122 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.122 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.122 * [taylor]: Taking taylor expansion of im in im 3.123 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.123 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.123 * [taylor]: Taking taylor expansion of -1 in im 3.123 * [taylor]: Taking taylor expansion of im in im 3.123 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.123 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.123 * [taylor]: Taking taylor expansion of -1 in im 3.123 * [taylor]: Taking taylor expansion of re in im 3.123 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 3.123 * [taylor]: Taking taylor expansion of 0.5 in re 3.123 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 3.123 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.123 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.123 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.123 * [taylor]: Taking taylor expansion of im in re 3.123 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.123 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.123 * [taylor]: Taking taylor expansion of -1 in re 3.123 * [taylor]: Taking taylor expansion of im in re 3.123 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.123 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.124 * [taylor]: Taking taylor expansion of -1 in re 3.124 * [taylor]: Taking taylor expansion of re in re 3.124 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 3.124 * [taylor]: Taking taylor expansion of 0.5 in re 3.124 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 3.124 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.124 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.124 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.124 * [taylor]: Taking taylor expansion of im in re 3.124 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.124 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.124 * [taylor]: Taking taylor expansion of -1 in re 3.124 * [taylor]: Taking taylor expansion of im in re 3.124 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.124 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.124 * [taylor]: Taking taylor expansion of -1 in re 3.124 * [taylor]: Taking taylor expansion of re in re 3.125 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 3.125 * [taylor]: Taking taylor expansion of 0.5 in im 3.125 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 3.125 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.125 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.125 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.125 * [taylor]: Taking taylor expansion of im in im 3.125 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.125 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.125 * [taylor]: Taking taylor expansion of -1 in im 3.125 * [taylor]: Taking taylor expansion of im in im 3.126 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.126 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.126 * [taylor]: Taking taylor expansion of -1 in im 3.126 * [taylor]: Taking taylor expansion of re in im 3.129 * [taylor]: Taking taylor expansion of 0 in im 3.134 * [taylor]: Taking taylor expansion of 0 in im 3.142 * [taylor]: Taking taylor expansion of 0 in im 3.142 * * * [progress]: simplifying candidates 3.144 * [simplify]: Simplifying using # : (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im))))) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (exp im) 1))) (fma (- (exp im)) 1 (* (exp im) 1)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im))))) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (exp im) 1))) (fma (- (exp im)) 1 (* (exp im) 1)) (fma 1 (exp (- im)) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (fma 1 (exp (- im)) (- (* (sqrt (exp im)) (sqrt (exp im))))) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (fma 1 (exp (- im)) (- (* (exp im) 1))) (fma (- (exp im)) 1 (* (exp im) 1)) (expm1 (- (exp (- im)) (exp im))) (log1p (- (exp (- im)) (exp im))) (- (exp im)) (- (exp im)) (- (exp im)) (/ (exp (exp (- im))) (exp (exp im))) (log (- (exp (- im)) (exp im))) (exp (- (exp (- im)) (exp im))) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))) (cbrt (- (exp (- im)) (exp im))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (- (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (exp im)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (+ (exp (- im)) (exp im)) (+ (sqrt (exp (- im))) (sqrt (exp im))) (- (sqrt (exp (- im))) (sqrt (exp im))) (- (exp (- im)) (exp im)) (- (exp im)) (expm1 (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (- (exp (- im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))) (* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* (* 0.5 (sin re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im)))))) (* (* 0.5 (sin re)) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im))))) (* (* 0.5 (sin re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (exp im) 1)))) (* (* 0.5 (sin re)) (fma (- (exp im)) 1 (* (exp im) 1))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))) (* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im)))))) (* (* 0.5 (sin re)) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im))))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (exp im) 1)))) (* (* 0.5 (sin re)) (fma (- (exp im)) 1 (* (exp im) 1))) (* (* 0.5 (sin re)) (fma 1 (exp (- im)) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))) (* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* (* 0.5 (sin re)) (fma 1 (exp (- im)) (- (* (sqrt (exp im)) (sqrt (exp im)))))) (* (* 0.5 (sin re)) (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im))))) (* (* 0.5 (sin re)) (fma 1 (exp (- im)) (- (* (exp im) 1)))) (* (* 0.5 (sin re)) (fma (- (exp im)) 1 (* (exp im) 1))) (* (* 0.5 (sin re)) (exp (- im))) (* (* 0.5 (sin re)) (- (exp im))) (* (* 0.5 (sin re)) (exp (- im))) (* (* 0.5 (sin re)) (- (exp im))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* 0.5 (sin re))) (* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im))))) (* 0.5 (sin re))) (* (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (* (exp im) 1))) (* 0.5 (sin re))) (* (fma (- (exp im)) 1 (* (exp im) 1)) (* 0.5 (sin re))) (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* 0.5 (sin re))) (* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (sin re))) (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (sqrt (exp im)) (sqrt (exp im))))) (* 0.5 (sin re))) (* (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (* 0.5 (sin re))) (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (- (* (exp im) 1))) (* 0.5 (sin re))) (* (fma (- (exp im)) 1 (* (exp im) 1)) (* 0.5 (sin re))) (* (fma 1 (exp (- im)) (- (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) (* 0.5 (sin re))) (* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (sin re))) (* (fma 1 (exp (- im)) (- (* (sqrt (exp im)) (sqrt (exp im))))) (* 0.5 (sin re))) (* (fma (- (sqrt (exp im))) (sqrt (exp im)) (* (sqrt (exp im)) (sqrt (exp im)))) (* 0.5 (sin re))) (* (fma 1 (exp (- im)) (- (* (exp im) 1))) (* 0.5 (sin re))) (* (fma (- (exp im)) 1 (* (exp im) 1)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (- (exp im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (- (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (- im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (- im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 3.149 * * [simplify]: iteration 0 : 145 enodes (cost 1741 ) 3.177 * * [simplify]: iteration 1 : 379 enodes (cost 1397 ) 3.266 * * [simplify]: iteration 2 : 1455 enodes (cost 1101 ) 3.877 * * [simplify]: iteration done : 5000 enodes (cost 1101 ) 3.878 * [simplify]: Simplified to: (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* (exp im) 0) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* (exp im) 0) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (- (exp (- im)) (exp im)) (* (exp im) 0) (expm1 (- (exp (- im)) (exp im))) (log1p (- (exp (- im)) (exp im))) (- (exp im)) (- (exp im)) (- (exp im)) (exp (- (exp (- im)) (exp im))) (log (- (exp (- im)) (exp im))) (exp (- (exp (- im)) (exp im))) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))) (cbrt (- (exp (- im)) (exp im))) (pow (- (exp (- im)) (exp im)) 3) (sqrt (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (- (pow (exp (- im)) 3) (pow (exp im) 3)) (fma (exp im) (+ (exp (- im)) (exp im)) (exp (* im -2))) (- (exp im)) (- (exp (* im -2)) (exp (+ im im))) (+ (exp (- im)) (exp im)) (+ (sqrt (exp (- im))) (sqrt (exp im))) (- (sqrt (exp (- im))) (sqrt (exp im))) (- (exp (- im)) (exp im)) (- (exp im)) (expm1 (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (pow (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) 3) (pow (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) 3) (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (pow (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) 3) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))) (* (* 0.5 (sin re)) (- (exp im))) (* 0.5 (/ (sin re) (exp im))) (* (* 0.5 (sin re)) (- (exp im))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (- (exp im))) (* 0.5 (sin re))) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* (exp im) 0) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))) (* (* 0.5 (sin re)) (- (exp im))) (* 0.5 (/ (sin re) (exp im))) (* (* 0.5 (sin re)) (- (exp im))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im)))) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im)))) (* 0.5 (sin re)) (* (sin re) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (- im)) 3) (pow (exp im) 3))) (* (- (exp (* im -2)) (exp (+ im im))) (* 0.5 (sin re))) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im)) (* -1.0 (* re im)) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) (* (* 0.5 (- (exp (- im)) (exp im))) (sin re)) 3.879 * * * [progress]: adding candidates to table 4.030 * * [progress]: iteration 2 / 4 4.030 * * * [progress]: picking best candidate 4.037 * * * * [pick]: Picked # 4.037 * * * [progress]: localizing error 4.052 * * * [progress]: generating rewritten candidates 4.052 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 4.061 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 4.062 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 3) 4.063 * * * [progress]: generating series expansions 4.063 * * * * [progress]: [ 1 / 3 ] generating series at (2) 4.063 * [approximate]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re))) in (re im) around 0 4.063 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re))) in im 4.063 * [taylor]: Taking taylor expansion of -0.5 in im 4.063 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re)) in im 4.063 * [taylor]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in im 4.064 * [taylor]: Rewrote expression to (+ (* 1/3 (pow im 3)) (fma 1/60 (pow im 5) (* 2 im))) 4.064 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 4.064 * [taylor]: Taking taylor expansion of 1/3 in im 4.064 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.064 * [taylor]: Taking taylor expansion of im in im 4.064 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in im 4.064 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.064 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 4.064 * [taylor]: Taking taylor expansion of 1/60 in im 4.064 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.064 * [taylor]: Taking taylor expansion of im in im 4.064 * [taylor]: Taking taylor expansion of (* 2 im) in im 4.064 * [taylor]: Taking taylor expansion of 2 in im 4.064 * [taylor]: Taking taylor expansion of im in im 4.064 * [taylor]: Taking taylor expansion of (sin re) in im 4.064 * [taylor]: Taking taylor expansion of re in im 4.064 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re))) in re 4.064 * [taylor]: Taking taylor expansion of -0.5 in re 4.064 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re)) in re 4.064 * [taylor]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in re 4.064 * [taylor]: Rewrote expression to (+ (* 1/3 (pow im 3)) (fma 1/60 (pow im 5) (* 2 im))) 4.064 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 4.064 * [taylor]: Taking taylor expansion of 1/3 in re 4.064 * [taylor]: Taking taylor expansion of (pow im 3) in re 4.064 * [taylor]: Taking taylor expansion of im in re 4.064 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in re 4.064 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.064 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 4.064 * [taylor]: Taking taylor expansion of 1/60 in re 4.064 * [taylor]: Taking taylor expansion of (pow im 5) in re 4.064 * [taylor]: Taking taylor expansion of im in re 4.064 * [taylor]: Taking taylor expansion of (* 2 im) in re 4.064 * [taylor]: Taking taylor expansion of 2 in re 4.064 * [taylor]: Taking taylor expansion of im in re 4.064 * [taylor]: Taking taylor expansion of (sin re) in re 4.064 * [taylor]: Taking taylor expansion of re in re 4.064 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re))) in re 4.064 * [taylor]: Taking taylor expansion of -0.5 in re 4.064 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (sin re)) in re 4.064 * [taylor]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in re 4.065 * [taylor]: Rewrote expression to (+ (* 1/3 (pow im 3)) (fma 1/60 (pow im 5) (* 2 im))) 4.065 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 4.065 * [taylor]: Taking taylor expansion of 1/3 in re 4.065 * [taylor]: Taking taylor expansion of (pow im 3) in re 4.065 * [taylor]: Taking taylor expansion of im in re 4.065 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in re 4.065 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.065 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 4.065 * [taylor]: Taking taylor expansion of 1/60 in re 4.065 * [taylor]: Taking taylor expansion of (pow im 5) in re 4.065 * [taylor]: Taking taylor expansion of im in re 4.065 * [taylor]: Taking taylor expansion of (* 2 im) in re 4.065 * [taylor]: Taking taylor expansion of 2 in re 4.065 * [taylor]: Taking taylor expansion of im in re 4.065 * [taylor]: Taking taylor expansion of (sin re) in re 4.065 * [taylor]: Taking taylor expansion of re in re 4.066 * [taylor]: Taking taylor expansion of 0 in im 4.070 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im 4.070 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 4.070 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 4.070 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 4.070 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.070 * [taylor]: Taking taylor expansion of im in im 4.070 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 4.070 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 4.070 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 4.070 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.070 * [taylor]: Taking taylor expansion of im in im 4.070 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 4.070 * [taylor]: Taking taylor expansion of 1.0 in im 4.070 * [taylor]: Taking taylor expansion of im in im 4.077 * [taylor]: Taking taylor expansion of 0 in im 4.087 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im 4.087 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 4.087 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 4.087 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.087 * [taylor]: Taking taylor expansion of im in im 4.087 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im 4.087 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 4.087 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 4.087 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.087 * [taylor]: Taking taylor expansion of im in im 4.087 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 4.087 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 4.087 * [taylor]: Taking taylor expansion of im in im 4.100 * [taylor]: Taking taylor expansion of 0 in im 4.101 * [approximate]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re)))) in (re im) around 0 4.101 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re)))) in im 4.101 * [taylor]: Taking taylor expansion of -0.5 in im 4.101 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re))) in im 4.101 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in im 4.101 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 im) 3)) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) 4.101 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 im) 3)) in im 4.101 * [taylor]: Taking taylor expansion of 1/3 in im 4.101 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 4.101 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.101 * [taylor]: Taking taylor expansion of im in im 4.101 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in im 4.101 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.101 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in im 4.101 * [taylor]: Taking taylor expansion of 1/60 in im 4.101 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in im 4.101 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.101 * [taylor]: Taking taylor expansion of im in im 4.102 * [taylor]: Taking taylor expansion of (/ 2 im) in im 4.102 * [taylor]: Taking taylor expansion of 2 in im 4.102 * [taylor]: Taking taylor expansion of im in im 4.102 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.102 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.102 * [taylor]: Taking taylor expansion of re in im 4.102 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re)))) in re 4.102 * [taylor]: Taking taylor expansion of -0.5 in re 4.102 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re))) in re 4.102 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in re 4.102 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 im) 3)) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) 4.102 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 im) 3)) in re 4.102 * [taylor]: Taking taylor expansion of 1/3 in re 4.102 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 4.102 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.102 * [taylor]: Taking taylor expansion of im in re 4.103 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in re 4.103 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.103 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in re 4.103 * [taylor]: Taking taylor expansion of 1/60 in re 4.103 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in re 4.103 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.103 * [taylor]: Taking taylor expansion of im in re 4.103 * [taylor]: Taking taylor expansion of (/ 2 im) in re 4.103 * [taylor]: Taking taylor expansion of 2 in re 4.103 * [taylor]: Taking taylor expansion of im in re 4.103 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.103 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.103 * [taylor]: Taking taylor expansion of re in re 4.103 * [taylor]: Taking taylor expansion of (* -0.5 (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re)))) in re 4.103 * [taylor]: Taking taylor expansion of -0.5 in re 4.103 * [taylor]: Taking taylor expansion of (* (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) (sin (/ 1 re))) in re 4.103 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in re 4.103 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 im) 3)) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) 4.103 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 im) 3)) in re 4.103 * [taylor]: Taking taylor expansion of 1/3 in re 4.103 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 4.103 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.103 * [taylor]: Taking taylor expansion of im in re 4.103 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in re 4.104 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.104 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in re 4.104 * [taylor]: Taking taylor expansion of 1/60 in re 4.104 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in re 4.104 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.104 * [taylor]: Taking taylor expansion of im in re 4.104 * [taylor]: Taking taylor expansion of (/ 2 im) in re 4.104 * [taylor]: Taking taylor expansion of 2 in re 4.104 * [taylor]: Taking taylor expansion of im in re 4.104 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.104 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.104 * [taylor]: Taking taylor expansion of re in re 4.105 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 4.105 * [taylor]: Taking taylor expansion of -0.5 in im 4.105 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 4.105 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.106 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.106 * [taylor]: Taking taylor expansion of re in im 4.106 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 4.106 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 4.106 * [taylor]: Taking taylor expansion of 2 in im 4.106 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.106 * [taylor]: Taking taylor expansion of im in im 4.106 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 4.106 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 4.106 * [taylor]: Taking taylor expansion of 1/3 in im 4.106 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 4.106 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.106 * [taylor]: Taking taylor expansion of im in im 4.107 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 4.107 * [taylor]: Taking taylor expansion of 1/60 in im 4.107 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 4.107 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.107 * [taylor]: Taking taylor expansion of im in im 4.115 * [taylor]: Taking taylor expansion of 0 in im 4.125 * [taylor]: Taking taylor expansion of 0 in im 4.138 * [taylor]: Taking taylor expansion of 0 in im 4.156 * [taylor]: Taking taylor expansion of 0 in im 4.168 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))))) in (re im) around 0 4.168 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))))) in im 4.168 * [taylor]: Taking taylor expansion of -0.5 in im 4.168 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)))) in im 4.168 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.168 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.168 * [taylor]: Taking taylor expansion of -1 in im 4.168 * [taylor]: Taking taylor expansion of re in im 4.168 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in im 4.168 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 im) 3)) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) 4.168 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 im) 3)) in im 4.168 * [taylor]: Taking taylor expansion of 1/3 in im 4.168 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 4.168 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.168 * [taylor]: Taking taylor expansion of -1 in im 4.168 * [taylor]: Taking taylor expansion of im in im 4.169 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in im 4.169 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.169 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in im 4.169 * [taylor]: Taking taylor expansion of 1/60 in im 4.169 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in im 4.169 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.169 * [taylor]: Taking taylor expansion of -1 in im 4.169 * [taylor]: Taking taylor expansion of im in im 4.169 * [taylor]: Taking taylor expansion of (/ -2 im) in im 4.169 * [taylor]: Taking taylor expansion of -2 in im 4.169 * [taylor]: Taking taylor expansion of im in im 4.170 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))))) in re 4.170 * [taylor]: Taking taylor expansion of -0.5 in re 4.170 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)))) in re 4.170 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.170 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.170 * [taylor]: Taking taylor expansion of -1 in re 4.170 * [taylor]: Taking taylor expansion of re in re 4.170 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in re 4.170 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 im) 3)) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) 4.170 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 im) 3)) in re 4.170 * [taylor]: Taking taylor expansion of 1/3 in re 4.170 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 4.170 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.170 * [taylor]: Taking taylor expansion of -1 in re 4.170 * [taylor]: Taking taylor expansion of im in re 4.170 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in re 4.170 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.170 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in re 4.171 * [taylor]: Taking taylor expansion of 1/60 in re 4.171 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in re 4.171 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.171 * [taylor]: Taking taylor expansion of -1 in re 4.171 * [taylor]: Taking taylor expansion of im in re 4.171 * [taylor]: Taking taylor expansion of (/ -2 im) in re 4.171 * [taylor]: Taking taylor expansion of -2 in re 4.171 * [taylor]: Taking taylor expansion of im in re 4.171 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))))) in re 4.171 * [taylor]: Taking taylor expansion of -0.5 in re 4.171 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)))) in re 4.171 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.171 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.171 * [taylor]: Taking taylor expansion of -1 in re 4.171 * [taylor]: Taking taylor expansion of re in re 4.171 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in re 4.171 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 im) 3)) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) 4.171 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 im) 3)) in re 4.171 * [taylor]: Taking taylor expansion of 1/3 in re 4.171 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 4.171 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.171 * [taylor]: Taking taylor expansion of -1 in re 4.171 * [taylor]: Taking taylor expansion of im in re 4.171 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in re 4.171 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.171 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in re 4.171 * [taylor]: Taking taylor expansion of 1/60 in re 4.172 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in re 4.172 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.172 * [taylor]: Taking taylor expansion of -1 in re 4.172 * [taylor]: Taking taylor expansion of im in re 4.172 * [taylor]: Taking taylor expansion of (/ -2 im) in re 4.172 * [taylor]: Taking taylor expansion of -2 in re 4.172 * [taylor]: Taking taylor expansion of im in re 4.173 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 4.173 * [taylor]: Taking taylor expansion of 0.5 in im 4.173 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 4.173 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 4.173 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 4.173 * [taylor]: Taking taylor expansion of 2 in im 4.173 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.173 * [taylor]: Taking taylor expansion of im in im 4.174 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 4.174 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 4.174 * [taylor]: Taking taylor expansion of 1/3 in im 4.174 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 4.174 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.174 * [taylor]: Taking taylor expansion of im in im 4.174 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 4.174 * [taylor]: Taking taylor expansion of 1/60 in im 4.174 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 4.175 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.175 * [taylor]: Taking taylor expansion of im in im 4.175 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.175 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.175 * [taylor]: Taking taylor expansion of -1 in im 4.176 * [taylor]: Taking taylor expansion of re in im 4.179 * [taylor]: Taking taylor expansion of 0 in im 4.189 * [taylor]: Taking taylor expansion of 0 in im 4.206 * [taylor]: Taking taylor expansion of 0 in im 4.224 * [taylor]: Taking taylor expansion of 0 in im 4.236 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 4.236 * [approximate]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in (im) around 0 4.236 * [taylor]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in im 4.236 * [taylor]: Rewrote expression to (+ (* 1/3 (pow im 3)) (fma 1/60 (pow im 5) (* 2 im))) 4.236 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 4.236 * [taylor]: Taking taylor expansion of 1/3 in im 4.236 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.236 * [taylor]: Taking taylor expansion of im in im 4.236 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in im 4.237 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.237 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 4.237 * [taylor]: Taking taylor expansion of 1/60 in im 4.237 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.237 * [taylor]: Taking taylor expansion of im in im 4.237 * [taylor]: Taking taylor expansion of (* 2 im) in im 4.237 * [taylor]: Taking taylor expansion of 2 in im 4.237 * [taylor]: Taking taylor expansion of im in im 4.237 * [taylor]: Taking taylor expansion of (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) in im 4.237 * [taylor]: Rewrote expression to (+ (* 1/3 (pow im 3)) (fma 1/60 (pow im 5) (* 2 im))) 4.237 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 4.237 * [taylor]: Taking taylor expansion of 1/3 in im 4.237 * [taylor]: Taking taylor expansion of (pow im 3) in im 4.237 * [taylor]: Taking taylor expansion of im in im 4.237 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in im 4.237 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.237 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 4.237 * [taylor]: Taking taylor expansion of 1/60 in im 4.237 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.237 * [taylor]: Taking taylor expansion of im in im 4.237 * [taylor]: Taking taylor expansion of (* 2 im) in im 4.237 * [taylor]: Taking taylor expansion of 2 in im 4.237 * [taylor]: Taking taylor expansion of im in im 4.248 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in (im) around 0 4.248 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in im 4.248 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 im) 3)) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) 4.248 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 im) 3)) in im 4.248 * [taylor]: Taking taylor expansion of 1/3 in im 4.248 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 4.248 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.248 * [taylor]: Taking taylor expansion of im in im 4.248 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in im 4.248 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.248 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in im 4.248 * [taylor]: Taking taylor expansion of 1/60 in im 4.249 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in im 4.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.249 * [taylor]: Taking taylor expansion of im in im 4.249 * [taylor]: Taking taylor expansion of (/ 2 im) in im 4.249 * [taylor]: Taking taylor expansion of 2 in im 4.249 * [taylor]: Taking taylor expansion of im in im 4.249 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 im) 3) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) in im 4.249 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 im) 3)) (fma 1/60 (pow (/ 1 im) 5) (/ 2 im))) 4.249 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 im) 3)) in im 4.249 * [taylor]: Taking taylor expansion of 1/3 in im 4.249 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 4.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.249 * [taylor]: Taking taylor expansion of im in im 4.250 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in im 4.250 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.250 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in im 4.250 * [taylor]: Taking taylor expansion of 1/60 in im 4.250 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in im 4.250 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.250 * [taylor]: Taking taylor expansion of im in im 4.250 * [taylor]: Taking taylor expansion of (/ 2 im) in im 4.250 * [taylor]: Taking taylor expansion of 2 in im 4.250 * [taylor]: Taking taylor expansion of im in im 4.270 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in (im) around 0 4.270 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in im 4.270 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 im) 3)) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) 4.270 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 im) 3)) in im 4.270 * [taylor]: Taking taylor expansion of 1/3 in im 4.270 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 4.270 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.270 * [taylor]: Taking taylor expansion of -1 in im 4.270 * [taylor]: Taking taylor expansion of im in im 4.270 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in im 4.270 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.270 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in im 4.270 * [taylor]: Taking taylor expansion of 1/60 in im 4.270 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in im 4.270 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.270 * [taylor]: Taking taylor expansion of -1 in im 4.271 * [taylor]: Taking taylor expansion of im in im 4.271 * [taylor]: Taking taylor expansion of (/ -2 im) in im 4.271 * [taylor]: Taking taylor expansion of -2 in im 4.271 * [taylor]: Taking taylor expansion of im in im 4.271 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 im) 3) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) in im 4.271 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 im) 3)) (fma 1/60 (pow (/ -1 im) 5) (/ -2 im))) 4.271 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 im) 3)) in im 4.271 * [taylor]: Taking taylor expansion of 1/3 in im 4.271 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 4.271 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.271 * [taylor]: Taking taylor expansion of -1 in im 4.271 * [taylor]: Taking taylor expansion of im in im 4.272 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in im 4.272 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.272 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in im 4.272 * [taylor]: Taking taylor expansion of 1/60 in im 4.272 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in im 4.272 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.272 * [taylor]: Taking taylor expansion of -1 in im 4.272 * [taylor]: Taking taylor expansion of im in im 4.272 * [taylor]: Taking taylor expansion of (/ -2 im) in im 4.272 * [taylor]: Taking taylor expansion of -2 in im 4.272 * [taylor]: Taking taylor expansion of im in im 4.294 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 3) 4.294 * [approximate]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in (im) around 0 4.294 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in im 4.294 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.294 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 4.294 * [taylor]: Taking taylor expansion of 1/60 in im 4.294 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.294 * [taylor]: Taking taylor expansion of im in im 4.294 * [taylor]: Taking taylor expansion of (* 2 im) in im 4.294 * [taylor]: Taking taylor expansion of 2 in im 4.294 * [taylor]: Taking taylor expansion of im in im 4.294 * [taylor]: Taking taylor expansion of (fma 1/60 (pow im 5) (* 2 im)) in im 4.295 * [taylor]: Rewrote expression to (+ (* 1/60 (pow im 5)) (* 2 im)) 4.295 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 4.295 * [taylor]: Taking taylor expansion of 1/60 in im 4.295 * [taylor]: Taking taylor expansion of (pow im 5) in im 4.295 * [taylor]: Taking taylor expansion of im in im 4.295 * [taylor]: Taking taylor expansion of (* 2 im) in im 4.295 * [taylor]: Taking taylor expansion of 2 in im 4.295 * [taylor]: Taking taylor expansion of im in im 4.322 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in (im) around 0 4.323 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in im 4.323 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.323 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in im 4.323 * [taylor]: Taking taylor expansion of 1/60 in im 4.323 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in im 4.323 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.323 * [taylor]: Taking taylor expansion of im in im 4.323 * [taylor]: Taking taylor expansion of (/ 2 im) in im 4.323 * [taylor]: Taking taylor expansion of 2 in im 4.323 * [taylor]: Taking taylor expansion of im in im 4.323 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 im) 5) (/ 2 im)) in im 4.323 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 im) 5)) (/ 2 im)) 4.324 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 im) 5)) in im 4.324 * [taylor]: Taking taylor expansion of 1/60 in im 4.324 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 5) in im 4.324 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.324 * [taylor]: Taking taylor expansion of im in im 4.324 * [taylor]: Taking taylor expansion of (/ 2 im) in im 4.324 * [taylor]: Taking taylor expansion of 2 in im 4.324 * [taylor]: Taking taylor expansion of im in im 4.369 * [approximate]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in (im) around 0 4.369 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in im 4.369 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.369 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in im 4.369 * [taylor]: Taking taylor expansion of 1/60 in im 4.369 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in im 4.369 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.369 * [taylor]: Taking taylor expansion of -1 in im 4.369 * [taylor]: Taking taylor expansion of im in im 4.370 * [taylor]: Taking taylor expansion of (/ -2 im) in im 4.370 * [taylor]: Taking taylor expansion of -2 in im 4.370 * [taylor]: Taking taylor expansion of im in im 4.370 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 im) 5) (/ -2 im)) in im 4.370 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 im) 5)) (/ -2 im)) 4.370 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 im) 5)) in im 4.370 * [taylor]: Taking taylor expansion of 1/60 in im 4.370 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 5) in im 4.370 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.370 * [taylor]: Taking taylor expansion of -1 in im 4.370 * [taylor]: Taking taylor expansion of im in im 4.371 * [taylor]: Taking taylor expansion of (/ -2 im) in im 4.371 * [taylor]: Taking taylor expansion of -2 in im 4.371 * [taylor]: Taking taylor expansion of im in im 4.414 * * * [progress]: simplifying candidates 4.415 * [simplify]: Simplifying using # : (expm1 (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (log1p (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (+ (+ (log 0.5) (log (sin re))) (log (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (+ (log (* 0.5 (sin re))) (log (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (log (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (exp (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (sqrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (sqrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* (* 0.5 (sin re)) (- (* 1/3 (pow im 3)))) (* (* 0.5 (sin re)) (- (fma 1/60 (pow im 5) (* 2 im)))) (* (- (* 1/3 (pow im 3))) (* 0.5 (sin re))) (* (- (fma 1/60 (pow im 5) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (cbrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (* (* 0.5 (sin re)) (sqrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) -1) (* (* 0.5 (sin re)) (- (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (* (* 0.5 (sin re)) (- (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (- 1)) (* (* 0.5 (sin re)) (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (expm1 (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (log1p (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* 1/3 (pow im 3)) (log (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (exp (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* (* (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (expm1 (fma 1/60 (pow im 5) (* 2 im))) (log1p (fma 1/60 (pow im 5) (* 2 im))) (* 1/60 (pow im 5)) (log (fma 1/60 (pow im 5) (* 2 im))) (exp (fma 1/60 (pow im 5) (* 2 im))) (* (cbrt (fma 1/60 (pow im 5) (* 2 im))) (cbrt (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/60 (pow im 5) (* 2 im))) (* (* (fma 1/60 (pow im 5) (* 2 im)) (fma 1/60 (pow im 5) (* 2 im))) (fma 1/60 (pow im 5) (* 2 im))) (sqrt (fma 1/60 (pow im 5) (* 2 im))) (sqrt (fma 1/60 (pow im 5) (* 2 im))) (* -1.0 (* re im)) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)) 4.418 * * [simplify]: iteration 0 : 106 enodes (cost 1126 ) 4.438 * * [simplify]: iteration 1 : 271 enodes (cost 1096 ) 4.498 * * [simplify]: iteration 2 : 1140 enodes (cost 945 ) 4.872 * * [simplify]: iteration done : 5002 enodes (cost 941 ) 4.873 * [simplify]: Simplified to: (expm1 (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (log1p (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (log (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (log (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (log (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (exp (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (pow (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) 3) (pow (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (cbrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (pow (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) 3) (sqrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (sqrt (* (* 0.5 (sin re)) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (- (fma 1/60 (pow im 5) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (- (fma 1/60 (pow im 5) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (cbrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (* (* 0.5 (sin re)) (sqrt (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* 0.5 (sin re)) (- (* 0.5 (sin re))) (* (* 0.5 (sin re)) (- (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))))) (* (* 0.5 (sin re)) (- (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (- (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))))) (* (* 0.5 (sin re)) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (* 0.5 (sin re)) (* (sin re) (- (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (expm1 (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (log1p (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* 1/3 (pow im 3)) (log (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (exp (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (* (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))))) (cbrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (pow (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) 3) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (sqrt (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im)))) (expm1 (fma 1/60 (pow im 5) (* 2 im))) (log1p (fma 1/60 (pow im 5) (* 2 im))) (* 1/60 (pow im 5)) (log (fma 1/60 (pow im 5) (* 2 im))) (exp (fma 1/60 (pow im 5) (* 2 im))) (* (cbrt (fma 1/60 (pow im 5) (* 2 im))) (cbrt (fma 1/60 (pow im 5) (* 2 im)))) (cbrt (fma 1/60 (pow im 5) (* 2 im))) (pow (fma 1/60 (pow im 5) (* 2 im)) 3) (sqrt (fma 1/60 (pow im 5) (* 2 im))) (sqrt (fma 1/60 (pow im 5) (* 2 im))) (* -1.0 (* re im)) (- (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (- (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (fma 1/60 (pow im 5) (* 2 im)) (fma 1/60 (pow im 5) (* 2 im)) (fma 1/60 (pow im 5) (* 2 im)) 4.873 * * * [progress]: adding candidates to table 5.045 * * [progress]: iteration 3 / 4 5.045 * * * [progress]: picking best candidate 5.069 * * * * [pick]: Picked # 5.069 * * * [progress]: localizing error 5.087 * * * [progress]: generating rewritten candidates 5.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.091 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 3) 5.100 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3 2 2) 5.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.107 * * * [progress]: generating series expansions 5.107 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.107 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in (re) around 0 5.107 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in re 5.107 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.107 * [taylor]: Taking taylor expansion of (sin re) in re 5.107 * [taylor]: Taking taylor expansion of re in re 5.107 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in re 5.107 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.107 * [taylor]: Taking taylor expansion of (sin re) in re 5.107 * [taylor]: Taking taylor expansion of re in re 5.118 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in (re) around 0 5.118 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in re 5.118 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.118 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.118 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.119 * [taylor]: Taking taylor expansion of re in re 5.119 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in re 5.119 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.119 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.119 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.119 * [taylor]: Taking taylor expansion of re in re 5.125 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in (re) around 0 5.125 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in re 5.125 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.125 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.125 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.125 * [taylor]: Taking taylor expansion of -1 in re 5.125 * [taylor]: Taking taylor expansion of re in re 5.126 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in re 5.126 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.126 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.126 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.126 * [taylor]: Taking taylor expansion of -1 in re 5.126 * [taylor]: Taking taylor expansion of re in re 5.132 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 3) 5.132 * [approximate]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in (re im) around 0 5.132 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in im 5.132 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 5.132 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.132 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.132 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.132 * [taylor]: Taking taylor expansion of im in im 5.132 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 5.132 * [taylor]: Taking taylor expansion of 1.0 in im 5.132 * [taylor]: Taking taylor expansion of im in im 5.132 * [taylor]: Taking taylor expansion of (sin re) in im 5.132 * [taylor]: Taking taylor expansion of re in im 5.132 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in re 5.132 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in re 5.132 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 5.132 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.132 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.132 * [taylor]: Taking taylor expansion of im in re 5.132 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 5.132 * [taylor]: Taking taylor expansion of 1.0 in re 5.132 * [taylor]: Taking taylor expansion of im in re 5.132 * [taylor]: Taking taylor expansion of (sin re) in re 5.132 * [taylor]: Taking taylor expansion of re in re 5.132 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in re 5.132 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in re 5.133 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 5.133 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.133 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.133 * [taylor]: Taking taylor expansion of im in re 5.133 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 5.133 * [taylor]: Taking taylor expansion of 1.0 in re 5.133 * [taylor]: Taking taylor expansion of im in re 5.133 * [taylor]: Taking taylor expansion of (sin re) in re 5.133 * [taylor]: Taking taylor expansion of re in re 5.133 * [taylor]: Taking taylor expansion of 0 in im 5.135 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 5.135 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.135 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.135 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.135 * [taylor]: Taking taylor expansion of im in im 5.135 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 5.135 * [taylor]: Taking taylor expansion of 1.0 in im 5.135 * [taylor]: Taking taylor expansion of im in im 5.139 * [taylor]: Taking taylor expansion of 0 in im 5.145 * [taylor]: Taking taylor expansion of (- (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im))) in im 5.145 * [taylor]: Taking taylor expansion of (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im)) in im 5.145 * [taylor]: Taking taylor expansion of (* 0.0013888888888888887 (pow im 5)) in im 5.145 * [taylor]: Taking taylor expansion of 0.0013888888888888887 in im 5.145 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.145 * [taylor]: Taking taylor expansion of im in im 5.145 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 5.145 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.145 * [taylor]: Taking taylor expansion of im in im 5.153 * [taylor]: Taking taylor expansion of 0 in im 5.153 * [approximate]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in (re im) around 0 5.153 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.153 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.153 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.153 * [taylor]: Taking taylor expansion of re in im 5.153 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.153 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.153 * [taylor]: Taking taylor expansion of 1.0 in im 5.153 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.153 * [taylor]: Taking taylor expansion of im in im 5.154 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.154 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.154 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.154 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.154 * [taylor]: Taking taylor expansion of im in im 5.155 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.155 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.155 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.155 * [taylor]: Taking taylor expansion of re in re 5.155 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.155 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.155 * [taylor]: Taking taylor expansion of 1.0 in re 5.155 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.155 * [taylor]: Taking taylor expansion of im in re 5.155 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.155 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.155 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.155 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.155 * [taylor]: Taking taylor expansion of im in re 5.156 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.156 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.156 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.156 * [taylor]: Taking taylor expansion of re in re 5.156 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.156 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.156 * [taylor]: Taking taylor expansion of 1.0 in re 5.156 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.156 * [taylor]: Taking taylor expansion of im in re 5.156 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.156 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.156 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.156 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.156 * [taylor]: Taking taylor expansion of im in re 5.157 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.157 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.157 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.157 * [taylor]: Taking taylor expansion of re in im 5.157 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.157 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.157 * [taylor]: Taking taylor expansion of 1.0 in im 5.157 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.157 * [taylor]: Taking taylor expansion of im in im 5.157 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.157 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.157 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.157 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.157 * [taylor]: Taking taylor expansion of im in im 5.160 * [taylor]: Taking taylor expansion of 0 in im 5.171 * [taylor]: Taking taylor expansion of 0 in im 5.181 * [taylor]: Taking taylor expansion of 0 in im 5.193 * [taylor]: Taking taylor expansion of 0 in im 5.208 * [taylor]: Taking taylor expansion of 0 in im 5.226 * [taylor]: Taking taylor expansion of 0 in im 5.250 * [taylor]: Taking taylor expansion of 0 in im 5.264 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in (re im) around 0 5.264 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 5.264 * [taylor]: Taking taylor expansion of -1 in im 5.264 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.264 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.264 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.264 * [taylor]: Taking taylor expansion of -1 in im 5.264 * [taylor]: Taking taylor expansion of re in im 5.264 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.264 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.264 * [taylor]: Taking taylor expansion of 1.0 in im 5.264 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.264 * [taylor]: Taking taylor expansion of im in im 5.264 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.264 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.264 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.264 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.264 * [taylor]: Taking taylor expansion of im in im 5.265 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.265 * [taylor]: Taking taylor expansion of -1 in re 5.265 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.265 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.265 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.265 * [taylor]: Taking taylor expansion of -1 in re 5.265 * [taylor]: Taking taylor expansion of re in re 5.266 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.266 * [taylor]: Taking taylor expansion of 1.0 in re 5.266 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.266 * [taylor]: Taking taylor expansion of im in re 5.266 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.266 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.266 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.266 * [taylor]: Taking taylor expansion of im in re 5.266 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.266 * [taylor]: Taking taylor expansion of -1 in re 5.266 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.266 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.266 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.266 * [taylor]: Taking taylor expansion of -1 in re 5.266 * [taylor]: Taking taylor expansion of re in re 5.267 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.267 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.267 * [taylor]: Taking taylor expansion of 1.0 in re 5.267 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.267 * [taylor]: Taking taylor expansion of im in re 5.267 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.267 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.267 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.267 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.267 * [taylor]: Taking taylor expansion of im in re 5.268 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 5.268 * [taylor]: Taking taylor expansion of -1 in im 5.268 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.268 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.268 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.268 * [taylor]: Taking taylor expansion of -1 in im 5.268 * [taylor]: Taking taylor expansion of re in im 5.268 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.268 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.268 * [taylor]: Taking taylor expansion of 1.0 in im 5.268 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.268 * [taylor]: Taking taylor expansion of im in im 5.268 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.268 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.268 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.268 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.268 * [taylor]: Taking taylor expansion of im in im 5.272 * [taylor]: Taking taylor expansion of 0 in im 5.280 * [taylor]: Taking taylor expansion of 0 in im 5.292 * [taylor]: Taking taylor expansion of 0 in im 5.306 * [taylor]: Taking taylor expansion of 0 in im 5.323 * [taylor]: Taking taylor expansion of 0 in im 5.347 * [taylor]: Taking taylor expansion of 0 in im 5.372 * [taylor]: Taking taylor expansion of 0 in im 5.386 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 3 2 2) 5.387 * [approximate]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in (im) around 0 5.387 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.387 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.387 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.387 * [taylor]: Taking taylor expansion of im in im 5.387 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.387 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.387 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.387 * [taylor]: Taking taylor expansion of im in im 5.402 * [approximate]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in (im) around 0 5.402 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 5.402 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.402 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.402 * [taylor]: Taking taylor expansion of im in im 5.403 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 5.403 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.403 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.403 * [taylor]: Taking taylor expansion of im in im 5.424 * [approximate]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in (im) around 0 5.424 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 5.424 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 5.424 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.424 * [taylor]: Taking taylor expansion of im in im 5.425 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 5.425 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 5.425 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.425 * [taylor]: Taking taylor expansion of im in im 5.440 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.440 * [approximate]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) in (re im) around 0 5.440 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) in im 5.441 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin re)) (pow im 3)) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) 5.441 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin re)) (pow im 3)) in im 5.441 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in im 5.441 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.441 * [taylor]: Taking taylor expansion of (sin re) in im 5.441 * [taylor]: Taking taylor expansion of re in im 5.441 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.441 * [taylor]: Taking taylor expansion of im in im 5.441 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in im 5.441 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 5.441 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.441 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.441 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.441 * [taylor]: Taking taylor expansion of im in im 5.441 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 5.441 * [taylor]: Taking taylor expansion of 1.0 in im 5.441 * [taylor]: Taking taylor expansion of im in im 5.441 * [taylor]: Taking taylor expansion of (sin re) in im 5.441 * [taylor]: Taking taylor expansion of re in im 5.441 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) in re 5.441 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin re)) (pow im 3)) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) 5.441 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin re)) (pow im 3)) in re 5.441 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in re 5.441 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.441 * [taylor]: Taking taylor expansion of (sin re) in re 5.441 * [taylor]: Taking taylor expansion of re in re 5.441 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.441 * [taylor]: Taking taylor expansion of im in re 5.441 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in re 5.441 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in re 5.441 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 5.441 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.441 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.441 * [taylor]: Taking taylor expansion of im in re 5.441 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 5.441 * [taylor]: Taking taylor expansion of 1.0 in re 5.441 * [taylor]: Taking taylor expansion of im in re 5.441 * [taylor]: Taking taylor expansion of (sin re) in re 5.441 * [taylor]: Taking taylor expansion of re in re 5.442 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) in re 5.442 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin re)) (pow im 3)) (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re))) 5.442 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin re)) (pow im 3)) in re 5.442 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin re)) in re 5.442 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.442 * [taylor]: Taking taylor expansion of (sin re) in re 5.442 * [taylor]: Taking taylor expansion of re in re 5.442 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.442 * [taylor]: Taking taylor expansion of im in re 5.442 * [taylor]: Taking taylor expansion of (* (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) (sin re)) in re 5.442 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in re 5.442 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 5.442 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.442 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.442 * [taylor]: Taking taylor expansion of im in re 5.442 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 5.442 * [taylor]: Taking taylor expansion of 1.0 in re 5.442 * [taylor]: Taking taylor expansion of im in re 5.442 * [taylor]: Taking taylor expansion of (sin re) in re 5.442 * [taylor]: Taking taylor expansion of re in re 5.443 * [taylor]: Taking taylor expansion of 0 in im 5.447 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 5.447 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 5.447 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.447 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.447 * [taylor]: Taking taylor expansion of im in im 5.447 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 5.447 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.447 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.447 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.447 * [taylor]: Taking taylor expansion of im in im 5.447 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 5.447 * [taylor]: Taking taylor expansion of 1.0 in im 5.447 * [taylor]: Taking taylor expansion of im in im 5.454 * [taylor]: Taking taylor expansion of 0 in im 5.465 * [taylor]: Taking taylor expansion of (- (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im)))) in im 5.465 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im))) in im 5.465 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 5.465 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 5.465 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.465 * [taylor]: Taking taylor expansion of im in im 5.465 * [taylor]: Taking taylor expansion of (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im)) in im 5.465 * [taylor]: Taking taylor expansion of (* 0.0013888888888888887 (pow im 5)) in im 5.465 * [taylor]: Taking taylor expansion of 0.0013888888888888887 in im 5.465 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.465 * [taylor]: Taking taylor expansion of im in im 5.465 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 5.465 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.465 * [taylor]: Taking taylor expansion of im in im 5.478 * [taylor]: Taking taylor expansion of 0 in im 5.479 * [approximate]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in (re im) around 0 5.479 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 5.479 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) 5.479 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) in im 5.479 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in im 5.479 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.479 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.479 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.479 * [taylor]: Taking taylor expansion of re in im 5.479 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 5.479 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.479 * [taylor]: Taking taylor expansion of im in im 5.479 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.479 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.480 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.480 * [taylor]: Taking taylor expansion of re in im 5.480 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.480 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.480 * [taylor]: Taking taylor expansion of 1.0 in im 5.480 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.480 * [taylor]: Taking taylor expansion of im in im 5.480 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.480 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.480 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.480 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.480 * [taylor]: Taking taylor expansion of im in im 5.481 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.481 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) 5.481 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) in re 5.481 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in re 5.481 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.481 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.481 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.481 * [taylor]: Taking taylor expansion of re in re 5.482 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 5.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.482 * [taylor]: Taking taylor expansion of im in re 5.482 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.482 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.482 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.482 * [taylor]: Taking taylor expansion of re in re 5.482 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.482 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.482 * [taylor]: Taking taylor expansion of 1.0 in re 5.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.482 * [taylor]: Taking taylor expansion of im in re 5.482 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.482 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.482 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.482 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.482 * [taylor]: Taking taylor expansion of im in re 5.482 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.483 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) 5.483 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ 1 re))) (pow (/ 1 im) 3)) in re 5.483 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ 1 re))) in re 5.483 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.483 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.483 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.483 * [taylor]: Taking taylor expansion of re in re 5.483 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 5.483 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.483 * [taylor]: Taking taylor expansion of im in re 5.483 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.483 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.483 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.483 * [taylor]: Taking taylor expansion of re in re 5.483 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.483 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.483 * [taylor]: Taking taylor expansion of 1.0 in re 5.483 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.483 * [taylor]: Taking taylor expansion of im in re 5.484 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.484 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.484 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.484 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.484 * [taylor]: Taking taylor expansion of im in re 5.485 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (sin (/ 1 re)) im)) (+ (* 0.008333333333333333 (/ (sin (/ 1 re)) (pow im 5))) (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))))) in im 5.485 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ 1 re)) im)) in im 5.485 * [taylor]: Taking taylor expansion of 1.0 in im 5.485 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 5.485 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.485 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.485 * [taylor]: Taking taylor expansion of re in im 5.485 * [taylor]: Taking taylor expansion of im in im 5.485 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (/ (sin (/ 1 re)) (pow im 5))) (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3)))) in im 5.485 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ (sin (/ 1 re)) (pow im 5))) in im 5.485 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.485 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in im 5.485 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.485 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.485 * [taylor]: Taking taylor expansion of re in im 5.485 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.485 * [taylor]: Taking taylor expansion of im in im 5.486 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in im 5.486 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.486 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 5.486 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.486 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.486 * [taylor]: Taking taylor expansion of re in im 5.486 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.487 * [taylor]: Taking taylor expansion of im in im 5.490 * [taylor]: Taking taylor expansion of 0 in im 5.505 * [taylor]: Taking taylor expansion of 0 in im 5.518 * [taylor]: Taking taylor expansion of 0 in im 5.538 * [taylor]: Taking taylor expansion of 0 in im 5.551 * [approximate]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) in (re im) around 0 5.552 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) in im 5.552 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) 5.552 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) in im 5.552 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in im 5.552 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.552 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.552 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.552 * [taylor]: Taking taylor expansion of -1 in im 5.552 * [taylor]: Taking taylor expansion of re in im 5.552 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 5.552 * [taylor]: Taking taylor expansion of (/ -1 im) in im 5.552 * [taylor]: Taking taylor expansion of -1 in im 5.552 * [taylor]: Taking taylor expansion of im in im 5.552 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 5.552 * [taylor]: Taking taylor expansion of -1 in im 5.552 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 5.552 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.552 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.552 * [taylor]: Taking taylor expansion of -1 in im 5.552 * [taylor]: Taking taylor expansion of re in im 5.553 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 5.553 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 5.553 * [taylor]: Taking taylor expansion of 1.0 in im 5.553 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.553 * [taylor]: Taking taylor expansion of im in im 5.553 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 5.553 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.553 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.553 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.553 * [taylor]: Taking taylor expansion of im in im 5.554 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) in re 5.554 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) 5.554 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) in re 5.554 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in re 5.554 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.554 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.554 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.554 * [taylor]: Taking taylor expansion of -1 in re 5.554 * [taylor]: Taking taylor expansion of re in re 5.555 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 5.555 * [taylor]: Taking taylor expansion of (/ -1 im) in re 5.555 * [taylor]: Taking taylor expansion of -1 in re 5.555 * [taylor]: Taking taylor expansion of im in re 5.555 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.555 * [taylor]: Taking taylor expansion of -1 in re 5.555 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.555 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.555 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.555 * [taylor]: Taking taylor expansion of -1 in re 5.555 * [taylor]: Taking taylor expansion of re in re 5.555 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.555 * [taylor]: Taking taylor expansion of 1.0 in re 5.555 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.555 * [taylor]: Taking taylor expansion of im in re 5.555 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.555 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.555 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.555 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.555 * [taylor]: Taking taylor expansion of im in re 5.556 * [taylor]: Taking taylor expansion of (fma (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) in re 5.556 * [taylor]: Rewrote expression to (+ (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))))) 5.556 * [taylor]: Taking taylor expansion of (* (* 0.16666666666666666 (sin (/ -1 re))) (pow (/ -1 im) 3)) in re 5.556 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (sin (/ -1 re))) in re 5.556 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 5.556 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.556 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.556 * [taylor]: Taking taylor expansion of -1 in re 5.556 * [taylor]: Taking taylor expansion of re in re 5.556 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 5.556 * [taylor]: Taking taylor expansion of (/ -1 im) in re 5.556 * [taylor]: Taking taylor expansion of -1 in re 5.556 * [taylor]: Taking taylor expansion of im in re 5.556 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in re 5.556 * [taylor]: Taking taylor expansion of -1 in re 5.556 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5))))) in re 5.556 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.556 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.556 * [taylor]: Taking taylor expansion of -1 in re 5.556 * [taylor]: Taking taylor expansion of re in re 5.557 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (* 0.008333333333333333 (/ 1 (pow im 5)))) in re 5.557 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 5.557 * [taylor]: Taking taylor expansion of 1.0 in re 5.557 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.557 * [taylor]: Taking taylor expansion of im in re 5.557 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in re 5.557 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 5.557 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.557 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.557 * [taylor]: Taking taylor expansion of im in re 5.558 * [taylor]: Taking taylor expansion of (- (+ (* 0.008333333333333333 (/ (sin (/ -1 re)) (pow im 5))) (+ (* 1.0 (/ (sin (/ -1 re)) im)) (* 0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3)))))) in im 5.558 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (/ (sin (/ -1 re)) (pow im 5))) (+ (* 1.0 (/ (sin (/ -1 re)) im)) (* 0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))))) in im 5.558 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ (sin (/ -1 re)) (pow im 5))) in im 5.558 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.558 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in im 5.558 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.558 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.558 * [taylor]: Taking taylor expansion of -1 in im 5.558 * [taylor]: Taking taylor expansion of re in im 5.558 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.558 * [taylor]: Taking taylor expansion of im in im 5.559 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (sin (/ -1 re)) im)) (* 0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3)))) in im 5.559 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 5.560 * [taylor]: Taking taylor expansion of 1.0 in im 5.560 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 5.560 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.560 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.560 * [taylor]: Taking taylor expansion of -1 in im 5.560 * [taylor]: Taking taylor expansion of re in im 5.560 * [taylor]: Taking taylor expansion of im in im 5.560 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in im 5.560 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.560 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 5.560 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.560 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.560 * [taylor]: Taking taylor expansion of -1 in im 5.560 * [taylor]: Taking taylor expansion of re in im 5.560 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.560 * [taylor]: Taking taylor expansion of im in im 5.564 * [taylor]: Taking taylor expansion of 0 in im 5.573 * [taylor]: Taking taylor expansion of 0 in im 5.587 * [taylor]: Taking taylor expansion of 0 in im 5.613 * [taylor]: Taking taylor expansion of 0 in im 5.626 * * * [progress]: simplifying candidates 5.628 * [simplify]: Simplifying using # : (expm1 (* 0.16666666666666666 (sin re))) (log1p (* 0.16666666666666666 (sin re))) (* 0.16666666666666666 (sin re)) (+ (log 0.16666666666666666) (log (sin re))) (log (* 0.16666666666666666 (sin re))) (exp (* 0.16666666666666666 (sin re))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (sin re) (sin re)) (sin re))) (* (cbrt (* 0.16666666666666666 (sin re))) (cbrt (* 0.16666666666666666 (sin re)))) (cbrt (* 0.16666666666666666 (sin re))) (* (* (* 0.16666666666666666 (sin re)) (* 0.16666666666666666 (sin re))) (* 0.16666666666666666 (sin re))) (sqrt (* 0.16666666666666666 (sin re))) (sqrt (* 0.16666666666666666 (sin re))) (* (sqrt 0.16666666666666666) (sqrt (sin re))) (* (sqrt 0.16666666666666666) (sqrt (sin re))) (* 0.16666666666666666 (* (cbrt (sin re)) (cbrt (sin re)))) (* 0.16666666666666666 (sqrt (sin re))) (* 0.16666666666666666 1) (* (cbrt 0.16666666666666666) (sin re)) (* (sqrt 0.16666666666666666) (sin re)) (* 0.16666666666666666 (sin re)) (expm1 (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (log1p (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (+ (log (sin re)) (log (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (log (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (exp (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (cbrt (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (cbrt (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (cbrt (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (* (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (sqrt (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (sqrt (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sqrt (sin re)) (sqrt (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sqrt (sin re)) (sqrt (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sin re) (* 1.0 im)) (* (sin re) (* 0.008333333333333333 (pow im 5))) (* (* 1.0 im) (sin re)) (* (* 0.008333333333333333 (pow im 5)) (sin re)) (* (sin re) (* (cbrt (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (cbrt (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (* (sin re) (sqrt (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (* (sin re) 1) (* (cbrt (sin re)) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (* (sqrt (sin re)) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))) (* (sin re) (+ (pow (* 1.0 im) 3) (pow (* 0.008333333333333333 (pow im 5)) 3))) (* (sin re) (- (* (* 1.0 im) (* 1.0 im)) (* (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5))))) (expm1 (* 0.008333333333333333 (pow im 5))) (log1p (* 0.008333333333333333 (pow im 5))) (+ (log 0.008333333333333333) (* (log im) 5)) (+ (log 0.008333333333333333) (* (log im) 5)) (+ (log 0.008333333333333333) (log (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (exp (* 0.008333333333333333 (pow im 5))) (* (* (* 0.008333333333333333 0.008333333333333333) 0.008333333333333333) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 0.008333333333333333 (pow im 5))) (cbrt (* 0.008333333333333333 (pow im 5)))) (cbrt (* 0.008333333333333333 (pow im 5))) (* (* (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5))) (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (pow im (/ 5 2))) (* (sqrt 0.008333333333333333) (pow im (/ 5 2))) (* 0.008333333333333333 (pow (* (cbrt im) (cbrt im)) 5)) (* 0.008333333333333333 (pow (sqrt im) 5)) (* 0.008333333333333333 (pow 1 5)) (* 0.008333333333333333 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 0.008333333333333333 (sqrt (pow im 5))) (* 0.008333333333333333 1) (* 0.008333333333333333 (pow im (/ 5 2))) (* (cbrt 0.008333333333333333) (pow im 5)) (* (sqrt 0.008333333333333333) (pow im 5)) (* 0.008333333333333333 (pow im 5)) (expm1 (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (log1p (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (* (* 0.16666666666666666 (sin re)) (pow im 3)) (log (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (exp (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (* (cbrt (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (cbrt (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))))) (cbrt (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (* (* (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))))) (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (sqrt (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (sqrt (fma (* 0.16666666666666666 (sin re)) (pow im 3) (* (sin re) (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5)))))) (- (+ (* 0.0013888888888888887 (pow re 5)) (* 0.16666666666666666 re)) (* 0.027777777777777776 (pow re 3))) (* 0.16666666666666666 (sin re)) (* 0.16666666666666666 (sin re)) (* 1.0 (* re im)) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 1.0 (* re im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))) 5.631 * * [simplify]: iteration 0 : 154 enodes (cost 1124 ) 5.656 * * [simplify]: iteration 1 : 373 enodes (cost 1029 ) 5.744 * * [simplify]: iteration 2 : 1417 enodes (cost 925 ) 6.200 * * [simplify]: iteration done : 5000 enodes (cost 901 ) 6.201 * [simplify]: Simplified to: (expm1 (* 0.16666666666666666 (sin re))) (log1p (* 0.16666666666666666 (sin re))) (* 0.16666666666666666 (sin re)) (log (* 0.16666666666666666 (sin re))) (log (* 0.16666666666666666 (sin re))) (exp (* 0.16666666666666666 (sin re))) (pow (* 0.16666666666666666 (sin re)) 3) (* (cbrt (* 0.16666666666666666 (sin re))) (cbrt (* 0.16666666666666666 (sin re)))) (cbrt (* 0.16666666666666666 (sin re))) (pow (* 0.16666666666666666 (sin re)) 3) (sqrt (* 0.16666666666666666 (sin re))) (sqrt (* 0.16666666666666666 (sin re))) (* (sqrt 0.16666666666666666) (sqrt (sin re))) (* (sqrt 0.16666666666666666) (sqrt (sin re))) (* 0.16666666666666666 (* (cbrt (sin re)) (cbrt (sin re)))) (* 0.16666666666666666 (sqrt (sin re))) 0.16666666666666666 (* (cbrt 0.16666666666666666) (sin re)) (* (sqrt 0.16666666666666666) (sin re)) (* 0.16666666666666666 (sin re)) (expm1 (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (log1p (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (log (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (log (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (pow (exp (sin re)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (pow (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) 3) (* (cbrt (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (cbrt (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)))) (cbrt (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (pow (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) 3) (sqrt (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (sqrt (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re))) (* (sqrt (sin re)) (sqrt (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (* (sqrt (sin re)) (sqrt (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (* 1.0 (* (sin re) im)) (* (* 0.008333333333333333 (pow im 5)) (sin re)) (* 1.0 (* (sin re) im)) (* (* 0.008333333333333333 (pow im 5)) (sin re)) (* (* (cbrt (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (cbrt (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (sin re)) (* (sin re) (sqrt (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (sin re) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (cbrt (sin re))) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sqrt (sin re))) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* (sin re) (+ (pow (* 1.0 im) 3) (pow (* 0.008333333333333333 (pow im 5)) 3))) (* (fma (* 1.0 im) (* 1.0 im) (- (* (* 0.008333333333333333 0.008333333333333333) (pow im 10)))) (sin re)) (expm1 (* 0.008333333333333333 (pow im 5))) (log1p (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (exp (* 0.008333333333333333 (pow im 5))) (pow (* 0.008333333333333333 (pow im 5)) 3) (* (cbrt (* 0.008333333333333333 (pow im 5))) (cbrt (* 0.008333333333333333 (pow im 5)))) (cbrt (* 0.008333333333333333 (pow im 5))) (pow (* 0.008333333333333333 (pow im 5)) 3) (sqrt (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (pow im 5/2) (sqrt 0.008333333333333333)) (* (pow im 5/2) (sqrt 0.008333333333333333)) (* 0.008333333333333333 (pow (* (cbrt im) (cbrt im)) 5)) (* 0.008333333333333333 (pow (sqrt im) 5)) 0.008333333333333333 (* 0.008333333333333333 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 0.008333333333333333 (sqrt (pow im 5))) 0.008333333333333333 (* (pow im 5/2) 0.008333333333333333) (* (cbrt 0.008333333333333333) (pow im 5)) (* (sqrt 0.008333333333333333) (pow im 5)) (* 0.008333333333333333 (pow im 5)) (expm1 (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (log1p (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (log (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (exp (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))))) (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (pow (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) 3) (sqrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (sqrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (- (fma 0.0013888888888888887 (pow re 5) (* 0.16666666666666666 re)) (* 0.027777777777777776 (pow re 3))) (* 0.16666666666666666 (sin re)) (* 0.16666666666666666 (sin re)) (* 1.0 (* re im)) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 1.0 (* re im)) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) 6.201 * * * [progress]: adding candidates to table 6.508 * * [progress]: iteration 4 / 4 6.508 * * * [progress]: picking best candidate 6.543 * * * * [pick]: Picked # 6.544 * * * [progress]: localizing error 6.557 * * * [progress]: generating rewritten candidates 6.557 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.565 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 6.571 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 3) 6.577 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 6.581 * * * [progress]: generating series expansions 6.581 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.582 * [approximate]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) in (re im) around 0 6.582 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) in im 6.582 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in im 6.582 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.582 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.582 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.582 * [taylor]: Taking taylor expansion of im in im 6.582 * [taylor]: Taking taylor expansion of (fma 1.0 im (* 0.008333333333333333 (pow im 5))) in im 6.582 * [taylor]: Rewrote expression to (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) 6.582 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 6.582 * [taylor]: Taking taylor expansion of 1.0 in im 6.582 * [taylor]: Taking taylor expansion of im in im 6.582 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.582 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.582 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.582 * [taylor]: Taking taylor expansion of im in im 6.582 * [taylor]: Taking taylor expansion of (sin re) in im 6.582 * [taylor]: Taking taylor expansion of re in im 6.582 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) in re 6.582 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in re 6.582 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in re 6.582 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.582 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.582 * [taylor]: Taking taylor expansion of im in re 6.582 * [taylor]: Taking taylor expansion of (fma 1.0 im (* 0.008333333333333333 (pow im 5))) in re 6.582 * [taylor]: Rewrote expression to (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) 6.582 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 6.582 * [taylor]: Taking taylor expansion of 1.0 in re 6.582 * [taylor]: Taking taylor expansion of im in re 6.582 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 6.582 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 6.583 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.583 * [taylor]: Taking taylor expansion of im in re 6.583 * [taylor]: Taking taylor expansion of (sin re) in re 6.583 * [taylor]: Taking taylor expansion of re in re 6.583 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) in re 6.583 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in re 6.583 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in re 6.583 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.583 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.583 * [taylor]: Taking taylor expansion of im in re 6.583 * [taylor]: Taking taylor expansion of (fma 1.0 im (* 0.008333333333333333 (pow im 5))) in re 6.583 * [taylor]: Rewrote expression to (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) 6.583 * [taylor]: Taking taylor expansion of (* 1.0 im) in re 6.583 * [taylor]: Taking taylor expansion of 1.0 in re 6.583 * [taylor]: Taking taylor expansion of im in re 6.583 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in re 6.583 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 6.583 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.583 * [taylor]: Taking taylor expansion of im in re 6.583 * [taylor]: Taking taylor expansion of (sin re) in re 6.583 * [taylor]: Taking taylor expansion of re in re 6.584 * [taylor]: Taking taylor expansion of 0 in im 6.587 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 6.587 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.587 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.587 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.587 * [taylor]: Taking taylor expansion of im in im 6.587 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 6.587 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.587 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.587 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.587 * [taylor]: Taking taylor expansion of im in im 6.587 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 6.587 * [taylor]: Taking taylor expansion of 1.0 in im 6.587 * [taylor]: Taking taylor expansion of im in im 6.593 * [taylor]: Taking taylor expansion of 0 in im 6.601 * [taylor]: Taking taylor expansion of (- (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im)))) in im 6.601 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im))) in im 6.601 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 6.601 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 6.601 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.601 * [taylor]: Taking taylor expansion of im in im 6.601 * [taylor]: Taking taylor expansion of (+ (* 0.0013888888888888887 (pow im 5)) (* 0.16666666666666666 im)) in im 6.602 * [taylor]: Taking taylor expansion of (* 0.0013888888888888887 (pow im 5)) in im 6.602 * [taylor]: Taking taylor expansion of 0.0013888888888888887 in im 6.602 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.602 * [taylor]: Taking taylor expansion of im in im 6.602 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 6.602 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.602 * [taylor]: Taking taylor expansion of im in im 6.612 * [taylor]: Taking taylor expansion of 0 in im 6.613 * [approximate]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) (sin (/ 1 re))) in (re im) around 0 6.613 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) (sin (/ 1 re))) in im 6.613 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in im 6.613 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.613 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.613 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.613 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.613 * [taylor]: Taking taylor expansion of im in im 6.614 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5))) in im 6.614 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 im)) (/ 0.008333333333333333 (pow im 5))) 6.614 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 6.614 * [taylor]: Taking taylor expansion of 1.0 in im 6.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.614 * [taylor]: Taking taylor expansion of im in im 6.614 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 6.614 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.614 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.614 * [taylor]: Taking taylor expansion of im in im 6.615 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.615 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.615 * [taylor]: Taking taylor expansion of re in im 6.619 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) (sin (/ 1 re))) in re 6.619 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in re 6.619 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in re 6.619 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.619 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.619 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.619 * [taylor]: Taking taylor expansion of im in re 6.619 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5))) in re 6.620 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 im)) (/ 0.008333333333333333 (pow im 5))) 6.620 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 6.620 * [taylor]: Taking taylor expansion of 1.0 in re 6.620 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.620 * [taylor]: Taking taylor expansion of im in re 6.620 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in re 6.620 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 6.620 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.620 * [taylor]: Taking taylor expansion of im in re 6.620 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.620 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.620 * [taylor]: Taking taylor expansion of re in re 6.620 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) (sin (/ 1 re))) in re 6.620 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in re 6.621 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in re 6.621 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.621 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.621 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.621 * [taylor]: Taking taylor expansion of im in re 6.621 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5))) in re 6.621 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 im)) (/ 0.008333333333333333 (pow im 5))) 6.621 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in re 6.621 * [taylor]: Taking taylor expansion of 1.0 in re 6.621 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.621 * [taylor]: Taking taylor expansion of im in re 6.621 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in re 6.621 * [taylor]: Taking taylor expansion of 0.008333333333333333 in re 6.621 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.621 * [taylor]: Taking taylor expansion of im in re 6.621 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.621 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.621 * [taylor]: Taking taylor expansion of re in re 6.622 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1.0 (/ 1 im)) (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 6.622 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.622 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.622 * [taylor]: Taking taylor expansion of re in im 6.622 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 6.623 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 6.623 * [taylor]: Taking taylor expansion of 1.0 in im 6.623 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.623 * [taylor]: Taking taylor expansion of im in im 6.623 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 6.623 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.623 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.623 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.623 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.623 * [taylor]: Taking taylor expansion of im in im 6.624 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 6.624 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.624 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.624 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.624 * [taylor]: Taking taylor expansion of im in im 6.628 * [taylor]: Taking taylor expansion of 0 in im 6.636 * [taylor]: Taking taylor expansion of 0 in im 6.648 * [taylor]: Taking taylor expansion of 0 in im 6.665 * [taylor]: Taking taylor expansion of 0 in im 6.676 * [approximate]: Taking taylor expansion of (* (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) (sin (/ -1 re))) in (re im) around 0 6.676 * [taylor]: Taking taylor expansion of (* (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) (sin (/ -1 re))) in im 6.676 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in im 6.676 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) in im 6.676 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 im)) (/ -0.008333333333333333 (pow im 5))) 6.676 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 im)) in im 6.676 * [taylor]: Taking taylor expansion of 1.0 in im 6.676 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.676 * [taylor]: Taking taylor expansion of -1 in im 6.676 * [taylor]: Taking taylor expansion of im in im 6.676 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 6.676 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 6.676 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.676 * [taylor]: Taking taylor expansion of im in im 6.677 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.677 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.677 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.677 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.677 * [taylor]: Taking taylor expansion of im in im 6.678 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.678 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.678 * [taylor]: Taking taylor expansion of -1 in im 6.678 * [taylor]: Taking taylor expansion of re in im 6.678 * [taylor]: Taking taylor expansion of (* (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) (sin (/ -1 re))) in re 6.678 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in re 6.678 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) in re 6.678 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 im)) (/ -0.008333333333333333 (pow im 5))) 6.678 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 im)) in re 6.678 * [taylor]: Taking taylor expansion of 1.0 in re 6.678 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.678 * [taylor]: Taking taylor expansion of -1 in re 6.678 * [taylor]: Taking taylor expansion of im in re 6.678 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in re 6.678 * [taylor]: Taking taylor expansion of -0.008333333333333333 in re 6.679 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.679 * [taylor]: Taking taylor expansion of im in re 6.679 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in re 6.679 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.679 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.679 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.679 * [taylor]: Taking taylor expansion of im in re 6.679 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.679 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.679 * [taylor]: Taking taylor expansion of -1 in re 6.679 * [taylor]: Taking taylor expansion of re in re 6.679 * [taylor]: Taking taylor expansion of (* (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) (sin (/ -1 re))) in re 6.679 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in re 6.679 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) in re 6.680 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 im)) (/ -0.008333333333333333 (pow im 5))) 6.680 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 im)) in re 6.680 * [taylor]: Taking taylor expansion of 1.0 in re 6.680 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.680 * [taylor]: Taking taylor expansion of -1 in re 6.680 * [taylor]: Taking taylor expansion of im in re 6.680 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in re 6.680 * [taylor]: Taking taylor expansion of -0.008333333333333333 in re 6.680 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.680 * [taylor]: Taking taylor expansion of im in re 6.680 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in re 6.680 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 6.680 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.680 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.680 * [taylor]: Taking taylor expansion of im in re 6.680 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.680 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.680 * [taylor]: Taking taylor expansion of -1 in re 6.680 * [taylor]: Taking taylor expansion of re in re 6.681 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5))))))) in im 6.682 * [taylor]: Taking taylor expansion of -1 in im 6.682 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1.0 (/ 1 im)) (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5)))))) in im 6.682 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.682 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.682 * [taylor]: Taking taylor expansion of -1 in im 6.682 * [taylor]: Taking taylor expansion of re in im 6.682 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 im)) (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5))))) in im 6.682 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 6.682 * [taylor]: Taking taylor expansion of 1.0 in im 6.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.682 * [taylor]: Taking taylor expansion of im in im 6.682 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (* 0.008333333333333333 (/ 1 (pow im 5)))) in im 6.682 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.682 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.682 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.682 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.682 * [taylor]: Taking taylor expansion of im in im 6.683 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (/ 1 (pow im 5))) in im 6.683 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.683 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.683 * [taylor]: Taking taylor expansion of im in im 6.687 * [taylor]: Taking taylor expansion of 0 in im 6.697 * [taylor]: Taking taylor expansion of 0 in im 6.715 * [taylor]: Taking taylor expansion of 0 in im 6.733 * [taylor]: Taking taylor expansion of 0 in im 6.744 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 6.744 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in (im) around 0 6.744 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.744 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.744 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.744 * [taylor]: Taking taylor expansion of im in im 6.744 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.744 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.744 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.744 * [taylor]: Taking taylor expansion of im in im 6.755 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow im 3)) in (im) around 0 6.756 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow im 3)) in im 6.756 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.756 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.756 * [taylor]: Taking taylor expansion of im in im 6.756 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow im 3)) in im 6.756 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.756 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.756 * [taylor]: Taking taylor expansion of im in im 6.768 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow im 3)) in (im) around 0 6.768 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow im 3)) in im 6.768 * [taylor]: Taking taylor expansion of -0.16666666666666666 in im 6.768 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.768 * [taylor]: Taking taylor expansion of im in im 6.769 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow im 3)) in im 6.769 * [taylor]: Taking taylor expansion of -0.16666666666666666 in im 6.769 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.769 * [taylor]: Taking taylor expansion of im in im 6.780 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 3) 6.780 * [approximate]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in (im) around 0 6.780 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.780 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.780 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.780 * [taylor]: Taking taylor expansion of im in im 6.780 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.780 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.780 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.780 * [taylor]: Taking taylor expansion of im in im 6.801 * [approximate]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in (im) around 0 6.801 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 6.801 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.801 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.801 * [taylor]: Taking taylor expansion of im in im 6.802 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 6.802 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.802 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.802 * [taylor]: Taking taylor expansion of im in im 6.818 * [approximate]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in (im) around 0 6.818 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 6.818 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 6.818 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.818 * [taylor]: Taking taylor expansion of im in im 6.819 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 6.819 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 6.819 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.819 * [taylor]: Taking taylor expansion of im in im 6.833 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 6.834 * [approximate]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in (im) around 0 6.834 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in im 6.834 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.834 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.834 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.834 * [taylor]: Taking taylor expansion of (fma 1.0 im (* 0.008333333333333333 (pow im 5))) in im 6.834 * [taylor]: Rewrote expression to (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) 6.834 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 6.834 * [taylor]: Taking taylor expansion of 1.0 in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.834 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.834 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.834 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.834 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) in im 6.834 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.834 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.834 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.834 * [taylor]: Taking taylor expansion of (fma 1.0 im (* 0.008333333333333333 (pow im 5))) in im 6.834 * [taylor]: Rewrote expression to (+ (* 1.0 im) (* 0.008333333333333333 (pow im 5))) 6.834 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 6.834 * [taylor]: Taking taylor expansion of 1.0 in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.834 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.834 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.834 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.834 * [taylor]: Taking taylor expansion of im in im 6.846 * [approximate]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in (im) around 0 6.846 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in im 6.846 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.846 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.846 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.846 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.846 * [taylor]: Taking taylor expansion of im in im 6.847 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5))) in im 6.847 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 im)) (/ 0.008333333333333333 (pow im 5))) 6.847 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 6.847 * [taylor]: Taking taylor expansion of 1.0 in im 6.847 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.847 * [taylor]: Taking taylor expansion of im in im 6.847 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 6.847 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.847 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.847 * [taylor]: Taking taylor expansion of im in im 6.848 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (pow im 3))) (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5)))) in im 6.848 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.848 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.848 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.848 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.848 * [taylor]: Taking taylor expansion of im in im 6.849 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 im) (/ 0.008333333333333333 (pow im 5))) in im 6.849 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 im)) (/ 0.008333333333333333 (pow im 5))) 6.849 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 im)) in im 6.849 * [taylor]: Taking taylor expansion of 1.0 in im 6.849 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.849 * [taylor]: Taking taylor expansion of im in im 6.849 * [taylor]: Taking taylor expansion of (/ 0.008333333333333333 (pow im 5)) in im 6.849 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.850 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.850 * [taylor]: Taking taylor expansion of im in im 6.866 * [approximate]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in (im) around 0 6.866 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in im 6.866 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) in im 6.867 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 im)) (/ -0.008333333333333333 (pow im 5))) 6.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 im)) in im 6.867 * [taylor]: Taking taylor expansion of 1.0 in im 6.867 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.867 * [taylor]: Taking taylor expansion of -1 in im 6.867 * [taylor]: Taking taylor expansion of im in im 6.867 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 6.867 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 6.867 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.867 * [taylor]: Taking taylor expansion of im in im 6.868 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.868 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.868 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.868 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.868 * [taylor]: Taking taylor expansion of im in im 6.869 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) (* 0.16666666666666666 (/ 1 (pow im 3)))) in im 6.869 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 im) (/ -0.008333333333333333 (pow im 5))) in im 6.869 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 im)) (/ -0.008333333333333333 (pow im 5))) 6.869 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 im)) in im 6.869 * [taylor]: Taking taylor expansion of 1.0 in im 6.869 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.869 * [taylor]: Taking taylor expansion of -1 in im 6.869 * [taylor]: Taking taylor expansion of im in im 6.874 * [taylor]: Taking taylor expansion of (/ -0.008333333333333333 (pow im 5)) in im 6.874 * [taylor]: Taking taylor expansion of -0.008333333333333333 in im 6.874 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.874 * [taylor]: Taking taylor expansion of im in im 6.875 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow im 3))) in im 6.876 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.876 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.876 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.876 * [taylor]: Taking taylor expansion of im in im 6.894 * * * [progress]: simplifying candidates 6.896 * [simplify]: Simplifying using # : (expm1 (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (log1p (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (+ (log (sin re)) (log (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (log (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (exp (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))))) (cbrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (* (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (sqrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (sqrt (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sqrt (sin re)) (sqrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sqrt (sin re)) (sqrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sin re) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (* (sin re) (* (pow im 3) 0.16666666666666666)) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* (* (pow im 3) 0.16666666666666666) (sin re)) (* (sin re) (* (cbrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (cbrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))))) (* (sin re) (sqrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (* (sin re) 1) (* (cbrt (sin re)) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (sqrt (sin re)) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (pow (fma 1.0 im (* 0.008333333333333333 (pow im 5))) 3) (pow (* (pow im 3) 0.16666666666666666) 3))) (* (sin re) (- (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (* (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666)))) (expm1 (* (pow im 3) 0.16666666666666666)) (log1p (* (pow im 3) 0.16666666666666666)) (+ (* (log im) 3) (log 0.16666666666666666)) (+ (* (log im) 3) (log 0.16666666666666666)) (+ (log (pow im 3)) (log 0.16666666666666666)) (log (* (pow im 3) 0.16666666666666666)) (exp (* (pow im 3) 0.16666666666666666)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666)) (* (cbrt (* (pow im 3) 0.16666666666666666)) (cbrt (* (pow im 3) 0.16666666666666666))) (cbrt (* (pow im 3) 0.16666666666666666)) (* (* (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666)) (* (pow im 3) 0.16666666666666666)) (sqrt (* (pow im 3) 0.16666666666666666)) (sqrt (* (pow im 3) 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (sqrt (pow im 3)) (sqrt 0.16666666666666666)) (* (sqrt (pow im 3)) (sqrt 0.16666666666666666)) (* (pow im (/ 3 2)) (sqrt 0.16666666666666666)) (* (pow im (/ 3 2)) (sqrt 0.16666666666666666)) (* (pow im 3) (* (cbrt 0.16666666666666666) (cbrt 0.16666666666666666))) (* (pow im 3) (sqrt 0.16666666666666666)) (* (pow im 3) 1) (* (pow (cbrt im) 3) 0.16666666666666666) (* (pow (sqrt im) 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* im 0.16666666666666666) (* (cbrt (pow im 3)) 0.16666666666666666) (* (pow (cbrt im) 3) 0.16666666666666666) (* (pow (sqrt im) 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* (* im im) 0.16666666666666666) (* (sqrt (pow im 3)) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* (pow im (/ 3 2)) 0.16666666666666666) (expm1 (* 0.008333333333333333 (pow im 5))) (log1p (* 0.008333333333333333 (pow im 5))) (+ (log 0.008333333333333333) (* (log im) 5)) (+ (log 0.008333333333333333) (* (log im) 5)) (+ (log 0.008333333333333333) (log (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (exp (* 0.008333333333333333 (pow im 5))) (* (* (* 0.008333333333333333 0.008333333333333333) 0.008333333333333333) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 0.008333333333333333 (pow im 5))) (cbrt (* 0.008333333333333333 (pow im 5)))) (cbrt (* 0.008333333333333333 (pow im 5))) (* (* (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5))) (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (pow im (/ 5 2))) (* (sqrt 0.008333333333333333) (pow im (/ 5 2))) (* 0.008333333333333333 (pow (* (cbrt im) (cbrt im)) 5)) (* 0.008333333333333333 (pow (sqrt im) 5)) (* 0.008333333333333333 (pow 1 5)) (* 0.008333333333333333 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 0.008333333333333333 (sqrt (pow im 5))) (* 0.008333333333333333 1) (* 0.008333333333333333 (pow im (/ 5 2))) (* (cbrt 0.008333333333333333) (pow im 5)) (* (sqrt 0.008333333333333333) (pow im 5)) (* 0.008333333333333333 (pow im 5)) (expm1 (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (log1p (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (exp (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (exp (* (pow im 3) 0.16666666666666666))) (log (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (exp (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (cbrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (cbrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (cbrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (* (* (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (sqrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (sqrt (+ (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666))) (+ (pow (fma 1.0 im (* 0.008333333333333333 (pow im 5))) 3) (pow (* (pow im 3) 0.16666666666666666) 3)) (+ (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (- (* (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666)) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)))) (- (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (* (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666))) (- (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)) (+ (* 0.008333333333333333 (pow im 5)) (* (pow im 3) 0.16666666666666666)) (* 1.0 (* re im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (* 0.16666666666666666 (pow im 3)) (* 0.16666666666666666 (pow im 3)) (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) 6.900 * * [simplify]: iteration 0 : 167 enodes (cost 1455 ) 6.931 * * [simplify]: iteration 1 : 418 enodes (cost 1330 ) 7.034 * * [simplify]: iteration 2 : 1781 enodes (cost 1210 ) 7.560 * * [simplify]: iteration done : 5000 enodes (cost 1210 ) 7.561 * [simplify]: Simplified to: (expm1 (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (log1p (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) (log (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (log (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (exp (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (pow (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) 3) (* (cbrt (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (cbrt (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)))) (cbrt (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (pow (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) 3) (sqrt (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (sqrt (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re))) (* (sqrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (sqrt (sin re))) (* (sqrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (sqrt (sin re))) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* 0.16666666666666666 (* (sin re) (pow im 3))) (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (sin re)) (* 0.16666666666666666 (* (sin re) (pow im 3))) (* (* (cbrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (cbrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))))) (sin re)) (* (sin re) (sqrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))))) (sin re) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (cbrt (sin re))) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sqrt (sin re))) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) (* (sin re) (+ (pow (fma 1.0 im (* 0.008333333333333333 (pow im 5))) 3) (pow (* (pow im 3) 0.16666666666666666) 3))) (* (sin re) (- (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (* (pow im 6) (* 0.16666666666666666 0.16666666666666666)))) (expm1 (* (pow im 3) 0.16666666666666666)) (log1p (* (pow im 3) 0.16666666666666666)) (log (* (pow im 3) 0.16666666666666666)) (log (* (pow im 3) 0.16666666666666666)) (log (* (pow im 3) 0.16666666666666666)) (log (* (pow im 3) 0.16666666666666666)) (exp (* (pow im 3) 0.16666666666666666)) (pow (* (pow im 3) 0.16666666666666666) 3) (* (cbrt (* (pow im 3) 0.16666666666666666)) (cbrt (* (pow im 3) 0.16666666666666666))) (cbrt (* (pow im 3) 0.16666666666666666)) (pow (* (pow im 3) 0.16666666666666666) 3) (sqrt (* (pow im 3) 0.16666666666666666)) (sqrt (* (pow im 3) 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (pow (sqrt im) 3) (sqrt 0.16666666666666666)) (* (sqrt (pow im 3)) (sqrt 0.16666666666666666)) (* (sqrt (pow im 3)) (sqrt 0.16666666666666666)) (* (pow im 3/2) (sqrt 0.16666666666666666)) (* (pow im 3/2) (sqrt 0.16666666666666666)) (* (pow im 3) (* (cbrt 0.16666666666666666) (cbrt 0.16666666666666666))) (* (pow im 3) (sqrt 0.16666666666666666)) (pow im 3) (* 0.16666666666666666 im) (* (pow (sqrt im) 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* 0.16666666666666666 im) (* 0.16666666666666666 im) (* 0.16666666666666666 im) (* (pow (sqrt im) 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* (* im im) 0.16666666666666666) (* (sqrt (pow im 3)) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* (pow im 3/2) 0.16666666666666666) (expm1 (* 0.008333333333333333 (pow im 5))) (log1p (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (log (* 0.008333333333333333 (pow im 5))) (exp (* 0.008333333333333333 (pow im 5))) (pow (* 0.008333333333333333 (pow im 5)) 3) (* (cbrt (* 0.008333333333333333 (pow im 5))) (cbrt (* 0.008333333333333333 (pow im 5)))) (cbrt (* 0.008333333333333333 (pow im 5))) (pow (* 0.008333333333333333 (pow im 5)) 3) (sqrt (* 0.008333333333333333 (pow im 5))) (sqrt (* 0.008333333333333333 (pow im 5))) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (pow (sqrt im) 5)) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (sqrt (pow im 5))) (* (sqrt 0.008333333333333333) (pow im 5/2)) (* (sqrt 0.008333333333333333) (pow im 5/2)) (* 0.008333333333333333 (pow (* (cbrt im) (cbrt im)) 5)) (* 0.008333333333333333 (pow (sqrt im) 5)) 0.008333333333333333 (* 0.008333333333333333 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 0.008333333333333333 (sqrt (pow im 5))) 0.008333333333333333 (* (pow im 5/2) 0.008333333333333333) (* (cbrt 0.008333333333333333) (pow im 5)) (* (sqrt 0.008333333333333333) (pow im 5)) (* 0.008333333333333333 (pow im 5)) (expm1 (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (log1p (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (exp (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (log (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (exp (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (* (cbrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (cbrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))))) (cbrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (pow (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) 3) (sqrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (sqrt (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5))))) (+ (pow (fma 1.0 im (* 0.008333333333333333 (pow im 5))) 3) (pow (* (pow im 3) 0.16666666666666666) 3)) (fma (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (* (pow im 3) 0.16666666666666666) (- (* (pow im 3) 0.16666666666666666) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))))) (- (* (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (* (pow im 6) (* 0.16666666666666666 0.16666666666666666))) (- (fma 1.0 im (* 0.008333333333333333 (pow im 5))) (* (pow im 3) 0.16666666666666666)) (fma 0.008333333333333333 (pow im 5) (* (pow im 3) 0.16666666666666666)) (* 1.0 (* re im)) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) (* (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (sin re)) (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* (pow im 3) 0.16666666666666666) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (* 0.008333333333333333 (pow im 5)) (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) (fma 0.16666666666666666 (pow im 3) (fma 1.0 im (* 0.008333333333333333 (pow im 5)))) 7.562 * * * [progress]: adding candidates to table 7.911 * [progress]: [Phase 3 of 3] Extracting. 7.911 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 7.915 * * * [regime-changes]: Trying 5 branch expressions: ((- (exp (- im)) (exp im)) (sin re) (* 0.5 (sin re)) im re) 7.915 * * * * [regimes]: Trying to branch on (- (exp (- im)) (exp im)) from (# # # # # # # # # # #) 7.965 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # # # #) 8.021 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # # # # #) 8.075 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # #) 8.124 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # #) 8.175 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # #) 8.227 * * * [regime]: Found split indices: #