23.152 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.091 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.093 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 0.095 * * [simplify]: iteration 1 : 64 enodes (cost 7 ) 0.096 * * [simplify]: iteration 2 : 126 enodes (cost 7 ) 0.099 * * [simplify]: iteration 3 : 212 enodes (cost 7 ) 0.102 * * [simplify]: iteration 4 : 323 enodes (cost 7 ) 0.106 * * [simplify]: iteration 5 : 864 enodes (cost 7 ) 0.113 * * [simplify]: iteration 6 : 1202 enodes (cost 7 ) 0.121 * * [simplify]: iteration 7 : 1800 enodes (cost 7 ) 0.143 * * [simplify]: iteration 8 : 4419 enodes (cost 7 ) 0.161 * * [simplify]: iteration 9 : 5001 enodes (cost 7 ) 0.162 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.162 * * [progress]: iteration 1 / 4 0.162 * * * [progress]: picking best candidate 0.164 * * * * [pick]: Picked # 0.164 * * * [progress]: localizing error 0.174 * * * [progress]: generating rewritten candidates 0.174 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.196 * * * [progress]: generating series expansions 0.196 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.196 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 0.196 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 0.196 * [taylor]: Taking taylor expansion of 0.5 in im 0.196 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 0.196 * [taylor]: Taking taylor expansion of (sin re) in im 0.196 * [taylor]: Taking taylor expansion of re in im 0.196 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.196 * [taylor]: Taking taylor expansion of (exp im) in im 0.196 * [taylor]: Taking taylor expansion of im in im 0.196 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.196 * [taylor]: Taking taylor expansion of (- im) in im 0.196 * [taylor]: Taking taylor expansion of im in im 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.197 * [taylor]: Taking taylor expansion of 0.5 in re 0.197 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.197 * [taylor]: Taking taylor expansion of (sin re) in re 0.197 * [taylor]: Taking taylor expansion of re in re 0.197 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.197 * [taylor]: Taking taylor expansion of (exp im) in re 0.197 * [taylor]: Taking taylor expansion of im in re 0.197 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.197 * [taylor]: Taking taylor expansion of (- im) in re 0.197 * [taylor]: Taking taylor expansion of im in re 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.197 * [taylor]: Taking taylor expansion of 0.5 in re 0.197 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.197 * [taylor]: Taking taylor expansion of (sin re) in re 0.197 * [taylor]: Taking taylor expansion of re in re 0.197 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.197 * [taylor]: Taking taylor expansion of (exp im) in re 0.197 * [taylor]: Taking taylor expansion of im in re 0.197 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.198 * [taylor]: Taking taylor expansion of (- im) in re 0.198 * [taylor]: Taking taylor expansion of im in re 0.198 * [taylor]: Taking taylor expansion of 0 in im 0.201 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 0.201 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.201 * [taylor]: Taking taylor expansion of 0.5 in im 0.201 * [taylor]: Taking taylor expansion of (exp im) in im 0.201 * [taylor]: Taking taylor expansion of im in im 0.201 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.201 * [taylor]: Taking taylor expansion of 0.5 in im 0.201 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.201 * [taylor]: Taking taylor expansion of (- im) in im 0.201 * [taylor]: Taking taylor expansion of im in im 0.206 * [taylor]: Taking taylor expansion of 0 in im 0.215 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 0.215 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 0.215 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.215 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.215 * [taylor]: Taking taylor expansion of (exp im) in im 0.215 * [taylor]: Taking taylor expansion of im in im 0.215 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.215 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.215 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.215 * [taylor]: Taking taylor expansion of (- im) in im 0.215 * [taylor]: Taking taylor expansion of im in im 0.223 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.223 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.223 * [taylor]: Taking taylor expansion of 0.5 in im 0.223 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.223 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.223 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.223 * [taylor]: Taking taylor expansion of re in im 0.223 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.223 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.223 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.223 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.224 * [taylor]: Taking taylor expansion of im in im 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.224 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.224 * [taylor]: Taking taylor expansion of im in im 0.224 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.224 * [taylor]: Taking taylor expansion of 0.5 in re 0.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.225 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.225 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.225 * [taylor]: Taking taylor expansion of re in re 0.225 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.225 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.225 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.225 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.225 * [taylor]: Taking taylor expansion of im in re 0.225 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.225 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.225 * [taylor]: Taking taylor expansion of im in re 0.225 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.225 * [taylor]: Taking taylor expansion of 0.5 in re 0.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.225 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.225 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.225 * [taylor]: Taking taylor expansion of re in re 0.226 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.226 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.226 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.226 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.226 * [taylor]: Taking taylor expansion of im in re 0.226 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.226 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.226 * [taylor]: Taking taylor expansion of im in re 0.226 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.226 * [taylor]: Taking taylor expansion of 0.5 in im 0.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.226 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.226 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.226 * [taylor]: Taking taylor expansion of re in im 0.226 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.226 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.226 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.226 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.226 * [taylor]: Taking taylor expansion of im in im 0.227 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.227 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.227 * [taylor]: Taking taylor expansion of im in im 0.230 * [taylor]: Taking taylor expansion of 0 in im 0.236 * [taylor]: Taking taylor expansion of 0 in im 0.244 * [taylor]: Taking taylor expansion of 0 in im 0.244 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.244 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.244 * [taylor]: Taking taylor expansion of 0.5 in im 0.244 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.244 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.244 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.244 * [taylor]: Taking taylor expansion of -1 in im 0.244 * [taylor]: Taking taylor expansion of im in im 0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.245 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.245 * [taylor]: Taking taylor expansion of im in im 0.245 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.245 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.245 * [taylor]: Taking taylor expansion of -1 in im 0.245 * [taylor]: Taking taylor expansion of re in im 0.245 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.245 * [taylor]: Taking taylor expansion of 0.5 in re 0.245 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.245 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.245 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.245 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.245 * [taylor]: Taking taylor expansion of -1 in re 0.245 * [taylor]: Taking taylor expansion of im in re 0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.245 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.245 * [taylor]: Taking taylor expansion of im in re 0.246 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.246 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.246 * [taylor]: Taking taylor expansion of -1 in re 0.246 * [taylor]: Taking taylor expansion of re in re 0.246 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.246 * [taylor]: Taking taylor expansion of 0.5 in re 0.246 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.246 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.246 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.246 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.246 * [taylor]: Taking taylor expansion of -1 in re 0.246 * [taylor]: Taking taylor expansion of im in re 0.246 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.246 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.246 * [taylor]: Taking taylor expansion of im in re 0.246 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.246 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.246 * [taylor]: Taking taylor expansion of -1 in re 0.246 * [taylor]: Taking taylor expansion of re in re 0.247 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.247 * [taylor]: Taking taylor expansion of 0.5 in im 0.247 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.247 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.247 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.247 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.247 * [taylor]: Taking taylor expansion of -1 in im 0.247 * [taylor]: Taking taylor expansion of im in im 0.247 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.247 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.247 * [taylor]: Taking taylor expansion of im in im 0.248 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.248 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.248 * [taylor]: Taking taylor expansion of -1 in im 0.248 * [taylor]: Taking taylor expansion of re in im 0.250 * [taylor]: Taking taylor expansion of 0 in im 0.255 * [taylor]: Taking taylor expansion of 0 in im 0.262 * [taylor]: Taking taylor expansion of 0 in im 0.263 * * * [progress]: simplifying candidates 0.263 * [simplify]: Simplifying using # : (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) 0.268 * * [simplify]: iteration 0 : 318 enodes (cost 401 ) 0.274 * * [simplify]: iteration 1 : 1355 enodes (cost 355 ) 0.299 * * [simplify]: iteration 2 : 5001 enodes (cost 354 ) 0.301 * [simplify]: Simplified to: (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* (fma (- (exp im)) (exp im) (exp (+ (- 0.0 im) (- 0.0 im)))) (sin re)) 0.5) (fma re 1.0 (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) 0.301 * * * [progress]: adding candidates to table 0.378 * * [progress]: iteration 2 / 4 0.378 * * * [progress]: picking best candidate 0.381 * * * * [pick]: Picked # 0.381 * * * [progress]: localizing error 0.394 * * * [progress]: generating rewritten candidates 0.394 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.425 * * * [progress]: generating series expansions 0.425 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.425 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in (re) around 0 0.425 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.425 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.425 * [taylor]: Taking taylor expansion of 0.5 in re 0.426 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.427 * [taylor]: Taking taylor expansion of 1/3 in re 0.427 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.427 * [taylor]: Taking taylor expansion of (sin re) in re 0.427 * [taylor]: Taking taylor expansion of re in re 0.428 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.428 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.428 * [taylor]: Taking taylor expansion of 0.5 in re 0.428 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.428 * [taylor]: Taking taylor expansion of 1/3 in re 0.429 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.429 * [taylor]: Taking taylor expansion of (sin re) in re 0.429 * [taylor]: Taking taylor expansion of re in re 0.460 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in (re) around 0 0.460 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.460 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.460 * [taylor]: Taking taylor expansion of 0.5 in re 0.461 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.461 * [taylor]: Taking taylor expansion of 1/3 in re 0.461 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.461 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.461 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.461 * [taylor]: Taking taylor expansion of re in re 0.461 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.461 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.461 * [taylor]: Taking taylor expansion of 0.5 in re 0.462 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.462 * [taylor]: Taking taylor expansion of 1/3 in re 0.462 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.462 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.462 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.462 * [taylor]: Taking taylor expansion of re in re 0.509 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in (re) around 0 0.509 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.509 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.509 * [taylor]: Taking taylor expansion of 0.5 in re 0.510 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.510 * [taylor]: Taking taylor expansion of 1/3 in re 0.510 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.510 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.510 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.510 * [taylor]: Taking taylor expansion of -1 in re 0.510 * [taylor]: Taking taylor expansion of re in re 0.510 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.510 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.510 * [taylor]: Taking taylor expansion of 0.5 in re 0.511 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.511 * [taylor]: Taking taylor expansion of 1/3 in re 0.511 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.511 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.511 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.511 * [taylor]: Taking taylor expansion of -1 in re 0.511 * [taylor]: Taking taylor expansion of re in re 0.555 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.555 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in (re) around 0 0.555 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.555 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.555 * [taylor]: Taking taylor expansion of 0.5 in re 0.556 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.556 * [taylor]: Taking taylor expansion of 1/3 in re 0.556 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.556 * [taylor]: Taking taylor expansion of (sin re) in re 0.556 * [taylor]: Taking taylor expansion of re in re 0.557 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.557 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.557 * [taylor]: Taking taylor expansion of 0.5 in re 0.558 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.558 * [taylor]: Taking taylor expansion of 1/3 in re 0.558 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.558 * [taylor]: Taking taylor expansion of (sin re) in re 0.558 * [taylor]: Taking taylor expansion of re in re 0.592 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in (re) around 0 0.592 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.592 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.592 * [taylor]: Taking taylor expansion of 0.5 in re 0.593 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.593 * [taylor]: Taking taylor expansion of 1/3 in re 0.593 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.593 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.593 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.593 * [taylor]: Taking taylor expansion of re in re 0.593 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.593 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.593 * [taylor]: Taking taylor expansion of 0.5 in re 0.594 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.594 * [taylor]: Taking taylor expansion of 1/3 in re 0.594 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.594 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.594 * [taylor]: Taking taylor expansion of re in re 0.637 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in (re) around 0 0.638 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.638 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.638 * [taylor]: Taking taylor expansion of 0.5 in re 0.638 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.638 * [taylor]: Taking taylor expansion of 1/3 in re 0.638 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.638 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.638 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.638 * [taylor]: Taking taylor expansion of -1 in re 0.638 * [taylor]: Taking taylor expansion of re in re 0.639 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.639 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.639 * [taylor]: Taking taylor expansion of 0.5 in re 0.640 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.640 * [taylor]: Taking taylor expansion of 1/3 in re 0.640 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.640 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.640 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.640 * [taylor]: Taking taylor expansion of -1 in re 0.640 * [taylor]: Taking taylor expansion of re in re 0.685 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.685 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in (re) around 0 0.685 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.685 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.685 * [taylor]: Taking taylor expansion of 0.5 in re 0.686 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.686 * [taylor]: Taking taylor expansion of 1/3 in re 0.686 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.686 * [taylor]: Taking taylor expansion of (sin re) in re 0.686 * [taylor]: Taking taylor expansion of re in re 0.687 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin re) 1/3)) in re 0.687 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.687 * [taylor]: Taking taylor expansion of 0.5 in re 0.688 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 0.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 0.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 0.688 * [taylor]: Taking taylor expansion of 1/3 in re 0.688 * [taylor]: Taking taylor expansion of (log (sin re)) in re 0.688 * [taylor]: Taking taylor expansion of (sin re) in re 0.688 * [taylor]: Taking taylor expansion of re in re 0.722 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in (re) around 0 0.722 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.722 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.722 * [taylor]: Taking taylor expansion of 0.5 in re 0.722 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.722 * [taylor]: Taking taylor expansion of 1/3 in re 0.722 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.722 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.722 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.722 * [taylor]: Taking taylor expansion of re in re 0.723 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ 1 re)) 1/3)) in re 0.723 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.723 * [taylor]: Taking taylor expansion of 0.5 in re 0.724 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 0.724 * [taylor]: Taking taylor expansion of 1/3 in re 0.724 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 0.724 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.724 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.724 * [taylor]: Taking taylor expansion of re in re 0.767 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in (re) around 0 0.767 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.767 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.767 * [taylor]: Taking taylor expansion of 0.5 in re 0.768 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.768 * [taylor]: Taking taylor expansion of 1/3 in re 0.768 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.768 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.768 * [taylor]: Taking taylor expansion of -1 in re 0.768 * [taylor]: Taking taylor expansion of re in re 0.769 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (pow (sin (/ -1 re)) 1/3)) in re 0.769 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.769 * [taylor]: Taking taylor expansion of 0.5 in re 0.769 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 0.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 0.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 0.770 * [taylor]: Taking taylor expansion of 1/3 in re 0.770 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 0.770 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.770 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.770 * [taylor]: Taking taylor expansion of -1 in re 0.770 * [taylor]: Taking taylor expansion of re in re 0.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.816 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) in (re) around 0 0.816 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) in re 0.816 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.816 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.816 * [taylor]: Taking taylor expansion of 0.5 in re 0.817 * [taylor]: Taking taylor expansion of (pow (pow (sin re) 2) 1/3) in re 0.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin re) 2)))) in re 0.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin re) 2))) in re 0.817 * [taylor]: Taking taylor expansion of 1/3 in re 0.817 * [taylor]: Taking taylor expansion of (log (pow (sin re) 2)) in re 0.817 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 0.817 * [taylor]: Taking taylor expansion of (sin re) in re 0.817 * [taylor]: Taking taylor expansion of re in re 0.818 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) in re 0.818 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.818 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.818 * [taylor]: Taking taylor expansion of 0.5 in re 0.819 * [taylor]: Taking taylor expansion of (pow (pow (sin re) 2) 1/3) in re 0.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin re) 2)))) in re 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin re) 2))) in re 0.819 * [taylor]: Taking taylor expansion of 1/3 in re 0.819 * [taylor]: Taking taylor expansion of (log (pow (sin re) 2)) in re 0.819 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 0.819 * [taylor]: Taking taylor expansion of (sin re) in re 0.819 * [taylor]: Taking taylor expansion of re in re 0.860 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ 1 re)) 2) 1/3)) in (re) around 0 0.860 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ 1 re)) 2) 1/3)) in re 0.860 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.860 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.860 * [taylor]: Taking taylor expansion of 0.5 in re 0.861 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 re)) 2) 1/3) in re 0.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 re)) 2)))) in re 0.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 re)) 2))) in re 0.861 * [taylor]: Taking taylor expansion of 1/3 in re 0.861 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 re)) 2)) in re 0.861 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 0.861 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.861 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.861 * [taylor]: Taking taylor expansion of re in re 0.862 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ 1 re)) 2) 1/3)) in re 0.862 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.862 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.862 * [taylor]: Taking taylor expansion of 0.5 in re 0.862 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 re)) 2) 1/3) in re 0.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 re)) 2)))) in re 0.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 re)) 2))) in re 0.862 * [taylor]: Taking taylor expansion of 1/3 in re 0.862 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 re)) 2)) in re 0.863 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 0.863 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.863 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.863 * [taylor]: Taking taylor expansion of re in re 0.921 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ -1 re)) 2) 1/3)) in (re) around 0 0.921 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ -1 re)) 2) 1/3)) in re 0.921 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.922 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.922 * [taylor]: Taking taylor expansion of 0.5 in re 0.922 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 re)) 2) 1/3) in re 0.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 re)) 2)))) in re 0.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 re)) 2))) in re 0.922 * [taylor]: Taking taylor expansion of 1/3 in re 0.922 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 re)) 2)) in re 0.922 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 0.922 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.922 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.922 * [taylor]: Taking taylor expansion of -1 in re 0.922 * [taylor]: Taking taylor expansion of re in re 0.923 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (pow (sin (/ -1 re)) 2) 1/3)) in re 0.923 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 0.923 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 0.923 * [taylor]: Taking taylor expansion of 0.5 in re 0.924 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 re)) 2) 1/3) in re 0.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 re)) 2)))) in re 0.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 re)) 2))) in re 0.924 * [taylor]: Taking taylor expansion of 1/3 in re 0.924 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 re)) 2)) in re 0.924 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 0.924 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.924 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.924 * [taylor]: Taking taylor expansion of -1 in re 0.924 * [taylor]: Taking taylor expansion of re in re 0.983 * * * [progress]: simplifying candidates 0.985 * [simplify]: Simplifying using # : (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (cbrt (sin re)) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt (* 0.5 1)) (cbrt (sin re)) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (sin re)) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (cbrt (sin re)) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt (* 0.5 1)) (cbrt (sin re)) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (sin re)) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (cbrt (sin re)) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt (* 0.5 1)) (cbrt (sin re)) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) (cbrt 1) (cbrt (* 0.5 (sin re))) (cbrt (sin re)) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (log1p (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (+ 1/3 1/3) (+ 1 1) (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (+ 1 1) (+ (log (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re))))) (log (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (exp (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re))))) (* (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* 0.5 (sin re))) (* (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re))))) (* (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (* (* (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (sqrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (sqrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))))) (* (cbrt (cbrt (sin re))) (cbrt (cbrt (sin re)))) (* (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (* 0.5 (sqrt (sin re))))) (* (cbrt (sqrt (sin re))) (cbrt (sqrt (sin re)))) (* (cbrt (* 0.5 1)) (cbrt (* 0.5 1))) (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (* (cbrt 0.5) (sin re))) (cbrt (* (cbrt 0.5) (sin re)))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (* (sqrt 0.5) (sin re))) (cbrt (* (sqrt 0.5) (sin re)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re)))))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* 1 1) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* 2 1/3) (* 2 1) (* (cbrt (* 0.5 (sin re))) (cbrt 0.5)) (* (cbrt (* 0.5 (sin re))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sqrt (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 1))) (* (cbrt (* 0.5 (sin re))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (* 0.5 (sin re))) (cbrt (sqrt 0.5))) (* (cbrt (* 0.5 (sin re))) (cbrt 1)) (* (cbrt (* 0.5 (sin re))) (cbrt (sin re))) (* (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re)))))) (* (cbrt (* 0.5 (sin re))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* 0.5 (sin re))) 1) (* (cbrt (sin re)) (cbrt (* 0.5 (sin re)))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (sin re)))) (* (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sin re)) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (cbrt 0.5) (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (sqrt 0.5) (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt 0.5) (cbrt (* 0.5 (sin re)))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* (sqrt (cbrt (* 0.5 (sin re)))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (- (* (cbrt 0.5) (pow re 1/3)) (+ (* 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3))) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (- (* (cbrt 0.5) (pow re 1/3)) (+ (* 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3))) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (- (* (cbrt 0.5) (pow re 1/3)) (+ (* 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3))) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (- (+ (* (pow (cbrt 0.5) 2) (pow (pow re 2) 1/3)) (* 1/405 (* (pow (cbrt 0.5) 2) (pow (pow re 14) 1/3)))) (* 1/9 (* (pow (cbrt 0.5) 2) (pow (pow re 8) 1/3)))) (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) 0.992 * * [simplify]: iteration 0 : 282 enodes (cost 1252 ) 0.997 * * [simplify]: iteration 1 : 1036 enodes (cost 1162 ) 1.019 * * [simplify]: iteration 2 : 5001 enodes (cost 1087 ) 1.025 * [simplify]: Simplified to: (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) 1 (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) 1 (cbrt (* 0.5 (sin re))) (pow (sin re) 1/3) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* 0.5 (sin re)) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) 1 (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) 1 (cbrt (* 0.5 (sin re))) (pow (sin re) 1/3) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* 0.5 (sin re)) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (cbrt (* 0.5 (sin re)))) (log1p (cbrt (* 0.5 (sin re)))) (log (cbrt (* 0.5 (sin re)))) (exp (cbrt (* 0.5 (sin re)))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re)))) 1 (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (sqrt (sin re))) (cbrt 0.5) (pow (sin re) 1/3) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (sin re))) (cbrt (sqrt 0.5)) (cbrt (* (sqrt 0.5) (sin re))) 1 (cbrt (* 0.5 (sin re))) (pow (sin re) 1/3) (cbrt 0.5) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (cbrt (* 0.5 (sin re)))) (* 0.5 (sin re)) (sqrt (cbrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re)))) (expm1 (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (log1p (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) 2/3 2 (* (* 0.5 0.5) (pow (sin re) 2)) (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) 2 (* 2 (log (cbrt (* 0.5 (sin re))))) (* 2 (log (cbrt (* 0.5 (sin re))))) (pow (exp 1) (pow (sqrt (cbrt (* 0.5 (sin re)))) 4)) (* (* 0.5 0.5) (pow (sin re) 2)) (* (* 0.5 0.5) (pow (sin re) 2)) (* (* 0.5 0.5) (pow (sin re) 2)) (* (* 0.5 0.5) (pow (sin re) 2)) (* (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (* (* 0.5 0.5) (pow (sin re) 2)) (fabs (cbrt (* 0.5 (sin re)))) (fabs (cbrt (* 0.5 (sin re)))) (pow (cbrt 0.5) 2) (pow (sin re) 2/3) (* (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) 1 (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) 1 (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re))))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))))) (* (cbrt (cbrt (sin re))) (cbrt (cbrt (sin re)))) (* (cbrt (* 0.5 (sqrt (sin re)))) (cbrt (* 0.5 (sqrt (sin re))))) (* (cbrt (sqrt (sin re))) (cbrt (sqrt (sin re)))) (pow (cbrt 0.5) 2) (pow (sin re) 2/3) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (* (cbrt 0.5) (sin re))) (cbrt (* (cbrt 0.5) (sin re)))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (* (sqrt 0.5) (sin re))) (cbrt (* (sqrt 0.5) (sin re)))) 1 (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) 1 (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (pow (sin re) 2/3) (pow (cbrt 0.5) 2) (pow (cbrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (cbrt (* 0.5 (sin re)))) (cbrt (cbrt (* 0.5 (sin re))))) (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))) 1 (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (sqrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (sqrt (* 0.5 (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (* (cbrt (* (sqrt 0.5) (sqrt (sin re)))) (sqrt (cbrt (* 0.5 (sin re))))) (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re))) 2/3 2 (* (cbrt (* 0.5 (sin re))) (cbrt 0.5)) (* (cbrt (* 0.5 (sin re))) (cbrt (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (sqrt (* 0.5 (sin re))))) (cbrt (* 0.5 (sin re))) (* (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sqrt (sin re))))) (* (cbrt (* 0.5 (sin re))) (cbrt 0.5)) (* (cbrt (* 0.5 (sin re))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (* 0.5 (sin re))) (cbrt (sqrt 0.5))) (cbrt (* 0.5 (sin re))) (* (cbrt (* 0.5 (sin re))) (cbrt (sin re))) (* (pow (cbrt (cbrt (* 0.5 (sin re)))) 4) (cbrt (cbrt (* 0.5 (sin re))))) (pow (sqrt (cbrt (* 0.5 (sin re)))) 3) (cbrt (* 0.5 (sin re))) (* (cbrt (* 0.5 (sin re))) (cbrt (sin re))) (pow (cbrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (* 0.5 (sin re))) (cbrt (sqrt (* 0.5 (sin re))))) (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (* 0.5 (sin re))) (cbrt (* (sqrt 0.5) (sqrt (sin re))))) (* (cbrt (cbrt (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (sin re))) (* (cbrt (* (cbrt 0.5) (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (sqrt 0.5) (sin re))) (cbrt (* 0.5 (sin re)))) (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (* (cbrt (* 0.5 (sin re))) (cbrt 0.5)) (pow (cbrt (cbrt (* 0.5 (sin re)))) 4) (pow (sqrt (cbrt (* 0.5 (sin re)))) 3) (pow (sqrt (cbrt (* 0.5 (sin re)))) 4) (fma (cbrt 0.5) (pow re 1/3) (- (fma 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3)) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3)))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (fma (cbrt 0.5) (pow re 1/3) (- (fma 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3)) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3)))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (fma (cbrt 0.5) (pow re 1/3) (- (fma 1/3240 (* (cbrt 0.5) (pow (pow re 13) 1/3)) (* 1/18 (* (cbrt 0.5) (pow (pow re 7) 1/3)))))) (* (cbrt 0.5) (pow (sin re) 1/3)) (* (cbrt 0.5) (pow (sin re) 1/3)) (fma (pow (pow re 2) 1/3) (pow (cbrt 0.5) 2) (- (* 1/405 (* (pow (cbrt 0.5) 2) (pow (pow re 14) 1/3))) (* 1/9 (* (pow (cbrt 0.5) 2) (pow (pow re 8) 1/3))))) (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) (* (pow (cbrt 0.5) 2) (pow (pow (sin re) 2) 1/3)) 1.026 * * * [progress]: adding candidates to table 1.386 * [progress]: [Phase 3 of 3] Extracting. 1.386 * * [regime]: Finding splitpoints for: (# #) 1.386 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re) 1.386 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# #) 1.402 * * * * [regimes]: Trying to branch on (sin re) from (# #) 1.418 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# #) 1.437 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# #) 1.460 * * * * [regimes]: Trying to branch on im from (# #) 1.475 * * * * [regimes]: Trying to branch on re from (# #) 1.487 * * * [regime]: Found split indices: #