Details

analyze39.0ms (3.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
33.3%	25%	50%	0.1%	25%	0%	0%	6
44.4%	25%	31.2%	0.1%	43.7%	0%	0%	7
55.6%	31.2%	25%	0.1%	43.7%	0%	0%	8
69.4%	39%	17.2%	0.1%	43.7%	0%	0%	9
76.4%	42.9%	13.3%	0.1%	43.7%	0%	0%	10
84%	47.2%	9%	0.1%	43.7%	0%	0%	11
87.8%	49.4%	6.8%	0.1%	43.7%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample666.0ms (60.9%)

Results

656.0ms	8256×	body	256	valid
0.0ms	4×	body	256	infinite

Bogosity

preprocess15.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

4×	`fma-def`
2×	`swap-re-im`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	11	30
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))

Outputs
(+.f64 (.f64 re re) (.f64 im im))
(fma.f64 re re (*.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))
(fma.f64 re re (*.f64 im im))

Symmetry

(sort re im)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify11.0ms (1%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	10	15
2	11	15

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

Outputs
(+.f64 (.f64 re re) (.f64 im im))
(fma.f64 re re (*.f64 im im))

eval0.0ms (0%)

Compiler: Compiled 15 to 6 computations (60% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Accurracy

100.0%

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize5.0ms (0.5%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series1.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	0	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	inf	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	inf	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	-inf	(+.f64 (.f64 re re) (.f64 im im))

rewrite53.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1534×	`add-sqr-sqrt`
1514×	`*-un-lft-identity`
1414×	`add-cube-cbrt`
1402×	`add-cbrt-cube`
1392×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	150	13
2	2020	13

Stop Event

1×	node limit

Counts

1 → 34

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

Outputs
(((-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1) (2)) ((-.f64 (/.f64 (pow.f64 re 4) (-.f64 (.f64 re re) (.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (.f64 re re) (.f64 im im)))) (2)) ((.f64 (pow.f64 (hypot.f64 re im) 2) 1) (2)) ((.f64 1 (pow.f64 (hypot.f64 re im) 2)) (2)) ((.f64 (hypot.f64 re im) (hypot.f64 re im)) (2)) ((.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))) (2)) ((.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (.f64 re re) (.f64 im im)))) (2)) ((.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2))))) (2)) ((/.f64 1 (/.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4)))) (2)) ((/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (2)) ((/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im))) (2)) ((/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))) (2)) ((/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (.f64 re im) 2)))) (2)) ((/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (.f64 im im) (.f64 re re))) (2)) ((/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (.f64 re re) (.f64 im im)))) (2)) ((/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2))))) (2)) ((pow.f64 (pow.f64 (hypot.f64 re im) 2) 1) (2)) ((pow.f64 (hypot.f64 re im) 2) (2)) ((pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3) (2)) ((pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (2)) ((log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3)) (2)) ((expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((exp.f64 (.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)) 1)) (2)) ((log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((fma.f64 re re (.f64 im im)) (2)) ((fma.f64 im im (.f64 re re)) (2)) ((fma.f64 1 (.f64 re re) (.f64 im im)) (2)) ((fma.f64 1 (.f64 im im) (.f64 re re)) (2)) ((fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (.f64 re re)) (2)) ((fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (.f64 re re)) (.f64 im im)) (2)))

Outputs

