Details

analyze64.0ms (0.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
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 9 to 6 computations (33.3% saved)

sample2.3s (27.9%)

Results

906.0ms	5586×	body	128	valid
788.0ms	1281×	body	1024	valid
381.0ms	898×	body	512	valid
141.0ms	484×	body	256	valid
8.0ms	7×	body	2048	valid

Compiler

Compiled 26 to 17 computations (34.6% saved)

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

prune8.0ms (0.1%)

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.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize9.0ms (0.1%)

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)

series30.0ms (0.4%)

Counts

2 → 28

Calls

2 calls:

24.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
6.0ms	(/.f64 (sin.f64 y) y)

rewrite37.0ms (0.5%)

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:

25.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
6.0ms	(/.f64 (sin.f64 y) y)

simplify155.0ms (1.9%)

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

prune146.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	9	99

Error

Counts

99 → 9

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
	0.6b	(.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y))))
	14.4b	(.f64 (.f64 x (sqrt.f64 (/.f64 (sin.f64 y) y))) (sqrt.f64 (/.f64 (sin.f64 y) y)))
	30.8b	(.f64 x (.f64 (sqrt.f64 (sin.f64 y)) (/.f64 (sqrt.f64 (sin.f64 y)) y)))
▶	0.6b	(.f64 x (.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y))))
	6.9b	(.f64 (.f64 x (sin.f64 y)) (/.f64 1 y))
	6.8b	(/.f64 (*.f64 (sin.f64 y) x) y)
	31.0b	(*.f64 x (/.f64 (/.f64 (sin.f64 y) (sqrt.f64 y)) (sqrt.f64 y)))
	0.6b	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))

Compiler

Compiled 1473 to 514 computations (65.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(/.f64 (sin.f64 y) y)
✓	0.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y)))
✓	0.3b	(*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y)))
✓	0.4b	(cbrt.f64 (/.f64 (sin.f64 y) y))

series840.0ms (10.3%)

Counts

3 → 36

Calls

3 calls:

491.0ms

(*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y)))

318.0ms

(cbrt.f64 (/.f64 (sin.f64 y) y))

30.0ms

(*.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y)))

rewrite76.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

92×	`cbrt-prod_binary64`
78×	`add-sqr-sqrt_binary64`
61×	`times-frac_binary64`
50×	`*-un-lft-identity_binary64`
50×	`add-cube-cbrt_binary64`

Counts

3 → 160

Calls

3 calls:

24.0ms

(*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y)))

24.0ms

(*.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y)))

4.0ms

(cbrt.f64 (/.f64 (sin.f64 y) y))

simplify306.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

768×	`fma-def_binary64`
279×	`fma-neg_binary64`
260×	`*-commutative_binary64`
205×	`times-frac_binary64`
197×	`associate-/l*_binary64`

Counts

196 → 244

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	229	4254
1	439	3847
2	1271	3483
3	3319	3128
4	4747	3128
5	4959	3128

prune717.0ms (8.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	443	0	443
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	443	9	452

Error

Counts

452 → 9

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
▶	0.6b	(.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y))))
	14.4b	(.f64 (.f64 x (sqrt.f64 (/.f64 (sin.f64 y) y))) (sqrt.f64 (/.f64 (sin.f64 y) y)))
	30.8b	(.f64 x (.f64 (sqrt.f64 (sin.f64 y)) (/.f64 (sqrt.f64 (sin.f64 y)) y)))
✓	0.6b	(.f64 x (.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y))))
	6.9b	(.f64 (.f64 x (sin.f64 y)) (/.f64 1 y))
	6.8b	(/.f64 (*.f64 (sin.f64 y) x) y)
	31.0b	(*.f64 x (/.f64 (/.f64 (sin.f64 y) (sqrt.f64 y)) (sqrt.f64 y)))
	0.6b	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))

Compiler

