Details

analyze54.0ms (1.4%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample2.9s (73%)

Results

1.4s	1998×	body	1024	valid
783.0ms	4709×	body	128	valid
435.0ms	1067×	body	512	valid
129.0ms	477×	body	256	valid
33.0ms	5×	body	2048	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify93.0ms (2.4%)

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

prune3.0ms (0.1%)

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 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(sinh.f64 y)

series17.0ms (0.4%)

Counts

1 → 12

Calls

1 calls:

17.0ms

(sinh.f64 y)

rewrite2.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:

1.0ms

(sinh.f64 y)

simplify119.0ms (3%)

Algorithm

1×	egg-herbie

Rules

738×	`div-sub_binary64`
465×	`times-frac_binary64`
453×	`associate-l_binary64`
339×	`fma-def_binary64`
331×	`associate-r_binary64`

Counts

22 → 20

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	39	224
1	80	215
2	178	205
3	386	205
4	843	205
5	2533	205
6	4634	205
7	5567	205

prune25.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	19	1	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	2	21

Error

Counts

21 → 2

Alt Table

Status	Error	Program
▶	5.6b	(*.f64 (cos.f64 x) (/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y))
✓	0.0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 301 to 168 computations (44.2% saved)

localize32.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cos.f64 x) (/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y))
✓	0.0b	(fma.f64 1/120 (pow.f64 y 5) y)
✓	2.3b	(/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y)

series98.0ms (2.5%)

Counts

3 → 48

Calls

3 calls:

83.0ms	(*.f64 (cos.f64 x) (/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y))
7.0ms	(/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y)
6.0ms	(fma.f64 1/120 (pow.f64 y 5) y)

rewrite14.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 calls:

6.0ms	(*.f64 (cos.f64 x) (/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y))
2.0ms	(/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y)
0.0ms	(fma.f64 1/120 (pow.f64 y 5) y)

simplify206.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

538×	`fma-def_binary64`
327×	`distribute-rgt-in_binary64`
312×	`distribute-lft-in_binary64`
297×	`cancel-sign-sub-inv_binary64`
243×	`associate-*l/_binary64`

Counts

121 → 123

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	173	3025
1	403	2727
2	1524	2663
3	4755	2663
4	4985	2663
5	4962	2663

prune178.0ms (4.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	123	2	125

Error

Counts

125 → 2

Alt Table

Status	Error	Program
✓	5.6b	(*.f64 (cos.f64 x) (/.f64 (fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y)) y))
✓	0.0b	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 3248 to 2146 computations (33.9% saved)

regimes110.0ms (2.8%)

Accuracy

Total 0.0b remaining (4.7%)

Threshold costs 0.0b (4.7%)

Counts

9 → 1

Compiler

Compiled 605 to 429 computations (29.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11
2	8	11

end91.0ms (2.3%)

Compiler: Compiled 45 to 31 computations (31.1% saved)

Details

analyze54.0ms (1.4%)

sample2.9s (73%)

simplify93.0ms (2.4%)

prune3.0ms (0.1%)

localize11.0ms (0.3%)

series17.0ms (0.4%)

rewrite2.0ms (0%)

simplify119.0ms (3%)

prune25.0ms (0.6%)

localize32.0ms (0.8%)

series98.0ms (2.5%)

rewrite14.0ms (0.4%)

simplify206.0ms (5.3%)

prune178.0ms (4.6%)

regimes110.0ms (2.8%)

simplify4.0ms (0.1%)

end91.0ms (2.3%)

Profiling