Details

analyze607.0ms (18.7%)

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
49.1%	50.7%	0.2%	9
49.5%	50.3%	0.2%	10
49.7%	50.1%	0.2%	11
50.2%	49.6%	0.2%	12
60.5%	39.3%	0.2%	13
60.6%	37.9%	1.4%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.5s (45.8%)

Symmetry

(sort x y)

Results

1.1s	8256×	body	128	valid
287.0ms	2769×	body	128	invalid

Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify32.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1005×	`fma-neg_binary64`
560×	`rules-42_binary64`
552×	`rules-41_binary64`
547×	`rules-40_binary64`
487×	`rules-43_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	58	13
2	167	13
3	568	13
4	1791	13
5	18	13

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 39 to 27 computations (30.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series24.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

24.0ms

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

rewrite61.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

947×	`fma-neg_binary64`
200×	`expm1-udef_binary64`
200×	`log1p-udef_binary64`
172×	`log-pow_binary64`
111×	`add-sqr-sqrt_binary64`

Counts

1 → 34

Calls

1 calls:

60.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	245	13
2	3240	13
3	5025	13
0	0	0
1	0	0

simplify189.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

1308×	`rules-43_binary64`
653×	`rules-21_binary64`
546×	`rules-18-rev_binary64`
531×	`fma-neg_binary64`
399×	`rules-13-rev_binary64`

Counts

82 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	930
1	267	813
2	943	813
3	4794	579
4	2918	579
5	3947	579
6	4538	579
7	4664	579
8	4939	579
9	5805	579

prune34.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	2	48

Error

Counts

48 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
▶	0.0b	(-.f64 (+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))

Compiler

Compiled 671 to 337 computations (49.8% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series59.0ms (1.8%)

Counts

4 → 66

Calls

4 calls:

30.0ms	(-.f64 (+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
17.0ms	(+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t)))
6.0ms	(*.f64 1/2 (/.f64 z t))
6.0ms	(*.f64 1/2 (/.f64 x t))

rewrite99.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

284×	`log1p-udef_binary64`
178×	`egg-rr`
159×	`add-sqr-sqrt_binary64`
151×	`log1p-expm1-u_binary64`
151×	`expm1-log1p-u_binary64`

Counts

4 → 178

Calls

4 calls:

95.0ms	(*.f64 1/2 (/.f64 x t))
95.0ms	(+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t)))
95.0ms	(-.f64 (+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))
95.0ms	(*.f64 1/2 (/.f64 z t))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	49
1	352	46
2	4900	46
3	5299	46
0	0	0
1	0	0

simplify195.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1319×	`rules-43_binary64`
878×	`rules-18-rev_binary64`
577×	`rules-21_binary64`
471×	`fma-neg_binary64`
296×	`rules-11_binary64`

Counts

244 → 194

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	1062
1	212	966
2	815	966
3	4818	714
4	3174	714
5	4279	714
6	4612	714
7	4886	714
8	4953	714
9	5849	714

prune149.0ms (4.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	194	0	194
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	194	2	196

Error

Counts

196 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
✓	0.0b	(-.f64 (+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (/.f64 y t))) (*.f64 1/2 (/.f64 z t)))

Compiler

Compiled 4340 to 2049 computations (52.8% saved)

regimes242.0ms (7.5%)

Accuracy

Total 0.1b remaining (91.6%)

Threshold costs 0.1b (91.6%)

Counts

31 → 1

Compiler

Compiled 4160 to 2932 computations (29.5% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	10	13

end47.0ms (1.4%)

Remove: (sort x y)
Compiler: Compiled 86 to 60 computations (30.2% saved)

Details

analyze607.0ms (18.7%)

sample1.5s (45.8%)

simplify32.0ms (1%)

prune2.0ms (0%)

localize6.0ms (0.2%)

series24.0ms (0.7%)

rewrite61.0ms (1.9%)

simplify189.0ms (5.8%)

prune34.0ms (1%)

localize10.0ms (0.3%)

series59.0ms (1.8%)

rewrite99.0ms (3%)

simplify195.0ms (6%)

prune149.0ms (4.6%)

regimes242.0ms (7.5%)

simplify1.0ms (0%)

end47.0ms (1.4%)

Profiling