Details

analyze424.0ms (6.5%)

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)

sample3.8s (58.3%)

Results

2.4s	2442×	body	8192	exit
996.0ms	7614×	body	128	valid
156.0ms	241×	body	1024	valid
92.0ms	239×	body	512	valid
40.0ms	160×	body	256	valid
9.0ms	75×	body	128	invalid
2.0ms	2×	body	2048	valid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify98.0ms (1.5%)

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

prune3.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.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize6.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.0b	(log1p.f64 (exp.f64 x))

series217.0ms (3.4%)

Counts

2 → 36

Calls

2 calls:

150.0ms	(log1p.f64 (exp.f64 x))
67.0ms	(-.f64 (log1p.f64 (exp.f64 x)) (*.f64 x y))

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`
3×	`fma-neg_binary64`

Counts

2 → 32

Calls

2 calls:

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

simplify76.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

620×	`cancel-sign-sub-inv_binary64`
339×	`unswap-sqr_binary64`
285×	`*-commutative_binary64`
285×	`unsub-neg_binary64`
252×	`distribute-rgt-in_binary64`

Counts

68 → 56

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	73	789
1	167	742
2	426	710
3	1507	707
4	3171	707
5	4588	701
6	4872	701

prune36.0ms (0.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	2	57

Error

0.0b

Counts

57 → 2

Alt Table

Status	Error	Program
▶	0.5b	(-.f64 (.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x)))) (.f64 x y))
	15.2b	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))

Compiler

Compiled 804 to 296 computations (63.2% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series354.0ms (5.5%)

Counts

3 → 48

Calls

3 calls:

146.0ms

(*.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))

145.0ms

(sqrt.f64 (log1p.f64 (exp.f64 x)))

63.0ms

(-.f64 (*.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
21×	`sqrt-prod_binary64`
19×	`pow1_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`

Counts

3 → 84

Calls

3 calls:

7.0ms

(*.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x))))

4.0ms

(-.f64 (*.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))) (sqrt.f64 (log1p.f64 (exp.f64 x)))) (*.f64 x y))

1.0ms

(sqrt.f64 (log1p.f64 (exp.f64 x)))

simplify129.0ms (2%)

Algorithm

1×	egg-herbie

Rules

565×	`fma-neg_binary64`
418×	`associate-l_binary64`
402×	`fma-def_binary64`
354×	`associate-r_binary64`
234×	`distribute-rgt-neg-in_binary64`

Counts

132 → 127

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1515
1	310	1442
2	896	1374
3	3032	1329
4	4719	1329
5	4920	1329
6	4997	1329
7	4903	1329

prune120.0ms (1.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	193	2	195

Error

Counts

195 → 2

Alt Table

Status	Error	Program
▶	0.5b	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))
	15.2b	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))

Compiler

Compiled 3716 to 1264 computations (66% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))
	0.0b	(log1p.f64 (exp.f64 x))
	0.7b	(sqrt.f64 (log1p.f64 (exp.f64 x)))
✓	1.3b	(log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))))

series394.0ms (6.1%)

Counts

2 → 36

Calls

2 calls:

332.0ms	(log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))))
62.0ms	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`log-prod_binary64`
6×	`add-cube-cbrt_binary64`
4×	`fma-neg_binary64`

Counts

2 → 41

Calls

2 calls:

8.0ms	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))
1.0ms	(log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x))))

simplify63.0ms (1%)

Algorithm

1×	egg-herbie

Rules

436×	`fma-neg_binary64`
276×	`fma-def_binary64`
268×	`distribute-rgt-in_binary64`
225×	`associate-r_binary64`
225×	`associate-l_binary64`

Counts

77 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	124	1260
1	267	1022
2	745	998
3	2797	986
4	4907	986

prune123.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	195	2	197

Error

Counts

197 → 2

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))
▶	15.2b	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))

Compiler

Compiled 4629 to 1715 computations (63% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))
✓	0.0b	(.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8)))

series23.0ms (0.3%)

Counts

2 → 48

Calls

2 calls:

16.0ms	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))
6.0ms	(.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8)))

rewrite62.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
5×	`pow1_binary64`
4×	`fma-def_binary64`

Counts

2 → 46

Calls

2 calls:

54.0ms	(.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8)))
5.0ms	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))

simplify69.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

672×	`distribute-rgt-in_binary64`
662×	`distribute-lft-in_binary64`
493×	`fma-def_binary64`
349×	`fma-neg_binary64`
142×	`associate-+l+_binary64`

Counts

94 → 91

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	96	1599
1	275	1215
2	949	1215
3	4725	1215
4	4997	1215

prune63.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	91	2	93

Error

Counts

93 → 2

Alt Table

Status	Error	Program
✓	0.5b	(-.f64 (exp.f64 (+.f64 (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))) (log.f64 (sqrt.f64 (log1p.f64 (exp.f64 x)))))) (*.f64 x y))
✓	15.2b	(+.f64 (log.f64 2) (.f64 x (+.f64 (-.f64 1/2 y) (.f64 x 1/8))))

Compiler

Compiled 1691 to 1266 computations (25.1% saved)

regimes334.0ms (5.2%)

Accuracy

Total 0.2b remaining (52.4%)

Threshold costs 0.2b (52.4%)

Counts

110 → 1

Compiler

Compiled 4613 to 3148 computations (31.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	10	11
1	19	11
2	28	11
3	34	11
4	38	11
5	39	11
6	37	11

end50.0ms (0.8%)

Compiler: Compiled 50 to 33 computations (34% saved)

Details

analyze424.0ms (6.5%)

sample3.8s (58.3%)

simplify98.0ms (1.5%)

prune3.0ms (0%)

localize6.0ms (0.1%)

series217.0ms (3.4%)

rewrite4.0ms (0.1%)

simplify76.0ms (1.2%)

prune36.0ms (0.6%)

localize8.0ms (0.1%)

series354.0ms (5.5%)

rewrite16.0ms (0.2%)

simplify129.0ms (2%)

prune120.0ms (1.8%)

localize12.0ms (0.2%)

series394.0ms (6.1%)

rewrite11.0ms (0.2%)

simplify63.0ms (1%)

prune123.0ms (1.9%)

localize8.0ms (0.1%)

series23.0ms (0.3%)

rewrite62.0ms (0.9%)

simplify69.0ms (1.1%)

prune63.0ms (1%)

regimes334.0ms (5.2%)

simplify3.0ms (0.1%)

end50.0ms (0.8%)

Profiling