4.434 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.392 * * * [progress]: [2/2] Setting up program.
0.395 * [progress]: [Phase 2 of 3] Improving.
0.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
0.415 * * [simplify]: iteration  0 :  265  enodes  (cost  15 )
0.415 * * [simplify]: iteration  1 :  265  enodes  (cost  15 )
0.416 * [simplify]: Simplified to:
   (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
0.416 * * [progress]: iteration 1 / 4
0.416 * * * [progress]: picking best candidate
0.418 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))>
0.418 * * * [progress]: localizing error
0.428 * * * [progress]: generating rewritten candidates
0.428 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
0.433 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.441 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
0.455 * * * [progress]: generating series expansions
0.455 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
0.455 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.455 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.455 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.455 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.455 * [taylor]: Taking taylor expansion of re in im
0.456 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.456 * [taylor]: Taking taylor expansion of im in im
0.456 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.456 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.456 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.456 * [taylor]: Taking taylor expansion of re in re
0.456 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.456 * [taylor]: Taking taylor expansion of im in re
0.456 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.456 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.456 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.456 * [taylor]: Taking taylor expansion of re in re
0.456 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.456 * [taylor]: Taking taylor expansion of im in re
0.457 * [taylor]: Taking taylor expansion of im in im
0.457 * [taylor]: Taking taylor expansion of 0 in im
0.457 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.457 * [taylor]: Taking taylor expansion of 1/2 in im
0.457 * [taylor]: Taking taylor expansion of im in im
0.458 * [taylor]: Taking taylor expansion of 0 in im
0.458 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.458 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.458 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.458 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.458 * [taylor]: Taking taylor expansion of im in im
0.458 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.458 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.458 * [taylor]: Taking taylor expansion of re in im
0.459 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.459 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.459 * [taylor]: Taking taylor expansion of im in re
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.459 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.459 * [taylor]: Taking taylor expansion of re in re
0.459 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.459 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.459 * [taylor]: Taking taylor expansion of im in re
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.459 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.459 * [taylor]: Taking taylor expansion of re in re
0.459 * [taylor]: Taking taylor expansion of 1 in im
0.459 * [taylor]: Taking taylor expansion of 0 in im
0.460 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.460 * [taylor]: Taking taylor expansion of 1/2 in im
0.460 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.460 * [taylor]: Taking taylor expansion of im in im
0.460 * [taylor]: Taking taylor expansion of 0 in im
0.461 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.461 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.461 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.461 * [taylor]: Taking taylor expansion of im in im
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.461 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.461 * [taylor]: Taking taylor expansion of re in im
0.461 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.461 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.461 * [taylor]: Taking taylor expansion of im in re
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.461 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.461 * [taylor]: Taking taylor expansion of re in re
0.461 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.461 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.461 * [taylor]: Taking taylor expansion of im in re
0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.462 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.462 * [taylor]: Taking taylor expansion of re in re
0.462 * [taylor]: Taking taylor expansion of 1 in im
0.462 * [taylor]: Taking taylor expansion of 0 in im
0.462 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.462 * [taylor]: Taking taylor expansion of 1/2 in im
0.462 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.462 * [taylor]: Taking taylor expansion of im in im
0.463 * [taylor]: Taking taylor expansion of 0 in im
0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.463 * [approximate]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in (re im) around 0
0.463 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in im
0.463 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.463 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.463 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.463 * [taylor]: Taking taylor expansion of re in im
0.463 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.463 * [taylor]: Taking taylor expansion of im in im
0.463 * [taylor]: Taking taylor expansion of re in im
0.463 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re
0.463 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.463 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.463 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.464 * [taylor]: Taking taylor expansion of re in re
0.464 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.464 * [taylor]: Taking taylor expansion of im in re
0.464 * [taylor]: Taking taylor expansion of re in re
0.464 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re
0.464 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.464 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.464 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.464 * [taylor]: Taking taylor expansion of re in re
0.464 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.464 * [taylor]: Taking taylor expansion of im in re
0.464 * [taylor]: Taking taylor expansion of re in re
0.464 * [taylor]: Taking taylor expansion of im in im
0.464 * [taylor]: Taking taylor expansion of (neg 1) in im
0.464 * [taylor]: Taking taylor expansion of 1 in im
0.465 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im
0.465 * [taylor]: Taking taylor expansion of 1/2 in im
0.465 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.465 * [taylor]: Taking taylor expansion of im in im
0.465 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in (re im) around 0
0.465 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in im
0.465 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.465 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.465 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.465 * [taylor]: Taking taylor expansion of im in im
0.465 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.465 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.465 * [taylor]: Taking taylor expansion of re in im
0.466 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.466 * [taylor]: Taking taylor expansion of re in im
0.466 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re
0.466 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.466 * [taylor]: Taking taylor expansion of im in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.466 * [taylor]: Taking taylor expansion of re in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.466 * [taylor]: Taking taylor expansion of re in re
0.466 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re
0.466 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.466 * [taylor]: Taking taylor expansion of im in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.466 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.466 * [taylor]: Taking taylor expansion of re in re
0.466 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.466 * [taylor]: Taking taylor expansion of re in re
0.467 * [taylor]: Taking taylor expansion of 0 in im
0.467 * [taylor]: Taking taylor expansion of 0 in im
0.467 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im
0.467 * [taylor]: Taking taylor expansion of 1/2 in im
0.467 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.467 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.467 * [taylor]: Taking taylor expansion of im in im
0.468 * [taylor]: Taking taylor expansion of 0 in im
0.468 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.468 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.468 * [taylor]: Taking taylor expansion of re in im
0.468 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.468 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.468 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.468 * [taylor]: Taking taylor expansion of im in im
0.468 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.468 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.468 * [taylor]: Taking taylor expansion of re in im
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.468 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.468 * [taylor]: Taking taylor expansion of re in re
0.469 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.469 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.469 * [taylor]: Taking taylor expansion of im in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.469 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.469 * [taylor]: Taking taylor expansion of re in re
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.469 * [taylor]: Taking taylor expansion of re in re
0.469 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.469 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.469 * [taylor]: Taking taylor expansion of im in re
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.469 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.469 * [taylor]: Taking taylor expansion of re in re
0.469 * [taylor]: Taking taylor expansion of 2 in im
0.469 * [taylor]: Taking taylor expansion of 0 in im
0.470 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im
0.470 * [taylor]: Taking taylor expansion of 1/2 in im
0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.470 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.470 * [taylor]: Taking taylor expansion of im in im
0.470 * [taylor]: Taking taylor expansion of 0 in im
0.471 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.471 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re))) in (re im) around 0
0.471 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re))) in im
0.471 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.471 * [taylor]: Taking taylor expansion of 2.0 in im
0.471 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re)) in im
0.471 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in im
0.471 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.471 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.471 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.471 * [taylor]: Taking taylor expansion of re in im
0.471 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.471 * [taylor]: Taking taylor expansion of im in im
0.471 * [taylor]: Taking taylor expansion of re in im
0.472 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re))) in re
0.472 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.472 * [taylor]: Taking taylor expansion of 2.0 in re
0.472 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re)) in re
0.472 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re
0.472 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.472 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.472 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.472 * [taylor]: Taking taylor expansion of re in re
0.472 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.472 * [taylor]: Taking taylor expansion of im in re
0.472 * [taylor]: Taking taylor expansion of re in re
0.473 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re))) in re
0.473 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.473 * [taylor]: Taking taylor expansion of 2.0 in re
0.473 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (pow re 2) (pow im 2))) re)) in re
0.473 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow re 2) (pow im 2))) re) in re
0.473 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.473 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.473 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.473 * [taylor]: Taking taylor expansion of re in re
0.473 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.473 * [taylor]: Taking taylor expansion of im in re
0.473 * [taylor]: Taking taylor expansion of re in re
0.473 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt im)) in im
0.473 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.473 * [taylor]: Taking taylor expansion of 2.0 in im
0.473 * [taylor]: Taking taylor expansion of (sqrt im) in im
0.473 * [taylor]: Taking taylor expansion of im in im
0.474 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* (sqrt 2.0) (sqrt (/ 1 im))))) in im
0.474 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt 2.0) (sqrt (/ 1 im)))) in im
0.474 * [taylor]: Taking taylor expansion of 1/2 in im
0.474 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 im))) in im
0.474 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.474 * [taylor]: Taking taylor expansion of 2.0 in im
0.474 * [taylor]: Taking taylor expansion of (sqrt (/ 1 im)) in im
0.474 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.474 * [taylor]: Taking taylor expansion of im in im
0.476 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)))) in (re im) around 0
0.476 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)))) in im
0.476 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.476 * [taylor]: Taking taylor expansion of 2.0 in im
0.476 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re))) in im
0.476 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in im
0.476 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.476 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.476 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.476 * [taylor]: Taking taylor expansion of im in im
0.476 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.476 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.476 * [taylor]: Taking taylor expansion of re in im
0.477 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.477 * [taylor]: Taking taylor expansion of re in im
0.477 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)))) in re
0.477 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.477 * [taylor]: Taking taylor expansion of 2.0 in re
0.477 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re))) in re
0.477 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re
0.477 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.477 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.477 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.477 * [taylor]: Taking taylor expansion of im in re
0.477 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.477 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.477 * [taylor]: Taking taylor expansion of re in re
0.477 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.477 * [taylor]: Taking taylor expansion of re in re
0.478 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)))) in re
0.478 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.478 * [taylor]: Taking taylor expansion of 2.0 in re
0.478 * [taylor]: Taking taylor expansion of (sqrt (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re))) in re
0.478 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (/ 1 re)) in re
0.478 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.478 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.478 * [taylor]: Taking taylor expansion of im in re
0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.478 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.478 * [taylor]: Taking taylor expansion of re in re
0.478 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.478 * [taylor]: Taking taylor expansion of re in re
0.479 * [taylor]: Taking taylor expansion of 0 in im
0.479 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) (pow im 2)) in im
0.479 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in im
0.479 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.479 * [taylor]: Taking taylor expansion of 2.0 in im
0.479 * [taylor]: Taking taylor expansion of NAN in im
0.479 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.479 * [taylor]: Taking taylor expansion of im in im
0.480 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) (pow im 4)) in im
0.480 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in im
0.480 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.480 * [taylor]: Taking taylor expansion of 2.0 in im
0.481 * [taylor]: Taking taylor expansion of (pow NAN 3) in im
0.481 * [taylor]: Taking taylor expansion of NAN in im
0.481 * [taylor]: Taking taylor expansion of (pow im 4) in im
0.481 * [taylor]: Taking taylor expansion of im in im
0.484 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ (* (sqrt 2.0) NAN) (pow im 4))) (* 2 (/ (* (sqrt 2.0) (pow NAN 5)) (pow im 6)))) in im
0.484 * [taylor]: Taking taylor expansion of (* 1/8 (/ (* (sqrt 2.0) NAN) (pow im 4))) in im
0.484 * [taylor]: Taking taylor expansion of 1/8 in im
0.484 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) (pow im 4)) in im
0.484 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in im
0.484 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.484 * [taylor]: Taking taylor expansion of 2.0 in im
0.484 * [taylor]: Taking taylor expansion of NAN in im
0.484 * [taylor]: Taking taylor expansion of (pow im 4) in im
0.484 * [taylor]: Taking taylor expansion of im in im
0.485 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 5)) (pow im 6))) in im
0.485 * [taylor]: Taking taylor expansion of 2 in im
0.485 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 5)) (pow im 6)) in im
0.485 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in im
0.485 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.485 * [taylor]: Taking taylor expansion of 2.0 in im
0.485 * [taylor]: Taking taylor expansion of (pow NAN 5) in im
0.485 * [taylor]: Taking taylor expansion of NAN in im
0.485 * [taylor]: Taking taylor expansion of (pow im 6) in im
0.485 * [taylor]: Taking taylor expansion of im in im
0.493 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))) in (re im) around 0
0.493 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))) in im
0.493 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.493 * [taylor]: Taking taylor expansion of 2.0 in im
0.493 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in im
0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im
0.493 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.493 * [taylor]: Taking taylor expansion of re in im
0.493 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.493 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.493 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.493 * [taylor]: Taking taylor expansion of im in im
0.493 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.493 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.493 * [taylor]: Taking taylor expansion of re in im
0.494 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))) in re
0.494 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.494 * [taylor]: Taking taylor expansion of 2.0 in re
0.494 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.494 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.494 * [taylor]: Taking taylor expansion of re in re
0.494 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.494 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.494 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.494 * [taylor]: Taking taylor expansion of im in re
0.494 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.494 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.494 * [taylor]: Taking taylor expansion of re in re
0.494 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))) in re
0.494 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.494 * [taylor]: Taking taylor expansion of 2.0 in re
0.494 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))))) in re
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re
0.494 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.494 * [taylor]: Taking taylor expansion of re in re
0.494 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.495 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.495 * [taylor]: Taking taylor expansion of im in re
0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.495 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.495 * [taylor]: Taking taylor expansion of re in re
0.495 * [taylor]: Taking taylor expansion of 0 in im
0.495 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in im
0.495 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.495 * [taylor]: Taking taylor expansion of 2.0 in im
0.495 * [taylor]: Taking taylor expansion of NAN in im
0.496 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in im
0.496 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.496 * [taylor]: Taking taylor expansion of 2.0 in im
0.496 * [taylor]: Taking taylor expansion of (pow NAN 3) in im
0.496 * [taylor]: Taking taylor expansion of NAN in im
0.497 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (* (sqrt 2.0) NAN) (pow im 2))) (* 2 (* (sqrt 2.0) (pow NAN 5)))) in im
0.497 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (sqrt 2.0) NAN) (pow im 2))) in im
0.497 * [taylor]: Taking taylor expansion of 1/2 in im
0.497 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) (pow im 2)) in im
0.497 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in im
0.497 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.497 * [taylor]: Taking taylor expansion of 2.0 in im
0.497 * [taylor]: Taking taylor expansion of NAN in im
0.497 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.497 * [taylor]: Taking taylor expansion of im in im
0.497 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in im
0.497 * [taylor]: Taking taylor expansion of 2 in im
0.497 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in im
0.497 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.497 * [taylor]: Taking taylor expansion of 2.0 in im
0.497 * [taylor]: Taking taylor expansion of (pow NAN 5) in im
0.497 * [taylor]: Taking taylor expansion of NAN in im
0.499 * [taylor]: Taking taylor expansion of (- (* 3 (* (sqrt 2.0) (pow NAN 7))) (/ (* (sqrt 2.0) (pow NAN 3)) (pow im 2))) in im
0.499 * [taylor]: Taking taylor expansion of (* 3 (* (sqrt 2.0) (pow NAN 7))) in im
0.499 * [taylor]: Taking taylor expansion of 3 in im
0.499 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 7)) in im
0.499 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.499 * [taylor]: Taking taylor expansion of 2.0 in im
0.500 * [taylor]: Taking taylor expansion of (pow NAN 7) in im
0.500 * [taylor]: Taking taylor expansion of NAN in im
0.500 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) (pow im 2)) in im
0.500 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in im
0.500 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.500 * [taylor]: Taking taylor expansion of 2.0 in im
0.500 * [taylor]: Taking taylor expansion of (pow NAN 3) in im
0.500 * [taylor]: Taking taylor expansion of NAN in im
0.500 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.500 * [taylor]: Taking taylor expansion of im in im
0.501 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
0.502 * [approximate]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in (re im) around 0
0.502 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.502 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.502 * [taylor]: Taking taylor expansion of re in im
0.502 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.502 * [taylor]: Taking taylor expansion of im in im
0.502 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.502 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.502 * [taylor]: Taking taylor expansion of re in re
0.502 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.502 * [taylor]: Taking taylor expansion of im in re
0.502 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.502 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.502 * [taylor]: Taking taylor expansion of re in re
0.502 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.502 * [taylor]: Taking taylor expansion of im in re
0.502 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.502 * [taylor]: Taking taylor expansion of im in im
0.502 * [taylor]: Taking taylor expansion of 0 in im
0.502 * [taylor]: Taking taylor expansion of 1 in im
0.502 * [taylor]: Taking taylor expansion of 0 in im
0.503 * [taylor]: Taking taylor expansion of 0 in im
0.503 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.503 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.503 * [taylor]: Taking taylor expansion of im in im
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.503 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.503 * [taylor]: Taking taylor expansion of re in im
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.503 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.503 * [taylor]: Taking taylor expansion of im in re
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.503 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.503 * [taylor]: Taking taylor expansion of re in re
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.503 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.503 * [taylor]: Taking taylor expansion of im in re
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.504 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.504 * [taylor]: Taking taylor expansion of re in re
0.504 * [taylor]: Taking taylor expansion of 1 in im
0.504 * [taylor]: Taking taylor expansion of 0 in im
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.504 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.504 * [taylor]: Taking taylor expansion of im in im
0.504 * [taylor]: Taking taylor expansion of 0 in im
0.505 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in (re im) around 0
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.505 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.505 * [taylor]: Taking taylor expansion of im in im
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.505 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.505 * [taylor]: Taking taylor expansion of re in im
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.505 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.505 * [taylor]: Taking taylor expansion of im in re
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.505 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.505 * [taylor]: Taking taylor expansion of re in re
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.505 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.505 * [taylor]: Taking taylor expansion of im in re
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.505 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.506 * [taylor]: Taking taylor expansion of re in re
0.506 * [taylor]: Taking taylor expansion of 1 in im
0.506 * [taylor]: Taking taylor expansion of 0 in im
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.506 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.506 * [taylor]: Taking taylor expansion of im in im
0.506 * [taylor]: Taking taylor expansion of 0 in im
0.507 * * * [progress]: simplifying candidates
0.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im))))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (/.f64 (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (exp.f64 re))
  (log.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (exp.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
  (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (-.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (pow.f64 re 3))
  (+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (*.f64 re re) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
  (neg.f64 re)
  (-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 re re))
  (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
  (+.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (+.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
  (log.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (exp.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))
  (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (sqrt.f64 2.0)
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (sqrt.f64 (*.f64 2.0 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (pow.f64 re 3))))
  (sqrt.f64 (+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (*.f64 re re) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 re re))))
  (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
  (*.f64 (exp.f64 (*.f64 re re)) (exp.f64 (*.f64 im im)))
  (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3))
  (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 re re) (*.f64 im im))))
  (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (*.f64 (*.f64 im im) (*.f64 im im)))
  (-.f64 (*.f64 re re) (*.f64 im im))
  im
  re
  (*.f64 -1 re)
  (-.f64 im re)
  0
  (*.f64 -2 re)
  (-.f64 (+.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 im)) (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) (*.f64 im re)))))
  0
  (-.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (pow.f64 NAN.f64 3)) re) (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (pow.f64 NAN.f64 5)) (pow.f64 re 2)))))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
  (+.f64 (pow.f64 re 2) (pow.f64 im 2))
