Details

analyze467.0ms (9.5%)

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 (61.2%)

Results

994.0ms	2097×	body	1024	invalid
771.0ms	6460×	body	128	valid
328.0ms	639×	body	1024	valid
313.0ms	1007×	body	512	invalid
218.0ms	703×	body	512	valid
112.0ms	860×	body	128	invalid
111.0ms	525×	body	256	invalid
93.0ms	454×	body	256	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify17.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

544×	`times-frac_binary64`
474×	`fma-def_binary64`
457×	`associate-/l*_binary64`
344×	`associate-l_binary64`
241×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	37	11
3	79	11
4	178	11
5	472	11
6	1476	11

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 52 to 32 computations (38.5% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series61.0ms (1.2%)

Counts

3 → 60

Calls

3 calls:

31.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
20.0ms	(/.f64 (sinh.f64 y) x)
9.0ms	(sinh.f64 y)

rewrite45.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

772×	`log1p-expm1-u_binary64`
772×	`expm1-log1p-u_binary64`
144×	`log1p-udef_binary64`
80×	`egg-rr`
79×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	149	20
2	2043	20

Stop Event

1×	node limit

Counts

3 → 80

Calls

3 calls:

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

simplify46.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-neg_binary64`
652×	`times-frac_binary64`
346×	`fma-def_binary64`
172×	`associate-+l+_binary64`
163×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	109	1271
1	325	1226
2	973	1146
3	3665	1140

Stop Event

1×	node limit

Counts

140 → 120

prune94.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	113	7	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	113	9	122

Error

0.0b

Counts

122 → 9

Alt Table

Status	Error	Program
	1.7b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))) 3)
✓	0.4b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
	15.8b	(+.f64 (.f64 1/5040 (/.f64 (.f64 (pow.f64 y 7) (sin.f64 x)) x)) (+.f64 (.f64 1/120 (/.f64 (.f64 (pow.f64 y 5) (sin.f64 x)) x)) (+.f64 (.f64 1/6 (/.f64 (.f64 (pow.f64 y 3) (sin.f64 x)) x)) (/.f64 (*.f64 y (sin.f64 x)) x))))
	14.9b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
	32.0b	(cbrt.f64 (pow.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y))) 3))
	24.9b	(pow.f64 (sqrt.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))) 2)
	15.3b	(/.f64 1 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))))
	0.8b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
▶	0.5b	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))

Compiler

Compiled 1961 to 959 computations (51.1% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series49.0ms (1%)

Counts

2 → 48

Calls

2 calls:

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

rewrite44.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

837×	`log1p-expm1-u_binary64`
837×	`expm1-log1p-u_binary64`
93×	`add-sqr-sqrt_binary64`
85×	`add-cbrt-cube_binary64`
85×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	185	17
2	2342	17

Stop Event

1×	node limit

Counts

2 → 50

Calls

2 calls:

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

simplify43.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-neg_binary64`
611×	`times-frac_binary64`
264×	`fma-def_binary64`
147×	`associate-+l+_binary64`
145×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	1117
1	302	1082
2	914	1004
3	3415	998

Stop Event

1×	node limit

Counts

98 → 82

prune76.0ms (1.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	114	8	122

Error

Counts

122 → 8

Alt Table

Status	Error	Program
	1.7b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))) 3)
✓	0.4b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
	1.4b	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
	15.3b	(/.f64 1 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))))
	1.9b	(*.f64 (/.f64 (sin.f64 x) x) y)
▶	0.8b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
	14.9b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
✓	0.5b	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))

Compiler

Compiled 1833 to 957 computations (47.8% saved)

localize5.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.8b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

series77.0ms (1.6%)

Counts

2 → 48

Calls

2 calls:

46.0ms	(/.f64 x (sinh.f64 y))
30.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

rewrite60.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	155	17
2	2289	17

Stop Event

1×	node limit

Counts

2 → 77

Calls

2 calls:

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

simplify50.0ms (1%)

Algorithm

1×	egg-herbie

Rules

