Details

analyze551.0ms (2.3%)

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
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
87.4%	12.5%	0.1%	9
87.4%	12.5%	0.1%	10
87.4%	12.5%	0.1%	11
93.6%	6.2%	0.1%	12
93.6%	6.2%	0.1%	13
93.6%	6.2%	0.1%	14

Compiler

Compiled 27 to 21 computations (22.2% saved)

sample6.3s (26.8%)

Results

1.9s	5592×	body	128	valid
1.8s	882×	body	4096	valid
1.5s	902×	body	2048	valid
613.0ms	487×	body	1024	valid
256.0ms	254×	body	512	valid
90.0ms	139×	body	256	valid

Compiler

Compiled 80 to 62 computations (22.5% saved)

simplify79.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

652×	`div-sub_binary64`
554×	`fma-neg_binary64`
550×	`hypot-def_binary64`
431×	`fma-def_binary64`
378×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	36
1	44	25
2	96	25
3	264	25
4	706	25
5	2223	25
6	4175	25
7	4825	25
8	4983	25

prune8.0ms (0%)

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

11.9b

Counts

3 → 2

Alt Table

Status	Error	Program
	25.6b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) (PI.f64)))
▶	12.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))

Status

Error

Program

25.6b

(*.f64 180 (/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) (PI.f64)))

▶

12.0b

(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))

Compiler

Compiled 132 to 91 computations (31.1% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)
✓	0.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
✓	0.0b	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64))
✓	0.9b	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A)))

series375.0ms (1.6%)

Counts

4 → 144

Calls

4 calls:

138.0ms	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)
108.0ms	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A)))
74.0ms	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
55.0ms	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64))

rewrite141.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

285×	`expm1-udef_binary64`
285×	`log1p-udef_binary64`
156×	`add-sqr-sqrt_binary64`
150×	`log1p-expm1-u_binary64`
150×	`expm1-log1p-u_binary64`

Counts

4 → 136

Calls

4 calls:

134.0ms	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)
134.0ms	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
134.0ms	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64))
134.0ms	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	76
1	299	76
2	4195	76
3	5022	76
0	0	0
1	0	0

simplify159.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

464×	`fma-def_binary64`
266×	`associate-+l+_binary64`
252×	`associate--r+_binary64`
231×	`associate-/l*_binary64`
224×	`associate--l+_binary64`

Counts

280 → 272

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	447	5489
1	1506	5060
2	5260	5060

prune442.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	267	5	272
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	268	6	274

Error

0.4b

Counts

274 → 6

Alt Table

Status	Error	Program
✓	12.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
▶	12.0b	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
	41.0b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) (PI.f64)))
	52.3b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (PI.f64)))
	53.4b	(.f64 180 (/.f64 (atan.f64 (-.f64 (fma.f64 1/8 (/.f64 (pow.f64 B 3) (pow.f64 C 3)) (.f64 3/8 (/.f64 A (/.f64 (pow.f64 C 4) (pow.f64 B 3))))) (.f64 1/2 (+.f64 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B))) (+.f64 (/.f64 (.f64 A (.f64 A B)) (pow.f64 C 3)) (/.f64 (*.f64 B (pow.f64 A 3)) (pow.f64 C 4))))))) (PI.f64)))
	16.4b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))

Compiler

Compiled 9332 to 4610 computations (50.6% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)
✓	0.0b	(*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180)
✓	0.0b	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
	0.9b	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A)))

series102.0ms (0.4%)

Counts

2 → 72

Calls

2 calls:

74.0ms	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
27.0ms	(*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180)

rewrite95.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

285×	`expm1-udef_binary64`
285×	`log1p-udef_binary64`
156×	`add-sqr-sqrt_binary64`
150×	`log1p-expm1-u_binary64`
150×	`expm1-log1p-u_binary64`

Counts

2 → 56

Calls

2 calls:

92.0ms	(*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180)
92.0ms	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	46
1	299	46
2	4241	46
3	5066	46
0	0	0
1	0	0

simplify196.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

557×	`fma-neg_binary64`
543×	`fma-def_binary64`
140×	`cancel-sign-sub-inv_binary64`
128×	`div-sub_binary64`
109×	`unsub-neg_binary64`

Counts

128 → 60

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	1656
1	47	1656
2	100	1656
3	180	1656
4	338	1656
5	599	1656
6	883	1656
7	981	1656
8	1113	1656
9	1120	1656
10	1125	1656
11	1076	1656

