Details

analyze1.8s (12.6%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
14%	85.8%	0.1%	9
19.5%	80.4%	0.1%	10
20.7%	79.2%	0.1%	11
22%	77.8%	0.1%	12
23.5%	76.4%	0.1%	13
23.8%	76%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample4.4s (31.2%)

Results

2.9s	3582×	body	1024	valid
592.0ms	1387×	body	512	valid
464.0ms	2427×	body	128	valid
292.0ms	216×	body	2048	valid
184.0ms	644×	body	256	valid
1.0ms	2×	body	1024	invalid

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	13	14
2	16	14
3	20	14
4	21	14
5	21	14

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

14.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	14.5b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))

Compiler

Compiled 45 to 28 computations (37.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
✓	0.2b	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
✓	3.7b	(cos.f64 (+.f64 a b))

series80.0ms (0.6%)

Counts

3 → 52

Calls

3 calls:

49.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
27.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
4.0ms	(cos.f64 (+.f64 a b))

rewrite195.0ms (1.4%)

Algorithm

3×	egg-rewrite

Rules

49×	`egg`
45×	`egg`
45×	`egg`

Counts

3 → 139

Calls

3 calls:

89.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
52.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
51.0ms	(cos.f64 (+.f64 a b))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	115	6
2	1548	6
3	5067	6
0	7	11
1	159	11
2	2208	11
3	4973	11
0	9	14
1	200	14
2	2736	14
3	4800	14
4	5016	14

simplify58.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

694×	`fma-def_binary64`
622×	`associate-l_binary64`
444×	`associate-/r*_binary64`
196×	`associate-/r/_binary64`
178×	`associate-*l/_binary64`

Counts

191 → 182

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	1422
1	443	1420
2	1630	1358
3	5064	1358

prune232.0ms (1.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	168	14	182
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	14	183

Error

0.1b

Counts

183 → 14

Alt Table

Status	Error	Program
	14.5b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 b a))))
	14.5b	(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
	15.2b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))) 2) (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))) r))
	0.5b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 1 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))))))) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (cbrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))))))))
	15.2b	(/.f64 1 (/.f64 (cos.f64 (+.f64 b a)) (*.f64 r (sin.f64 b))))
	15.2b	(.f64 r (.f64 (pow.f64 (cbrt.f64 (sin.f64 b)) 2) (*.f64 (cbrt.f64 (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 b a))))))
	36.3b	(.f64 r (.f64 (/.f64 (sqrt.f64 (sin.f64 b)) 1) (/.f64 (sqrt.f64 (sin.f64 b)) (cos.f64 (+.f64 b a)))))
	26.2b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	30.9b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sqrt.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (sqrt.f64 (.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))) (+.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (+.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))))
	32.9b	(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 b a)))))

Compiler

Compiled 4966 to 1618 computations (67.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 a) (sin.f64 b))
✓	0.2b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
✓	0.2b	(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 a) (sin.f64 b)))))
✓	51.8b	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b)))

series847.0ms (6%)

Counts

4 → 96

Calls

4 calls:

681.0ms	(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 a) (sin.f64 b)))))
131.0ms	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
25.0ms	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b)))
10.0ms	(*.f64 (sin.f64 a) (sin.f64 b))

rewrite316.0ms (2.2%)

Algorithm

4×	egg-rewrite

Rules

51×	`egg`
46×	`egg`
35×	`egg`
24×	`egg`

Counts

4 → 156

Calls

4 calls:

114.0ms	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
77.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
71.0ms	(/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (.f64 (sin.f64 a) (sin.f64 b)))))
51.0ms	(fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	167	13
2	1855	13
3	5734	13
0	14	43
1	306	26
2	3596	24
3	5102	24
0	16	46
1	347	29
2	4125	29
3	4987	29
4	5368	29
0	6	8
1	123	8
2	1544	8
3	4889	8
4	5061	8

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

740×	`fma-def_binary64`
675×	`associate-l_binary64`
444×	`associate-/r*_binary64`
196×	`associate-/r/_binary64`
178×	`associate-*l/_binary64`

Counts

252 → 206

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2242
1	492	2232
2	1755	2148
3	5494	2148

prune368.0ms (2.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	254	4	258
Fresh	5	8	13
Picked	0	1	1
Done	0	0	0
Total	259	13	272

Error

0.0b

Counts

272 → 13

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)) (+.f64 (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (.f64 (.f64 (sin.f64 a) (sin.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 a) 3) (pow.f64 (sin.f64 b) 3))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	32.9b	(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 b a)))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	35.4b	(*.f64 r (pow.f64 (sqrt.f64 (/.f64 (sin.f64 b) (fma.f64 (sin.f64 a) (+.f64 (sin.f64 b) (sin.f64 b)) (cos.f64 (-.f64 a b))))) 2))
	14.5b	(.f64 (.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 b a))))
	36.3b	(.f64 r (.f64 (/.f64 (sqrt.f64 (sin.f64 b)) 1) (/.f64 (sqrt.f64 (sin.f64 b)) (cos.f64 (+.f64 b a)))))
	26.2b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	15.2b	(.f64 (pow.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))) 2) (.f64 (cbrt.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))) r))
✓	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	15.2b	(/.f64 1 (/.f64 (cos.f64 (+.f64 b a)) (*.f64 r (sin.f64 b))))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))

Compiler

Compiled 8600 to 2373 computations (72.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 b) r)
✓	0.1b	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
✓	0.2b	(*.f64 (sin.f64 b) (sin.f64 a))
✓	0.2b	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

series138.0ms (1%)

Counts

4 → 52

Calls

4 calls:

106.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
15.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
9.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
7.0ms	(*.f64 (sin.f64 b) r)

rewrite311.0ms (2.2%)

Algorithm

4×	egg-rewrite

Rules

183×	`egg`
62×	`egg`
43×	`egg`
35×	`egg`

Counts

4 → 323

Calls

4 calls:

84.0ms	(*.f64 (sin.f64 b) r)
77.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
74.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
69.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	293	14
2	4064	14
3	5221	14
0	6	8
1	123	8
2	1544	8
3	4889	8
4	5061	8
0	10	18
1	226	6
2	2996	6
3	5042	6
0	5	6
1	97	6
2	1114	6
3	4736	6
4	6242	6

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

833×	`times-frac_binary64`
682×	`fma-def_binary64`
663×	`associate-/l*_binary64`
311×	`cancel-sign-sub-inv_binary64`
154×	`fma-neg_binary64`

Counts

375 → 377

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1361
1	469	1343
2	1620	1265
3	5256	1265

prune506.0ms (3.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	367	10	377
Fresh	9	2	11
Picked	1	0	1
Done	0	1	1
Total	377	13	390

Error

0.0b

Counts

390 → 13

Alt Table

Status	Error	Program
	14.5b	(/.f64 (sin.f64 b) (/.f64 (cos.f64 (+.f64 b a)) r))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	26.2b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
▶	0.3b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (.f64 (cos.f64 a) (cos.f64 b))))
	14.5b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 1 (/.f64 (cos.f64 (-.f64 b a)) (.f64 (cos.f64 (-.f64 b a)) (cos.f64 (+.f64 a b))))))
	34.3b	(.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (/.f64 1 (cos.f64 (+.f64 b a)))))
	0.8b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (cbrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (pow.f64 (cbrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) 2) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (-.f64 (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))))
✓	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) 3) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a))) 2) (neg.f64 (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (cos.f64 a) (cos.f64 b))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 9848 to 2413 computations (75.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cos.f64 a) (cos.f64 b))
✓	0.1b	(fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b)))
	0.1b	(*.f64 (sin.f64 b) r)
✓	0.2b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (.f64 (cos.f64 a) (cos.f64 b))))

series133.0ms (0.9%)

Counts

3 → 68

Calls

3 calls:

108.0ms

(/.f64 (*.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b))))

15.0ms

(fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b)))

9.0ms

(*.f64 (cos.f64 a) (cos.f64 b))

rewrite197.0ms (1.4%)

Algorithm

3×	egg-rewrite

Rules

60×	`egg`
34×	`egg`
26×	`egg`

Counts

3 → 120

Calls

3 calls:

78.0ms

(*.f64 (cos.f64 a) (cos.f64 b))

65.0ms

(/.f64 (*.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b))))

51.0ms

(fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (*.f64 (cos.f64 a) (cos.f64 b)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	272	14
2	3336	14
3	5050	14
0	10	18
1	205	6
2	2293	6
3	5098	6
0	6	8
1	123	8
2	1540	8
3	4889	8
4	5047	8

simplify103.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

833×	`times-frac_binary64`
664×	`associate-/l*_binary64`
638×	`fma-def_binary64`
208×	`fma-neg_binary64`
193×	`cancel-sign-sub-inv_binary64`

Counts

188 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	142	1831
1	420	1815
2	1440	1758
3	4849	1750
4	4998	1750
5	4988	1750

prune288.0ms (2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	212	3	215
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	215	13	228

Error

0.0b

Counts

228 → 13

Alt Table

Status	Error	Program
	14.6b	(*.f64 (/.f64 (sin.f64 b) 1) (/.f64 r (cos.f64 (-.f64 a b))))
	0.3b	(/.f64 (.f64 r (sin.f64 b)) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	26.2b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (sqrt.f64 (.f64 (cos.f64 a) (cos.f64 b))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))))
	14.5b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 1 (/.f64 (cos.f64 (-.f64 b a)) (.f64 (cos.f64 (-.f64 b a)) (cos.f64 (+.f64 a b))))))
	0.6b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (.f64 (pow.f64 (cbrt.f64 (cos.f64 b)) 2) (*.f64 (cbrt.f64 (cos.f64 b)) (cos.f64 a)))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a))) 2) (neg.f64 (cbrt.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (cos.f64 a) (cos.f64 b))))
	0.7b	(/.f64 (.f64 (sin.f64 b) r) (fma.f64 (sin.f64 b) (neg.f64 (sin.f64 a)) (.f64 (pow.f64 (cbrt.f64 (cos.f64 a)) 2) (*.f64 (cbrt.f64 (cos.f64 a)) (cos.f64 b)))))
	34.3b	(.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (.f64 (sqrt.f64 (.f64 (sin.f64 b) r)) (/.f64 1 (cos.f64 (+.f64 b a)))))
	0.4b	(/.f64 (.f64 (sin.f64 b) r) (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 a) (cos.f64 b)) 2) (-.f64 (.f64 (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a)))) (.f64 (.f64 (cos.f64 a) (cos.f64 b)) (neg.f64 (.f64 (sin.f64 b) (sin.f64 a))))))))
✓	0.3b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (.f64 (sin.f64 a) (sin.f64 b)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))
	14.5b	(/.f64 r (/.f64 (cos.f64 (+.f64 b a)) (sin.f64 b)))
	1.2b	(/.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 b) r)) 3) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))
	0.4b	(.f64 r (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 b) (cos.f64 a) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 a) (sin.f64 b)) 3)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 a) (sin.f64 b))))))

Compiler

Compiled 4708 to 1463 computations (68.9% saved)

regimes3.6s (25.7%)

Accuracy

Total 0.2b remaining (79.4%)

Threshold costs 0.2b (79.4%)

Counts

441 → 1

Compiler

Compiled 48288 to 29263 computations (39.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
7×	`sub-neg_binary64`
6×	`+-commutative_binary64`
6×	`cancel-sign-sub-inv_binary64`
6×	`neg-sub0_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	26	46
2	36	46
3	54	44
4	67	44
5	72	44
6	73	44
7	69	44

end358.0ms (2.5%)

Compiler: Compiled 404 to 218 computations (46% saved)

Details

analyze1.8s (12.6%)

sample4.4s (31.2%)

simplify6.0ms (0%)

prune2.0ms (0%)

localize9.0ms (0.1%)

series80.0ms (0.6%)

rewrite195.0ms (1.4%)

simplify58.0ms (0.4%)

prune232.0ms (1.6%)

localize18.0ms (0.1%)

series847.0ms (6%)

rewrite316.0ms (2.2%)

simplify71.0ms (0.5%)

prune368.0ms (2.6%)

localize18.0ms (0.1%)

series138.0ms (1%)

rewrite311.0ms (2.2%)

simplify60.0ms (0.4%)

prune506.0ms (3.6%)

localize12.0ms (0.1%)

series133.0ms (0.9%)

rewrite197.0ms (1.4%)

simplify103.0ms (0.7%)

prune288.0ms (2%)

regimes3.6s (25.7%)

simplify4.0ms (0%)

end358.0ms (2.5%)

Profiling