0.690 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.309 * * * [progress]: [2/2] Setting up program. 0.312 * [progress]: [Phase 2 of 3] Improving. 0.314 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.315 * [simplify]: Sending expressions to egg_math: (- (* h1 h1) (* h0 h0)) 0.317 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.319 * * [simplify]: iteration 1 : 18 enodes (cost 3 ) 0.320 * * [simplify]: iteration 2 : 35 enodes (cost 3 ) 0.323 * * [simplify]: iteration 3 : 67 enodes (cost 3 ) 0.325 * * [simplify]: iteration 4 : 163 enodes (cost 3 ) 0.327 * * [simplify]: iteration 5 : 294 enodes (cost 3 ) 0.331 * * [simplify]: iteration 6 : 541 enodes (cost 3 ) 0.341 * * [simplify]: iteration 7 : 2138 enodes (cost 3 ) 0.403 * * [simplify]: iteration 8 : 5001 enodes (cost 3 ) 0.405 * * [progress]: iteration 1 / 4 0.405 * * * [progress]: picking best candidate 0.406 * * * * [pick]: Picked # 0.406 * * * [progress]: localizing error 0.413 * * * [progress]: generating rewritten candidates 0.413 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.448 * * * [progress]: generating series expansions 0.449 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.454 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 0.454 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 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.455 * [backup-simplify]: Simplify re into re 0.455 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.455 * [taylor]: Taking taylor expansion of im in im 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 0.455 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.455 * [taylor]: Taking taylor expansion of re in re 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.455 * [taylor]: Taking taylor expansion of im in re 0.455 * [backup-simplify]: Simplify im into im 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 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify 1 into 1 0.456 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.456 * [taylor]: Taking taylor expansion of im in re 0.456 * [backup-simplify]: Simplify im into im 0.456 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.456 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 0.457 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 0.457 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 0.457 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.457 * [taylor]: Taking taylor expansion of im in im 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify 1 into 1 0.457 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.458 * [backup-simplify]: Simplify (- 0) into 0 0.458 * [backup-simplify]: Simplify (+ 0 0) into 0 0.458 * [taylor]: Taking taylor expansion of 0 in im 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify (* 1 1) into 1 0.459 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.459 * [backup-simplify]: Simplify (- 0) into 0 0.459 * [backup-simplify]: Simplify (+ 1 0) into 1 0.459 * [taylor]: Taking taylor expansion of 1 in im 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify 1 into 1 0.459 * [backup-simplify]: Simplify 0 into 0 0.460 * [backup-simplify]: Simplify (* 1 1) into 1 0.460 * [backup-simplify]: Simplify (- 1) into -1 0.460 * [backup-simplify]: Simplify -1 into -1 0.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.461 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 0.461 * [backup-simplify]: Simplify (- 0) into 0 0.461 * [backup-simplify]: Simplify (+ 0 0) into 0 0.461 * [taylor]: Taking taylor expansion of 0 in im 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.462 * [backup-simplify]: Simplify (- 0) into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.463 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 0.463 * [backup-simplify]: Simplify (- 0) into 0 0.464 * [backup-simplify]: Simplify (+ 0 0) into 0 0.464 * [taylor]: Taking taylor expansion of 0 in im 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 0.465 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 0.465 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 0.465 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 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.465 * [backup-simplify]: Simplify re into re 0.465 * [backup-simplify]: Simplify (* re re) into (pow re 2) 0.465 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 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 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify 1 into 1 0.465 * [backup-simplify]: Simplify (* 1 1) into 1 0.466 * [backup-simplify]: Simplify (/ 1 1) into 1 0.466 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 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 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify 1 into 1 0.466 * [backup-simplify]: Simplify (* 1 1) into 1 0.466 * [backup-simplify]: Simplify (/ 1 1) into 1 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 * [backup-simplify]: Simplify im into im 0.466 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.466 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.466 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 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.467 * [backup-simplify]: Simplify 0 into 0 0.467 * [backup-simplify]: Simplify 1 into 1 0.467 * [backup-simplify]: Simplify (* 1 1) into 1 0.467 * [backup-simplify]: Simplify (/ 1 1) into 1 0.467 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.467 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.467 * [taylor]: Taking taylor expansion of im in re 0.467 * [backup-simplify]: Simplify im into im 0.467 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.467 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.467 * [backup-simplify]: Simplify (+ 1 0) into 1 0.468 * [taylor]: Taking taylor expansion of 1 in im 0.468 * [backup-simplify]: Simplify 1 into 1 0.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.469 * [backup-simplify]: Simplify (+ 0 0) into 0 0.469 * [taylor]: Taking taylor expansion of 0 in im 0.469 * [backup-simplify]: Simplify 0 into 0 0.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.470 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 0.470 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 0.470 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 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 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify 1 into 1 0.470 * [backup-simplify]: Simplify (* 1 1) into 1 0.470 * [backup-simplify]: Simplify (/ 1 1) into 1 0.471 * [backup-simplify]: Simplify (- 1) into -1 0.471 * [backup-simplify]: Simplify -1 into -1 0.471 * [backup-simplify]: Simplify 1 into 1 0.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.472 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 0.472 * [backup-simplify]: Simplify (- 0) into 0 0.472 * [backup-simplify]: Simplify (+ 0 0) into 0 0.473 * [taylor]: Taking taylor expansion of 0 in im 0.473 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.473 * [backup-simplify]: Simplify (- 0) into 0 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.475 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 0.476 * [backup-simplify]: Simplify (- 0) into 0 0.476 * [backup-simplify]: Simplify (+ 0 0) into 0 0.476 * [taylor]: Taking taylor expansion of 0 in im 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.477 * [backup-simplify]: Simplify (- 0) into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 0.477 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 0.478 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 0.478 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.478 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.478 * [taylor]: Taking taylor expansion of re in im 0.478 * [backup-simplify]: Simplify re into re 0.478 * [backup-simplify]: Simplify (* re re) into (pow re 2) 0.478 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.478 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.478 * [taylor]: Taking taylor expansion of im in im 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [backup-simplify]: Simplify (* 1 1) into 1 0.478 * [backup-simplify]: Simplify (/ 1 1) into 1 0.478 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 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 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (* 1 1) into 1 0.479 * [backup-simplify]: Simplify (/ 1 1) into 1 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.479 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.479 * [taylor]: Taking taylor expansion of im in re 0.479 * [backup-simplify]: Simplify im into im 0.479 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.479 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.479 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.479 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.479 * [taylor]: Taking taylor expansion of re in re 0.479 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify 1 into 1 0.479 * [backup-simplify]: Simplify (* 1 1) into 1 0.480 * [backup-simplify]: Simplify (/ 1 1) into 1 0.480 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.480 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.480 * [taylor]: Taking taylor expansion of im in re 0.480 * [backup-simplify]: Simplify im into im 0.480 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.480 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.480 * [backup-simplify]: Simplify (+ 1 0) into 1 0.480 * [taylor]: Taking taylor expansion of 1 in im 0.480 * [backup-simplify]: Simplify 1 into 1 0.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.481 * [backup-simplify]: Simplify (+ 0 0) into 0 0.481 * [taylor]: Taking taylor expansion of 0 in im 0.481 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.482 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 0.482 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 0.482 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.482 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.482 * [taylor]: Taking taylor expansion of im in im 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 1 into 1 0.483 * [backup-simplify]: Simplify (* 1 1) into 1 0.483 * [backup-simplify]: Simplify (/ 1 1) into 1 0.483 * [backup-simplify]: Simplify (- 1) into -1 0.483 * [backup-simplify]: Simplify -1 into -1 0.483 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.484 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 0.485 * [backup-simplify]: Simplify (- 0) into 0 0.485 * [backup-simplify]: Simplify (+ 0 0) into 0 0.485 * [taylor]: Taking taylor expansion of 0 in im 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.486 * [backup-simplify]: Simplify (- 0) into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.487 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 0.488 * [backup-simplify]: Simplify (- 0) into 0 0.488 * [backup-simplify]: Simplify (+ 0 0) into 0 0.488 * [taylor]: Taking taylor expansion of 0 in im 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.489 * [backup-simplify]: Simplify (- 0) into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 0.490 * * * [progress]: simplifying candidates 0.490 * [simplify]: Simplifying: (fma re re (- (* im im))) (fma (- im) im (* im im)) (expm1 (- (* re re) (* im im))) (log1p (- (* re re) (* im im))) (- (* im im)) (/ (exp (* re re)) (exp (* im im))) (log (- (* re re) (* im im))) (exp (- (* re re) (* im im))) (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im))) (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (- (pow (* re re) 3) (pow (* im im) 3)) (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))) (- (* im im)) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im)) (+ re im) (- re im) (- (* im im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 0.490 * [simplify]: Sending expressions to egg_math: (fma h1 h1 (- (* h0 h0))) (fma (- h0) h0 (* h0 h0)) (expm1 (- (* h1 h1) (* h0 h0))) (log1p (- (* h1 h1) (* h0 h0))) (- (* h0 h0)) (/ (exp (* h1 h1)) (exp (* h0 h0))) (log (- (* h1 h1) (* h0 h0))) (exp (- (* h1 h1) (* h0 h0))) (* (cbrt (- (* h1 h1) (* h0 h0))) (cbrt (- (* h1 h1) (* h0 h0)))) (cbrt (- (* h1 h1) (* h0 h0))) (* (* (- (* h1 h1) (* h0 h0)) (- (* h1 h1) (* h0 h0))) (- (* h1 h1) (* h0 h0))) (sqrt (- (* h1 h1) (* h0 h0))) (sqrt (- (* h1 h1) (* h0 h0))) (- (pow (* h1 h1) 3) (pow (* h0 h0) 3)) (+ (* (* h1 h1) (* h1 h1)) (+ (* (* h0 h0) (* h0 h0)) (* (* h1 h1) (* h0 h0)))) (- (* h0 h0)) (- (* (* h1 h1) (* h1 h1)) (* (* h0 h0) (* h0 h0))) (+ (* h1 h1) (* h0 h0)) (+ h1 h0) (- h1 h0) (- (* h0 h0)) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) 0.493 * * [simplify]: iteration 0 : 102 enodes (cost 97 ) 0.496 * * [simplify]: iteration 1 : 416 enodes (cost 87 ) 0.502 * * [simplify]: iteration 2 : 1403 enodes (cost 84 ) 0.530 * * [simplify]: iteration 3 : 5002 enodes (cost 80 ) 0.531 * * * [progress]: adding candidates to table 0.570 * * [progress]: iteration 2 / 4 0.570 * * * [progress]: picking best candidate 0.573 * * * * [pick]: Picked # 0.573 * * * [progress]: localizing error 0.578 * * * [progress]: generating rewritten candidates 0.578 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.578 * * * [progress]: generating series expansions 0.578 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.579 * [backup-simplify]: Simplify (fma re re (- (* im im))) into (fma re re (- (pow im 2))) 0.579 * [approximate]: Taking taylor expansion of (fma re re (- (pow im 2))) in (re im) around 0 0.579 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in im 0.580 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 0.580 * [taylor]: Taking taylor expansion of (* re re) in im 0.580 * [taylor]: Taking taylor expansion of re in im 0.580 * [backup-simplify]: Simplify re into re 0.580 * [taylor]: Taking taylor expansion of re in im 0.580 * [backup-simplify]: Simplify re into re 0.580 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 0.580 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.580 * [taylor]: Taking taylor expansion of im in im 0.580 * [backup-simplify]: Simplify 0 into 0 0.580 * [backup-simplify]: Simplify 1 into 1 0.580 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re 0.581 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 0.581 * [taylor]: Taking taylor expansion of (* re re) in re 0.581 * [taylor]: Taking taylor expansion of re in re 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of re in re 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re 0.581 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.581 * [taylor]: Taking taylor expansion of im in re 0.581 * [backup-simplify]: Simplify im into im 0.581 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re 0.581 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 0.581 * [taylor]: Taking taylor expansion of (* re re) in re 0.581 * [taylor]: Taking taylor expansion of re in re 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of re in re 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re 0.581 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.581 * [taylor]: Taking taylor expansion of im in re 0.581 * [backup-simplify]: Simplify im into im 0.582 * [backup-simplify]: Simplify (* 0 0) into 0 0.582 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.582 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 0.582 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 0.582 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 0.582 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.582 * [taylor]: Taking taylor expansion of im in im 0.582 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify 1 into 1 0.582 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 0.582 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.583 * [backup-simplify]: Simplify (- 0) into 0 0.583 * [backup-simplify]: Simplify (+ 0 0) into 0 0.583 * [taylor]: Taking taylor expansion of 0 in im 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 0.584 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.584 * [backup-simplify]: Simplify (- 0) into 0 0.584 * [backup-simplify]: Simplify (+ 1 0) into 1 0.584 * [taylor]: Taking taylor expansion of 1 in im 0.584 * [backup-simplify]: Simplify 1 into 1 0.584 * [backup-simplify]: Simplify 1 into 1 0.584 * [backup-simplify]: Simplify 0 into 0 0.584 * [backup-simplify]: Simplify (* 1 1) into 1 0.585 * [backup-simplify]: Simplify (- 1) into -1 0.585 * [backup-simplify]: Simplify -1 into -1 0.585 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 0.586 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 0.586 * [backup-simplify]: Simplify (- 0) into 0 0.586 * [backup-simplify]: Simplify (+ 0 0) into 0 0.586 * [taylor]: Taking taylor expansion of 0 in im 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.587 * [backup-simplify]: Simplify (- 0) into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.588 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 0.588 * [backup-simplify]: Simplify (- 0) into 0 0.589 * [backup-simplify]: Simplify (+ 0 0) into 0 0.589 * [taylor]: Taking taylor expansion of 0 in im 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 0.589 * [backup-simplify]: Simplify (fma (/ 1 re) (/ 1 re) (- (* (/ 1 im) (/ 1 im)))) into (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) 0.589 * [approximate]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in (re im) around 0 0.589 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in im 0.589 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 0.589 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 0.589 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.589 * [taylor]: Taking taylor expansion of re in im 0.589 * [backup-simplify]: Simplify re into re 0.589 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.589 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.589 * [taylor]: Taking taylor expansion of re in im 0.589 * [backup-simplify]: Simplify re into re 0.589 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.589 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.589 * [taylor]: Taking taylor expansion of im in im 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 1 into 1 0.590 * [backup-simplify]: Simplify (* 1 1) into 1 0.590 * [backup-simplify]: Simplify (/ 1 1) into 1 0.590 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re 0.590 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 0.590 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.590 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.590 * [taylor]: Taking taylor expansion of re in re 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.590 * [backup-simplify]: Simplify (/ 1 1) into 1 0.590 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.590 * [taylor]: Taking taylor expansion of re in re 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 1 into 1 0.591 * [backup-simplify]: Simplify (/ 1 1) into 1 0.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 0.591 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.591 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.591 * [taylor]: Taking taylor expansion of im in re 0.591 * [backup-simplify]: Simplify im into im 0.591 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.591 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.591 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re 0.591 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 0.591 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 0.591 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.591 * [taylor]: Taking taylor expansion of re in re 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [backup-simplify]: Simplify (/ 1 1) into 1 0.591 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.591 * [taylor]: Taking taylor expansion of re in re 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.592 * [backup-simplify]: Simplify (/ 1 1) into 1 0.592 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 0.592 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.592 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.592 * [taylor]: Taking taylor expansion of im in re 0.592 * [backup-simplify]: Simplify im into im 0.592 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.592 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.592 * [backup-simplify]: Simplify (* 1 1) into 1 0.592 * [backup-simplify]: Simplify (+ 1 0) into 1 0.592 * [taylor]: Taking taylor expansion of 1 in im 0.592 * [backup-simplify]: Simplify 1 into 1 0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.594 * [backup-simplify]: Simplify (+ 0 0) into 0 0.594 * [taylor]: Taking taylor expansion of 0 in im 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.595 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 0.596 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 0.596 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.596 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.596 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.596 * [taylor]: Taking taylor expansion of im in im 0.596 * [backup-simplify]: Simplify 0 into 0 0.596 * [backup-simplify]: Simplify 1 into 1 0.596 * [backup-simplify]: Simplify (* 1 1) into 1 0.596 * [backup-simplify]: Simplify (/ 1 1) into 1 0.596 * [backup-simplify]: Simplify (- 1) into -1 0.596 * [backup-simplify]: Simplify -1 into -1 0.596 * [backup-simplify]: Simplify 1 into 1 0.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.598 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 0.598 * [backup-simplify]: Simplify (- 0) into 0 0.599 * [backup-simplify]: Simplify (+ 0 0) into 0 0.599 * [taylor]: Taking taylor expansion of 0 in im 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.600 * [backup-simplify]: Simplify (- 0) into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.602 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 0.602 * [backup-simplify]: Simplify (- 0) into 0 0.602 * [backup-simplify]: Simplify (+ 0 0) into 0 0.602 * [taylor]: Taking taylor expansion of 0 in im 0.602 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.603 * [backup-simplify]: Simplify (- 0) into 0 0.603 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 0.604 * [backup-simplify]: Simplify (fma (/ 1 (- re)) (/ 1 (- re)) (- (* (/ 1 (- im)) (/ 1 (- im))))) into (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) 0.604 * [approximate]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in (re im) around 0 0.604 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in im 0.604 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 0.604 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 0.604 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.604 * [taylor]: Taking taylor expansion of -1 in im 0.604 * [backup-simplify]: Simplify -1 into -1 0.604 * [taylor]: Taking taylor expansion of re in im 0.604 * [backup-simplify]: Simplify re into re 0.604 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.604 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.604 * [taylor]: Taking taylor expansion of -1 in im 0.604 * [backup-simplify]: Simplify -1 into -1 0.604 * [taylor]: Taking taylor expansion of re in im 0.605 * [backup-simplify]: Simplify re into re 0.605 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.605 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.605 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.605 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.605 * [taylor]: Taking taylor expansion of im in im 0.605 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (* 1 1) into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.605 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re 0.605 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 0.605 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.605 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.605 * [taylor]: Taking taylor expansion of -1 in re 0.605 * [backup-simplify]: Simplify -1 into -1 0.605 * [taylor]: Taking taylor expansion of re in re 0.605 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify 1 into 1 0.606 * [backup-simplify]: Simplify (/ -1 1) into -1 0.606 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.606 * [taylor]: Taking taylor expansion of -1 in re 0.606 * [backup-simplify]: Simplify -1 into -1 0.606 * [taylor]: Taking taylor expansion of re in re 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [backup-simplify]: Simplify (/ -1 1) into -1 0.606 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 0.606 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.606 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.606 * [taylor]: Taking taylor expansion of im in re 0.606 * [backup-simplify]: Simplify im into im 0.606 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.606 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.606 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re 0.606 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 0.606 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 0.606 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.606 * [taylor]: Taking taylor expansion of -1 in re 0.606 * [backup-simplify]: Simplify -1 into -1 0.606 * [taylor]: Taking taylor expansion of re in re 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.607 * [backup-simplify]: Simplify (/ -1 1) into -1 0.607 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.607 * [taylor]: Taking taylor expansion of -1 in re 0.607 * [backup-simplify]: Simplify -1 into -1 0.607 * [taylor]: Taking taylor expansion of re in re 0.607 * [backup-simplify]: Simplify 0 into 0 0.607 * [backup-simplify]: Simplify 1 into 1 0.607 * [backup-simplify]: Simplify (/ -1 1) into -1 0.607 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.607 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.607 * [taylor]: Taking taylor expansion of im in re 0.607 * [backup-simplify]: Simplify im into im 0.607 * [backup-simplify]: Simplify (* im im) into (pow im 2) 0.607 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 0.607 * [backup-simplify]: Simplify (* -1 -1) into 1 0.608 * [backup-simplify]: Simplify (+ 1 0) into 1 0.608 * [taylor]: Taking taylor expansion of 1 in im 0.608 * [backup-simplify]: Simplify 1 into 1 0.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.609 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 0.609 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [taylor]: Taking taylor expansion of 0 in im 0.610 * [backup-simplify]: Simplify 0 into 0 0.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.611 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.611 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 0.611 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 0.611 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 0.611 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.611 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.611 * [taylor]: Taking taylor expansion of im in im 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 1 into 1 0.612 * [backup-simplify]: Simplify (* 1 1) into 1 0.612 * [backup-simplify]: Simplify (/ 1 1) into 1 0.612 * [backup-simplify]: Simplify (- 1) into -1 0.612 * [backup-simplify]: Simplify -1 into -1 0.612 * [backup-simplify]: Simplify 1 into 1 0.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.614 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.614 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 0.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 0.614 * [backup-simplify]: Simplify (- 0) into 0 0.614 * [backup-simplify]: Simplify (+ 0 0) into 0 0.614 * [taylor]: Taking taylor expansion of 0 in im 0.614 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.615 * [backup-simplify]: Simplify (- 0) into 0 0.615 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.617 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 0.618 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 0.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 0.618 * [backup-simplify]: Simplify (- 0) into 0 0.618 * [backup-simplify]: Simplify (+ 0 0) into 0 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.618 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.619 * [backup-simplify]: Simplify (- 0) into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 0.620 * * * [progress]: simplifying candidates 0.620 * [simplify]: Simplifying: (expm1 (fma re re (- (* im im)))) (log1p (fma re re (- (* im im)))) (* re re) (log (fma re re (- (* im im)))) (exp (fma re re (- (* im im)))) (* (cbrt (fma re re (- (* im im)))) (cbrt (fma re re (- (* im im))))) (cbrt (fma re re (- (* im im)))) (* (* (fma re re (- (* im im))) (fma re re (- (* im im)))) (fma re re (- (* im im)))) (sqrt (fma re re (- (* im im)))) (sqrt (fma re re (- (* im im)))) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 0.620 * [simplify]: Sending expressions to egg_math: (expm1 (fma h1 h1 (- (* h0 h0)))) (log1p (fma h1 h1 (- (* h0 h0)))) (* h1 h1) (log (fma h1 h1 (- (* h0 h0)))) (exp (fma h1 h1 (- (* h0 h0)))) (* (cbrt (fma h1 h1 (- (* h0 h0)))) (cbrt (fma h1 h1 (- (* h0 h0))))) (cbrt (fma h1 h1 (- (* h0 h0)))) (* (* (fma h1 h1 (- (* h0 h0))) (fma h1 h1 (- (* h0 h0)))) (fma h1 h1 (- (* h0 h0)))) (sqrt (fma h1 h1 (- (* h0 h0)))) (sqrt (fma h1 h1 (- (* h0 h0)))) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) 0.622 * * [simplify]: iteration 0 : 31 enodes (cost 58 ) 0.624 * * [simplify]: iteration 1 : 84 enodes (cost 51 ) 0.626 * * [simplify]: iteration 2 : 277 enodes (cost 51 ) 0.632 * * [simplify]: iteration 3 : 1347 enodes (cost 51 ) 0.679 * * [simplify]: iteration 4 : 5002 enodes (cost 51 ) 0.680 * * * [progress]: adding candidates to table 0.708 * * [progress]: iteration 3 / 4 0.708 * * * [progress]: picking best candidate 0.709 * * * * [pick]: Picked # 0.709 * * * [progress]: localizing error 0.713 * * * [progress]: generating rewritten candidates 0.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.751 * * * [progress]: generating series expansions 0.751 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.751 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (+ re im) (- re im)) 0.751 * [approximate]: Taking taylor expansion of (* (+ re im) (- re im)) in (re im) around 0 0.751 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 0.751 * [taylor]: Taking taylor expansion of (+ re im) in im 0.751 * [taylor]: Taking taylor expansion of re in im 0.751 * [backup-simplify]: Simplify re into re 0.751 * [taylor]: Taking taylor expansion of im in im 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of (- re im) in im 0.752 * [taylor]: Taking taylor expansion of re in im 0.752 * [backup-simplify]: Simplify re into re 0.752 * [taylor]: Taking taylor expansion of im in im 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 0.752 * [taylor]: Taking taylor expansion of (+ re im) in re 0.752 * [taylor]: Taking taylor expansion of re in re 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of im in re 0.752 * [backup-simplify]: Simplify im into im 0.752 * [taylor]: Taking taylor expansion of (- re im) in re 0.752 * [taylor]: Taking taylor expansion of re in re 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of im in re 0.752 * [backup-simplify]: Simplify im into im 0.752 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 0.752 * [taylor]: Taking taylor expansion of (+ re im) in re 0.752 * [taylor]: Taking taylor expansion of re in re 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of im in re 0.752 * [backup-simplify]: Simplify im into im 0.752 * [taylor]: Taking taylor expansion of (- re im) in re 0.752 * [taylor]: Taking taylor expansion of re in re 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.752 * [taylor]: Taking taylor expansion of im in re 0.752 * [backup-simplify]: Simplify im into im 0.752 * [backup-simplify]: Simplify (+ 0 im) into im 0.752 * [backup-simplify]: Simplify (- im) into (- im) 0.752 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im) 0.752 * [backup-simplify]: Simplify (* im (- im)) into (* -1 (pow im 2)) 0.752 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 0.752 * [taylor]: Taking taylor expansion of -1 in im 0.752 * [backup-simplify]: Simplify -1 into -1 0.752 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.752 * [taylor]: Taking taylor expansion of im in im 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 1 into 1 0.753 * [backup-simplify]: Simplify (- 0) into 0 0.753 * [backup-simplify]: Simplify (+ 1 0) into 1 0.753 * [backup-simplify]: Simplify (+ 1 0) into 1 0.753 * [backup-simplify]: Simplify (+ (* im 1) (* 1 (- im))) into 0 0.753 * [taylor]: Taking taylor expansion of 0 in im 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify (- 0) into 0 0.754 * [backup-simplify]: Simplify (+ 0 0) into 0 0.754 * [backup-simplify]: Simplify (+ 0 0) into 0 0.754 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 1) (* 0 (- im)))) into 1 0.754 * [taylor]: Taking taylor expansion of 1 in im 0.754 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify (* 1 1) into 1 0.755 * [backup-simplify]: Simplify (* -1 1) into -1 0.755 * [backup-simplify]: Simplify -1 into -1 0.755 * [backup-simplify]: Simplify (- 0) into 0 0.755 * [backup-simplify]: Simplify (+ 0 0) into 0 0.755 * [backup-simplify]: Simplify (+ 0 0) into 0 0.756 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- im))))) into 0 0.756 * [taylor]: Taking taylor expansion of 0 in im 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.759 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (- 0) into 0 0.760 * [backup-simplify]: Simplify (+ 0 0) into 0 0.760 * [backup-simplify]: Simplify (+ 0 0) into 0 0.761 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- im)))))) into 0 0.761 * [taylor]: Taking taylor expansion of 0 in im 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 0.761 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) 0.761 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 0.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 0.761 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 0.762 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.762 * [taylor]: Taking taylor expansion of re in im 0.762 * [backup-simplify]: Simplify re into re 0.762 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.762 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.762 * [taylor]: Taking taylor expansion of im in im 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 1 into 1 0.762 * [backup-simplify]: Simplify (/ 1 1) into 1 0.762 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 0.762 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.762 * [taylor]: Taking taylor expansion of im in im 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 1 into 1 0.762 * [backup-simplify]: Simplify (/ 1 1) into 1 0.762 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.762 * [taylor]: Taking taylor expansion of re in im 0.762 * [backup-simplify]: Simplify re into re 0.762 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 0.762 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 0.762 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.762 * [taylor]: Taking taylor expansion of re in re 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 1 into 1 0.763 * [backup-simplify]: Simplify (/ 1 1) into 1 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [backup-simplify]: Simplify im into im 0.763 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [backup-simplify]: Simplify im into im 0.763 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.763 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.763 * [taylor]: Taking taylor expansion of re in re 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 1 into 1 0.763 * [backup-simplify]: Simplify (/ 1 1) into 1 0.763 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 0.763 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.763 * [taylor]: Taking taylor expansion of re in re 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 1 into 1 0.763 * [backup-simplify]: Simplify (/ 1 1) into 1 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [backup-simplify]: Simplify im into im 0.763 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.763 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.763 * [taylor]: Taking taylor expansion of im in re 0.763 * [backup-simplify]: Simplify im into im 0.764 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.764 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.764 * [taylor]: Taking taylor expansion of re in re 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 1 into 1 0.764 * [backup-simplify]: Simplify (/ 1 1) into 1 0.764 * [backup-simplify]: Simplify (+ 1 0) into 1 0.764 * [backup-simplify]: Simplify (+ 0 1) into 1 0.765 * [backup-simplify]: Simplify (* 1 1) into 1 0.765 * [taylor]: Taking taylor expansion of 1 in im 0.765 * [backup-simplify]: Simplify 1 into 1 0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.765 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.766 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 0.766 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im)) 0.766 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (- (/ 1 im)) 1)) into 0 0.766 * [taylor]: Taking taylor expansion of 0 in im 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.766 * [backup-simplify]: Simplify (+ 0 0) into 0 0.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.767 * [backup-simplify]: Simplify (- 0) into 0 0.767 * [backup-simplify]: Simplify (+ 0 0) into 0 0.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) (/ 1 im)) (* 0 1))) into (- (/ 1 (pow im 2))) 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.768 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.768 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.768 * [taylor]: Taking taylor expansion of im in im 0.768 * [backup-simplify]: Simplify 0 into 0 0.768 * [backup-simplify]: Simplify 1 into 1 0.768 * [backup-simplify]: Simplify (* 1 1) into 1 0.769 * [backup-simplify]: Simplify (/ 1 1) into 1 0.769 * [backup-simplify]: Simplify (- 1) into -1 0.769 * [backup-simplify]: Simplify -1 into -1 0.769 * [backup-simplify]: Simplify 1 into 1 0.769 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.770 * [backup-simplify]: Simplify (+ 0 0) into 0 0.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.770 * [backup-simplify]: Simplify (- 0) into 0 0.771 * [backup-simplify]: Simplify (+ 0 0) into 0 0.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 0.771 * [taylor]: Taking taylor expansion of 0 in im 0.771 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.772 * [backup-simplify]: Simplify (- 0) into 0 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.773 * [backup-simplify]: Simplify (+ 0 0) into 0 0.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.774 * [backup-simplify]: Simplify (- 0) into 0 0.774 * [backup-simplify]: Simplify (+ 0 0) into 0 0.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 0.775 * [taylor]: Taking taylor expansion of 0 in im 0.775 * [backup-simplify]: Simplify 0 into 0 0.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.776 * [backup-simplify]: Simplify (- 0) into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 0.777 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) 0.777 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 0.777 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 0.777 * [taylor]: Taking taylor expansion of -1 in im 0.777 * [backup-simplify]: Simplify -1 into -1 0.777 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 0.777 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 0.777 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.777 * [taylor]: Taking taylor expansion of im in im 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify 1 into 1 0.777 * [backup-simplify]: Simplify (/ 1 1) into 1 0.777 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.777 * [taylor]: Taking taylor expansion of re in im 0.777 * [backup-simplify]: Simplify re into re 0.777 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.777 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 0.777 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.777 * [taylor]: Taking taylor expansion of im in im 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify 1 into 1 0.777 * [backup-simplify]: Simplify (/ 1 1) into 1 0.777 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.777 * [taylor]: Taking taylor expansion of re in im 0.778 * [backup-simplify]: Simplify re into re 0.778 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.778 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 0.778 * [taylor]: Taking taylor expansion of -1 in re 0.778 * [backup-simplify]: Simplify -1 into -1 0.778 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 0.778 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 0.778 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.778 * [taylor]: Taking taylor expansion of im in re 0.778 * [backup-simplify]: Simplify im into im 0.778 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.778 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.778 * [taylor]: Taking taylor expansion of re in re 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 1 into 1 0.778 * [backup-simplify]: Simplify (/ 1 1) into 1 0.778 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.778 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.778 * [taylor]: Taking taylor expansion of im in re 0.778 * [backup-simplify]: Simplify im into im 0.778 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.778 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.778 * [taylor]: Taking taylor expansion of re in re 0.778 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify 1 into 1 0.778 * [backup-simplify]: Simplify (/ 1 1) into 1 0.778 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 0.778 * [taylor]: Taking taylor expansion of -1 in re 0.778 * [backup-simplify]: Simplify -1 into -1 0.778 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 0.778 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 0.778 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.778 * [taylor]: Taking taylor expansion of im in re 0.779 * [backup-simplify]: Simplify im into im 0.779 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.779 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.779 * [taylor]: Taking taylor expansion of re in re 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 1 into 1 0.779 * [backup-simplify]: Simplify (/ 1 1) into 1 0.779 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 0.779 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.779 * [taylor]: Taking taylor expansion of im in re 0.779 * [backup-simplify]: Simplify im into im 0.779 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.779 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.779 * [taylor]: Taking taylor expansion of re in re 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 1 into 1 0.779 * [backup-simplify]: Simplify (/ 1 1) into 1 0.779 * [backup-simplify]: Simplify (- 1) into -1 0.780 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.780 * [backup-simplify]: Simplify (+ 0 1) into 1 0.780 * [backup-simplify]: Simplify (* -1 1) into -1 0.780 * [backup-simplify]: Simplify (* -1 -1) into 1 0.780 * [taylor]: Taking taylor expansion of 1 in im 0.780 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.781 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 0.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.782 * [backup-simplify]: Simplify (- 0) into 0 0.782 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 0.782 * [backup-simplify]: Simplify (+ (* -1 (/ 1 im)) (* (/ 1 im) 1)) into 0 0.782 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 0.782 * [taylor]: Taking taylor expansion of 0 in im 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.783 * [backup-simplify]: Simplify (+ 0 0) into 0 0.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.784 * [backup-simplify]: Simplify (- 0) into 0 0.784 * [backup-simplify]: Simplify (+ 0 0) into 0 0.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 1))) into (/ 1 (pow im 2)) 0.785 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2))) 0.785 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.785 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.785 * [taylor]: Taking taylor expansion of im in im 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (* 1 1) into 1 0.785 * [backup-simplify]: Simplify (/ 1 1) into 1 0.786 * [backup-simplify]: Simplify (- 1) into -1 0.786 * [backup-simplify]: Simplify -1 into -1 0.786 * [backup-simplify]: Simplify 1 into 1 0.786 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.787 * [backup-simplify]: Simplify (+ 0 0) into 0 0.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.787 * [backup-simplify]: Simplify (- 0) into 0 0.788 * [backup-simplify]: Simplify (+ 0 0) into 0 0.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 0.789 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0 0.789 * [taylor]: Taking taylor expansion of 0 in im 0.789 * [backup-simplify]: Simplify 0 into 0 0.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.790 * [backup-simplify]: Simplify (- 0) into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.791 * [backup-simplify]: Simplify (+ 0 0) into 0 0.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.792 * [backup-simplify]: Simplify (- 0) into 0 0.792 * [backup-simplify]: Simplify (+ 0 0) into 0 0.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 0.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0 0.793 * [taylor]: Taking taylor expansion of 0 in im 0.793 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.795 * [backup-simplify]: Simplify (- 0) into 0 0.795 * [backup-simplify]: Simplify 0 into 0 0.795 * [backup-simplify]: Simplify 0 into 0 0.795 * [backup-simplify]: Simplify 0 into 0 0.795 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 0.795 * * * [progress]: simplifying candidates 0.796 * [simplify]: Simplifying: (expm1 (* (+ re im) (- re im))) (log1p (* (+ re im) (- re im))) (* (+ re im) (- re im)) (+ (log (+ re im)) (log (- re im))) (log (* (+ re im) (- re im))) (exp (* (+ re im) (- re im))) (* (* (* (+ re im) (+ re im)) (+ re im)) (* (* (- re im) (- re im)) (- re im))) (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im))) (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (* (+ (pow re 3) (pow im 3)) (- (pow re 3) (pow im 3))) (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (+ (* im im) (* re im)))) (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ (* re re) (- (* im im) (* re im))) (+ re im)) (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3))) (* (- re im) (+ (* re re) (+ (* im im) (* re im)))) (* (- (* re re) (* im im)) (- (* re re) (* im im))) (* (- re im) (+ re im)) (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma 1 re (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma 1 re (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) re) (* (+ re im) (- im)) (* (+ re im) re) (* (+ re im) (- im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma 1 re (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma 1 re (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ re im) (sqrt (- re im))) (* (+ re im) 1) (* (+ re im) (+ (sqrt re) (sqrt im))) (* (+ re im) 1) (* (cbrt (+ re im)) (- re im)) (* (sqrt (+ re im)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- (pow re 3) (pow im 3))) (* (+ re im) (- (* re re) (* im im))) (* (+ (pow re 3) (pow im 3)) (- re im)) (* (- (* re re) (* im im)) (- re im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 0.796 * [simplify]: Sending expressions to egg_math: (expm1 (* (+ h1 h0) (- h1 h0))) (log1p (* (+ h1 h0) (- h1 h0))) (* (+ h1 h0) (- h1 h0)) (+ (log (+ h1 h0)) (log (- h1 h0))) (log (* (+ h1 h0) (- h1 h0))) (exp (* (+ h1 h0) (- h1 h0))) (* (* (* (+ h1 h0) (+ h1 h0)) (+ h1 h0)) (* (* (- h1 h0) (- h1 h0)) (- h1 h0))) (* (cbrt (* (+ h1 h0) (- h1 h0))) (cbrt (* (+ h1 h0) (- h1 h0)))) (cbrt (* (+ h1 h0) (- h1 h0))) (* (* (* (+ h1 h0) (- h1 h0)) (* (+ h1 h0) (- h1 h0))) (* (+ h1 h0) (- h1 h0))) (sqrt (* (+ h1 h0) (- h1 h0))) (sqrt (* (+ h1 h0) (- h1 h0))) (* (+ (pow h1 3) (pow h0 3)) (- (pow h1 3) (pow h0 3))) (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (+ (* h1 h1) (+ (* h0 h0) (* h1 h0)))) (* (+ (pow h1 3) (pow h0 3)) (- (* h1 h1) (* h0 h0))) (* (+ (* h1 h1) (- (* h0 h0) (* h1 h0))) (+ h1 h0)) (* (- (* h1 h1) (* h0 h0)) (- (pow h1 3) (pow h0 3))) (* (- h1 h0) (+ (* h1 h1) (+ (* h0 h0) (* h1 h0)))) (* (- (* h1 h1) (* h0 h0)) (- (* h1 h1) (* h0 h0))) (* (- h1 h0) (+ h1 h0)) (* (sqrt (+ h1 h0)) (sqrt (- h1 h0))) (* (sqrt (+ h1 h0)) (sqrt (- h1 h0))) (* (+ h1 h0) (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0)))))) (* (+ h1 h0) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (* (+ h1 h0) (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* (sqrt h0) (sqrt h0))))) (* (+ h1 h0) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0)))) (* (+ h1 h0) (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 1)))) (* (+ h1 h0) (fma (- h0) 1 (* h0 1))) (* (+ h1 h0) (fma (sqrt h1) (sqrt h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0)))))) (* (+ h1 h0) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (* (+ h1 h0) (fma (sqrt h1) (sqrt h1) (- (* (sqrt h0) (sqrt h0))))) (* (+ h1 h0) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0)))) (* (+ h1 h0) (fma (sqrt h1) (sqrt h1) (- (* h0 1)))) (* (+ h1 h0) (fma (- h0) 1 (* h0 1))) (* (+ h1 h0) (fma 1 h1 (- (* (cbrt h0) (* (cbrt h0) (cbrt h0)))))) (* (+ h1 h0) (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (* (+ h1 h0) (fma 1 h1 (- (* (sqrt h0) (sqrt h0))))) (* (+ h1 h0) (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0)))) (* (+ h1 h0) (fma 1 h1 (- (* h0 1)))) (* (+ h1 h0) (fma (- h0) 1 (* h0 1))) (* (+ h1 h0) h1) (* (+ h1 h0) (- h0)) (* (+ h1 h0) h1) (* (+ h1 h0) (- h0)) (* (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (+ h1 h0)) (* (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (+ h1 h0)) (* (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* (sqrt h0) (sqrt h0)))) (+ h1 h0)) (* (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (+ h1 h0)) (* (fma (* (cbrt h1) (cbrt h1)) (cbrt h1) (- (* h0 1))) (+ h1 h0)) (* (fma (- h0) 1 (* h0 1)) (+ h1 h0)) (* (fma (sqrt h1) (sqrt h1) (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (+ h1 h0)) (* (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (+ h1 h0)) (* (fma (sqrt h1) (sqrt h1) (- (* (sqrt h0) (sqrt h0)))) (+ h1 h0)) (* (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (+ h1 h0)) (* (fma (sqrt h1) (sqrt h1) (- (* h0 1))) (+ h1 h0)) (* (fma (- h0) 1 (* h0 1)) (+ h1 h0)) (* (fma 1 h1 (- (* (cbrt h0) (* (cbrt h0) (cbrt h0))))) (+ h1 h0)) (* (fma (- (cbrt h0)) (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (* (cbrt h0) (cbrt h0)))) (+ h1 h0)) (* (fma 1 h1 (- (* (sqrt h0) (sqrt h0)))) (+ h1 h0)) (* (fma (- (sqrt h0)) (sqrt h0) (* (sqrt h0) (sqrt h0))) (+ h1 h0)) (* (fma 1 h1 (- (* h0 1))) (+ h1 h0)) (* (fma (- h0) 1 (* h0 1)) (+ h1 h0)) (* h1 (+ h1 h0)) (* (- h0) (+ h1 h0)) (* h1 (+ h1 h0)) (* (- h0) (+ h1 h0)) (* (+ h1 h0) (* (cbrt (- h1 h0)) (cbrt (- h1 h0)))) (* (+ h1 h0) (sqrt (- h1 h0))) (* (+ h1 h0) 1) (* (+ h1 h0) (+ (sqrt h1) (sqrt h0))) (* (+ h1 h0) 1) (* (cbrt (+ h1 h0)) (- h1 h0)) (* (sqrt (+ h1 h0)) (- h1 h0)) (* (+ h1 h0) (- h1 h0)) (* (+ h1 h0) (- h1 h0)) (* (+ h1 h0) (- (pow h1 3) (pow h0 3))) (* (+ h1 h0) (- (* h1 h1) (* h0 h0))) (* (+ (pow h1 3) (pow h0 3)) (- h1 h0)) (* (- (* h1 h1) (* h0 h0)) (- h1 h0)) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) (- (pow h1 2) (pow h0 2)) 0.801 * * [simplify]: iteration 0 : 349 enodes (cost 495 ) 0.807 * * [simplify]: iteration 1 : 1721 enodes (cost 354 ) 0.837 * * [simplify]: iteration 2 : 5002 enodes (cost 354 ) 0.840 * * * [progress]: adding candidates to table 0.905 * [progress]: [Phase 3 of 3] Extracting. 0.905 * * [regime]: Finding splitpoints for: (# #) 0.906 * * * [regime-changes]: Trying 3 branch expressions: ((* im im) im re) 0.907 * * * * [regimes]: Trying to branch on (* im im) from (# #) 0.920 * * * * [regimes]: Trying to branch on im from (# #) 0.930 * * * * [regimes]: Trying to branch on re from (# #) 0.940 * * * [regime]: Found split indices: #