Details

analyze375.0ms (3.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	62.4%	37.6%	5
0%	56.2%	43.8%	6
6.2%	49.9%	43.8%	7
9.4%	43.7%	47%	8
14%	37.4%	48.5%	9
21.1%	30.4%	48.5%	10
24.6%	26.1%	49.3%	11
28.7%	21.6%	49.7%	12
33.4%	16.9%	49.7%	13
35.8%	14.3%	49.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.3s (10.7%)

Results

1.1s	8254×	body	128	valid
9.0ms	72×	body	128	invalid
1.0ms	2×	body	2048	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify149.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

3353×	`fma-neg_binary64`
476×	`distribute-rgt-in_binary64`
425×	`unsub-neg_binary64`
361×	`fma-def_binary64`
308×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	36	12
3	76	12
4	131	12
5	231	12
6	342	12
7	678	12
8	1365	12
9	2068	12
10	2356	12
11	2518	12
12	2627	12
13	2660	12
14	2664	12
15	2866	12
16	2767	12
17	2779	12
18	2791	12
19	2799	12
20	2799	12
21	5311	12

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

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.2b	(*.f64 x (log.f64 y))

series296.0ms (2.5%)

Counts

2 → 60

Calls

2 calls:

216.0ms	(*.f64 x (log.f64 y))
79.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
19×	`associate--l+_binary64`
18×	`add-cube-cbrt_binary64`
12×	`prod-diff_binary64`

Counts

2 → 72

Calls

2 calls:

7.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
3.0ms	(*.f64 x (log.f64 y))

simplify97.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

822×	`fma-neg_binary64`
604×	`fma-def_binary64`
311×	`exp-sum_binary64`
250×	`distribute-rgt-in_binary64`
236×	`exp-prod_binary64`

Counts

132 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	165	1389
1	312	1324
2	949	1313
3	2782	1306
4	4278	1306
5	4814	1306

prune76.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	4	119

Error

Counts

119 → 4

Alt Table

Status	Error	Program
	33.8b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.5b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)

Compiler

Compiled 1925 to 536 computations (72.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 x (log.f64 (cbrt.f64 y)))
✓	0.2b	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
✓	0.3b	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
✓	0.6b	(cbrt.f64 y)

series3.5s (29.5%)

Counts

4 → 84

Calls

4 calls:

1.2s	(*.f64 x (log.f64 (cbrt.f64 y)))
1.1s	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
1.1s	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
30.0ms	(cbrt.f64 y)

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`

Counts

4 → 94

Calls

4 calls:

5.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
5.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
3.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)

simplify118.0ms (1%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-neg_binary64`
502×	`fma-def_binary64`
375×	`*-commutative_binary64`
346×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-neg-in_binary64`

Counts

178 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2256
1	336	1937
2	1137	1744
3	3238	1736
4	4453	1736
5	4816	1736

prune126.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	174	3	177

Error

Counts

177 → 3

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 y) 2/3)) (*.f64 (log.f64 (cbrt.f64 y)) x)) z) y)

Compiler

Compiled 3886 to 1605 computations (58.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
✓	0.2b	(fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y))))
	0.2b	(*.f64 x (log.f64 (cbrt.f64 y)))
	0.6b	(cbrt.f64 y)

series3.0s (25.2%)

Counts

2 → 60

Calls

2 calls:

2.3s	(fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y))))
724.0ms	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64`
29×	`add-sqr-sqrt_binary64`
24×	`prod-diff_binary64`
19×	`add-cube-cbrt_binary64`
15×	`associate--l+_binary64`

Counts

2 → 65

Calls

2 calls:

6.0ms	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
0.0ms	(fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y))))

simplify98.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-neg_binary64`
504×	`fma-def_binary64`
498×	`associate-r_binary64`
384×	`exp-prod_binary64`
242×	`log-prod_binary64`

Counts

125 → 114

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	138	2344
1	275	1808
2	824	1375
3	3368	1365
4	4526	1360
5	4885	1360

prune175.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	202	3	205

Error

Counts

205 → 3

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
▶	0.2b	(-.f64 (.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x)) (+.f64 y z))

Compiler

Compiled 4868 to 1755 computations (63.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x)) (+.f64 y z))
✓	0.2b	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
✓	0.3b	(.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x))
✓	5.1b	(pow.f64 y 1/3)

series2.0s (16.7%)

Counts

4 → 35

Calls

4 calls:

855.0ms	(.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x))
832.0ms	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
267.0ms	(-.f64 (.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x)) (+.f64 y z))
25.0ms	(pow.f64 y 1/3)

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
12×	`pow1_binary64`
11×	`add-cbrt-cube_binary64`

Counts

4 → 85

Calls

4 calls:

6.0ms	(-.f64 (.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x)) (+.f64 y z))
4.0ms	(.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x))
3.0ms	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
1.0ms	(pow.f64 y 1/3)

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Rules

911×	`fma-neg_binary64`
560×	`fma-def_binary64`
395×	`*-commutative_binary64`
273×	`distribute-rgt-in_binary64`
264×	`distribute-lft-in_binary64`

Counts

120 → 148

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	164	1733
1	360	1355
2	1257	1190
3	3729	1172
4	4740	1076
5	4961	1076
6	4848	1076

prune103.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

151 → 3

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (fma.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2) (.f64 x (log.f64 (cbrt.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.2b	(-.f64 (.f64 3 (.f64 (log.f64 (pow.f64 y 1/3)) x)) (+.f64 y z))

Compiler

Compiled 2478 to 1333 computations (46.2% saved)

regimes226.0ms (1.9%)

Accuracy

Total 0.1b remaining (76.4%)

Threshold costs 0.1b (76.4%)

Counts

58 → 1

Compiler

Compiled 3390 to 2360 computations (30.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`distribute-rgt-neg-in_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	12
1	24	12
2	28	12
3	30	12
4	28	12

end64.0ms (0.5%)

Compiler: Compiled 67 to 43 computations (35.8% saved)

Details

analyze375.0ms (3.2%)

sample1.3s (10.7%)

simplify149.0ms (1.3%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series296.0ms (2.5%)

rewrite14.0ms (0.1%)

simplify97.0ms (0.8%)

prune76.0ms (0.6%)

localize12.0ms (0.1%)

series3.5s (29.5%)

rewrite19.0ms (0.2%)

simplify118.0ms (1%)

prune126.0ms (1.1%)

localize11.0ms (0.1%)

series3.0s (25.2%)

rewrite12.0ms (0.1%)

simplify98.0ms (0.8%)

prune175.0ms (1.5%)

localize12.0ms (0.1%)

series2.0s (16.7%)

rewrite17.0ms (0.1%)

simplify116.0ms (1%)

prune103.0ms (0.9%)

regimes226.0ms (1.9%)

simplify2.0ms (0%)

end64.0ms (0.5%)

Profiling