Details

analyze117.0ms (3.8%)

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
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
74.9%	25%	0.1%	7
76.5%	23.4%	0.1%	8
84.3%	15.6%	0.1%	9
86.2%	13.7%	0.1%	10
91.3%	8.6%	0.1%	11
92.6%	7.3%	0.1%	12
95.4%	4.5%	0.1%	13
96.1%	3.8%	0.1%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.6s (53.3%)

Results

650.0ms	5604×	body	128	valid
599.0ms	1301×	body	1024	valid
260.0ms	892×	body	512	valid
93.0ms	459×	body	256	valid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`associate-*r/_binary64`
1×	`associate-*l/_binary64`
1×	`associate-/r/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	12	9
3	16	9
4	17	9
5	17	9

prune1.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.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series14.0ms (0.5%)

Counts

2 → 28

Calls

2 calls:

11.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
3.0ms	(/.f64 (sin.f64 y) y)

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

5.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
2.0ms	(/.f64 (sin.f64 y) y)

simplify94.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-neg_binary64`
645×	`fma-def_binary64`
532×	`associate-/r/_binary64`
459×	`cancel-sign-sub-inv_binary64`
346×	`associate-l_binary64`

Counts

91 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	1147
1	268	1057
2	843	1043
3	2436	1039
4	4592	1039
5	4999	1039
6	4947	1039

prune58.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	5	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Error

Counts

99 → 6

Alt Table

Status	Error	Program
	1.1b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
	6.9b	(/.f64 (*.f64 (sin.f64 y) x) y)
▶	0.2b	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
	32.5b	(.f64 x (.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
	14.6b	(.f64 x (.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) (sqrt.f64 (/.f64 (sin.f64 y) y))))

Compiler

Compiled 1349 to 457 computations (66.1% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series14.0ms (0.5%)

Counts

2 → 36

Calls

2 calls:

11.0ms	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
3.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

rewrite16.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-exp-log_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-cbrt-cube_binary64`
14×	`associate-r_binary64`
13×	`prod-exp_binary64`

Counts

2 → 64

Calls

2 calls:

7.0ms	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
6.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

simplify84.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

568×	`fma-neg_binary64`
383×	`fma-def_binary64`
379×	`associate-/r*_binary64`
320×	`associate-/l/_binary64`
316×	`cancel-sign-sub-inv_binary64`

Counts

100 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	1096
1	264	956
2	737	942
3	1735	938
4	3749	938
5	4801	938
6	4965	938

prune66.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	107	6	113

Error

Counts

113 → 6

Alt Table

Status	Error	Program
▶	1.1b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
	6.9b	(/.f64 (*.f64 (sin.f64 y) x) y)
✓	0.2b	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
	32.5b	(.f64 x (.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
	14.6b	(.f64 x (.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) (sqrt.f64 (/.f64 (sin.f64 y) y))))

Compiler

Compiled 1532 to 769 computations (49.8% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y))
✓	0.2b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
✓	0.6b	(cbrt.f64 x)

series290.0ms (9.5%)

Counts

4 → 72

Calls

4 calls:

192.0ms	(*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y))
37.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
34.0ms	(cbrt.f64 x)
26.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))

rewrite34.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
32×	`add-exp-log_binary64`
25×	`pow1_binary64`
24×	`cbrt-prod_binary64`
22×	`*-un-lft-identity_binary64`

Counts

4 → 123

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
9.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
7.0ms	(*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y))
1.0ms	(cbrt.f64 x)

simplify126.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

580×	`fma-def_binary64`
393×	`unswap-sqr_binary64`
391×	`fma-neg_binary64`
373×	`associate-/l*_binary64`
310×	`times-frac_binary64`

Counts

195 → 180

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	182	2378
1	415	2062
2	1633	1985
3	3634	1963
4	4815	1963
5	4999	1963
6	4947	1963

prune85.0ms (2.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	216	6	222

Error

Counts

222 → 6

Alt Table

Status	Error	Program
✓	1.1b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
▶	6.9b	(/.f64 (*.f64 (sin.f64 y) x) y)
✓	0.2b	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
	32.5b	(.f64 x (.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
	14.6b	(.f64 x (.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) (sqrt.f64 (/.f64 (sin.f64 y) y))))

Compiler

Compiled 4027 to 968 computations (76% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series20.0ms (0.6%)

Counts

2 → 8

Calls

2 calls:

13.0ms	(/.f64 (*.f64 (sin.f64 y) x) y)
7.0ms	(*.f64 (sin.f64 y) x)

rewrite8.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

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

simplify94.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

745×	`times-frac_binary64`
614×	`fma-neg_binary64`
531×	`associate-/l*_binary64`
303×	`associate-l_binary64`
259×	`associate-r_binary64`

Counts

51 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	667
1	263	575
2	900	557
3	3846	557
4	4780	557
5	4977	557
6	4999	557
7	4928	557

prune43.0ms (1.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	81	6	87

Error

Counts

87 → 6

Alt Table

Status	Error	Program
✓	1.1b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
✓	6.9b	(/.f64 (*.f64 (sin.f64 y) x) y)
✓	0.2b	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
	32.5b	(.f64 x (.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (sin.f64 y) (sqrt.f64 y))))
✓	0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
	14.6b	(.f64 x (.f64 (sqrt.f64 (/.f64 (sin.f64 y) y)) (sqrt.f64 (/.f64 (sin.f64 y) y))))

Compiler

Compiled 999 to 374 computations (62.6% saved)

regimes153.0ms (5%)

Accuracy

Total 0.1b remaining (73.6%)

Threshold costs 0.1b (73.6%)

Counts

46 → 1

Compiler

Compiled 2332 to 1346 computations (42.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	7	9
2	7	9

end70.0ms (2.3%)

Compiler: Compiled 86 to 51 computations (40.7% saved)

Details

analyze117.0ms (3.8%)

sample1.6s (53.3%)

simplify6.0ms (0.2%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series14.0ms (0.5%)

rewrite11.0ms (0.3%)

simplify94.0ms (3.1%)

prune58.0ms (1.9%)

localize6.0ms (0.2%)

series14.0ms (0.5%)

rewrite16.0ms (0.5%)

simplify84.0ms (2.8%)

prune66.0ms (2.1%)

localize8.0ms (0.3%)

series290.0ms (9.5%)

rewrite34.0ms (1.1%)

simplify126.0ms (4.1%)

prune85.0ms (2.8%)

localize5.0ms (0.1%)

series20.0ms (0.6%)

rewrite8.0ms (0.3%)

simplify94.0ms (3.1%)

prune43.0ms (1.4%)

regimes153.0ms (5%)

simplify2.0ms (0.1%)

end70.0ms (2.3%)

Profiling