Details

analyze438.0ms (3.1%)

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.4s (9.5%)

Results

1.0s	8256×	body	128	valid
88.0ms	808×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify209.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))

series910.0ms (6.3%)

Counts

3 → 84

Calls

3 calls:

351.0ms	(*.f64 x (log.f64 (/.f64 x y)))
321.0ms	(log.f64 (/.f64 x y))
237.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)

rewrite21.0ms (0.1%)

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:

7.0ms	(-.f64 (*.f64 x (log.f64 (/.f64 x y))) z)
4.0ms	(*.f64 x (log.f64 (/.f64 x y)))
2.0ms	(log.f64 (/.f64 x y))

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

prune146.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.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x 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)
	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)
	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)
	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)

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.8s (12.3%)

Counts

4 → 72

Calls

4 calls:

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

rewrite50.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:

9.0ms	(.f64 x (.f64 2 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
7.0ms	(/.f64 (cbrt.f64 x) (cbrt.f64 y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 y)

simplify189.0ms (1.3%)

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 → 349

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	467	8665
1	829	8213
2	2354	7872
3	5170	7872

prune400.0ms (2.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	477	0	477
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	477	7	484

Error

Counts

484 → 7

Alt Table

Status	Error	Program
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x 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)
	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)
▶	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)
	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)

Compiler

Compiled 15048 to 5070 computations (66.3% saved)

localize13.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.6s (24.8%)

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)))
40.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite36.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))))
9.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
2.0ms	(log.f64 (/.f64 x (cbrt.f64 y)))

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

prune235.0ms (1.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	268	0	268
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	268	7	275

Error

Counts

275 → 7

Alt Table

Status	Error	Program
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x 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)
	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)
✓	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)
▶	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)

Compiler

Compiled 6561 to 2603 computations (60.3% saved)

localize13.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.5s (24.2%)

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.1s	(log.f64 (/.f64 (cbrt.f64 x) y))
36.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

rewrite18.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 (cbrt.f64 x) (cbrt.f64 x))
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))
2.0ms	(log.f64 (/.f64 (cbrt.f64 x) y))

simplify115.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	2365
1	423	2161
2	1338	1870
3	4324	1820
4	4952	1820
5	5161	1820

prune168.0ms (1.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	202	7	209

Error

Counts

209 → 7

Alt Table

Status	Error	Program
✓	13.4b	(-.f64 (*.f64 x (log.f64 (/.f64 x 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)
	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)
✓	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)
✓	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)

Compiler

Compiled 5307 to 2130 computations (59.9% saved)

regimes847.0ms (5.9%)

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

analyze438.0ms (3.1%)

sample1.4s (9.5%)

simplify209.0ms (1.5%)

prune1.0ms (0%)

localize6.0ms (0%)

series910.0ms (6.3%)

rewrite21.0ms (0.1%)

simplify151.0ms (1.1%)

prune146.0ms (1%)

localize13.0ms (0.1%)

series1.8s (12.3%)

rewrite50.0ms (0.3%)

simplify189.0ms (1.3%)

prune400.0ms (2.8%)

localize13.0ms (0.1%)

series3.6s (24.8%)

rewrite36.0ms (0.2%)

simplify110.0ms (0.8%)

prune235.0ms (1.6%)

localize13.0ms (0.1%)

series3.5s (24.2%)

rewrite18.0ms (0.1%)

simplify115.0ms (0.8%)

prune168.0ms (1.2%)

regimes847.0ms (5.9%)

simplify3.0ms (0%)

end94.0ms (0.7%)

Profiling