0.564 * * [simplify]: iteration  0 :  4962  enodes  (cost  739 )
0.564 * * [simplify]: iteration  1 :  4962  enodes  (cost  739 )
0.567 * [simplify]: Simplified to:
   (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (exp.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)
  (fabs.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  1
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)))
  (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
  (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)))
  (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
  1/2
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (exp.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (log.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (exp.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
  (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (pow.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 3)
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (-.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (pow.f64 re 3))
  (+.f64 (*.f64 im im) (*.f64 re (+.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) re)))
  (neg.f64 re)
  (*.f64 im im)
  (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (+.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (+.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 re))
  (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
  (log.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)))
  (exp.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0))) (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0))))
  (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)))
  (pow.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)) 3)
  (sqrt.f64 2.0)
  (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))
  (sqrt.f64 (*.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (pow.f64 re 3)) 2.0))
  (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) re))))
  (sqrt.f64 (*.f64 (*.f64 im im) 2.0))
  (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
  1/2
  1/2
  (sqrt.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)))
  (sqrt.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) 2.0)))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (exp.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
  (cbrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
  (+.f64 (pow.f64 re 6) (pow.f64 im 6))
  (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im))))
  (-.f64 (pow.f64 re 4) (pow.f64 im 4))
  (-.f64 (*.f64 re re) (*.f64 im im))
  im
  re
  (neg.f64 re)
  (-.f64 im re)
  0
  (*.f64 re -2)
  (*.f64 (sqrt.f64 2.0) (+.f64 (*.f64 im (+.f64 NAN.f64 (*.f64 im (pow.f64 NAN.f64 3)))) (*.f64 (*.f64 (pow.f64 NAN.f64 3) (*.f64 re im)) -1/2)))
  0
  (-.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (pow.f64 NAN.f64 3)) re) (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (pow.f64 NAN.f64 5)) (*.f64 re re)))))
  (+.f64 (*.f64 re re) (*.f64 im im))
  (+.f64 (*.f64 re re) (*.f64 im im))
  (+.f64 (*.f64 re re) (*.f64 im im))
