Details

analyze66.0ms (5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample799.0ms (60.5%)

Symmetry

(sort re im)

Results

760.0ms	8256×	body	128	valid
7.0ms	75×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify8.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
4×	`associate-r_binary64`
3×	`count-2_binary64`
2×	`associate-l_binary64`
2×	`distribute-rgt-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	7
2	14	7
3	19	7
4	21	7
5	21	7

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 re im) (.f64 im re))
	0.2b	(*.f64 re (+.f64 im im))

Compiler

Compiled 46 to 25 computations (45.7% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 re im) (.f64 im re))

series5.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

5.0ms

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

rewrite4.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
1×	`+-commutative_binary64`
1×	`flip-+_binary64`
1×	`*-un-lft-identity_binary64`
1×	`flip3-+_binary64`

Counts

1 → 14

Calls

1 calls:

3.0ms

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

simplify101.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

767×	`fma-def_binary64`
477×	`distribute-rgt-out_binary64`
466×	`fma-neg_binary64`
352×	`distribute-rgt-neg-in_binary64`
298×	`sub-neg_binary64`

Counts

38 → 24

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	31	372
1	84	293
2	288	292
3	860	292
4	2435	292
5	3410	292
6	4650	292
7	4990	292
8	4803	292

prune12.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	24	2	26

Error

Counts

26 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 re im) (.f64 im re))
▶	0.2b	(*.f64 re (+.f64 im im))

Compiler

Compiled 319 to 106 computations (66.8% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 re (+.f64 im im))

series5.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

5.0ms

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

rewrite7.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-r_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
3×	`distribute-lft-out_binary64`

Counts

1 → 33

Calls

1 calls:

6.0ms

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

simplify74.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

508×	`fma-def_binary64`
500×	`associate-+l+_binary64`
481×	`associate-+r+_binary64`
335×	`distribute-rgt-in_binary64`
296×	`associate-l_binary64`

Counts

57 → 44

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	467
1	129	434
2	389	434
3	1003	434
4	2247	434
5	4529	434
6	4846	434
7	4922	434

prune18.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	44	2	46

Error

Counts

46 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 re im) (.f64 im re))
✓	0.2b	(*.f64 re (+.f64 im im))

Compiler

Compiled 461 to 167 computations (63.8% saved)

regimes20.0ms (1.5%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Counts

6 → 1

Compiler

Compiled 165 to 99 computations (40% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

end190.0ms (14.4%)

Compiler: Compiled 44 to 25 computations (43.2% saved)

Details

analyze66.0ms (5%)

sample799.0ms (60.5%)

simplify8.0ms (0.6%)

prune3.0ms (0.2%)

localize4.0ms (0.3%)

series5.0ms (0.4%)

rewrite4.0ms (0.3%)

simplify101.0ms (7.6%)

prune12.0ms (0.9%)

localize3.0ms (0.2%)

series5.0ms (0.4%)

rewrite7.0ms (0.5%)

simplify74.0ms (5.6%)

prune18.0ms (1.4%)

regimes20.0ms (1.5%)

simplify3.0ms (0.2%)

end190.0ms (14.4%)

Profiling