Details

analyze2.0s (21.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
3.1%	46.8%	50%	5
4.7%	45.3%	50%	6
5.5%	44.5%	50%	7
5.9%	44.1%	50%	8
6%	43.9%	50%	9
6.1%	43.8%	50%	10
6.2%	43.8%	50%	11
6.2%	43.7%	50%	12
6.2%	43.7%	50%	13
6.2%	43.7%	50%	14

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample6.4s (68.5%)

Results

4.2s	4154×	body	1024	valid
1.2s	2055×	body	512	valid
544.0ms	408×	body	2048	valid
334.0ms	1006×	body	256	valid
108.0ms	633×	body	128	valid

Compiler

Compiled 44 to 34 computations (22.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg_binary64`
6×	`fma-def_binary64`
5×	`+-commutative_binary64`
4×	`associate-+l-_binary64`
3×	`associate--r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	14	10
2	19	10
3	25	10
4	32	10
5	42	10
6	53	10
7	66	10
8	70	10
9	53	10

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
	62.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 50 to 38 computations (24% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 x)
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

series22.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

19.0ms	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
3.0ms	(log1p.f64 x)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 40

Calls

2 calls:

2.0ms	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
0.0ms	(log1p.f64 x)

simplify75.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

402×	`fma-def_binary64`
311×	`times-frac_binary64`
271×	`div-sub_binary64`
203×	`sub-neg_binary64`
201×	`distribute-rgt-in_binary64`

Counts

64 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	1790
1	577	1707
2	1978	1499
3	4610	1497
4	5143	1497

prune58.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	85	3	88

Error

Counts

88 → 3

Alt Table

Status	Error	Program
	41.5b	(cbrt.f64 (/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))))
▶	0.4b	(-.f64 -1 x)
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 2092 to 1245 computations (40.5% saved)

localize2.0ms (0%)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Status	Error	Program
▶	41.5b	(cbrt.f64 (/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))))
✓	0.4b	(-.f64 -1 x)
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 55 to 28 computations (49.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x)))
✓	0.1b	(.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x)))
✓	0.1b	(.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))
✓	41.2b	(/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x)))

series207.0ms (2.2%)

Counts

4 → 48

Calls

4 calls:

173.0ms	(/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x)))
15.0ms	(.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))
14.0ms	(.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x)))
5.0ms	(*.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x)))

rewrite38.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-cbrt-cube_binary64`
52×	`add-exp-log_binary64`
49×	`pow1_binary64`
25×	`cbrt-unprod_binary64`
25×	`prod-exp_binary64`

Counts

4 → 122

Calls

4 calls:

12.0ms	(/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x)))
7.0ms	(.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))
5.0ms	(.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x)))
3.0ms	(*.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x)))

simplify139.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary64`
696×	`times-frac_binary64`
462×	`associate-/l*_binary64`
225×	`+-commutative_binary64`
180×	`associate-+r+_binary64`

Counts

170 → 223

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	679	8935
1	2293	7033
2	5480	7033

prune243.0ms (2.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

226 → 3

Alt Table

Status	Error	Program
✓	41.5b	(cbrt.f64 (/.f64 (.f64 (.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 (neg.f64 x))) (log1p.f64 (neg.f64 x))) (.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (log1p.f64 x))))
✓	0.4b	(-.f64 -1 x)
✓	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 11932 to 6978 computations (41.5% saved)

regimes60.0ms (0.6%)

Accuracy

Total 0.0b remaining (75.1%)

Threshold costs 0.0b (75.1%)

Counts

30 → 1

Compiler

Compiled 991 to 649 computations (34.5% saved)

simplify3.0ms (0%)

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

end48.0ms (0.5%)

Compiler: Compiled 47 to 28 computations (40.4% saved)

Details

analyze2.0s (21.4%)

sample6.4s (68.5%)

simplify8.0ms (0.1%)

prune5.0ms (0.1%)

localize4.0ms (0%)

series22.0ms (0.2%)

rewrite6.0ms (0.1%)

simplify75.0ms (0.8%)

prune58.0ms (0.6%)

localize2.0ms (0%)

prune5.0ms (0.1%)

localize10.0ms (0.1%)

series207.0ms (2.2%)

rewrite38.0ms (0.4%)

simplify139.0ms (1.5%)

prune243.0ms (2.6%)

regimes60.0ms (0.6%)

simplify3.0ms (0%)

end48.0ms (0.5%)

Profiling