Details

analyze409.0ms (2.9%)

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
0%	87.4%	12.6%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
12.5%	56.2%	31.4%	8
14%	48.4%	37.6%	9
21.1%	41.3%	37.6%	10
26.9%	32.4%	40.7%	11
28.7%	27.5%	43.8%	12
33.4%	22.7%	43.8%	13
37.2%	17.4%	45.4%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.3s (9.3%)

Results

980.0ms	8256×	body	128	valid
85.0ms	808×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify204.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2528×	`fma-neg_binary64`
1701×	`fma-def_binary64`
364×	`distribute-rgt-in_binary64`
336×	`unsub-neg_binary64`
328×	`associate--r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	15	12
2	23	12
3	39	12
4	85	12
5	184	12
6	322	12
7	518	12
8	681	12
9	1097	12
10	1783	12
11	1812	12
12	1882	12
13	1916	12
14	1930	12
15	3312	12
16	4220	12
17	3919	12
18	4053	12
19	4118	12
20	4154	12
21	4164	12
22	4224	12
23	4182	12
24	4182	12
25	5994	12

prune1.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

13.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
✓	0.3b	(*.f64 x (log.f64 (/.f64 x y)))
✓	12.9b	(log.f64 (/.f64 x y))

series902.0ms (6.4%)

Counts

3 → 84

Calls

3 calls:

343.0ms	(*.f64 x (log.f64 (/.f64 x y)))
331.0ms	(log.f64 (/.f64 x y))
228.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`log-prod_binary64`
45×	`times-frac_binary64`
44×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
42×	`add-cube-cbrt_binary64`

Counts

3 → 119

Calls

3 calls:

6.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
4.0ms	(*.f64 x (log.f64 (/.f64 x y)))
3.0ms	(log.f64 (/.f64 x y))

simplify149.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-def_binary64`
603×	`fma-neg_binary64`
459×	`distribute-rgt-in_binary64`
432×	`distribute-lft-in_binary64`
129×	`associate-l_binary64`

Counts

203 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	2794
1	420	2726
2	1328	2685
3	4402	2685
4	4978	2685
5	4998	2685
6	4957	2685

prune139.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	172	6	178
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	172	7	179

Error

Counts

179 → 7

Alt Table

Status	Error	Program
	13.8b	(-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 (/.f64 x y))) (cbrt.f64 (log.f64 (/.f64 x y))))) (cbrt.f64 (log.f64 (/.f64 x y)))) z)
	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
▶	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
	2.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	29.2b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	38.2b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)

Compiler

Compiled 3083 to 954 computations (69.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
✓	0.4b	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)
✓	0.6b	(cbrt.f64 x)

series1.7s (12.4%)

Counts

4 → 72

Calls

4 calls:

1.3s	(.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
343.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
30.0ms	(cbrt.f64 x)
28.0ms	(cbrt.f64 y)

rewrite48.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

192×	`cbrt-prod_binary64`
180×	`times-frac_binary64`
160×	`distribute-lft-in_binary64`
160×	`distribute-rgt-in_binary64`
160×	`log-prod_binary64`

Counts

4 → 268

Calls

4 calls:

11.0ms	(.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
3.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify194.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

485×	`distribute-rgt-in_binary64`
412×	`associate-r_binary64`
412×	`associate-l_binary64`
393×	`distribute-lft-in_binary64`
282×	`*-commutative_binary64`

Counts

340 → 335

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	467	8665
1	829	8465
2	2354	8145
3	5170	8145

prune378.0ms (2.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	454	0	454
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	454	7	461

Error

Counts

461 → 7

Alt Table

Status	Error	Program
	13.8b	(-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 (/.f64 x y))) (cbrt.f64 (log.f64 (/.f64 x y))))) (cbrt.f64 (log.f64 (/.f64 x y)))) z)
	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
✓	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
▶	2.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	29.2b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	38.2b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)

Compiler

Compiled 14319 to 4750 computations (66.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))
✓	0.6b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.6b	(cbrt.f64 y)
✓	2.8b	(log.f64 (/.f64 x (cbrt.f64 y)))

series3.5s (25.2%)

Counts

3 → 60

Calls

3 calls:

2.4s	(+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))
1.1s	(log.f64 (/.f64 x (cbrt.f64 y)))
35.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`log-prod_binary64`
48×	`add-sqr-sqrt_binary64`
44×	`*-un-lft-identity_binary64`
40×	`add-cube-cbrt_binary64`
39×	`times-frac_binary64`

