Details

analyze411.0ms (8.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
25%	74.9%	0.1%	5
43.7%	56.2%	0.1%	6
53.1%	42.1%	4.8%	7
59.3%	35.9%	4.8%	8
62.4%	30.4%	7.1%	9
64.8%	28.1%	7.1%	10
66%	25.8%	8.3%	11
66.9%	24.8%	8.3%	12
67.4%	23.7%	8.9%	13
67.9%	23.3%	8.9%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample4.0s (78.4%)

Results

2.5s	2483×	body	8192	exit
1.1s	7656×	body	128	valid
132.0ms	203×	body	1024	valid
93.0ms	232×	body	512	valid
43.0ms	165×	body	256	valid
10.0ms	77×	body	128	invalid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify98.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-def_binary64`
741×	`fabs-mul_binary64`
531×	`fabs-div_binary64`
469×	`swap-sqr_binary64`
420×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	19	11
2	28	11
3	45	11
4	59	11
5	89	11
6	120	11
7	148	11
8	188	11
9	201	11
10	231	11
11	257	11
12	336	11
13	544	11
14	967	11
15	2930	11
16	3463	11
17	3600	11
18	3896	11
19	4820	11
20	4969	11

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
✓	0.2b	(log1p.f64 (exp.f64 x))

series286.0ms (5.7%)

Counts

2 → 36

Calls

2 calls:

204.0ms	(log1p.f64 (exp.f64 x))
82.0ms	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite64.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

111× egg-rr

Counts

2 → 111

Calls

2 calls:

61.0ms	((log1p.f64 (exp.f64 x)) (-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	147	16
2	1853	16
3	5744	16
0	0	0
1	0	0

simplify75.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

537×	`fma-def_binary64`
442×	`distribute-rgt-neg-in_binary64`
418×	`sub-neg_binary64`
406×	`distribute-lft-out--_binary64`
345×	`unsub-neg_binary64`

Counts

147 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	356
1	81	350
2	182	337
3	540	321
4	1697	321
5	2831	321
6	4417	321
7	4976	321

prune63.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	129	2	131

Error

Counts

131 → 2

Alt Table

Status	Error	Program
✓	0.3b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
▶	13.8b	(fma.f64 x (-.f64 (fma.f64 x 1/8 1/2) y) (log.f64 2))

Compiler

Compiled 2824 to 637 computations (77.4% saved)

localize7.0ms (0.1%)

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Status	Error	Program
✓	0.3b	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))
✓	13.8b	(fma.f64 x (-.f64 (fma.f64 x 1/8 1/2) y) (log.f64 2))

Compiler

Compiled 21 to 15 computations (28.6% saved)

regimes32.0ms (0.6%)

Accuracy

Total 0.2b remaining (47.3%)

Threshold costs 0.2b (47.3%)

Counts

10 → 1

Compiler

Compiled 352 to 258 computations (26.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	13	11
2	23	11
3	29	11
4	33	11
5	34	11
6	34	11

end44.0ms (0.9%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

Details

analyze411.0ms (8.1%)

sample4.0s (78.4%)

simplify98.0ms (1.9%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series286.0ms (5.7%)

rewrite64.0ms (1.3%)

simplify75.0ms (1.5%)

prune63.0ms (1.2%)

localize7.0ms (0.1%)

prune1.0ms (0%)

regimes32.0ms (0.6%)

simplify2.0ms (0%)

end44.0ms (0.9%)

Profiling