Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample582.0ms (43.8%)

Results

555.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 17 computations (15% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 18 to 15 computations (16.7% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(/.f64 (+.f64 x 16) 116)

rewrite8.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
4×	`associate-/l*_binary64`

Counts

1 → 35

Calls

1 calls:

6.0ms

(/.f64 (+.f64 x 16) 116)

simplify92.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

583×	`fma-def_binary64`
508×	`distribute-rgt-in_binary64`
406×	`distribute-lft-in_binary64`
380×	`associate-/l/_binary64`
344×	`div-sub_binary64`

Counts

47 → 42

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	70	547
1	137	497
2	291	493
3	589	492
4	1285	490
5	2588	490
6	4720	490
7	4923	490

prune25.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Error

Counts

43 → 4

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
	19.6b	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))
	19.5b	(expm1.f64 (log1p.f64 (/.f64 (+.f64 x 16) 116)))
▶	0.1b	(fma.f64 1/116 x 4/29)

Compiler

Compiled 511 to 430 computations (15.9% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 1/116 x 4/29)

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

1.0ms

(fma.f64 1/116 x 4/29)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma.f64 1/116 x 4/29)

simplify117.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-*r/_binary64`
493×	`distribute-rgt-in_binary64`
446×	`distribute-lft-out_binary64`
406×	`distribute-rgt-out_binary64`
402×	`associate-l_binary64`

Counts

22 → 15

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	142
1	19	131
2	42	131
3	104	131
4	284	131
5	900	131
6	1555	131
7	2510	131
8	2614	131
9	3104	131
10	4503	131
11	4866	131
12	4988	131
13	4798	131

prune13.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	16	3	19

Error

Counts

19 → 3

Alt Table

Status	Error	Program
▶	19.5b	(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))
✓	0.0b	(/.f64 (+.f64 x 16) 116)
	19.6b	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))

Compiler

Compiled 143 to 119 computations (16.8% saved)

localize5.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 1/116 x 4/29)
✓	1.3b	(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 11

Calls

1 calls:

0.0ms

(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))

simplify109.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-*r/_binary64`
493×	`distribute-rgt-in_binary64`
446×	`distribute-lft-out_binary64`
406×	`distribute-rgt-out_binary64`
402×	`associate-l_binary64`

Counts

23 → 21

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	147
1	21	136
2	44	136
3	106	136
4	286	136
5	902	136
6	1557	136
7	2512	136
8	2616	136
9	3106	136
10	4505	136
11	4868	136
12	4990	136
13	4800	136

prune21.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	36	3	39

Error

Counts

39 → 3

Alt Table

Status	Error	Program
✓	19.5b	(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))
✓	0.0b	(/.f64 (+.f64 x 16) 116)
▶	19.6b	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))

Compiler

Compiled 353 to 302 computations (14.4% saved)

localize8.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (+.f64 x 16))
✓	0.1b	(-.f64 (log.f64 (+.f64 x 16)) (log.f64 116))
✓	1.3b	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))

series22.0ms (1.6%)

Counts

3 → 36

Calls

3 calls:

17.0ms	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))
3.0ms	(-.f64 (log.f64 (+.f64 x 16)) (log.f64 116))
2.0ms	(log.f64 (+.f64 x 16))

rewrite22.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`*-un-lft-identity_binary64`
32×	`prod-diff_binary64`
31×	`add-sqr-sqrt_binary64`
31×	`pow1_binary64`
28×	`log-pow_binary64`

Counts

3 → 113

Calls

3 calls:

8.0ms	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))
6.0ms	(-.f64 (log.f64 (+.f64 x 16)) (log.f64 116))
2.0ms	(log.f64 (+.f64 x 16))

simplify111.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

850×	`fma-neg_binary64`
614×	`fma-def_binary64`
290×	`associate-l_binary64`
239×	`times-frac_binary64`
236×	`associate-r_binary64`

Counts

149 → 181

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	212	2372
1	448	1652
2	1233	1539
3	3706	1533
4	4902	1532
5	4728	1532

prune99.0ms (7.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

184 → 3

Alt Table

Status	Error	Program
✓	19.5b	(expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))
✓	0.0b	(/.f64 (+.f64 x 16) 116)
✓	19.6b	(exp.f64 (-.f64 (log.f64 (+.f64 x 16)) (log.f64 116)))

Compiler

Compiled 3069 to 2711 computations (11.7% saved)

regimes33.0ms (2.5%)

Accuracy

Total 0.0b remaining (80.5%)

Threshold costs 0.0b (80.5%)

Counts

13 → 1

Compiler

Compiled 240 to 201 computations (16.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

end41.0ms (3.1%)

Compiler: Compiled 34 to 29 computations (14.7% saved)

Details

analyze1.0ms (0.1%)

sample582.0ms (43.8%)

simplify6.0ms (0.4%)

prune1.0ms (0.1%)

localize3.0ms (0.2%)

series2.0ms (0.1%)

rewrite8.0ms (0.6%)

simplify92.0ms (6.9%)

prune25.0ms (1.9%)

localize2.0ms (0.2%)

series2.0ms (0.1%)

rewrite1.0ms (0%)

simplify117.0ms (8.8%)

prune13.0ms (1%)

localize5.0ms (0.4%)

series2.0ms (0.1%)

rewrite1.0ms (0%)

simplify109.0ms (8.2%)

prune21.0ms (1.5%)

localize8.0ms (0.6%)

series22.0ms (1.6%)

rewrite22.0ms (1.7%)

simplify111.0ms (8.3%)

prune99.0ms (7.4%)

regimes33.0ms (2.5%)

simplify2.0ms (0.1%)

end41.0ms (3.1%)

Profiling