prune457.0ms (1.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	267	3	270
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	268	8	276

Error

0.3b

Counts

276 → 8

Alt Table

Status	Error	Program
✓	12.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
	53.4b	(/.f64 (.f64 (atan.f64 (-.f64 (fma.f64 1/8 (/.f64 (pow.f64 B 3) (pow.f64 C 3)) (.f64 3/8 (/.f64 A (/.f64 (pow.f64 C 4) (pow.f64 B 3))))) (.f64 1/2 (+.f64 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B))) (+.f64 (/.f64 (.f64 A (.f64 A B)) (pow.f64 C 3)) (/.f64 (*.f64 B (pow.f64 A 3)) (pow.f64 C 4))))))) 180) (PI.f64))
✓	12.0b	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
	41.0b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) (PI.f64)))
	52.3b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (PI.f64)))
	41.0b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180) (PI.f64))
▶	16.4b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))
	46.2b	(/.f64 (.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 C (/.f64 (*.f64 A A) B)) (/.f64 B A)))) 180) (PI.f64))

Compiler

Compiled 9390 to 4736 computations (49.6% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (hypot.f64 B (-.f64 C A)))
✓	0.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))
	0.9b	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A)))
✓	61.7b	(fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))

series11.5s (49%)

Counts

3 → 66

Calls

3 calls:

11.2s

(fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))

135.0ms

(sqrt.f64 (hypot.f64 B (-.f64 C A)))

118.0ms

(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))

rewrite99.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

715×	`prod-diff_binary64`
202×	`add-sqr-sqrt_binary64`
195×	`log1p-expm1-u_binary64`
195×	`expm1-log1p-u_binary64`
188×	`add-cbrt-cube_binary64`

Counts

3 → 68

Calls

3 calls:

96.0ms

(sqrt.f64 (hypot.f64 B (-.f64 C A)))

96.0ms

(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))

96.0ms

(fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	94
1	391	50
2	4390	50
3	5836	50
0	0	0
1	0	0

simplify164.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

556×	`cancel-sign-sub-inv_binary64`
469×	`fma-neg_binary64`
253×	`fma-def_binary64`
242×	`neg-sub0_binary64`
240×	`neg-mul-1_binary64`

Counts

134 → 112

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	248	4359
1	719	3875
2	2792	3306
3	4489	3300
4	5089	3300

prune533.0ms (2.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	280	0	280
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	280	8	288

Error

0.3b

Counts

288 → 8

Alt Table

Status	Error	Program
✓	12.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
	53.4b	(/.f64 (.f64 (atan.f64 (-.f64 (fma.f64 1/8 (/.f64 (pow.f64 B 3) (pow.f64 C 3)) (.f64 3/8 (/.f64 A (/.f64 (pow.f64 C 4) (pow.f64 B 3))))) (.f64 1/2 (+.f64 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B))) (+.f64 (/.f64 (.f64 A (.f64 A B)) (pow.f64 C 3)) (/.f64 (*.f64 B (pow.f64 A 3)) (pow.f64 C 4))))))) 180) (PI.f64))
✓	12.0b	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
	41.0b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) (PI.f64)))
	52.3b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (PI.f64)))
▶	41.0b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180) (PI.f64))
✓	16.4b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))
	46.2b	(/.f64 (.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 C (/.f64 (*.f64 A A) B)) (/.f64 B A)))) 180) (PI.f64))

Compiler

Compiled 16200 to 6704 computations (58.6% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180)
✓	3.2b	(+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B)))
✓	6.5b	(/.f64 A (/.f64 (*.f64 C C) B))
✓	7.4b	(/.f64 (*.f64 C C) B)

series242.0ms (1%)

Counts

4 → 132

Calls

4 calls:

90.0ms	(/.f64 A (/.f64 (*.f64 C C) B))
87.0ms	(+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B)))
46.0ms	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180)
19.0ms	(/.f64 (*.f64 C C) B)

rewrite118.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

289×	`log1p-udef_binary64`
164×	`add-sqr-sqrt_binary64`
161×	`egg-rr`
156×	`log1p-expm1-u_binary64`
156×	`expm1-log1p-u_binary64`

Counts

4 → 161

Calls

4 calls:

110.0ms	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180)
110.0ms	(+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B)))
110.0ms	(/.f64 A (/.f64 (*.f64 C C) B))
110.0ms	(/.f64 (*.f64 C C) B)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	320	53
2	4515	53
3	4900	53
0	0	0
1	0	0

simplify347.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

556×	`fma-def_binary64`
548×	`times-frac_binary64`
387×	`distribute-rgt-in_binary64`
386×	`distribute-lft-in_binary64`
330×	`unswap-sqr_binary64`

Counts

293 → 171

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	21	1914
1	40	1914
2	75	1806
3	173	1716
4	510	1644
5	2248	1584
6	2719	1584
7	3468	1584
8	3917	1584
9	4490	1584
10	4410	1584
11	4562	1584
12	4739	1584
13	4943	1584
14	4974	1584
15	4845	1584

prune236.0ms (1%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	168	11	179

Error

0.3b

Counts

179 → 11

Alt Table

Status	Error	Program
	44.9b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (cbrt.f64 (pow.f64 (fma.f64 A (/.f64 B (*.f64 C C)) (/.f64 B C)) 3)))) 180) (PI.f64))
✓	12.0b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) (PI.f64)))
	53.4b	(/.f64 (.f64 (atan.f64 (-.f64 (fma.f64 1/8 (/.f64 (pow.f64 B 3) (pow.f64 C 3)) (.f64 3/8 (/.f64 A (/.f64 (pow.f64 C 4) (pow.f64 B 3))))) (.f64 1/2 (+.f64 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B))) (+.f64 (/.f64 (.f64 A (.f64 A B)) (pow.f64 C 3)) (/.f64 (*.f64 B (pow.f64 A 3)) (pow.f64 C 4))))))) 180) (PI.f64))
✓	12.0b	(/.f64 (*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) B)) 180) (PI.f64))
	41.0b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) (PI.f64)))
	52.4b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (-.f64 (exp.f64 (log1p.f64 (fma.f64 A (/.f64 B (*.f64 C C)) (/.f64 B C)))) 1))) 180) (PI.f64))
	52.3b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (PI.f64)))
✓	41.0b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) 180) (PI.f64))
	51.6b	(/.f64 (.f64 (atan.f64 (.f64 -1/2 (pow.f64 (sqrt.f64 (fma.f64 A (/.f64 B (*.f64 C C)) (/.f64 B C))) 2))) 180) (PI.f64))
✓	16.4b	(*.f64 180 (/.f64 (atan.f64 (/.f64 (+.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 C A))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 C A)))) (sqrt.f64 (hypot.f64 B (-.f64 C A))) (hypot.f64 B (-.f64 C A)))) B)) (PI.f64)))
	46.2b	(/.f64 (.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 C (/.f64 (*.f64 A A) B)) (/.f64 B A)))) 180) (PI.f64))

Compiler

Compiled 4404 to 2054 computations (53.4% saved)

regimes1.0s (4.4%)

Accuracy

Total 10.9b remaining (96.3%)

Threshold costs 0b (0%)

Counts

95 → 3

Compiler

Compiled 16667 to 12026 computations (27.8% saved)

bsearch4.0ms (0%)

Compiler: Compiled 21 to 15 computations (28.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
8×	`*-commutative_binary64`
8×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	140
1	54	140
2	67	140
3	75	140
4	79	140
5	78	140

end198.0ms (0.8%)

Compiler: Compiled 473 to 294 computations (37.8% saved)

Details

analyze551.0ms (2.3%)

sample6.3s (26.8%)

simplify79.0ms (0.3%)

prune8.0ms (0%)

localize17.0ms (0.1%)

series375.0ms (1.6%)

rewrite141.0ms (0.6%)

simplify159.0ms (0.7%)

prune442.0ms (1.9%)

localize19.0ms (0.1%)

series102.0ms (0.4%)

rewrite95.0ms (0.4%)

simplify196.0ms (0.8%)

prune457.0ms (1.9%)

localize28.0ms (0.1%)

series11.5s (49%)

rewrite99.0ms (0.4%)

simplify164.0ms (0.7%)

prune533.0ms (2.3%)

localize23.0ms (0.1%)

series242.0ms (1%)

rewrite118.0ms (0.5%)

simplify347.0ms (1.5%)

prune236.0ms (1%)

regimes1.0s (4.4%)

bsearch4.0ms (0%)

simplify5.0ms (0%)

end198.0ms (0.8%)

Profiling