(((-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1) (2)) ((-.f64 (/.f64 (pow.f64 re 4) (-.f64 (*.f64 re re) (*.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (*.f64 re re) (*.f64 im im)))) (2)) ((*.f64 (pow.f64 (hypot.f64 re im) 2) 1) (2)) ((*.f64 1 (pow.f64 (hypot.f64 re im) 2)) (2)) ((*.f64 (hypot.f64 re im) (hypot.f64 re im)) (2)) ((*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))) (2)) ((*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (*.f64 re re) (*.f64 im im)))) (2)) ((*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))) (2)) ((/.f64 1 (/.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4)))) (2)) ((/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6)))) (2)) ((/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im))) (2)) ((/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))) (2)) ((/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2)))) (2)) ((/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re))) (2)) ((/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (*.f64 re re) (*.f64 im im)))) (2)) ((/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))) (2)) ((pow.f64 (pow.f64 (hypot.f64 re im) 2) 1) (2)) ((pow.f64 (hypot.f64 re im) 2) (2)) ((pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3) (2)) ((pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (2)) ((log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3)) (2)) ((expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)) 1)) (2)) ((log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2))) (2)) ((fma.f64 re re (*.f64 im im)) (2)) ((fma.f64 im im (*.f64 re re)) (2)) ((fma.f64 1 (*.f64 re re) (*.f64 im im)) (2)) ((fma.f64 1 (*.f64 im im) (*.f64 re re)) (2)) ((fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re)) (2)) ((fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (*.f64 re re)) (*.f64 im im)) (2)))

simplify58.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1282×	`distribute-lft-in`
1084×	`associate-r`
952×	`associate-+r+`
878×	`associate-*r/`
784×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	1500
1	223	1368
2	885	1278
3	4191	1278

Stop Event

1×	node limit

Counts

58 → 47

Calls

Call 1

Inputs
(pow.f64 im 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))
(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))
(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))
(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))
(pow.f64 im 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))
(pow.f64 im 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))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (.f64 re re) (.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (.f64 re re) (.f64 im im))))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (.f64 re re) (*.f64 im im))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(/.f64 1 (/.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (.f64 im im) (.f64 re re)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (.f64 re re) (.f64 im im))))
(/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)) 1))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (.f64 re re) (.f64 im im))
(fma.f64 1 (.f64 im im) (.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (.f64 re re)) (.f64 im im))

Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (.f64 re re) (.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (.f64 re re) (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))
(.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (.f64 re im) 2)))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 1 (/.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (.f64 im im) (.f64 re re)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (.f64 re re) (.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (.f64 re re) (.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 im (neg.f64 im) (*.f64 re re)))
(/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (hypot.f64 re im) 2)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)) 1))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (.f64 re re) (.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (.f64 im im) (.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))
(fma.f64 re re (*.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2)))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (cbrt.f64 (.f64 re re)) (.f64 im im))

eval10.0ms (0.9%)

Compiler: Compiled 551 to 313 computations (43.2% saved)

prune11.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	4	48

Accurracy

100.0%

Counts

48 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 im im (*.f64 re re))
✓	100.0%	(+.f64 (.f64 re re) (.f64 im im))
▶	59.5%	(*.f64 re re)
▶	55.6%	(*.f64 im im)

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize2.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize5.0ms (0.4%)

Compiler: Compiled 13 to 4 computations (69.2% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	3	3
Total	4	4

Accurracy

100.0%

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 im im (*.f64 re re))
✓	100.0%	(+.f64 (.f64 re re) (.f64 im im))
✓	59.5%	(*.f64 re re)
✓	55.6%	(*.f64 im im)

Compiler

Compiled 27 to 15 computations (44.4% saved)

regimes17.0ms (1.5%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 im im)
(*.f64 re re)
(+.f64 (.f64 re re) (.f64 im im))
(fma.f64 im im (*.f64 re re))

Outputs
(fma.f64 im im (*.f64 re re))

Calls

5 calls:

3.0ms	im
3.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	re
3.0ms	(*.f64 re re)
3.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(+.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(*.f64 im im)`

Compiler

Compiled 46 to 21 computations (54.3% saved)

regimes16.0ms (1.5%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 im im)
(*.f64 re re)
(+.f64 (.f64 re re) (.f64 im im))

Outputs
(+.f64 (.f64 re re) (.f64 im im))

Calls

5 calls:

4.0ms	(+.f64 (.f64 re re) (.f64 im im))
3.0ms	im
3.0ms	re
2.0ms	(*.f64 re re)
2.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(+.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(*.f64 im im)`

Compiler

Compiled 40 to 20 computations (50% saved)

regimes38.0ms (3.4%)

Accuracy

Total -48.1b remaining (-781.9%)

Threshold costs -48.1b (-781.9%)

Counts

2 → 4

Calls

Call 1

Inputs
(*.f64 im im)
(*.f64 re re)

Outputs
(*.f64 re re)
(*.f64 im im)
(*.f64 re re)
(*.f64 im im)

Calls

4 calls:

13.0ms	im
11.0ms	(*.f64 im im)
8.0ms	(*.f64 re re)
6.0ms	re

Results

Accuracy	Segments	Branch
90.1%	2	`re`
90.4%	4	`im`
84.5%	4	`(*.f64 re re)`
86.7%	4	`(*.f64 im im)`

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch31.0ms (2.8%)

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.3196270084775636e-66	5.80073730318587e-65
9.0ms	5.894829758373709e-79	4.125180364528498e-78
11.0ms	1.4478272694056723e-114	4.193377397290436e-113

Results

27.0ms

320×

body

256

valid

Compiler

Compiled 254 to 169 computations (33.5% saved)

simplify6.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

4×	`not-or`
4×	`if-if-or-not`
2×	`+-commutative`
2×	`not-not`
2×	`if-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	96
1	27	96
2	30	96
3	33	92
4	34	92
5	35	92

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(if (<=.f64 im 4990805449417467/693167423530203714894603546035770925859109268843954143792619895153655326951406405759993601526034894524347802740350892957243539456) (.f64 re re) (if (<=.f64 im 8343699359066055/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024) (.f64 im im) (if (<=.f64 im 5122271493173309/3794275180128377091639574036764685364535950857523710002444946112771297432041422848) (.f64 re re) (.f64 im im))))
(*.f64 im im)

Outputs
(fma.f64 im im (*.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(if (<=.f64 im 4990805449417467/693167423530203714894603546035770925859109268843954143792619895153655326951406405759993601526034894524347802740350892957243539456) (.f64 re re) (if (<=.f64 im 8343699359066055/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024) (.f64 im im) (if (<=.f64 im 5122271493173309/3794275180128377091639574036764685364535950857523710002444946112771297432041422848) (.f64 re re) (.f64 im im))))
(if (or (<=.f64 im 4990805449417467/693167423530203714894603546035770925859109268843954143792619895153655326951406405759993601526034894524347802740350892957243539456) (and (not (<=.f64 im 8343699359066055/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024)) (<=.f64 im 5122271493173309/3794275180128377091639574036764685364535950857523710002444946112771297432041422848))) (.f64 re re) (.f64 im im))
(*.f64 im im)

Compiler

Compiled 43 to 26 computations (39.5% saved)

soundness80.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1282×	`distribute-lft-in`
1084×	`associate-r`
952×	`associate-+r+`
878×	`associate-*r/`
784×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	92	1500
1	223	1368
2	885	1278
3	4191	1278

Stop Event

1×	node limit

Compiler

Compiled 36 to 19 computations (47.2% saved)

end25.0ms (2.2%)

Remove: (sort re im)
Compiler: Compiled 53 to 24 computations (54.7% saved)

Details

analyze39.0ms (3.5%)

sample666.0ms (60.9%)

preprocess15.0ms (1.3%)

simplify11.0ms (1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.5%)

series1.0ms (0.1%)

rewrite53.0ms (4.8%)

simplify58.0ms (5.3%)

eval10.0ms (0.9%)

prune11.0ms (1%)

localize3.0ms (0.2%)

localize2.0ms (0.2%)

localize5.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes17.0ms (1.5%)

regimes16.0ms (1.5%)

regimes38.0ms (3.4%)

bsearch31.0ms (2.8%)

simplify6.0ms (0.6%)

soundness80.0ms (7.3%)

end25.0ms (2.2%)

Profiling