6.828 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.094 * [progress]: [Phase 2 of 3] Improving. 0.094 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.096 * * [simplify]: iteration 0 : 23 enodes (cost 7 ) 0.098 * * [simplify]: iteration 1 : 60 enodes (cost 7 ) 0.100 * * [simplify]: iteration 2 : 112 enodes (cost 7 ) 0.102 * * [simplify]: iteration 3 : 236 enodes (cost 7 ) 0.105 * * [simplify]: iteration 4 : 520 enodes (cost 6 ) 0.109 * * [simplify]: iteration 5 : 702 enodes (cost 6 ) 0.117 * * [simplify]: iteration 6 : 1514 enodes (cost 6 ) 0.129 * * [simplify]: iteration 7 : 2284 enodes (cost 6 ) 0.167 * * [simplify]: iteration 8 : 5001 enodes (cost 6 ) 0.167 * [simplify]: Simplified to: (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 0.170 * * [progress]: iteration 1 / 4 0.170 * * * [progress]: picking best candidate 0.172 * * * * [pick]: Picked # 0.172 * * * [progress]: localizing error 0.181 * * * [progress]: generating rewritten candidates 0.181 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 3) 0.184 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.187 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.189 * * * [progress]: generating series expansions 0.189 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 3) 0.189 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 0.189 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.189 * [taylor]: Taking taylor expansion of 0.5 in im 0.189 * [taylor]: Taking taylor expansion of (exp im) in im 0.189 * [taylor]: Taking taylor expansion of im in im 0.190 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.190 * [taylor]: Taking taylor expansion of 0.5 in im 0.190 * [taylor]: Taking taylor expansion of (exp im) in im 0.190 * [taylor]: Taking taylor expansion of im in im 0.197 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 0.197 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.197 * [taylor]: Taking taylor expansion of 0.5 in im 0.197 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.197 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.197 * [taylor]: Taking taylor expansion of im in im 0.197 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.197 * [taylor]: Taking taylor expansion of 0.5 in im 0.198 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.198 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.198 * [taylor]: Taking taylor expansion of im in im 0.200 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 0.200 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.200 * [taylor]: Taking taylor expansion of 0.5 in im 0.200 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.200 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.200 * [taylor]: Taking taylor expansion of -1 in im 0.200 * [taylor]: Taking taylor expansion of im in im 0.200 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.200 * [taylor]: Taking taylor expansion of 0.5 in im 0.200 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.200 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.200 * [taylor]: Taking taylor expansion of -1 in im 0.200 * [taylor]: Taking taylor expansion of im in im 0.202 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.202 * [approximate]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in (im re) around 0 0.202 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in re 0.202 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in re 0.203 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in re 0.203 * [taylor]: Taking taylor expansion of 0.5 in re 0.203 * [taylor]: Taking taylor expansion of (exp im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.203 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in re 0.203 * [taylor]: Taking taylor expansion of 0.5 in re 0.203 * [taylor]: Taking taylor expansion of (exp im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.203 * [taylor]: Taking taylor expansion of (cos re) in re 0.203 * [taylor]: Taking taylor expansion of re in re 0.203 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in im 0.203 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.203 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.203 * [taylor]: Taking taylor expansion of 0.5 in im 0.203 * [taylor]: Taking taylor expansion of (exp im) in im 0.203 * [taylor]: Taking taylor expansion of im in im 0.203 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.203 * [taylor]: Taking taylor expansion of 0.5 in im 0.203 * [taylor]: Taking taylor expansion of (exp im) in im 0.203 * [taylor]: Taking taylor expansion of im in im 0.204 * [taylor]: Taking taylor expansion of (cos re) in im 0.204 * [taylor]: Taking taylor expansion of re in im 0.204 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in im 0.204 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.204 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.204 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.204 * [taylor]: Taking taylor expansion of 0.5 in im 0.204 * [taylor]: Taking taylor expansion of (exp im) in im 0.204 * [taylor]: Taking taylor expansion of im in im 0.204 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.204 * [taylor]: Taking taylor expansion of 0.5 in im 0.204 * [taylor]: Taking taylor expansion of (exp im) in im 0.204 * [taylor]: Taking taylor expansion of im in im 0.204 * [taylor]: Taking taylor expansion of (cos re) in im 0.204 * [taylor]: Taking taylor expansion of re in im 0.205 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 0.205 * [taylor]: Taking taylor expansion of 1.0 in re 0.205 * [taylor]: Taking taylor expansion of (cos re) in re 0.205 * [taylor]: Taking taylor expansion of re in re 0.212 * [taylor]: Taking taylor expansion of 0 in re 0.221 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 0.221 * [taylor]: Taking taylor expansion of 0.5 in re 0.221 * [taylor]: Taking taylor expansion of (cos re) in re 0.221 * [taylor]: Taking taylor expansion of re in re 0.224 * [approximate]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in (im re) around 0 0.224 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in re 0.224 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.224 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.224 * [taylor]: Taking taylor expansion of re in re 0.224 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in re 0.224 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.224 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.224 * [taylor]: Taking taylor expansion of 0.5 in re 0.224 * [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 (exp (/ 1 im))) in re 0.225 * [taylor]: Taking taylor expansion of 0.5 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 (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.225 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.225 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.225 * [taylor]: Taking taylor expansion of re in im 0.225 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.225 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.225 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.225 * [taylor]: Taking taylor expansion of 0.5 in im 0.225 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.225 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.225 * [taylor]: Taking taylor expansion of im in im 0.225 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.225 * [taylor]: Taking taylor expansion of 0.5 in im 0.225 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.225 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.225 * [taylor]: Taking taylor expansion of im in im 0.226 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.226 * [taylor]: Taking taylor expansion of (cos (/ 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 (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.226 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.226 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.226 * [taylor]: Taking taylor expansion of 0.5 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 im in im 0.226 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.226 * [taylor]: Taking taylor expansion of 0.5 in im 0.226 * [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.228 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))) in re 0.228 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.228 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.228 * [taylor]: Taking taylor expansion of re in re 0.228 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in re 0.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in re 0.228 * [taylor]: Taking taylor expansion of 0.5 in re 0.228 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in re 0.228 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.228 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.228 * [taylor]: Taking taylor expansion of im in re 0.228 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.228 * [taylor]: Taking taylor expansion of 0.5 in re 0.228 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.228 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.228 * [taylor]: Taking taylor expansion of im in re 0.231 * [taylor]: Taking taylor expansion of 0 in re 0.241 * [taylor]: Taking taylor expansion of 0 in re 0.251 * [taylor]: Taking taylor expansion of 0 in re 0.251 * [approximate]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in (im re) around 0 0.251 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in re 0.251 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.251 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.251 * [taylor]: Taking taylor expansion of -1 in re 0.251 * [taylor]: Taking taylor expansion of re in re 0.251 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in re 0.252 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.252 * [taylor]: Taking taylor expansion of 0.5 in re 0.252 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.252 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.252 * [taylor]: Taking taylor expansion of -1 in re 0.252 * [taylor]: Taking taylor expansion of im in re 0.252 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in re 0.252 * [taylor]: Taking taylor expansion of 0.5 in re 0.252 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.252 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.252 * [taylor]: Taking taylor expansion of -1 in re 0.252 * [taylor]: Taking taylor expansion of im in re 0.252 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.252 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.252 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.252 * [taylor]: Taking taylor expansion of -1 in im 0.252 * [taylor]: Taking taylor expansion of re in im 0.252 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.252 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.252 * [taylor]: Taking taylor expansion of 0.5 in im 0.252 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.252 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.252 * [taylor]: Taking taylor expansion of -1 in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.253 * [taylor]: Taking taylor expansion of 0.5 in im 0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.253 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of re in im 0.253 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.253 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.253 * [taylor]: Taking taylor expansion of 0.5 in im 0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.254 * [taylor]: Taking taylor expansion of im in im 0.254 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.254 * [taylor]: Taking taylor expansion of 0.5 in im 0.254 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.254 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.254 * [taylor]: Taking taylor expansion of -1 in im 0.254 * [taylor]: Taking taylor expansion of im in im 0.255 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im))))) (cos (/ -1 re))) in re 0.255 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im))))) in re 0.255 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.255 * [taylor]: Taking taylor expansion of 0.5 in re 0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.255 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.255 * [taylor]: Taking taylor expansion of -1 in re 0.255 * [taylor]: Taking taylor expansion of im in re 0.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in re 0.255 * [taylor]: Taking taylor expansion of 0.5 in re 0.255 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in re 0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.255 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.255 * [taylor]: Taking taylor expansion of -1 in re 0.255 * [taylor]: Taking taylor expansion of im in re 0.255 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.255 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.255 * [taylor]: Taking taylor expansion of -1 in re 0.255 * [taylor]: Taking taylor expansion of re in re 0.259 * [taylor]: Taking taylor expansion of 0 in re 0.265 * [taylor]: Taking taylor expansion of 0 in re 0.273 * [taylor]: Taking taylor expansion of 0 in re 0.273 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.273 * [approximate]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in (im) around 0 0.273 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.273 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.273 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.273 * [taylor]: Taking taylor expansion of 0.5 in im 0.274 * [taylor]: Taking taylor expansion of (exp im) in im 0.274 * [taylor]: Taking taylor expansion of im in im 0.274 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.274 * [taylor]: Taking taylor expansion of 0.5 in im 0.274 * [taylor]: Taking taylor expansion of (exp im) in im 0.274 * [taylor]: Taking taylor expansion of im in im 0.274 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.274 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.274 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.274 * [taylor]: Taking taylor expansion of 0.5 in im 0.274 * [taylor]: Taking taylor expansion of (exp im) in im 0.274 * [taylor]: Taking taylor expansion of im in im 0.274 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.274 * [taylor]: Taking taylor expansion of 0.5 in im 0.274 * [taylor]: Taking taylor expansion of (exp im) in im 0.274 * [taylor]: Taking taylor expansion of im in im 0.294 * [approximate]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in (im) around 0 0.294 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.294 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.294 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.294 * [taylor]: Taking taylor expansion of 0.5 in im 0.294 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.294 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.294 * [taylor]: Taking taylor expansion of im in im 0.295 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.295 * [taylor]: Taking taylor expansion of 0.5 in im 0.295 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.295 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.295 * [taylor]: Taking taylor expansion of im in im 0.295 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.295 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.295 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.295 * [taylor]: Taking taylor expansion of 0.5 in im 0.295 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.295 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.295 * [taylor]: Taking taylor expansion of im in im 0.296 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.296 * [taylor]: Taking taylor expansion of 0.5 in im 0.296 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.296 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.296 * [taylor]: Taking taylor expansion of im in im 0.305 * [approximate]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in (im) around 0 0.305 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.305 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.305 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.305 * [taylor]: Taking taylor expansion of 0.5 in im 0.305 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.305 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.305 * [taylor]: Taking taylor expansion of -1 in im 0.305 * [taylor]: Taking taylor expansion of im in im 0.305 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.305 * [taylor]: Taking taylor expansion of 0.5 in im 0.305 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.305 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.305 * [taylor]: Taking taylor expansion of -1 in im 0.305 * [taylor]: Taking taylor expansion of im in im 0.306 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.306 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.306 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.306 * [taylor]: Taking taylor expansion of 0.5 in im 0.306 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.306 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.306 * [taylor]: Taking taylor expansion of -1 in im 0.306 * [taylor]: Taking taylor expansion of im in im 0.306 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.306 * [taylor]: Taking taylor expansion of 0.5 in im 0.306 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.306 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.306 * [taylor]: Taking taylor expansion of -1 in im 0.307 * [taylor]: Taking taylor expansion of im in im 0.316 * * * [progress]: simplifying candidates 0.317 * [simplify]: Simplifying using # : (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (log (/ 0.5 (exp im))) (exp (/ 0.5 (exp im))) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) (/ 1 1) (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) (/ 0.5 1) (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (log1p (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (+ (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log (cos re))) (log (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (exp (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (* (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (fma 0.5 (exp im) (/ 0.5 (exp im)))) (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (* (cos re) (cos re)) (cos re))) (* (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)))) (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (* (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (sqrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (sqrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (* (cbrt (cos re)) (cbrt (cos re)))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (sqrt (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) 1) (* (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (expm1 (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log1p (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* 0.5 (exp im)) (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (exp (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (fma 0.5 (exp im) (/ 0.5 (exp im)))) (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (cos re)) (* (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (cos re)) (+ (* 1.3877787807814457e-17 (pow im 3)) (+ (* 0.5 (pow im 2)) 1.0)) (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) 0.321 * * [simplify]: iteration 0 : 215 enodes (cost 417 ) 0.325 * * [simplify]: iteration 1 : 712 enodes (cost 366 ) 0.341 * * [simplify]: iteration 2 : 4318 enodes (cost 366 ) 0.436 * * [simplify]: iteration 3 : 5001 enodes (cost 364 ) 0.438 * [simplify]: Simplified to: (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (sqrt 0.5) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) 1 (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) 0.5 (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (log1p (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (log (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (log (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (exp (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (pow (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3) (* (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)))) (cbrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (pow (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3) (sqrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (sqrt (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (* (cbrt (cos re)) (cbrt (cos re)))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (sqrt (cos re))) (fma 0.5 (exp im) (/ 0.5 (exp im))) (* (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (expm1 (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log1p (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* 0.5 (exp im)) (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (exp (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (pow (fma 0.5 (exp im) (/ 0.5 (exp im))) 3) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (fma im (- (* 0.25 im) 0.5) 0.5) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (fma 0.5 (- (pow im 2) (pow re 2)) 1.0) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (fma 1.3877787807814457e-17 (pow im 3) (fma 0.5 (pow im 2) 1.0)) (fma 0.5 (exp im) (/ 0.5 (exp im))) (fma 0.5 (exp im) (/ 0.5 (exp im))) 0.439 * * * [progress]: adding candidates to table 0.611 * * [progress]: iteration 2 / 4 0.611 * * * [progress]: picking best candidate 0.615 * * * * [pick]: Picked # 0.615 * * * [progress]: localizing error 0.625 * * * [progress]: generating rewritten candidates 0.625 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 3) 0.628 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3) 0.631 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.636 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.651 * * * [progress]: generating series expansions 0.651 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 3) 0.651 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 0.651 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.651 * [taylor]: Taking taylor expansion of 0.5 in im 0.651 * [taylor]: Taking taylor expansion of (exp im) in im 0.651 * [taylor]: Taking taylor expansion of im in im 0.651 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.651 * [taylor]: Taking taylor expansion of 0.5 in im 0.651 * [taylor]: Taking taylor expansion of (exp im) in im 0.651 * [taylor]: Taking taylor expansion of im in im 0.662 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 0.662 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.662 * [taylor]: Taking taylor expansion of 0.5 in im 0.662 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.662 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.662 * [taylor]: Taking taylor expansion of im in im 0.662 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.662 * [taylor]: Taking taylor expansion of 0.5 in im 0.662 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.662 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.662 * [taylor]: Taking taylor expansion of im in im 0.664 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 0.664 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.665 * [taylor]: Taking taylor expansion of 0.5 in im 0.665 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.665 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.665 * [taylor]: Taking taylor expansion of -1 in im 0.665 * [taylor]: Taking taylor expansion of im in im 0.665 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.665 * [taylor]: Taking taylor expansion of 0.5 in im 0.665 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.665 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.665 * [taylor]: Taking taylor expansion of -1 in im 0.665 * [taylor]: Taking taylor expansion of im in im 0.667 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3) 0.667 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 0.667 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.667 * [taylor]: Taking taylor expansion of 0.5 in im 0.667 * [taylor]: Taking taylor expansion of (exp im) in im 0.667 * [taylor]: Taking taylor expansion of im in im 0.668 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.668 * [taylor]: Taking taylor expansion of 0.5 in im 0.668 * [taylor]: Taking taylor expansion of (exp im) in im 0.668 * [taylor]: Taking taylor expansion of im in im 0.675 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 0.675 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.675 * [taylor]: Taking taylor expansion of 0.5 in im 0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.675 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.675 * [taylor]: Taking taylor expansion of im in im 0.675 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.675 * [taylor]: Taking taylor expansion of 0.5 in im 0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.675 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.675 * [taylor]: Taking taylor expansion of im in im 0.677 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 0.677 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.677 * [taylor]: Taking taylor expansion of 0.5 in im 0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.677 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.677 * [taylor]: Taking taylor expansion of -1 in im 0.677 * [taylor]: Taking taylor expansion of im in im 0.678 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.678 * [taylor]: Taking taylor expansion of 0.5 in im 0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.678 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.678 * [taylor]: Taking taylor expansion of -1 in im 0.678 * [taylor]: Taking taylor expansion of im in im 0.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.680 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) in (im re) around 0 0.680 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) in re 0.680 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) in re 0.680 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in re 0.680 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.680 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in re 0.680 * [taylor]: Taking taylor expansion of 0.5 in re 0.680 * [taylor]: Taking taylor expansion of (exp im) in re 0.680 * [taylor]: Taking taylor expansion of im in re 0.680 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in re 0.680 * [taylor]: Taking taylor expansion of 0.5 in re 0.680 * [taylor]: Taking taylor expansion of (exp im) in re 0.680 * [taylor]: Taking taylor expansion of im in re 0.682 * [taylor]: Taking taylor expansion of (cos re) in re 0.682 * [taylor]: Taking taylor expansion of re in re 0.682 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) in im 0.682 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) in im 0.682 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.683 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.683 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.683 * [taylor]: Taking taylor expansion of 0.5 in im 0.683 * [taylor]: Taking taylor expansion of (exp im) in im 0.683 * [taylor]: Taking taylor expansion of im in im 0.683 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.683 * [taylor]: Taking taylor expansion of 0.5 in im 0.683 * [taylor]: Taking taylor expansion of (exp im) in im 0.683 * [taylor]: Taking taylor expansion of im in im 0.689 * [taylor]: Taking taylor expansion of (cos re) in im 0.689 * [taylor]: Taking taylor expansion of re in im 0.689 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) in im 0.689 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) in im 0.689 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.689 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.689 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.689 * [taylor]: Taking taylor expansion of 0.5 in im 0.689 * [taylor]: Taking taylor expansion of (exp im) in im 0.689 * [taylor]: Taking taylor expansion of im in im 0.689 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.689 * [taylor]: Taking taylor expansion of 0.5 in im 0.689 * [taylor]: Taking taylor expansion of (exp im) in im 0.689 * [taylor]: Taking taylor expansion of im in im 0.695 * [taylor]: Taking taylor expansion of (cos re) in im 0.695 * [taylor]: Taking taylor expansion of re in im 0.695 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (cos re)) in re 0.695 * [taylor]: Taking taylor expansion of (sqrt 1.0) in re 0.695 * [taylor]: Taking taylor expansion of 1.0 in re 0.696 * [taylor]: Taking taylor expansion of (cos re) in re 0.696 * [taylor]: Taking taylor expansion of re in re 0.699 * [taylor]: Taking taylor expansion of 0 in re 0.711 * [taylor]: Taking taylor expansion of (* 0.25 (/ (cos re) (sqrt 1.0))) in re 0.711 * [taylor]: Taking taylor expansion of 0.25 in re 0.711 * [taylor]: Taking taylor expansion of (/ (cos re) (sqrt 1.0)) in re 0.712 * [taylor]: Taking taylor expansion of (cos re) in re 0.712 * [taylor]: Taking taylor expansion of re in re 0.712 * [taylor]: Taking taylor expansion of (sqrt 1.0) in re 0.712 * [taylor]: Taking taylor expansion of 1.0 in re 0.721 * [approximate]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))))) in (im re) around 0 0.721 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))))) in re 0.721 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.721 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.721 * [taylor]: Taking taylor expansion of re in re 0.722 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in re 0.722 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in re 0.722 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.722 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.722 * [taylor]: Taking taylor expansion of 0.5 in re 0.722 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.722 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.722 * [taylor]: Taking taylor expansion of im in re 0.722 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in re 0.722 * [taylor]: Taking taylor expansion of 0.5 in re 0.722 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.722 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.722 * [taylor]: Taking taylor expansion of im in re 0.724 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))))) in im 0.724 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.724 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.724 * [taylor]: Taking taylor expansion of re in im 0.725 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.725 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.725 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.725 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.725 * [taylor]: Taking taylor expansion of 0.5 in im 0.725 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.725 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.725 * [taylor]: Taking taylor expansion of im in im 0.725 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.725 * [taylor]: Taking taylor expansion of 0.5 in im 0.725 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.725 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.725 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))))) in im 0.727 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.727 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.727 * [taylor]: Taking taylor expansion of re in im 0.727 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.727 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.727 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.727 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.727 * [taylor]: Taking taylor expansion of 0.5 in im 0.727 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.727 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.728 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.728 * [taylor]: Taking taylor expansion of 0.5 in im 0.728 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.728 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.728 * [taylor]: Taking taylor expansion of im in im 0.730 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))))) in re 0.730 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.730 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.730 * [taylor]: Taking taylor expansion of re in re 0.730 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))) in re 0.730 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in re 0.730 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in re 0.730 * [taylor]: Taking taylor expansion of 0.5 in re 0.731 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in re 0.731 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.731 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.731 * [taylor]: Taking taylor expansion of im in re 0.731 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.731 * [taylor]: Taking taylor expansion of 0.5 in re 0.731 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.731 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.731 * [taylor]: Taking taylor expansion of im in re 0.736 * [taylor]: Taking taylor expansion of 0 in re 0.740 * [taylor]: Taking taylor expansion of 0 in re 0.756 * [taylor]: Taking taylor expansion of 0 in re 0.756 * [approximate]: Taking taylor expansion of (* (cos (/ -1 re)) (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))))) in (im re) around 0 0.756 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))))) in re 0.756 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.756 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.756 * [taylor]: Taking taylor expansion of -1 in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.757 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in re 0.757 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in re 0.757 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.757 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.757 * [taylor]: Taking taylor expansion of 0.5 in re 0.757 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.757 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.757 * [taylor]: Taking taylor expansion of -1 in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.757 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in re 0.757 * [taylor]: Taking taylor expansion of 0.5 in re 0.757 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.757 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.757 * [taylor]: Taking taylor expansion of -1 in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.760 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))))) in im 0.760 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.760 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.760 * [taylor]: Taking taylor expansion of -1 in im 0.760 * [taylor]: Taking taylor expansion of re in im 0.760 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.760 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.760 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.760 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.760 * [taylor]: Taking taylor expansion of 0.5 in im 0.760 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.760 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.760 * [taylor]: Taking taylor expansion of -1 in im 0.760 * [taylor]: Taking taylor expansion of im in im 0.760 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.760 * [taylor]: Taking taylor expansion of 0.5 in im 0.761 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.761 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.761 * [taylor]: Taking taylor expansion of -1 in im 0.761 * [taylor]: Taking taylor expansion of im in im 0.762 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))))) in im 0.762 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.762 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.762 * [taylor]: Taking taylor expansion of -1 in im 0.762 * [taylor]: Taking taylor expansion of re in im 0.762 * [taylor]: Taking taylor expansion of (sqrt (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.762 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.762 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.762 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.762 * [taylor]: Taking taylor expansion of 0.5 in im 0.762 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.762 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.762 * [taylor]: Taking taylor expansion of -1 in im 0.762 * [taylor]: Taking taylor expansion of im in im 0.763 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.763 * [taylor]: Taking taylor expansion of 0.5 in im 0.763 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.763 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.763 * [taylor]: Taking taylor expansion of -1 in im 0.763 * [taylor]: Taking taylor expansion of im in im 0.765 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im)))))) (cos (/ -1 re))) in re 0.765 * [taylor]: Taking taylor expansion of (sqrt (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im)))))) in re 0.765 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im))))) in re 0.765 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.765 * [taylor]: Taking taylor expansion of 0.5 in re 0.765 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.765 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.765 * [taylor]: Taking taylor expansion of -1 in re 0.765 * [taylor]: Taking taylor expansion of im in re 0.765 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in re 0.765 * [taylor]: Taking taylor expansion of 0.5 in re 0.765 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in re 0.765 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.765 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.765 * [taylor]: Taking taylor expansion of -1 in re 0.765 * [taylor]: Taking taylor expansion of im in re 0.768 * [taylor]: Taking taylor expansion of (cos (/ -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.770 * [taylor]: Taking taylor expansion of 0 in re 0.775 * [taylor]: Taking taylor expansion of 0 in re 0.784 * [taylor]: Taking taylor expansion of 0 in re 0.784 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.784 * [approximate]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in (im re) around 0 0.785 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in re 0.785 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in re 0.785 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.785 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in re 0.785 * [taylor]: Taking taylor expansion of 0.5 in re 0.785 * [taylor]: Taking taylor expansion of (exp im) in re 0.785 * [taylor]: Taking taylor expansion of im in re 0.785 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in re 0.785 * [taylor]: Taking taylor expansion of 0.5 in re 0.785 * [taylor]: Taking taylor expansion of (exp im) in re 0.785 * [taylor]: Taking taylor expansion of im in re 0.785 * [taylor]: Taking taylor expansion of (cos re) in re 0.785 * [taylor]: Taking taylor expansion of re in re 0.785 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in im 0.785 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.785 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.785 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.785 * [taylor]: Taking taylor expansion of 0.5 in im 0.785 * [taylor]: Taking taylor expansion of (exp im) in im 0.785 * [taylor]: Taking taylor expansion of im in im 0.785 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.785 * [taylor]: Taking taylor expansion of 0.5 in im 0.785 * [taylor]: Taking taylor expansion of (exp im) in im 0.785 * [taylor]: Taking taylor expansion of im in im 0.786 * [taylor]: Taking taylor expansion of (cos re) in im 0.786 * [taylor]: Taking taylor expansion of re in im 0.786 * [taylor]: Taking taylor expansion of (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) in im 0.786 * [taylor]: Taking taylor expansion of (fma 0.5 (exp im) (/ 0.5 (exp im))) in im 0.786 * [taylor]: Rewrote expression to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 0.786 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.786 * [taylor]: Taking taylor expansion of 0.5 in im 0.786 * [taylor]: Taking taylor expansion of (exp im) in im 0.786 * [taylor]: Taking taylor expansion of im in im 0.786 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.786 * [taylor]: Taking taylor expansion of 0.5 in im 0.786 * [taylor]: Taking taylor expansion of (exp im) in im 0.786 * [taylor]: Taking taylor expansion of im in im 0.786 * [taylor]: Taking taylor expansion of (cos re) in im 0.786 * [taylor]: Taking taylor expansion of re in im 0.787 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 0.787 * [taylor]: Taking taylor expansion of 1.0 in re 0.787 * [taylor]: Taking taylor expansion of (cos re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.794 * [taylor]: Taking taylor expansion of 0 in re 0.803 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 0.803 * [taylor]: Taking taylor expansion of 0.5 in re 0.803 * [taylor]: Taking taylor expansion of (cos re) in re 0.803 * [taylor]: Taking taylor expansion of re in re 0.806 * [approximate]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in (im re) around 0 0.806 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in re 0.806 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.806 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.806 * [taylor]: Taking taylor expansion of re in re 0.806 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in re 0.806 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.806 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.806 * [taylor]: Taking taylor expansion of 0.5 in re 0.806 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.807 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.807 * [taylor]: Taking taylor expansion of im in re 0.807 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in re 0.807 * [taylor]: Taking taylor expansion of 0.5 in re 0.807 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.807 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.807 * [taylor]: Taking taylor expansion of im in re 0.807 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.807 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.807 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.807 * [taylor]: Taking taylor expansion of re in im 0.807 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.807 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.807 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.807 * [taylor]: Taking taylor expansion of 0.5 in im 0.807 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.807 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.807 * [taylor]: Taking taylor expansion of im in im 0.808 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.808 * [taylor]: Taking taylor expansion of 0.5 in im 0.808 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.808 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.808 * [taylor]: Taking taylor expansion of im in im 0.808 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im))))) in im 0.808 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.808 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.808 * [taylor]: Taking taylor expansion of re in im 0.809 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ 1 im)) (/ 0.5 (exp (/ 1 im)))) in im 0.809 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ 1 im))) (/ 0.5 (exp (/ 1 im)))) 0.809 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 0.809 * [taylor]: Taking taylor expansion of 0.5 in im 0.809 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.809 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 0.809 * [taylor]: Taking taylor expansion of 0.5 in im 0.809 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.809 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.810 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))) in re 0.810 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.810 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.810 * [taylor]: Taking taylor expansion of re in re 0.810 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in re 0.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in re 0.811 * [taylor]: Taking taylor expansion of 0.5 in re 0.811 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in re 0.811 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.811 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.811 * [taylor]: Taking taylor expansion of im in re 0.811 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in re 0.811 * [taylor]: Taking taylor expansion of 0.5 in re 0.811 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.811 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.811 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of 0 in re 0.820 * [taylor]: Taking taylor expansion of 0 in re 0.828 * [taylor]: Taking taylor expansion of 0 in re 0.828 * [approximate]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in (im re) around 0 0.828 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in re 0.828 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.828 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.828 * [taylor]: Taking taylor expansion of -1 in re 0.828 * [taylor]: Taking taylor expansion of re in re 0.829 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in re 0.829 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.829 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.829 * [taylor]: Taking taylor expansion of 0.5 in re 0.829 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.829 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.829 * [taylor]: Taking taylor expansion of -1 in re 0.829 * [taylor]: Taking taylor expansion of im in re 0.829 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in re 0.829 * [taylor]: Taking taylor expansion of 0.5 in re 0.829 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.829 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.829 * [taylor]: Taking taylor expansion of -1 in re 0.829 * [taylor]: Taking taylor expansion of im in re 0.829 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.829 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.829 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.829 * [taylor]: Taking taylor expansion of -1 in im 0.829 * [taylor]: Taking taylor expansion of re in im 0.829 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.829 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.829 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.829 * [taylor]: Taking taylor expansion of 0.5 in im 0.829 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.829 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.829 * [taylor]: Taking taylor expansion of -1 in im 0.829 * [taylor]: Taking taylor expansion of im in im 0.830 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.830 * [taylor]: Taking taylor expansion of 0.5 in im 0.830 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.830 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.830 * [taylor]: Taking taylor expansion of -1 in im 0.830 * [taylor]: Taking taylor expansion of im in im 0.830 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im))))) in im 0.830 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.830 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.830 * [taylor]: Taking taylor expansion of -1 in im 0.830 * [taylor]: Taking taylor expansion of re in im 0.830 * [taylor]: Taking taylor expansion of (fma 0.5 (exp (/ -1 im)) (/ 0.5 (exp (/ -1 im)))) in im 0.831 * [taylor]: Rewrote expression to (+ (* 0.5 (exp (/ -1 im))) (/ 0.5 (exp (/ -1 im)))) 0.831 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 0.831 * [taylor]: Taking taylor expansion of 0.5 in im 0.831 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.831 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.831 * [taylor]: Taking taylor expansion of -1 in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.831 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 0.831 * [taylor]: Taking taylor expansion of 0.5 in im 0.831 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.831 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.831 * [taylor]: Taking taylor expansion of -1 in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (* (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im))))) (cos (/ -1 re))) in re 0.832 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (/ -1 im))) (* 0.5 (/ 1 (exp (/ -1 im))))) in re 0.832 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in re 0.832 * [taylor]: Taking taylor expansion of 0.5 in re 0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.832 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.832 * [taylor]: Taking taylor expansion of -1 in re 0.832 * [taylor]: Taking taylor expansion of im in re 0.832 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in re 0.832 * [taylor]: Taking taylor expansion of 0.5 in re 0.832 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in re 0.832 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.832 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.832 * [taylor]: Taking taylor expansion of -1 in re 0.832 * [taylor]: Taking taylor expansion of im in re 0.832 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.833 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.833 * [taylor]: Taking taylor expansion of -1 in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.836 * [taylor]: Taking taylor expansion of 0 in re 0.847 * [taylor]: Taking taylor expansion of 0 in re 0.855 * [taylor]: Taking taylor expansion of 0 in re 0.855 * * * [progress]: simplifying candidates 0.857 * [simplify]: Simplifying using # : (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (log (/ 0.5 (exp im))) (exp (/ 0.5 (exp im))) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) (/ 1 1) (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) (/ 0.5 1) (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (log (/ 0.5 (exp im))) (exp (/ 0.5 (exp im))) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) (/ 1 1) (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) (/ 0.5 1) (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (log1p (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (+ (log (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (log (cos re))) (log (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (exp (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (* (cos re) (cos re)) (cos re))) (* (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (cbrt (cos re)) (cbrt (cos re)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) 1) (* (cbrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (expm1 (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (log1p (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (+ (log (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (+ (log (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (log (cos re)))) (+ (log (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (log (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (log (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (exp (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (* (cos re) (cos re)) (cos re)))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (* (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (cbrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (- (+ (* 0.25 (/ (pow im 2) (sqrt 1.0))) (sqrt 1.0)) (* 1/2 (* (pow re 2) (sqrt 1.0)))) (* (sqrt (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im)))) (cos re)) (* (sqrt (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im)))) (cos re)) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (cos re)) (* (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (cos re)) 0.862 * * [simplify]: iteration 0 : 276 enodes (cost 882 ) 0.868 * * [simplify]: iteration 1 : 1007 enodes (cost 758 ) 0.888 * * [simplify]: iteration 2 : 4823 enodes (cost 758 ) 1.002 * * [simplify]: iteration 3 : 5001 enodes (cost 756 ) 1.005 * [simplify]: Simplified to: (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (sqrt 0.5) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) 1 (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) 0.5 (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (sqrt 0.5) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) 1 (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) 0.5 (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (log1p (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (log (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (log (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (exp (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (pow (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) 3) (* (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (pow (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) 3) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (sqrt (cos re))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (cbrt (cos re)) (cbrt (cos re)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (sqrt (cos re))) (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (cbrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (expm1 (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (log1p (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (+ (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log (cos re))) (+ (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log (cos re))) (+ (log (fma 0.5 (exp im) (/ 0.5 (exp im)))) (log (cos re))) (pow (exp (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (pow (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3) (pow (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3) (* (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))))) (cbrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (pow (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 3) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (sqrt (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))) (fma 0.5 (exp im) (/ 0.5 (exp im))) (* (cbrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (cbrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (* (sqrt (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (fma im (- (* 0.25 im) 0.5) 0.5) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (fma im (- (* 0.25 im) 0.5) 0.5) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (fma 0.25 (/ (pow im 2) (sqrt 1.0)) (- (sqrt 1.0) (* 1/2 (* (pow re 2) (sqrt 1.0))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)) (fma (pow im 2) 0.5 (- 1.0 (* 0.5 (pow re 2)))) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re)) 1.006 * * * [progress]: adding candidates to table 1.357 * * [progress]: iteration 3 / 4 1.357 * * * [progress]: picking best candidate 1.360 * * * * [pick]: Picked # 1.360 * * * [progress]: localizing error 1.377 * * * [progress]: generating rewritten candidates 1.377 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 3 1) 1.383 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3 2) 1.387 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 3) 1.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3) 1.405 * * * [progress]: generating series expansions 1.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 3 1) 1.405 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3 2) 1.406 * [approximate]: Taking taylor expansion of (/ (exp im) (cbrt 0.5)) in (im) around 0 1.406 * [taylor]: Taking taylor expansion of (/ (exp im) (cbrt 0.5)) in im 1.406 * [taylor]: Taking taylor expansion of (exp im) in im 1.406 * [taylor]: Taking taylor expansion of im in im 1.406 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.406 * [taylor]: Taking taylor expansion of 0.5 in im 1.407 * [taylor]: Taking taylor expansion of (/ (exp im) (cbrt 0.5)) in im 1.407 * [taylor]: Taking taylor expansion of (exp im) in im 1.407 * [taylor]: Taking taylor expansion of im in im 1.407 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.407 * [taylor]: Taking taylor expansion of 0.5 in im 1.423 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 im)) (cbrt 0.5)) in (im) around 0 1.423 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 im)) (cbrt 0.5)) in im 1.423 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.423 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.423 * [taylor]: Taking taylor expansion of im in im 1.424 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.424 * [taylor]: Taking taylor expansion of 0.5 in im 1.425 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 im)) (cbrt 0.5)) in im 1.425 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.425 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.425 * [taylor]: Taking taylor expansion of im in im 1.425 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.425 * [taylor]: Taking taylor expansion of 0.5 in im 1.442 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 im)) (cbrt 0.5)) in (im) around 0 1.442 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 im)) (cbrt 0.5)) in im 1.442 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.442 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.442 * [taylor]: Taking taylor expansion of -1 in im 1.442 * [taylor]: Taking taylor expansion of im in im 1.442 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.442 * [taylor]: Taking taylor expansion of 0.5 in im 1.443 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 im)) (cbrt 0.5)) in im 1.443 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.443 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.443 * [taylor]: Taking taylor expansion of -1 in im 1.443 * [taylor]: Taking taylor expansion of im in im 1.444 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.444 * [taylor]: Taking taylor expansion of 0.5 in im 1.461 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 3) 1.461 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 1.461 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 1.461 * [taylor]: Taking taylor expansion of 0.5 in im 1.461 * [taylor]: Taking taylor expansion of (exp im) in im 1.461 * [taylor]: Taking taylor expansion of im in im 1.462 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 1.462 * [taylor]: Taking taylor expansion of 0.5 in im 1.462 * [taylor]: Taking taylor expansion of (exp im) in im 1.462 * [taylor]: Taking taylor expansion of im in im 1.469 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 1.469 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1.469 * [taylor]: Taking taylor expansion of 0.5 in im 1.469 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.469 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.469 * [taylor]: Taking taylor expansion of im in im 1.469 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1.469 * [taylor]: Taking taylor expansion of 0.5 in im 1.469 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.469 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.469 * [taylor]: Taking taylor expansion of im in im 1.471 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 1.471 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1.471 * [taylor]: Taking taylor expansion of 0.5 in im 1.471 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.471 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.471 * [taylor]: Taking taylor expansion of -1 in im 1.471 * [taylor]: Taking taylor expansion of im in im 1.472 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1.472 * [taylor]: Taking taylor expansion of 0.5 in im 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.472 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.472 * [taylor]: Taking taylor expansion of -1 in im 1.472 * [taylor]: Taking taylor expansion of im in im 1.474 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3) 1.475 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp im)) in (im) around 0 1.475 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp im)) in im 1.475 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.475 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.475 * [taylor]: Taking taylor expansion of 0.5 in im 1.476 * [taylor]: Taking taylor expansion of (exp im) in im 1.476 * [taylor]: Taking taylor expansion of im in im 1.479 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp im)) in im 1.479 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.479 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.479 * [taylor]: Taking taylor expansion of 0.5 in im 1.480 * [taylor]: Taking taylor expansion of (exp im) in im 1.480 * [taylor]: Taking taylor expansion of im in im 1.493 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ 1 im))) in (im) around 0 1.493 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ 1 im))) in im 1.493 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.493 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.493 * [taylor]: Taking taylor expansion of 0.5 in im 1.494 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.494 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.494 * [taylor]: Taking taylor expansion of im in im 1.497 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ 1 im))) in im 1.497 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.497 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.497 * [taylor]: Taking taylor expansion of 0.5 in im 1.498 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.498 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.498 * [taylor]: Taking taylor expansion of im in im 1.522 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ -1 im))) in (im) around 0 1.522 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ -1 im))) in im 1.522 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.522 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.522 * [taylor]: Taking taylor expansion of 0.5 in im 1.522 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.523 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.523 * [taylor]: Taking taylor expansion of -1 in im 1.523 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 0.5) 3) (exp (/ -1 im))) in im 1.526 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 3) in im 1.526 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.526 * [taylor]: Taking taylor expansion of 0.5 in im 1.526 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.526 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.526 * [taylor]: Taking taylor expansion of -1 in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.544 * * * [progress]: simplifying candidates 1.546 * [simplify]: Simplifying using # : (expm1 (* (cbrt 0.5) (cbrt 0.5))) (log1p (* (cbrt 0.5) (cbrt 0.5))) (+ 1/3 1/3) (+ 1 1) (* 0.5 0.5) (* (cbrt 0.5) (cbrt 0.5)) (+ 1 1) (+ (log (cbrt 0.5)) (log (cbrt 0.5))) (log (* (cbrt 0.5) (cbrt 0.5))) (exp (* (cbrt 0.5) (cbrt 0.5))) (* 0.5 0.5) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (* (* (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt 0.5) (cbrt 0.5))) (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt 1) (cbrt 1)) (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))) (* (sqrt (cbrt 0.5)) (sqrt (cbrt 0.5))) (* (sqrt (cbrt 0.5)) (sqrt (cbrt 0.5))) (* 1 1) (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (* (sqrt (cbrt 0.5)) (cbrt (sqrt 0.5))) (* (sqrt (cbrt 0.5)) (cbrt (sqrt 0.5))) (* (sqrt (cbrt 0.5)) (sqrt (cbrt 0.5))) (* (sqrt (cbrt 0.5)) (sqrt (cbrt 0.5))) (* 2 1/3) (* 2 1) (* (cbrt 0.5) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt 0.5) (cbrt (sqrt 0.5))) (* (cbrt 0.5) (cbrt 1)) (* (cbrt 0.5) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (* (cbrt 0.5) (sqrt (cbrt 0.5))) (* (cbrt 0.5) 1) (* (cbrt (cbrt 0.5)) (cbrt 0.5)) (* (cbrt (sqrt 0.5)) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (cbrt 0.5)) (cbrt 0.5)) (* (sqrt (cbrt 0.5)) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5)) (expm1 (/ (exp im) (cbrt 0.5))) (log1p (/ (exp im) (cbrt 0.5))) (- im (log (cbrt 0.5))) (log (/ (exp im) (cbrt 0.5))) (exp (/ (exp im) (cbrt 0.5))) (/ (* (* (exp im) (exp im)) (exp im)) 0.5) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5)))) (cbrt (/ (exp im) (cbrt 0.5))) (* (* (/ (exp im) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (/ (exp im) (cbrt 0.5))) (sqrt (/ (exp im) (cbrt 0.5))) (sqrt (/ (exp im) (cbrt 0.5))) (- (exp im)) (- (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (cbrt (exp im)) (cbrt (cbrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5))) (/ (cbrt (exp im)) (cbrt (sqrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt 1)) (/ (cbrt (exp im)) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (cbrt (exp im)) (cbrt (cbrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) (sqrt (cbrt 0.5))) (/ (cbrt (exp im)) (sqrt (cbrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) 1) (/ (cbrt (exp im)) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (sqrt (exp im)) (cbrt (cbrt 0.5))) (/ (sqrt (exp im)) (cbrt (sqrt 0.5))) (/ (sqrt (exp im)) (cbrt (sqrt 0.5))) (/ (sqrt (exp im)) (cbrt 1)) (/ (sqrt (exp im)) (cbrt 0.5)) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (sqrt (exp im)) (cbrt (cbrt 0.5))) (/ (sqrt (exp im)) (sqrt (cbrt 0.5))) (/ (sqrt (exp im)) (sqrt (cbrt 0.5))) (/ (sqrt (exp im)) 1) (/ (sqrt (exp im)) (cbrt 0.5)) (/ 1 (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (exp im) (cbrt (cbrt 0.5))) (/ 1 (cbrt (sqrt 0.5))) (/ (exp im) (cbrt (sqrt 0.5))) (/ 1 (cbrt 1)) (/ (exp im) (cbrt 0.5)) (/ 1 (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (exp im) (cbrt (cbrt 0.5))) (/ 1 (sqrt (cbrt 0.5))) (/ (exp im) (sqrt (cbrt 0.5))) (/ 1 1) (/ (exp im) (cbrt 0.5)) (/ 1 (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (exp im) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (exp im) (cbrt (sqrt 0.5))) (/ (exp im) (cbrt 1)) (/ (exp im) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (exp im) (sqrt (cbrt 0.5))) (/ (exp im) 1) (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (cbrt 0.5) (exp im)) (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (log (/ 0.5 (exp im))) (exp (/ 0.5 (exp im))) (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) (/ 1 1) (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) (/ 0.5 1) (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (log1p (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (- (+ (log (cbrt 0.5)) (log (cbrt 0.5))) (- im (log (cbrt 0.5)))) (- (+ (log (cbrt 0.5)) (log (cbrt 0.5))) (log (/ (exp im) (cbrt 0.5)))) (- (log (* (cbrt 0.5) (cbrt 0.5))) (- im (log (cbrt 0.5)))) (- (log (* (cbrt 0.5) (cbrt 0.5))) (log (/ (exp im) (cbrt 0.5)))) (log (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (exp (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (/ (* 0.5 0.5) (/ (* (* (exp im) (exp im)) (exp im)) 0.5)) (/ (* 0.5 0.5) (* (* (/ (exp im) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (/ (exp im) (cbrt 0.5)))) (/ (* (* (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt 0.5) (cbrt 0.5))) (/ (* (* (exp im) (exp im)) (exp im)) 0.5)) (/ (* (* (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt 0.5) (cbrt 0.5))) (* (* (/ (exp im) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (/ (exp im) (cbrt 0.5)))) (* (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))))) (cbrt (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (* (* (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (sqrt (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (sqrt (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)))) (- (* (cbrt 0.5) (cbrt 0.5))) (- (/ (exp im) (cbrt 0.5))) (/ (cbrt 0.5) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5))))) (/ (cbrt 0.5) (cbrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt 1))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) 1)) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 1))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) 1)) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ 1 (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (cbrt 0.5) (/ (exp im) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ 1 (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (exp im) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ 1 (cbrt 1))) (/ (cbrt 0.5) (/ (exp im) (cbrt 0.5))) (/ (cbrt 0.5) (/ 1 (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (cbrt 0.5) (/ (exp im) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ 1 (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (exp im) (sqrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ 1 1)) (/ (cbrt 0.5) (/ (exp im) (cbrt 0.5))) (/ (cbrt 0.5) 1) (/ (cbrt 0.5) (/ (exp im) (cbrt 0.5))) (/ (cbrt 0.5) (exp im)) (/ (cbrt 0.5) (/ 1 (cbrt 0.5))) (/ 1 (/ (exp im) (cbrt 0.5))) (/ (/ (exp im) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt 1))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (sqrt (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) 1)) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt 1))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (sqrt (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) 1)) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 (cbrt (sqrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 (cbrt 1))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 (sqrt (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ 1 1)) (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (/ (/ (exp im) (cbrt 0.5)) (cbrt 0.5)) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (/ (exp im) (cbrt 0.5)) (+ (/ 1 (cbrt 0.5)) (+ (* 1/2 (/ (pow im 2) (cbrt 0.5))) (/ im (cbrt 0.5)))) (/ (exp im) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (/ 0.5 (exp im)) (/ 0.5 (exp im)) 1.553 * * [simplify]: iteration 0 : 471 enodes (cost 1326 ) 1.563 * * [simplify]: iteration 1 : 2518 enodes (cost 1224 ) 1.611 * * [simplify]: iteration 2 : 5001 enodes (cost 1105 ) 1.616 * [simplify]: Simplified to: (expm1 (* (cbrt 0.5) (cbrt 0.5))) (log1p (* (cbrt 0.5) (cbrt 0.5))) 2/3 2 (* 0.5 0.5) (* (cbrt 0.5) (cbrt 0.5)) 2 (* 2 (log (cbrt 0.5))) (* 2 (log (cbrt 0.5))) (exp (* (cbrt 0.5) (cbrt 0.5))) (* 0.5 0.5) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (cbrt (* (cbrt 0.5) (cbrt 0.5))) (* 0.5 0.5) (fabs (cbrt 0.5)) (fabs (cbrt 0.5)) (* (cbrt (* (cbrt 0.5) (cbrt 0.5))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1 (* (cbrt 0.5) (cbrt 0.5)) (pow (cbrt (cbrt 0.5)) 4) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))) (cbrt 0.5) (cbrt 0.5) 1 (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (* (cbrt (sqrt 0.5)) (sqrt (cbrt 0.5))) (cbrt 0.5) (cbrt 0.5) 2/3 2 (* (cbrt 0.5) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (cbrt 0.5) (cbrt (sqrt 0.5))) (cbrt 0.5) (* (cbrt 0.5) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (pow (sqrt (cbrt 0.5)) 3) (cbrt 0.5) (pow (cbrt (cbrt 0.5)) 4) (* (cbrt 0.5) (cbrt (sqrt 0.5))) (* (cbrt 0.5) (cbrt 0.5)) (pow (cbrt (cbrt 0.5)) 4) (pow (sqrt (cbrt 0.5)) 3) (* (cbrt 0.5) (cbrt 0.5)) (expm1 (/ (exp im) (cbrt 0.5))) (log1p (/ (exp im) (cbrt 0.5))) (- im (log (cbrt 0.5))) (- im (log (cbrt 0.5))) (exp (/ (exp im) (cbrt 0.5))) (/ (pow (exp im) 3) 0.5) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5)))) (cbrt (/ (exp im) (cbrt 0.5))) (/ (pow (exp im) 3) 0.5) (sqrt (/ (exp im) (cbrt 0.5))) (sqrt (/ (exp im) (cbrt 0.5))) (- (exp im)) (- (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (cbrt (exp im)) (cbrt (cbrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5))) (/ (cbrt (exp im)) (cbrt (sqrt 0.5))) (* (cbrt (exp im)) (cbrt (exp im))) (/ (cbrt (exp im)) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (cbrt (exp im)) (cbrt (cbrt 0.5))) (/ (* (cbrt (exp im)) (cbrt (exp im))) (sqrt (cbrt 0.5))) (/ (cbrt (exp im)) (sqrt (cbrt 0.5))) (* (cbrt (exp im)) (cbrt (exp im))) (/ (cbrt (exp im)) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (sqrt (exp im)) (cbrt (cbrt 0.5))) (/ (sqrt (exp im)) (cbrt (sqrt 0.5))) (/ (sqrt (exp im)) (cbrt (sqrt 0.5))) (sqrt (exp im)) (/ (sqrt (exp im)) (cbrt 0.5)) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (sqrt (exp im)) (cbrt (cbrt 0.5))) (/ (sqrt (exp im)) (sqrt (cbrt 0.5))) (/ (sqrt (exp im)) (sqrt (cbrt 0.5))) (sqrt (exp im)) (/ (sqrt (exp im)) (cbrt 0.5)) (/ 1 (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (exp im) (cbrt (cbrt 0.5))) (/ 1 (cbrt (sqrt 0.5))) (/ (exp im) (cbrt (sqrt 0.5))) 1 (/ (exp im) (cbrt 0.5)) (/ 1 (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (exp im) (cbrt (cbrt 0.5))) (/ 1 (sqrt (cbrt 0.5))) (/ (exp im) (sqrt (cbrt 0.5))) 1 (/ (exp im) (cbrt 0.5)) (/ 1 (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (exp im) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (exp im) (cbrt (sqrt 0.5))) (exp im) (/ (exp im) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (exp im) (sqrt (cbrt 0.5))) (exp im) (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (cbrt 0.5) (exp im)) (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- 0.5) (- (exp im)) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (sqrt (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))) (sqrt 0.5) (/ (sqrt 0.5) (exp im)) (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))) (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im))) 1 (/ 0.5 (exp im)) (/ 1 (exp im)) (/ (exp im) 0.5) (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (sqrt (exp im))) 0.5 (/ (exp im) (cbrt 0.5)) (/ (exp im) (sqrt 0.5)) (/ (exp im) 0.5) (expm1 (/ 0.5 (exp im))) (log1p (/ 0.5 (exp im))) (- (log 0.5) im) (- (log 0.5) im) (- (log 0.5) im) (- (log 0.5) im) (- (log 0.5) im) (exp (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (pow (/ 0.5 (exp im)) 3) (pow (/ 0.5 (exp im)) 3) (pow (/ 0.5 (exp im)) 3) (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im))) (pow (/ 0.5 (exp im)) 3) (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))) (- (* (cbrt 0.5) (cbrt 0.5))) (- (/ (exp im) (cbrt 0.5))) (/ (cbrt 0.5) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5))))) (/ (cbrt 0.5) (cbrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt (cbrt 0.5)))) (/ (pow (sqrt (cbrt 0.5)) 3) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (pow (sqrt (cbrt 0.5)) 3) (cbrt (exp im))) (/ (cbrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (/ (cbrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt (cbrt 0.5)))) (/ (pow (sqrt (cbrt 0.5)) 3) (sqrt (exp im))) (/ (pow (sqrt (cbrt 0.5)) 3) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (* (cbrt 0.5) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (/ (cbrt 0.5) (/ (exp im) (cbrt (cbrt 0.5)))) (* (cbrt 0.5) (cbrt (sqrt 0.5))) (/ (cbrt 0.5) (/ (exp im) (cbrt (sqrt 0.5)))) (cbrt 0.5) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (* (cbrt 0.5) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (/ (cbrt 0.5) (/ (exp im) (cbrt (cbrt 0.5)))) (pow (sqrt (cbrt 0.5)) 3) (/ (pow (sqrt (cbrt 0.5)) 3) (exp im)) (cbrt 0.5) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (cbrt 0.5) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (/ (cbrt 0.5) (exp im)) (* (cbrt 0.5) (cbrt 0.5)) (/ (cbrt 0.5) (exp im)) (/ (exp im) 0.5) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (/ (exp im) (cbrt 0.5))) (cbrt (/ (exp im) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (/ (exp im) (cbrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (sqrt 0.5)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (/ (* (cbrt 0.5) (pow (sqrt (cbrt 0.5)) 3)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (* (cbrt 0.5) (cbrt 0.5))))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (cbrt (sqrt 0.5)))) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (sqrt (exp im)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5))))) (* (/ (cbrt 0.5) (sqrt (exp im))) (pow (sqrt (cbrt 0.5)) 3)) (/ (cbrt 0.5) (/ (sqrt (exp im)) (cbrt 0.5))) (* (* (cbrt 0.5) (cbrt 0.5)) (cbrt (* (cbrt 0.5) (cbrt 0.5)))) (* (* (cbrt 0.5) (cbrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (cbrt 0.5)) (cbrt (cbrt 0.5)))) (* (cbrt 0.5) (pow (sqrt (cbrt 0.5)) 3)) (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt 0.5) (cbrt 0.5)) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (/ (/ (exp im) (cbrt 0.5)) (cbrt 0.5)) (/ (* (cbrt 0.5) (cbrt 0.5)) (exp im)) (/ (exp im) (cbrt 0.5)) (+ (fma 1/2 (/ (pow im 2) (cbrt 0.5)) (/ im (cbrt 0.5))) (/ 1 (cbrt 0.5))) (/ (exp im) (cbrt 0.5)) (/ (exp im) (cbrt 0.5)) (fma (pow im 2) 0.25 (- 0.5 (* 0.5 im))) (/ 0.5 (exp im)) (/ 0.5 (exp im)) (fma (pow im 2) 0.25 (- 0.5 (* 0.5 im))) (/ 0.5 (exp im)) (/ 0.5 (exp im)) 1.618 * * * [progress]: adding candidates to table 2.281 * [progress]: [Phase 3 of 3] Extracting. 2.285 * [simplify]: Simplifying using # : (* (sqrt (fma 0.5 (exp im) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) 2.286 * * [simplify]: iteration 0 : 18 enodes (cost 18 ) 2.286 * * [simplify]: iteration 1 : 18 enodes (cost 18 ) 2.286 * [simplify]: Simplified to: (* (sqrt (fma 0.5 (exp im) (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re))) 5.216 * [regime-testing]: End program error score: 0.01829721215296144