0.568 * * * [progress]: adding candidates to table
0.648 * * [progress]: iteration 2 / 4
0.648 * * * [progress]: picking best candidate
0.666 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))>
0.666 * * * [progress]: localizing error
0.672 * * * [progress]: generating rewritten candidates
0.672 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.677 * * * [progress]: generating series expansions
0.677 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.677 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in (im re) around 0
0.677 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in re
0.677 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.677 * [taylor]: Taking taylor expansion of 2.0 in re
0.678 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
0.678 * [taylor]: Taking taylor expansion of (- im re) in re
0.678 * [taylor]: Taking taylor expansion of im in re
0.678 * [taylor]: Taking taylor expansion of re in re
0.678 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
0.678 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.678 * [taylor]: Taking taylor expansion of 2.0 in im
0.678 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.678 * [taylor]: Taking taylor expansion of (- im re) in im
0.678 * [taylor]: Taking taylor expansion of im in im
0.678 * [taylor]: Taking taylor expansion of re in im
0.678 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
0.678 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.678 * [taylor]: Taking taylor expansion of 2.0 in im
0.678 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.678 * [taylor]: Taking taylor expansion of (- im re) in im
0.678 * [taylor]: Taking taylor expansion of im in im
0.678 * [taylor]: Taking taylor expansion of re in im
0.678 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (neg re))) in re
0.678 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.678 * [taylor]: Taking taylor expansion of 2.0 in re
0.678 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.678 * [taylor]: Taking taylor expansion of (neg re) in re
0.678 * [taylor]: Taking taylor expansion of re in re
0.679 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sqrt 2.0) (sqrt (neg re)))) in re
0.679 * [taylor]: Taking taylor expansion of 1/2 in re
0.679 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (sqrt (neg re))) in re
0.679 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.679 * [taylor]: Taking taylor expansion of 2.0 in re
0.679 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.679 * [taylor]: Taking taylor expansion of (neg re) in re
0.679 * [taylor]: Taking taylor expansion of re in re
0.680 * [taylor]: Taking taylor expansion of (neg (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)))) in re
0.680 * [taylor]: Taking taylor expansion of (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3))) in re
0.680 * [taylor]: Taking taylor expansion of 1/8 in re
0.680 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)) in re
0.680 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.680 * [taylor]: Taking taylor expansion of 2.0 in re
0.680 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
0.680 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.680 * [taylor]: Taking taylor expansion of (neg re) in re
0.680 * [taylor]: Taking taylor expansion of re in re
0.685 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in (im re) around 0
0.685 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in re
0.685 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
0.685 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
0.685 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.685 * [taylor]: Taking taylor expansion of im in re
0.685 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.685 * [taylor]: Taking taylor expansion of re in re
0.685 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.685 * [taylor]: Taking taylor expansion of 2.0 in re
0.685 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
0.685 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.685 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.685 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.685 * [taylor]: Taking taylor expansion of im in im
0.685 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.685 * [taylor]: Taking taylor expansion of re in im
0.686 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.686 * [taylor]: Taking taylor expansion of 2.0 in im
0.686 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
0.686 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.686 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.686 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.686 * [taylor]: Taking taylor expansion of im in im
0.686 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.686 * [taylor]: Taking taylor expansion of re in im
0.686 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.686 * [taylor]: Taking taylor expansion of 2.0 in im
0.686 * [taylor]: Taking taylor expansion of 0 in re
0.686 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.686 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.686 * [taylor]: Taking taylor expansion of 2.0 in re
0.686 * [taylor]: Taking taylor expansion of NAN in re
0.687 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
0.687 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
0.687 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.687 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.687 * [taylor]: Taking taylor expansion of 2.0 in re
0.687 * [taylor]: Taking taylor expansion of NAN in re
0.687 * [taylor]: Taking taylor expansion of re in re
0.687 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.687 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.687 * [taylor]: Taking taylor expansion of 2.0 in re
0.687 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.687 * [taylor]: Taking taylor expansion of NAN in re
0.688 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) (* 2 (* (sqrt 2.0) (pow NAN 5)))) in re
0.688 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
0.688 * [taylor]: Taking taylor expansion of 2 in re
0.688 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
0.688 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.688 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.688 * [taylor]: Taking taylor expansion of 2.0 in re
0.689 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.689 * [taylor]: Taking taylor expansion of NAN in re
0.689 * [taylor]: Taking taylor expansion of re in re
0.689 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
0.689 * [taylor]: Taking taylor expansion of 2 in re
0.689 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
0.689 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.689 * [taylor]: Taking taylor expansion of 2.0 in re
0.689 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
0.689 * [taylor]: Taking taylor expansion of NAN in re
0.690 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in (im re) around 0
0.690 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in re
0.690 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.690 * [taylor]: Taking taylor expansion of 2.0 in re
0.690 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
0.690 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
0.690 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.690 * [taylor]: Taking taylor expansion of re in re
0.690 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.690 * [taylor]: Taking taylor expansion of im in re
0.691 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
0.691 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.691 * [taylor]: Taking taylor expansion of 2.0 in im
0.691 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.691 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.691 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.691 * [taylor]: Taking taylor expansion of re in im
0.691 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.691 * [taylor]: Taking taylor expansion of im in im
0.691 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
0.691 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.691 * [taylor]: Taking taylor expansion of 2.0 in im
0.691 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.691 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.691 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.691 * [taylor]: Taking taylor expansion of re in im
0.691 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.691 * [taylor]: Taking taylor expansion of im in im
0.691 * [taylor]: Taking taylor expansion of 0 in re
0.691 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.691 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.691 * [taylor]: Taking taylor expansion of 2.0 in re
0.691 * [taylor]: Taking taylor expansion of NAN in re
0.692 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
0.692 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
0.692 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.692 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.692 * [taylor]: Taking taylor expansion of 2.0 in re
0.692 * [taylor]: Taking taylor expansion of NAN in re
0.692 * [taylor]: Taking taylor expansion of re in re
0.692 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.692 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.692 * [taylor]: Taking taylor expansion of 2.0 in re
0.692 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.692 * [taylor]: Taking taylor expansion of NAN in re
0.693 * [taylor]: Taking taylor expansion of (- (* 2 (* (sqrt 2.0) (pow NAN 5))) (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re))) in re
0.693 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
0.693 * [taylor]: Taking taylor expansion of 2 in re
0.693 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
0.693 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.693 * [taylor]: Taking taylor expansion of 2.0 in re
0.693 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
0.693 * [taylor]: Taking taylor expansion of NAN in re
0.693 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
0.693 * [taylor]: Taking taylor expansion of 2 in re
0.693 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
0.694 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.694 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.694 * [taylor]: Taking taylor expansion of 2.0 in re
0.694 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.694 * [taylor]: Taking taylor expansion of NAN in re
0.694 * [taylor]: Taking taylor expansion of re in re
0.694 * * * [progress]: simplifying candidates
0.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (exp.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))) (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))
  (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))) (sqrt.f64 (*.f64 2.0 (-.f64 im re)))) (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (sqrt.f64 2.0)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (*.f64 2.0 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (sqrt.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im re))))
  (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 im im) (*.f64 re re))))
  (sqrt.f64 (+.f64 im re))
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (-.f64 (+.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) (*.f64 1/8 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2))))) (*.f64 1/2 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 im))))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
0.740 * * [simplify]: iteration  0 :  5758  enodes  (cost  162 )
0.742 * [simplify]: Simplified to:
   (log.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (exp.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))) (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))
  (cbrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (pow.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))) 3)
  (sqrt.f64 2.0)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (*.f64 2.0 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 im re))))
  (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 im im) (*.f64 re re))))
  (sqrt.f64 (+.f64 im re))
  1/2
  1/2
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (sqrt.f64 (sqrt.f64 (*.f64 2.0 (-.f64 im re))))
  (*.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2))))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (*.f64 re (/.f64 (sqrt.f64 2.0) im)) (+.f64 (*.f64 (/.f64 2 im) (pow.f64 NAN.f64 3)) NAN.f64)))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (*.f64 re (/.f64 (sqrt.f64 2.0) im)) (+.f64 (*.f64 (/.f64 2 im) (pow.f64 NAN.f64 3)) NAN.f64)))