754×	`fma-neg_binary64`
475×	`times-frac_binary64`
286×	`fma-def_binary64`
189×	`associate-r_binary64`
185×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	1108
1	296	1086
2	943	1005
3	3732	998

Stop Event

1×	node limit

Counts

125 → 109

prune105.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	140	8	148

Error

Counts

148 → 8

Alt Table

Status	Error	Program
	1.7b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))) 3)
✓	0.4b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
▶	1.4b	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
	15.3b	(/.f64 1 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))))
	1.9b	(*.f64 (/.f64 (sin.f64 x) x) y)
✓	0.8b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
	14.9b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
✓	0.5b	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))

Compiler

Compiled 2135 to 953 computations (55.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
✓	0.0b	(*.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3))
✓	0.1b	(*.f64 (/.f64 (sin.f64 x) x) y)
✓	0.1b	(/.f64 (sin.f64 x) x)

series59.0ms (1.2%)

Counts

4 → 76

Calls

4 calls:

28.0ms	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
19.0ms	(*.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3))
10.0ms	(*.f64 (/.f64 (sin.f64 x) x) y)
3.0ms	(/.f64 (sin.f64 x) x)

rewrite56.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

568×	`log-prod_binary64`
249×	`prod-diff_binary64`
203×	`expm1-udef_binary64`
203×	`log1p-udef_binary64`
178×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	51
1	234	51
2	2948	51

Stop Event

1×	node limit

Counts

4 → 121

Calls

4 calls:

54.0ms	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
54.0ms	(*.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3))
54.0ms	(*.f64 (/.f64 (sin.f64 x) x) y)
54.0ms	(/.f64 (sin.f64 x) x)

simplify48.0ms (1%)

Algorithm

1×	egg-herbie

Rules

472×	`fma-def_binary64`
383×	`associate-l_binary64`
381×	`sub-neg_binary64`
357×	`associate-r_binary64`
352×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	74	1249
1	230	1195
2	867	1143
3	4496	1143

Stop Event

1×	node limit

Counts

197 → 160

prune203.0ms (4.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	203	0	203
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	203	8	211

Error

Counts

211 → 8

Alt Table

Status	Error	Program
	1.7b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))) 3)
✓	0.4b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
✓	1.4b	(fma.f64 1/6 (.f64 (/.f64 (sin.f64 x) x) (pow.f64 y 3)) (.f64 (/.f64 (sin.f64 x) x) y))
	15.3b	(/.f64 1 (/.f64 x (*.f64 (sin.f64 x) (sinh.f64 y))))
	1.9b	(*.f64 (/.f64 (sin.f64 x) x) y)
✓	0.8b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
	14.9b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
✓	0.5b	(.f64 (sin.f64 x) (.f64 (sinh.f64 y) (/.f64 1 x)))

Compiler

Compiled 4526 to 2080 computations (54% saved)

regimes175.0ms (3.6%)

Accuracy

Total 0.2b remaining (86.9%)

Threshold costs 0.2b (86.9%)

Counts

43 → 1

Compiler

Compiled 2758 to 1906 computations (30.9% 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

Stop Event

1×

saturated

end93.0ms (1.9%)

Compiler: Compiled 105 to 70 computations (33.3% saved)

Details

analyze467.0ms (9.5%)

sample3.0s (61.2%)

simplify17.0ms (0.3%)

prune3.0ms (0.1%)

localize5.0ms (0.1%)

series61.0ms (1.2%)

rewrite45.0ms (0.9%)

simplify46.0ms (0.9%)

prune94.0ms (1.9%)

localize7.0ms (0.1%)

series49.0ms (1%)

rewrite44.0ms (0.9%)

simplify43.0ms (0.9%)

prune76.0ms (1.5%)

localize5.0ms (0.1%)

series77.0ms (1.6%)

rewrite60.0ms (1.2%)

simplify50.0ms (1%)

prune105.0ms (2.1%)

localize10.0ms (0.2%)

series59.0ms (1.2%)

rewrite56.0ms (1.2%)

simplify48.0ms (1%)

prune203.0ms (4.1%)

regimes175.0ms (3.6%)

simplify2.0ms (0%)

end93.0ms (1.9%)

Profiling