Details

analyze475.0ms (8.9%)

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
25%	74.9%	0.1%	5
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample3.0s (56.9%)

Results

989.0ms	1983×	body	1024	invalid
764.0ms	6472×	body	128	valid
342.0ms	665×	body	1024	valid
337.0ms	1068×	body	512	invalid
213.0ms	652×	body	512	valid
113.0ms	528×	body	256	invalid
105.0ms	820×	body	128	invalid
97.0ms	466×	body	256	valid
1.0ms	1×	body	2048	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify67.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

694×	`fma-neg_binary64`
544×	`times-frac_binary64`
474×	`fma-def_binary64`
461×	`associate-/l*_binary64`
377×	`div-sub_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	37	11
3	76	11
4	166	11
5	390	11
6	1109	11
7	3717	11
8	4738	11
9	4947	11
10	4910	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

13.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series56.0ms (1%)

Counts

3 → 60

Calls

3 calls:

28.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
21.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
7.0ms	(sinh.f64 y)

rewrite56.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

801×	`log1p-expm1-u_binary64`
801×	`expm1-log1p-u_binary64`
86×	`egg-rr`
79×	`add-sqr-sqrt_binary64`
73×	`add-log-exp_binary64`

Counts

3 → 86

Calls

3 calls:

54.0ms	(sinh.f64 y)
54.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
54.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	149	22
2	2031	22
3	5040	22
0	0	0
1	0	0

simplify75.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

695×	`fma-def_binary64`
584×	`times-frac_binary64`
287×	`associate--r+_binary64`
283×	`associate-+l+_binary64`
261×	`associate--l+_binary64`

Counts

146 → 132

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	137	1473
1	416	1414
2	1305	1312
3	4710	1312
4	5476	1312

prune93.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	126	6	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	6	133

Error

0.0b

Counts

133 → 6

Alt Table

Status	Error	Program
	0.2b	(.f64 (sinh.f64 y) (.f64 (sin.f64 x) (/.f64 1 x)))
	13.6b	(pow.f64 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))) -1)
	13.7b	(/.f64 (*.f64 (sin.f64 x) (fma.f64 1/6 (pow.f64 y 3) y)) x)
▶	0.1b	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
	1.1b	(*.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (sinh.f64 y) (cbrt.f64 x)))
	0.1b	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))

Compiler

Compiled 2230 to 1077 computations (51.7% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series32.0ms (0.6%)

Counts

2 → 28

Calls

2 calls:

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

rewrite47.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

780×	`log1p-expm1-u_binary64`
780×	`expm1-log1p-u_binary64`
144×	`log1p-udef_binary64`
79×	`add-sqr-sqrt_binary64`
73×	`add-log-exp_binary64`

Counts

2 → 68

Calls

2 calls:

45.0ms	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
45.0ms	(/.f64 (sin.f64 x) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	149	17
2	1988	17
3	5139	17
0	0	0
1	0	0

simplify64.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

956×	`fma-neg_binary64`
473×	`times-frac_binary64`
377×	`sub-neg_binary64`
278×	`fma-def_binary64`
203×	`distribute-rgt-neg-in_binary64`

Counts

96 → 95

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	767
1	272	754
2	823	676
3	2842	670
4	4851	670
5	5091	670

prune86.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	127	6	133

Error

Counts

133 → 6

Alt Table

Status	Error	Program
	13.6b	(pow.f64 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))) -1)
	13.7b	(/.f64 (*.f64 (sin.f64 x) (fma.f64 1/6 (pow.f64 y 3) y)) x)
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
	1.1b	(*.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (sinh.f64 y) (cbrt.f64 x)))
▶	0.1b	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))
	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 1863 to 863 computations (53.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series50.0ms (0.9%)

Counts

2 → 48

Calls

2 calls:

28.0ms	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))
22.0ms	(/.f64 (sinh.f64 y) x)

rewrite52.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

857×	`log1p-expm1-u_binary64`
857×	`expm1-log1p-u_binary64`
87×	`add-sqr-sqrt_binary64`
80×	`egg-rr`
80×	`add-cbrt-cube_binary64`

Counts

2 → 80

Calls

2 calls:

50.0ms	(/.f64 (sinh.f64 y) x)
50.0ms	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	174	17
2	2216	17
3	5377	17
0	0	0
1	0	0

simplify71.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-neg_binary64`
611×	`times-frac_binary64`
346×	`sub-neg_binary64`
268×	`fma-def_binary64`
192×	`distribute-rgt-neg-in_binary64`

