Details

analyze306.0ms (3.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)

sample3.7s (39.9%)

Results

1.2s	934×	body	4096	valid
1.1s	5577×	body	128	valid
862.0ms	867×	body	2048	valid
376.0ms	518×	body	1024	valid
131.0ms	239×	body	512	valid
43.0ms	121×	body	256	valid

Compiler

Compiled 54 to 42 computations (22.2% saved)

preprocess40.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

685×	`fma-neg_binary64`
476×	`fma-def_binary64`
312×	`associate-l_binary64`
295×	`associate-r_binary64`
162×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	144
1	129	100
2	363	100
3	1152	100
4	4674	100
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify24.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

554×	`fma-neg_binary64`
423×	`fma-def_binary64`
380×	`cancel-sign-sub-inv_binary64`
305×	`div-sub_binary64`
227×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	36
1	44	25
2	109	25
3	296	25
4	960	25
5	3457	25

Stop Event

1×	node limit

Counts

1 → 2

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

11.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	30.1b	(.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)))
▶	11.7b	(*.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C))) B)) (/.f64 180 (PI.f64)))

Status

Error

Program

30.1b

(*.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)))

▶

11.7b

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

Compiler

Compiled 132 to 93 computations (29.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series173.0ms (1.9%)

Counts

4 → 144

Calls

36 calls:

10.0ms	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C))) B)	A	0
9.0ms	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C))) B)	C	0
9.0ms	(-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C)))	A	0
8.0ms	(hypot.f64 B (-.f64 A C))	B	inf
8.0ms	(/.f64 (-.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C))) B)	B	0

rewrite75.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

312×	`log1p-udef_binary64`
178×	`add-sqr-sqrt_binary64`
174×	`pow1_binary64`
173×	`*-un-lft-identity_binary64`
166×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	329	61
2	4943	61

Stop Event

1×	node limit

Counts

4 → 124

simplify86.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

614×	`fma-def_binary64`
263×	`associate-/l*_binary64`
229×	`sub-neg_binary64`
221×	`times-frac_binary64`
184×	`+-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	549	6531
1	1981	5907

Stop Event

1×	node limit

Counts

268 → 318

prune315.0ms (3.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	311	7	318
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	313	7	320

Error

0.3b

Counts

320 → 7

Alt Table

Status	Error	Program
	43.1b	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (*.f64 (/.f64 B C) (/.f64 A C))))) (/.f64 180 (PI.f64)))
	17.5b	(*.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) (/.f64 (hypot.f64 B (-.f64 A C)) B))) (/.f64 180 (PI.f64)))
	51.9b	(*.f64 (atan.f64 (/.f64 (/.f64 (-.f64 (pow.f64 (-.f64 C A) 2) (pow.f64 (hypot.f64 B (-.f64 A C)) 2)) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 A C)))) B)) (/.f64 180 (PI.f64)))
	17.6b	(*.f64 (atan.f64 (/.f64 (+.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) (fma.f64 (neg.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C)))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) (hypot.f64 B (-.f64 A C)))) B)) (/.f64 180 (PI.f64)))
	49.3b	(.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 (.f64 B B) A) (.f64 (/.f64 (*.f64 B B) A) (/.f64 C A)))) B)) (/.f64 180 (PI.f64)))
▶	14.8b	(/.f64 (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)) (*.f64 (PI.f64) 1/180))
	47.8b	(.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (/.f64 180 (PI.f64)))

Compiler

Compiled 12017 to 6529 computations (45.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series170.0ms (1.8%)

Counts

4 → 144

Calls

36 calls:

10.0ms	(/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)	A	0
9.0ms	(/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)	C	0
8.0ms	(/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)	B	-inf
8.0ms	(/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)	B	0
7.0ms	(-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))	A	0

rewrite50.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

177×	`add-sqr-sqrt_binary64`
174×	`pow1_binary64`
173×	`*-un-lft-identity_binary64`
165×	`add-exp-log_binary64`
165×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	64
1	327	64

Stop Event

1×	node limit

Counts

4 → 154

simplify85.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

529×	`fma-def_binary64`
314×	`associate--l+_binary64`
231×	`associate-/l*_binary64`
230×	`sub-neg_binary64`
196×	`times-frac_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	488	6259
1	1763	5621

Stop Event

1×	node limit

Counts

298 → 348

