9.377 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.145 * * * [progress]: [2/2] Setting up program.
0.148 * [progress]: [Phase 2 of 3] Improving.
0.149 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.149 * * [simplify]: Extracting # 0 : cost  0
0.149 * * [simplify]: Extracting # 1 : cost  0
0.149 * * [simplify]: Extracting # 2 : cost  0
0.149 * * [simplify]: Extracting # 3 : cost  0
0.149 * * [simplify]: Extracting # 4 : cost  0
0.149 * * [simplify]: Extracting # 5 : cost  0
0.149 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.151 * * [simplify]: Extracting # 0 : cost  0
0.151 * * [simplify]: Extracting # 1 : cost  0
0.151 * * [simplify]: Extracting # 2 : cost  0
0.151 * * [simplify]: iteration  1 :  23  enodes  (cost  11 )
0.156 * * [simplify]: Extracting # 0 : cost  0
0.157 * * [simplify]: Extracting # 1 : cost  0
0.157 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: iteration  2 :  57  enodes  (cost  11 )
0.169 * * [simplify]: Extracting # 0 : cost  0
0.169 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.169 * * [simplify]: iteration  3 :  89  enodes  (cost  11 )
0.219 * * [simplify]: Extracting # 0 : cost  0
0.219 * * [simplify]: Extracting # 1 : cost  0
0.219 * * [simplify]: Extracting # 2 : cost  0
0.219 * * [simplify]: iteration  4 :  119  enodes  (cost  11 )
0.261 * * [simplify]: Extracting # 0 : cost  0
0.261 * * [simplify]: Extracting # 1 : cost  0
0.261 * * [simplify]: Extracting # 2 : cost  0
0.261 * * [simplify]: iteration  5 :  153  enodes  (cost  11 )
0.323 * * [simplify]: Extracting # 0 : cost  0
0.324 * * [simplify]: Extracting # 1 : cost  0
0.324 * * [simplify]: Extracting # 2 : cost  0
0.324 * * [simplify]: iteration  6 :  217  enodes  (cost  11 )
0.417 * * [simplify]: Extracting # 0 : cost  0
0.418 * * [simplify]: Extracting # 1 : cost  0
0.418 * * [simplify]: Extracting # 2 : cost  0
0.418 * * [simplify]: iteration  7 :  346  enodes  (cost  11 )
0.584 * * [simplify]: Extracting # 0 : cost  0
0.585 * * [simplify]: Extracting # 1 : cost  0
0.585 * * [simplify]: iteration  8 :  382  enodes  (cost  11 )
0.795 * * [simplify]: Extracting # 0 : cost  0
0.795 * * [simplify]: Extracting # 1 : cost  0
0.796 * * [simplify]: Extracting # 2 : cost  0
0.796 * * [simplify]: iteration  9 :  418  enodes  (cost  11 )
1.056 * * [simplify]: Extracting # 0 : cost  0
1.057 * * [simplify]: Extracting # 1 : cost  0
1.057 * * [simplify]: Extracting # 2 : cost  0
1.057 * * [simplify]: iteration  10 :  474  enodes  (cost  11 )
1.223 * * [simplify]: Extracting # 0 : cost  0
1.223 * * [simplify]: Extracting # 1 : cost  0
1.223 * * [simplify]: iteration done:  474  enodes  (cost  11 )
1.224 * [simplify]: Simplified to:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1.224 * * [progress]: iteration 1 / 4
1.224 * * * [progress]: picking best candidate
1.226 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1.226 * * * [progress]: localizing error
1.237 * * * [progress]: generating rewritten candidates
1.237 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
1.260 * * * [progress]: generating series expansions
1.260 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
1.260 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im)))
1.260 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0
1.260 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.260 * [taylor]: Taking taylor expansion of (exp im) in im
1.260 * [taylor]: Taking taylor expansion of im in im
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify 1 into 1
1.260 * [backup-simplify]: Simplify (exp 0) into 1
1.260 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.260 * [taylor]: Taking taylor expansion of (- im) in im
1.261 * [taylor]: Taking taylor expansion of im in im
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify 1 into 1
1.261 * [backup-simplify]: Simplify (- 0) into 0
1.261 * [backup-simplify]: Simplify (- 1) into -1
1.261 * [backup-simplify]: Simplify (exp 0) into 1
1.261 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im
1.261 * [taylor]: Taking taylor expansion of (exp im) in im
1.261 * [taylor]: Taking taylor expansion of im in im
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify 1 into 1
1.261 * [backup-simplify]: Simplify (exp 0) into 1
1.261 * [taylor]: Taking taylor expansion of (exp (- im)) in im
1.261 * [taylor]: Taking taylor expansion of (- im) in im
1.261 * [taylor]: Taking taylor expansion of im in im
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify 1 into 1
1.262 * [backup-simplify]: Simplify (- 0) into 0
1.262 * [backup-simplify]: Simplify (- 1) into -1
1.262 * [backup-simplify]: Simplify (exp 0) into 1
1.262 * [backup-simplify]: Simplify (+ 1 1) into 2
1.262 * [backup-simplify]: Simplify 2 into 2
1.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.263 * [backup-simplify]: Simplify (- 1) into -1
1.264 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.264 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.265 * [backup-simplify]: Simplify (- 1) into -1
1.266 * [backup-simplify]: Simplify (- 0) into 0
1.266 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.267 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.267 * [backup-simplify]: Simplify 1 into 1
1.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1.268 * [backup-simplify]: Simplify (- 1) into -1
1.269 * [backup-simplify]: Simplify (- 1) into -1
1.269 * [backup-simplify]: Simplify (- 0) into 0
1.269 * [backup-simplify]: Simplify (- 0) into 0
1.270 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1.271 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.273 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1.273 * [backup-simplify]: Simplify (- 1) into -1
1.273 * [backup-simplify]: Simplify (- 1) into -1
1.274 * [backup-simplify]: Simplify (- 0) into 0
1.274 * [backup-simplify]: Simplify (- 1) into -1
1.274 * [backup-simplify]: Simplify (- 0) into 0
1.274 * [backup-simplify]: Simplify (- 0) into 0
1.274 * [backup-simplify]: Simplify (- 0) into 0
1.277 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1.277 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
1.277 * [backup-simplify]: Simplify 1/12 into 1/12
1.278 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
1.278 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1.278 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1.278 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1.278 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
1.278 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
1.278 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.278 * [taylor]: Taking taylor expansion of im in im
1.278 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify 1 into 1
1.278 * [backup-simplify]: Simplify (/ 1 1) into 1
1.278 * [backup-simplify]: Simplify (- 1) into -1
1.278 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.278 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.278 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.278 * [taylor]: Taking taylor expansion of im in im
1.279 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify 1 into 1
1.279 * [backup-simplify]: Simplify (/ 1 1) into 1
1.279 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.279 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1.279 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
1.279 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
1.279 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.279 * [taylor]: Taking taylor expansion of im in im
1.279 * [backup-simplify]: Simplify 0 into 0
1.279 * [backup-simplify]: Simplify 1 into 1
1.279 * [backup-simplify]: Simplify (/ 1 1) into 1
1.279 * [backup-simplify]: Simplify (- 1) into -1
1.279 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1.280 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.280 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.280 * [taylor]: Taking taylor expansion of im in im
1.280 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify 1 into 1
1.280 * [backup-simplify]: Simplify (/ 1 1) into 1
1.280 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.280 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1.280 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1.280 * [backup-simplify]: Simplify (+ 0 0) into 0
1.280 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify (+ 0 0) into 0
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im)))
1.282 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1.282 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1.282 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.282 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.282 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.282 * [taylor]: Taking taylor expansion of -1 in im
1.282 * [backup-simplify]: Simplify -1 into -1
1.282 * [taylor]: Taking taylor expansion of im in im
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify 1 into 1
1.282 * [backup-simplify]: Simplify (/ -1 1) into -1
1.282 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.282 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.282 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.282 * [taylor]: Taking taylor expansion of im in im
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 1 into 1
1.283 * [backup-simplify]: Simplify (/ 1 1) into 1
1.283 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.283 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1.283 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.283 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.283 * [taylor]: Taking taylor expansion of -1 in im
1.283 * [backup-simplify]: Simplify -1 into -1
1.283 * [taylor]: Taking taylor expansion of im in im
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 1 into 1
1.283 * [backup-simplify]: Simplify (/ -1 1) into -1
1.283 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.283 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.283 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.283 * [taylor]: Taking taylor expansion of im in im
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 1 into 1
1.284 * [backup-simplify]: Simplify (/ 1 1) into 1
1.284 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.284 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1.284 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify 0 into 0
1.286 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im))
1.286 * * * [progress]: simplifying candidates
1.286 * [simplify]: Simplifying:
  (* (exp (exp (- im))) (exp (exp im)))
  (log (+ (exp (- im)) (exp im)))
  (exp (+ (exp (- im)) (exp im)))
  (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im))))
  (cbrt (+ (exp (- im)) (exp im)))
  (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im)))
  (sqrt (+ (exp (- im)) (exp im)))
  (sqrt (+ (exp (- im)) (exp im)))
  (+ (pow (exp (- im)) 3) (pow (exp im) 3))
  (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))
  (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))
  (- (exp (- im)) (exp im))
  (+ (exp (- im)) (exp im))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (exp im) (exp (- im)))
  (+ (exp (* -1 im)) (exp im))