Counts

3 → 139

Calls

3 calls:

12.0ms	(+.f64 (log.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
2.0ms	(log.f64 (/.f64 x (cbrt.f64 y)))

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

801×	`fma-neg_binary64`
279×	`log-prod_binary64`
270×	`fma-def_binary64`
223×	`associate-l_binary64`
194×	`log-div_binary64`

Counts

199 → 214

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	3304
1	434	2997
2	1233	2623
3	4078	2607
4	5093	2607

prune219.0ms (1.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	265	0	265
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	265	7	272

Error

Counts

272 → 7

Alt Table

Status	Error	Program
	13.8b	(-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 (/.f64 x y))) (cbrt.f64 (log.f64 (/.f64 x y))))) (cbrt.f64 (log.f64 (/.f64 x y)))) z)
▶	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
✓	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
✓	2.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	29.2b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	38.2b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)

Compiler

Compiled 6489 to 2569 computations (60.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
✓	4.1b	(log.f64 (/.f64 (cbrt.f64 x) y))

series3.4s (24.4%)

Counts

3 → 60

Calls

3 calls:

2.4s	(+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
1.0s	(log.f64 (/.f64 (cbrt.f64 x) y))
41.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
25×	`cbrt-prod_binary64`
24×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`log-prod_binary64`

Counts

3 → 92

Calls

3 calls:

5.0ms	(+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
3.0ms	(log.f64 (/.f64 (cbrt.f64 x) y))

simplify118.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

569×	`fma-neg_binary64`
459×	`distribute-rgt-in_binary64`
437×	`fma-def_binary64`
427×	`distribute-lft-in_binary64`
243×	`log-prod_binary64`

Counts

152 → 148

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	2419
1	423	2211
2	1338	1928
3	4324	1878
4	4952	1878
5	5161	1878

prune165.0ms (1.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	199	0	199
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	199	7	206

Error

Counts

206 → 7

Alt Table

Status	Error	Program
	13.8b	(-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 (/.f64 x y))) (cbrt.f64 (log.f64 (/.f64 x y))))) (cbrt.f64 (log.f64 (/.f64 x y)))) z)
✓	4.5b	(-.f64 (+.f64 (.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) x) (*.f64 (log.f64 (/.f64 (cbrt.f64 x) y)) x)) z)
✓	0.2b	(-.f64 (+.f64 (.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (*.f64 x (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) z)
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
✓	2.7b	(-.f64 (.f64 x (+.f64 (log.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (log.f64 (/.f64 x (cbrt.f64 y))))) z)
	29.2b	(-.f64 (*.f64 x (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (neg.f64 x)))) z)
	38.2b	(-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 (/.f64 x y)))) (sqrt.f64 (log.f64 (/.f64 x y)))) z)

Compiler

Compiled 5245 to 2095 computations (60.1% saved)

regimes780.0ms (5.6%)

Accuracy

Total 0.2b remaining (86%)

Threshold costs 0.2b (86%)

Counts

137 → 1

Compiler

Compiled 13119 to 8405 computations (35.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-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	13	31
1	18	31
2	23	31
3	25	31
4	26	31
5	26	31

end94.0ms (0.7%)

Compiler: Compiled 180 to 101 computations (43.9% saved)

Details

analyze409.0ms (2.9%)

sample1.3s (9.3%)

simplify204.0ms (1.5%)

prune1.0ms (0%)

localize6.0ms (0%)

series902.0ms (6.4%)

rewrite21.0ms (0.2%)

simplify149.0ms (1.1%)

prune139.0ms (1%)

localize13.0ms (0.1%)

series1.7s (12.4%)

rewrite48.0ms (0.3%)

simplify194.0ms (1.4%)

prune378.0ms (2.7%)

localize14.0ms (0.1%)

series3.5s (25.2%)

rewrite28.0ms (0.2%)

simplify111.0ms (0.8%)

prune219.0ms (1.6%)

localize16.0ms (0.1%)

series3.4s (24.4%)

rewrite17.0ms (0.1%)

simplify118.0ms (0.8%)

prune165.0ms (1.2%)

regimes780.0ms (5.6%)

simplify3.0ms (0%)

end94.0ms (0.7%)

Profiling