prune327.0ms (3.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	345	3	348
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	347	8	355

Error

0.3b

Counts

355 → 8

Alt Table

Status	Error	Program
	17.5b	(*.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) (/.f64 (hypot.f64 B (-.f64 A C)) B))) (/.f64 180 (PI.f64)))
	42.5b	(/.f64 (atan.f64 (/.f64 (-.f64 C (/.f64 (-.f64 (.f64 A A) (pow.f64 (hypot.f64 B (-.f64 A C)) 2)) (-.f64 A (hypot.f64 B (-.f64 A C))))) B)) (.f64 (PI.f64) 1/180))
▶	16.6b	(/.f64 (atan.f64 (/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)) (*.f64 (PI.f64) 1/180))
	43.1b	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (*.f64 (/.f64 B C) (/.f64 A C))))) (/.f64 180 (PI.f64)))
	46.3b	(/.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 C (.f64 (/.f64 A B) (/.f64 A B))) (/.f64 B (/.f64 A B)))) B)) (*.f64 (PI.f64) 1/180))
	49.3b	(.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 (.f64 B B) A) (.f64 (/.f64 (*.f64 B B) A) (/.f64 C A)))) B)) (/.f64 180 (PI.f64)))
✓	14.8b	(/.f64 (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)) (*.f64 (PI.f64) 1/180))
	47.8b	(.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (/.f64 180 (PI.f64)))

Compiler

Compiled 12490 to 6492 computations (48% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (atan.f64 (/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)) (*.f64 (PI.f64) 1/180))
✓	0.0b	(/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)
✓	5.9b	(-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A))
✓	8.5b	(fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)

series546.0ms (5.9%)

Counts

4 → 82

Calls

36 calls:

45.0ms	(fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)	C	0
36.0ms	(/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)	A	0
35.0ms	(/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)	B	-inf
35.0ms	(fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)	A	0
34.0ms	(/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)	B	inf

rewrite80.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

314×	`log1p-udef_binary64`
178×	`add-sqr-sqrt_binary64`
174×	`pow1_binary64`
173×	`*-un-lft-identity_binary64`
165×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	64
1	336	64
2	4853	64

Stop Event

1×	node limit

Counts

4 → 134

simplify94.0ms (1%)

Algorithm

1×	egg-herbie

Rules

575×	`times-frac_binary64`
376×	`fma-neg_binary64`
349×	`fma-def_binary64`
215×	`+-commutative_binary64`
202×	`associate-+r+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	317	5283
1	1135	4180
2	4196	4180

Stop Event

1×	node limit

Counts

216 → 216

prune221.0ms (2.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	216	8	224

Error

0.3b

Counts

224 → 8

Alt Table

Status	Error	Program
▶	17.5b	(*.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) (/.f64 (hypot.f64 B (-.f64 A C)) B))) (/.f64 180 (PI.f64)))
	42.5b	(/.f64 (atan.f64 (/.f64 (-.f64 C (/.f64 (-.f64 (.f64 A A) (pow.f64 (hypot.f64 B (-.f64 A C)) 2)) (-.f64 A (hypot.f64 B (-.f64 A C))))) B)) (.f64 (PI.f64) 1/180))
✓	16.6b	(/.f64 (atan.f64 (/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)) (*.f64 (PI.f64) 1/180))
	43.1b	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (*.f64 (/.f64 B C) (/.f64 A C))))) (/.f64 180 (PI.f64)))
	46.3b	(/.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 C (.f64 (/.f64 A B) (/.f64 A B))) (/.f64 B (/.f64 A B)))) B)) (*.f64 (PI.f64) 1/180))
	49.3b	(.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 (.f64 B B) A) (.f64 (/.f64 (*.f64 B B) A) (/.f64 C A)))) B)) (/.f64 180 (PI.f64)))
✓	14.8b	(/.f64 (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)) (*.f64 (PI.f64) 1/180))
	47.8b	(.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (/.f64 180 (PI.f64)))

Compiler

Compiled 9122 to 4686 computations (48.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series164.0ms (1.8%)

Counts

3 → 108

Calls

27 calls:

16.0ms	(/.f64 (hypot.f64 B (-.f64 A C)) B)	B	-inf
12.0ms	(/.f64 (hypot.f64 B (-.f64 A C)) B)	B	inf
11.0ms	(-.f64 (/.f64 (-.f64 C A) B) (/.f64 (hypot.f64 B (-.f64 A C)) B))	A	0
11.0ms	(-.f64 (/.f64 (-.f64 C A) B) (/.f64 (hypot.f64 B (-.f64 A C)) B))	C	0
8.0ms	(/.f64 (hypot.f64 B (-.f64 A C)) B)	A	0

rewrite46.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

193×	`add-sqr-sqrt_binary64`
189×	`pow1_binary64`
188×	`*-un-lft-identity_binary64`
180×	`add-exp-log_binary64`
180×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	51
1	357	51

Stop Event

1×	node limit

Counts

3 → 107

simplify69.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

413×	`fma-def_binary64`
281×	`associate-+r+_binary64`
247×	`associate-+l+_binary64`
210×	`associate--r+_binary64`
195×	`associate--l+_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	379	5164
1	1389	4697