1.286 * * [simplify]: Extracting # 0 : cost  0
1.286 * * [simplify]: Extracting # 1 : cost  0
1.286 * * [simplify]: Extracting # 2 : cost  0
1.286 * * [simplify]: Extracting # 3 : cost  0
1.286 * * [simplify]: Extracting # 4 : cost  0
1.287 * * [simplify]: Extracting # 5 : cost  0
1.287 * * [simplify]: Extracting # 6 : cost  0
1.287 * * [simplify]: iteration  0 :  39  enodes  (cost  157 )
1.295 * * [simplify]: Extracting # 0 : cost  0
1.295 * * [simplify]: Extracting # 1 : cost  0
1.295 * * [simplify]: Extracting # 2 : cost  0
1.295 * * [simplify]: Extracting # 3 : cost  0
1.295 * * [simplify]: iteration  1 :  100  enodes  (cost  149 )
1.328 * * [simplify]: Extracting # 0 : cost  0
1.328 * * [simplify]: Extracting # 1 : cost  0
1.329 * * [simplify]: Extracting # 2 : cost  0
1.329 * * [simplify]: Extracting # 3 : cost  0
1.329 * * [simplify]: Extracting # 4 : cost  0
1.329 * * [simplify]: Extracting # 5 : cost  0
1.330 * * [simplify]: iteration  2 :  249  enodes  (cost  130 )
1.421 * * [simplify]: Extracting # 0 : cost  0
1.422 * * [simplify]: Extracting # 1 : cost  0
1.422 * * [simplify]: Extracting # 2 : cost  0
1.423 * * [simplify]: Extracting # 3 : cost  0
1.424 * * [simplify]: Extracting # 4 : cost  0
1.424 * * [simplify]: iteration  3 :  516  enodes  (cost  129 )
2.067 * * [simplify]: Extracting # 0 : cost  0
2.069 * * [simplify]: Extracting # 1 : cost  0
2.070 * * [simplify]: Extracting # 2 : cost  0
2.072 * * [simplify]: Extracting # 3 : cost  0
2.073 * * [simplify]: Extracting # 4 : cost  0
2.075 * * [simplify]: iteration  4 :  2154  enodes  (cost  129 )
3.249 * * [simplify]: Extracting # 0 : cost  0
3.253 * * [simplify]: Extracting # 1 : cost  0
3.258 * * [simplify]: Extracting # 2 : cost  0
3.263 * * [simplify]: Extracting # 3 : cost  0
3.267 * * [simplify]: iteration done:  5000  enodes  (cost  129 )
3.268 * [simplify]: Simplified to:
  (exp (+ (exp (- im)) (exp im)))
  (log (+ (exp (- im)) (exp im)))
  (exp (+ (exp (- im)) (exp im)))
  (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im))))
  (cbrt (+ (exp (- im)) (exp im)))
  (pow (+ (exp im) (exp (- im))) 3)
  (sqrt (+ (exp (- im)) (exp im)))
  (sqrt (+ (exp (- im)) (exp im)))
  (+ (exp (* im -3)) (pow (exp im) 3))
  (+ (- (exp (+ im im)) 1) (exp (* im -2)))
  (- (exp (* im -2)) (exp (+ im im)))
  (- (exp (- im)) (exp im))
  (+ (exp im) (exp (- im)))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (exp im) (exp (- im)))
  (+ (exp im) (exp (- im)))