0.742 * * * [progress]: adding candidates to table
0.759 * * [progress]: iteration 3 / 4
0.759 * * * [progress]: picking best candidate
0.782 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))))>
0.782 * * * [progress]: localizing error
0.789 * * * [progress]: generating rewritten candidates
0.789 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.798 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.803 * * * [progress]: generating series expansions
0.803 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.803 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in (im re) around 0
0.803 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in re
0.803 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.803 * [taylor]: Taking taylor expansion of 2.0 in re
0.803 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
0.803 * [taylor]: Taking taylor expansion of (- im re) in re
0.803 * [taylor]: Taking taylor expansion of im in re
0.803 * [taylor]: Taking taylor expansion of re in re
0.803 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
0.803 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.803 * [taylor]: Taking taylor expansion of 2.0 in im
0.803 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.803 * [taylor]: Taking taylor expansion of (- im re) in im
0.803 * [taylor]: Taking taylor expansion of im in im
0.803 * [taylor]: Taking taylor expansion of re in im
0.804 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
0.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.804 * [taylor]: Taking taylor expansion of 2.0 in im
0.804 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.804 * [taylor]: Taking taylor expansion of (- im re) in im
0.804 * [taylor]: Taking taylor expansion of im in im
0.804 * [taylor]: Taking taylor expansion of re in im
0.804 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (neg re))) in re
0.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.804 * [taylor]: Taking taylor expansion of 2.0 in re
0.804 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.804 * [taylor]: Taking taylor expansion of (neg re) in re
0.804 * [taylor]: Taking taylor expansion of re in re
0.804 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sqrt 2.0) (sqrt (neg re)))) in re
0.804 * [taylor]: Taking taylor expansion of 1/2 in re
0.804 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (sqrt (neg re))) in re
0.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.804 * [taylor]: Taking taylor expansion of 2.0 in re
0.804 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.804 * [taylor]: Taking taylor expansion of (neg re) in re
0.804 * [taylor]: Taking taylor expansion of re in re
0.805 * [taylor]: Taking taylor expansion of (neg (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)))) in re
0.805 * [taylor]: Taking taylor expansion of (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3))) in re
0.806 * [taylor]: Taking taylor expansion of 1/8 in re
0.806 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)) in re
0.806 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.806 * [taylor]: Taking taylor expansion of 2.0 in re
0.806 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
0.806 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.806 * [taylor]: Taking taylor expansion of (neg re) in re
0.806 * [taylor]: Taking taylor expansion of re in re
0.810 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in (im re) around 0
0.811 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in re
0.811 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
0.811 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
0.811 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.811 * [taylor]: Taking taylor expansion of im in re
0.811 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.811 * [taylor]: Taking taylor expansion of re in re
0.811 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.811 * [taylor]: Taking taylor expansion of 2.0 in re
0.811 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
0.811 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.811 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.811 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.811 * [taylor]: Taking taylor expansion of im in im
0.811 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.811 * [taylor]: Taking taylor expansion of re in im
0.811 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.811 * [taylor]: Taking taylor expansion of 2.0 in im
0.811 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
0.811 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.811 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.811 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.811 * [taylor]: Taking taylor expansion of im in im
0.811 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.811 * [taylor]: Taking taylor expansion of re in im
0.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.812 * [taylor]: Taking taylor expansion of 2.0 in im
0.812 * [taylor]: Taking taylor expansion of 0 in re
0.812 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.812 * [taylor]: Taking taylor expansion of 2.0 in re
0.812 * [taylor]: Taking taylor expansion of NAN in re
0.812 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
0.812 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
0.812 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.812 * [taylor]: Taking taylor expansion of 2.0 in re
0.813 * [taylor]: Taking taylor expansion of NAN in re
0.813 * [taylor]: Taking taylor expansion of re in re
0.813 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.813 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.813 * [taylor]: Taking taylor expansion of 2.0 in re
0.813 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.813 * [taylor]: Taking taylor expansion of NAN in re
0.814 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) (* 2 (* (sqrt 2.0) (pow NAN 5)))) in re
0.814 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
0.814 * [taylor]: Taking taylor expansion of 2 in re
0.814 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
0.814 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.814 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.814 * [taylor]: Taking taylor expansion of 2.0 in re
0.814 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.814 * [taylor]: Taking taylor expansion of NAN in re
0.814 * [taylor]: Taking taylor expansion of re in re
0.814 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
0.814 * [taylor]: Taking taylor expansion of 2 in re
0.814 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
0.814 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.814 * [taylor]: Taking taylor expansion of 2.0 in re
0.815 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
0.815 * [taylor]: Taking taylor expansion of NAN in re
0.815 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in (im re) around 0
0.816 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in re
0.816 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.816 * [taylor]: Taking taylor expansion of 2.0 in re
0.816 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
0.816 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
0.816 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.816 * [taylor]: Taking taylor expansion of re in re
0.816 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.816 * [taylor]: Taking taylor expansion of im in re
0.816 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
0.816 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.816 * [taylor]: Taking taylor expansion of 2.0 in im
0.816 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.816 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.816 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.816 * [taylor]: Taking taylor expansion of re in im
0.816 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.816 * [taylor]: Taking taylor expansion of im in im
0.816 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
0.816 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
0.816 * [taylor]: Taking taylor expansion of 2.0 in im
0.816 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.816 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.816 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.816 * [taylor]: Taking taylor expansion of re in im
0.816 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.816 * [taylor]: Taking taylor expansion of im in im
0.817 * [taylor]: Taking taylor expansion of 0 in re
0.817 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.817 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.817 * [taylor]: Taking taylor expansion of 2.0 in re
0.817 * [taylor]: Taking taylor expansion of NAN in re
0.817 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
0.817 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
0.817 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
0.817 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.817 * [taylor]: Taking taylor expansion of 2.0 in re
0.817 * [taylor]: Taking taylor expansion of NAN in re
0.817 * [taylor]: Taking taylor expansion of re in re
0.817 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.817 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.817 * [taylor]: Taking taylor expansion of 2.0 in re
0.818 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.818 * [taylor]: Taking taylor expansion of NAN in re
0.819 * [taylor]: Taking taylor expansion of (- (* 2 (* (sqrt 2.0) (pow NAN 5))) (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re))) in re
0.819 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
0.819 * [taylor]: Taking taylor expansion of 2 in re
0.819 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
0.819 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.819 * [taylor]: Taking taylor expansion of 2.0 in re
0.819 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
0.819 * [taylor]: Taking taylor expansion of NAN in re
0.819 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
0.819 * [taylor]: Taking taylor expansion of 2 in re
0.819 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
0.819 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
0.819 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
0.819 * [taylor]: Taking taylor expansion of 2.0 in re
0.819 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
0.819 * [taylor]: Taking taylor expansion of NAN in re
0.819 * [taylor]: Taking taylor expansion of re in re
0.820 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.820 * [approximate]: Taking taylor expansion of (sqrt (- im re)) in (im re) around 0
0.820 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
0.820 * [taylor]: Taking taylor expansion of (- im re) in re
0.820 * [taylor]: Taking taylor expansion of im in re
0.820 * [taylor]: Taking taylor expansion of re in re
0.820 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.820 * [taylor]: Taking taylor expansion of (- im re) in im
0.820 * [taylor]: Taking taylor expansion of im in im
0.820 * [taylor]: Taking taylor expansion of re in im
0.820 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.820 * [taylor]: Taking taylor expansion of (- im re) in im
0.820 * [taylor]: Taking taylor expansion of im in im
0.820 * [taylor]: Taking taylor expansion of re in im
0.821 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.821 * [taylor]: Taking taylor expansion of (neg re) in re
0.821 * [taylor]: Taking taylor expansion of re in re
0.821 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg re))) in re
0.821 * [taylor]: Taking taylor expansion of 1/2 in re
0.821 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.821 * [taylor]: Taking taylor expansion of (neg re) in re
0.821 * [taylor]: Taking taylor expansion of re in re
0.821 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (neg re)) 3)) in re
0.821 * [taylor]: Taking taylor expansion of -1/8 in re
0.821 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
0.821 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.821 * [taylor]: Taking taylor expansion of (neg re) in re
0.821 * [taylor]: Taking taylor expansion of re in re
0.826 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in (im re) around 0
0.826 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
0.826 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.826 * [taylor]: Taking taylor expansion of im in re
0.826 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.826 * [taylor]: Taking taylor expansion of re in re
0.826 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.826 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.826 * [taylor]: Taking taylor expansion of im in im
0.826 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.826 * [taylor]: Taking taylor expansion of re in im
0.826 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
0.826 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.826 * [taylor]: Taking taylor expansion of im in im
0.826 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.826 * [taylor]: Taking taylor expansion of re in im
0.826 * [taylor]: Taking taylor expansion of 0 in re
0.826 * [taylor]: Taking taylor expansion of NAN in re
0.827 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 re) (pow NAN 2))) in re
0.827 * [taylor]: Taking taylor expansion of NAN in re
0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (pow NAN 2)) in re
0.827 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.827 * [taylor]: Taking taylor expansion of re in re
0.827 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
0.827 * [taylor]: Taking taylor expansion of NAN in re
0.827 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4)))) in re
0.827 * [taylor]: Taking taylor expansion of NAN in re
0.827 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4))) in re
0.827 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
0.827 * [taylor]: Taking taylor expansion of 2 in re
0.827 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
0.827 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
0.827 * [taylor]: Taking taylor expansion of NAN in re
0.827 * [taylor]: Taking taylor expansion of re in re
0.827 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
0.827 * [taylor]: Taking taylor expansion of 2 in re
0.827 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
0.827 * [taylor]: Taking taylor expansion of NAN in re
0.828 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in (im re) around 0
0.828 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
0.828 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
0.828 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.828 * [taylor]: Taking taylor expansion of re in re
0.828 * [taylor]: Taking taylor expansion of (/ 1 im) in re
0.828 * [taylor]: Taking taylor expansion of im in re
0.828 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.828 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.828 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.828 * [taylor]: Taking taylor expansion of re in im
0.829 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.829 * [taylor]: Taking taylor expansion of im in im
0.829 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
0.829 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
0.829 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.829 * [taylor]: Taking taylor expansion of re in im
0.829 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.829 * [taylor]: Taking taylor expansion of im in im
0.829 * [taylor]: Taking taylor expansion of 0 in re
0.829 * [taylor]: Taking taylor expansion of NAN in re
0.829 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 re) (pow NAN 2))) in re
0.829 * [taylor]: Taking taylor expansion of NAN in re
0.829 * [taylor]: Taking taylor expansion of (- (/ 1 re) (pow NAN 2)) in re
0.829 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.829 * [taylor]: Taking taylor expansion of re in re
0.829 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
0.829 * [taylor]: Taking taylor expansion of NAN in re
0.830 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re)))) in re
0.830 * [taylor]: Taking taylor expansion of NAN in re
0.830 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re))) in re
0.830 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
0.830 * [taylor]: Taking taylor expansion of 2 in re
0.830 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
0.830 * [taylor]: Taking taylor expansion of NAN in re
0.830 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
0.830 * [taylor]: Taking taylor expansion of 2 in re
0.830 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
0.830 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
0.830 * [taylor]: Taking taylor expansion of NAN in re
0.830 * [taylor]: Taking taylor expansion of re in re
0.831 * * * [progress]: simplifying candidates
0.831 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 2.0 (-.f64 im re))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 2.0 (-.f64 im re))
  (+.f64 (log.f64 (sqrt.f64 2.0)) (log.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (exp.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 2.0)) (sqrt.f64 2.0)) (*.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (-.f64 im re))) (sqrt.f64 (-.f64 im re))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))))
  (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))) (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))) (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (*.f64 2.0 (-.f64 im re))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 1))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 1))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 2.0) 1)
  (*.f64 (cbrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 (cbrt.f64 2.0)) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (exp.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re))))
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (-.f64 im re))) (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re))))
  (sqrt.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))
  (sqrt.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im re))))
  (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))
  (sqrt.f64 (+.f64 im re))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (-.f64 (+.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) (*.f64 1/8 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2))))) (*.f64 1/2 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 im))))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
  (-.f64 (+.f64 (*.f64 re NAN.f64) (*.f64 1/8 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2)))) (*.f64 1/2 (*.f64 NAN.f64 im)))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
