Details

analyze887.0ms (22.9%)

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
13.3%	86.5%	0.2%	9
17.5%	82.3%	0.2%	10
23.6%	75.2%	1.2%	11
25%	72%	2.9%	12
35.8%	59.6%	4.6%	13
40.3%	54.3%	5.4%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (30.2%)

Results

876.0ms	8256×	body	128	valid
227.0ms	2198×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify50.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

936×	`fma-def_binary64`
721×	`fma-neg_binary64`
220×	`cancel-sign-sub-inv_binary64`
144×	`distribute-rgt-in_binary64`
107×	`div-sub_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	16	11
2	38	11
3	84	11
4	178	11
5	316	11
6	542	11
7	1015	11
8	1989	11
9	2988	11
10	3630	11
11	3668	11
12	3698	11
13	3703	11
14	3703	11

Stop Event

1×

saturated

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.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	7.0b	(fma.f64 x (/.f64 (-.f64 z t) y) t)
▶	2.0b	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)

Compiler

Compiled 71 to 40 computations (43.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series39.0ms (1%)

Counts

2 → 96

Calls

2 calls:

22.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
17.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

rewrite55.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

360×	`fma-def_binary64`
201×	`fma-neg_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
173×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	206	21
2	3117	21

Stop Event

1×	node limit

Counts

2 → 103

Calls

2 calls:

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

simplify88.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-def_binary64`
722×	`fma-neg_binary64`
222×	`cancel-sign-sub-inv_binary64`
151×	`distribute-rgt-in_binary64`
127×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	1020
1	95	1020
2	225	948
3	531	948
4	1100	948
5	2085	948
6	3275	948
7	3792	948
8	3819	948
9	3849	948
10	3854	948
11	3854	948

Stop Event

1×

saturated

Counts

199 → 120

prune71.0ms (1.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	115	5	120
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	117	5	122

Error

Counts

122 → 5

Alt Table

Status	Error	Program
	2.5b	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
	2.3b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
	6.8b	(+.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)
	5.9b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
▶	2.0b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 1904 to 579 computations (69.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series15.0ms (0.4%)

Counts

1 → 48

Calls

1 calls:

15.0ms

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

rewrite42.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

455×	`log-prod_binary64`
446×	`prod-diff_binary64`
199×	`fma-def_binary64`
170×	`expm1-udef_binary64`
170×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	175	11
2	2482	11

Stop Event

1×	node limit

Counts

1 → 29

Calls

1 calls:

41.0ms

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

simplify70.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

685×	`fma-neg_binary64`
624×	`fma-def_binary64`
169×	`cancel-sign-sub-inv_binary64`
155×	`distribute-rgt-in_binary64`
101×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	561
1	70	561
2	166	552
3	387	480
4	841	480
5	1521	480
6	2454	480
7	3086	480
8	3159	480
9	3221	480
10	3352	480
11	3352	480

Stop Event

1×

saturated

Counts

77 → 42

prune26.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	42	5	47

Error

Counts

47 → 5

Alt Table

Status	Error	Program
	2.5b	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
▶	2.3b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
	6.8b	(+.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)
	5.9b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	2.0b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 654 to 204 computations (68.8% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series44.0ms (1.1%)

Counts

2 → 96

Calls

2 calls:

22.0ms	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
22.0ms	(/.f64 (-.f64 z t) (/.f64 y x))

rewrite63.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

400×	`fma-def_binary64`
297×	`fma-neg_binary64`
210×	`expm1-udef_binary64`
210×	`log1p-udef_binary64`
143×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	214	21
2	3514	21

Stop Event

1×	node limit

Counts

2 → 143

Calls

2 calls:

60.0ms	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
60.0ms	(/.f64 (-.f64 z t) (/.f64 y x))

simplify94.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-def_binary64`
745×	`fma-neg_binary64`
219×	`cancel-sign-sub-inv_binary64`
151×	`distribute-rgt-in_binary64`
127×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	1020
1	95	1020
2	225	948
3	530	948
4	1099	948
5	2083	948
6	3294	948
7	3809	948
8	3836	948
9	3866	948
10	3871	948
11	3871	948

Stop Event

1×

saturated

Counts

239 → 159

prune89.0ms (2.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	159	5	164

Error

Counts

164 → 5

Alt Table

Status	Error	Program
▶	2.5b	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
✓	2.3b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
	6.8b	(+.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)
	5.9b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	2.0b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 2626 to 719 computations (72.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3)
	6.2b	(*.f64 (/.f64 x y) (-.f64 z t))
✓	7.3b	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))

series284.0ms (7.3%)

Counts

3 → 64

Calls

3 calls:

163.0ms	(pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3)
68.0ms	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
53.0ms	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))

rewrite63.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

399×	`fma-def_binary64`
231×	`fma-neg_binary64`
229×	`expm1-udef_binary64`
229×	`log1p-udef_binary64`
156×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	35
1	267	33
2	3639	33

Stop Event

1×	node limit

Counts

3 → 156

Calls

3 calls:

60.0ms	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
60.0ms	(pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3)
60.0ms	(cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t)))

simplify46.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
363×	`times-frac_binary64`
298×	`associate-/l*_binary64`
279×	`unswap-sqr_binary64`
246×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	1989
1	532	1983
2	1819	1898

Stop Event

1×	node limit

Counts

220 → 199

prune168.0ms (4.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	251	0	251
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	251	5	256

Error

Counts

256 → 5

Alt Table

Status	Error	Program
✓	2.5b	(+.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3) t)
✓	2.3b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
	6.8b	(+.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)
	5.9b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	2.0b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 5431 to 2370 computations (56.4% saved)

regimes376.0ms (9.7%)

Accuracy

Total 1.3b remaining (99.1%)

Threshold costs 0b (0%)

Counts

51 → 3

Compiler

Compiled 4112 to 2674 computations (35% saved)

bsearch28.0ms (0.7%)

Steps

Iters	Range		Point
5	1.6847108757209011e-56	4.0210634653561703e-56	2.8858824852870217e-56
6	-2.5251690502815096e-20	-1.5775961031533129e-21	-2.2024189491739263e-21

Compiler

Compiled 5 to 4 computations (20% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	52
1	31	52
2	35	52
3	37	52
4	38	52

Stop Event

1×

saturated

end67.0ms (1.7%)

Compiler: Compiled 147 to 84 computations (42.9% saved)

Details

analyze887.0ms (22.9%)

sample1.2s (30.2%)

simplify50.0ms (1.3%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series39.0ms (1%)

rewrite55.0ms (1.4%)

simplify88.0ms (2.3%)

prune71.0ms (1.8%)

localize7.0ms (0.2%)

series15.0ms (0.4%)

rewrite42.0ms (1.1%)

simplify70.0ms (1.8%)

prune26.0ms (0.7%)

localize6.0ms (0.2%)

series44.0ms (1.1%)

rewrite63.0ms (1.6%)

simplify94.0ms (2.4%)

prune89.0ms (2.3%)

localize9.0ms (0.2%)

series284.0ms (7.3%)

rewrite63.0ms (1.6%)

simplify46.0ms (1.2%)

prune168.0ms (4.3%)

regimes376.0ms (9.7%)

bsearch28.0ms (0.7%)

simplify4.0ms (0.1%)

end67.0ms (1.7%)

Profiling