Details

analyze59.0ms (1.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
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)

sample3.0s (60.7%)

Results

1.4s	1999×	body	1024	valid
846.0ms	4712×	body	128	valid
449.0ms	1069×	body	512	valid
132.0ms	472×	body	256	valid
8.0ms	4×	body	2048	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify77.0ms (1.6%)

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

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

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series71.0ms (1.4%)

Counts

2 → 36

Calls

2 calls:

53.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
18.0ms	(sinh.f64 y)

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 44

Calls

2 calls:

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

simplify173.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

464×	`fma-def_binary64`
413×	`associate-/l*_binary64`
363×	`times-frac_binary64`
300×	`associate-*r/_binary64`
289×	`associate-*l/_binary64`

Counts

80 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	1505
1	479	1391
2	1616	1372
3	4519	1370
4	5039	1370

prune90.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	3	82

Error

Counts

82 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
	16.0b	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))))
▶	7.7b	(+.f64 (.f64 1/120 (.f64 (pow.f64 y 4) (sin.f64 x))) (+.f64 (sin.f64 x) (.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))))

Compiler

Compiled 1480 to 608 computations (58.9% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series118.0ms (2.4%)

Counts

4 → 16

Calls

4 calls:

39.0ms	(.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))
30.0ms	(*.f64 (pow.f64 y 4) (sin.f64 x))
29.0ms	(.f64 1/120 (.f64 (pow.f64 y 4) (sin.f64 x)))
20.0ms	(*.f64 (pow.f64 y 2) (sin.f64 x))

rewrite55.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-exp-log_binary64`
23×	`add-sqr-sqrt_binary64`
21×	`associate-l_binary64`
20×	`prod-exp_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 98

Calls

4 calls:

17.0ms	(*.f64 (pow.f64 y 4) (sin.f64 x))
11.0ms	(.f64 1/120 (.f64 (pow.f64 y 4) (sin.f64 x)))
9.0ms	(*.f64 (pow.f64 y 2) (sin.f64 x))
9.0ms	(.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))

simplify249.0ms (5%)

Algorithm

1×	egg-herbie

Rules

803×	`fma-neg_binary64`
492×	`fma-def_binary64`
466×	`unswap-sqr_binary64`
332×	`cancel-sign-sub-inv_binary64`
281×	`associate-r_binary64`

Counts

114 → 162

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	1899
1	462	1675
2	1541	1611
3	3161	1607
4	4794	1607
5	4827	1607
6	4754	1607
7	4923	1607
8	4916	1607

prune269.0ms (5.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	162	3	165

Error

Counts

165 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
▶	16.0b	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))))
✓	7.7b	(+.f64 (.f64 1/120 (.f64 (pow.f64 y 4) (sin.f64 x))) (+.f64 (sin.f64 x) (.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))))

Compiler

Compiled 4474 to 2723 computations (39.1% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series136.0ms (2.8%)

Counts

2 → 48

Calls

2 calls:

68.0ms	(exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)))
68.0ms	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-log-exp_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`log-prod_binary64`
3×	`add-cube-cbrt_binary64`

Counts

2 → 28

Calls

2 calls:

3.0ms	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))))
3.0ms	(exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y)))

simplify153.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

783×	`associate-/r*_binary64`
217×	`cancel-sign-sub-inv_binary64`
210×	`fma-def_binary64`
188×	`associate-/r/_binary64`
180×	`associate-/l/_binary64`

Counts

76 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	246	2516
1	720	2406
2	2835	2324
3	5782	2324

prune171.0ms (3.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

171 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
✓	16.0b	(log.f64 (exp.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))))
✓	7.7b	(+.f64 (.f64 1/120 (.f64 (pow.f64 y 4) (sin.f64 x))) (+.f64 (sin.f64 x) (.f64 1/6 (.f64 (pow.f64 y 2) (sin.f64 x)))))

Compiler

Compiled 3970 to 1718 computations (56.7% saved)

regimes137.0ms (2.8%)

Accuracy

Total 0.0b remaining (45.7%)

Threshold costs 0.0b (45.7%)

Counts

17 → 1

Compiler

Compiled 1365 to 874 computations (36% 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

end112.0ms (2.3%)

Compiler: Compiled 60 to 41 computations (31.7% saved)

Details

analyze59.0ms (1.2%)

sample3.0s (60.7%)

simplify77.0ms (1.6%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series71.0ms (1.4%)

rewrite18.0ms (0.4%)

simplify173.0ms (3.5%)

prune90.0ms (1.8%)

localize12.0ms (0.3%)

series118.0ms (2.4%)

rewrite55.0ms (1.1%)

simplify249.0ms (5%)

prune269.0ms (5.4%)

localize18.0ms (0.4%)

series136.0ms (2.8%)

rewrite9.0ms (0.2%)

simplify153.0ms (3.1%)

prune171.0ms (3.5%)

regimes137.0ms (2.8%)

simplify4.0ms (0.1%)

end112.0ms (2.3%)

Profiling