0.883 * * [simplify]: iteration  0 :  4936  enodes  (cost  522 )
0.883 * * [simplify]: iteration  1 :  4936  enodes  (cost  522 )
0.886 * [simplify]: Simplified to:
   (*.f64 2.0 (-.f64 im re))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 2.0 (-.f64 im re))
  (log.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (log.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (exp.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (pow.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))))
  (cbrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (pow.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))) 3)
  (*.f64 2.0 (-.f64 im re))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (fabs.f64 (cbrt.f64 (-.f64 im re))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 (-.f64 im re)) (cbrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (cbrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (exp.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re))))
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (pow.f64 (sqrt.f64 (-.f64 im re)) 3)
  (fabs.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))
  (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 im re))))
  (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))
  (sqrt.f64 (+.f64 im re))
  1/2
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2))))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (/.f64 (sqrt.f64 2.0) (/.f64 im re)) (+.f64 (/.f64 2 (/.f64 im (pow.f64 NAN.f64 3))) NAN.f64)))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (/.f64 (sqrt.f64 2.0) (/.f64 im re)) (+.f64 (/.f64 2 (/.f64 im (pow.f64 NAN.f64 3))) NAN.f64)))
  (*.f64 NAN.f64 (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
0.887 * * * [progress]: adding candidates to table
0.932 * * [progress]: iteration 4 / 4
0.932 * * * [progress]: picking best candidate
0.954 * * * * [pick]: Picked  #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))>
0.954 * * * [progress]: localizing error
0.964 * * * [progress]: generating rewritten candidates
0.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.973 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.985 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
0.989 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.997 * * * [progress]: generating series expansions
0.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.997 * [approximate]: Taking taylor expansion of (sqrt (- im re)) in (im re) around 0
0.997 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
0.997 * [taylor]: Taking taylor expansion of (- im re) in re
0.997 * [taylor]: Taking taylor expansion of im in re
0.997 * [taylor]: Taking taylor expansion of re in re
0.997 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.997 * [taylor]: Taking taylor expansion of (- im re) in im
0.997 * [taylor]: Taking taylor expansion of im in im
0.997 * [taylor]: Taking taylor expansion of re in im
0.998 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
0.998 * [taylor]: Taking taylor expansion of (- im re) in im
0.998 * [taylor]: Taking taylor expansion of im in im
0.998 * [taylor]: Taking taylor expansion of re in im
0.998 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.998 * [taylor]: Taking taylor expansion of (neg re) in re
0.998 * [taylor]: Taking taylor expansion of re in re
0.998 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg re))) in re
0.998 * [taylor]: Taking taylor expansion of 1/2 in re
0.998 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.998 * [taylor]: Taking taylor expansion of (neg re) in re
0.998 * [taylor]: Taking taylor expansion of re in re
0.999 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (neg re)) 3)) in re
0.999 * [taylor]: Taking taylor expansion of -1/8 in re
0.999 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
0.999 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
0.999 * [taylor]: Taking taylor expansion of (neg re) in re
0.999 * [taylor]: Taking taylor expansion of re in re
1.003 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in (im re) around 0
1.003 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
1.003 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
1.003 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.003 * [taylor]: Taking taylor expansion of im in re
1.003 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.003 * [taylor]: Taking taylor expansion of re in re
1.003 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.003 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.003 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.003 * [taylor]: Taking taylor expansion of im in im
1.003 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.003 * [taylor]: Taking taylor expansion of re in im
1.004 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.004 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.004 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.004 * [taylor]: Taking taylor expansion of im in im
1.004 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.004 * [taylor]: Taking taylor expansion of re in im
1.004 * [taylor]: Taking taylor expansion of 0 in re
1.004 * [taylor]: Taking taylor expansion of NAN in re
1.004 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 re) (pow NAN 2))) in re
1.004 * [taylor]: Taking taylor expansion of NAN in re
1.004 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (pow NAN 2)) in re
1.004 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.004 * [taylor]: Taking taylor expansion of re in re
1.004 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.004 * [taylor]: Taking taylor expansion of NAN in re
1.005 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4)))) in re
1.005 * [taylor]: Taking taylor expansion of NAN in re
1.005 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4))) in re
1.005 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.005 * [taylor]: Taking taylor expansion of 2 in re
1.005 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.005 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.005 * [taylor]: Taking taylor expansion of NAN in re
1.005 * [taylor]: Taking taylor expansion of re in re
1.005 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
1.005 * [taylor]: Taking taylor expansion of 2 in re
1.005 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.005 * [taylor]: Taking taylor expansion of NAN in re
1.006 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in (im re) around 0
1.006 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
1.006 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.006 * [taylor]: Taking taylor expansion of re in re
1.006 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.006 * [taylor]: Taking taylor expansion of im in re
1.006 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.006 * [taylor]: Taking taylor expansion of re in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.006 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.006 * [taylor]: Taking taylor expansion of re in im
1.006 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.006 * [taylor]: Taking taylor expansion of im in im
1.006 * [taylor]: Taking taylor expansion of 0 in re
1.006 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 re) (pow NAN 2))) in re
1.007 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of (- (/ 1 re) (pow NAN 2)) in re
1.007 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.007 * [taylor]: Taking taylor expansion of re in re
1.007 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.007 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re)))) in re
1.007 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re))) in re
1.007 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
1.007 * [taylor]: Taking taylor expansion of 2 in re
1.007 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.007 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.007 * [taylor]: Taking taylor expansion of 2 in re
1.007 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.007 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.007 * [taylor]: Taking taylor expansion of NAN in re
1.007 * [taylor]: Taking taylor expansion of re in re
1.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.008 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in (im re) around 0
1.008 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in re
1.008 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.008 * [taylor]: Taking taylor expansion of 2.0 in re
1.008 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
1.008 * [taylor]: Taking taylor expansion of (- im re) in re
1.008 * [taylor]: Taking taylor expansion of im in re
1.008 * [taylor]: Taking taylor expansion of re in re
1.008 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
1.009 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.009 * [taylor]: Taking taylor expansion of 2.0 in im
1.009 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.009 * [taylor]: Taking taylor expansion of (- im re) in im
1.009 * [taylor]: Taking taylor expansion of im in im
1.009 * [taylor]: Taking taylor expansion of re in im
1.009 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- im re))) in im
1.009 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.009 * [taylor]: Taking taylor expansion of 2.0 in im
1.009 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.009 * [taylor]: Taking taylor expansion of (- im re) in im
1.009 * [taylor]: Taking taylor expansion of im in im
1.009 * [taylor]: Taking taylor expansion of re in im
1.009 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (neg re))) in re
1.009 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.009 * [taylor]: Taking taylor expansion of 2.0 in re
1.009 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.009 * [taylor]: Taking taylor expansion of (neg re) in re
1.009 * [taylor]: Taking taylor expansion of re in re
1.009 * [taylor]: Taking taylor expansion of (* 1/2 (/ (sqrt 2.0) (sqrt (neg re)))) in re
1.009 * [taylor]: Taking taylor expansion of 1/2 in re
1.009 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (sqrt (neg re))) in re
1.009 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.009 * [taylor]: Taking taylor expansion of 2.0 in re
1.010 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.010 * [taylor]: Taking taylor expansion of (neg re) in re
1.010 * [taylor]: Taking taylor expansion of re in re
1.011 * [taylor]: Taking taylor expansion of (neg (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)))) in re
1.011 * [taylor]: Taking taylor expansion of (* 1/8 (/ (sqrt 2.0) (pow (sqrt (neg re)) 3))) in re
1.011 * [taylor]: Taking taylor expansion of 1/8 in re
1.011 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (pow (sqrt (neg re)) 3)) in re
1.011 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.011 * [taylor]: Taking taylor expansion of 2.0 in re
1.011 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
1.011 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.011 * [taylor]: Taking taylor expansion of (neg re) in re
1.011 * [taylor]: Taking taylor expansion of re in re
1.016 * [approximate]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in (im re) around 0
1.016 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in re
1.016 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
1.016 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.016 * [taylor]: Taking taylor expansion of im in re
1.016 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.016 * [taylor]: Taking taylor expansion of re in re
1.016 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.016 * [taylor]: Taking taylor expansion of 2.0 in re
1.016 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
1.016 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.016 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.016 * [taylor]: Taking taylor expansion of im in im
1.016 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.016 * [taylor]: Taking taylor expansion of re in im
1.016 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.016 * [taylor]: Taking taylor expansion of 2.0 in im
1.016 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 im) (/ 1 re))) (sqrt 2.0)) in im
1.016 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.016 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.016 * [taylor]: Taking taylor expansion of im in im
1.016 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.017 * [taylor]: Taking taylor expansion of re in im
1.017 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.017 * [taylor]: Taking taylor expansion of 2.0 in im
1.017 * [taylor]: Taking taylor expansion of 0 in re
1.017 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
1.017 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.017 * [taylor]: Taking taylor expansion of 2.0 in re
1.017 * [taylor]: Taking taylor expansion of NAN in re
1.017 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
1.017 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
1.018 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
1.018 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.018 * [taylor]: Taking taylor expansion of 2.0 in re
1.018 * [taylor]: Taking taylor expansion of NAN in re
1.018 * [taylor]: Taking taylor expansion of re in re
1.018 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
1.018 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.018 * [taylor]: Taking taylor expansion of 2.0 in re
1.018 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
1.018 * [taylor]: Taking taylor expansion of NAN in re
1.019 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) (* 2 (* (sqrt 2.0) (pow NAN 5)))) in re
1.019 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
1.019 * [taylor]: Taking taylor expansion of 2 in re
1.019 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
1.019 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
1.019 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.019 * [taylor]: Taking taylor expansion of 2.0 in re
1.019 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
1.019 * [taylor]: Taking taylor expansion of NAN in re
1.019 * [taylor]: Taking taylor expansion of re in re
1.019 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
1.020 * [taylor]: Taking taylor expansion of 2 in re
1.020 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
1.020 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.020 * [taylor]: Taking taylor expansion of 2.0 in re
1.020 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
1.020 * [taylor]: Taking taylor expansion of NAN in re
1.021 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in (im re) around 0
1.021 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in re
1.021 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.021 * [taylor]: Taking taylor expansion of 2.0 in re
1.021 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
1.021 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.021 * [taylor]: Taking taylor expansion of re in re
1.021 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.021 * [taylor]: Taking taylor expansion of im in re
1.021 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
1.021 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.021 * [taylor]: Taking taylor expansion of 2.0 in im
1.021 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.021 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.021 * [taylor]: Taking taylor expansion of re in im
1.021 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.021 * [taylor]: Taking taylor expansion of im in im
1.021 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (- (/ 1 re) (/ 1 im)))) in im
1.021 * [taylor]: Taking taylor expansion of (sqrt 2.0) in im
1.021 * [taylor]: Taking taylor expansion of 2.0 in im
1.021 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.021 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.021 * [taylor]: Taking taylor expansion of re in im
1.022 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.022 * [taylor]: Taking taylor expansion of im in im
1.022 * [taylor]: Taking taylor expansion of 0 in re
1.022 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
1.022 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.022 * [taylor]: Taking taylor expansion of 2.0 in re
1.022 * [taylor]: Taking taylor expansion of NAN in re
1.022 * [taylor]: Taking taylor expansion of (- (/ (* (sqrt 2.0) NAN) re) (* (sqrt 2.0) (pow NAN 3))) in re
1.022 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) NAN) re) in re
1.022 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) NAN) in re
1.022 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.022 * [taylor]: Taking taylor expansion of 2.0 in re
1.022 * [taylor]: Taking taylor expansion of NAN in re
1.023 * [taylor]: Taking taylor expansion of re in re
1.023 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
1.023 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.023 * [taylor]: Taking taylor expansion of 2.0 in re
1.023 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
1.023 * [taylor]: Taking taylor expansion of NAN in re
1.024 * [taylor]: Taking taylor expansion of (- (* 2 (* (sqrt 2.0) (pow NAN 5))) (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re))) in re
1.024 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt 2.0) (pow NAN 5))) in re
1.024 * [taylor]: Taking taylor expansion of 2 in re
1.024 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 5)) in re
1.024 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.024 * [taylor]: Taking taylor expansion of 2.0 in re
1.024 * [taylor]: Taking taylor expansion of (pow NAN 5) in re
1.024 * [taylor]: Taking taylor expansion of NAN in re
1.024 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt 2.0) (pow NAN 3)) re)) in re
1.024 * [taylor]: Taking taylor expansion of 2 in re
1.024 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (pow NAN 3)) re) in re
1.024 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow NAN 3)) in re
1.024 * [taylor]: Taking taylor expansion of (sqrt 2.0) in re
1.024 * [taylor]: Taking taylor expansion of 2.0 in re
1.024 * [taylor]: Taking taylor expansion of (pow NAN 3) in re
1.024 * [taylor]: Taking taylor expansion of NAN in re
1.024 * [taylor]: Taking taylor expansion of re in re
1.025 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
1.025 * [approximate]: Taking taylor expansion of (sqrt (- im re)) in (im re) around 0
1.025 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
1.025 * [taylor]: Taking taylor expansion of (- im re) in re
1.025 * [taylor]: Taking taylor expansion of im in re
1.025 * [taylor]: Taking taylor expansion of re in re
1.025 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.025 * [taylor]: Taking taylor expansion of (- im re) in im
1.025 * [taylor]: Taking taylor expansion of im in im
1.025 * [taylor]: Taking taylor expansion of re in im
1.025 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.025 * [taylor]: Taking taylor expansion of (- im re) in im
1.025 * [taylor]: Taking taylor expansion of im in im
1.025 * [taylor]: Taking taylor expansion of re in im
1.026 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.026 * [taylor]: Taking taylor expansion of (neg re) in re
1.026 * [taylor]: Taking taylor expansion of re in re
1.026 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (neg re))) in re
1.026 * [taylor]: Taking taylor expansion of 1/2 in re
1.026 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.026 * [taylor]: Taking taylor expansion of (neg re) in re
1.026 * [taylor]: Taking taylor expansion of re in re
1.026 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (neg re)) 3)) in re
1.026 * [taylor]: Taking taylor expansion of -1/8 in re
1.026 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 3) in re
1.026 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.026 * [taylor]: Taking taylor expansion of (neg re) in re
1.026 * [taylor]: Taking taylor expansion of re in re
1.031 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in (im re) around 0
1.031 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
1.031 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.031 * [taylor]: Taking taylor expansion of im in re
1.031 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.031 * [taylor]: Taking taylor expansion of re in re
1.031 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.031 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.031 * [taylor]: Taking taylor expansion of im in im
1.031 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.031 * [taylor]: Taking taylor expansion of re in im
1.031 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.031 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.031 * [taylor]: Taking taylor expansion of im in im
1.031 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.031 * [taylor]: Taking taylor expansion of re in im
1.031 * [taylor]: Taking taylor expansion of 0 in re
1.031 * [taylor]: Taking taylor expansion of NAN in re
1.032 * [taylor]: Taking taylor expansion of (* NAN (+ (/ 1 re) (pow NAN 2))) in re
1.032 * [taylor]: Taking taylor expansion of NAN in re
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (pow NAN 2)) in re
1.032 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.032 * [taylor]: Taking taylor expansion of re in re
1.032 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.032 * [taylor]: Taking taylor expansion of NAN in re
1.032 * [taylor]: Taking taylor expansion of (* NAN (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4)))) in re
1.032 * [taylor]: Taking taylor expansion of NAN in re
1.032 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) re)) (* 2 (pow NAN 4))) in re
1.032 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.032 * [taylor]: Taking taylor expansion of 2 in re
1.032 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.032 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.032 * [taylor]: Taking taylor expansion of NAN in re
1.032 * [taylor]: Taking taylor expansion of re in re
1.032 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
1.032 * [taylor]: Taking taylor expansion of 2 in re
1.033 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.033 * [taylor]: Taking taylor expansion of NAN in re
1.033 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in (im re) around 0
1.033 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
1.033 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.033 * [taylor]: Taking taylor expansion of re in re
1.033 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.033 * [taylor]: Taking taylor expansion of im in re
1.034 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.034 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.034 * [taylor]: Taking taylor expansion of re in im
1.034 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.034 * [taylor]: Taking taylor expansion of im in im
1.034 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.034 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.034 * [taylor]: Taking taylor expansion of re in im
1.034 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.034 * [taylor]: Taking taylor expansion of im in im
1.034 * [taylor]: Taking taylor expansion of 0 in re
1.034 * [taylor]: Taking taylor expansion of NAN in re
1.034 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 re) (pow NAN 2))) in re
1.034 * [taylor]: Taking taylor expansion of NAN in re
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 re) (pow NAN 2)) in re
1.034 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.034 * [taylor]: Taking taylor expansion of re in re
1.034 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.034 * [taylor]: Taking taylor expansion of NAN in re
1.035 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re)))) in re
1.035 * [taylor]: Taking taylor expansion of NAN in re
1.035 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) re))) in re
1.035 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in re
1.035 * [taylor]: Taking taylor expansion of 2 in re
1.035 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.035 * [taylor]: Taking taylor expansion of NAN in re
1.035 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.035 * [taylor]: Taking taylor expansion of 2 in re
1.035 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.035 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.035 * [taylor]: Taking taylor expansion of NAN in re
1.035 * [taylor]: Taking taylor expansion of re in re
1.036 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1.036 * [approximate]: Taking taylor expansion of (log (sqrt (- im re))) in (im re) around 0
1.036 * [taylor]: Taking taylor expansion of (log (sqrt (- im re))) in re
1.036 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in re
1.036 * [taylor]: Taking taylor expansion of (- im re) in re
1.036 * [taylor]: Taking taylor expansion of im in re
1.036 * [taylor]: Taking taylor expansion of re in re
1.036 * [taylor]: Taking taylor expansion of (log (sqrt (- im re))) in im
1.036 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.036 * [taylor]: Taking taylor expansion of (- im re) in im
1.036 * [taylor]: Taking taylor expansion of im in im
1.036 * [taylor]: Taking taylor expansion of re in im
1.036 * [taylor]: Taking taylor expansion of (log (sqrt (- im re))) in im
1.037 * [taylor]: Taking taylor expansion of (sqrt (- im re)) in im
1.037 * [taylor]: Taking taylor expansion of (- im re) in im
1.037 * [taylor]: Taking taylor expansion of im in im
1.037 * [taylor]: Taking taylor expansion of re in im
1.037 * [taylor]: Taking taylor expansion of (log (sqrt (neg re))) in re
1.037 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.037 * [taylor]: Taking taylor expansion of (neg re) in re
1.037 * [taylor]: Taking taylor expansion of re in re
1.038 * [taylor]: Taking taylor expansion of (/ 1/2 (pow (sqrt (neg re)) 2)) in re
1.038 * [taylor]: Taking taylor expansion of 1/2 in re
1.038 * [taylor]: Taking taylor expansion of (pow (sqrt (neg re)) 2) in re
1.038 * [taylor]: Taking taylor expansion of (sqrt (neg re)) in re
1.038 * [taylor]: Taking taylor expansion of (neg re) in re
1.038 * [taylor]: Taking taylor expansion of re in re
1.041 * [approximate]: Taking taylor expansion of (log (sqrt (- (/ 1 im) (/ 1 re)))) in (im re) around 0
1.041 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 im) (/ 1 re)))) in re
1.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in re
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
1.041 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.041 * [taylor]: Taking taylor expansion of im in re
1.041 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.041 * [taylor]: Taking taylor expansion of re in re
1.041 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 im) (/ 1 re)))) in im
1.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.041 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.041 * [taylor]: Taking taylor expansion of im in im
1.041 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.041 * [taylor]: Taking taylor expansion of re in im
1.042 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 im) (/ 1 re)))) in im
1.042 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 im) (/ 1 re))) in im
1.042 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
1.042 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.042 * [taylor]: Taking taylor expansion of im in im
1.042 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.042 * [taylor]: Taking taylor expansion of re in im
1.042 * [taylor]: Taking taylor expansion of (log NAN) in re
1.042 * [taylor]: Taking taylor expansion of NAN in re
1.042 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (pow NAN 2)) in re
1.042 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.042 * [taylor]: Taking taylor expansion of re in re
1.042 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.042 * [taylor]: Taking taylor expansion of NAN in re
1.044 * [taylor]: Taking taylor expansion of (* 1/2 (- (+ (* 2 (/ (pow NAN 2) re)) (* 3 (pow NAN 4))) (/ 1 (pow re 2)))) in re
1.044 * [taylor]: Taking taylor expansion of 1/2 in re
1.044 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow NAN 2) re)) (* 3 (pow NAN 4))) (/ 1 (pow re 2))) in re
1.044 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) re)) (* 3 (pow NAN 4))) in re
1.045 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.045 * [taylor]: Taking taylor expansion of 2 in re
1.045 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.045 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.045 * [taylor]: Taking taylor expansion of NAN in re
1.045 * [taylor]: Taking taylor expansion of re in re
1.045 * [taylor]: Taking taylor expansion of (* 3 (pow NAN 4)) in re
1.045 * [taylor]: Taking taylor expansion of 3 in re
1.045 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.045 * [taylor]: Taking taylor expansion of NAN in re
1.045 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.045 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.045 * [taylor]: Taking taylor expansion of re in re
1.046 * [approximate]: Taking taylor expansion of (log (sqrt (- (/ 1 re) (/ 1 im)))) in (im re) around 0
1.046 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 re) (/ 1 im)))) in re
1.046 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in re
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
1.046 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.046 * [taylor]: Taking taylor expansion of re in re
1.046 * [taylor]: Taking taylor expansion of (/ 1 im) in re
1.047 * [taylor]: Taking taylor expansion of im in re
1.047 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 re) (/ 1 im)))) in im
1.047 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.047 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.047 * [taylor]: Taking taylor expansion of re in im
1.047 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.047 * [taylor]: Taking taylor expansion of im in im
1.047 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 re) (/ 1 im)))) in im
1.047 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 re) (/ 1 im))) in im
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
1.047 * [taylor]: Taking taylor expansion of (/ 1 re) in im
1.047 * [taylor]: Taking taylor expansion of re in im
1.047 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.047 * [taylor]: Taking taylor expansion of im in im
1.047 * [taylor]: Taking taylor expansion of (log NAN) in re
1.047 * [taylor]: Taking taylor expansion of NAN in re
1.048 * [taylor]: Taking taylor expansion of (- (/ 1 re) (pow NAN 2)) in re
1.048 * [taylor]: Taking taylor expansion of (/ 1 re) in re
1.048 * [taylor]: Taking taylor expansion of re in re
1.048 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.048 * [taylor]: Taking taylor expansion of NAN in re
1.049 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 3 (pow NAN 4)) (+ (/ 1 (pow re 2)) (* 2 (/ (pow NAN 2) re))))) in re
1.049 * [taylor]: Taking taylor expansion of 1/2 in re
1.049 * [taylor]: Taking taylor expansion of (- (* 3 (pow NAN 4)) (+ (/ 1 (pow re 2)) (* 2 (/ (pow NAN 2) re)))) in re
1.049 * [taylor]: Taking taylor expansion of (* 3 (pow NAN 4)) in re
1.049 * [taylor]: Taking taylor expansion of 3 in re
1.049 * [taylor]: Taking taylor expansion of (pow NAN 4) in re
1.049 * [taylor]: Taking taylor expansion of NAN in re
1.049 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (* 2 (/ (pow NAN 2) re))) in re
1.049 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
1.049 * [taylor]: Taking taylor expansion of (pow re 2) in re
1.049 * [taylor]: Taking taylor expansion of re in re
1.049 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) re)) in re
1.049 * [taylor]: Taking taylor expansion of 2 in re
1.049 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) re) in re
1.049 * [taylor]: Taking taylor expansion of (pow NAN 2) in re
1.049 * [taylor]: Taking taylor expansion of NAN in re
1.049 * [taylor]: Taking taylor expansion of re in re
1.051 * * * [progress]: simplifying candidates
1.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 1/2)
  (exp.f64 1)
  (exp.f64 (/.f64 1 2))
  (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 1)
  (exp.f64 (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re))))))
  (exp.f64 (log.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re))))))
  (exp.f64 (log.f64 (sqrt.f64 (cbrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 (sqrt.f64 1)))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (exp.f64 (log.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))))
  (exp.f64 (log.f64 (sqrt.f64 1)))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (log.f64 1))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))))
  (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im re))))))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))))
  (exp.f64 (log.f64 (sqrt.f64 (+.f64 im re))))
  (log.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (exp.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))) (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (*.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (+.f64 (log.f64 (sqrt.f64 2.0)) (log.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (exp.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 2.0) (sqrt.f64 2.0)) (sqrt.f64 2.0)) (*.f64 (*.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))
  (cbrt.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))) (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (sqrt.f64 (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re)))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re)))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 1))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 1))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 1)))
  (*.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))) (cbrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))
  (*.f64 (sqrt.f64 2.0) (sqrt.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (*.f64 (sqrt.f64 2.0) 1)
  (*.f64 (cbrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 (cbrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 (sqrt.f64 2.0)) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))))
  (*.f64 (sqrt.f64 2.0) (exp.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))))))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (exp.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re))))
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (-.f64 im re))) (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re))))
  (sqrt.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 1)
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))
  (sqrt.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im re))))
  (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))
  (sqrt.f64 (+.f64 im re))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) (cbrt.f64 (sqrt.f64 (-.f64 im re)))))
  (log.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 im re)) (cbrt.f64 (-.f64 im re)))))
  (log.f64 (sqrt.f64 (cbrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 1))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (log.f64 (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (log.f64 (sqrt.f64 1))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 1)
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im re)))))
  (log.f64 (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))))
  (log.f64 (sqrt.f64 (+.f64 im re)))
  (log.f64 (-.f64 im re))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (-.f64 im re))
  (log.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (exp.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 im re))) (log.f64 (sqrt.f64 (-.f64 im re)))) (log.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (-.f64 (+.f64 (*.f64 re NAN.f64) (*.f64 1/8 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2)))) (*.f64 1/2 (*.f64 NAN.f64 im)))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
  (-.f64 (+.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) (*.f64 1/8 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2))))) (*.f64 1/2 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 im))))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
  (+.f64 (*.f64 2 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 (pow.f64 NAN.f64 3) re)) (pow.f64 im 2))) (+.f64 (/.f64 (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 re)) im) (*.f64 (sqrt.f64 2.0) NAN.f64)))
  (-.f64 (+.f64 (*.f64 re NAN.f64) (*.f64 1/8 (*.f64 (pow.f64 NAN.f64 3) (pow.f64 im 2)))) (*.f64 1/2 (*.f64 NAN.f64 im)))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
  (+.f64 NAN.f64 (+.f64 (/.f64 (*.f64 re NAN.f64) im) (*.f64 2 (/.f64 (*.f64 re (pow.f64 NAN.f64 3)) (pow.f64 im 2)))))
  (+.f64 (*.f64 re (pow.f64 NAN.f64 2)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 NAN.f64 2) im)) (+.f64 (log.f64 NAN.f64) (log.f64 re))))
  (+.f64 (*.f64 3/2 (/.f64 (pow.f64 NAN.f64 4) (pow.f64 im 2))) (+.f64 (log.f64 NAN.f64) (/.f64 (pow.f64 NAN.f64 2) im)))
  (+.f64 (*.f64 3/2 (/.f64 (pow.f64 NAN.f64 4) (pow.f64 im 2))) (+.f64 (log.f64 NAN.f64) (/.f64 (pow.f64 NAN.f64 2) im)))
