Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.6s (28.4%)

Results

640.0ms	2050×	body	1024	valid
432.0ms	4466×	body	128	valid
239.0ms	1001×	body	512	valid
94.0ms	516×	body	256	valid
92.0ms	223×	body	2048	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify85.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-neg_binary64`
770×	`fma-def_binary64`
322×	`div-sub_binary64`
178×	`associate-/l*_binary64`
150×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	34	19
4	57	19
5	91	19
6	178	19
7	277	19
8	643	19
9	788	19
10	1024	19
11	1265	19
12	1242	19
13	1248	19
14	1246	19
15	1248	19
16	1250	19
17	1260	19
18	1260	19
19	1171	19

prune2.0ms (0%)

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

30.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	30.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 x (+.f64 x 1))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
✓	2.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series8.0ms (0.1%)

Counts

3 → 36

Calls

3 calls:

3.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
2.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
2.0ms	(/.f64 x (+.f64 x 1))

rewrite222.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Rules

1322×	`*-un-lft-identity_binary64`
1012×	`times-frac_binary64`
869×	`add-sqr-sqrt_binary64`
612×	`prod-diff_binary64`
533×	`add-cube-cbrt_binary64`

Counts

3 → 783

Calls

3 calls:

43.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
6.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
5.0ms	(/.f64 x (+.f64 x 1))

simplify930.0ms (16.5%)

Algorithm

1×	egg-herbie

Rules

654×	`fma-neg_binary64`
367×	`unsub-neg_binary64`
299×	`fma-udef_binary64`
213×	`sub-neg_binary64`
202×	`associate-+r-_binary64`

Counts

819 → 619

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	545	54602
1	1290	31108
2	3043	22839
3	4323	22837
4	4983	22837
5	4991	22837
6	4742	22837

prune630.0ms (11.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	616	3	619
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	616	4	620

Error

Counts

620 → 4

Alt Table

Status	Error	Program
✓	30.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
▶	30.0b	(neg.f64 (+.f64 (.f64 3 (/.f64 1 x)) (+.f64 (.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))))
	30.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
	33.5b	(+.f64 1 (*.f64 x (+.f64 3 x)))

Compiler

Compiled 30394 to 22401 computations (26.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 3 (/.f64 1 x))
✓	0.4b	(/.f64 1 (pow.f64 x 3))
✓	0.5b	(/.f64 1 (pow.f64 x 2))
✓	6.3b	(+.f64 (*.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))

series12.0ms (0.2%)

Counts

4 → 15

Calls

4 calls:

4.0ms	(/.f64 1 (pow.f64 x 2))
4.0ms	(+.f64 (*.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))
3.0ms	(/.f64 1 (pow.f64 x 3))
1.0ms	(*.f64 3 (/.f64 1 x))

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`times-frac_binary64`
61×	`add-sqr-sqrt_binary64`
55×	`*-un-lft-identity_binary64`
54×	`add-cube-cbrt_binary64`
31×	`add-exp-log_binary64`

Counts

4 → 188

Calls

4 calls:

13.0ms	(+.f64 (*.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))
7.0ms	(*.f64 3 (/.f64 1 x))
4.0ms	(/.f64 1 (pow.f64 x 3))
4.0ms	(/.f64 1 (pow.f64 x 2))

simplify128.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

774×	`fma-neg_binary64`
443×	`associate-/l*_binary64`
339×	`unswap-sqr_binary64`
281×	`log-prod_binary64`
277×	`associate-/l/_binary64`

Counts

203 → 232

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	172	2198
1	346	2025
2	1085	1812
3	3333	1718
4	4163	1709
5	4927	1709
6	5062	1709

prune185.0ms (3.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	232	4	236

Error

Counts

236 → 4

Alt Table

Status	Error	Program
✓	30.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
✓	30.0b	(neg.f64 (+.f64 (.f64 3 (/.f64 1 x)) (+.f64 (.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))))
▶	30.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
	33.5b	(+.f64 1 (*.f64 x (+.f64 3 x)))

Compiler

Compiled 6131 to 5070 computations (17.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 3 (pow.f64 x 3))
✓	0.5b	(/.f64 1 (*.f64 x x))
✓	6.3b	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
✓	9.5b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))

series14.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

4.0ms	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
4.0ms	(/.f64 1 (*.f64 x x))
4.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
3.0ms	(/.f64 3 (pow.f64 x 3))

rewrite307.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Rules

521×	`*-un-lft-identity_binary64`
386×	`add-sqr-sqrt_binary64`
347×	`times-frac_binary64`
278×	`prod-diff_binary64`
241×	`add-cube-cbrt_binary64`

Counts

4 → 479

Calls

4 calls:

149.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
50.0ms	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
4.0ms	(/.f64 3 (pow.f64 x 3))
3.0ms	(/.f64 1 (*.f64 x x))

simplify458.0ms (8.1%)

Algorithm

1×	egg-herbie

Rules

826×	`fma-neg_binary64`
286×	`associate-l_binary64`
263×	`associate-r_binary64`
197×	`associate-/r*_binary64`
170×	`fma-def_binary64`

Counts

515 → 476

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	392	26531
1	913	17934
2	3580	17735
3	4853	17735
4	5052	17735

prune679.0ms (12%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	476	0	476
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	476	4	480

Error

Counts

480 → 4

Alt Table

Status	Error	Program
✓	30.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
✓	30.0b	(neg.f64 (+.f64 (.f64 3 (/.f64 1 x)) (+.f64 (.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))))
✓	30.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
▶	33.5b	(+.f64 1 (*.f64 x (+.f64 3 x)))

Compiler

Compiled 25782 to 19062 computations (26.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (+.f64 3 x))

series2.0ms (0%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(*.f64 x (+.f64 3 x))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 25

Calls

1 calls:

4.0ms

(*.f64 x (+.f64 3 x))

simplify88.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

982×	`fma-def_binary64`
428×	`unswap-sqr_binary64`
372×	`distribute-rgt-out_binary64`
345×	`+-commutative_binary64`
343×	`associate-+r+_binary64`

Counts

37 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	335
1	122	303
2	392	303
3	1110	303
4	2468	303
5	3561	303
6	4612	303
7	4910	303
8	4853	303

prune18.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	33	4	37

Error

Counts

37 → 4

Alt Table

Status	Error	Program
✓	30.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
✓	30.0b	(neg.f64 (+.f64 (.f64 3 (/.f64 1 x)) (+.f64 (.f64 3 (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))))
✓	30.1b	(-.f64 (-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))) (/.f64 1 (pow.f64 x 4)))
✓	33.5b	(+.f64 1 (*.f64 x (+.f64 3 x)))

Compiler

Compiled 460 to 327 computations (28.9% saved)

regimes96.0ms (1.7%)

Accuracy

Total 0.1b remaining (76.8%)

Threshold costs 0.1b (76.8%)

Counts

34 → 2

Compiler

Compiled 1106 to 892 computations (19.3% saved)

bsearch1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
11×	`sub-neg_binary64`
7×	`*-commutative_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	74
1	38	74
2	55	74
3	75	74
4	87	74
5	92	74
6	93	74
7	90	74

end93.0ms (1.6%)

Compiler: Compiled 167 to 127 computations (24% saved)

Details

analyze5.0ms (0.1%)

sample1.6s (28.4%)

simplify85.0ms (1.5%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series8.0ms (0.1%)

rewrite222.0ms (3.9%)

simplify930.0ms (16.5%)

prune630.0ms (11.1%)

localize13.0ms (0.2%)

series12.0ms (0.2%)

rewrite36.0ms (0.6%)

simplify128.0ms (2.3%)

prune185.0ms (3.3%)

localize13.0ms (0.2%)

series14.0ms (0.3%)

rewrite307.0ms (5.4%)

simplify458.0ms (8.1%)

prune679.0ms (12%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite5.0ms (0.1%)

simplify88.0ms (1.6%)

prune18.0ms (0.3%)

regimes96.0ms (1.7%)

bsearch1.0ms (0%)

simplify4.0ms (0.1%)

end93.0ms (1.6%)

Profiling