Details

analyze940.0ms (0.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
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.5%	76.8%	3.7%	12
25.7%	64.7%	9.6%	13
31.6%	54.7%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (0.8%)

Results

838.0ms	8256×	body	128	valid
264.0ms	2595×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify26.0ms (0%)

Algorithm

1×	egg-herbie

Rules

669×	`fma-def_binary64`
536×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
251×	`sub-neg_binary64`
228×	`associate-+l+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	11
2	37	11
3	117	11
4	453	11
5	1476	11
6	2927	11
7	4018	11

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)

series12.0ms (0%)

Counts

1 → 48

Calls

1 calls:

11.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

rewrite43.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`prod-diff_binary64`
341×	`fma-def_binary64`
176×	`expm1-udef_binary64`
176×	`log1p-udef_binary64`
165×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	180	11
2	2584	11

Stop Event

1×	node limit

Counts

1 → 23

Calls

1 calls:

42.0ms

(fma.f64 (-.f64 y z) (-.f64 t x) x)

simplify95.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2435×	`fma-neg_binary64`
504×	`fma-def_binary64`
312×	`sub-neg_binary64`
310×	`unsub-neg_binary64`
252×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	41	788
1	131	783
2	362	783
3	885	701
4	2282	557
5	3827	557
6	4450	557
7	4526	557
8	4527	557
9	4527	557
10	4527	557
11	4527	485

Stop Event

1×	node limit

Counts

71 → 42

prune28.0ms (0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Error

Counts

43 → 4

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	43.8b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) 3))
▶	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
	1.2b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Compiler

Compiled 592 to 188 computations (68.2% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
✓	0.0b	(+.f64 (*.f64 z x) x)
✓	0.0b	(+.f64 (.f64 y x) (.f64 t z))
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

series40.0ms (0%)

Counts

4 → 87

Calls

4 calls:

19.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
10.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
8.0ms	(+.f64 (.f64 y x) (.f64 t z))
3.0ms	(+.f64 (*.f64 z x) x)

rewrite88.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

294×	`log1p-udef_binary64`
184×	`egg-rr`
160×	`add-sqr-sqrt_binary64`
156×	`log1p-expm1-u_binary64`
156×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
1	309	41
2	4990	41

Stop Event

1×	node limit

Counts

4 → 184

Calls

4 calls:

84.0ms	(+.f64 (.f64 y t) (+.f64 (.f64 z x) x))
84.0ms	(+.f64 (*.f64 z x) x)
84.0ms	(+.f64 (.f64 y x) (.f64 t z))
84.0ms	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))

simplify68.0ms (0%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-neg_binary64`
485×	`fma-def_binary64`
300×	`unsub-neg_binary64`
271×	`sub-neg_binary64`
261×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	778
1	121	773
2	332	773
3	831	727
4	2107	655
5	4457	655

Stop Event

1×	node limit

Counts

271 → 216

prune195.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	216	4	220

Error

Counts

220 → 4

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	43.8b	(cbrt.f64 (pow.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x) 3))
✓	0.0b	(-.f64 (+.f64 (.f64 y t) (+.f64 (.f64 z x) x)) (+.f64 (.f64 y x) (.f64 t z)))
▶	1.2b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Compiler

Compiled 5195 to 1135 computations (78.2% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	0.5b	(cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x))
✓	0.7b	(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y z) (-.f64 t x) x)) 3)

Details

analyze940.0ms (0.6%)

sample1.2s (0.8%)

simplify26.0ms (0%)

prune5.0ms (0%)

localize5.0ms (0%)

series12.0ms (0%)

rewrite43.0ms (0%)

simplify95.0ms (0.1%)

prune28.0ms (0%)

localize10.0ms (0%)

series40.0ms (0%)

rewrite88.0ms (0.1%)

simplify68.0ms (0%)

prune195.0ms (0.1%)

localize8.0ms (0%)

series2.5min (98.2%)

Profiling