Compiled 11404 to 2698 computations (76.3% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.5b	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
✓	0.6b	(cbrt.f64 y)
✓	0.7b	(cbrt.f64 (sin.f64 y))

series791.0ms (9.7%)

Counts

4 → 48

Calls

4 calls:

363.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
275.0ms	(cbrt.f64 (sin.f64 y))
81.0ms	(cbrt.f64 y)
72.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite78.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
38×	`cbrt-prod_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
18×	`pow1_binary64`

Counts

4 → 110

Calls

4 calls:

60.0ms	(*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
5.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
2.0ms	(cbrt.f64 (sin.f64 y))
1.0ms	(cbrt.f64 y)

simplify216.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

863×	`fma-neg_binary64`
764×	`log-prod_binary64`
607×	`unswap-sqr_binary64`
525×	`fma-def_binary64`
273×	`cube-prod_binary64`

Counts

158 → 157

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	138	1488
1	286	1350
2	830	1264
3	1461	1226
4	3684	1014
5	4276	1008
6	4385	1008
7	4957	1008
8	5092	1008

prune390.0ms (4.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	237	9	246

Error

Counts

246 → 9

Alt Table

Status	Error	Program
	1.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
✓	0.6b	(.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y))))
	14.4b	(.f64 (.f64 x (sqrt.f64 (/.f64 (sin.f64 y) y))) (sqrt.f64 (/.f64 (sin.f64 y) y)))
	30.8b	(.f64 x (.f64 (sqrt.f64 (sin.f64 y)) (/.f64 (sqrt.f64 (sin.f64 y)) y)))
✓	0.6b	(.f64 x (.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y))))
	6.9b	(.f64 (.f64 x (sin.f64 y)) (/.f64 1 y))
	6.8b	(/.f64 (*.f64 (sin.f64 y) x) y)
	31.0b	(*.f64 x (/.f64 (/.f64 (sin.f64 y) (sqrt.f64 y)) (sqrt.f64 y)))
▶	0.6b	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))

Compiler

Compiled 6629 to 1702 computations (74.3% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series52.0ms (0.6%)

Counts

3 → 40

Calls

3 calls:

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

rewrite82.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`times-frac_binary64`
103×	`add-sqr-sqrt_binary64`
91×	`*-un-lft-identity_binary64`
89×	`add-cube-cbrt_binary64`
44×	`associate-r_binary64`

Counts

3 → 182

Calls

3 calls:

30.0ms	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))
10.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
5.0ms	(/.f64 y (sin.f64 y))

simplify265.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

760×	`fma-neg_binary64`
585×	`fma-def_binary64`
359×	`times-frac_binary64`
226×	`cancel-sign-sub-inv_binary64`
220×	`sub-neg_binary64`

Counts

222 → 286

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	180	3095
1	387	2736
2	1122	2693
3	2662	2687
4	3927	2687
5	4641	2687
6	4996	2687

prune416.0ms (5.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	283	3	286
Fresh	4	2	6
Picked	1	0	1
Done	1	1	2
Total	289	6	295

Error

Counts

295 → 6

Alt Table

Status	Error	Program
	7.6b	(.f64 (.f64 x (/.f64 1 y)) (/.f64 1 (/.f64 1 (sin.f64 y))))
	1.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (/.f64 (sin.f64 y) y)))
✓	0.6b	(.f64 x (.f64 (*.f64 (cbrt.f64 (/.f64 (sin.f64 y) y)) (cbrt.f64 (/.f64 (sin.f64 y) y))) (cbrt.f64 (/.f64 (sin.f64 y) y))))
	31.0b	(.f64 x (.f64 (/.f64 1 (/.f64 1 (sqrt.f64 (sin.f64 y)))) (/.f64 1 (/.f64 y (sqrt.f64 (sin.f64 y))))))
	6.8b	(/.f64 (*.f64 (sin.f64 y) x) y)
	7.4b	(*.f64 (/.f64 x y) (sin.f64 y))

Compiler

Compiled 4713 to 1887 computations (60% saved)

regimes967.0ms (11.8%)

Accuracy

Total 0.1b remaining (79.1%)

Threshold costs 0.1b (79.1%)

Counts

119 → 1

Compiler

Compiled 7021 to 4422 computations (37% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	9
1	15	9
2	12	9

end183.0ms (2.2%)

Compiler: Compiled 101 to 60 computations (40.6% saved)

Details

analyze64.0ms (0.8%)

sample2.3s (27.9%)

simplify13.0ms (0.2%)

prune8.0ms (0.1%)

localize9.0ms (0.1%)

series30.0ms (0.4%)

rewrite37.0ms (0.5%)

simplify155.0ms (1.9%)

prune146.0ms (1.8%)

localize17.0ms (0.2%)

series840.0ms (10.3%)

rewrite76.0ms (0.9%)

simplify306.0ms (3.7%)

prune717.0ms (8.8%)

localize25.0ms (0.3%)

series791.0ms (9.7%)

rewrite78.0ms (1%)

simplify216.0ms (2.6%)

prune390.0ms (4.8%)

localize12.0ms (0.1%)

series52.0ms (0.6%)

rewrite82.0ms (1%)

simplify265.0ms (3.2%)

prune416.0ms (5.1%)

regimes967.0ms (11.8%)

simplify4.0ms (0%)

end183.0ms (2.2%)

Profiling