1.120 * * [simplify]: iteration  0 :  4955  enodes  (cost  997 )
1.120 * * [simplify]: iteration  1 :  4955  enodes  (cost  997 )
1.128 * [simplify]: Simplified to:
   (exp.f64 1/2)
  E.f64
  (exp.f64 1/2)
  (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))
  (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  E.f64
  (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2)
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (fabs.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))
  (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 im re))))
  (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))
  (sqrt.f64 (+.f64 im re))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (exp.f64 (sqrt.f64 (-.f64 im re)))
  (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2)
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (pow.f64 (sqrt.f64 (-.f64 im re)) 3)
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)))
  (log.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)))
  (pow.f64 (exp.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 2.0))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0))) (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0))))
  (cbrt.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)))
  (pow.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)))
  (sqrt.f64 (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2) (sqrt.f64 2.0))
  (*.f64 (fabs.f64 (cbrt.f64 (-.f64 im re))) (sqrt.f64 2.0))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 2.0))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))) (sqrt.f64 2.0))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 2.0))
  (sqrt.f64 2.0)
  (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2) (sqrt.f64 2.0))
  (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))) (sqrt.f64 2.0))
  (sqrt.f64 2.0)
  (*.f64 (sqrt.f64 (-.f64 im re)) (cbrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (cbrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 (sqrt.f64 2.0)))
  (*.f64 (sqrt.f64 (-.f64 im re)) (sqrt.f64 2.0))
  (*.f64 (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))) (sqrt.f64 2.0))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))) (sqrt.f64 2.0))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (exp.f64 (sqrt.f64 (-.f64 im re)))
  (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2)
  (cbrt.f64 (sqrt.f64 (-.f64 im re)))
  (pow.f64 (sqrt.f64 (-.f64 im re)) 3)
  (fabs.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (cbrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re)))
  (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re)))
  1
  (sqrt.f64 (-.f64 im re))
  (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3)))
  (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 im re))))
  (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re)))
  (sqrt.f64 (+.f64 im re))
  1/2
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (sqrt.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))) 2))
  (log.f64 (cbrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (fabs.f64 (cbrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (cbrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 1)
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (+.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (log.f64 (sqrt.f64 (-.f64 (sqrt.f64 im) (sqrt.f64 re))))
  (log.f64 1)
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 (sqrt.f64 (sqrt.f64 (-.f64 im re))))
  (log.f64 1)
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (sqrt.f64 (-.f64 (pow.f64 im 3) (pow.f64 re 3))))
  (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 im re)))))
  (log.f64 (sqrt.f64 (-.f64 (*.f64 im im) (*.f64 re re))))
  (log.f64 (sqrt.f64 (+.f64 im re)))
  (log.f64 (-.f64 im re))
  (log.f64 (sqrt.f64 (-.f64 im re)))
  (log.f64 (-.f64 im re))
  (log.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (-.f64 im re))
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))
  (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3)
  (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (sqrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))
  (*.f64 NAN.f64 (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
  (*.f64 (sqrt.f64 2.0) (*.f64 NAN.f64 (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2)))))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (/.f64 (sqrt.f64 2.0) (/.f64 im re)) (+.f64 (/.f64 2 (/.f64 im (pow.f64 NAN.f64 3))) NAN.f64)))
  (+.f64 (*.f64 (sqrt.f64 2.0) NAN.f64) (*.f64 (/.f64 (sqrt.f64 2.0) (/.f64 im re)) (+.f64 (/.f64 2 (/.f64 im (pow.f64 NAN.f64 3))) NAN.f64)))
  (*.f64 NAN.f64 (+.f64 (*.f64 (*.f64 NAN.f64 NAN.f64) (*.f64 (*.f64 im im) 1/8)) (+.f64 re (*.f64 im -1/2))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
  (+.f64 NAN.f64 (*.f64 (/.f64 re im) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 3) im)))))
  (+.f64 (log.f64 NAN.f64) (+.f64 (log.f64 re) (*.f64 (*.f64 NAN.f64 NAN.f64) (+.f64 re (*.f64 1/2 im)))))
  (+.f64 (*.f64 3/2 (/.f64 (pow.f64 NAN.f64 4) (*.f64 im im))) (+.f64 (log.f64 NAN.f64) (/.f64 (*.f64 NAN.f64 NAN.f64) im)))
  (+.f64 (*.f64 3/2 (/.f64 (pow.f64 NAN.f64 4) (*.f64 im im))) (+.f64 (log.f64 NAN.f64) (/.f64 (*.f64 NAN.f64 NAN.f64) im)))
