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)

sample718.0ms (52.4%)

Results

689.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)

rewrite5.0ms (0.4%)

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:

3.0ms

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

simplify82.0ms (6%)

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

prune24.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	3	43

Error

Counts

43 → 3

Alt Table

Status	Error	Program
	0.2b	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
▶	0.0b	(fma.f64 1/116 x 4/29)
✓	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 501 to 422 computations (15.8% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

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

simplify114.0ms (8.3%)

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

prune8.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	15	3	18

Error

Counts

18 → 3

Alt Table

Status	Error	Program
▶	0.2b	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
✓	0.0b	(fma.f64 1/116 x 4/29)
✓	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 140 to 117 computations (16.4% saved)

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
✓	0.2b	(/.f64 (+.f64 x 16) (sqrt.f64 116))

series30.0ms (2.2%)

Counts

2 → 24

Calls

2 calls:

25.0ms	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
5.0ms	(/.f64 (+.f64 x 16) (sqrt.f64 116))

rewrite35.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`add-sqr-sqrt_binary64`
88×	`times-frac_binary64`
79×	`*-un-lft-identity_binary64`
47×	`sqrt-prod_binary64`
47×	`add-cube-cbrt_binary64`

Counts

2 → 141

Calls

2 calls:

20.0ms	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
5.0ms	(/.f64 (+.f64 x 16) (sqrt.f64 116))

simplify122.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

524×	`fma-def_binary64`
506×	`times-frac_binary64`
433×	`associate-/l*_binary64`
378×	`associate-*l/_binary64`
350×	`distribute-rgt-in_binary64`

Counts

165 → 189

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	2968
1	361	2426
2	1214	2424
3	3614	2306
4	4659	2306
5	4949	2306

prune125.0ms (9.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

192 → 3

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (/.f64 1 (sqrt.f64 116)) (/.f64 (+.f64 x 16) (sqrt.f64 116)))
✓	0.0b	(fma.f64 1/116 x 4/29)
✓	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 3529 to 3229 computations (8.5% saved)

regimes35.0ms (2.6%)

Accuracy

Total 0.0b remaining (90.6%)

Threshold costs 0.0b (90.6%)

Counts

11 → 1

Compiler

Compiled 252 to 216 computations (14.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

end49.0ms (3.6%)

Compiler: Compiled 35 to 30 computations (14.3% saved)

Details

analyze1.0ms (0.1%)

sample718.0ms (52.4%)

simplify6.0ms (0.4%)

prune1.0ms (0.1%)

localize3.0ms (0.2%)

series2.0ms (0.1%)

rewrite5.0ms (0.4%)

simplify82.0ms (6%)

prune24.0ms (1.8%)

localize2.0ms (0.2%)

series2.0ms (0.1%)

rewrite1.0ms (0%)

simplify114.0ms (8.3%)

prune8.0ms (0.6%)

localize6.0ms (0.4%)

series30.0ms (2.2%)

rewrite35.0ms (2.5%)

simplify122.0ms (8.9%)

prune125.0ms (9.1%)

regimes35.0ms (2.6%)

simplify2.0ms (0.1%)

end49.0ms (3.6%)

Profiling