Details

analyze944.0ms (13.9%)

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 (20.3%)

Results

932.0ms	8256×	body	128	valid
239.0ms	2156×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify65.0ms (1%)

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%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

1.6b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 45 to 23 computations (48.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series18.0ms (0.3%)

Counts

1 → 48

Calls

1 calls:

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

simplify63.0ms (0.9%)

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

prune17.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	19	4	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	5	24

Error

0.0b

Counts

24 → 5

Alt Table

Status	Error	Program
▶	2.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	5.4b	(+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)
✓	1.6b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	36.1b	(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
	7.6b	(-.f64 (+.f64 t (/.f64 (.f64 z x) y)) (/.f64 (.f64 t x) y))

Compiler

Compiled 418 to 139 computations (66.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	0.5b	(cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))
	1.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

series526.0ms (7.8%)

Counts

3 → 144

Calls

3 calls:

380.0ms

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

126.0ms

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

19.0ms

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

rewrite20.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

8.0ms

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

4.0ms

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

1.0ms

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

simplify316.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

974×	`fma-def_binary64`
500×	`*-commutative_binary64`
223×	`+-commutative_binary64`
205×	`associate-r_binary64`
151×	`associate-+r+_binary64`

Counts

237 → 275

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1180	19736
1	4348	19386
2	5129	19386

prune666.0ms (9.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	526	2	528
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	526	7	533

Error

0.0b

Counts

533 → 7

Alt Table

Status	Error	Program
✓	1.6b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	35.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (*.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))
✓	2.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	5.4b	(+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)
	36.1b	(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
	7.6b	(-.f64 (+.f64 t (/.f64 (.f64 z x) y)) (/.f64 (.f64 t x) y))
▶	2.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))

Compiler

Compiled 44901 to 18900 computations (57.9% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
✓	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	0.5b	(cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))
	1.5b	(fma.f64 (/.f64 x y) (-.f64 z t) t)

series129.0ms (1.9%)

Counts

1 → 48

Calls

1 calls:

129.0ms

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

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 16

Calls

1 calls:

1.0ms

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

simplify92.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

596×	`times-frac_binary64`
386×	`associate-/r*_binary64`
351×	`associate-/l*_binary64`
299×	`fma-def_binary64`
214×	`associate-*r/_binary64`

Counts

64 → 93

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	459	5608
1	1550	5421
2	5187	5421

prune1.3s (19.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	918	0	918
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	918	7	925

Error

0.0b

Counts

925 → 7

Alt Table

Status	Error	Program
✓	1.6b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	35.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (*.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))
✓	2.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
▶	5.4b	(+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)
	36.1b	(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
	7.6b	(-.f64 (+.f64 t (/.f64 (.f64 z x) y)) (/.f64 (.f64 t x) y))
✓	2.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))

Compiler

Compiled 105815 to 38240 computations (63.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series56.0ms (0.8%)

Counts

3 → 124

Calls

3 calls:

23.0ms	(+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)
23.0ms	(*.f64 x (/.f64 (-.f64 z t) y))
9.0ms	(/.f64 (-.f64 z t) y)

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64`
37×	`*-un-lft-identity_binary64`
31×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
19×	`associate-r_binary64`

Counts

3 → 94

Calls

3 calls:

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

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

517×	`distribute-rgt-in_binary64`
501×	`distribute-lft-in_binary64`
422×	`associate-*l/_binary64`
308×	`fma-def_binary64`
257×	`associate-/l*_binary64`

Counts

218 → 136

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2491
1	422	2436
2	1345	2427
3	4931	2427
4	4982	2427

prune109.0ms (1.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	133	3	136
Fresh	3	0	3
Picked	0	1	1
Done	0	3	3
Total	136	7	143

Error

Counts

143 → 7

Alt Table

Status	Error	Program
✓	2.7b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))
	5.9b	(+.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (-.f64 z t) y))) t)
✓	5.4b	(+.f64 (*.f64 x (/.f64 (-.f64 z t) y)) t)
	7.6b	(+.f64 (.f64 (.f64 x (-.f64 z t)) (/.f64 1 y)) t)
✓	1.6b	(fma.f64 (/.f64 x y) (-.f64 z t) t)
	1.9b	(+.f64 (.f64 (.f64 x (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (-.f64 z t) (cbrt.f64 y))) t)
✓	2.9b	(.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))) (cbrt.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))

Compiler

Compiled 2300 to 599 computations (74% saved)

regimes761.0ms (11.2%)

Accuracy

Total 1.5b remaining (98.8%)

Threshold costs 0b (0%)

Counts

105 → 1

Compiler

Compiled 20786 to 8281 computations (60.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	20	43
2	25	43
3	27	43
4	28	43
5	28	43

end104.0ms (1.5%)

Compiler: Compiled 232 to 100 computations (56.9% saved)

Details

analyze944.0ms (13.9%)

sample1.4s (20.3%)

simplify65.0ms (1%)

prune3.0ms (0%)

localize6.0ms (0.1%)

series18.0ms (0.3%)

rewrite1.0ms (0%)

simplify63.0ms (0.9%)

prune17.0ms (0.3%)

localize10.0ms (0.2%)

series526.0ms (7.8%)

rewrite20.0ms (0.3%)

simplify316.0ms (4.7%)

prune666.0ms (9.8%)

localize13.0ms (0.2%)

series129.0ms (1.9%)

rewrite2.0ms (0%)

simplify92.0ms (1.4%)

prune1.3s (19.6%)

localize6.0ms (0.1%)

series56.0ms (0.8%)

rewrite25.0ms (0.4%)

simplify114.0ms (1.7%)

prune109.0ms (1.6%)

regimes761.0ms (11.2%)

simplify3.0ms (0%)

end104.0ms (1.5%)

Profiling