Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	50%	50%	2
25%	25%	50%	3
25%	12.5%	62.5%	4
25%	6.2%	68.8%	5
25%	3.1%	71.9%	6
25%	1.6%	73.5%	7
25%	0.8%	74.2%	8
25%	0.4%	74.6%	9
25%	0.2%	74.8%	10
25%	0.1%	74.9%	11
25%	0%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.1s (40.1%)

Results

902.0ms	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify174.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1887×	`fma-neg_binary64`
921×	`unsub-neg_binary64`
788×	`associate-+l+_binary64`
692×	`fma-def_binary64`
383×	`associate-+r+_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
2	12	10
3	19	10
4	26	10
5	43	10
6	69	10
7	94	10
8	140	10
9	261	10
10	495	10
11	1237	10
12	2158	10
13	2012	10
14	2131	10
15	2179	10
16	2189	10
17	2189	10
18	3301	10
19	3309	10
20	3361	10
21	3361	10
22	3885	10
23	4995	10
24	4994	10

prune2.0ms (0.1%)

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(log.f64 (log.f64 x))
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series688.0ms (25.1%)

Counts

2 → 16

Calls

2 calls:

368.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
320.0ms	(log.f64 (log.f64 x))

rewrite135.0ms (4.9%)

Algorithm

2×	egg-rewrite

Rules

110×	`egg`
36×	`egg`

Counts

2 → 146

Calls

2 calls:

76.0ms	(log.f64 (log.f64 x))
57.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	105	8
2	1378	8
3	5175	8
0	4	5
1	71	5
2	779	5
3	4823	5
4	5613	5

simplify171.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1676×	`fma-def_binary64`
1385×	`associate--r-_binary64`
669×	`distribute-rgt-in_binary64`
625×	`fma-neg_binary64`
487×	`distribute-lft-in_binary64`

Counts

162 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	216
1	41	136
2	81	120
3	182	120
4	391	120
5	866	120
6	1405	120
7	1676	120
8	1791	120
9	1951	120
10	2100	120
11	2170	120
12	3345	120
13	3349	120
14	3349	120
15	3677	120
16	3689	120
17	3667	120
18	3733	120
19	3777	120
20	5120	120

prune76.0ms (2.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	150	2	152

Error

Counts

152 → 2

Alt Table

Status	Error	Program
▶	0.0b	(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 2218 to 743 computations (66.5% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (log.f64 x) x)

series27.0ms (1%)

Counts

1 → 8

Calls

1 calls:

27.0ms

(/.f64 (log.f64 x) x)

rewrite81.0ms (2.9%)

Algorithm

1×	egg-rewrite

Rules

70× egg

Counts

1 → 70

Calls

1 calls:

80.0ms

(/.f64 (log.f64 x) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	81	6
2	1057	6
3	4738	6
4	5005	6

simplify171.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

2035×	`div-sub_binary64`
570×	`associate--l+_binary64`
550×	`associate-/l*_binary64`
550×	`distribute-rgt-out--_binary64`
543×	`associate--r+_binary64`

Counts

78 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	80
1	34	80
2	67	48
3	150	48
4	341	48
5	521	48
6	659	48
7	1363	48
8	1317	48
9	1409	48
10	1591	48
11	1665	48
12	1981	48
13	4387	48
14	4164	48
15	4040	48
16	4188	48
17	4188	48
18	5568	48

prune35.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	2	75

Error

Counts

75 → 2

Alt Table

Status	Error	Program
✓	0.0b	(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
✓	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 915 to 505 computations (44.8% saved)

regimes25.0ms (0.9%)

Accuracy

Total 0.0b remaining (66.7%)

Threshold costs 0.0b (66.7%)

Counts

6 → 1

Compiler

Compiled 192 to 125 computations (34.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	12	10
3	13	10
4	13	10

end38.0ms (1.4%)

Compiler: Compiled 28 to 19 computations (32.1% saved)

Details

analyze3.0ms (0.1%)

sample1.1s (40.1%)

simplify174.0ms (6.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

series688.0ms (25.1%)

rewrite135.0ms (4.9%)

simplify171.0ms (6.2%)

prune76.0ms (2.8%)

localize7.0ms (0.3%)

series27.0ms (1%)

rewrite81.0ms (2.9%)

simplify171.0ms (6.2%)

prune35.0ms (1.3%)

regimes25.0ms (0.9%)

simplify2.0ms (0.1%)

end38.0ms (1.4%)

Profiling