Details

analyze543.0ms (10.1%)

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%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
6.2%	93.7%	0.1%	6
37.5%	53.1%	9.5%	7
37.5%	51.5%	11%	8
43.7%	39.8%	16.5%	9
43.7%	38.6%	17.7%	10
46.8%	32.6%	20.6%	11
46.8%	31.9%	21.3%	12
48.4%	28.8%	22.8%	13
48.4%	28.5%	23.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample4.1s (75.9%)

Results

1.2s	2128×	body	1024	valid
988.0ms	2008×	body	1024	invalid
614.0ms	4581×	body	128	valid
456.0ms	1043×	body	512	invalid
388.0ms	1001×	body	512	valid
125.0ms	554×	body	256	invalid
121.0ms	795×	body	128	invalid
119.0ms	538×	body	256	valid
10.0ms	8×	body	2048	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify53.0ms (1%)

Algorithm

1×	egg-herbie

Rules

804×	`fma-neg_binary64`
610×	`div-sub_binary64`
491×	`times-frac_binary64`
410×	`associate-/l*_binary64`
352×	`cancel-sign-sub-inv_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	34	11
3	73	11
4	160	11
5	361	11
6	984	11
7	3177	11
8	4701	11
9	5010	11

prune1.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.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (sinh.f64 y) y)
✓	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
✓	0.0b	(sinh.f64 y)

series52.0ms (1%)

Counts

3 → 48

Calls

3 calls:

33.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
12.0ms	(/.f64 (sinh.f64 y) y)
7.0ms	(sinh.f64 y)

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

3 → 74

Calls

3 calls:

5.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
2.0ms	(/.f64 (sinh.f64 y) y)
1.0ms	(sinh.f64 y)

simplify87.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

550×	`fma-def_binary64`
445×	`associate-/l*_binary64`
383×	`times-frac_binary64`
314×	`associate-*l/_binary64`
249×	`fma-neg_binary64`

Counts

122 → 127

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	214	2084
1	539	1920
2	1766	1774
3	4702	1772
4	4956	1772

prune85.0ms (1.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	1	128

Error

Counts

128 → 1

Alt Table

Status	Error	Program
▶	0b	(+.f64 (sin.f64 x) (.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x))))

Compiler

Compiled 2039 to 775 computations (62% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (pow.f64 y 2) (sin.f64 x))
✓	0.2b	(.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))

series27.0ms (0.5%)

Counts

2 → 8

Calls

2 calls:

16.0ms	(.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))
11.0ms	(*.f64 (pow.f64 y 2) (sin.f64 x))

rewrite14.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`associate-l_binary64`
10×	`prod-exp_binary64`
9×	`add-cbrt-cube_binary64`

Counts

2 → 50

Calls

2 calls:

7.0ms	(.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))
4.0ms	(*.f64 (pow.f64 y 2) (sin.f64 x))

simplify101.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-def_binary64`
659×	`unswap-sqr_binary64`
391×	`cancel-sign-sub-inv_binary64`
360×	`fma-neg_binary64`
346×	`*-commutative_binary64`

Counts

58 → 91

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	109	977
1	262	835
2	866	803
3	1771	767
4	3599	767
5	4720	767
6	4938	767
7	4908	767

prune51.0ms (1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	91	1	92

Error

Counts

92 → 1

Alt Table

Status	Error	Program
✓	0b	(+.f64 (sin.f64 x) (.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x))))

Compiler

Compiled 1629 to 900 computations (44.8% saved)

regimes213.0ms (4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

40 → 1

Compiler

Compiled 2530 to 1836 computations (27.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	13	17
2	13	17

end41.0ms (0.8%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

Details

analyze543.0ms (10.1%)

sample4.1s (75.9%)

simplify53.0ms (1%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series52.0ms (1%)

rewrite12.0ms (0.2%)

simplify87.0ms (1.6%)

prune85.0ms (1.6%)

localize7.0ms (0.1%)

series27.0ms (0.5%)

rewrite14.0ms (0.3%)

simplify101.0ms (1.9%)

prune51.0ms (1%)

regimes213.0ms (4%)

simplify2.0ms (0%)

end41.0ms (0.8%)

Profiling