Details

analyze946.0ms (26.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
28.1%	68.6%	3.3%	10
29.6%	65.5%	4.9%	11
32%	61.7%	6.3%	12
35.5%	56.9%	7.6%	13
48%	38.7%	13.4%	14

Compiler

Compiled 20 to 12 computations (40% saved)

sample1.4s (38.5%)

Symmetry

(sort d2 d4)

Results

1.0s	8256×	body	128	valid
290.0ms	2450×	body	128	invalid

Compiler

Compiled 59 to 35 computations (40.7% saved)

simplify39.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1400×	`fma-neg_binary64`
358×	`fma-def_binary64`
223×	`sub-neg_binary64`
177×	`unsub-neg_binary64`
153×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	32	14
2	100	13
3	316	13
4	935	13
5	2470	13
6	3635	13
7	3780	13
8	3780	13

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0.1%)

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

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.0b	(*.f64 d1 (+.f64 d2 (-.f64 d4 (+.f64 d1 d3))))
▶	0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Compiler

Compiled 92 to 53 computations (42.4% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
✓	0.0b	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
✓	0.0b	(-.f64 (.f64 d1 d2) (.f64 d1 d3))

series36.0ms (1%)

Counts

3 → 132

Calls

3 calls:

18.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
11.0ms	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
7.0ms	(-.f64 (.f64 d1 d2) (.f64 d1 d3))

rewrite68.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

265×	`expm1-udef_binary64`
265×	`log1p-udef_binary64`
154×	`egg-rr`
148×	`add-sqr-sqrt_binary64`
144×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	288	31
2	4478	31

Stop Event

1×	node limit

Counts

3 → 154

Calls

3 calls:

65.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
65.0ms	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
65.0ms	(-.f64 (.f64 d1 d2) (.f64 d1 d3))

simplify49.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

448×	`fma-def_binary64`
292×	`distribute-rgt-in_binary64`
248×	`distribute-lft-out_binary64`
240×	`distribute-lft-in_binary64`
207×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	1496
1	99	1342
2	246	1227
3	738	1227
4	2787	1227

Stop Event

1×	node limit

Counts

286 → 179

prune117.0ms (3.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	179	2	181

Error

Counts

181 → 2

Alt Table

Status	Error	Program
	0.3b	(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d4)) 2) (cbrt.f64 (.f64 d1 d4)) (.f64 d1 (-.f64 d2 d3))) (.f64 d1 d1))
▶	0.0b	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))

Compiler

Compiled 3624 to 917 computations (74.7% saved)

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))
✓	0.0b	(*.f64 d1 (-.f64 d3 d4))

series24.0ms (0.7%)

Counts

2 → 72

Calls

2 calls:

18.0ms	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))
6.0ms	(*.f64 d1 (-.f64 d3 d4))

rewrite54.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

481×	`fma-def_binary64`
217×	`fma-neg_binary64`
215×	`expm1-udef_binary64`
215×	`log1p-udef_binary64`
130×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	26
1	249	24
2	3565	24

Stop Event

1×	node limit

Counts

2 → 127

Calls

2 calls:

51.0ms	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))
51.0ms	(*.f64 d1 (-.f64 d3 d4))

simplify38.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

545×	`fma-neg_binary64`
450×	`associate-l_binary64`
419×	`cancel-sign-sub-inv_binary64`
271×	`associate-r_binary64`
255×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	972
1	71	819
2	181	704
3	483	704
4	1773	704

Stop Event

1×	node limit

Counts

199 → 149

prune69.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	149	2	151

Error

Counts

151 → 2

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 d1 (+.f64 d2 (neg.f64 (-.f64 d3 d4))) (*.f64 d1 (neg.f64 d1)))
✓	0.0b	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))

Compiler

Compiled 3107 to 719 computations (76.9% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 d1 (+.f64 d2 (neg.f64 (-.f64 d3 d4))) (*.f64 d1 (neg.f64 d1)))

series19.0ms (0.5%)

Counts

1 → 48

Calls

1 calls:

19.0ms

(fma.f64 d1 (+.f64 d2 (neg.f64 (-.f64 d3 d4))) (*.f64 d1 (neg.f64 d1)))

rewrite41.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

354×	`fma-def_binary64`
207×	`fma-neg_binary64`
188×	`expm1-udef_binary64`
188×	`log1p-udef_binary64`
127×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	245	13
2	3637	13

Stop Event

1×	node limit

Counts

1 → 30

Calls

1 calls:

41.0ms

(fma.f64 d1 (+.f64 d2 (neg.f64 (-.f64 d3 d4))) (*.f64 d1 (neg.f64 d1)))

simplify41.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

532×	`fma-neg_binary64`
404×	`cancel-sign-sub-inv_binary64`
389×	`associate-l_binary64`
255×	`associate-r_binary64`
236×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	816
1	59	663
2	152	548
3	423	548
4	1626	548
5	4825	548

Stop Event

1×	node limit

Counts

78 → 47

prune24.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	47	2	49

Error

Counts

49 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 d1 (+.f64 d2 (neg.f64 (-.f64 d3 d4))) (*.f64 d1 (neg.f64 d1)))
✓	0.0b	(-.f64 (fma.f64 d1 d2 (neg.f64 (.f64 d1 (-.f64 d3 d4)))) (.f64 d1 d1))

Compiler

Compiled 609 to 162 computations (73.4% saved)

regimes406.0ms (11.4%)

Accuracy

Total 0.0b remaining (38.3%)

Threshold costs 0.0b (38.3%)

Counts

80 → 1

Compiler

Compiled 5828 to 3624 computations (37.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`sub-neg_binary64`
8×	`+-commutative_binary64`
8×	`cancel-sign-sub-inv_binary64`
7×	`*-commutative_binary64`
7×	`neg-sub0_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	26	19
2	45	19
3	64	17
4	84	17
5	90	17

Stop Event

1×

saturated

end185.0ms (5.2%)

Compiler: Compiled 97 to 56 computations (42.3% saved)

Details

analyze946.0ms (26.6%)

sample1.4s (38.5%)

simplify39.0ms (1.1%)

prune3.0ms (0.1%)

localize9.0ms (0.3%)

series36.0ms (1%)

rewrite68.0ms (1.9%)

simplify49.0ms (1.4%)

prune117.0ms (3.3%)

localize11.0ms (0.3%)

series24.0ms (0.7%)

rewrite54.0ms (1.5%)

simplify38.0ms (1.1%)

prune69.0ms (1.9%)

localize8.0ms (0.2%)

series19.0ms (0.5%)

rewrite41.0ms (1.2%)

simplify41.0ms (1.2%)

prune24.0ms (0.7%)

regimes406.0ms (11.4%)

simplify2.0ms (0.1%)

end185.0ms (5.2%)

Profiling