1.129 * * * [progress]: adding candidates to table
1.212 * [progress]: [Phase 3 of 3] Extracting.
1.212 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.214 * * * [regime-changes]: Trying 7 branch expressions: ((*.f64 im im) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) im re)
1.214 * * * * [regimes]: Trying to branch on (*.f64 im im) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.290 * * * * [regimes]: Trying to branch on (*.f64 im im) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))>)
1.358 * * * * [regimes]: Trying to branch on (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.422 * * * * [regimes]: Trying to branch on (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re) from (#<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))>)
1.454 * * * * [regimes]: Trying to branch on (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.518 * * * * [regimes]: Trying to branch on (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)) from (#<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))>)
1.551 * * * * [regimes]: Trying to branch on (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.618 * * * * [regimes]: Trying to branch on (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))) from (#<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))>)
1.652 * * * * [regimes]: Trying to branch on (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.719 * * * * [regimes]: Trying to branch on (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) from (#<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))>)
1.756 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.839 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.917 * * * [regime]: Found split indices: #<option (#s(si 0 40) #s(si 6 75) #s(si 5 165) #s(si 8 255))>
1.918 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.964 * [regimes]: Found splitpoints: (#s(sp 0 re -3.0912337318531483e+123) #s(sp 6 re -2.8053796276591436e-68) #s(sp 5 re 1.040253303888319e-98) #s(sp 8 re +nan.0)) , with alts (#<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 0))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 E.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))))> #<alt (λ (re im) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (/.f64 (*.f64 im im) (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))> #<alt (λ (re im) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re)))))) (cbrt.f64 (log.f64 (sqrt.f64 (-.f64 im re))))))))> #<alt (λ (re im) (*.f64 0.5 (*.f64 (sqrt.f64 2.0) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 (-.f64 im re))) 3))))))>)
1.965 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 re -3.0912337318531483e+123) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))) (if (<=.f64 re -2.8053796276591436e-68) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (if (<=.f64 re 1.040253303888319e-98) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 (*.f64 im im) 2.0)) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))))
1.966 * * [simplify]: iteration  0 :  59  enodes  (cost  63 )
1.966 * * [simplify]: iteration  1 :  59  enodes  (cost  63 )
1.966 * [simplify]: Simplified to:
   (if (<=.f64 re -3.0912337318531483e+123) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (*.f64 re -2)))) (if (<=.f64 re -2.8053796276591436e-68) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (if (<=.f64 re 1.040253303888319e-98) (*.f64 0.5 (sqrt.f64 (*.f64 2.0 (-.f64 im re)))) (*.f64 0.5 (/.f64 (sqrt.f64 (*.f64 2.0 (*.f64 im im))) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))))
3.887 * [regime-testing]: End program error score: 19.95451244896833