3.268 * * * [progress]: adding candidates to table
3.309 * * [progress]: iteration 2 / 4
3.309 * * * [progress]: picking best candidate
3.311 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))>
3.311 * * * [progress]: localizing error
3.324 * * * [progress]: generating rewritten candidates
3.324 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
3.336 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
3.376 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.493 * * * [progress]: generating series expansions
3.493 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
3.493 * [backup-simplify]: Simplify (* 1/12 (pow im 4)) into (* 1/12 (pow im 4))
3.493 * [approximate]: Taking taylor expansion of (* 1/12 (pow im 4)) in (im) around 0
3.493 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.493 * [taylor]: Taking taylor expansion of 1/12 in im
3.493 * [backup-simplify]: Simplify 1/12 into 1/12
3.493 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.494 * [taylor]: Taking taylor expansion of im in im
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 1 into 1
3.494 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.494 * [taylor]: Taking taylor expansion of 1/12 in im
3.494 * [backup-simplify]: Simplify 1/12 into 1/12
3.494 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.494 * [taylor]: Taking taylor expansion of im in im
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 1 into 1
3.494 * [backup-simplify]: Simplify (* 1 1) into 1
3.495 * [backup-simplify]: Simplify (* 1 1) into 1
3.495 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.495 * [backup-simplify]: Simplify 1/12 into 1/12
3.496 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.496 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.497 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
3.497 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.501 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
3.501 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.504 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.504 * [backup-simplify]: Simplify 0 into 0
3.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.507 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.510 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.510 * [backup-simplify]: Simplify 0 into 0
3.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.514 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.514 * [backup-simplify]: Simplify 0 into 0
3.514 * [backup-simplify]: Simplify (* 1/12 (pow im 4)) into (* 1/12 (pow im 4))
3.514 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 im) 4)) into (/ 1/12 (pow im 4))
3.514 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0
3.514 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im
3.514 * [taylor]: Taking taylor expansion of 1/12 in im
3.514 * [backup-simplify]: Simplify 1/12 into 1/12
3.514 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.515 * [taylor]: Taking taylor expansion of im in im
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [backup-simplify]: Simplify (* 1 1) into 1
3.515 * [backup-simplify]: Simplify (* 1 1) into 1
3.516 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12
3.516 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im
3.516 * [taylor]: Taking taylor expansion of 1/12 in im
3.516 * [backup-simplify]: Simplify 1/12 into 1/12
3.516 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.516 * [taylor]: Taking taylor expansion of im in im
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [backup-simplify]: Simplify (* 1 1) into 1
3.516 * [backup-simplify]: Simplify (* 1 1) into 1
3.517 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12
3.517 * [backup-simplify]: Simplify 1/12 into 1/12
3.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0
3.518 * [backup-simplify]: Simplify 0 into 0
3.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.523 * [backup-simplify]: Simplify 0 into 0
3.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.526 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.528 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (/ 1 im)) 4)) into (* 1/12 (pow im 4))
3.532 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (- im)) 4)) into (/ 1/12 (pow im 4))
3.532 * [approximate]: Taking taylor expansion of (/ 1/12 (pow im 4)) in (im) around 0
3.532 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im
3.532 * [taylor]: Taking taylor expansion of 1/12 in im
3.532 * [backup-simplify]: Simplify 1/12 into 1/12
3.532 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.532 * [taylor]: Taking taylor expansion of im in im
3.532 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify 1 into 1
3.533 * [backup-simplify]: Simplify (* 1 1) into 1
3.533 * [backup-simplify]: Simplify (* 1 1) into 1
3.533 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12
3.533 * [taylor]: Taking taylor expansion of (/ 1/12 (pow im 4)) in im
3.534 * [taylor]: Taking taylor expansion of 1/12 in im
3.534 * [backup-simplify]: Simplify 1/12 into 1/12
3.534 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.534 * [taylor]: Taking taylor expansion of im in im
3.534 * [backup-simplify]: Simplify 0 into 0
3.534 * [backup-simplify]: Simplify 1 into 1
3.534 * [backup-simplify]: Simplify (* 1 1) into 1
3.534 * [backup-simplify]: Simplify (* 1 1) into 1
3.535 * [backup-simplify]: Simplify (/ 1/12 1) into 1/12
3.535 * [backup-simplify]: Simplify 1/12 into 1/12
3.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)))) into 0
3.536 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.544 * [backup-simplify]: Simplify 0 into 0
3.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.546 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (* 1/12 (pow (/ 1 (/ 1 (- im))) 4)) into (* 1/12 (pow im 4))
3.550 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
3.550 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.550 * [approximate]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in (im) around 0
3.550 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im
3.550 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.550 * [taylor]: Taking taylor expansion of 1/12 in im
3.550 * [backup-simplify]: Simplify 1/12 into 1/12
3.550 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.550 * [taylor]: Taking taylor expansion of im in im
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify 1 into 1
3.550 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im
3.550 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.550 * [taylor]: Taking taylor expansion of im in im
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [taylor]: Taking taylor expansion of 2 in im
3.551 * [backup-simplify]: Simplify 2 into 2
3.551 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im
3.551 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.551 * [taylor]: Taking taylor expansion of 1/12 in im
3.551 * [backup-simplify]: Simplify 1/12 into 1/12
3.551 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.551 * [taylor]: Taking taylor expansion of im in im
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im
3.551 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.551 * [taylor]: Taking taylor expansion of im in im
3.551 * [backup-simplify]: Simplify 0 into 0
3.551 * [backup-simplify]: Simplify 1 into 1
3.551 * [taylor]: Taking taylor expansion of 2 in im
3.551 * [backup-simplify]: Simplify 2 into 2
3.551 * [backup-simplify]: Simplify (+ 0 2) into 2
3.552 * [backup-simplify]: Simplify (+ 0 2) into 2
3.552 * [backup-simplify]: Simplify 2 into 2
3.552 * [backup-simplify]: Simplify (+ 0 0) into 0
3.552 * [backup-simplify]: Simplify (+ 0 0) into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify (* 1 1) into 1
3.553 * [backup-simplify]: Simplify (+ 1 0) into 1
3.553 * [backup-simplify]: Simplify (+ 0 1) into 1
3.553 * [backup-simplify]: Simplify 1 into 1
3.554 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.554 * [backup-simplify]: Simplify (+ 0 0) into 0
3.555 * [backup-simplify]: Simplify (+ 0 0) into 0
3.555 * [backup-simplify]: Simplify 0 into 0
3.555 * [backup-simplify]: Simplify (* 1 1) into 1
3.555 * [backup-simplify]: Simplify (* 1 1) into 1
3.556 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.556 * [backup-simplify]: Simplify (+ 0 0) into 0
3.557 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
3.557 * [backup-simplify]: Simplify 1/12 into 1/12
3.557 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.558 * [backup-simplify]: Simplify (+ (* 1/12 (pow (/ 1 im) 4)) (+ (pow (/ 1 im) 2) 2)) into (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))
3.558 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in (im) around 0
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.558 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.558 * [taylor]: Taking taylor expansion of im in im
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.558 * [backup-simplify]: Simplify (* 1 1) into 1
3.558 * [backup-simplify]: Simplify (/ 1 1) into 1
3.558 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.558 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.558 * [taylor]: Taking taylor expansion of 1/12 in im
3.559 * [backup-simplify]: Simplify 1/12 into 1/12
3.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.559 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.559 * [taylor]: Taking taylor expansion of im in im
3.559 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (* 1 1) into 1
3.559 * [backup-simplify]: Simplify (* 1 1) into 1
3.560 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [taylor]: Taking taylor expansion of 2 in im
3.560 * [backup-simplify]: Simplify 2 into 2
3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.560 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.560 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.560 * [taylor]: Taking taylor expansion of im in im
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (* 1 1) into 1
3.561 * [backup-simplify]: Simplify (/ 1 1) into 1
3.561 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.561 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.561 * [taylor]: Taking taylor expansion of 1/12 in im
3.561 * [backup-simplify]: Simplify 1/12 into 1/12
3.561 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.561 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.561 * [taylor]: Taking taylor expansion of im in im
3.561 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [backup-simplify]: Simplify (* 1 1) into 1
3.562 * [backup-simplify]: Simplify (* 1 1) into 1
3.562 * [backup-simplify]: Simplify (/ 1 1) into 1
3.562 * [taylor]: Taking taylor expansion of 2 in im
3.562 * [backup-simplify]: Simplify 2 into 2
3.562 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.563 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
3.563 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
3.563 * [backup-simplify]: Simplify 1/12 into 1/12
3.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify 0 into 0
3.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.569 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
3.570 * [backup-simplify]: Simplify (+ 0 0) into 0
3.570 * [backup-simplify]: Simplify (+ 1 0) into 1
3.570 * [backup-simplify]: Simplify 1 into 1
3.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.575 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.575 * [backup-simplify]: Simplify (+ 0 0) into 0
3.575 * [backup-simplify]: Simplify (+ 0 0) into 0
3.575 * [backup-simplify]: Simplify 0 into 0
3.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.580 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.581 * [backup-simplify]: Simplify (+ 0 2) into 2
3.581 * [backup-simplify]: Simplify (+ 0 2) into 2
3.581 * [backup-simplify]: Simplify 2 into 2
3.582 * [backup-simplify]: Simplify (+ 2 (+ (* 1 (pow (/ 1 (/ 1 im)) 2)) (* 1/12 (pow (/ 1 (/ 1 im)) 4)))) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.582 * [backup-simplify]: Simplify (+ (* 1/12 (pow (/ 1 (- im)) 4)) (+ (pow (/ 1 (- im)) 2) 2)) into (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))
3.582 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in (im) around 0
3.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.583 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.583 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.583 * [taylor]: Taking taylor expansion of im in im
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify (* 1 1) into 1
3.583 * [backup-simplify]: Simplify (/ 1 1) into 1
3.583 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.583 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.583 * [taylor]: Taking taylor expansion of 1/12 in im
3.583 * [backup-simplify]: Simplify 1/12 into 1/12
3.583 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.583 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.583 * [taylor]: Taking taylor expansion of im in im
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (* 1 1) into 1
3.584 * [backup-simplify]: Simplify (* 1 1) into 1
3.584 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [taylor]: Taking taylor expansion of 2 in im
3.584 * [backup-simplify]: Simplify 2 into 2
3.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.584 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.584 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.584 * [taylor]: Taking taylor expansion of im in im
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.585 * [backup-simplify]: Simplify (* 1 1) into 1
3.585 * [backup-simplify]: Simplify (/ 1 1) into 1
3.585 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.585 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.585 * [taylor]: Taking taylor expansion of 1/12 in im
3.585 * [backup-simplify]: Simplify 1/12 into 1/12
3.585 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.585 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.585 * [taylor]: Taking taylor expansion of im in im
3.585 * [backup-simplify]: Simplify 0 into 0
3.585 * [backup-simplify]: Simplify 1 into 1
3.586 * [backup-simplify]: Simplify (* 1 1) into 1
3.586 * [backup-simplify]: Simplify (* 1 1) into 1
3.586 * [backup-simplify]: Simplify (/ 1 1) into 1
3.586 * [taylor]: Taking taylor expansion of 2 in im
3.586 * [backup-simplify]: Simplify 2 into 2
3.587 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.587 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
3.588 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
3.588 * [backup-simplify]: Simplify 1/12 into 1/12
3.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.590 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
3.590 * [backup-simplify]: Simplify (+ 0 0) into 0
3.591 * [backup-simplify]: Simplify (+ 0 0) into 0
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.594 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
3.594 * [backup-simplify]: Simplify (+ 0 0) into 0
3.595 * [backup-simplify]: Simplify (+ 1 0) into 1
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.600 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.600 * [backup-simplify]: Simplify (+ 0 0) into 0
3.601 * [backup-simplify]: Simplify (+ 0 0) into 0
3.601 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.607 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.607 * [backup-simplify]: Simplify (+ 0 2) into 2
3.608 * [backup-simplify]: Simplify (+ 0 2) into 2
3.608 * [backup-simplify]: Simplify 2 into 2
3.609 * [backup-simplify]: Simplify (+ 2 (+ (* 1 (pow (/ 1 (/ 1 (- im))) 2)) (* 1/12 (pow (/ 1 (/ 1 (- im))) 4)))) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.609 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.609 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) into (* 0.5 (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re)))
3.609 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re))) in (re im) around 0
3.609 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re))) in im
3.609 * [taylor]: Taking taylor expansion of 0.5 in im
3.609 * [backup-simplify]: Simplify 0.5 into 0.5
3.609 * [taylor]: Taking taylor expansion of (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re)) in im
3.609 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im
3.609 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.609 * [taylor]: Taking taylor expansion of 1/12 in im
3.609 * [backup-simplify]: Simplify 1/12 into 1/12
3.609 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.610 * [taylor]: Taking taylor expansion of im in im
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify 1 into 1
3.610 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im
3.610 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.610 * [taylor]: Taking taylor expansion of im in im
3.610 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify 1 into 1
3.610 * [taylor]: Taking taylor expansion of 2 in im
3.610 * [backup-simplify]: Simplify 2 into 2
3.610 * [taylor]: Taking taylor expansion of (cos re) in im
3.610 * [taylor]: Taking taylor expansion of re in im
3.610 * [backup-simplify]: Simplify re into re
3.610 * [backup-simplify]: Simplify (cos re) into (cos re)
3.610 * [backup-simplify]: Simplify (sin re) into (sin re)
3.610 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re))) in re
3.610 * [taylor]: Taking taylor expansion of 0.5 in re
3.610 * [backup-simplify]: Simplify 0.5 into 0.5
3.610 * [taylor]: Taking taylor expansion of (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re)) in re
3.610 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in re
3.610 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in re
3.610 * [taylor]: Taking taylor expansion of 1/12 in re
3.610 * [backup-simplify]: Simplify 1/12 into 1/12
3.610 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.610 * [taylor]: Taking taylor expansion of im in re
3.610 * [backup-simplify]: Simplify im into im
3.610 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in re
3.610 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.610 * [taylor]: Taking taylor expansion of im in re
3.610 * [backup-simplify]: Simplify im into im
3.611 * [taylor]: Taking taylor expansion of 2 in re
3.611 * [backup-simplify]: Simplify 2 into 2
3.611 * [taylor]: Taking taylor expansion of (cos re) in re
3.611 * [taylor]: Taking taylor expansion of re in re
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re))) in re
3.611 * [taylor]: Taking taylor expansion of 0.5 in re
3.611 * [backup-simplify]: Simplify 0.5 into 0.5
3.611 * [taylor]: Taking taylor expansion of (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (cos re)) in re
3.611 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in re
3.611 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in re
3.611 * [taylor]: Taking taylor expansion of 1/12 in re
3.611 * [backup-simplify]: Simplify 1/12 into 1/12
3.611 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.611 * [taylor]: Taking taylor expansion of im in re
3.611 * [backup-simplify]: Simplify im into im
3.611 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in re
3.611 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.611 * [taylor]: Taking taylor expansion of im in re
3.611 * [backup-simplify]: Simplify im into im
3.611 * [taylor]: Taking taylor expansion of 2 in re
3.611 * [backup-simplify]: Simplify 2 into 2
3.611 * [taylor]: Taking taylor expansion of (cos re) in re
3.611 * [taylor]: Taking taylor expansion of re in re
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.612 * [backup-simplify]: Simplify (* (pow im 2) (pow im 2)) into (pow im 4)
3.612 * [backup-simplify]: Simplify (* 1/12 (pow im 4)) into (* 1/12 (pow im 4))
3.612 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.612 * [backup-simplify]: Simplify (+ (pow im 2) 2) into (+ (pow im 2) 2)
3.612 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.613 * [backup-simplify]: Simplify (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 1) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
3.613 * [backup-simplify]: Simplify (* 0.5 (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) into (* 0.5 (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
3.613 * [taylor]: Taking taylor expansion of (* 0.5 (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) in im
3.613 * [taylor]: Taking taylor expansion of 0.5 in im
3.613 * [backup-simplify]: Simplify 0.5 into 0.5
3.613 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) in im
3.613 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 4)) in im
3.613 * [taylor]: Taking taylor expansion of 1/12 in im
3.613 * [backup-simplify]: Simplify 1/12 into 1/12
3.613 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.613 * [taylor]: Taking taylor expansion of im in im
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 1 into 1
3.613 * [taylor]: Taking taylor expansion of (+ (pow im 2) 2) in im
3.613 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.613 * [taylor]: Taking taylor expansion of im in im
3.613 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify 1 into 1
3.613 * [taylor]: Taking taylor expansion of 2 in im
3.614 * [backup-simplify]: Simplify 2 into 2
3.614 * [backup-simplify]: Simplify (+ 0 2) into 2
3.614 * [backup-simplify]: Simplify (+ 0 2) into 2
3.615 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
3.615 * [backup-simplify]: Simplify 1.0 into 1.0
3.615 * [backup-simplify]: Simplify (+ 0) into 0
3.615 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.616 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (* 0 (pow im 2))) into 0
3.616 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 (pow im 4))) into 0
3.616 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.617 * [backup-simplify]: Simplify (+ 0 0) into 0
3.617 * [backup-simplify]: Simplify (+ 0 0) into 0
3.618 * [backup-simplify]: Simplify (+ (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 0) (* 0 1)) into 0
3.619 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))) into 0
3.619 * [taylor]: Taking taylor expansion of 0 in im
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify (+ 0 0) into 0
3.619 * [backup-simplify]: Simplify (+ 0 0) into 0
3.620 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
3.620 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.622 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.622 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (* 0 (pow im 2)))) into 0
3.623 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 (pow im 4)))) into 0
3.624 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.624 * [backup-simplify]: Simplify (+ 0 0) into 0
3.624 * [backup-simplify]: Simplify (+ 0 0) into 0
3.626 * [backup-simplify]: Simplify (+ (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) -1/2) (+ (* 0 0) (* 0 1))) into (- (+ (* 1/24 (pow im 4)) (+ (* 1/2 (pow im 2)) 1)))
3.627 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/24 (pow im 4)) (+ (* 1/2 (pow im 2)) 1)))) (+ (* 0 0) (* 0 (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))) into (- (+ (* 0.020833333333333332 (pow im 4)) (+ (* 0.25 (pow im 2)) 0.5)))
3.627 * [taylor]: Taking taylor expansion of (- (+ (* 0.020833333333333332 (pow im 4)) (+ (* 0.25 (pow im 2)) 0.5))) in im
3.627 * [taylor]: Taking taylor expansion of (+ (* 0.020833333333333332 (pow im 4)) (+ (* 0.25 (pow im 2)) 0.5)) in im
3.627 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (pow im 4)) in im
3.627 * [taylor]: Taking taylor expansion of 0.020833333333333332 in im
3.627 * [backup-simplify]: Simplify 0.020833333333333332 into 0.020833333333333332
3.627 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.627 * [taylor]: Taking taylor expansion of im in im
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow im 2)) 0.5) in im
3.627 * [taylor]: Taking taylor expansion of (* 0.25 (pow im 2)) in im
3.627 * [taylor]: Taking taylor expansion of 0.25 in im
3.627 * [backup-simplify]: Simplify 0.25 into 0.25
3.627 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.627 * [taylor]: Taking taylor expansion of im in im
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify 1 into 1
3.628 * [taylor]: Taking taylor expansion of 0.5 in im
3.628 * [backup-simplify]: Simplify 0.5 into 0.5
3.632 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
3.632 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
3.633 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.633 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.633 * [backup-simplify]: Simplify 0 into 0
3.634 * [backup-simplify]: Simplify (* 1 1) into 1
3.634 * [backup-simplify]: Simplify (+ 1 0) into 1
3.635 * [backup-simplify]: Simplify (+ 0 1) into 1
3.637 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
3.637 * [backup-simplify]: Simplify 0.5 into 0.5
3.638 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
3.638 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (* 1/12 (pow (/ 1 im) 4)) (+ (pow (/ 1 im) 2) 2))) into (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))
3.638 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) in (re im) around 0
3.638 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) in im
3.638 * [taylor]: Taking taylor expansion of 0.5 in im
3.638 * [backup-simplify]: Simplify 0.5 into 0.5
3.638 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))) in im
3.638 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.638 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.638 * [taylor]: Taking taylor expansion of re in im
3.638 * [backup-simplify]: Simplify re into re
3.639 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.639 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.639 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.639 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.639 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.639 * [taylor]: Taking taylor expansion of im in im
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.639 * [backup-simplify]: Simplify (* 1 1) into 1
3.639 * [backup-simplify]: Simplify (/ 1 1) into 1
3.639 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.639 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.639 * [taylor]: Taking taylor expansion of 1/12 in im
3.639 * [backup-simplify]: Simplify 1/12 into 1/12
3.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.639 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.639 * [taylor]: Taking taylor expansion of im in im
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 1 into 1
3.640 * [backup-simplify]: Simplify (* 1 1) into 1
3.640 * [backup-simplify]: Simplify (* 1 1) into 1
3.640 * [backup-simplify]: Simplify (/ 1 1) into 1
3.640 * [taylor]: Taking taylor expansion of 2 in im
3.640 * [backup-simplify]: Simplify 2 into 2
3.640 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) in re
3.640 * [taylor]: Taking taylor expansion of 0.5 in re
3.640 * [backup-simplify]: Simplify 0.5 into 0.5
3.640 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))) in re
3.640 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.640 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.640 * [taylor]: Taking taylor expansion of re in re
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 1 into 1
3.641 * [backup-simplify]: Simplify (/ 1 1) into 1
3.641 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in re
3.641 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.641 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.641 * [taylor]: Taking taylor expansion of im in re
3.641 * [backup-simplify]: Simplify im into im
3.641 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.641 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.641 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in re
3.641 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in re
3.641 * [taylor]: Taking taylor expansion of 1/12 in re
3.641 * [backup-simplify]: Simplify 1/12 into 1/12
3.641 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in re
3.641 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.641 * [taylor]: Taking taylor expansion of im in re
3.641 * [backup-simplify]: Simplify im into im
3.641 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.641 * [backup-simplify]: Simplify (* (pow im 2) (pow im 2)) into (pow im 4)
3.641 * [backup-simplify]: Simplify (/ 1 (pow im 4)) into (/ 1 (pow im 4))
3.641 * [taylor]: Taking taylor expansion of 2 in re
3.641 * [backup-simplify]: Simplify 2 into 2
3.641 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) in re
3.641 * [taylor]: Taking taylor expansion of 0.5 in re
3.641 * [backup-simplify]: Simplify 0.5 into 0.5
3.641 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))) in re
3.641 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re
3.641 * [taylor]: Taking taylor expansion of (/ 1 re) in re
3.641 * [taylor]: Taking taylor expansion of re in re
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (/ 1 1) into 1
3.642 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in re
3.642 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.642 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.642 * [taylor]: Taking taylor expansion of im in re
3.642 * [backup-simplify]: Simplify im into im
3.642 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.642 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.642 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in re
3.642 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in re
3.642 * [taylor]: Taking taylor expansion of 1/12 in re
3.642 * [backup-simplify]: Simplify 1/12 into 1/12
3.642 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in re
3.642 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.642 * [taylor]: Taking taylor expansion of im in re
3.642 * [backup-simplify]: Simplify im into im
3.642 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.642 * [backup-simplify]: Simplify (* (pow im 2) (pow im 2)) into (pow im 4)
3.642 * [backup-simplify]: Simplify (/ 1 (pow im 4)) into (/ 1 (pow im 4))
3.642 * [taylor]: Taking taylor expansion of 2 in re
3.642 * [backup-simplify]: Simplify 2 into 2
3.643 * [backup-simplify]: Simplify (* 1/12 (/ 1 (pow im 4))) into (/ 1/12 (pow im 4))
3.643 * [backup-simplify]: Simplify (+ (/ 1/12 (pow im 4)) 2) into (+ (* 1/12 (/ 1 (pow im 4))) 2)
3.643 * [backup-simplify]: Simplify (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) into (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))
3.643 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))) into (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))
3.643 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) into (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))
3.643 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) in im
3.643 * [taylor]: Taking taylor expansion of 0.5 in im
3.643 * [backup-simplify]: Simplify 0.5 into 0.5
3.643 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))) in im
3.643 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im
3.644 * [taylor]: Taking taylor expansion of (/ 1 re) in im
3.644 * [taylor]: Taking taylor expansion of re in im
3.644 * [backup-simplify]: Simplify re into re
3.644 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
3.644 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
3.644 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
3.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.644 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.644 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.644 * [taylor]: Taking taylor expansion of im in im
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify 1 into 1
3.644 * [backup-simplify]: Simplify (* 1 1) into 1
3.644 * [backup-simplify]: Simplify (/ 1 1) into 1
3.644 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.644 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.644 * [taylor]: Taking taylor expansion of 1/12 in im
3.644 * [backup-simplify]: Simplify 1/12 into 1/12
3.644 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.644 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.644 * [taylor]: Taking taylor expansion of im in im
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [backup-simplify]: Simplify (* 1 1) into 1
3.645 * [backup-simplify]: Simplify (* 1 1) into 1
3.645 * [backup-simplify]: Simplify (/ 1 1) into 1
3.645 * [taylor]: Taking taylor expansion of 2 in im
3.645 * [backup-simplify]: Simplify 2 into 2
3.645 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
3.645 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0
3.646 * [backup-simplify]: Simplify (- 0) into 0
3.646 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
3.646 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.646 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
3.646 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
3.647 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1/12) into (* 1/12 (cos (/ 1 re)))
3.647 * [backup-simplify]: Simplify (* 0.5 (* 1/12 (cos (/ 1 re)))) into (* 0.041666666666666664 (cos (/ 1 re)))
3.647 * [backup-simplify]: Simplify (* 0.041666666666666664 (cos (/ 1 re))) into (* 0.041666666666666664 (cos (/ 1 re)))
3.647 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
3.647 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.647 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (* 0 (pow im 2))) into 0
3.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))))) into 0
3.648 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 (/ 1 (pow im 4)))) into 0
3.648 * [backup-simplify]: Simplify (+ 0 0) into 0
3.648 * [backup-simplify]: Simplify (+ 0 0) into 0
3.648 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))) into 0
3.649 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))) into 0
3.649 * [taylor]: Taking taylor expansion of 0 in im
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
3.651 * [backup-simplify]: Simplify (+ 0 0) into 0
3.651 * [backup-simplify]: Simplify (+ 0 0) into 0
3.651 * [backup-simplify]: Simplify (+ 0) into 0
3.652 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
3.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
3.652 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.653 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
3.653 * [backup-simplify]: Simplify (- 0) into 0
3.653 * [backup-simplify]: Simplify (+ 0 0) into 0
3.653 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1/12)) into 0
3.654 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 1/12 (cos (/ 1 re))))) into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.654 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.655 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (* 0 (pow im 2)))) into 0
3.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.656 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4))))) into 0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))) into 0
3.657 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))))) into 0
3.657 * [taylor]: Taking taylor expansion of 0 in im
3.657 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.659 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
3.660 * [backup-simplify]: Simplify (+ 0 0) into 0
3.660 * [backup-simplify]: Simplify (+ 1 0) into 1
3.660 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.661 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.661 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.662 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.662 * [backup-simplify]: Simplify (- 0) into 0
3.662 * [backup-simplify]: Simplify (+ 0 0) into 0
3.663 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 1) (+ (* 0 0) (* 0 1/12))) into (cos (/ 1 re))
3.663 * [backup-simplify]: Simplify (+ (* 0.5 (cos (/ 1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ 1 re)))))) into (* 0.5 (cos (/ 1 re)))
3.663 * [backup-simplify]: Simplify (* 0.5 (cos (/ 1 re))) into (* 0.5 (cos (/ 1 re)))
3.664 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
3.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.665 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
3.665 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2))))) into 0
3.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.666 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4)))))) into 0
3.666 * [backup-simplify]: Simplify (+ 0 0) into 0
3.667 * [backup-simplify]: Simplify (+ 0 0) into 0
3.668 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))))) into 0
3.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))))) into 0
3.669 * [taylor]: Taking taylor expansion of 0 in im
3.669 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.673 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.673 * [backup-simplify]: Simplify (+ 0 0) into 0
3.673 * [backup-simplify]: Simplify (+ 0 0) into 0
3.674 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.675 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.677 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.678 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.678 * [backup-simplify]: Simplify (- 0) into 0
3.678 * [backup-simplify]: Simplify (+ 0 0) into 0
3.679 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 1) (+ (* 0 0) (* 0 1/12)))) into 0
3.680 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (cos (/ 1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ 1 re))))))) into 0
3.680 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
3.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.683 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
3.685 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2)))))) into 0
3.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.687 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4))))))) into 0
3.687 * [backup-simplify]: Simplify (+ 0 0) into 0
3.687 * [backup-simplify]: Simplify (+ 0 0) into 0
3.688 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))))))) into 0
3.689 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)))))))) into 0
3.689 * [taylor]: Taking taylor expansion of 0 in im
3.689 * [backup-simplify]: Simplify 0 into 0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.693 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.693 * [backup-simplify]: Simplify (+ 0 2) into 2
3.693 * [backup-simplify]: Simplify (+ 0 2) into 2
3.695 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.695 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.696 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.697 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.697 * [backup-simplify]: Simplify (- 0) into 0
3.697 * [backup-simplify]: Simplify (+ 0 0) into 0
3.698 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 2) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 1/12))))) into (* 2 (cos (/ 1 re)))
3.698 * [backup-simplify]: Simplify (+ (* 0.5 (* 2 (cos (/ 1 re)))) (+ (* 0 0) (+ (* 0 (cos (/ 1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ 1 re)))))))) into (* 1.0 (cos (/ 1 re)))
3.698 * [backup-simplify]: Simplify (* 1.0 (cos (/ 1 re))) into (* 1.0 (cos (/ 1 re)))
3.699 * [backup-simplify]: Simplify (+ (* 1.0 (cos (/ 1 (/ 1 re)))) (+ (* (* 0.5 (cos (/ 1 (/ 1 re)))) (pow (* (/ 1 (/ 1 im)) 1) 2)) (* (* 0.041666666666666664 (cos (/ 1 (/ 1 re)))) (pow (* (/ 1 (/ 1 im)) 1) 4)))) into (+ (* 1.0 (cos re)) (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* 0.5 (* (cos re) (pow im 2)))))
3.699 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (* 1/12 (pow (/ 1 (- im)) 4)) (+ (pow (/ 1 (- im)) 2) 2))) into (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))))
3.699 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) in (re im) around 0
3.699 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) in im
3.699 * [taylor]: Taking taylor expansion of 0.5 in im
3.699 * [backup-simplify]: Simplify 0.5 into 0.5
3.699 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))) in im
3.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.700 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.700 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.700 * [taylor]: Taking taylor expansion of im in im
3.700 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify 1 into 1
3.700 * [backup-simplify]: Simplify (* 1 1) into 1
3.700 * [backup-simplify]: Simplify (/ 1 1) into 1
3.700 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.700 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.700 * [taylor]: Taking taylor expansion of 1/12 in im
3.700 * [backup-simplify]: Simplify 1/12 into 1/12
3.700 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.700 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.700 * [taylor]: Taking taylor expansion of im in im
3.700 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify 1 into 1
3.700 * [backup-simplify]: Simplify (* 1 1) into 1
3.701 * [backup-simplify]: Simplify (* 1 1) into 1
3.701 * [backup-simplify]: Simplify (/ 1 1) into 1
3.701 * [taylor]: Taking taylor expansion of 2 in im
3.701 * [backup-simplify]: Simplify 2 into 2
3.701 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.701 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.701 * [taylor]: Taking taylor expansion of -1 in im
3.701 * [backup-simplify]: Simplify -1 into -1
3.701 * [taylor]: Taking taylor expansion of re in im
3.701 * [backup-simplify]: Simplify re into re
3.701 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.701 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.701 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.701 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) in re
3.701 * [taylor]: Taking taylor expansion of 0.5 in re
3.701 * [backup-simplify]: Simplify 0.5 into 0.5
3.701 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))) in re
3.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in re
3.701 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.701 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.701 * [taylor]: Taking taylor expansion of im in re
3.701 * [backup-simplify]: Simplify im into im
3.701 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.702 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.702 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in re
3.702 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in re
3.702 * [taylor]: Taking taylor expansion of 1/12 in re
3.702 * [backup-simplify]: Simplify 1/12 into 1/12
3.702 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in re
3.702 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.702 * [taylor]: Taking taylor expansion of im in re
3.702 * [backup-simplify]: Simplify im into im
3.702 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.702 * [backup-simplify]: Simplify (* (pow im 2) (pow im 2)) into (pow im 4)
3.702 * [backup-simplify]: Simplify (/ 1 (pow im 4)) into (/ 1 (pow im 4))
3.702 * [taylor]: Taking taylor expansion of 2 in re
3.702 * [backup-simplify]: Simplify 2 into 2
3.702 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.702 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.702 * [taylor]: Taking taylor expansion of -1 in re
3.702 * [backup-simplify]: Simplify -1 into -1
3.702 * [taylor]: Taking taylor expansion of re in re
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify 1 into 1
3.702 * [backup-simplify]: Simplify (/ -1 1) into -1
3.702 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.702 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) in re
3.702 * [taylor]: Taking taylor expansion of 0.5 in re
3.703 * [backup-simplify]: Simplify 0.5 into 0.5
3.703 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))) in re
3.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in re
3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.703 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.703 * [taylor]: Taking taylor expansion of im in re
3.703 * [backup-simplify]: Simplify im into im
3.703 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.703 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.703 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in re
3.703 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in re
3.703 * [taylor]: Taking taylor expansion of 1/12 in re
3.703 * [backup-simplify]: Simplify 1/12 into 1/12
3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in re
3.703 * [taylor]: Taking taylor expansion of (pow im 4) in re
3.703 * [taylor]: Taking taylor expansion of im in re
3.703 * [backup-simplify]: Simplify im into im
3.703 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.703 * [backup-simplify]: Simplify (* (pow im 2) (pow im 2)) into (pow im 4)
3.703 * [backup-simplify]: Simplify (/ 1 (pow im 4)) into (/ 1 (pow im 4))
3.703 * [taylor]: Taking taylor expansion of 2 in re
3.703 * [backup-simplify]: Simplify 2 into 2
3.703 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re
3.703 * [taylor]: Taking taylor expansion of (/ -1 re) in re
3.703 * [taylor]: Taking taylor expansion of -1 in re
3.703 * [backup-simplify]: Simplify -1 into -1
3.703 * [taylor]: Taking taylor expansion of re in re
3.703 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify 1 into 1
3.704 * [backup-simplify]: Simplify (/ -1 1) into -1
3.704 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.704 * [backup-simplify]: Simplify (* 1/12 (/ 1 (pow im 4))) into (/ 1/12 (pow im 4))
3.704 * [backup-simplify]: Simplify (+ (/ 1/12 (pow im 4)) 2) into (+ (* 1/12 (/ 1 (pow im 4))) 2)
3.704 * [backup-simplify]: Simplify (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) into (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2))
3.704 * [backup-simplify]: Simplify (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))) into (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))
3.705 * [backup-simplify]: Simplify (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) into (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))))
3.705 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))) in im
3.705 * [taylor]: Taking taylor expansion of 0.5 in im
3.705 * [backup-simplify]: Simplify 0.5 into 0.5
3.705 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))) in im
3.705 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) in im
3.705 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.705 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.705 * [taylor]: Taking taylor expansion of im in im
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 1 into 1
3.705 * [backup-simplify]: Simplify (* 1 1) into 1
3.705 * [backup-simplify]: Simplify (/ 1 1) into 1
3.705 * [taylor]: Taking taylor expansion of (+ (* 1/12 (/ 1 (pow im 4))) 2) in im
3.705 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow im 4))) in im
3.705 * [taylor]: Taking taylor expansion of 1/12 in im
3.705 * [backup-simplify]: Simplify 1/12 into 1/12
3.706 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
3.706 * [taylor]: Taking taylor expansion of (pow im 4) in im
3.706 * [taylor]: Taking taylor expansion of im in im
3.706 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify 1 into 1
3.706 * [backup-simplify]: Simplify (* 1 1) into 1
3.706 * [backup-simplify]: Simplify (* 1 1) into 1
3.706 * [backup-simplify]: Simplify (/ 1 1) into 1
3.706 * [taylor]: Taking taylor expansion of 2 in im
3.706 * [backup-simplify]: Simplify 2 into 2
3.706 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im
3.706 * [taylor]: Taking taylor expansion of (/ -1 re) in im
3.706 * [taylor]: Taking taylor expansion of -1 in im
3.706 * [backup-simplify]: Simplify -1 into -1
3.706 * [taylor]: Taking taylor expansion of re in im
3.706 * [backup-simplify]: Simplify re into re
3.706 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
3.706 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
3.707 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
3.707 * [backup-simplify]: Simplify (* 1/12 1) into 1/12
3.707 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
3.707 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
3.707 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
3.707 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0
3.708 * [backup-simplify]: Simplify (- 0) into 0
3.708 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
3.708 * [backup-simplify]: Simplify (* 1/12 (cos (/ -1 re))) into (* 1/12 (cos (/ -1 re)))
3.708 * [backup-simplify]: Simplify (* 0.5 (* 1/12 (cos (/ -1 re)))) into (* 0.041666666666666664 (cos (/ -1 re)))
3.708 * [backup-simplify]: Simplify (* 0.041666666666666664 (cos (/ -1 re))) into (* 0.041666666666666664 (cos (/ -1 re)))
3.708 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
3.708 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.708 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (* 0 (pow im 2))) into 0
3.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))))) into 0
3.709 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 (/ 1 (pow im 4)))) into 0
3.709 * [backup-simplify]: Simplify (+ 0 0) into 0
3.709 * [backup-simplify]: Simplify (+ 0 0) into 0
3.710 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) 0) (* 0 (cos (/ -1 re)))) into 0
3.710 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))))) into 0
3.710 * [taylor]: Taking taylor expansion of 0 in im
3.710 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify (+ 0) into 0
3.711 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
3.711 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
3.711 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.712 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
3.712 * [backup-simplify]: Simplify (- 0) into 0
3.712 * [backup-simplify]: Simplify (+ 0 0) into 0
3.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.714 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 1)) into 0
3.714 * [backup-simplify]: Simplify (+ 0 0) into 0
3.714 * [backup-simplify]: Simplify (+ 0 0) into 0
3.715 * [backup-simplify]: Simplify (+ (* 1/12 0) (* 0 (cos (/ -1 re)))) into 0
3.715 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 1/12 (cos (/ -1 re))))) into 0
3.715 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.716 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.716 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (* 0 (pow im 2)))) into 0
3.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.717 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4))))) into 0
3.717 * [backup-simplify]: Simplify (+ 0 0) into 0
3.717 * [backup-simplify]: Simplify (+ 0 0) into 0
3.718 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
3.719 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))))) into 0
3.719 * [taylor]: Taking taylor expansion of 0 in im
3.719 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.720 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
3.721 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.721 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.722 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
3.722 * [backup-simplify]: Simplify (- 0) into 0
3.723 * [backup-simplify]: Simplify (+ 0 0) into 0
3.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.726 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 0 1))) into 0
3.726 * [backup-simplify]: Simplify (+ 0 0) into 0
3.727 * [backup-simplify]: Simplify (+ 1 0) into 1
3.728 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (* 1 (cos (/ -1 re))))) into (cos (/ -1 re))
3.728 * [backup-simplify]: Simplify (+ (* 0.5 (cos (/ -1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ -1 re)))))) into (* 0.5 (cos (/ -1 re)))
3.728 * [backup-simplify]: Simplify (* 0.5 (cos (/ -1 re))) into (* 0.5 (cos (/ -1 re)))
3.729 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
3.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.730 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
3.731 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2))))) into 0
3.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.733 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4)))))) into 0
3.734 * [backup-simplify]: Simplify (+ 0 0) into 0
3.734 * [backup-simplify]: Simplify (+ 0 0) into 0
3.735 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
3.736 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re))))))) into 0
3.736 * [taylor]: Taking taylor expansion of 0 in im
3.736 * [backup-simplify]: Simplify 0 into 0
3.743 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.744 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.745 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.746 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.747 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.747 * [backup-simplify]: Simplify (- 0) into 0
3.747 * [backup-simplify]: Simplify (+ 0 0) into 0
3.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.752 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.753 * [backup-simplify]: Simplify (+ 0 0) into 0
3.753 * [backup-simplify]: Simplify (+ 0 0) into 0
3.754 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 1 0) (* 0 (cos (/ -1 re)))))) into 0
3.755 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (cos (/ -1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ -1 re))))))) into 0
3.755 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
3.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
3.758 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
3.759 * [backup-simplify]: Simplify (+ (* (pow im 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2)))))) into 0
3.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 4)) (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))) (* 0 (/ 0 (pow im 4))))) into 0
3.761 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow im 4))))))) into 0
3.762 * [backup-simplify]: Simplify (+ 0 0) into 0
3.762 * [backup-simplify]: Simplify (+ 0 0) into 0
3.763 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))))) into 0
3.765 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (/ 1 (pow im 2)) (+ (* 1/12 (/ 1 (pow im 4))) 2)) (cos (/ -1 re)))))))) into 0
3.765 * [taylor]: Taking taylor expansion of 0 in im
3.765 * [backup-simplify]: Simplify 0 into 0
3.767 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
3.768 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.769 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
3.770 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
3.771 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
3.771 * [backup-simplify]: Simplify (- 0) into 0
3.771 * [backup-simplify]: Simplify (+ 0 0) into 0
3.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.777 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.777 * [backup-simplify]: Simplify (+ 0 2) into 2
3.777 * [backup-simplify]: Simplify (+ 0 2) into 2
3.779 * [backup-simplify]: Simplify (+ (* 1/12 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 2 (cos (/ -1 re))))))) into (* 2 (cos (/ -1 re)))
3.780 * [backup-simplify]: Simplify (+ (* 0.5 (* 2 (cos (/ -1 re)))) (+ (* 0 0) (+ (* 0 (cos (/ -1 re))) (+ (* 0 0) (* 0 (* 1/12 (cos (/ -1 re)))))))) into (* 1.0 (cos (/ -1 re)))
3.780 * [backup-simplify]: Simplify (* 1.0 (cos (/ -1 re))) into (* 1.0 (cos (/ -1 re)))
3.781 * [backup-simplify]: Simplify (+ (* 1.0 (cos (/ -1 (/ 1 (- re))))) (+ (* (* 0.5 (cos (/ -1 (/ 1 (- re))))) (pow (* (/ 1 (/ 1 (- im))) 1) 2)) (* (* 0.041666666666666664 (cos (/ -1 (/ 1 (- re))))) (pow (* (/ 1 (/ 1 (- im))) 1) 4)))) into (+ (* 1.0 (cos re)) (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* 0.5 (* (cos re) (pow im 2)))))
3.781 * * * [progress]: simplifying candidates
3.783 * [simplify]: Simplifying:
  (+ (log 1/12) (* (log im) 4))
  (+ (log 1/12) (* (log im) 4))
  (+ (log 1/12) (log (pow im 4)))
  (log (* 1/12 (pow im 4)))
  (exp (* 1/12 (pow im 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow im 4) (pow im 4)) (pow im 4)))
  (* (cbrt (* 1/12 (pow im 4))) (cbrt (* 1/12 (pow im 4))))
  (cbrt (* 1/12 (pow im 4)))
  (* (* (* 1/12 (pow im 4)) (* 1/12 (pow im 4))) (* 1/12 (pow im 4)))
  (sqrt (* 1/12 (pow im 4)))
  (sqrt (* 1/12 (pow im 4)))
  (* (sqrt 1/12) (pow (sqrt im) 4))
  (* (sqrt 1/12) (pow (sqrt im) 4))
  (* (sqrt 1/12) (sqrt (pow im 4)))
  (* (sqrt 1/12) (sqrt (pow im 4)))
  (* (sqrt 1/12) (pow im (/ 4 2)))
  (* (sqrt 1/12) (pow im (/ 4 2)))
  (* 1/12 (pow (* (cbrt im) (cbrt im)) 4))
  (* 1/12 (pow (sqrt im) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow im 4)) (cbrt (pow im 4))))
  (* 1/12 (sqrt (pow im 4)))
  (* 1/12 1)
  (* 1/12 (pow im (/ 4 2)))
  (* (cbrt 1/12) (pow im 4))
  (* (sqrt 1/12) (pow im 4))
  (* 1/12 (pow im 4))
  (* (exp (* 1/12 (pow im 4))) (* (exp (pow im 2)) (exp 2)))
  (* (exp (* 1/12 (pow im 4))) (exp (+ (pow im 2) 2)))
  (log (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (exp (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (sqrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (sqrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (+ (pow (* 1/12 (pow im 4)) 3) (pow (+ (pow im 2) 2) 3))
  (+ (* (* 1/12 (pow im 4)) (* 1/12 (pow im 4))) (- (* (+ (pow im 2) 2) (+ (pow im 2) 2)) (* (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (- (* (* 1/12 (pow im 4)) (* 1/12 (pow im 4))) (* (+ (pow im 2) 2) (+ (pow im 2) 2)))
  (- (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (* 1/12 (pow im 4)) (pow im 2))
  (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (+ (+ (log 0.5) (log (cos re))) (log (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (+ (log (* 0.5 (cos re))) (log (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (log (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (exp (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))) (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))))
  (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (sqrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (sqrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* 0.5 (cos re)) (* 1/12 (pow im 4)))
  (* (* 0.5 (cos re)) (+ (pow im 2) 2))
  (* (* 1/12 (pow im 4)) (* 0.5 (cos re)))
  (* (+ (pow im 2) 2) (* 0.5 (cos re)))
  (* (* 0.5 (cos re)) (* (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))))
  (* (* 0.5 (cos re)) (sqrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* 0.5 (cos re)) 1)
  (* (cos re) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (* 0.5 (cos re)) (+ (pow (* 1/12 (pow im 4)) 3) (pow (+ (pow im 2) 2) 3)))
  (* (* 0.5 (cos re)) (- (* (* 1/12 (pow im 4)) (* 1/12 (pow im 4))) (* (+ (pow im 2) 2) (+ (pow im 2) 2))))
  (* 1/12 (pow im 4))
  (* 1/12 (pow im 4))
  (* 1/12 (pow im 4))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
  (+ (* 1.0 (cos re)) (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* 0.5 (* (cos re) (pow im 2)))))
  (+ (* 1.0 (cos re)) (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* 0.5 (* (cos re) (pow im 2)))))
3.786 * * [simplify]: Extracting # 0 : cost  0
3.786 * * [simplify]: Extracting # 1 : cost  0
3.787 * * [simplify]: Extracting # 2 : cost  0
3.787 * * [simplify]: Extracting # 3 : cost  0
3.787 * * [simplify]: Extracting # 4 : cost  0
3.787 * * [simplify]: Extracting # 5 : cost  0
3.788 * * [simplify]: Extracting # 6 : cost  0
3.788 * * [simplify]: Extracting # 7 : cost  0
3.788 * * [simplify]: iteration  0 :  128  enodes  (cost  1045 )
3.844 * * [simplify]: Extracting # 0 : cost  0
3.845 * * [simplify]: Extracting # 1 : cost  0
3.845 * * [simplify]: Extracting # 2 : cost  0
3.845 * * [simplify]: Extracting # 3 : cost  0
3.846 * * [simplify]: Extracting # 4 : cost  0
3.846 * * [simplify]: iteration  1 :  356  enodes  (cost  980 )
4.077 * * [simplify]: Extracting # 0 : cost  0
4.079 * * [simplify]: Extracting # 1 : cost  0
4.080 * * [simplify]: Extracting # 2 : cost  0
4.082 * * [simplify]: Extracting # 3 : cost  0
4.084 * * [simplify]: Extracting # 4 : cost  0
4.085 * * [simplify]: iteration  2 :  1419  enodes  (cost  860 )
4.740 * * [simplify]: Extracting # 0 : cost  0
4.749 * * [simplify]: Extracting # 1 : cost  0
4.767 * * [simplify]: Extracting # 2 : cost  0
4.774 * * [simplify]: Extracting # 3 : cost  0
4.781 * * [simplify]: Extracting # 4 : cost  0
4.787 * * [simplify]: iteration done:  5001  enodes  (cost  849 )
4.788 * [simplify]: Simplified to:
  (log (* 1/12 (pow im 4)))
  (log (* 1/12 (pow im 4)))
  (log (* 1/12 (pow im 4)))
  (log (* 1/12 (pow im 4)))
  (exp (* 1/12 (pow im 4)))
  (pow (* (pow im 4) 1/12) 3)
  (* (cbrt (* 1/12 (pow im 4))) (cbrt (* 1/12 (pow im 4))))
  (cbrt (* 1/12 (pow im 4)))
  (pow (* (pow im 4) 1/12) 3)
  (sqrt (* 1/12 (pow im 4)))
  (sqrt (* 1/12 (pow im 4)))
  (* (sqrt 1/12) (pow im 2))
  (* (sqrt 1/12) (pow im 2))
  (* (sqrt 1/12) (sqrt (pow im 4)))
  (* (sqrt 1/12) (sqrt (pow im 4)))
  (* (sqrt 1/12) (pow im 2))
  (* (sqrt 1/12) (pow im 2))
  (* 1/12 (pow (* (cbrt im) (cbrt im)) 4))
  (* 1/12 (pow im 2))
  1/12
  (* 1/12 (* (cbrt (pow im 4)) (cbrt (pow im 4))))
  (* 1/12 (sqrt (pow im 4)))
  1/12
  (* 1/12 (pow im 2))
  (* (cbrt 1/12) (pow im 4))
  (* (sqrt 1/12) (pow im 4))
  (* (pow im 4) 1/12)
  (exp (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (exp (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (log (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (exp (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (pow (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)) 3)
  (sqrt (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)))
  (sqrt (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2)))
  (+ (pow (* 1/12 (pow im 4)) 3) (pow (+ (pow im 2) 2) 3))
  (+ (* 1/144 (pow im 8)) (* (+ (pow im 2) 2) (- (+ (pow im 2) 2) (* 1/12 (pow im 4)))))
  (- (* 1/144 (pow im 8)) (* (+ (pow im 2) 2) (+ (pow im 2) 2)))
  (- (* 1/12 (pow im 4)) (+ (pow im 2) 2))
  (+ (* 1/12 (pow im 4)) (pow im 2))
  (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (log (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (log (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (log (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (exp (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (pow (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) 3)
  (pow (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) 3)
  (* (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))) (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))))
  (cbrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (pow (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) 3)
  (sqrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (sqrt (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* (* 0.5 (cos re)) (* 1/12 (pow im 4)))
  (* (* 0.5 (cos re)) (+ (pow im 2) 2))
  (* (* 0.5 (cos re)) (* 1/12 (pow im 4)))
  (* (* 0.5 (cos re)) (+ (pow im 2) 2))
  (* (* 0.5 (cos re)) (* (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))) (cbrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))))
  (* (* 0.5 (cos re)) (sqrt (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))
  (* 0.5 (cos re))
  (* (cos re) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)))
  (* (* 0.5 (cos re)) (+ (pow (* 1/12 (pow im 4)) 3) (pow (+ (pow im 2) 2) 3)))
  (* (- (* 1/144 (pow im 8)) (* (+ (pow im 2) 2) (+ (pow im 2) 2))) (* 0.5 (cos re)))
  (* (pow im 4) 1/12)
  (* (pow im 4) 1/12)
  (* (pow im 4) 1/12)
  (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))
  (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))
  (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))
  (+ 1.0 (* 0.5 (- (* im im) (pow re 2))))
  (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* (cos re) (+ (* 0.5 (pow im 2)) 1.0)))
  (+ (* 0.041666666666666664 (* (cos re) (pow im 4))) (* (cos re) (+ (* 0.5 (pow im 2)) 1.0)))
4.788 * * * [progress]: adding candidates to table
4.964 * [progress]: [Phase 3 of 3] Extracting.
4.964 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
4.965 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) im re)
4.965 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
4.982 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
4.997 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
5.013 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
5.043 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
5.056 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
5.068 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.068 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
5.068 * * [simplify]: Extracting # 0 : cost  0
5.068 * * [simplify]: Extracting # 1 : cost  0
5.068 * * [simplify]: Extracting # 2 : cost  0
5.068 * * [simplify]: Extracting # 3 : cost  0
5.068 * * [simplify]: Extracting # 4 : cost  0
5.068 * * [simplify]: Extracting # 5 : cost  0
5.068 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
5.069 * * [simplify]: Extracting # 0 : cost  0
5.069 * * [simplify]: iteration  1 :  13  enodes  (cost  11 )
5.069 * * [simplify]: Extracting # 0 : cost  0
5.069 * * [simplify]: iteration done:  13  enodes  (cost  11 )
5.069 * [simplify]: Simplified to:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
10.945 * [regime-testing]: Baseline error score: 0.01102261845248685
10.946 * [regime-testing]: Oracle error score: 0.009272399675139681
10.947 * [regime-testing]: End program error score: 0.01102261845248685