Details

analyze458.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.1s (65.2%)

Results

1.0s	2058×	body	1024	invalid
793.0ms	6424×	body	128	valid
359.0ms	655×	body	1024	valid
350.0ms	1052×	body	512	invalid
220.0ms	691×	body	512	valid
135.0ms	504×	body	256	invalid
112.0ms	486×	body	256	valid
99.0ms	772×	body	128	invalid
1.0ms	1×	body	2048	invalid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess37.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

948×	`fma-def_binary64`
229×	`div-sub_binary64`
216×	`cancel-sign-sub-inv_binary64`
186×	`associate-/l*_binary64`
184×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	28	22
2	67	22
3	148	22
4	346	22
5	925	22
6	2908	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify19.0ms (0.4%)

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.1b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
	13.0b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

Compiler

Compiled 52 to 32 computations (38.5% saved)

localize6.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.2b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))

series58.0ms (1.2%)

Counts

3 → 60

Calls

15 calls:

8.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))	y	-inf
6.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))	y	inf
5.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))	x	-inf
5.0ms	(/.f64 (sinh.f64 y) x)	y	inf
5.0ms	(/.f64 (sinh.f64 y) x)	y	-inf

rewrite52.0ms (1.1%)

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

simplify49.0ms (1%)

Algorithm

1×	egg-herbie

Rules

696×	`fma-neg_binary64`
652×	`times-frac_binary64`
348×	`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	3668	1140

Stop Event

1×	node limit

Counts

140 → 120

prune81.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	115	5	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	115	7	122

Error

Counts

122 → 7

Alt Table

Status	Error	Program
▶	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))
	23.0b	(*.f64 (sin.f64 x) (pow.f64 (sqrt.f64 (/.f64 (sinh.f64 y) x)) 2))
	1.7b	(*.f64 (/.f64 (sin.f64 x) x) y)
✓	0.1b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
	42.6b	(/.f64 (-.f64 (.f64 1/2 (.f64 (sin.f64 x) (exp.f64 y))) (*.f64 1/2 (/.f64 (sin.f64 x) (exp.f64 y)))) x)
	13.0b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
	13.5b	(/.f64 (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))

Compiler

Compiled 1871 to 898 computations (52% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series79.0ms (1.6%)

Counts

2 → 48

Calls

12 calls:

11.0ms	(/.f64 x (sinh.f64 y))	x	-inf
10.0ms	(/.f64 x (sinh.f64 y))	y	inf
10.0ms	(/.f64 x (sinh.f64 y))	y	-inf
9.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))	y	-inf
9.0ms	(/.f64 x (sinh.f64 y))	x	inf

rewrite64.0ms (1.3%)

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

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

prune90.0ms (1.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	4	1	5
Picked	0	1	1
Done	0	1	1
Total	141	6	147

Error

Counts

147 → 6

Alt Table

Status	Error	Program
	1.4b	(/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (/.f64 x (sinh.f64 y))) 3))
	34.0b	(cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x)) 3))
▶	0.1b	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
✓	0.1b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))
	13.0b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
✓	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 2092 to 929 computations (55.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series34.0ms (0.7%)

Counts

2 → 28

Calls

9 calls:

6.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))	y	inf
6.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))	y	-inf
6.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))	x	inf
5.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))	x	-inf
3.0ms	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))	x	0

rewrite45.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	149	17
2	2054	17

Stop Event

1×	node limit

Counts

2 → 65

simplify39.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

651×	`fma-neg_binary64`
473×	`times-frac_binary64`
377×	`sub-neg_binary64`
278×	`fma-def_binary64`
161×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	719
1	277	690
2	872	676
3	3444	670

Stop Event

1×	node limit

Counts

93 → 93

prune73.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	2	3
Picked	0	1	1
Done	1	1	2
Total	125	5	130

Error

Counts

130 → 5

Alt Table

Status	Error	Program
	1.4b	(/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (/.f64 x (sinh.f64 y))) 3))
✓	0.1b	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
	13.0b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
▶	0.1b	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))
✓	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 1792 to 832 computations (53.6% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series37.0ms (0.8%)

Counts

2 → 28

Calls

9 calls:

7.0ms	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))	y	inf
7.0ms	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))	x	-inf
6.0ms	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))	y	-inf
4.0ms	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))	x	inf
3.0ms	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))	x	0

rewrite49.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

869×	`log1p-expm1-u_binary64`
869×	`expm1-log1p-u_binary64`
83×	`add-sqr-sqrt_binary64`
80×	`prod-diff_binary64`
77×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 76

simplify43.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

552×	`fma-neg_binary64`
473×	`times-frac_binary64`
337×	`sub-neg_binary64`
287×	`fma-def_binary64`
149×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	92	719
1	273	686
2	846	674
3	3304	668

Stop Event

1×	node limit

Counts

104 → 104

prune87.0ms (1.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	135	5	140

Error

Counts

140 → 5

Alt Table

Status	Error	Program
✓	0.1b	(*.f64 (sinh.f64 y) (/.f64 (sin.f64 x) x))
	13.0b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
✓	0.1b	(/.f64 (sinh.f64 y) (/.f64 x (sin.f64 x)))
	0.1b	(/.f64 (sinh.f64 y) (pow.f64 (/.f64 (sin.f64 x) x) -1))
✓	0.6b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Compiler

Compiled 1947 to 840 computations (56.9% saved)

regimes136.0ms (2.8%)

Accuracy

Total 0.1b remaining (72.8%)

Threshold costs 0.1b (72.8%)

Counts

39 → 1

Compiler

Compiled 1846 to 1266 computations (31.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×

saturated

end64.0ms (1.3%)

Stop Event

1×

fuel

Compiler

Compiled 65 to 44 computations (32.3% saved)

Details

analyze458.0ms (9.5%)

sample3.1s (65.2%)

preprocess37.0ms (0.8%)

simplify19.0ms (0.4%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series58.0ms (1.2%)

rewrite52.0ms (1.1%)

simplify49.0ms (1%)

prune81.0ms (1.7%)

localize6.0ms (0.1%)

series79.0ms (1.6%)

rewrite64.0ms (1.3%)

simplify50.0ms (1%)

prune90.0ms (1.9%)

localize6.0ms (0.1%)

series34.0ms (0.7%)

rewrite45.0ms (0.9%)

simplify39.0ms (0.8%)

prune73.0ms (1.5%)

localize5.0ms (0.1%)

series37.0ms (0.8%)

rewrite49.0ms (1%)

simplify43.0ms (0.9%)

prune87.0ms (1.8%)

regimes136.0ms (2.8%)

simplify2.0ms (0%)

end64.0ms (1.3%)

Profiling