Details

analyze910.0ms (20.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
13.3%	86.5%	0.2%	9
17.5%	82.3%	0.2%	10
23.6%	75.2%	1.2%	11
25%	72%	2.9%	12
35.8%	59.6%	4.6%	13
40.3%	54.3%	5.4%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.4s (31.7%)

Results

909.0ms	8256×	body	128	valid
296.0ms	2241×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify69.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

938×	`fma-def_binary64`
721×	`fma-neg_binary64`
220×	`cancel-sign-sub-inv_binary64`
144×	`distribute-rgt-in_binary64`
108×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	16	11
2	37	11
3	72	11
4	140	11
5	242	11
6	395	11
7	682	11
8	1049	11
9	1368	11
10	1492	11
11	1530	11
12	1536	11
13	1541	11
14	1541	11
15	1456	11

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

3.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	3.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
▶	3.5b	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)

Compiler

Compiled 71 to 39 computations (45.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
✓	9.1b	(*.f64 (/.f64 x y) (-.f64 z t))

series39.0ms (0.9%)

Counts

2 → 96

Calls

2 calls:

21.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
18.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
38×	`add-cube-cbrt_binary64`
36×	`prod-diff_binary64`
26×	`associate-+l+_binary64`

Counts

2 → 106

Calls

2 calls:

14.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
8.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

simplify84.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

850×	`fma-def_binary64`
553×	`distribute-rgt-in_binary64`
507×	`distribute-lft-in_binary64`
208×	`fma-neg_binary64`
175×	`cancel-sign-sub-inv_binary64`

Counts

202 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	218	2602
1	472	2504
2	1658	2387
3	5048	2387

prune105.0ms (2.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	170	5	175
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	171	6	177

Error

0.0b

Counts

177 → 6

Alt Table

Status	Error	Program
	4.0b	(+.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))) t)
	5.0b	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (-.f64 z t) x) y)) (cbrt.f64 (/.f64 (.f64 (-.f64 z t) x) y))) (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) x) y))) t)
	33.2b	(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
	5.5b	(+.f64 (/.f64 (neg.f64 x) (/.f64 y (-.f64 t z))) t)
	4.5b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
▶	3.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 3776 to 916 computations (75.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	3.4b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

series18.0ms (0.4%)

Counts

1 → 48

Calls

1 calls:

17.0ms

(fma.f64 (/.f64 x y) (-.f64 z t) t)

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 (/.f64 x y) (-.f64 z t) t)

simplify64.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

550×	`distribute-rgt-neg-out_binary64`
522×	`distribute-lft-neg-out_binary64`
356×	`distribute-rgt-in_binary64`
354×	`distribute-lft-in_binary64`
297×	`times-frac_binary64`

Counts

58 → 23

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	41	730
1	85	635
2	196	623
3	466	623
4	2285	623
5	4620	623
6	5293	623

prune16.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	22	1	23
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	23	6	29

Error

0.0b

Counts

29 → 6

Alt Table

Status	Error	Program
▶	4.0b	(+.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))) t)
	5.0b	(+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (-.f64 z t) x) y)) (cbrt.f64 (/.f64 (.f64 (-.f64 z t) x) y))) (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) x) y))) t)
	33.2b	(*.f64 x (/.f64 (-.f64 z t) y))
	5.5b	(+.f64 (/.f64 (neg.f64 x) (/.f64 y (-.f64 t z))) t)
	4.5b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	3.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 450 to 163 computations (63.8% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.5b	(cbrt.f64 y)
✓	2.9b	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t)))
✓	3.6b	(*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))

series510.0ms (11.4%)

Counts

4 → 120

Calls

4 calls:

400.0ms	(*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))
46.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t)))
35.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
29.0ms	(cbrt.f64 y)

rewrite60.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

89×	`add-sqr-sqrt_binary64`
89×	`add-exp-log_binary64`
73×	`*-un-lft-identity_binary64`
71×	`add-cube-cbrt_binary64`
65×	`distribute-lft-in_binary64`

Counts

4 → 244

Calls

4 calls:

15.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t)))
11.0ms	(*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)