Counts

128 → 111

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	1117
1	297	1082
2	857	1004
3	2856	998
4	4962	998
5	5050	998

prune252.0ms (4.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	143	6	149

Error

Counts

149 → 6

Alt Table

Status	Error	Program
	13.6b	(pow.f64 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))) -1)
	13.7b	(/.f64 (*.f64 (sin.f64 x) (fma.f64 1/6 (pow.f64 y 3) y)) x)
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
	1.1b	(*.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (sinh.f64 y) (cbrt.f64 x)))
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))
▶	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 2240 to 1115 computations (50.2% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series110.0ms (2.1%)

Counts

2 → 48

Calls

2 calls:

81.0ms	(/.f64 x (sinh.f64 y))
29.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

rewrite51.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

868×	`log1p-expm1-u_binary64`
868×	`expm1-log1p-u_binary64`
83×	`add-sqr-sqrt_binary64`
80×	`prod-diff_binary64`
79×	`egg-rr`

Counts

2 → 79

Calls

2 calls:

50.0ms	(/.f64 x (sinh.f64 y))
50.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	155	17
2	2198	17
3	5501	17
0	0	0
1	0	0

simplify143.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

908×	`fma-neg_binary64`
475×	`times-frac_binary64`
381×	`sub-neg_binary64`
290×	`fma-def_binary64`
191×	`associate-r_binary64`

Counts

127 → 110

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	1108
1	291	1086
2	889	1005
3	3077	998
4	4874	998
5	4974	998

prune86.0ms (1.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Error

Counts

148 → 6

Alt Table

Status	Error	Program
	13.6b	(pow.f64 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))) -1)
	13.7b	(/.f64 (*.f64 (sin.f64 x) (fma.f64 1/6 (pow.f64 y 3) y)) x)
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
	1.1b	(*.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 x) 2)) (/.f64 (sinh.f64 y) (cbrt.f64 x)))
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sinh.f64 y) x))
✓	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 2073 to 905 computations (56.3% saved)

regimes193.0ms (3.6%)

Accuracy

Total 0.1b remaining (78.1%)

Threshold costs 0.1b (78.1%)

Counts

52 → 1

Compiler

Compiled 2633 to 1814 computations (31.1% saved)

simplify2.0ms (0%)

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

end215.0ms (4%)

Compiler: Compiled 86 to 59 computations (31.4% saved)

Details

analyze475.0ms (8.9%)

sample3.0s (56.9%)

simplify67.0ms (1.3%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series56.0ms (1%)

rewrite56.0ms (1%)

simplify75.0ms (1.4%)

prune93.0ms (1.7%)

localize5.0ms (0.1%)

series32.0ms (0.6%)

rewrite47.0ms (0.9%)

simplify64.0ms (1.2%)

prune86.0ms (1.6%)

localize7.0ms (0.1%)

series50.0ms (0.9%)

rewrite52.0ms (1%)

simplify71.0ms (1.3%)

prune252.0ms (4.7%)

localize6.0ms (0.1%)

series110.0ms (2.1%)

rewrite51.0ms (1%)

simplify143.0ms (2.7%)

prune86.0ms (1.6%)

regimes193.0ms (3.6%)

simplify2.0ms (0%)

end215.0ms (4%)

Profiling