Stop Event

1×	node limit

Counts

215 → 235

prune358.0ms (3.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	312	2	314
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	314	8	322

Error

0.3b

Counts

322 → 8

Alt Table

Status	Error	Program
	25.6b	(.f64 (atan.f64 (/.f64 (-.f64 (/.f64 B (hypot.f64 B (-.f64 A C))) (.f64 (/.f64 B (-.f64 C A)) 1)) (*.f64 (/.f64 B (-.f64 C A)) (/.f64 B (hypot.f64 B (-.f64 A C)))))) (/.f64 180 (PI.f64)))
✓	16.6b	(/.f64 (atan.f64 (/.f64 (-.f64 C (fma.f64 (sqrt.f64 (hypot.f64 B (-.f64 A C))) (sqrt.f64 (hypot.f64 B (-.f64 A C))) A)) B)) (*.f64 (PI.f64) 1/180))
	43.1b	(.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (*.f64 (/.f64 B C) (/.f64 A C))))) (/.f64 180 (PI.f64)))
	17.6b	(*.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) (cbrt.f64 (pow.f64 (/.f64 (hypot.f64 B (-.f64 A C)) B) 3)))) (/.f64 180 (PI.f64)))
	46.3b	(/.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 C (.f64 (/.f64 A B) (/.f64 A B))) (/.f64 B (/.f64 A B)))) B)) (*.f64 (PI.f64) 1/180))
	49.3b	(.f64 (atan.f64 (/.f64 (.f64 1/2 (+.f64 (/.f64 (.f64 B B) A) (.f64 (/.f64 (*.f64 B B) A) (/.f64 C A)))) B)) (/.f64 180 (PI.f64)))
✓	14.8b	(/.f64 (atan.f64 (/.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) B)) (*.f64 (PI.f64) 1/180))
	47.8b	(.f64 (atan.f64 (.f64 1/2 (/.f64 B A))) (/.f64 180 (PI.f64)))

Compiler

Compiled 13030 to 6639 computations (49% saved)

regimes2.0s (22.2%)

Accuracy

Total 11.3b remaining (97.2%)

Threshold costs 0b (0%)

Counts

257 → 2

Compiler

Compiled 40656 to 28210 computations (30.6% saved)

bsearch74.0ms (0.8%)

Algorithm

1×	binary-search

Calls

1 calls:

65.0ms

Steps

Iters	Point		Range
4.283004787062823e+31	∈ [	1.936685331243197e+29	,	4.916011673615074e+31	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
7×	`*-commutative_binary64`
6×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	62
1	41	62
2	51	62
3	57	62
4	60	62

Stop Event

1×

saturated

end135.0ms (1.5%)

Stop Event

1×

fuel

Compiler

Compiled 280 to 175 computations (37.5% saved)

Details

analyze306.0ms (3.3%)

sample3.7s (39.9%)

preprocess40.0ms (0.4%)

simplify24.0ms (0.3%)

prune5.0ms (0.1%)

localize11.0ms (0.1%)

series173.0ms (1.9%)

rewrite75.0ms (0.8%)

simplify86.0ms (0.9%)

prune315.0ms (3.4%)

localize10.0ms (0.1%)

series170.0ms (1.8%)

rewrite50.0ms (0.5%)

simplify85.0ms (0.9%)

prune327.0ms (3.5%)

localize12.0ms (0.1%)

series546.0ms (5.9%)

rewrite80.0ms (0.9%)

simplify94.0ms (1%)

prune221.0ms (2.4%)

localize11.0ms (0.1%)

series164.0ms (1.8%)

rewrite46.0ms (0.5%)

simplify69.0ms (0.8%)

prune358.0ms (3.9%)

regimes2.0s (22.2%)

bsearch74.0ms (0.8%)

simplify3.0ms (0%)

end135.0ms (1.5%)

Profiling