simplify216.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-def_binary64`
422×	`associate-r_binary64`
403×	`associate-l_binary64`
308×	`unswap-sqr_binary64`
256×	`exp-prod_binary64`

Counts

364 → 340

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	374	6698
1	741	4978
2	3097	4755
3	4129	4748
4	4961	4748
5	4929	4748

prune219.0ms (4.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	374	2	376
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	376	6	382

Error

0.0b

Counts

382 → 6

Alt Table

Status	Error	Program
	14.9b	(+.f64 (.f64 (/.f64 1 (cbrt.f64 (.f64 y y))) (*.f64 (/.f64 x (cbrt.f64 y)) (-.f64 z t))) t)
	5.5b	(+.f64 (/.f64 (neg.f64 x) (/.f64 y (-.f64 t z))) t)
	4.9b	(+.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y))) (.f64 (cbrt.f64 (/.f64 1 y)) (.f64 x (-.f64 z t)))) t)
	33.2b	(*.f64 x (/.f64 (-.f64 z t) y))
▶	4.5b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	3.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

Compiler

Compiled 10793 to 3086 computations (71.4% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
✓	0.0b	(*.f64 (-.f64 z t) x)
✓	5.3b	(/.f64 (*.f64 (-.f64 z t) x) y)

series49.0ms (1.1%)

Counts

3 → 104

Calls

3 calls:

22.0ms	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
18.0ms	(/.f64 (*.f64 (-.f64 z t) x) y)
8.0ms	(*.f64 (-.f64 z t) x)

rewrite23.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 70

Calls

3 calls:

6.0ms	(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
5.0ms	(/.f64 (*.f64 (-.f64 z t) x) y)
4.0ms	(*.f64 (-.f64 z t) x)

simplify85.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

527×	`times-frac_binary64`
519×	`associate-/l*_binary64`
423×	`distribute-rgt-in_binary64`
404×	`distribute-lft-in_binary64`
240×	`fma-def_binary64`

Counts

174 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	1892
1	363	1833
2	1208	1726
3	4769	1726
4	5010	1726

prune74.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	124	3	127
Fresh	3	1	4
Picked	1	0	1
Done	0	1	1
Total	128	5	133

Error

0.0b

Counts

133 → 5

Alt Table

Status	Error	Program
	3.7b	(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
	4.5b	(+.f64 (/.f64 1 (/.f64 y (*.f64 (-.f64 z t) x))) t)
	5.5b	(+.f64 (/.f64 (neg.f64 x) (/.f64 y (-.f64 t z))) t)
✓	3.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	6.2b	(fma.f64 (/.f64 (-.f64 z t) y) x t)

Compiler

Compiled 1906 to 509 computations (73.3% saved)

regimes367.0ms (8.2%)

Accuracy

Total 0.9b remaining (99.1%)

Threshold costs 0.9b (99.1%)

Counts

34 → 3

Compiler

Compiled 3423 to 2129 computations (37.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
5×	`*-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	60
1	36	60
2	44	60
3	48	60
4	50	60
5	49	60

end77.0ms (1.7%)

Compiler: Compiled 156 to 87 computations (44.2% saved)

Details

analyze910.0ms (20.4%)

sample1.4s (31.7%)

simplify69.0ms (1.5%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series39.0ms (0.9%)

rewrite30.0ms (0.7%)

simplify84.0ms (1.9%)

prune105.0ms (2.3%)

localize6.0ms (0.1%)

series18.0ms (0.4%)

rewrite1.0ms (0%)

simplify64.0ms (1.4%)

prune16.0ms (0.4%)

localize10.0ms (0.2%)

series510.0ms (11.4%)

rewrite60.0ms (1.3%)

simplify216.0ms (4.8%)

prune219.0ms (4.9%)

localize6.0ms (0.1%)

series49.0ms (1.1%)

rewrite23.0ms (0.5%)

simplify85.0ms (1.9%)

prune74.0ms (1.7%)

regimes367.0ms (8.2%)

bsearch1.0ms (0%)

simplify4.0ms (0.1%)

end77.0ms (1.7%)

Profiling